"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.
Author(s): Benedikt Löwe, Wolfgang Malzkom, Thoralf Räsch (eds.)
Series: Trends in Logic 17
Publisher: Springer
Year: 2003
Language: English
Pages: 308
Tags: Logic; Theoretical Languages; Philosophy of Science
Front Matter....Pages i-x
The Diversity of Models in Statistical Mechanics: Views about the Structure of Scientific Theories....Pages 1-23
Mathematical Logic and Natural Language: Life at the border....Pages 25-38
Bayesian Networks in Philosophy....Pages 39-46
An Application of Circular Definitions: Rational Decision....Pages 47-54
Two-Dimensionalism and the Metaphysical Possibility of Zombies....Pages 55-62
Topics in Reverse Mathematics....Pages 63-87
The Logic of Intensional Predicates....Pages 89-111
The So-Called Materially Valid Inferences and the Logic of Concepts....Pages 113-118
Analysis and Design from a Viewpoint of Information Flow....Pages 119-122
Features in Phonological Theory....Pages 123-149
New Semantics for Modal Predicate Logics....Pages 151-162
What is Input/Output Logic?....Pages 163-174
The Gupta-Belnap Fixed-Point Problem and the Theory of Clones of Functions....Pages 175-184
Situated Reasoning in Time about Time....Pages 185-202
Generic Ontology of Linguistic Classification....Pages 203-212
Techniques and Methods of Science from a Structuralist Point of View....Pages 213-234
Proof Theory and Formal Grammars: Applications of Normalization....Pages 235-256
World Travelling and Mood Swings....Pages 257-260
Synchrony and Composition: Toward a Cognitive Architecture between Classicism and Connectionism....Pages 261-278
Back Matter....Pages 279-301
