Foundations of the Formal Sciences II: Applications of Mathematical Logic in Philosophy and Linguistics, Papers of a Conference held in Bonn, November 10–13, 2000
Gespeichert in:
Weitere Verfasser: | , , |
---|---|
Format: | Elektronisch E-Book |
Sprache: | English |
Veröffentlicht: |
Dordrecht
Springer Netherlands
2003
|
Schriftenreihe: | Trends in Logic, Studia Logica Library
17 |
Schlagworte: | |
Online-Zugang: | Volltext |
Beschreibung: | "Foundations of the Formal Sciences" (FotFS) is a series of interdisciplinary conferences in mathematics, philosophy, computer science and linguistics. The main goal is to reestablish the traditionally strong links between these areas of research that have been lost in the past decades. The second conference in the series had the subtitle "Applications of Mathematical Logic in Philosophy and Linguistics" and brought speakers from all parts of the Formal Sciences together to give a holistic view of how mathematical methods can improve our philosophical and technical understanding of language and scientific discourse, ranging from the theoretical level up to applications in language recognition software. Audience: This volume is of interest to all formal philosophers and theoretical linguists. In addition to that, logicians interested in the applications of their field and logic students in mathematics, computer science, philosophy and linguistics can use the volume to broaden their knowledge of applications of logic |
Beschreibung: | 1 Online-Ressource (X, 302 p) |
ISBN: | 9789401703956 9789048162338 |
ISSN: | 1572-6126 |
DOI: | 10.1007/978-94-017-0395-6 |
Internformat
MARC
LEADER | 00000nmm a2200000zcb4500 | ||
---|---|---|---|
001 | BV042424204 | ||
003 | DE-604 | ||
005 | 20180130 | ||
006 | a |||| 10||| | ||
007 | cr|uuu---uuuuu | ||
008 | 150317s2003 |||| o||u| ||||||eng d | ||
020 | |a 9789401703956 |c Online |9 978-94-017-0395-6 | ||
020 | |a 9789048162338 |c Print |9 978-90-481-6233-8 | ||
024 | 7 | |a 10.1007/978-94-017-0395-6 |2 doi | |
035 | |a (OCoLC)864063808 | ||
035 | |a (DE-599)BVBBV042424204 | ||
040 | |a DE-604 |b ger |e aacr | ||
041 | 0 | |a eng | |
049 | |a DE-384 |a DE-703 |a DE-91 |a DE-634 | ||
082 | 0 | |a 160 |2 23 | |
084 | |a MAT 000 |2 stub | ||
100 | 1 | |a Löwe, Benedikt |4 edt | |
245 | 1 | 0 | |a Foundations of the Formal Sciences II |b Applications of Mathematical Logic in Philosophy and Linguistics, Papers of a Conference held in Bonn, November 10–13, 2000 |c edited by Benedikt Löwe, Wolfgang Malzkom, Thoralf Räsch |
246 | 1 | 3 | |a Papers of a Conference held in Bonn, November 10-13, 2000 |
264 | 1 | |a Dordrecht |b Springer Netherlands |c 2003 | |
300 | |a 1 Online-Ressource (X, 302 p) | ||
336 | |b txt |2 rdacontent | ||
337 | |b c |2 rdamedia | ||
338 | |b cr |2 rdacarrier | ||
490 | 1 | |a Trends in Logic, Studia Logica Library |v 17 |x 1572-6126 | |
500 | |a "Foundations of the Formal Sciences" (FotFS) is a series of interdisciplinary conferences in mathematics, philosophy, computer science and linguistics. The main goal is to reestablish the traditionally strong links between these areas of research that have been lost in the past decades. The second conference in the series had the subtitle "Applications of Mathematical Logic in Philosophy and Linguistics" and brought speakers from all parts of the Formal Sciences together to give a holistic view of how mathematical methods can improve our philosophical and technical understanding of language and scientific discourse, ranging from the theoretical level up to applications in language recognition software. Audience: This volume is of interest to all formal philosophers and theoretical linguists. In addition to that, logicians interested in the applications of their field and logic students in mathematics, computer science, philosophy and linguistics can use the volume to broaden their knowledge of applications of logic | ||
650 | 4 | |a Philosophy (General) | |
650 | 4 | |a Logic | |
650 | 4 | |a Science / Philosophy | |
650 | 4 | |a Philosophy | |
650 | 4 | |a Theoretical Languages | |
650 | 4 | |a Philosophy of Science | |
650 | 4 | |a Naturwissenschaft | |
650 | 4 | |a Philosophie | |
655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
700 | 1 | |a Malzkom, Wolfgang |4 edt | |
700 | 1 | |a Räsch, Thoralf |4 edt | |
830 | 0 | |a Trends in Logic, Studia Logica Library |v 17 |w (DE-604)BV011512969 |9 17 | |
856 | 4 | 0 | |u https://doi.org/10.1007/978-94-017-0395-6 |x Verlag |3 Volltext |
912 | |a ZDB-2-SMA |a ZDB-2-BAE | ||
940 | 1 | |q ZDB-2-SMA_Archive | |
999 | |a oai:aleph.bib-bvb.de:BVB01-027859621 |
Datensatz im Suchindex
_version_ | 1804153100880052224 |
---|---|
any_adam_object | |
author2 | Löwe, Benedikt Malzkom, Wolfgang Räsch, Thoralf |
author2_role | edt edt edt |
author2_variant | b l bl w m wm t r tr |
author_facet | Löwe, Benedikt Malzkom, Wolfgang Räsch, Thoralf |
building | Verbundindex |
bvnumber | BV042424204 |
classification_tum | MAT 000 |
collection | ZDB-2-SMA ZDB-2-BAE |
ctrlnum | (OCoLC)864063808 (DE-599)BVBBV042424204 |
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 |
doi_str_mv | 10.1007/978-94-017-0395-6 |
format | Electronic eBook |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02942nmm a2200529zcb4500</leader><controlfield tag="001">BV042424204</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20180130 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150317s2003 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789401703956</subfield><subfield code="c">Online</subfield><subfield code="9">978-94-017-0395-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789048162338</subfield><subfield code="c">Print</subfield><subfield code="9">978-90-481-6233-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-94-017-0395-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)864063808</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042424204</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="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Löwe, Benedikt</subfield><subfield code="4">edt</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Foundations of the Formal Sciences II</subfield><subfield code="b">Applications of Mathematical Logic in Philosophy and Linguistics, Papers of a Conference held in Bonn, November 10–13, 2000</subfield><subfield code="c">edited by Benedikt Löwe, Wolfgang Malzkom, Thoralf Räsch</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Papers of a Conference held in Bonn, November 10-13, 2000</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht</subfield><subfield code="b">Springer Netherlands</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 302 p)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Trends in Logic, Studia Logica Library</subfield><subfield code="v">17</subfield><subfield code="x">1572-6126</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">"Foundations of the Formal Sciences" (FotFS) is a series of interdisciplinary conferences in mathematics, philosophy, computer science and linguistics. The main goal is to reestablish the traditionally strong links between these areas of research that have been lost in the past decades. The second conference in the series had the subtitle "Applications of Mathematical Logic in Philosophy and Linguistics" and brought speakers from all parts of the Formal Sciences together to give a holistic view of how mathematical methods can improve our philosophical and technical understanding of language and scientific discourse, ranging from the theoretical level up to applications in language recognition software. Audience: This volume is of interest to all formal philosophers and theoretical linguists. In addition to that, logicians interested in the applications of their field and logic students in mathematics, computer science, philosophy and linguistics can use the volume to broaden their knowledge of applications of logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophy (General)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Science / Philosophy</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophy</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Theoretical Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophy of Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Naturwissenschaft</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophie</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Malzkom, Wolfgang</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Räsch, Thoralf</subfield><subfield code="4">edt</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Trends in Logic, Studia Logica Library</subfield><subfield code="v">17</subfield><subfield code="w">(DE-604)BV011512969</subfield><subfield code="9">17</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-94-017-0395-6</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SMA</subfield><subfield code="a">ZDB-2-BAE</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SMA_Archive</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027859621</subfield></datafield></record></collection> |
genre | (DE-588)1071861417 Konferenzschrift gnd-content |
genre_facet | Konferenzschrift |
id | DE-604.BV042424204 |
illustrated | Not Illustrated |
indexdate | 2024-07-10T01:21:15Z |
institution | BVB |
isbn | 9789401703956 9789048162338 |
issn | 1572-6126 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027859621 |
oclc_num | 864063808 |
open_access_boolean | |
owner | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
owner_facet | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
physical | 1 Online-Ressource (X, 302 p) |
psigel | ZDB-2-SMA ZDB-2-BAE ZDB-2-SMA_Archive |
publishDate | 2003 |
publishDateSearch | 2003 |
publishDateSort | 2003 |
publisher | Springer Netherlands |
record_format | marc |
series | Trends in Logic, Studia Logica Library |
series2 | Trends in Logic, Studia Logica Library |
spelling | Löwe, Benedikt edt Foundations of the Formal Sciences II Applications of Mathematical Logic in Philosophy and Linguistics, Papers of a Conference held in Bonn, November 10–13, 2000 edited by Benedikt Löwe, Wolfgang Malzkom, Thoralf Räsch Papers of a Conference held in Bonn, November 10-13, 2000 Dordrecht Springer Netherlands 2003 1 Online-Ressource (X, 302 p) txt rdacontent c rdamedia cr rdacarrier Trends in Logic, Studia Logica Library 17 1572-6126 "Foundations of the Formal Sciences" (FotFS) is a series of interdisciplinary conferences in mathematics, philosophy, computer science and linguistics. The main goal is to reestablish the traditionally strong links between these areas of research that have been lost in the past decades. The second conference in the series had the subtitle "Applications of Mathematical Logic in Philosophy and Linguistics" and brought speakers from all parts of the Formal Sciences together to give a holistic view of how mathematical methods can improve our philosophical and technical understanding of language and scientific discourse, ranging from the theoretical level up to applications in language recognition software. Audience: This volume is of interest to all formal philosophers and theoretical linguists. In addition to that, logicians interested in the applications of their field and logic students in mathematics, computer science, philosophy and linguistics can use the volume to broaden their knowledge of applications of logic Philosophy (General) Logic Science / Philosophy Philosophy Theoretical Languages Philosophy of Science Naturwissenschaft Philosophie (DE-588)1071861417 Konferenzschrift gnd-content Malzkom, Wolfgang edt Räsch, Thoralf edt Trends in Logic, Studia Logica Library 17 (DE-604)BV011512969 17 https://doi.org/10.1007/978-94-017-0395-6 Verlag Volltext |
spellingShingle | Foundations of the Formal Sciences II Applications of Mathematical Logic in Philosophy and Linguistics, Papers of a Conference held in Bonn, November 10–13, 2000 Trends in Logic, Studia Logica Library Philosophy (General) Logic Science / Philosophy Philosophy Theoretical Languages Philosophy of Science Naturwissenschaft Philosophie |
subject_GND | (DE-588)1071861417 |
title | Foundations of the Formal Sciences II Applications of Mathematical Logic in Philosophy and Linguistics, Papers of a Conference held in Bonn, November 10–13, 2000 |
title_alt | Papers of a Conference held in Bonn, November 10-13, 2000 |
title_auth | Foundations of the Formal Sciences II Applications of Mathematical Logic in Philosophy and Linguistics, Papers of a Conference held in Bonn, November 10–13, 2000 |
title_exact_search | Foundations of the Formal Sciences II Applications of Mathematical Logic in Philosophy and Linguistics, Papers of a Conference held in Bonn, November 10–13, 2000 |
title_full | Foundations of the Formal Sciences II Applications of Mathematical Logic in Philosophy and Linguistics, Papers of a Conference held in Bonn, November 10–13, 2000 edited by Benedikt Löwe, Wolfgang Malzkom, Thoralf Räsch |
title_fullStr | Foundations of the Formal Sciences II Applications of Mathematical Logic in Philosophy and Linguistics, Papers of a Conference held in Bonn, November 10–13, 2000 edited by Benedikt Löwe, Wolfgang Malzkom, Thoralf Räsch |
title_full_unstemmed | Foundations of the Formal Sciences II Applications of Mathematical Logic in Philosophy and Linguistics, Papers of a Conference held in Bonn, November 10–13, 2000 edited by Benedikt Löwe, Wolfgang Malzkom, Thoralf Räsch |
title_short | Foundations of the Formal Sciences II |
title_sort | foundations of the formal sciences ii applications of mathematical logic in philosophy and linguistics papers of a conference held in bonn november 10 13 2000 |
title_sub | Applications of Mathematical Logic in Philosophy and Linguistics, Papers of a Conference held in Bonn, November 10–13, 2000 |
topic | Philosophy (General) Logic Science / Philosophy Philosophy Theoretical Languages Philosophy of Science Naturwissenschaft Philosophie |
topic_facet | Philosophy (General) Logic Science / Philosophy Philosophy Theoretical Languages Philosophy of Science Naturwissenschaft Philosophie Konferenzschrift |
url | https://doi.org/10.1007/978-94-017-0395-6 |
volume_link | (DE-604)BV011512969 |
work_keys_str_mv | AT lowebenedikt foundationsoftheformalsciencesiiapplicationsofmathematicallogicinphilosophyandlinguisticspapersofaconferenceheldinbonnnovember10132000 AT malzkomwolfgang foundationsoftheformalsciencesiiapplicationsofmathematicallogicinphilosophyandlinguisticspapersofaconferenceheldinbonnnovember10132000 AT raschthoralf foundationsoftheformalsciencesiiapplicationsofmathematicallogicinphilosophyandlinguisticspapersofaconferenceheldinbonnnovember10132000 AT lowebenedikt papersofaconferenceheldinbonnnovember10132000 AT malzkomwolfgang papersofaconferenceheldinbonnnovember10132000 AT raschthoralf papersofaconferenceheldinbonnnovember10132000 |