Universal logic:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Stanford, Calif.
CSLI Publ.
2006
|
| Series: | Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes
109 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XII, 346 S. |
| ISBN: | 1575862565 1575862557 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV013673108 | ||
| 003 | DE-604 | ||
| 005 | 20070117 | ||
| 007 | t | ||
| 008 | 010405s2006 |||| 00||| eng d | ||
| 020 | |a 1575862565 |9 1-57586-256-5 | ||
| 020 | |a 1575862557 |9 1-57586-255-7 | ||
| 035 | |a (OCoLC)44117970 | ||
| 035 | |a (DE-599)BVBBV013673108 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29 |a DE-12 |a DE-19 |a DE-11 | ||
| 050 | 0 | |a BC135 | |
| 082 | 0 | |a 160 |2 21 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Brady, Ross |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Universal logic |c Ross Brady |
| 264 | 1 | |a Stanford, Calif. |b CSLI Publ. |c 2006 | |
| 300 | |a XII, 346 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes |v 109 | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Universelle Logik |0 (DE-588)4847643-2 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Universelle Logik |0 (DE-588)4847643-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes |v 109 |w (DE-604)BV001900711 |9 109 | |
| 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=009341824&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-009341824 | ||
Record in the Search Index
| _version_ | 1804128483997122560 |
|---|---|
| adam_text | CONTENTS PREFACE IX 1 PHILOSOPHICAL SUPPORT FOR THE LOGIC DJDQ 1 1.1
CLASSICAL LOGIC 1 1.2 SOME PROBLEMS WITH CLASSICAL LOGIC 2 1.3 RELEVANT
LOGIC 4 1.4 SOME PROBLEMS WITH RELEVANT LOGIC 11 1.5 SETTING UP THE
SEMANTICS OF MEANING CONTAINMENT 13 1.6 CONSTRAINTS ON DJDQ 28 1.7 THE
ADDITION OF CLASSICAL SENTENCES 39 1.8 THE SOLUTION OF PARADOXES 45 2
SEMANTICS FOR THE LOGIC DJDQ 51 2.1 THE ROUTLEY-MEYER TRUTH-FUNCTIONAL
SEMANTICS 51 2.2 THE SEMANTICS OF MEANING CONTAINMENT 62 2.3 QUANTIFIED
CONTENT SEMANTICS 65 3 PROOF THEORY FOR THE LOGIC DJDQ 81 3.1 NATURAL
DEDUCTION SYSTEMS 81 3.2 GENTZEN SYSTEMS 93 4 PROPERTIES OF THE LOGIC
DJDQ 141 4.1 RULES AND DERIVED RULES 141 4.2 META-COMPLETENESS
PROPERTIES 155 4.3 DEPTH RELEVANCE 162 4.4 THE ADDITION OF CLASSICAL
FORMULAE 165 VII VIII / UNIVERSAL LOGIC 6 SIMPLE CONSISTENCY OF THE
CLASS THEORY 197 6.1 THE SIMPLE CONSISTENEY PROOF 197 6.2 THE PRAETIEAL
MAXIMALITY OF TNDQ 240 6.3 NON-TRIVIALITY OF DIALECTIEAL CLASS THEORY
242 7 SIMPLE CONSISTENCY OF THE CLASS THEORY COMBINED WITH THE SET
THEORY AND OTHER THEORIES 247 7.1 COMBINING THE CLASS THEORY AND THE SET
THEORY 247 7.2 THE SIMPLE CONSISTENEY OF THE COMBINED THEORY CST 255 7.3
THE SIMPLE CONSISTENEY OF CST, TOGETHER WITH OTHER MATHEMATIEAL THEORIES
266 299 FORMAL DEVELOPMENT OF THE AXIOMATIC THEORIES 9.1 THE CLASS
THEORY 299 9.2 THE SET THEORY 306 9.3 THE COMBINED THEORY OF CLASSES AND
SETS 311 9.4 ARITHMETIEAL THEORIES 312 9.5 THE HIGHER-ORDER PREDIEATE
LOGIE 318 REFERENCES 327 INDEX 339 10 CONCLUSION 321 9 8 SIMPLE
CONSISTENCY OF THE HIGHER-ORDER PREDICATE LOGIC 275 8.1 THE PREDIEATE
LOGIE 276 8.2 SIMPLE CONSISTENEY OF THE PREDIEATE LOGIE 282 8.3 SOLUTION
OF THE SEMANTIE PARADOXES 293 5 PHILOSOPHICAL SUPPORT FOR THE THEORIES
OF CLASSES AND SETS 171 5.1 THE NAIVE THEORY OF CLASSES 172 5.2
CLASSIEALITY AND THE THEORY OF SETS 180 5.3 INDETERMINABILITY 190 5.4
CONSISTENT AND DIALECTIEAL APPROAEHES 191 5.5 NON-AD HOC SOLUTION TO THE
SET-THEORETIC PARADOXES 194
|
| any_adam_object | 1 |
| author | Brady, Ross |
| author_facet | Brady, Ross |
| author_role | aut |
| author_sort | Brady, Ross |
| author_variant | r b rb |
| building | Verbundindex |
| bvnumber | BV013673108 |
| callnumber-first | B - Philosophy, Psychology, Religion |
| callnumber-label | BC135 |
| callnumber-raw | BC135 |
| callnumber-search | BC135 |
| callnumber-sort | BC 3135 |
| callnumber-subject | BC - Logic |
| classification_rvk | CC 2600 |
| ctrlnum | (OCoLC)44117970 (DE-599)BVBBV013673108 |
| 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>01521nam a2200397 cb4500</leader><controlfield tag="001">BV013673108</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20070117 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">010405s2006 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1575862565</subfield><subfield code="9">1-57586-256-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1575862557</subfield><subfield code="9">1-57586-255-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)44117970</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013673108</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-12</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BC135</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 2600</subfield><subfield code="0">(DE-625)17610:</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">Brady, Ross</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Universal logic</subfield><subfield code="c">Ross Brady</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Stanford, Calif.</subfield><subfield code="b">CSLI Publ.</subfield><subfield code="c">2006</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 346 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="490" ind1="1" ind2=" "><subfield code="a">Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes</subfield><subfield code="v">109</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Universelle Logik</subfield><subfield code="0">(DE-588)4847643-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Universelle Logik</subfield><subfield code="0">(DE-588)4847643-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes</subfield><subfield code="v">109</subfield><subfield code="w">(DE-604)BV001900711</subfield><subfield code="9">109</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=009341824&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-009341824</subfield></datafield></record></collection> |
| id | DE-604.BV013673108 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:49:58Z |
| institution | BVB |
| isbn | 1575862565 1575862557 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009341824 |
| oclc_num | 44117970 |
| open_access_boolean | |
| owner | DE-29 DE-12 DE-19 DE-BY-UBM DE-11 |
| owner_facet | DE-29 DE-12 DE-19 DE-BY-UBM DE-11 |
| physical | XII, 346 S. |
| publishDate | 2006 |
| publishDateSearch | 2006 |
| publishDateSort | 2006 |
| publisher | CSLI Publ. |
| record_format | marc |
| series | Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes |
| series2 | Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes |
| spelling | Brady, Ross Verfasser aut Universal logic Ross Brady Stanford, Calif. CSLI Publ. 2006 XII, 346 S. txt rdacontent n rdamedia nc rdacarrier Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes 109 Logic, Symbolic and mathematical Universelle Logik (DE-588)4847643-2 gnd rswk-swf Universelle Logik (DE-588)4847643-2 s DE-604 Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes 109 (DE-604)BV001900711 109 V:DE-604 application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009341824&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Brady, Ross Universal logic Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes Logic, Symbolic and mathematical Universelle Logik (DE-588)4847643-2 gnd |
| subject_GND | (DE-588)4847643-2 |
| title | Universal logic |
| title_auth | Universal logic |
| title_exact_search | Universal logic |
| title_full | Universal logic Ross Brady |
| title_fullStr | Universal logic Ross Brady |
| title_full_unstemmed | Universal logic Ross Brady |
| title_short | Universal logic |
| title_sort | universal logic |
| topic | Logic, Symbolic and mathematical Universelle Logik (DE-588)4847643-2 gnd |
| topic_facet | Logic, Symbolic and mathematical Universelle Logik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009341824&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV001900711 |
| work_keys_str_mv | AT bradyross universallogic |