Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Standard view
Full view
of .

The art of logic
Grammar
1A Logical Grammar
1A.1 Sentence and term
1A.2 Functors
1A.3 English quantiﬁers and English quantiﬁer terms
1B Some symbolism
2A.1 Bare bones of the grammar of truth-functional logic
2A.2 Practical mastery
2B Rough semantics of truth-functional logic
2B.1 Basic semantic ideas
2B.2 Deﬁned semantic concepts: tautology, etc
2C Proof theory for truth-functional logic
2C.1 The structure of inference: hyp and reit
2C.2 Wholesale rules: TI, TE, and Taut
2C.3 Conditional proof (CP)
2C.4 Fitch proofs, both hypothetical and categorical
2C.5 Conditional proof—pictures and exercises
2C.7 Case argument (CA) and biconditional proof (BCP)
2C.8 Some good strategies for truth functional logic
2C.9 Three proof systems
3A Grammar for predicates and quantiﬁers
3B Flagging and universal quantiﬁer
3B.1 Flagging restrictions
3B.3 Universal Generalization (UG)
3B.4 Vertical lines in subproofs
3C.1 Existential quantiﬁer rules (EG and EI)
3C.2 DeMorgan’s laws for quantiﬁers—DMQ
3D Grammar and proof theory for identity
3E.1 Flagging—cautions and relaxations
3E.2 Universally generalized conditionals
3E.3 Replacement rules
3E.4 Strategies again
3E.5 Three proof systems again
Symbolizing English quantiﬁers
4A Symbolizing English quantiﬁers: Four fast steps
4B Symbolizations involving identity
Quantiﬁer semantics—interpretation and counterexample
5A Q-interpretations
5C Presenting Q-interpretations via tables
5D Truth and denotation
5E Validity, etc
5F Using Q-interpretations
5G Semantics of identity
5H Proofs and interpretations
Theories
6A More symbolization of logical theory
6B Peano arithmetic
6D G¨odel incompleteness
6D.1 Preliminaries
6D.2 The argument
Deﬁnitions
7A Some purposes of deﬁnitions
7A.1 “Dictionary” or “lexical” deﬁnitions
7A.2 “Stipulative” deﬁnitions
7A.3 “Analyses” or “explications”
7A.5 Limitations
7A.6 Jargon for deﬁnitions
7B Rules of deﬁnition
7B.1 Rule for deﬁning predicates
7B.2 Deﬁning predicates: examples and exercises
7B.3 Rule for deﬁning operators
Appendix: Parentheses
8A Parentheses, omitting and restoring
Appendix: A modicum of set theory
9A Easy set theory
9B More set theory: relations, functions, etc
Appendix: Symbolization
10A Symbolizing English quantiﬁers: A longer story
10A.1 English quantiﬁer patterns
1. Major English quantiﬁer
3. Major English quantiﬁer term
10A.2 Major English quantiﬁer
10A.3 English quantiﬁer terms
10A.4 Major English quantiﬁer term
10A.5 The logical subject and the logical predicate
10A.6 Putting it together
10C Further notes on symbolization
10D Additional ways of expressing quantiﬁcation
10E English quantiﬁer terms
0 of .
Results for:
P. 1
Belnap // Notes on the art of logic

# Belnap // Notes on the art of logic

Ratings:

5.0

(1)
|Views: 502 |Likes:
(c) Nuel Belnap
(c) Nuel Belnap

### Availability:

See more
See less

07/28/2012

pdf

text

original

Pages 7 to 30 are not shown in this preview.
Pages 37 to 46 are not shown in this preview.
Pages 53 to 101 are not shown in this preview.
Pages 108 to 259 are not shown in this preview.