List of Talks:

• Invited Speakers

  • Alexandru Baltag: Modal Logics for Games: tools for studying the dynamics of knowledge and belief
  • Anouk Barberousse: The diversity of models in statistical mechanics: Views about the structure of scientific theories
    
  • Johan van Benthem: The logical architecture of natural language
    
  • Mariagnese Giusto: Topics in Reverse Mathematics
    
  • Leon Horsten: A Kripkean approach to unknowability and truth
    
  • Marcus Kracht: Ghost Features
    
  • Kai-Uwe Kühnberger: Remarks on the Complexity of Truth
    
  • Mario Piazza: Why mathematics is (reasonably) effective
    
  • Martin Rotter: Techniques and Methods of Science from a Structuralist Point of View
    
  • Hans-Jörg Tiede: Proofs and Trees - Deductive Systems and Grammars
    
  • Leon van der Torre: Input-output logics and their applications
    

  
  

• Contributed Talks

  • Mark van Atten: Informal rigour and the continuity principle
  • André Chapuis: Applications of the general theory of definitions: rational choice
  • Daniel Cohnitz: Two-dimensionalism and the metaphysical possibility of zombies
  • Volker Halbach, Hannes Leitgeb: Possible Worlds Semantics for Predicates of Sentences
  • Stephan Hartmann, Luc Bovens: Bayesian Networks in Philosophy of Science and Epistemology
  • Wolfram Hinzen: Semantics as a Formal Science: A Case Study of if-sentences
  • Walter Hoering: Skolem + Ockham = Gödel - Platon(ismus)
  • Ludger Jansen, Niko Strobach: The so-called materially valid inferences and the logic of concepts
  • Makoto Kikuchi: An analysis of design from the viewpoint of information flow
  • Oliver Kutz: Kripke- versus Kripke-Type Semantics
  • Jose Martinez Fernandez: The Gupta-Belnap Fixed-Point Problem and the theory of clones of functions
  • Alice G.B. ter Meulen: Structural rules in DAT
  • Rainer Osswald: Generic Ontology of Linguistic Classification
  • Vladimir Reznikov: Some approaches to the problem of correct use of statistics in science
  • Andrei Rodin: Locality and Category Theory
  • Daniel Schoch: Abductive Logic and Justification
  • Kai Wehmeier: World-Travelling and Mood Swings
  • Philip D. Welch: On Gupta-Belnap Revision Theories of Truth: the next stable set, and a rapprochement with Kripke
  • Markus Werning: Constraints for an algebraic theory of language understanding
  • Roger A. Young: Scientific Method and Formal Learning Theory

Listed according to Sections

• (A) Modal Logic
  • Alexandru Baltag: Modal Logics for Games: tools for studying the dynamics of knowledge and belief
  • Volker Halbach, Hannes Leitgeb: Possible Worlds Semantics for Predicates of Sentences
  • Oliver Kutz: Kripke- versus Kripke-Type Semantics
  • Leon van der Torre: Input-output logics and their applications
    
  • Kai Wehmeier: World-Travelling and Mood Swings
• (B) Philosophy of Science
  • Anouk Barberousse: The diversity of models in statistical mechanics: Views about the structure of scientific theories
    
  • Daniel Cohnitz: Two-dimensionalism and the metaphysical possibility of zombies
  • Stephan Hartmann, Luc Bovens: Bayesian Networks in Philosophy of Science and Epistemology
  • Makoto Kikuchi: An analysis of design from the viewpoint of information flow
  • Vladimir Reznikov: Some approaches to the problem of correct use of statistics in science
  • Andrei Rodin: Locality and Category Theory
  • Martin Rotter: Techniques and Methods of Science from a Structuralist Point of View
    
  • Daniel Schoch: Abductive Logic and Justification
  • Roger A. Young: Scientific Method and Formal Learning Theory
• (C) Theory of Truth & Definability
  • André Chapuis: Applications of the general theory of definitions: rational choice
  • Leon Horsten: A Kripkean approach to unknowability and truth
    
  • Kai-Uwe Kühnberger: Remarks on the Complexity of Truth
    
  • Jose Martinez Fernandez: The Gupta-Belnap Fixed-Point Problem and the theory of clones of functions
  • Philip D. Welch: On Gupta-Belnap Revision Theories of Truth: the next stable set, and a rapprochement with Kripke
• (D) Philosophy of Mathematics
  • Mark van Atten: Informal rigour and the continuity principle
  • Mariagnese Giusto: Topics in Reverse Mathematics
    
  • Walter Hoering: Skolem + Ockham = Gödel - Platon(ismus)
  • Mario Piazza: Why mathematics is (reasonably) effective
    
• (E) Set Theory & Model Theory in Linguistics
  • Ludger Jansen, Niko Strobach: The so-called materially valid inferences and the logic of concepts
  • Marcus Kracht: Ghost Features
    
  • Rainer Osswald: Generic Ontology of Linguistic Classification
  • Markus Werning: Constraints for an algebraic theory of language understanding
• (F) Proof Theory & Recursion Theory in Linguistics
  • Johan van Benthem: The logical architecture of natural language
    
  • Wolfram Hinzen: Semantics as a Formal Science: A Case Study of if-sentences
  • Alice G.B. ter Meulen: Structural rules in DAT
  • Hans-Jörg Tiede: Proofs and Trees - Deductive Systems and Grammars
    

Schedule:

For further information please feel free to contact us: fotfs@math.uni-bonn.de