Toelichting bij Psychologisch praktijktips, cirkels: logica
De logische gevolgen gevolgen van het bestaan van denkcirkels zijn ontdekt
door Alfred Tarski
, die heeft laten zien dat een logisch consistente definitie van "waarheid"
alleen bestaat binnen formele systemen of talen, en dan beter "correctheid"
kan heten (afleidbaar uit de axioma's van het systeem), en dat gewone- of
omgangstalen altijd zo veel rijker zijn dan formele talen, dat ze
noodzakelijkerwijs logische inconsistenties bevatten die een volledig
sluitende definitie van het begrip "waarheid" onmogelijk maken - zoals
gedemonstreerd met de Russell-paradox (de vraag naar de leegheid van de
verzameling van alle lege verzamelingen), of de Kretenzer paradox (de
Kretenzer die zegt dat alle Kretenzers liegen, en het dus ook over zichzelf
heeft). Wat meteen laat zien waar het probleem ligt: zelfreferentie.
In onze gewone omgangstaal zullen we ons dus niet kunnen beroepen op
volledig harde logica, maar zullen het regelmatig moeten doen met onze
gezonde verstand. En het beste is dat gezonde verstand beschreven in de
algemene semantiek - die maakt die problematische zelfreferentie expliciet,
via de abstractieladder
.
Naar Psychologische praktijktips
, site home
·.
|