Advertisement

Basic Concepts of Logic and Formal Systems

  • Barbara H. Partee
  • Alice Ter Meulen
  • Robert E. Wall
Part of the Studies in Linguistics and Philosophy book series (SLAP, volume 30)

Abstract

Formalization or axiomatization is an outgrowth of the broader goals of scientific systematization. Euclid systematized geometry by showing how a great many statements known to be true about geometrical figures could be logically derived from a small set of principles assumed to be true, called the axioms. Newton systematized mechanics by showing how the known laws of motion, both planetary and terrestrial, could be derived from three basic statements. In both cases, the initial assumptions had the status of true statements, ‘self-evident’ in the Euclidean system, empirically discovered truths in the Newtonian system. In both cases the system was concerned with particular objects, points and lines in the one case, physical objects in the other.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Kluwer Academic Publishers 1993

Authors and Affiliations

  • Barbara H. Partee
    • 1
  • Alice Ter Meulen
    • 2
  • Robert E. Wall
    • 3
  1. 1.Department of LinguisticsUniversity of MassachusettsAmherstUSA
  2. 2.Departments of Philosophy and LinguisticsIndiana UniversityBloomingtonUSA
  3. 3.Department of LinguisticsUniversity of TexasAustinUSA

Personalised recommendations