Methods of logic:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Cambridge, Mass.
Harvard Univ. Pr.
1982
|
| Ausgabe: | 4. ed. |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | X, 333 S. |
| ISBN: | 0674571754 0674571762 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV000046418 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 870612s1982 |||| 00||| ger d | ||
| 020 | |a 0674571754 |9 0-674-57175-4 | ||
| 020 | |a 0674571762 |9 0-674-57176-2 | ||
| 035 | |a (OCoLC)230274593 | ||
| 035 | |a (DE-599)BVBBV000046418 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-12 |a DE-19 |a DE-703 |a DE-739 |a DE-92 |a DE-20 |a DE-188 | ||
| 084 | |a CI 6554 |0 (DE-625)18544:11603 |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 100 | 1 | |a Quine, W. V. |d 1908-2000 |e Verfasser |0 (DE-588)118641824 |4 aut | |
| 245 | 1 | 0 | |a Methods of logic |c W. V. Quine |
| 250 | |a 4. ed. | ||
| 264 | 1 | |a Cambridge, Mass. |b Harvard Univ. Pr. |c 1982 | |
| 300 | |a X, 333 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 0 | 7 | |a Methodologie |0 (DE-588)4139716-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4006432-3 |a Bibliografie |2 gnd-content | |
| 655 | 7 | |8 2\p |0 (DE-588)4151278-9 |a Einführung |2 gnd-content | |
| 689 | 0 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | 1 | |a Methodologie |0 (DE-588)4139716-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 1 | |8 3\p |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=000014721&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-000014721 | ||
| 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 | |
Datensatz im Suchindex
| _version_ | 1804114500307124224 |
|---|---|
| adam_text | Titel: Methods of logic
Autor: Quine, Willard van Orman
Jahr: 1982
CONTENTS
Introduction /
PART I. TRUTH FUNCTIONS
1. Negation, Conjunction, and Alternation 9
2. Truth Functions 16
3. The Conditional 21
4. Grouping 27
5. Truth-Value Analysis 33
6. Consistency and Validity 40
7. Implication 45
8. Words into Symbols 53
9. Equivalence 60
10. Alternational Normal Schemata 68
11. Simplification 74
12. Duality 79
13. Axioms 85
PART II. GENERAL TERMS AND QUANTIFIERS
14. Categorical Statements 93
15. Venn s Diagrams 98
16. Syllogisms 102
17. Limits of These Methods 109
18. Boolean Schemata 114
19. Tests of Validity 121
20. Some Boolean Incidentals 128
21. The Bound Variable 132
22. Quantification 136
23. Rules of Passage. Monadic Schemata /42
24. Prenexity and Purity 148
25. Validity Again 154
26. Substitution 160
Contents
PART III. GENERAL THEORY OF QUANTIFICATION
27. Schemata Extended 167
28. Substitution Extended 174
29. Pure Existentials 182
30. The Main Method 190
31. Application 195
32. Completeness 203
33. Löwenheim s Theorem 209
34. Decisions and the Undecidable 213
35. Functional Normal Forms 219
36. Herbrand s Method 224
37. Other Methods for Validity 232
38. Deduction 237
39. Soundness 245
40. Deductive Strategy 248
PART IV. GLIMPSES BEYOND
41. Singular Terms 259
42. Identity 268
43. Descriptions 274
44. Elimination of Singular Terms 278
45. Elimination of Variables 283
46. Classes 288
47. Number 294
48. Axiomatic Set Theory 300
Partial Answers to Exercises 305
Bibliography 320
Index 327
|
| any_adam_object | 1 |
| author | Quine, W. V. 1908-2000 |
| author_GND | (DE-588)118641824 |
| author_facet | Quine, W. V. 1908-2000 |
| author_role | aut |
| author_sort | Quine, W. V. 1908-2000 |
| author_variant | w v q wv wvq |
| building | Verbundindex |
| bvnumber | BV000046418 |
| classification_rvk | CI 6554 SK 130 |
| ctrlnum | (OCoLC)230274593 (DE-599)BVBBV000046418 |
| discipline | Mathematik Philosophie |
| edition | 4. ed. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01938nam a2200469 c 4500</leader><controlfield tag="001">BV000046418</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">870612s1982 |||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0674571754</subfield><subfield code="9">0-674-57175-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0674571762</subfield><subfield code="9">0-674-57176-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)230274593</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV000046418</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">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CI 6554</subfield><subfield code="0">(DE-625)18544:11603</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Quine, W. V.</subfield><subfield code="d">1908-2000</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)118641824</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Methods of logic</subfield><subfield code="c">W. V. Quine</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">4. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass.</subfield><subfield code="b">Harvard Univ. Pr.</subfield><subfield code="c">1982</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 333 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="0" ind2="7"><subfield code="a">Methodologie</subfield><subfield code="0">(DE-588)4139716-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-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)4006432-3</subfield><subfield code="a">Bibliografie</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)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">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">Methodologie</subfield><subfield code="0">(DE-588)4139716-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">3\p</subfield><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=000014721&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-000014721</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)4006432-3 Bibliografie gnd-content 2\p (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Bibliografie Einführung |
| id | DE-604.BV000046418 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T15:07:42Z |
| institution | BVB |
| isbn | 0674571754 0674571762 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-000014721 |
| oclc_num | 230274593 |
| open_access_boolean | |
| owner | DE-12 DE-19 DE-BY-UBM DE-703 DE-739 DE-92 DE-20 DE-188 |
| owner_facet | DE-12 DE-19 DE-BY-UBM DE-703 DE-739 DE-92 DE-20 DE-188 |
| physical | X, 333 S. |
| publishDate | 1982 |
| publishDateSearch | 1982 |
| publishDateSort | 1982 |
| publisher | Harvard Univ. Pr. |
| record_format | marc |
| spelling | Quine, W. V. 1908-2000 Verfasser (DE-588)118641824 aut Methods of logic W. V. Quine 4. ed. Cambridge, Mass. Harvard Univ. Pr. 1982 X, 333 S. txt rdacontent n rdamedia nc rdacarrier Methodologie (DE-588)4139716-2 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf 1\p (DE-588)4006432-3 Bibliografie gnd-content 2\p (DE-588)4151278-9 Einführung gnd-content Logik (DE-588)4036202-4 s Methodologie (DE-588)4139716-2 s DE-604 Mathematische Logik (DE-588)4037951-6 s 3\p DE-604 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000014721&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 | Quine, W. V. 1908-2000 Methods of logic Methodologie (DE-588)4139716-2 gnd Logik (DE-588)4036202-4 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4139716-2 (DE-588)4036202-4 (DE-588)4037951-6 (DE-588)4006432-3 (DE-588)4151278-9 |
| title | Methods of logic |
| title_auth | Methods of logic |
| title_exact_search | Methods of logic |
| title_full | Methods of logic W. V. Quine |
| title_fullStr | Methods of logic W. V. Quine |
| title_full_unstemmed | Methods of logic W. V. Quine |
| title_short | Methods of logic |
| title_sort | methods of logic |
| topic | Methodologie (DE-588)4139716-2 gnd Logik (DE-588)4036202-4 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Methodologie Logik Mathematische Logik Bibliografie Einführung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000014721&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT quinewv methodsoflogic |