| 书目名称 | Foundations of the Formal Sciences II |
| 副标题 | Applications of Math |
| 编辑 | Benedikt Löwe,Wolfgang Malzkom,Thoralf Räsch |
| 视频video | |
| 概述 | Includes supplementary material: |
| 丛书名称 | Trends in Logic |
| 图书封面 |  |
| 描述 | ."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. . |
| 出版日期 | Book 2003 |
| 关键词 | language; logic; predicate logic; science; semantics |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-94-017-0395-6 |
| isbn_softcover | 978-90-481-6233-8 |
| isbn_ebook | 978-94-017-0395-6Series ISSN 1572-6126 Series E-ISSN 2212-7313 |
| issn_series | 1572-6126 |
| copyright | Springer Science+Business Media B.V. 2003 |
发表于 2025-3-21 18:50:53
