First order modal logic:
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Dordrecht [u.a.]
Kluwer
1998
|
| Series: | Synthese library
277 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XII, 287 S. graph. Darst. |
| ISBN: | 079235334X 0792353358 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV012347794 | ||
| 003 | DE-604 | ||
| 005 | 20051108 | ||
| 007 | t | ||
| 008 | 990113s1998 d||| |||| 00||| eng d | ||
| 020 | |a 079235334X |9 0-7923-5334-X | ||
| 020 | |a 0792353358 |9 0-7923-5335-8 | ||
| 035 | |a (OCoLC)39886989 | ||
| 035 | |a (DE-599)BVBBV012347794 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-29 |a DE-29T |a DE-12 |a DE-355 |a DE-473 |a DE-19 |a DE-11 |a DE-188 |a DE-M468 | ||
| 050 | 0 | |a BC199.M6 | |
| 082 | 0 | |a 160 |2 21 | |
| 084 | |a CC 2500 |0 (DE-625)17609: |2 rvk | ||
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Fitting, Melvin |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a First order modal logic |c Melvin Fitting and Richard L. Mendelsohn |
| 246 | 1 | 3 | |a First-order modal logic |
| 264 | 1 | |a Dordrecht [u.a.] |b Kluwer |c 1998 | |
| 300 | |a XII, 287 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Synthese library |v 277 | |
| 650 | 7 | |a Logique (Philosophie) |2 rasuqam | |
| 650 | 7 | |a Modale logica |2 gtt | |
| 650 | 7 | |a Modalité |2 rasuqam | |
| 650 | 7 | |a Predicatenlogica |2 gtt | |
| 650 | 4 | |a Modality (Logic) | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modallogik |0 (DE-588)4074914-9 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Modallogik |0 (DE-588)4074914-9 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Mendelsohn, Richard L. |e Verfasser |4 aut | |
| 830 | 0 | |a Synthese library |v 277 |w (DE-604)BV000005044 |9 277 | |
| 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=008372492&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-008372492 | ||
Record in the Search Index
| _version_ | 1804126974538416128 |
|---|---|
| adam_text | Titel: First order modal logic
Autor: Fitting, Melvin
Jahr: 1998
CONTENTS
PREFACE
XI
CHAPTER ONE / Propositional Modal Logic 1
1.1 What is a Modal? 2
1.2 Can There Be a Modal Logic? 3
1.3 What Are The Formulas? 5
1.4 Aristotle s Modal Square 7
1.5 Informal Interpretations 8
1.6 What Are the Models? 11
1.7 Examples 14
1.8 Some Important Logics 18
1.9 Logical Consequence 21
1.10 Temporal Logic 24
1.11 Epistemic Logic 28
1.12 Historical Highlights 32
CHAPTER TWO / Tableau Proof Systems 46
2.1 What Is a Proof 46
2.2 Tableaus 47
2.3 More Tableau Systems 51
2.4 Logical Consequence and Tableaus 55
2.5 Tableaus Work 57
CHAPTER THREE / Axiom Systems 67
3.1 What Is an Axiomatic Proof 67
3.2 More Axiom Systems 71
3.3 Logical Consequence, Axiomatically 73
3.4 Axiom Systems Work Too 74
CHAPTER FOUR / Quantified Modal Logic 81
4.1 First-Order Formulas 81
4.2 An Informal Introduction 83
4.3 Necessity De Re and De Dicto 85
4.4 Is Quantified Modal Logic Possible? 89
Vll
viii CONTENTS
4.5 What the Quantifiers Quantify Over 92
4.6 Constant Domain Models 95
4.7 Varying Domain Models 101
4.8 Different Media, Same Message 105
4.9 Barcan and Converse Barcan Formulas 108
CHAPTER FIVE / First-Order Tableaus 116
5.1 Constant Domain Tableaus 116
5.2 Varying Domain Tableaus 118
5.3 Tableaus Still Work 121
CHAPTER SIX / First-Order Axiom Systems 132
6.1 A Classical First-Order Axiom System 132
6.2 Varying Domain Modal Axiom Systems 135
6.3 Constant Domain Systems 136
6.4 Miscellany 138
CHAPTER SEVEN / EQUALITY 140
7.1 Classical Background 140
7.2 Frege s Puzzle 142
7.3 The Indiscemibility of Identicals 145
7.4 The Formal Details 149
7.5 Tableau Equality Rules 150
7.6 Tableau Soundness and Completeness 152
7.7 An Example 159
CHAPTER EIGHT / Existence and Actualist Quantifica-
tion 163
8.1 To Be 163
8.2 Tableau Proofs 165
8.3 The Paradox of NonBeing 167
8.4 Deflationists 169
8.5 Parmenides Principle 172
8.6 Inflationists 175
8.7 Unactualized Possibles 178
8.8 Barcan and Converse Barcan, Again 180
8.9 Using Validities in Tableaus 182
8.10 On Symmetry 185
CHAPTER NINE / TERMS AND PREDICATE ABSTRACTION 187
9.1 Why constants should not be constant 187
9.2 Scope 190
CONTENTS i
9.3 Predicate Abstraction 194
9.4 Abstraction in the Concrete 195
9.5 Reading Predicate Abstracts 200
CHAPTER TEN / Abstraction Continued 204
10.1 Equality 204
10.2 Rigidity 210
10.3 A Dynamic Logic Example 216
10.4 Rigid Designators 217
10.5 Existence 220
10.6 Tableau Rules, Varying Domain 221
10.7 Tableau Rules, Constant Domain 227
CHAPTER ELEVEN / Designation 230
11.1 The Formal Machinery 231
11.2 Designation and Existence 233
11.3 Existence and Designation 235
11.4 Fiction 241
11.5 Tableau Rules 245
CHAPTER TWELVE / Definite Descriptions 248
12.1 Notation 248
12.2 Two Theories of Descriptions 249
12.3 The Semantics of Definite Descriptions 253
12.4 Some Examples 255
12.5 Hintikka s Schema and Variations 261
12.6 Varying Domain Tableaus 265
12.7 Russell s Approach 273
12.8 Possibilist Quantifiers 275
REFERENCES 277
INDEX 283
|
| any_adam_object | 1 |
| author | Fitting, Melvin Mendelsohn, Richard L. |
| author_facet | Fitting, Melvin Mendelsohn, Richard L. |
| author_role | aut aut |
| author_sort | Fitting, Melvin |
| author_variant | m f mf r l m rl rlm |
| building | Verbundindex |
| bvnumber | BV012347794 |
| callnumber-first | B - Philosophy, Psychology, Religion |
| callnumber-label | BC199 |
| callnumber-raw | BC199.M6 |
| callnumber-search | BC199.M6 |
| callnumber-sort | BC 3199 M6 |
| callnumber-subject | BC - Logic |
| classification_rvk | CC 2500 CC 2600 SK 130 |
| ctrlnum | (OCoLC)39886989 (DE-599)BVBBV012347794 |
| 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 | Mathematik Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01956nam a2200529 cb4500</leader><controlfield tag="001">BV012347794</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20051108 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">990113s1998 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">079235334X</subfield><subfield code="9">0-7923-5334-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0792353358</subfield><subfield code="9">0-7923-5335-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)39886989</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012347794</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-739</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-M468</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BC199.M6</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield><subfield code="2">21</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">CC 2600</subfield><subfield code="0">(DE-625)17610:</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">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Fitting, Melvin</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">First order modal logic</subfield><subfield code="c">Melvin Fitting and Richard L. Mendelsohn</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">First-order modal logic</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht [u.a.]</subfield><subfield code="b">Kluwer</subfield><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 287 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="1" ind2=" "><subfield code="a">Synthese library</subfield><subfield code="v">277</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique (Philosophie)</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Modale logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Modalité</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Predicatenlogica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Modality (Logic)</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="650" ind1="0" ind2="7"><subfield code="a">Modallogik</subfield><subfield code="0">(DE-588)4074914-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Modallogik</subfield><subfield code="0">(DE-588)4074914-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Mendelsohn, Richard L.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Synthese library</subfield><subfield code="v">277</subfield><subfield code="w">(DE-604)BV000005044</subfield><subfield code="9">277</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=008372492&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-008372492</subfield></datafield></record></collection> |
| id | DE-604.BV012347794 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:25:59Z |
| institution | BVB |
| isbn | 079235334X 0792353358 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008372492 |
| oclc_num | 39886989 |
| open_access_boolean | |
| owner | DE-739 DE-29 DE-29T DE-12 DE-355 DE-BY-UBR DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-11 DE-188 DE-M468 |
| owner_facet | DE-739 DE-29 DE-29T DE-12 DE-355 DE-BY-UBR DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-11 DE-188 DE-M468 |
| physical | XII, 287 S. graph. Darst. |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| publisher | Kluwer |
| record_format | marc |
| series | Synthese library |
| series2 | Synthese library |
| spelling | Fitting, Melvin Verfasser aut First order modal logic Melvin Fitting and Richard L. Mendelsohn First-order modal logic Dordrecht [u.a.] Kluwer 1998 XII, 287 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Synthese library 277 Logique (Philosophie) rasuqam Modale logica gtt Modalité rasuqam Predicatenlogica gtt Modality (Logic) Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Modallogik (DE-588)4074914-9 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 s DE-604 Modallogik (DE-588)4074914-9 s Mendelsohn, Richard L. Verfasser aut Synthese library 277 (DE-604)BV000005044 277 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008372492&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Fitting, Melvin Mendelsohn, Richard L. First order modal logic Synthese library Logique (Philosophie) rasuqam Modale logica gtt Modalité rasuqam Predicatenlogica gtt Modality (Logic) Mathematische Logik (DE-588)4037951-6 gnd Modallogik (DE-588)4074914-9 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4074914-9 |
| title | First order modal logic |
| title_alt | First-order modal logic |
| title_auth | First order modal logic |
| title_exact_search | First order modal logic |
| title_full | First order modal logic Melvin Fitting and Richard L. Mendelsohn |
| title_fullStr | First order modal logic Melvin Fitting and Richard L. Mendelsohn |
| title_full_unstemmed | First order modal logic Melvin Fitting and Richard L. Mendelsohn |
| title_short | First order modal logic |
| title_sort | first order modal logic |
| topic | Logique (Philosophie) rasuqam Modale logica gtt Modalité rasuqam Predicatenlogica gtt Modality (Logic) Mathematische Logik (DE-588)4037951-6 gnd Modallogik (DE-588)4074914-9 gnd |
| topic_facet | Logique (Philosophie) Modale logica Modalité Predicatenlogica Modality (Logic) Mathematische Logik Modallogik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008372492&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000005044 |
| work_keys_str_mv | AT fittingmelvin firstordermodallogic AT mendelsohnrichardl firstordermodallogic |