Deductive logic / Warren Goldfarb.

Format:

Book

Author/Creator:

Goldfarb, Warren D.

Contributor:

Bernard W. Freeman Book Fund.

Language:

English

Subjects (All):

Logic.

Physical Description:

xv, 292 pages ; 24 cm

Place of Publication:

Indianapolis, IN : Hackett Pub., [2003]

Contents:

Part I Truth-functional Logic 1

A. Analysis 3

1 Statements 3

2 Conjunction 6

3 Negation 11

4 Disjunction 13

5 Grouping 16

6 Truth-functions 19

7 Conditional 21

8 Logical Paraphrase 28

B. Logical Assessment 37

9 Schemata and Interpretation 37

10 Validity and Satisfiability 45

11 Implication 47

12 Use and Mention 53

13 Equivalence 57

C. Reflection 61

14 General Laws 61

15 Disjunctive Normal Form 67

16 Expressive Adequacy 76

17 Formal Systems 79

Part II Monadic Quantification Theory 89

A. Analysis 91

18 Monadic Predicates and Open Sentences 91

19 The Existential Quantifier 97

20 The Universal Quantifier 104

21 Further Notes on Paraphrase 113

22 Universe of Discourse 119

B. Logical Assessment 123

23 Schemata and Interpretation 123

24 Validity, Implication, and Equivalence 129

25 Testing Monadic Schemata 133

C. Reflection 139

26 Monadic Satisfiability 139

27 General Laws 141

Part III Polyadic Quantification Theory 147

A. Analysis 149

28 Polyadic Predicates 149

29 Paraphrase 157

B. Logical Assessment 167

30 Schemata and Interpretation 167

31 Validity, Implication, and Equivalence 175

32 Instances 179

33 Deduction 181

34 Deduction Extended 188

C. Reflection 199

35 Soundness 199

36 Other Laws 206

37 Prenex Form 209

38 Completeness 216

39 Further Consequences 225

40 Decidability 227

Part IV Identity and Names 231

41 Identity 233

42 Inference with Names 240

43 Descriptions 243

44 Elimination of Descriptions 247.

Notes:

Includes index.

Local Notes:

Acquired for the Penn Libraries with assistance from the Bernard W. Freeman Book Fund.

ISBN:

0872206602

OCLC:

51900393