Foundations of the Formal Sciences II

Preface. List of Participants. Schedule. The Diversity of Models in Statistical Mechanics: Views about the Structure of Scientific Theories; A. Barberousse.Mathematical Logic and Natural Language: Life at the Border; J. van Benthem. Bayesian Networks in Philosophy; L. Bovens, S. Hartmann. An Application of Circular Definitions: Rational Decision; A. Chapuis. Two-Dimensionalism and the Metaphysical Possibility of Zombies; D. Cohnitz. Topics in Reverse Mathematics; M. Giusto. The Logic of Intensional Predicates; L. Horsten. The So-Called Materially Valid Inferences and the Logic of Concepts; L. Jansen, N. Strobach. Analysis and Design from a Viewpoint of Information Flow; M. Kikuchi. Features in Phonological Theory; M. Kracht. New Semantics for Modal Predicate Logics; O. Kutz. What is Input/Output Logic? D. Makinson, L. van der Torre.The Gupta-Belnap Fixed-Point Problem and the Theory of Clones of Functions; J.M. Fernández. Situated Reasoning in Time about Time; A.G.B. ter Meulen.Generic Ontology of Linguistic Classification; R. Osswald. Techniques and Methods of Science from a Structuralist Point of View; M. Rotter. Proof Theory and Formal Grammars: Applications of Normalization; H.-J. Tiede. World Travelling and Mood Swings; K.F. Wehmeier.Synchrony and Composition: Toward a Cognitive Architecture between Classicism and Connectionism; M. Werning.References.