Classical Logic—Semantics

  • Melvin Fitting
Part of the Trends in Logic book series (TREN, volume 12)


Defining the semantics of any higher-order logic is relatively complicated. Since modalities add special complexities, it is fortunate I can discuss underlying classical issues before bringing them into the picture. In this Chapter the “real” notion of higher-order model is defined first, and truth in them is characterized. Then Henkin’s modification of these models is considered—sometimes these are called general models—as well as a non-extensional version of them.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media Dordrecht 2002

Authors and Affiliations

  • Melvin Fitting
    • 1
  1. 1.Lehman College and the Graduate CenterCity University of New YorkUSA

Personalised recommendations