The logic manual:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Oxford [u.a.]
Oxford University Press
2010
|
| Edition: | 1. publ. |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis Klappentext |
| Physical Description: | X, 194 S. |
| ISBN: | 9780199587841 0199587841 0199587833 9780199587834 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV036539334 | ||
| 003 | DE-604 | ||
| 005 | 20101007 | ||
| 007 | t | ||
| 008 | 100630s2010 |||| 00||| eng d | ||
| 015 | |a GBB039152 |2 dnb | ||
| 020 | |a 9780199587841 |c pbk |9 978-0-19-958784-1 | ||
| 020 | |a 0199587841 |9 0-19-958784-1 | ||
| 020 | |a 0199587833 |9 0-19-958783-3 | ||
| 020 | |a 9780199587834 |c hbk |9 978-0-19-958783-4 | ||
| 035 | |a (OCoLC)695927138 | ||
| 035 | |a (DE-599)BVBBV036539334 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29 |a DE-355 |a DE-19 |a DE-11 | ||
| 082 | 0 | |a 160 | |
| 084 | |a CC 2400 |0 (DE-625)17608: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Halbach, Volker |e Verfasser |0 (DE-588)114528071 |4 aut | |
| 245 | 1 | 0 | |a The logic manual |c Volker Halbach |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Oxford [u.a.] |b Oxford University Press |c 2010 | |
| 300 | |a X, 194 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Logic | |
| 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 | |
| 856 | 4 | 2 | |m Digitalisierung UB Regensburg |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020461135&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Digitalisierung UB Regensburg |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020461135&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Klappentext |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-020461135 | ||
Record in the Search Index
| _version_ | 1804143106589720576 |
|---|---|
| adam_text | The Logic Manual is a clear and concise introduction to logic for philosophy
students. It offers a complete introductory course, guiding the reader carefully
through the topics in logic that are most important for the study of philosophy.
It covers propositional and predicate logic with and without identity, and
provides an account of the semantics of these languages, including definitions
of truth and satisfaction. Natural deduction is used as a proof system.
Volker
Halbach
introduces the essential concepts through examples and informal
explanations as well as through abstract definitions.
The Logic Manual provides the best entry to the general abstract way
of thinking about language, logic, and semantics, which is characteristic of
contemporary philosophy. Exercises, examples, and sample examination
papers are provided on an accompanying website,
Volker Halbach
is Reader and
CUF
Lecturer in Philosophy at the University
of Oxford.
Contents
About the Logic Manual
vii
Introduction
ι
ι
Sets, Relations, and Arguments
5
1.1
Sets
5
1.2
Binary Relations
7
1.3
Functions
14
1.4
Non-binary Relations
16
1.5
Arguments, Validity, and Contradictions
17
1.6
Syntax, Semantics, and Pragmatics
24
2
Syntax and Semantics of Propositional Logic
27
2.1
Quotation
27
2.2
The Syntax of the Language of Propositional Logic
29
2.3
Rules for Dropping Brackets
31
2.4
The Semantics of Propositional Logic
34
3
Formalization in Propositional Logic
52
3.1
Truth-Functionality
53
3.2
Logical Form
57
3.3
From Logical Form to Formal Language
62
3.4
Ambiguity
64
3.5
The Standard Connectives
66
3.6
Natural Language and Propositional Logic
68
4
The Syntax of Predicate Logic
74
4Л
Predicates and Quantification
74
4.2
The Sentences of
£2 82
4-3
Free and Bound
Occurrences
of Variables
85
4.4
Notational Conventions
87
4.5
Formalization
88
5
The Semantics of Predicate Logic
94
5.1
Structures
95
5.2
Truth
100
5.3
Validity, Logical Truths, and Contradictions
108
5.4
Counterexamples
110
6
Natural Deduction
116
6.1
Propositional Logic
118
6.2
Predicate Logic
130
7
Formalization in Predicate Logic
143
7.1
Adequacy
143
7.2
Ambiguity
147
7.3
Extensionality
152
7.4
Predicate Logic and Arguments in English
157
8
Identity and Definite Descriptions
166
8.1
Qualitative and Numerical Identity
166
8.2
The Syntax of £=
167
8.3
The Semantics of £=
168
8.4
Proof Rules for Identity
171
8.5
Uses of Identity
174
8.6
Identity as a Logical Constant
183
Appendix: Natural Deduction Rules
186
Bibliography
189
Index
191
vi
|
| any_adam_object | 1 |
| author | Halbach, Volker |
| author_GND | (DE-588)114528071 |
| author_facet | Halbach, Volker |
| author_role | aut |
| author_sort | Halbach, Volker |
| author_variant | v h vh |
| building | Verbundindex |
| bvnumber | BV036539334 |
| classification_rvk | CC 2400 |
| ctrlnum | (OCoLC)695927138 (DE-599)BVBBV036539334 |
| 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 | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01676nam a2200421 c 4500</leader><controlfield tag="001">BV036539334</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20101007 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">100630s2010 |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">GBB039152</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780199587841</subfield><subfield code="c">pbk</subfield><subfield code="9">978-0-19-958784-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0199587841</subfield><subfield code="9">0-19-958784-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0199587833</subfield><subfield code="9">0-19-958783-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780199587834</subfield><subfield code="c">hbk</subfield><subfield code="9">978-0-19-958783-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)695927138</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV036539334</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-355</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-11</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">Halbach, Volker</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)114528071</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The logic manual</subfield><subfield code="c">Volker Halbach</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Oxford [u.a.]</subfield><subfield code="b">Oxford University Press</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 194 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">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="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">Digitalisierung UB Regensburg</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=020461135&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Regensburg</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=020461135&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Klappentext</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-020461135</subfield></datafield></record></collection> |
| id | DE-604.BV036539334 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T22:42:23Z |
| institution | BVB |
| isbn | 9780199587841 0199587841 0199587833 9780199587834 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020461135 |
| oclc_num | 695927138 |
| open_access_boolean | |
| owner | DE-29 DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-11 |
| owner_facet | DE-29 DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-11 |
| physical | X, 194 S. |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Oxford University Press |
| record_format | marc |
| spelling | Halbach, Volker Verfasser (DE-588)114528071 aut The logic manual Volker Halbach 1. publ. Oxford [u.a.] Oxford University Press 2010 X, 194 S. txt rdacontent n rdamedia nc rdacarrier Logic Logik (DE-588)4036202-4 gnd rswk-swf Logik (DE-588)4036202-4 s DE-604 Digitalisierung UB Regensburg application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020461135&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Digitalisierung UB Regensburg application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020461135&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Klappentext |
| spellingShingle | Halbach, Volker The logic manual Logic Logik (DE-588)4036202-4 gnd |
| subject_GND | (DE-588)4036202-4 |
| title | The logic manual |
| title_auth | The logic manual |
| title_exact_search | The logic manual |
| title_full | The logic manual Volker Halbach |
| title_fullStr | The logic manual Volker Halbach |
| title_full_unstemmed | The logic manual Volker Halbach |
| title_short | The logic manual |
| title_sort | the logic manual |
| topic | Logic Logik (DE-588)4036202-4 gnd |
| topic_facet | Logic Logik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020461135&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020461135&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT halbachvolker thelogicmanual |