## Methods of Logic |

### What people are saying - Write a review

#### Review: Methods of Logic

User Review - Adam - GoodreadsA relatively clear presentation, with rigor approximately between that of a standard introductory text and van Dalen's Logic and Structure. Uses a notation largely abandoned today, which is ... Read full review

#### Review: Methods of Logic

User Review - Gavin Brown - GoodreadsVery useful text on formal logic. However, the notation is antiquated. That being said, Quine's text is still one of the clearest and most thorough introductions on the subject. He writes in a style ... Read full review

### Contents

TRUTH FUNCTIONS 1 Negation Conjunction and Alternation | 1 |

Truth Functions | 7 |

The Conditional | 12 |

Copyright | |

41 other sections not shown

### Common terms and phrases

abstract affirm alternation antecedent becomes true biconditional Cerberus clause closed schemata comes out true components compound conclusion conditional conjunction consistency construed DeMorgan's laws Diagram elementary number theory equivalence example existential quantification F are G false finished deduction follows free occurrences free variables identity implies inconsistent inference interpret Fx interpretation of Fx irreflexivity ix)Fx Jones logic Mathematical Logic mathematics means merely monadic negation nonempty universe notation objects open schemata open sentence ordinary language p v q preceding section predicate letters predicate-schema premisses purports to name q v r quantification theory quantificational schemata result schema schematic letters sense sentence letters singular terms Socrates statements step strategy subjoined substitution syllogism theory of classes thing tion truth function truth value truth-functional schemata truth-value analysis uniform quantification universal closures universal instantiation universal quantification valid schemata words x)Fx D Fy