Als klassieke logica worden de gebruikelijke, tweewaardige propositie- en predicatenlogica aangeduid, in tegenstelling tot niet-klassieke logica's zoals de modale, intuïtionistische en meerwaardige logica's. De klassieke logica is de moderne logica die de resultaten van de traditionele logica rechtvaardigt en uitbreidt. Deze logica is altijd waarheidsfunctioneel, dit wil zeggen dat in één van zijn formuleringen de waarheidswaarde van een propositie steeds een functie is van de waarheidswaarde van de samenstellende proposities.