Logic, language, and meaning /

Logic, language, and meaning /

Saved in:
Bibliographic Details
Author / Creator:Gamut, L. T. F.
Uniform title:Logica, taal en betekenis. English
Imprint:Chicago : University of Chicago Press, 1991.
Description:2 v. ; 24 cm.
Language:English
Subject:
Logic
Semantics (Philosophy)
Language and languages -- Philosophy
Language and languages -- Philosophy.
Logic.
Semantics (Philosophy)
Format: Print Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/1129577
Hidden Bibliographic Details
ISBN:0226280845 (v. 1 : alk. paper)
0226280853 (pbk. : v. 1 : alk. paper)
0226280861 (v. 2 : alk. paper)
0226280888 (pbk. : v. 2 : alk. paper)
Notes:Translation of: Logica, taal en betekenis.
Includes bibliographical references.
Table of Contents:
  • Foreword
  • Preface
  • 1. Introduction
  • 1.1. Arguments, Valid Arguments, and Argument Schemata
  • 1.2. Logic and Meaning
  • 1.3. Logical Constants and Logical Systems
  • 1.4. Logic and Linguistics before the Twentieth Century
  • 1.5. The Twentieth Century
  • 1.5.1. Logical Form versus Grammatical Form
  • 1.5.2. Ordinary Language Philosophy
  • 1.5.3. Linguistics and Philosophy
  • 1.6. Formal Languages
  • 2. Propositional Logic
  • 2.1. Truth-Functional Connectives
  • 2.2. Connectives and Truth Tables
  • 2.3. Formulas
  • 2.4. Functions
  • 2.5. The Semantics of Propositional Logic
  • 2.6. Truth Functions
  • 2.7. Coordinating and Subordinating Connectives
  • 3. Predicate Logic
  • 3.1. Atomic Setences
  • 3.2. Quantifying Expressions: Quantifiers
  • 3.3. Formulas
  • 3.4. Some More Quantifying Expressions and Their Translations
  • 3.5. Sets
  • 3.6. The Semantics of Predicate Logic
  • 3.6.1. Interpretation Functions
  • 3.6.2. Interpretation by Substitution
  • 3.6.3. Interpretation by Means of Assignments
  • 3.6.4. Universal Validity
  • 3.6.5. Rules
  • 3.3.7. Identity
  • 3.3.8. Some Properties of Relations
  • 3.3.9. Function Symbols
  • 4. Arguments and Inferences
  • 4.1. Arguments and Argument Schemata
  • 4.2. Semantic Inference Relations
  • 4.2.1. Semantic Validity
  • 4.2.2. The Principle of Extensionality
  • 4.3. Natural Deduction: A Syntactic Approach to Inference
  • 4.3.1. Introduction and Elimination Rules
  • 4.3.2. Conjunction
  • 4.3.3. Implication
  • 4.3.4. Disjunction
  • 4.3.5. Negation
  • 4.3.6. Quantifiers
  • 4.3.7. Rules
  • 4.4. Soundness and Completeness
  • 5. Beyond Standard Logic
  • 5.1. Introduction
  • 5.2. Definite Descriptions
  • 5.3. Restricted Quantification: Many-Sorted Predicate Logic
  • 5.4. Second-Order Logic
  • 5.5. Many-Valued Logic
  • 5.5.1. Introduction
  • 5.5.2. Three-Valued Logical Systems
  • 5.5.3. Three-Valued Logics and the Semantic Notion of Presupposition
  • 5.5.4. Logical Systems with More than Three Values
  • 5.5.5. Four-Valued Logics and the Semantic Notion of Presupposition
  • 5.5.6. The Limits of Many-Valued Logics in the Analysis of Presupposition
  • 5.6. Elimination of Variables
  • 6. Pragmatics: Meaning and Usage
  • 6.1. Non-Truth-Conditional Aspects of Meaning
  • 6.2. Logical Conjunction and Word Order
  • 6.3. Usage and the Cooperation Principle
  • 6.4. Inclusive and Exclusive Disjunction
  • 6.5. Disjunctions and Informativeness
  • 6.6. Conversational Maxims and Conversational Implicatures
  • 6.7. The Controversial Implicatures of Disjunctions
  • 6.8. Implication and Informativeness
  • 6.9. Presuppositions and Conversational Implicatures
  • 6.10. Conventional Implicatures, Presuppositions, and Implications
  • 7. Formal Syntax
  • 7.1. The Hierarchy of Rewrite Rules
  • 7.2. Grammars and Automata
  • 7.3. The Theory of Formal Languages
  • 7.4. Grammatical Complexity of Natural Languages
  • 7.5. Grammars, Automata, and Logic Solutions to Exercises
  • Bibliographical
  • Notes
  • References
  • Index

Similar Items