Derivation and Counterexample: An Introduction to Philosophical Logic |
Contents
Rules of Inference and Some Applications | 37 |
PART | 69 |
INVALIDITY AND CONSISTENCY | 114 |
Copyright | |
5 other sections not shown
Common terms and phrases
A₁ abbreviate admissible alternate antecedents applied assigned atomic sentence atomic statement B₁ branch diagram C₁ categorical derivation Chapter conclusion conjunction consider constant context counterexample definite descriptions domain of discourse empty equivalent exactly example exists extensionality free description theory free logic free occurrences Fx Ɔ Greek hence identity imply intelim rules Ix)Fx John is tall king of France logic of statements logical falsehood logically false logically true M₁ means ment metalogical non-referential non-referring terms occur official idiom P₁ paraphrase Pegasus philosophical possible world predicate premises principle proof prove quantifiers refer relations rules of inference Russell SECTION self-identical semantic SEQE SEQI singular terms subderivation subpremise substitution suppose symbols t₁ tableau rules tableau sequence theory of descriptions thing tion true statement truth truth-value variable x)Fx