Standaard logica

De standaardlogica is de propositionele logica en predikatenlogica tezamen.

Correctheid

Omtrent de vraag of er een correcte standaardlogica is, zijn er drie standpunten:

• Monisme: er is slechts 1 correcte logica.
  • De standaardlogica is correct.
  • Een andere logica is correct, bijv. paraconsistente logica.
• Pluralisme: er zijn meer dan 1 correcte logica's.
  • Globaal: logica is toepasbaar op al het redeneren. Er zijn echter voor verschillende systemen wel verschillende noties van waarheid en geldigheid.
  • Lokaal: logica hoeft slechts toepasbaar te zijn op specifieke gebieden.
• Instrumentalisme: er is geen correcte logica - het woord correct is namelijk niet van toepassing op logica's. Deze visie is gebaseerd op het idee dat geldigheid en waarheid geen betekenis hebben buiten het systeem. Of: de waarheid kan niet van toepassing zijn op logica. Dan is correctheid van een logica meer een probleem (zie Haack1).