Logic for philosophy:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Oxford [u.a.]
Oxford Univ. Press
2010
|
| Edition: | 1. publ. |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis Klappentext |
| Item Description: | Includes bibliographical references and index |
| Physical Description: | XIV, 289 S. |
| ISBN: | 9780199575596 9780199575589 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV035882476 | ||
| 003 | DE-604 | ||
| 005 | 20100608 | ||
| 007 | t | ||
| 008 | 091214s2010 |||| 00||| eng d | ||
| 015 | |a GBA994129 |2 dnb | ||
| 020 | |a 9780199575596 |9 978-0-19-957559-6 | ||
| 020 | |a 9780199575589 |9 978-0-19-957558-9 | ||
| 035 | |a (OCoLC)444383970 | ||
| 035 | |a (DE-599)BVBBV035882476 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29 |a DE-355 |a DE-703 |a DE-19 |a DE-11 |a DE-473 | ||
| 050 | 0 | |a BC50 | |
| 082 | 0 | |a 160 |2 22 | |
| 084 | |a CC 2500 |0 (DE-625)17609: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Sider, Theodore |d 196X- |e Verfasser |0 (DE-588)135854679 |4 aut | |
| 245 | 1 | 0 | |a Logic for philosophy |c Theodore Sider |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Oxford [u.a.] |b Oxford Univ. Press |c 2010 | |
| 300 | |a XIV, 289 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Includes bibliographical references and index | ||
| 650 | 4 | |a Logic | |
| 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=018740020&sequence=000005&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=018740020&sequence=000006&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Klappentext |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-018740020 | ||
Record in the Search Index
| _version_ | 1804140862993596416 |
|---|---|
| adam_text | 1
What is Logic?
1.1
Logical consequence and logical truth
1.2
Formalization
1.3
Metalogic
Exercises
1.1-1.2
1.4
Application
1.5
The nature of logical consequence
Exercise
1.3
1.6
Logical constants
1.7
Extensions, deviations, variations
1.8
Set theory
Exercises
1.4-1.5
2
Propositional Logic
2.1
Grammar of PL
2.2
The semantic approach to logic
2.3
Semantics of PL
CONTENTS
I
I
2
4
6
6
7
9
9
II
12
24
25
25
28
29
Exercise
2.1 35
2.4
Establishing validity and invalidity in PL
3 5
Exercise
2.2 36
2.4.1 Schemas,
validity, and invalidity
36
2.5
Sequent proofs in PL
37
2.5.1
Sequents
38
2.5.2
Rules
40
2.5.3
Sequent proofs
42
2.5.4
Example sequent proofs
43
Exercise
2.3 46
2.6
Axiomatic proofs in PL
46
Exercise
2.4 50
2.7
Soundness of PL and proof by induction
50
Exercises
2.5—2.10 55
2.8
PL-proofs and the deduction theorem
56
Exercises
2.11-2.12 62
2.9
Completeness of PL
62
2.9.1
Maximal consistent sets of wffs
62
2.9.2
Maximal consistent extensions
63
2.9.3
Features of maximal consistent sets
65
2.9.4
The proof
65
Contents
Beyond
Standard
Prepositional
Logic 67
3.1
Alternate connectives
7
3.1.1
Symbolizing truth functions in PL
67
3.1.2
Sheffer stroke
7°
3.1.3
Inadequate connective sets
7°
Exercises
3.1-3.3
71
3.2
Polish notation 71
Exercise
3.4
72
3.3
Nonclassical propositional logics 72
3.4
Three-valued logic
73
3.4.1
Lukasiewicz s system
75
Exercises
3.5-3.6 77
3.4.2
Kleene s tables
77
Exercises
3.7-3.9 79
3.4.3
Determinacy
79
3.4.4
Priest s logic of paradox
80
Exercises
3.10-3.11 82
3.4.5
Supervaluationism
82
Exercises
3.12-3.16 86
3.5 Intuitionisüc
propositional logic: proof theory
86
Exercise
3.17 89
Predicate Logic
9°
4.1
Grammar of PC
9°
4.2
Semantics of PC 91
Exercise
4.1
96
43
Establishing validity and invalidity in PC
φ
Exercises42-A.3
98
4.4
Axiomatic proofs in PC
99
Exercise
4.4 104
4.5
MetalogicofPC
104
Exercise
4.5 106
Beyond Standard Predicate Logic
107
5.1
Identity
107
5.1.1
Grammar for the identity sign
107
5.1.2
Semantics for the identity sign
108
5.1.3
Symbolizations with the identity sign
108
Exercises
5.1-5.2 109
5.2
Function symbols no
Exercise
5.3
ni
5.2.1
Grammar for function symbols
111
5.2.2
Semantics for function symbols
112
Exercise
5.4
XIt
5.3
Definite descriptions n.
Contents
5.3.1
Grammar for
г
114
5.3.2
Semantics for
¡
114
Exercises
S.
S-S.
6
117
5.3.3
Elimination of function symbols and descriptions
117
Exercises S.7-S.8
119
5.4
Further quantifiers
119
5.4.1
Generalized monadic quantifiers
120
Exercise S.9
121
5.4.2
Generalized binary quantifiers
122
Exercise S.10
123
5.4.3
Second-order logic
123
Exercise S.ll
126
5.5
Complex predicates
126
Exercises S.12-S.13
129
5.6
Free logic
129
5.6.1
Semantics for free logic
129
Exercises
5.14-5.15
132
5.6.2
Proof theory for free logic
132
Modal
Propositíonal
Logic
133
6.1
Grammar of MPL
135
6.2
Symbolizations in MPL
135
6.3
Semantics for MPL
T37
6.3.1
Kripke models
138
Exercise
6.1
14З
6.3.2
Establishing validity in MPL
43
Exercise
6.2
45
6.3.3
Establishing invalidity in MPL
45
Exercise
6.3
158
6.4
Axiomatic systems of MPL
158
6.4.1
System
К
!59
Exercises
6.4—6.5
166
6.4.2
System
D
166
Exercise
6.6
167
6.4.3
System
T
167
Exercise
6.7
167
6.4.4
System
В
1
68
Exercise
6.8
168
6.4.5
System S4
168
Exercise
6.9
169
6.4.6
System S5
169
Exercise
6.10
170
6A.7 Substitution of equivalents and modal reduction
170
Exercise
6.11
172
Contents
6.5
Soundness
in MPL r73
Exercises
6.12-6.13 X74
6.5.1
Soundness of
К
^4
6.5.2
Soundness of
Τ Χ75
6.5.3
Soundness of
Β
*75
Exercises
6.14-6.15
i75
6.6
Completeness in MPL J75
6.6.1
Definition of canonical models
176
6.6.2
Facts about maximal consistent sets
177
Exercise
6.16
!78
6.6.3
Mesh
179
Exercise
6.
Π 18ο
6.6.4
Truth and membership in canonical models
180
6.6.5
Completeness of systems of MPL
181
Exercises
6.18-6.20 182
Beyond Standard Modal Prepositional Logic
183
7.1
Deontic logic
183
Exercises /
.1-7.2 185
7.2
Epistemic
logic
185
Exercise
13 186
7.3
Propositìonal
tense logic
186
7.3.1
The metaphysics of time
186
7.3.2
Tense operators
188
7.3.3
Possible-worlds semantics for tense logic
189
Exercises
7.4—7.5 190
7.3.4
Formal constraints on
< 190
Exercise
7.6 192
7.4
Intuitionistic
propositìonal
logic: semantics
192
7.4.1
Proofstages
192
Exercises
7.7-7.8 195
7.4.2
Validity and semantic consequence
195
Exercises
7.9-7.10 196
7.4.3
Soundness
106
Exercises
7.11-7.13
I98
Counterfactuals IQo
8.1
Natural-language counterfactuals
199
8.1.1
Antecedents and consequents
199
8.1.2
Can be contingent 2oo
8.1.3
No augmentation
200
8.1.4
No contraposition
201
8.1.5
Some implications
201
8.1.6
Context dependence
202
8.2
The Lewis-Stalnaker theory 2O?
Contents xiii
8.3 Stalnaker s
system
204
8.3.1 Syntax
of SC
204
8.3.2
Semantics of
SC
205
Exercise
8.1 207
8.4
Establishing validity in
SC
207
Exercise
8.2 208
8.5
Establishing invalidity in
S
С 2о8
Exercises
8.3-8.4 216
8.6
Logical features of SC
216
8.6.1
No exportation
217
8.6.2
No importation
217
8.6.3
No permutation
218
8.6.4
No transitivity
218
8.7
Lewis s criticisms of Stalnaker s theory
219
8.8
Lewis s system
221
Exercises
8.5-8.6 223
8.9
The problem of disjunctive antecedents
223
8.10
Counterfactuals as strict conditionals
224
9
Quantified Modal Logic
227
9.1
Grammar of QML
227
9.2
De re
and
de dicto
227
9.3
A simple semantics for QML
230
9.4
Establishing validity and invalidity in SQML
232
Exercise
9.1 236
9.5
Philosophical questions about SQML
236
9.5.1
The necessity of identity
236
9.5.2
The necessity of existence
238
Exercise
9.2 241
9.5.3
Necessary existence defended?
241
9.6
Variable domains
244
9.6.1
Contingent existence vindicated
245
Exercises
9.3-9.4
гф
9.6.2
Increasing, decreasing domains
246
Exercise
9.
í
247
9.6.3
Strong and weak necessity
247
9.6.4
Actualist and possibilist quantification
249
9.7
Axiomatic proofs in SQML
249
Exercise
9.6 252
10
Two-dimensional Modal Logic
253
10.1
Actuality
253
10.1.1
Kripke models with designated worlds
253
Exercise
10.1 254
10.1.2
Semantics for @
254
xiv Contents
10.1.3
Establishing validity and invalidity
255
10.2
χ
255
10.2.1
Two-dimensional semantics for x
256
Exercise
10.2 258
10.3
Fixedly
258
Exercises
103-10.5 260
10.4
Necessity and apriority
260
Exercises
10.6-10.9 265
Appendix A Answers and Bunts to Selected Exercises
266
References
281
Index
285
Logic
for Philosophy is an introduction to logic for students of contem¬
porary philosophy. It is suitable both for advanced undergraduates and for
beginning graduate students in philosophy. It covers (i) basic approaches to
logic, including proof theory and especially model theory, (ii) extensions of
standard logic that are important in philosophy, and
(iii)
some elementary
philosophy of logic. It emphasizes breadth rather than depth. For example,
it discusses modal logic and counterfactuals, but does not prove the central
metalogical results for predicate logic (completeness, undecidability, etc.)
Its goal is to introduce students to the logic they need to know in order to
read contemporary philosophical work. It is very user-friendly for students
without an extensive background in mathematics. In short, this book gives
you the understanding of logic that you need in order to do philosophy.
Theodore Sider is Professor of Philosophy at New York University.
|
| any_adam_object | 1 |
| author | Sider, Theodore 196X- |
| author_GND | (DE-588)135854679 |
| author_facet | Sider, Theodore 196X- |
| author_role | aut |
| author_sort | Sider, Theodore 196X- |
| author_variant | t s ts |
| building | Verbundindex |
| bvnumber | BV035882476 |
| callnumber-first | B - Philosophy, Psychology, Religion |
| callnumber-label | BC50 |
| callnumber-raw | BC50 |
| callnumber-search | BC50 |
| callnumber-sort | BC 250 |
| callnumber-subject | BC - Logic |
| classification_rvk | CC 2500 |
| ctrlnum | (OCoLC)444383970 (DE-599)BVBBV035882476 |
| 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>01711nam a2200433 c 4500</leader><controlfield tag="001">BV035882476</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100608 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">091214s2010 |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">GBA994129</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780199575596</subfield><subfield code="9">978-0-19-957559-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780199575589</subfield><subfield code="9">978-0-19-957558-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)444383970</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035882476</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-703</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-473</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BC50</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</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">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Sider, Theodore</subfield><subfield code="d">196X-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)135854679</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic for philosophy</subfield><subfield code="c">Theodore Sider</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 Univ. Press</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 289 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="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</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=018740020&sequence=000005&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=018740020&sequence=000006&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-018740020</subfield></datafield></record></collection> |
| id | DE-604.BV035882476 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T22:06:44Z |
| institution | BVB |
| isbn | 9780199575596 9780199575589 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018740020 |
| oclc_num | 444383970 |
| open_access_boolean | |
| owner | DE-29 DE-355 DE-BY-UBR DE-703 DE-19 DE-BY-UBM DE-11 DE-473 DE-BY-UBG |
| owner_facet | DE-29 DE-355 DE-BY-UBR DE-703 DE-19 DE-BY-UBM DE-11 DE-473 DE-BY-UBG |
| physical | XIV, 289 S. |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Oxford Univ. Press |
| record_format | marc |
| spelling | Sider, Theodore 196X- Verfasser (DE-588)135854679 aut Logic for philosophy Theodore Sider 1. publ. Oxford [u.a.] Oxford Univ. Press 2010 XIV, 289 S. txt rdacontent n rdamedia nc rdacarrier Includes bibliographical references and index 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=018740020&sequence=000005&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=018740020&sequence=000006&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Klappentext |
| spellingShingle | Sider, Theodore 196X- Logic for philosophy Logic Logik (DE-588)4036202-4 gnd |
| subject_GND | (DE-588)4036202-4 |
| title | Logic for philosophy |
| title_auth | Logic for philosophy |
| title_exact_search | Logic for philosophy |
| title_full | Logic for philosophy Theodore Sider |
| title_fullStr | Logic for philosophy Theodore Sider |
| title_full_unstemmed | Logic for philosophy Theodore Sider |
| title_short | Logic for philosophy |
| title_sort | logic for philosophy |
| 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=018740020&sequence=000005&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=018740020&sequence=000006&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT sidertheodore logicforphilosophy |