Logic and philosophy: a modern introduction
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Belmont, CA [u.a.]
Wadsworth
1999
|
| Edition: | 8. ed. |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | 7. Aufl. u.d.T.: Kahane, Howard: Logic and philosophy |
| Physical Description: | XV, 464 S. 1 CD-ROM |
| ISBN: | 0534526144 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV012412869 | ||
| 003 | DE-604 | ||
| 005 | 19990825 | ||
| 007 | t | ||
| 008 | 990218s1999 |||| 00||| eng d | ||
| 020 | |a 0534526144 |9 0-534-52614-4 | ||
| 035 | |a (OCoLC)38520330 | ||
| 035 | |a (DE-599)BVBBV012412869 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29 |a DE-703 | ||
| 050 | 0 | |a BC108 | |
| 082 | 0 | |a 160 |2 21 | |
| 084 | |a CC 2400 |0 (DE-625)17608: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Tidman, Paul |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Logic and philosophy |b a modern introduction |c Paul Tidman ; Howard Kahane |
| 250 | |a 8. ed. | ||
| 264 | 1 | |a Belmont, CA [u.a.] |b Wadsworth |c 1999 | |
| 300 | |a XV, 464 S. |e 1 CD-ROM | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a 7. Aufl. u.d.T.: Kahane, Howard: Logic and philosophy | ||
| 650 | 4 | |a Logic | |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Philosophie |0 (DE-588)4045791-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4151278-9 |a Einführung |2 gnd-content | |
| 655 | 7 | |8 2\p |0 (DE-588)4123623-3 |a Lehrbuch |2 gnd-content | |
| 689 | 0 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | 1 | |a Philosophie |0 (DE-588)4045791-6 |D s |
| 689 | 0 | |8 3\p |5 DE-604 | |
| 700 | 1 | |a Kahane, Howard |d 1928- |e Verfasser |0 (DE-588)172203120 |4 aut | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008421300&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-008421300 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Record in the Search Index
| _version_ | 1804127047864287232 |
|---|---|
| adam_text | Titel: Logic and philosophy
Autor: Tidman, Paul
Jahr: 1999
Contents
Preface xiii
Part One: Sentential Logic 1
Chapter One: Introduction 1
1. The Elements of an Argument 1
2. Deduction and Induction 4
3. Argument Forms 6
4. Truth and Validity 8
5. Soundness 11
6. Consistency 11
7. Consistency and Validity Compared 1
8. Contexts of Discovery and Justification 14
Key terms 15
Chapter Two: Truth-Functions 16
1. Atomic and Compound Sentences 16
2. Truth-Functions 17
3. Conjunctions 18
4. Variables and Constants 20
5. Negations 21
6. Parentheses and Brackets 23
7. Disjunctions 24
5. Wor Botf* W Neither... Nor 27
9. Material Conditionals 29
10. Material Biconditionals 31
11. OnlyIf and Unless 33
72. Symbolizing Complex Sentences 35
-Key terms 41
Chapter Three: Truth Tables 43
1. Computing Truth-Values 43
2. Tautologies, Contradictions, and Contingent Sentences 48
viii Contents
3. Logical Equivalences and Conditionals 53
4. Truth Table Test of Validity 56
5. Truth Table Test of Consistency 58
6. Validity and Consistency 59
7. The Short Truth Table Test for Invalidity 60
8. The Short Truth Table Test for Consistency 64
9. Sentence Forms and Substitution Instances 65
10. Truth Tables and Forms 70
Key terms 72
Chapter Four: Proofs 73
1. Argument Forms 73
2. Modus Ponens and Modus Tollens 75
3. Disjunctive Syllogism and Hypothetical Syllogism 77
4. Simplification and Conjunction 80
5. Addition and Constructive Dilemma 81
6. Principles of Strategy 83
7. Double Negation and DeMorgan s Theorem 90
8. Commutation, Association, and Distribution 92
9. Contraposition, Implication, and Exportation 93
10. Tautology and Equivalence 94
11. More Principles of Strategy 97
72. Common Errors in Problem Solving 101
Key terms 107
Chapter Five: Conditional and Indirect Proofs 108
1. Conditional Proofs 108
2. Indirect Proofs 116
3. Strategy Hints for Using Conditional Proof and Indirect Proof 121
4. Theorems 122
5. Proving Premises Inconsistent 123
6. Adding Valid Argument Forms 124
7. The Completeness of Sentential Logic 125
8. Material Implication and Valid Argument Forms Y21
Key terms 130
Part 7wo; Predicate Logic 131
Chapter Six: Predicate Logic Symbolizations 131
7. Individuals and Properties 131
2. Quantifiers and Free Variables 135
3. Universal Quantifiers 136
4. Existential Quantifiers 140
5. Basic Predicate Logic Symbolizations 141
6. The Square of Opposition 143
Contents ix
7. Common Pitfalls in Symbolizing with Quantifiers 144
8. Expansions 147
9. Symbolizing Only, NoneBut, and Unless 149
Key terms 151
Chapter Seven: Predicate Logic Invalidity 153
1. Interpretations in Predicate Logic 153
2. Proving Invalidity 154
3. Using Expansions to Prove Invalidity 157
4. Consistency in Predicate Logic 159
5. Validity and Inconsistency in Predicate Logic 160
Key terms 160
Chapter Eight: Predicate Logic Proofs 161
1. Proving Validity 161
2. The Four Quantifier Rules 162
3. The Five Main Restrictions 168
4. Precise Formulation of the Four Quantifier Rules 172
5. Mastering the Four Quantifier Rules 174
(5. Quantifier Negation (QN) 179
Key terms 184
Chapter Nine: Relational Predicate Logic 185
7. Relational Predicates 185
2. Symbolizations Containing Overlapping Quantifiers 187
3. Expansions and Overlapping Quantifiers 188
4. Places and Times 190
5. Symbolizing Someone, Somewhere, Sometime,
and So On 192
(5. Invalidity and Consistency in Relational Predicate Logic 197
7. Relational Predicate Logic Proofs 198
Strategy for Relational Predicate Logic Proofs 205
9. Theorems and Inconsistency in Predicate Logic 207
70. A Simpler Set of Quantifier Rules 210
Chapter Ten: Rationale Behind the Precise Formulation
of the Four Quantifier Rules 213
7. Cases Involving the Five Major Restrictions 213
2. One-to-One Correspondence Matters 216
3. Accidentally Bound Variables 220
Chapter Eleven: Identity and Philosophical Problems
of Symbolic Logic 225
7. Identity 225
2. Definite Descriptions 231
x Contents
3. Properties of Relations 233
4. Higher-Order Logics 236
5. Limitations of Predicate Logic 238
6. Philosophical Problems 241
7. Logical Paradoxes 249
Key terms 255
Chapter Twelve: Truth Trees 258
1. The Sentential Logic Truth Tree Method 258
2. 77je 7 Mf/! Tree Rules 259
3. Details of Tree Construction 266
4. Rationale Behind the Tree Method 272
5. PK?f««g Truth Trees to Work 27 4
6. 77ie Predicate Logic Truth Tree Method 275
7. 7n/?rate Trees 280
^Tey terms 282
Part Three: Other Systems of Logic 283
Chapter Thirteen: Syllogistic Logic 283
1. Categorical Propositions 283
2. Existential Import 286
3. The Square of Opposition 286
4. Conversion, Obversion, Contraposition 290
5. Syllogistic Logic—Not Assuming Existential Import 293
6. Venn Diagrams 295
7. Syllogisms 298
Determining Syllogism Validity 300
9. Venn Diagram Proofs of Validity or Invalidity 301
70. F/ve Rules for Determining Validity or Invalidity 306
77. Syllogistics Extended 309
72. Enthymemes 312
73. Sorites 313
74. Technical Restrictions and Limitations 315
Key terms 318
Chapter Fourteen: Inductive Logic 321
7. A Mistaken View of Induction and Deduction 321
2. Kinds of Inductive Arguments 323
3. Cause and Effect 333
4. M/J s Methods 336
5. Inductive Probability 343
d 77ze Probability Calculus 344
7. Bayes Theorem . 346
Contents xi
8. Induction Is Unjustified—The Old Riddle of Induction 348
9. Not All Instances of Theories Confirm Them— The New Riddle
of Induction 351
Key terms 354
Chapter Fifteen: Axiom Systems 356
1. The Nature of an Axiom System 356
2. Interpreted and Uninterpreted Systems 357
3. Properties of Axiom Systems 358
4. Outline ofan Axiom System for Sentential Logic 361
5. Axiom Systems for Predicate Logic 366
6. Other Kinds of Axiom Systems 367
7. Objections to Axiom Systems 368
Key terms 368
Chapter Sixteen: Alternative Logics 370
1. Modal Logic 370
2. Strict Implication 371
3. Modal Axioms 373
4. Modal Theorems 31A
5. Modal Paradoxes 375
6. A Philosophical Problem 375
7. Modal Predicate Logic 376
8. Epistemic Logic: The Logic of Knowledge and Belief 378
9. Epistemic Theorems 381
10. Deontic Logic 382
11. Problems with Deontic Systems 383
Key terms 385
/knsivers to Even-Numbered Exercise Items 387
Bibliography 449
Special Symbols 453
/nofex 455
|
| any_adam_object | 1 |
| author | Tidman, Paul Kahane, Howard 1928- |
| author_GND | (DE-588)172203120 |
| author_facet | Tidman, Paul Kahane, Howard 1928- |
| author_role | aut aut |
| author_sort | Tidman, Paul |
| author_variant | p t pt h k hk |
| building | Verbundindex |
| bvnumber | BV012412869 |
| callnumber-first | B - Philosophy, Psychology, Religion |
| callnumber-label | BC108 |
| callnumber-raw | BC108 |
| callnumber-search | BC108 |
| callnumber-sort | BC 3108 |
| callnumber-subject | BC - Logic |
| classification_rvk | CC 2400 |
| ctrlnum | (OCoLC)38520330 (DE-599)BVBBV012412869 |
| dewey-full | 160 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 160 - Philosophical logic |
| dewey-raw | 160 |
| dewey-search | 160 |
| dewey-sort | 3160 |
| dewey-tens | 160 - Philosophical logic |
| discipline | Philosophie |
| edition | 8. ed. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01906nam a2200481 c 4500</leader><controlfield tag="001">BV012412869</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19990825 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">990218s1999 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0534526144</subfield><subfield code="9">0-534-52614-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)38520330</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012412869</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</subfield><subfield code="a">DE-703</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BC108</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2400</subfield><subfield code="0">(DE-625)17608:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Tidman, Paul</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic and philosophy</subfield><subfield code="b">a modern introduction</subfield><subfield code="c">Paul Tidman ; Howard Kahane</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">8. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Belmont, CA [u.a.]</subfield><subfield code="b">Wadsworth</subfield><subfield code="c">1999</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XV, 464 S.</subfield><subfield code="e">1 CD-ROM</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">7. Aufl. u.d.T.: Kahane, Howard: Logic and philosophy</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Philosophie</subfield><subfield code="0">(DE-588)4045791-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4151278-9</subfield><subfield code="a">Einführung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">2\p</subfield><subfield code="0">(DE-588)4123623-3</subfield><subfield code="a">Lehrbuch</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Philosophie</subfield><subfield code="0">(DE-588)4045791-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kahane, Howard</subfield><subfield code="d">1928-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)172203120</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008421300&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-008421300</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4151278-9 Einführung gnd-content 2\p (DE-588)4123623-3 Lehrbuch gnd-content |
| genre_facet | Einführung Lehrbuch |
| id | DE-604.BV012412869 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:27:09Z |
| institution | BVB |
| isbn | 0534526144 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008421300 |
| oclc_num | 38520330 |
| open_access_boolean | |
| owner | DE-29 DE-703 |
| owner_facet | DE-29 DE-703 |
| physical | XV, 464 S. 1 CD-ROM |
| publishDate | 1999 |
| publishDateSearch | 1999 |
| publishDateSort | 1999 |
| publisher | Wadsworth |
| record_format | marc |
| spelling | Tidman, Paul Verfasser aut Logic and philosophy a modern introduction Paul Tidman ; Howard Kahane 8. ed. Belmont, CA [u.a.] Wadsworth 1999 XV, 464 S. 1 CD-ROM txt rdacontent n rdamedia nc rdacarrier 7. Aufl. u.d.T.: Kahane, Howard: Logic and philosophy Logic Logik (DE-588)4036202-4 gnd rswk-swf Philosophie (DE-588)4045791-6 gnd rswk-swf 1\p (DE-588)4151278-9 Einführung gnd-content 2\p (DE-588)4123623-3 Lehrbuch gnd-content Logik (DE-588)4036202-4 s Philosophie (DE-588)4045791-6 s 3\p DE-604 Kahane, Howard 1928- Verfasser (DE-588)172203120 aut HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008421300&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Tidman, Paul Kahane, Howard 1928- Logic and philosophy a modern introduction Logic Logik (DE-588)4036202-4 gnd Philosophie (DE-588)4045791-6 gnd |
| subject_GND | (DE-588)4036202-4 (DE-588)4045791-6 (DE-588)4151278-9 (DE-588)4123623-3 |
| title | Logic and philosophy a modern introduction |
| title_auth | Logic and philosophy a modern introduction |
| title_exact_search | Logic and philosophy a modern introduction |
| title_full | Logic and philosophy a modern introduction Paul Tidman ; Howard Kahane |
| title_fullStr | Logic and philosophy a modern introduction Paul Tidman ; Howard Kahane |
| title_full_unstemmed | Logic and philosophy a modern introduction Paul Tidman ; Howard Kahane |
| title_short | Logic and philosophy |
| title_sort | logic and philosophy a modern introduction |
| title_sub | a modern introduction |
| topic | Logic Logik (DE-588)4036202-4 gnd Philosophie (DE-588)4045791-6 gnd |
| topic_facet | Logic Logik Philosophie Einführung Lehrbuch |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008421300&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT tidmanpaul logicandphilosophyamodernintroduction AT kahanehoward logicandphilosophyamodernintroduction |