Löwe B., Malzkom W., Räsch T. (eds.) Foundations of the Formal Sciences II: Applications of Mathematical Logic in Philosophy and Linguistics

Berlin: Springer, 2003. - 308 p.Papers of a Conference held in Bonn, November 10–13, 2000 "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.The Diversity of Models in Statistical Mechanics: Views about the Structure of Scientific Theories
Mathematical Logic and Natural Language: Life at the border
Bayesian Networks in Philosophy
An Application of Circular Definitions: Rational Decision
Two-Dimensionalism and the Metaphysical Possibility of Zombies
Topics in Reverse Mathematics
The Logic of Intensional Predicates
The So-Called Materially Valid Inferences and the Logic of Concepts
Analysis and Design from a Viewpoint of Information Flow
Features in Phonological Theory
New Semantics for Modal Predicate Logics
What is Input/Output Logic?
The Gupta-Belnap Fixed-Point Problem and the Theory of Clones of Functions
Situated Reasoning in Time about Time
Generic Ontology of Linguistic Classification
Techniques and Methods of Science from a Structuralist Point of View
Proof Theory and Formal Grammars: Applications of Normalization
World Travelling and Mood Swings
Synchrony and Composition: Toward a Cognitive Architecture between Classicism and Connectionism