Versie van 21 dec 2007 15:39 bewerken Simeon (overleg \| bijdragen) uitgebreid bevestigde gebruikers 35.712 bewerkingen +link ← Oudere bewerking		Versie van 14 jan 2008 21:26 bewerken ongedaan maken J.Grandgagnage (overleg \| bijdragen) uitgebreid bevestigde gebruikers, Uitgezonderden van IP-adresblokkades 46.327 bewerkingen kGeen bewerkingssamenvatting Nieuwere bewerking →
Regel 1: Als '''klassieke logica''' worden de gebruikelijke, tweewaardige [[propositielogica\|propositie-]] en [[~~predikatenlogica~~predicatenlogica]] aangeduid, in tegenstelling tot niet-klassieke logica's zoals de [[modale logica\|modale]], [[intuïtionistische logica\|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. Aangezien de klassieke logica behoort tot de extensionele logica's geldt ook hier het principe van intersubstitueerbaarheid van gelijke elementen, men kan dus een uitdrukking in een formule vervangen door een andere die dezelfde waarheidswaarde heeft, de waarheidswaarde van de oorspronkelijke formule mag niet veranderd worden.

Klassieke logica: verschil tussen versies