Klassieke logica: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
k Robot: gewijzigd: ja:古典数理論理学→ja:古典論理 |
k Code -> sjabloon |
||
Regel 1:
Als '''klassieke logica''' worden de gebruikelijke klassieke vormen van [[logica (wetenschap)|logica]] aangeduid, de [[Tweewaardige logica|tweewaardige]] [[propositielogica|propositie-]] en [[predicatenlogica]]. Dit staat tegenover de niet-klassieke logica's, zoals de [[modale logica|modale]], [[intuïtionistische logica|intuïtionistische]] en [[meerwaardige logica]]'s.
== Algemeen ==
Regel 5:
* De leer van de [[bewering (logica)|bewering]]
* de leer van de [[definitie]]
* de leer van de [[gevolgtrekking]]
* en de leer van het [[wetenschappelijk bewijs]]
Deze opdeling vind je al in Aristoteles zijn logische geschriften, het [[Organon (Aristoteles)|Organon]], en vind je nog steeds terug in 20ste-eeuwse introducties in de logica<ref>Zie bijvoorbeeld de opbouw van het standaardwerk: E.R. Emmet, ''Logisch denken'', Aulapocket Filosofie nr 73, 1e druk 1961.</ref>
Er is een aanzienlijk verschil tussen de traditionele of klassieke logica, die op Aristoteles is gebaseerd, en de sinds de 19de eeuw ontwikkelde symbolische of [[wiskundige logica]] ook wel logistiek genoemd. 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 [[extensie (predicaatlogica)|extensionele]] logica's geldt ook hier het principe van intersubstitueerbaarheid van gelijke elementen, men kan dus een [[Uitdrukking (wiskunde)|uitdrukking]] in een formule vervangen door een andere die dezelfde waarheidswaarde heeft, de waarheidswaarde van de oorspronkelijke formule mag niet veranderd worden.
== Referenties ==
{{References}}
[[Categorie:Logica]]
| |||