Foundations of the Formal Sciences II

Applications of Mathematical Logic in Philosophy and Linguistics, Papers of a Conference held in Bonn, November 10–13, 2000

  • Benedikt Löwe
  • Wolfgang Malzkom
  • Thoralf Räsch

Part of the Trends in Logic book series (TREN, volume 17)

Table of contents

  1. Front Matter
    Pages i-x
  2. Luc Bovens, Stephan Hartmann
    Pages 39-46
  3. Mariagnese Giusto
    Pages 63-87
  4. Leon Horsten
    Pages 89-111
  5. Ludger Jansen, Niko Strobach
    Pages 113-118
  6. Marcus Kracht
    Pages 123-149
  7. Oliver Kutz
    Pages 151-162
  8. David Makinson, Leendert van der Torre
    Pages 163-174
  9. Alice G. B. ter Meulen
    Pages 185-202
  10. Rainer Osswald
    Pages 203-212
  11. Kai Frederick Wehmeier
    Pages 257-260
  12. Back Matter
    Pages 279-301

About this book


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


language logic predicate logic science semantics

Editors and affiliations

  • Benedikt Löwe
    • 1
  • Wolfgang Malzkom
    • 1
  • Thoralf Räsch
    • 2
  1. 1.Rheinische Friedrich-Wilhelms-Universität BonnBonnGermany
  2. 2.Universität PostdamPotsdamGermany

Bibliographic information

  • DOI
  • Copyright Information Springer Science+Business Media B.V. 2003
  • Publisher Name Springer, Dordrecht
  • eBook Packages Springer Book Archive
  • Print ISBN 978-90-481-6233-8
  • Online ISBN 978-94-017-0395-6
  • Series Print ISSN 1572-6126
  • Series Online ISSN 2212-7313
  • Buy this book on publisher's site