Download e-book for iPad: Foundations of the Formal Sciences II: Applications of by Benedikt Löwe, Wolfgang Malzkom, Thoralf Räsch (eds.)

By Benedikt Löwe, Wolfgang Malzkom, Thoralf Räsch (eds.)

ISBN-10: 9048162335

ISBN-13: 9789048162338

ISBN-10: 9401703957

ISBN-13: 9789401703956

"Foundations of the Formal Sciences" (FotFS) is a chain of interdisciplinary meetings in arithmetic, philosophy, machine technological know-how and linguistics. the most objective is to reestablish the typically robust hyperlinks among those components of study which were misplaced some time past decades.

The moment convention within the sequence had the subtitle "Applications of Mathematical good judgment in Philosophy and Linguistics" and taken audio system from all components of the Formal Sciences jointly to provide a holistic view of the way mathematical equipment can increase our philosophical and technical figuring out of language and medical discourse, starting from the theoretical point as much as purposes in language acceptance software.

Audience: This quantity is of curiosity to all formal philosophers and theoretical linguists. as well as that, logicians attracted to the purposes in their box and common sense scholars in arithmetic, laptop technology, philosophy and linguistics can use the amount to increase their wisdom of purposes of common sense.

Show description

Read Online or Download 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 PDF

Similar logic books

Inductive Logic Programming: 23rd International Conference, by Gerson Zaverucha, Vítor Santos Costa, Aline Paes PDF

This booklet constitutes the completely refereed post-proceedings of the twenty third overseas convention on Inductive common sense Programming, ILP 2013, held in Rio de Janeiro, Brazil, in August 2013. The nine revised prolonged papers have been conscientiously reviewed and chosen from forty two submissions. The convention now makes a speciality of all features of studying in good judgment, multi-relational studying and information mining, statistical relational studying, graph and tree mining, relational reinforcement studying, and different kinds of studying from established facts.

Church's Thesis After 70 Years by Adam Olszewski, Jan Wolenski, Robert Janusz PDF

Church's Thesis (CT) was once first released via Alonzo Church in 1935. CT is a proposition that identifies notions: an intuitive thought of a successfully computable functionality outlined in usual numbers with the suggestion of a recursive functionality. regardless of of the numerous efforts of renowned scientists, Church's Thesis hasn't ever been falsified.

Additional resources for 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

Example text

Generalized quantifier theory is surveyed in and [KeeWes97], categorial grammar in [Moo 197], and also [BUS188], discourse representation theory by [vEiKam97], dynamic semantics in [MusvBeVis97], and situation theory by [Mos1Selo97]. Moreover, game-theoretic semantics is presented by [HinSan 197]. These chapters also contain many side-links toward mathematics, philosophy, and computational issues. For the newer trends of the 1990s, one must look at journals like the Journal of Logic, Language and Information, Linguistics and Philosophy, Language and Computation, Computational Linguistics, in addition to proceedings of various conferences, such as the Amsterdam Colloquia or the CSLI Workshops in Logic, Language and Computation.

Perhaps the more active development along these lines came from a 'transfer' phenomenon. Just like mathematical linguistics, the realm of Montague Grammar really extended beyond natural and mathematicallanguages into computer science, where the Thesis applies equally well. This was realized by van Emde Boas and Janssen, who drew surprising analogies between compositionality in both fields, plus various other phenomena, such as the intensional features of assignment and update in general. It is not entirely unfair to see the theory of Abstract Data Types as the general mathematics of Montague Grammar.

H. Thomason's seminal edition of Montague's collected papers, [Tho o74]. An interesting alternative with similar scope is [Cre73]. A good reference on the first significant computer science connections is [Jan86]. The major trends from the 1980s are well-documented in the chapters of the [vBetMe97]. Generalized quantifier theory is surveyed in and [KeeWes97], categorial grammar in [Moo 197], and also [BUS188], discourse representation theory by [vEiKam97], dynamic semantics in [MusvBeVis97], and situation theory by [Mos1Selo97].

Download PDF sample

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 by Benedikt Löwe, Wolfgang Malzkom, Thoralf Räsch (eds.)


by Thomas
4.0

Rated 4.04 of 5 – based on 42 votes