| Description |
1 online resource (xvii, 1492 pages) |
| Contents |
Machine generated contents note: 0. Preliminaries -- 0.1. Connections And Combinations -- 0.1.1. Relational Connections and Posets -- 0.1.2. Galois Connections -- 0.1.3. Lattices and Closure Operations -- 0.1.4. Modes of Object Combination -- Notes and References for [ʹ]0.1 -- 0.2. Some Algebraic Concepts -- 0.2.1. Algebras -- 0.2.2. Derived Operations -- 0.2.3. Homomorphisms, Subalgebras, Direct Products -- 0.2.4. Equational Classes of Algebras -- 0.2.5. Horn Formulas -- 0.2.6. Fundamental and Derived Objects and Relations: Tuple Systems -- Notes and References for [ʹ]0.2 -- 1. Elements of Sentential Logic -- 1.1. Truth And Consequence -- 1.1.1. Languages -- 1.1.2. Consequence Relations and Valuations -- 1.1.3. #-Classical Consequence Relations and #-Boolean Valuations -- 1.1.4. Forcing Consistent Valuations to Be #-Boolean -- 1.1.5. Two Equations and the ̀Converse Proposition' Fallacy -- 1.1.6. Generalized Consequence Relations -- 1.1.7. Generalized Consequence Relations: Supplementary Discussion -- 1.1.8. Truth-Tables, and Two More Connectives: Implication and Equivalence -- 1.1.9. More Hygienic Terminology -- Notes and References for [ʹ]1.1 -- 1.2. Rules And Proof -- 1.2.1. Sequents and Frameworks -- 1.2.2. Sequents and (Generalized) Consequence Relations -- 1.2.3. Sample Natural Deduction System in SET-FMLA -- 1.2.4. Closer Look at Rules -- 1.2.5. Semantic Apparatus for Sequents and for Rules -- 1.2.6. Two Relational Connections -- 1.2.7. Sample Natural Deduction and Sequent Calculus Systems in SET-SET -- 1.2.8. Some Other Approaches to Logic in SET-SET -- 1.2.9. Axiom Systems and the Deduction Theorem -- Appendix to [ʹ]1.2: What Is a Logic? -- Notes and References for [ʹ]1.2 -- 2. Survey of Sentential Logic -- 2.1. Many-Valued Logic And Algebraic Semantics -- 2.1.1. Many-Valued Logic: Matrices |
| Summary |
A comprehensive investigation of the sentence connectives--and, or, if, not--with special attention to their logical properties |
| Analysis |
LINGUISTICS & LANGUAGE/General |
|
PHILOSOPHY/General |
| Bibliography |
Includes bibliographical references and index |
| Notes |
English |
|
Print version record |
| Subject |
Logic.
|
|
Grammar, Comparative and general -- Connectives.
|
|
Language and logic
|
|
PHILOSOPHY -- Logic.
|
|
Grammar, Comparative and general -- Connectives
|
|
Language and logic
|
|
Logic
|
| Form |
Electronic book
|
| ISBN |
9780262298834 |
|
026229883X |
|
1283258773 |
|
9781283258777 |
|
9786613258779 |
|
6613258776 |
|
