Logic: [550 fully solved problems]
550 fully solved problems, coverage of nonclassical logics and the probability calculus, plus support for all major logic textbooks
Gespeichert in:
Hauptverfasser: | , , |
---|---|
Format: | Buch |
Sprache: | English |
Veröffentlicht: |
New York [u.a.]
McGraw-Hill
2011
|
Ausgabe: | 2. ed. |
Schriftenreihe: | Schaum's outline series
|
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Zusammenfassung: | 550 fully solved problems, coverage of nonclassical logics and the probability calculus, plus support for all major logic textbooks |
Beschreibung: | VII, 322 S. graph. Darst. |
ISBN: | 9780071755467 0071755462 |
Internformat
MARC
LEADER | 00000nam a2200000 c 4500 | ||
---|---|---|---|
001 | BV037393820 | ||
003 | DE-604 | ||
005 | 20131106 | ||
007 | t | ||
008 | 110511s2011 d||| |||| 00||| eng d | ||
020 | |a 9780071755467 |c pbk. |9 978-0-07-175546-7 | ||
020 | |a 0071755462 |9 0-07-175546-2 | ||
035 | |a (OCoLC)713011346 | ||
035 | |a (DE-599)BVBBV037393820 | ||
040 | |a DE-604 |b ger |e rakwb | ||
041 | 0 | |a eng | |
049 | |a DE-29 |a DE-703 |a DE-473 | ||
082 | 0 | |a 160/.202 |2 22 | |
084 | |a CC 2500 |0 (DE-625)17609: |2 rvk | ||
084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
084 | |a ST 125 |0 (DE-625)143586: |2 rvk | ||
084 | |a 5,1 |2 ssgn | ||
100 | 1 | |a Nolt, John |d 1950- |e Verfasser |0 (DE-588)1060789604 |4 aut | |
245 | 1 | 0 | |a Logic |b [550 fully solved problems] |c John Nolt ; Dennis Rohatyn ; Achille Varzi |
246 | 1 | 3 | |a Schaum's outlines Logic |
250 | |a 2. ed. | ||
264 | 1 | |a New York [u.a.] |b McGraw-Hill |c 2011 | |
300 | |a VII, 322 S. |b graph. Darst. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 0 | |a Schaum's outline series | |
520 | |a 550 fully solved problems, coverage of nonclassical logics and the probability calculus, plus support for all major logic textbooks | ||
650 | 4 | |a Logic / Outlines, syllabi, etc | |
650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
689 | 0 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
689 | 0 | |5 DE-604 | |
700 | 1 | |a Rohatyn, Dennis A. |e Verfasser |4 aut | |
700 | 1 | |a Varzi, Achille C. |d 1958- |e Verfasser |0 (DE-588)154577324 |4 aut | |
856 | 4 | 2 | |m V:DE-604 |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022546654&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-022546654 |
Datensatz im Suchindex
_version_ | 1812535792903389184 |
---|---|
adam_text |
IMAGE 1
CONTENTS
CHAPTER 1 ARGUMENT STRUCTURE 1
1.1 WHAT IS AN ARGUMENT?
.*.
1
1.2 IDENTIFYING ARGUMENTS 3
1.3 COMPLEX ARGUMENTS
.:.
6
1.4 ARGUMENT DIAGRAMS 7
1.5 CONVERGENT ARGUMENTS
:. 10
1.6 IMPLICIT STATEMENTS 12
1.7 USE AND MENTION 16
1.8 FORMAL VS. INFORMAL LOGIC; 17
CHAPTER 2 ARGUMENT EVALUATION 21
. 2.1 EVALUATIVE CRITERIA
:. 21
2.2 TRUTH OF PREMISES .'
:. 21
2.3 VALIDITY AND INDUCTIVE PROBABILITY 23
2.4 RELEVANCE ,. 31
2.5 THE REQUIREMENT OF TOTAL EVIDENCE 34
CHAPTER 3 PROPOSITIONAL LOGIC 44
3.1 ARGUMENT FORMS 44
3.2 LOGICAL OPERATORS :. 47
3.3 FORMALIZATION L . ,. 50
3.4 SEMANTICS OF THE LOGICAL OPERATORS 55
3.5 TRUTH TABLES FOR WFFS 60
3.6 TRUTH TABLES FOR ARGUMENT FORMS 64
3.7 REFUTATION TREES
.'.
68
CHAPTER 4 TUE PROPOSITIONAL CALCULUS 81
4.1 THE NOTION OF INFERENCE 81
4.2 NONHYPOTHETICAL INFERENCE RULES 81
4.3 HYPOTHETICAL RULES 87
4.4 DERIVED RULES 97
4.5
THEOREMS.
101
4.6
EQUIVALENCES.
102
CHAPTER 5 TUE LOGIC OF CATEGORICAL STATEMENTS 111
5.1 CATEGORICAL STATEMENTS 111
5.2 VENN DIAGRAMS 116
5.3 IMMEDIATE INFERENCES ~. 119
5.4 CATEGORICAL SYLLOGISMS 123
V
IMAGE 2
VI
CHAPTER 6
CHAPTER 7
CHAPTER 8
CHAPTER 9
CHAPTER 10
CHAPTER 11
CONTENTS
PREDICATE LOGIC :. 130
6.1 QUANTIFIERS AND VARIABLES . 130
6.2 PREDICATES AHD NAM ES 134
6.3 FORMATION RULES . 139
6.4 MODELS 142
6.5 REFUTATION TREES 150
6.6 IDENTITY ,. 158
THE PREDICATE CALCULUS 170
7.1 REASONING IN PREDIEATE LOGIC
.*.
170
7.2 INFERENCE RULES FOR THE UNIVERSAL QUANTIFIER 170
7.3 INFERENCE RULES FOR THE EXISTENTIAL QUANTIFIER 176
7.4 THEOREMS AND QUANTIFIER EQUIVALENCE RULES 184
7.5 INFERENCE RULES FOR THE IDENTITY PREDICATE
.*.
190
FALLACIES 195
8.1 CLASSIFIEATION OF FALLACIES 195
8.2 FALLACIES OF RELEVANCE 196
8.3 CIRCULAR REASONING 205
8.4 SEMANTIC FALLACIES 206
8.5 INDUCTIVE FALLACIES 209
8.6 FORMAL FALLACIES 212
8.7 FALLACIES OF FALSE PREMISES 215
INDUCFION 223
9.1 STATEMENT STRENGTH ~. 223
9.2 STATISTICAL SYLLOGISM 226
9.3 STATISTICAL GENERALIZATION
:. 230
9.4 INDUCTIVE GENERALIZATION AND SIMPLE INDUCTION 234
9.5 INDUCTION BY ANALOGY 237
9.6 MILL'S METHODS 240
9.7 SCIENTIFIC THEORIES 247
THE PROBABILITY CALCULUS 254
10.1 THE PROBABILITY OPERATOR 254
10.2 AXIOMS AND THEOREMS OF THE PROBABILITY CALCULUS 256
10.3 CONDITIONAL PROBABILITY 260
10.4 APPLIEATION OF THE PROBABILITY CALCULUS 269
FURTHER DEVELOPMENTS IN FORMAL LOGIC 277
11.1 EXPRESSIVE LIMITATIONS OF PREDICATE LOGIC 277
11.2 HIGHER-ORDER LOGICS 279
11.3 PREDICATE LOGIC WITH FUNCTION SYMBOLS 284
11.4 FORMAL ARITHMETIC 287
11.5 FORMAL DEFINITIONS 293
11.6 DEFINITE DESCRIPTIONS 294
11.7 MODAL LOGIC 296
IMAGE 3
CONTENTS
VII
GLOSSARY 307
INDEX 317 |
any_adam_object | 1 |
author | Nolt, John 1950- Rohatyn, Dennis A. Varzi, Achille C. 1958- |
author_GND | (DE-588)1060789604 (DE-588)154577324 |
author_facet | Nolt, John 1950- Rohatyn, Dennis A. Varzi, Achille C. 1958- |
author_role | aut aut aut |
author_sort | Nolt, John 1950- |
author_variant | j n jn d a r da dar a c v ac acv |
building | Verbundindex |
bvnumber | BV037393820 |
classification_rvk | CC 2500 SK 130 ST 125 |
ctrlnum | (OCoLC)713011346 (DE-599)BVBBV037393820 |
dewey-full | 160/.202 |
dewey-hundreds | 100 - Philosophy & psychology |
dewey-ones | 160 - Philosophical logic |
dewey-raw | 160/.202 |
dewey-search | 160/.202 |
dewey-sort | 3160 3202 |
dewey-tens | 160 - Philosophical logic |
discipline | Informatik Mathematik Philosophie |
edition | 2. ed. |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV037393820</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20131106</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">110511s2011 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780071755467</subfield><subfield code="c">pbk.</subfield><subfield code="9">978-0-07-175546-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0071755462</subfield><subfield code="9">0-07-175546-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)713011346</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV037393820</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</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><subfield code="a">DE-473</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160/.202</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2500</subfield><subfield code="0">(DE-625)17609:</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="084" ind1=" " ind2=" "><subfield code="a">ST 125</subfield><subfield code="0">(DE-625)143586:</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">Nolt, John</subfield><subfield code="d">1950-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1060789604</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic</subfield><subfield code="b">[550 fully solved problems]</subfield><subfield code="c">John Nolt ; Dennis Rohatyn ; Achille Varzi</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Schaum's outlines Logic</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York [u.a.]</subfield><subfield code="b">McGraw-Hill</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VII, 322 S.</subfield><subfield code="b">graph. Darst.</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">Schaum's outline series</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">550 fully solved problems, coverage of nonclassical logics and the probability calculus, plus support for all major logic textbooks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic / Outlines, syllabi, etc</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="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="700" ind1="1" ind2=" "><subfield code="a">Rohatyn, Dennis A.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Varzi, Achille C.</subfield><subfield code="d">1958-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)154577324</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">V:DE-604</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=022546654&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-022546654</subfield></datafield></record></collection> |
id | DE-604.BV037393820 |
illustrated | Illustrated |
indexdate | 2024-10-10T14:00:33Z |
institution | BVB |
isbn | 9780071755467 0071755462 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-022546654 |
oclc_num | 713011346 |
open_access_boolean | |
owner | DE-29 DE-703 DE-473 DE-BY-UBG |
owner_facet | DE-29 DE-703 DE-473 DE-BY-UBG |
physical | VII, 322 S. graph. Darst. |
publishDate | 2011 |
publishDateSearch | 2011 |
publishDateSort | 2011 |
publisher | McGraw-Hill |
record_format | marc |
series2 | Schaum's outline series |
spelling | Nolt, John 1950- Verfasser (DE-588)1060789604 aut Logic [550 fully solved problems] John Nolt ; Dennis Rohatyn ; Achille Varzi Schaum's outlines Logic 2. ed. New York [u.a.] McGraw-Hill 2011 VII, 322 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Schaum's outline series 550 fully solved problems, coverage of nonclassical logics and the probability calculus, plus support for all major logic textbooks Logic / Outlines, syllabi, etc Logik (DE-588)4036202-4 gnd rswk-swf Logik (DE-588)4036202-4 s DE-604 Rohatyn, Dennis A. Verfasser aut Varzi, Achille C. 1958- Verfasser (DE-588)154577324 aut V:DE-604 application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022546654&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Nolt, John 1950- Rohatyn, Dennis A. Varzi, Achille C. 1958- Logic [550 fully solved problems] Logic / Outlines, syllabi, etc Logik (DE-588)4036202-4 gnd |
subject_GND | (DE-588)4036202-4 |
title | Logic [550 fully solved problems] |
title_alt | Schaum's outlines Logic |
title_auth | Logic [550 fully solved problems] |
title_exact_search | Logic [550 fully solved problems] |
title_full | Logic [550 fully solved problems] John Nolt ; Dennis Rohatyn ; Achille Varzi |
title_fullStr | Logic [550 fully solved problems] John Nolt ; Dennis Rohatyn ; Achille Varzi |
title_full_unstemmed | Logic [550 fully solved problems] John Nolt ; Dennis Rohatyn ; Achille Varzi |
title_short | Logic |
title_sort | logic 550 fully solved problems |
title_sub | [550 fully solved problems] |
topic | Logic / Outlines, syllabi, etc Logik (DE-588)4036202-4 gnd |
topic_facet | Logic / Outlines, syllabi, etc Logik |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022546654&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
work_keys_str_mv | AT noltjohn logic550fullysolvedproblems AT rohatyndennisa logic550fullysolvedproblems AT varziachillec logic550fullysolvedproblems AT noltjohn schaumsoutlineslogic AT rohatyndennisa schaumsoutlineslogic AT varziachillec schaumsoutlineslogic |