Unter der klassischen Logik versteht man ein logisches System, das die Aussagen-, die Prädikatenlogik erster oder höherer Stufe sowie im Allgemeinen den (logischen) Identitätsbegriff enthält. Eine erste Axiomatisierung eines solchen Systems hat Gottlob Frege in seiner Begriffsschrift (1879) entwickelt.
Die klassische Logik ist durch genau zwei Eigenschaften gekennzeichnet:
Jede Aussage hat einen ...
