• Kurt Schütte
Part of the Grundlehren der mathematischen Wissenschaften book series (GL, volume 225)


In mathematical logic sentences are represented by formulas. Those investigations which only depend on the formal structure of logical formulas and fixed formal rules of deduction are said to be syntactic. On the other hand those which depend on model-theoretic interpretations are said to be semantic. Syntactic investigations, which feature predominantly in proof theory, are usually carried out constructively whilst the semantic ones can only be carried out with constructive concepts and proof procedures in the simplest part of logic, that is, in the sentential (or propositional) calculus.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1977

Authors and Affiliations

  • Kurt Schütte
    • 1
  1. 1.Mathematisches InstitutLudwig-Maximilians-UniversitätMünchen 2Germany

Personalised recommendations