Deductive logic and descriptive language:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Englewood Cliffs,N.J.
Prentice-Hall
1969
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | X,534 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV007074224 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 930421s1969 |||| 00||| eng d | ||
| 035 | |a (OCoLC)13069 | ||
| 035 | |a (DE-599)BVBBV007074224 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-355 |a DE-824 |a DE-29 |a DE-188 |a DE-19 | ||
| 050 | 0 | |a B840 | |
| 050 | 0 | |a BC71 | |
| 082 | 0 | |a 149.94 |2 18 | |
| 082 | 0 | |a 160 | |
| 084 | |a CC 2400 |0 (DE-625)17608: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Harrison, Frank R. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Deductive logic and descriptive language |
| 264 | 1 | |a Englewood Cliffs,N.J. |b Prentice-Hall |c 1969 | |
| 300 | |a X,534 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Logique | |
| 650 | 4 | |a Logic | |
| 650 | 0 | 7 | |a Deduktives Datenbanksystem |0 (DE-588)4258784-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4151278-9 |a Einführung |2 gnd-content | |
| 689 | 0 | 0 | |a Deduktives Datenbanksystem |0 (DE-588)4258784-0 |D s |
| 689 | 0 | 1 | |a Logische Programmierung |0 (DE-588)4195096-3 |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=004496442&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-004496442 | ||
Record in the Search Index
| _version_ | 1804121251870932992 |
|---|---|
| adam_text | Contents
Chapter I
What Shall We Mean by Logic ? 1
1. LANGUAGE 3
2. DESCRIPTIVE LANGUAGE 4
3. FORM 6
4. A PRIORI 9
5. ARGUMENTS 10
6. VALIDITY, INVALIDITY, AND SOUNDNESS 15
7. USE AND MENTION 16
8. TIPS ON STUDYING LOGIC 18
Chapter 2
Minding Our P s and Q s 23
1. THE TRUTH FUNCTIONAL CALCULUS 24
2. ATOMIC AND MOLECULAR STATEMENTS 28
Vii
CONTENTS viii
3. STATEMENT VARIABLES AND LOGICAL CONSTANTS 30
4. TRUTH FUNCTIONAL DENIAL 33
5. TRUTH FUNCTIONAL CONJUNCTION 37
6. TRUTH FUNCTIONAL DISJUNCTION 42
7. CONSTANTS OF PUNCTUATION AND THE
NOTION OF SCOPE 47
8. TRUTH FUNCTIONAL HYPOTHETICALS 53
9. MATERIAL EQUIVALENCE 60
Chapter 3
More About Truth Tables 65
7. CONSTRUCTING TRUTH TABLES 66
2. SHORTENED FORM TRUTH TABLES 73
3. TAUTOLOGICAL, CONTRADICTORY, AND
CONTINGENT STATEMENTS 78
4. ESTABLISHING VALIDITY AND INVALIDITY 82
5. ANOTHER TRUTH TABLE METHOD OF ESTABLISHING
VALIDITY AND INVALIDITY 88
6. CONSISTENCY AND INCONSISTENCY 93
Chapter 4
Logical Definitions and Logical Equivalences 99
1. LOGICAL DEFINITIONS 99
2. LOGICAL EQUIVALENCES 106
Chapter 5
Proofs Validity: Argument Forms 111
7. PURPOSE AND GENERAL CHARACTERISTICS
OF PROOFS OF VALIDITY 111
2. ARGUMENT FORMS 113
3. SIMPLIFICATION, COMMUTATION OF THE DOT,
AND CONJUNCTION 116
4. DISJUNCTIVE SYLLOGISM, COMMUTATION OF
THE WEDGE, AND ADDITION 126
ix CONTENTS
5. MODUS PONENS AND MODUS TOLLENS 135
6. HYPOTHETICAL SYLLOGISM AND CONSTRUCTIVE DILEMMA 146
7. DEMONSTRATING THAT OUR ARGUMENT FORMS
GUARANTEE VALIDITY 157
Chapter 6
Proofs of Validity: Definitional Equivalences 160
1. USING DEFINITION 1 IN PROOFS OF VALIDITY 162
2. USING DEFINITION 2 IN PROOFS OF VALIDITY 170
3. USING DEFINITION 3 IN PROOFS OF VALIDITY 179
4. USING DEFINITION 4 IN PROOFS OF VALIDITY 189
Chapter 7
Proofs of Validity: Logical Equivalences 202
7. USING DOUBLE NEGATION AND TRANSPOSITION
IN PROOFS OF VALIDITY 206
2. USING ASSOCIATION AND COMMUTATION
IN PROOFS OF VALIDITY 216
3. USING DE MORGAN S LAWS AND DISTRIBUTION
IN PROOFS OF VALIDITY 223
4. USING EXPORTATION, MATERIAL IMPLICATION, AND
TAUTOLOGY IN PROOFS OF VALIDITY 232
Chapter 8
Completing the Truth Functional Calculus 244
7. CONDITIONAL METHOD OF PROVING VALIDITY 244
2. INDIRECT METHOD OF PROVING VALIDITY 251
3. PROOFS OF INCONSISTENCY 259
4. DEMONSTRATIONS OF TAUTOLOGIES 263
5. DEMONSTRATIONS OF LOGICAL EQUIVALENCES 266
Chapter 9
An Axiomatic System 269
CONTENTS x
Chapter 10
Categorical Statements and Syllogisms 280
7. CATEGORICAL STATEMENTS 281
2. EXISTENTIAL SQUARE OF OPPOSITION 291
3. CONVERSION, OBVERSION, AND CONTRAPOSITION 295
4. CATEGORICAL SYLLOGISMS 304
5. ESTABLISHING THE VALIDITY OF CATEGORICAL
SYLLOGISMS: VENN DIAGRAMS 308
6. ESTABLISHING THE VALIDITY OF CATEGORICAL
SYLLOGISMS: CATEGORICAL RULES 317
Chapter II
Quantification and Symbols 321
I. SYMBOLIZING SINGULAR AND CATEGORICAL STATEMENTS 322
2. SYMBOLIZING NONCATEGORICAL STATEMENTS 340
3. SYMBOLIZING RELATIONAL STATEMENTS 348
Chapter 12
Arguments Involving Quantifiers 361
1. UNIVERSAL INSTANTIATION AND PRELIMINARY
UNIVERSAL GENERALIZATION 362
2. EXISTENTIAL GENERALIZATION AND
EXISTENTIAL INSTANTIATION 372
3. THE CONDITIONAL METHOD OF PROVING VALIDITY 381
4. DEFINITION 5 AND QUANTIFICATIONAL DENIAL 385
5. ARGUMENTS INVOLVING RELATIONS 398
Appendices:
A. THE TRUTH FUNCTIONAL CALCULUS AND SWITCHING NETWORKS 407
B. GLOSSARY 414
C. SELECTED ANSWERS 420
Index 531
|
| any_adam_object | 1 |
| author | Harrison, Frank R. |
| author_facet | Harrison, Frank R. |
| author_role | aut |
| author_sort | Harrison, Frank R. |
| author_variant | f r h fr frh |
| building | Verbundindex |
| bvnumber | BV007074224 |
| callnumber-first | B - Philosophy, Psychology, Religion |
| callnumber-label | B840 |
| callnumber-raw | B840 BC71 |
| callnumber-search | B840 BC71 |
| callnumber-sort | B 3840 |
| callnumber-subject | B - Philosophy |
| classification_rvk | CC 2400 |
| ctrlnum | (OCoLC)13069 (DE-599)BVBBV007074224 |
| dewey-full | 149.94 160 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 149 - Other philosophical systems and doctrines 160 - Philosophical logic |
| dewey-raw | 149.94 160 |
| dewey-search | 149.94 160 |
| dewey-sort | 3149.94 |
| dewey-tens | 140 - Specific philosophical schools 160 - Philosophical logic |
| discipline | Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01490nam a2200421 c 4500</leader><controlfield tag="001">BV007074224</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">930421s1969 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)13069</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV007074224</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-355</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-19</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">B840</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BC71</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">149.94</subfield><subfield code="2">18</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</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">Harrison, Frank R.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Deductive logic and descriptive language</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Englewood Cliffs,N.J.</subfield><subfield code="b">Prentice-Hall</subfield><subfield code="c">1969</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X,534 S.</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="650" ind1=" " ind2="4"><subfield code="a">Logique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Deduktives Datenbanksystem</subfield><subfield code="0">(DE-588)4258784-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4151278-9</subfield><subfield code="a">Einführung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Deduktives Datenbanksystem</subfield><subfield code="0">(DE-588)4258784-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</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=004496442&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-004496442</subfield></datafield></record></collection> |
| genre | (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV007074224 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T16:55:01Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-004496442 |
| oclc_num | 13069 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR DE-824 DE-29 DE-188 DE-19 DE-BY-UBM |
| owner_facet | DE-355 DE-BY-UBR DE-824 DE-29 DE-188 DE-19 DE-BY-UBM |
| physical | X,534 S. |
| publishDate | 1969 |
| publishDateSearch | 1969 |
| publishDateSort | 1969 |
| publisher | Prentice-Hall |
| record_format | marc |
| spelling | Harrison, Frank R. Verfasser aut Deductive logic and descriptive language Englewood Cliffs,N.J. Prentice-Hall 1969 X,534 S. txt rdacontent n rdamedia nc rdacarrier Logique Logic Deduktives Datenbanksystem (DE-588)4258784-0 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf (DE-588)4151278-9 Einführung gnd-content Deduktives Datenbanksystem (DE-588)4258784-0 s Logische Programmierung (DE-588)4195096-3 s DE-604 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004496442&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Harrison, Frank R. Deductive logic and descriptive language Logique Logic Deduktives Datenbanksystem (DE-588)4258784-0 gnd Logische Programmierung (DE-588)4195096-3 gnd |
| subject_GND | (DE-588)4258784-0 (DE-588)4195096-3 (DE-588)4151278-9 |
| title | Deductive logic and descriptive language |
| title_auth | Deductive logic and descriptive language |
| title_exact_search | Deductive logic and descriptive language |
| title_full | Deductive logic and descriptive language |
| title_fullStr | Deductive logic and descriptive language |
| title_full_unstemmed | Deductive logic and descriptive language |
| title_short | Deductive logic and descriptive language |
| title_sort | deductive logic and descriptive language |
| topic | Logique Logic Deduktives Datenbanksystem (DE-588)4258784-0 gnd Logische Programmierung (DE-588)4195096-3 gnd |
| topic_facet | Logique Logic Deduktives Datenbanksystem Logische Programmierung Einführung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004496442&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT harrisonfrankr deductivelogicanddescriptivelanguage |