Logic for philosophers:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
New York [u.a.]
Harper & Row
1971
|
| Series: | Sources in contemporary philosophy
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XXII,419 S. Ill. |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV002958136 | ||
| 003 | DE-604 | ||
| 005 | 20190130 | ||
| 007 | t | ||
| 008 | 900725s1971 a||| |||| 00||| eng d | ||
| 035 | |a (OCoLC)131401 | ||
| 035 | |a (DE-599)BVBBV002958136 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-355 |a DE-19 |a DE-29 |a DE-M468 |a DE-83 |a DE-188 | ||
| 050 | 0 | |a BC71 | |
| 082 | 0 | |a 160 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a MR 1050 |0 (DE-625)123484: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Purtill, Richard Lawrence |d 1931-2016 |e Verfasser |0 (DE-588)172315425 |4 aut | |
| 245 | 1 | 0 | |a Logic for philosophers |c Richard L. Purtill |
| 264 | 1 | |a New York [u.a.] |b Harper & Row |c 1971 | |
| 300 | |a XXII,419 S. |b Ill. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Sources in contemporary philosophy | |
| 650 | 4 | |a Logic | |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4123623-3 |a Lehrbuch |2 gnd-content | |
| 689 | 0 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 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=001851945&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001851945 | ||
Record in the Search Index
| _version_ | 1804117249573781504 |
|---|---|
| adam_text | Titel: Logic for philosophers
Autor: Purtill, Richard Lawrence
Jahr: 1971
CONTENTS
Preface
Mainly for Teachers xiii
Introduction
Mainly for Students xix
Part I Basic Logic
1 Prepositional Logic 3
1.1 Operators and Connectives 4
Propositions Truth-Functional Operators Conjunction
Disjunction Negation Implication Equivalence Terminology
Exercises
1.2 Tautologies, Contradictions, and Contingents 14
Logical Forms of Propositions Substitution Instances of the
Logical Forms Truth Tables of the Prepositional Forms
Terminology Exercises
1.3 Equivalences 22
Tautology Negation of a Negation Useful Equivalences
Exercises
1.4 Implication 30
Valid Arguments Modus Ponens Modus Tollens Disjunctive
Syllogism Hypothetical Syllogism Constructive and
Destructive Dilemmas Exercises
1.5 Philosophical Difficulties 40
The Truth-Value Condition The Independence Condition The
Truth Value of Compound Propositions
Reading List 45
2 Proofs and Disproofs 47
2.1 Direct Proofs 48
Argument Forms Replacement and Inference Rules
Contradictions Exercises
2.2 Disproofs 55
Shortcuts Exercises
2.3 Conditional Proofs 60
Conditional Proofs within Conditional Proofs Exercises
CONTENTS
2.4. Logical Systems 65
The Principia System Natural Deduction System Logical
Truths and Falsehoods Exercises
2.5 Philosophical Applications 70
The Deductive Form Attacking the Premises Steps in
Analysis
Discussion Questions 76
3 Syllogistic Logic 77
3.1 Standard Form Statements 78
Standard Form Statements Classes Distribution of Terms
Labels and Symbols Exercises
3.2 Immediate Inference 86
Conversion Negation Contraposition Obversion Squares
of Opposition Exercises
3.3 Syllogisms 97
Syllogistic Form Syllogistic Rules Diagramming a Syllogism
Exercises
3.4 Soriteses and Enthymemes 109
Solving a Sorites Solving an Enthymeme Exercises
3.5 Philosophical Applications 117
Arguments from Duns Scotus A Modern Argument
Discussion Questions 122
4 Class Logic 123
4.1 Names of Classes 124
Operators and Class Connectives Union Intersection
Complement Universal and Null Classes Exercises
4.2 Statements About Classes 130
Subclasses and Elements Equivalents Standard Form
Statements Exercises
4.3 Syllogistic Logic as Class Inference 141
Carroll and Venn Diagrams Syllogisms with HSC, SSR, and DSC
Diagramming as Disproof Exercises
4.4 Nonsyllogistic Class Inferences 148
Exercises
4.5 Philosophical Difficulties 152
Defining Classes Classes That Are Members of Themselves
Reading List 154
5 Predicate Logic 155
5.1 Subjects, Predicates, and Quantifiers 156
Quantification Multiple Subjects and Quantifiers Exercises
5.2 Quantifier Equivalences and Implications 163
Quantifier Exchange Quantifier Distribution Manipulations
with Multiple Quantifiers Exercises
5.3 Proofs in Predicate Logic 172
Universal Instantiation Existential Generalization Universal
Generalization Restrictions and Conditions - Existential
Instantiation Exercises
5.4 Disproofs in Predicate Logic 186
Small Worlds The Shortcut Exercises
viii
CONTENTS
5.5 Philosophical Applications 195
Aquinas Causal Argument Infinite Regress
Discussion Questions 198
Part II Advanced Logic
6 Extended Predicate Logic 203
6.1 Predicate Variables and Quantifiers 204
Symbols for Predicate Variables Predicates of Predicates
Predicates of Individuals Exercises
6.2 Identity 209
Essential Properties Intensional Properties Identity and
Nonidentity Inference Patterns Numbers Exercises
6.3 Definite Descriptions and the Iota Operator 214
Making Implications Explicit Contextual Definition Restrictions
on the Iota Operator Exercises
6.4 The Lambda Operator 219
Problems with Lambda Expressions Predicates of Properties
Properties of Relations Exercises
6.5 Philosophical Difficulties 226
Operators in Quantified Statements The Existential
Quantifier
Reading List 230
7 Prepositional Modal Logic 231
7.1 Implications in Propositional Modal Logic 232
Relations Between Necessity and Possibility Strict Implication
Exercises
7.2 Equivalences in Propositional Modal Logic 238
Exercises
7.3 The Lewis Systems S.3, S.4, and S.5 243
Four-Valued Quasi Truth Tables Proof and Disproof
Procedures Different Systems of Propositional Modal Logic
Exercises
7.4 Proofs in Modal Logic 251
Rule of Conditional Proof Reductio Proof Exercises
7.5 Philosophical Applications 254
Modal Distribution Clarification by Modal Operators
Modalized Version of the Ontological Argument
Discussion Questions 260
8 Extensions of Modal Logic 261
8.1 Quantifiers and Modal Logic 262
Modal Operators within the Scope of Quantifiers The Parallel
Argument The Sceptic s Argument Exercises
8.2 Epistemic Logic 269
The Square of Opposition for Knowledge Epistemic Implication
and Equivalence Doxastic Logic Square of Opposition for
Belief Epistemic and Doxastic Relations Hintikka s Epistemic
and Doxastic System Exercises
ix
CONTENTS
8.3 Deontic Logic 278
Restrictions Implications and Equivalences Square of
Opposition for Deontic Logic Exercises
8.4 Mixed Modalities 282
Obligation and Necessity Descartes Scepticism Exercises
8.5 Philosophical Difficulties 287
Meaning in Modal Logic Paradoxes in Modal Logic
Reading List 291
9 The Logic of Ordinary Language 292
9.1 Logical Truth, Logical Falsehood, and Logical Nonsense 295
Analytic Statements Emptiness Context Exercises
9.2 Equivalence in Ordinary Language 299
Concepts Applicability and Interchangeability One Word with
Various Senses Absurdity Exercises
9.3 Implication in Ordinary Language 305
Dedication and Suggestion Relations of Strong Implication,
Indication, and Suggestion Quasi-Implicative Relations
Exercises
9.4 Some Valid Appeals to Ordinary Language 310
Trading on Associations of Ordinary Sense Equivocation between
Ordinary and Technical Senses Unnecessary Redefinition
Exercises 317
9.5 Philosophical Applications
Logical Emptiness Implications in Ordinary Language No
Contender False Contender Defending the Incumbent
Discussion Questions 322
10 Tools of Analysis 324
10.1 Definition 325
Criticism of Socratic Definition Difficulties in Definition Rules
for Definition Exercises
10.2 Theory of Meaning 331
Referring Expressions Descriptive Expressions The Basis of
Meaning Exercises
10.3 Probability Theory 334
Bayes Theorem Maximum-Likelihood Argument Intelligent
Design or Chance? Exercises
10.4 Scientific Inference 343
Confirming Scientific Hypotheses Confirmation Theory
Paradox of the Ravens Revolution in Scientific Theory
Exercises
10.5 Philosophical Difficulties 348
Value of Techniques of Logic Analysis of Philosophical
Arguments
Reading List 349
Appendixes
Appendix A Simplifying Compound Propositions 351
Appendix B The 256 Simplest Forms 355
x
CONTENTS
Appendix C Alternate Notations 361
Appendix D Many-Valued Logics 365
Appendix E Solutions to Even-Numbered Exercises 367
Appendix F Frequently Used Forms and Rules 407
Important Rules 407
Equivalences 408
Argument Forms 409
Instantiation and General Rules 410
Indexes
Index of Forms and Rules 411
Index of Symbols 414
Index 415
xi
|
| any_adam_object | 1 |
| author | Purtill, Richard Lawrence 1931-2016 |
| author_GND | (DE-588)172315425 |
| author_facet | Purtill, Richard Lawrence 1931-2016 |
| author_role | aut |
| author_sort | Purtill, Richard Lawrence 1931-2016 |
| author_variant | r l p rl rlp |
| building | Verbundindex |
| bvnumber | BV002958136 |
| callnumber-first | B - Philosophy, Psychology, Religion |
| callnumber-label | BC71 |
| callnumber-raw | BC71 |
| callnumber-search | BC71 |
| callnumber-sort | BC 271 |
| callnumber-subject | BC - Logic |
| classification_rvk | CC 2600 MR 1050 |
| ctrlnum | (OCoLC)131401 (DE-599)BVBBV002958136 |
| 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 | Soziologie Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01392nam a2200385 c 4500</leader><controlfield tag="001">BV002958136</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20190130 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">900725s1971 a||| |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)131401</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV002958136</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-384</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-M468</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BC71</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MR 1050</subfield><subfield code="0">(DE-625)123484:</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">Purtill, Richard Lawrence</subfield><subfield code="d">1931-2016</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)172315425</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic for philosophers</subfield><subfield code="c">Richard L. Purtill</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York [u.a.]</subfield><subfield code="b">Harper & Row</subfield><subfield code="c">1971</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXII,419 S.</subfield><subfield code="b">Ill.</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="490" ind1="0" ind2=" "><subfield code="a">Sources in contemporary 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="655" ind1=" " ind2="7"><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=" "><subfield code="5">DE-604</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=001851945&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-001851945</subfield></datafield></record></collection> |
| genre | (DE-588)4123623-3 Lehrbuch gnd-content |
| genre_facet | Lehrbuch |
| id | DE-604.BV002958136 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T15:51:24Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001851945 |
| oclc_num | 131401 |
| open_access_boolean | |
| owner | DE-384 DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-29 DE-M468 DE-83 DE-188 |
| owner_facet | DE-384 DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-29 DE-M468 DE-83 DE-188 |
| physical | XXII,419 S. Ill. |
| publishDate | 1971 |
| publishDateSearch | 1971 |
| publishDateSort | 1971 |
| publisher | Harper & Row |
| record_format | marc |
| series2 | Sources in contemporary philosophy |
| spelling | Purtill, Richard Lawrence 1931-2016 Verfasser (DE-588)172315425 aut Logic for philosophers Richard L. Purtill New York [u.a.] Harper & Row 1971 XXII,419 S. Ill. txt rdacontent n rdamedia nc rdacarrier Sources in contemporary philosophy Logic Logik (DE-588)4036202-4 gnd rswk-swf (DE-588)4123623-3 Lehrbuch gnd-content Logik (DE-588)4036202-4 s DE-604 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001851945&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Purtill, Richard Lawrence 1931-2016 Logic for philosophers Logic Logik (DE-588)4036202-4 gnd |
| subject_GND | (DE-588)4036202-4 (DE-588)4123623-3 |
| title | Logic for philosophers |
| title_auth | Logic for philosophers |
| title_exact_search | Logic for philosophers |
| title_full | Logic for philosophers Richard L. Purtill |
| title_fullStr | Logic for philosophers Richard L. Purtill |
| title_full_unstemmed | Logic for philosophers Richard L. Purtill |
| title_short | Logic for philosophers |
| title_sort | logic for philosophers |
| topic | Logic Logik (DE-588)4036202-4 gnd |
| topic_facet | Logic Logik Lehrbuch |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001851945&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT purtillrichardlawrence logicforphilosophers |