Logic, Language, and Meaning: Introduction to Logic, Vol. 1 [1 ed.] 0226280845, 0226280853, 0226280861, 0226280888, 9780226280851

Table of contents :
Cover
Title Page
Copyright Page
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 Prepositional Logic
2.6 Truth functions
2.7 Coordinating and subordinating connectives
3 Predicate Logic
3.1 Atomic Sentences
3.2 Quantifying Expressions: Quantifiers
3.3 Formulas
3.4 Some more quantifying expressions and their translations
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.7 Identity
3.8 Some Properties of Relations
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 Conversational 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
back cover

Polecaj historie

Logic, language, and meaning vol.2: Intensional logic and logical grammar [1 ed.] 0226280888

Chapter 1 provides a background to the systems of intensional logic presented in chapters 2 and 3. The nature and limits

539 145 3MB Read more

Meaning and Argument: An Introduction to Logic Through Language 9781118390191, 2012019765, 1118390199

Meaning and Argumentis a popular introduction to philosophy of logic and philosophy of language. Offers a distinctive p

1,303 195 2MB Read more

Logic, Language and Meaning 3642142869, 9783642142864, 2132232342, 2842953053

The 2009 edition of the Amsterdam Colloquium was the 17th in a series which started in 1976. The Amsterdam Colloquia aim

727 67 7MB Read more

Language, Truth and Logic

If you can't prove something, it is literally senseless - so argues Ayer in this irreverent and electrifying book.

1,020 44 2MB Read more

Introduction to Logic Circuits & Logic Design with VHDL

1,447 188 27MB Read more

Introduction to logic 9781504022712, 1504022718

Written during the height of the Enlightenment, Immanuel Kant’sIntroduction to Logicis an essential primer for anyone in

650 131 291KB Read more

Introduction to Logic: Predicate Logic [2. ed.] 9780131649897, 0131649892

For courses in Introduction to Logic and Formal Logic. This clearly written volume covers symbolization, proofs, counter

947 182 47MB Read more

Introduction to Logic Circuits & Logic Design with Verilog 9783030136055

1,035 301 256MB Read more

An Introduction to Symbolic Logic

Version Aug 2013 of An Exposition of Symbolic Logic is a lightly revised version of the August 2012 version of An Introd

653 101 4MB Read more

Introduction to logic : propositional logic [3. ed.] 9780131649972, 0131649973

"This clearly written introduction to the fundamental branch of symbolic logic treats the symbolization of English

996 178 33MB Read more