Advertisement

Vom Nutzen formaler Sprachen

  • Josef HonerkampEmail author
Chapter
  • 951 Downloads

Zusammenfassung

Die in Kap. 10 diskutierten Eigenschaften eines formalen Systems zeigen deutlich, wie verlässliches Wissen gewonnen werden kann. Zentrale Vorbedingung ist eine formale Sprache, für deren Aufbau es klare Vorgaben für Zeichen und Wörter gibt und in der man logisch korrekte Schlussregeln finden kann. Wahre Aussagen können damit unanfechtbar aus Prämissen, deren Wahrheit „gesetzt“ ist, abgeleitet werden.

Copyright information

© Springer-Verlag GmbH Deutschland, ein Teil von Springer Nature 2018

Authors and Affiliations

  1. 1.Fakultät für Mathematik und PhysikUniversität FreiburgFreiburgDeutschland

Personalised recommendations