The development of modern logic:
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Oxford [u.a.]
Oxford Univ. Press
2009
|
| Ausgabe: | 1. publ. |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Includes bibliographical references and index |
| Beschreibung: | X, 994 S. graph. Darst. |
| ISBN: | 9780195137316 |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV035479595 | ||
| 003 | DE-604 | ||
| 005 | 20100608 | ||
| 007 | t | ||
| 008 | 090511s2009 xxkd||| |||| 00||| eng d | ||
| 010 | |a 2008016767 | ||
| 020 | |a 9780195137316 |c hardcover |9 978-0-19-513731-6 | ||
| 035 | |a (OCoLC)226291800 | ||
| 035 | |a (DE-599)BVBBV035479595 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxk |c GB | ||
| 049 | |a DE-29 |a DE-12 |a DE-703 |a DE-11 |a DE-19 | ||
| 050 | 0 | |a BC15 | |
| 082 | 0 | |a 160.9 | |
| 084 | |a CC 2000 |0 (DE-625)17606: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 245 | 1 | 0 | |a The development of modern logic |c ed. by Leila Haaparanta |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Oxford [u.a.] |b Oxford Univ. Press |c 2009 | |
| 300 | |a X, 994 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Includes bibliographical references and index | ||
| 648 | 7 | |a Geschichte 1400- |2 gnd |9 rswk-swf | |
| 650 | 4 | |a Geschichte | |
| 650 | 4 | |a Logic |x History | |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | 1 | |a Geschichte 1400- |A z |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Haaparanta, Leila |e Sonstige |4 oth | |
| 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=017536140&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-017536140 | ||
| 942 | 1 | 1 | |c 001.09 |e 22/bsb |f 0903 |
| 942 | 1 | 1 | |c 001.09 |e 22/bsb |f 0904 |
Datensatz im Suchindex
| _version_ | 1804139089405935616 |
|---|---|
| adam_text | Titel: The development of modern logic
Autor: Haaparanta, Leila
Jahr: 2009
Contents
Contributors ix
1. Introduction 3
Leila Haaparanta
2. Late Medieval Logic 11
Tuomo Aho and Mikko Yrjönsuuri
3. Logic and Philosophy of Logic from Humanism to Kant 78
Mirella Capozzi and Gino Roncaglia
4. The Mathematical Origins of Nineteenth-Century Algebra of Logic 159
Volker Peckhaus
5. Gottlob Frege and the Interplay between Logic and Mathematics 196
Christian Thiel
6. The Logic Question During the First Half of the Nineteenth Century 203
Risto Vilkko
7. The Relations between Logic and Philosophy, 1874-1931 222
Leila Haaparanta
8. A Century of Judgment and Inference, 1837-1936: Some Strands in the
Development of Logic 263
Göran Sundholm
9. The Development of Mathematical Logic from Russell to Tarski,
1900-1935 318
Paolo Mancosu, Richard Zach, and Calixto Badesa
vü¡ Contents
10. Set Theory, Model Theory, and Computability Theory 471
Wilfrid Hodges
11. Proof Theory of Classical and Intuitionistic Logic 499
Jan von Plato
12. Modal Logic from Kant to Possible Worlds Semantics 516
Tapio Korte, Ari Maunu, and Tuomo Aho
Appendix to Chapter 12: Conditionals and Possible Worlds:
On C. S. Peirce s Conception of Conditionals and Modalities 551
Risto Hilpinen
13. Logic and Semantics in the Twentieth Century 562
Gabriel Sandu and Tuomo Aho
14. The Philosophy of Alternative Logics 613
Andrew Aberdein and Stephen Read
15. Philosophy of Inductive Logic: The Bayesian Perspective 724
Sandy Zabell
16. Logic and Linguistics in the Twentieth Century 775
Alessandro Lend and Gabriel Sandu
17. Logic and Artificial Intelligence 848
Richmond H. Thomason
18. Indian Logic 903
J. N. Mohanty, S. R. Saha, Amita Chatterjee, Tushar Kanti Sarkar, and
Sibajiban Bhattacharyya
Index 963
|
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV035479595 |
| callnumber-first | B - Philosophy, Psychology, Religion |
| callnumber-label | BC15 |
| callnumber-raw | BC15 |
| callnumber-search | BC15 |
| callnumber-sort | BC 215 |
| callnumber-subject | BC - Logic |
| classification_rvk | CC 2000 |
| ctrlnum | (OCoLC)226291800 (DE-599)BVBBV035479595 |
| dewey-full | 160.9 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 160 - Philosophical logic |
| dewey-raw | 160.9 |
| dewey-search | 160.9 |
| dewey-sort | 3160.9 |
| dewey-tens | 160 - Philosophical logic |
| discipline | Philosophie |
| edition | 1. publ. |
| era | Geschichte 1400- gnd |
| era_facet | Geschichte 1400- |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01669nam a2200481zc 4500</leader><controlfield tag="001">BV035479595</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100608 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">090511s2009 xxkd||| |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2008016767</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780195137316</subfield><subfield code="c">hardcover</subfield><subfield code="9">978-0-19-513731-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)226291800</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035479595</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxk</subfield><subfield code="c">GB</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-19</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BC15</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160.9</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2000</subfield><subfield code="0">(DE-625)17606:</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="245" ind1="1" ind2="0"><subfield code="a">The development of modern logic</subfield><subfield code="c">ed. by Leila Haaparanta</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">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 994 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="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="648" ind1=" " ind2="7"><subfield code="a">Geschichte 1400-</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Geschichte</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield><subfield code="x">History</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)4143413-4</subfield><subfield code="a">Aufsatzsammlung</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="1"><subfield code="a">Geschichte 1400-</subfield><subfield code="A">z</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Haaparanta, Leila</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</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=017536140&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-017536140</subfield></datafield><datafield tag="942" ind1="1" ind2="1"><subfield code="c">001.09</subfield><subfield code="e">22/bsb</subfield><subfield code="f">0903</subfield></datafield><datafield tag="942" ind1="1" ind2="1"><subfield code="c">001.09</subfield><subfield code="e">22/bsb</subfield><subfield code="f">0904</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV035479595 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T21:38:32Z |
| institution | BVB |
| isbn | 9780195137316 |
| language | English |
| lccn | 2008016767 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017536140 |
| oclc_num | 226291800 |
| open_access_boolean | |
| owner | DE-29 DE-12 DE-703 DE-11 DE-19 DE-BY-UBM |
| owner_facet | DE-29 DE-12 DE-703 DE-11 DE-19 DE-BY-UBM |
| physical | X, 994 S. graph. Darst. |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Oxford Univ. Press |
| record_format | marc |
| spelling | The development of modern logic ed. by Leila Haaparanta 1. publ. Oxford [u.a.] Oxford Univ. Press 2009 X, 994 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Includes bibliographical references and index Geschichte 1400- gnd rswk-swf Geschichte Logic History Logik (DE-588)4036202-4 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content Logik (DE-588)4036202-4 s Geschichte 1400- z DE-604 Haaparanta, Leila Sonstige oth HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017536140&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | The development of modern logic Geschichte Logic History Logik (DE-588)4036202-4 gnd |
| subject_GND | (DE-588)4036202-4 (DE-588)4143413-4 |
| title | The development of modern logic |
| title_auth | The development of modern logic |
| title_exact_search | The development of modern logic |
| title_full | The development of modern logic ed. by Leila Haaparanta |
| title_fullStr | The development of modern logic ed. by Leila Haaparanta |
| title_full_unstemmed | The development of modern logic ed. by Leila Haaparanta |
| title_short | The development of modern logic |
| title_sort | the development of modern logic |
| topic | Geschichte Logic History Logik (DE-588)4036202-4 gnd |
| topic_facet | Geschichte Logic History Logik Aufsatzsammlung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017536140&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT haaparantaleila thedevelopmentofmodernlogic |