Foundations of the Formal Sciences II Applications of Mathematical Logic in Philosophy and Linguistics

"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. Th...

Full description

Bibliographic Details
Other Authors: Löwe, Benedikt (Editor), Malzkorn, Wolfgang (Editor), Räsch, Thoralf (Editor)
Format: eBook
Language:English
Published: Dordrecht Springer Netherlands 2003, 2003
Edition:1st ed. 2003
Series:Trends in Logic, Studia Logica Library
Subjects:
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Table of Contents:
  • 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
  • References