Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Save to My Library
Look up keyword or section
Like this
6Activity

Table Of Contents

The art of logic
Grammar
1A Logical Grammar
1A.1 Sentence and term
1A.2 Functors
1A.3 English quantifiers and English quantifier 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 Defined 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.6 Reductio ad absurdum (RAA⊥)
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 quantifiers
3B Flagging and universal quantifier
3B.1 Flagging restrictions
3B.3 Universal Generalization (UG)
3B.4 Vertical lines in subproofs
3C.1 Existential quantifier rules (EG and EI)
3C.2 DeMorgan’s laws for quantifiers—DMQ
3D Grammar and proof theory for identity
3E Comments, rules, and strategies
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 quantifiers
4A Symbolizing English quantifiers: Four fast steps
4B Symbolizations involving identity
Quantifier 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
Definitions
7A Some purposes of definitions
7A.1 “Dictionary” or “lexical” definitions
7A.2 “Stipulative” definitions
7A.3 “Analyses” or “explications”
7A.5 Limitations
7A.6 Jargon for definitions
7B Rules of definition
7B.1 Rule for defining predicates
7B.2 Defining predicates: examples and exercises
7B.3 Rule for defining operators
7B.4 Adjusting the rules
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 quantifiers: A longer story
10A.1 English quantifier patterns
1. Major English quantifier
3. Major English quantifier term
10A.2 Major English quantifier
10A.3 English quantifier terms
10A.4 Major English quantifier 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 quantification
10E English quantifier terms
0 of .
Results for:
No results containing your search query
P. 1
Belnap // Notes on the art of logic

Belnap // Notes on the art of logic

Ratings:

5.0

(1)
|Views: 502 |Likes:
Published by Kenya Imagine
(c) Nuel Belnap
(c) Nuel Belnap

More info:

Published by: Kenya Imagine on Oct 08, 2008
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

07/28/2012

pdf

text

original

You're Reading a Free Preview
Pages 7 to 30 are not shown in this preview.
You're Reading a Free Preview
Pages 37 to 46 are not shown in this preview.
You're Reading a Free Preview
Pages 53 to 101 are not shown in this preview.
You're Reading a Free Preview
Pages 108 to 259 are not shown in this preview.
You're Reading a Free Preview
Pages 266 to 308 are not shown in this preview.

Activity (6)

You've already reviewed this. Edit your review.
1 hundred reads
1 thousand reads
taxandro liked this
tankut_beygu liked this
adamshih liked this
franzgue9217 liked this

You're Reading a Free Preview

Download
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->