The connectives /

Mostrar otras versiones (2)

A comprehensive investigation of the sentence connectives--and, or, if, not--with special attention to their logical properties.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Humberstone, Lloyd
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cambridge, Mass. : MIT Press, ©2011.
Temas:
Logic.
Grammar, Comparative and general > Connectives.
Language and logic.
Connecteurs (Linguistique)
Langage et logique.
PHILOSOPHY > Logic.
LINGUISTICS & LANGUAGE/General
PHILOSOPHY/General
Acceso en línea:Texto completo
Tabla de Contenidos:
  • 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.

Ejemplares similares