Philosophical logic: an introduction to advanced topics
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
London [u.a.]
Continuum
2011
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | IX, 198 S. |
| ISBN: | 9781441119117 9781441173850 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV037184649 | ||
| 003 | DE-604 | ||
| 005 | 20171115 | ||
| 007 | t | ||
| 008 | 110126s2011 |||| 00||| eng d | ||
| 020 | |a 9781441119117 |9 978-1-4411-1911-7 | ||
| 020 | |a 9781441173850 |9 978-1-4411-7385-0 | ||
| 035 | |a (OCoLC)642351508 | ||
| 035 | |a (DE-599)BVBBV037184649 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-11 |a DE-29 |a DE-703 |a DE-355 | ||
| 082 | 0 | |a 160 |2 22 | |
| 084 | |a CC 2400 |0 (DE-625)17608: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Englebretsen, George |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Philosophical logic |b an introduction to advanced topics |c George Englebretsen and Charles Sayward |
| 264 | 1 | |a London [u.a.] |b Continuum |c 2011 | |
| 300 | |a IX, 198 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Logic / Textbooks | |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |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 | |5 DE-604 | |
| 700 | 1 | |a Sayward, Charles |d 1937- |e Verfasser |0 (DE-588)140052313 |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=021099203&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-021099203 | ||
Record in the Search Index
| _version_ | 1804143767774560256 |
|---|---|
| adam_text | IMAGE 1
LIST01SYMBOLS
11NTRODUCTION SENTENCES TRUTH AND FALSITY TRUTH-VALUES
DEFENSE AND REFUTATION INFERENCE, FORM AND IMPLICATION FORMALLY VALID
INFERENCE CONJUNCTIONS
INFERENCE WITH CONJUNCTIONS TRUTH-FUNCTIONALITY AND CONJUNCTIONS
NEGATION INFERENCE WITH NEGATION
TRUTH-FUNCTIONALITY AND NEGATION GROUPING
2 SENTENTIALLOGIC SIMPLE SENTENCES SENTENCES DERIVATIONS: A FIRST LOOK A
NOTE ON SETS
LINES DERIVATIONS AGAIN THEOREMS TRUTH SETS SOUNDNESS COMPLETENESS
EXTENSIONS OF SL CONDITIONALIZATION MODEL SETS SYNTAX AND SEMANTICS
3 QUANTIFICATIONAL LOGIC SINGULAR TERMS PREDICATES
CONTENTS
X 1 2 2 3 3 4 4
5 6 6 6
7
10 10
13 14 14 15
18 20 21 22
23 26 30
36 40 44 49
52 52 53
IMAGE 2
...
VIII CONTENTS
SOME SYMBOLIC CONVENTIONS SOME THE LANGUAGE QL DERIVATIONS
TRUTH SETS ALL FURTHER EXTENSION OF QL MODEL SETS
IDENTITY MODEL SETS FOR QLI
4 SENTENTIALMODALLOGIC NON-TRUTH-FUNDIONAL SENTENTIAL OPERATORS
SENTENTIAL MODAL OPERATORS DERIVATIONS S5, S4, T, AND B
POSSIBLEWORLDS AT A WORLD AND IN A WORLD MODEL SETS AND MODEL SYSTEMS
DEONTIC LOGIC AND MODEL SETS
5 QUANTIFICATION ANDMODALITY SOME DERIVATIONS MODEL SETS AND SYSTEMS AN
ALTERNATIVE
6 SETTHEORY THE AXIOM OF EXTENSIONALITY AXIOMS OF SEPARATION PAIRING
AXIOM AND RULE U
THE RESTRICTION ON THE A2 AXIOMS THE NULL SET AN INTERPRETATION MORE
AXIOMS
THE UNION AXIOM GENERALLNTERSECTION OPERATION ORDER AND RELATIONS
FUNCTIONS
SIZESOF SETS THE POWER SET AXIOM A BASICTHEOREM
53 54 56 57
59 62 63 66
70 71
74 74 75 76
80 80 81 81
87
93 95 96 100
103 104 104 105
107 110 113 113
114 115 117 119
120 121 127
IMAGE 3
CONTENTS IX
7 INCOMPLETENESS 130
THE LANGUAGE OF ARITHMETIC 130
THREE KEY CONCEPTS 133
THREE KEY THEOREMS 134
THE CORE ARGUMENT 135
CONCLUDING OBSERVATIONS 137
8 AN INTRODUCTION TO TERMLOGIC 139
SYLLOGISTIC 139
THE LIMITS OF SYLLOGISTIC 143
TERM FUNETOR LOGIC 145
SINGULAR TERMS AND IDENTITY IN TFL 148
RELATIONALS IN TFL 150
THE LOGIC OF SENTENCES IN TFL 152
RULESOF INFERENCE FOR DERIVATIONS IN TFL 154
DERIVATION IN TFL 160
THE BRIDGE TO TFL 163
9 THE ELEMENTSOF A MODAL TERM LOGIC 166
SYNTAX 167
AXIOMS OF DE RE TERM REPLACEMENT 168
AXIOMS OF DE DICTO MODALITY 169
SEMANTICS WITH DOMAINS OF DISCOURSE 169
MODAL TERM LOGIC 171
VALIDITY CONDITIONS 174
REFERENCES 176
RULES,AXIOMS,AND PRINCIPLES 177
GLOSSARY 184
INDEX 195
|
| any_adam_object | 1 |
| author | Englebretsen, George Sayward, Charles 1937- |
| author_GND | (DE-588)140052313 |
| author_facet | Englebretsen, George Sayward, Charles 1937- |
| author_role | aut aut |
| author_sort | Englebretsen, George |
| author_variant | g e ge c s cs |
| building | Verbundindex |
| bvnumber | BV037184649 |
| classification_rvk | CC 2400 |
| ctrlnum | (OCoLC)642351508 (DE-599)BVBBV037184649 |
| 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 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01441nam a2200385 c 4500</leader><controlfield tag="001">BV037184649</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20171115 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">110126s2011 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781441119117</subfield><subfield code="9">978-1-4411-1911-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781441173850</subfield><subfield code="9">978-1-4411-7385-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)642351508</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV037184649</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-11</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-355</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 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">Englebretsen, George</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Philosophical logic</subfield><subfield code="b">an introduction to advanced topics</subfield><subfield code="c">George Englebretsen and Charles Sayward</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London [u.a.]</subfield><subfield code="b">Continuum</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 198 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 / Textbooks</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="655" ind1=" " ind2="7"><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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sayward, Charles</subfield><subfield code="d">1937-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)140052313</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=021099203&sequence=000001&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-021099203</subfield></datafield></record></collection> |
| genre | (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV037184649 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T22:52:54Z |
| institution | BVB |
| isbn | 9781441119117 9781441173850 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-021099203 |
| oclc_num | 642351508 |
| open_access_boolean | |
| owner | DE-11 DE-29 DE-703 DE-355 DE-BY-UBR |
| owner_facet | DE-11 DE-29 DE-703 DE-355 DE-BY-UBR |
| physical | IX, 198 S. |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Continuum |
| record_format | marc |
| spelling | Englebretsen, George Verfasser aut Philosophical logic an introduction to advanced topics George Englebretsen and Charles Sayward London [u.a.] Continuum 2011 IX, 198 S. txt rdacontent n rdamedia nc rdacarrier Logic / Textbooks Logik (DE-588)4036202-4 gnd rswk-swf (DE-588)4151278-9 Einführung gnd-content Logik (DE-588)4036202-4 s DE-604 Sayward, Charles 1937- Verfasser (DE-588)140052313 aut V:DE-604 application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=021099203&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Englebretsen, George Sayward, Charles 1937- Philosophical logic an introduction to advanced topics Logic / Textbooks Logik (DE-588)4036202-4 gnd |
| subject_GND | (DE-588)4036202-4 (DE-588)4151278-9 |
| title | Philosophical logic an introduction to advanced topics |
| title_auth | Philosophical logic an introduction to advanced topics |
| title_exact_search | Philosophical logic an introduction to advanced topics |
| title_full | Philosophical logic an introduction to advanced topics George Englebretsen and Charles Sayward |
| title_fullStr | Philosophical logic an introduction to advanced topics George Englebretsen and Charles Sayward |
| title_full_unstemmed | Philosophical logic an introduction to advanced topics George Englebretsen and Charles Sayward |
| title_short | Philosophical logic |
| title_sort | philosophical logic an introduction to advanced topics |
| title_sub | an introduction to advanced topics |
| topic | Logic / Textbooks Logik (DE-588)4036202-4 gnd |
| topic_facet | Logic / Textbooks Logik Einführung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=021099203&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT englebretsengeorge philosophicallogicanintroductiontoadvancedtopics AT saywardcharles philosophicallogicanintroductiontoadvancedtopics |