De Noodzaak van de Noodzaak
Als we ons democratisch systeem en zijn wetten beschouwen als regelgevend voor alle burgers, moeten we ons ook de vraag kunnen stellen of die regels ook perfect democratisch tot stand gekomen zijn.
Als u op basis van de titel van deze blogpost hem toch bent beginnen lezen, moet ik u danken voor uw bereidwilligheid en ook voor de digitale gezelligheid natuurlijk, maar het is een tautologie. Er wordt niets in beweerd, net zoals in “het regent als het regent” niets beweerd wordt. De kortste tautologie waarvan het niet echt opvalt is: “Waarom? Daarom?”. Tautologiseren is de kunst om vragen te beantwoorden met een herhaling van de vraag maar dan in meerdere omschrijvingen en talloze omzwervingen in de taal, zonder een echt argument aan te brengen. De kunst van rond te pot draaien dus.
Sorry, de echte titel is:
Het belang van het kennen van eenduidige oorzaken en waarom de axiomatisering van de klassieke logica daar niet bij helpt
Deze saboteert de eenduidigheid. Want die axiomatisering heeft niet alleen geen enkel probleem met tautologie, ze promoot ook nog eens de ambiguïteit. Ik weet dit is een boude bewering, maar ik schreef er al eerder over in “Causaliteit of waar de logische implicatie de mist in gaat”.
De meerduidigheid van geïsoleerde uitspraken in de natuurlijke taal was al langer bekend bij linguïsten. Het ontbreken van contextuele relevantie, relationele intentie brengt met zich mee dat men met geïsoleerde uitspraken verschillende kanten op kan. Aan het begin van de 20ste eeuw dachten filosofen dit op te lossen door de natuurlijke taal een wiskundig harnas van regels aan te trekken. Spoiler alert, het is mislukt. De Russel paradox haalt Freges axioma’s onderuit en met zijn onvelledigheidsstelling toonde Gödel1 aan dat dat project van de axiomatisering van de wiskundige logica tot mislukken gedoemd was. Maar nu zitten we wel met de gebakken peren.
Met de implicatie van de formele logica kan men materiële oorzakelijkheid niet eenduidig definiëren. En het bizarre is dat men die implicatie in de formele logica materiële implicatie noemt. Het is dus ook nog eens ‘newspeak’2. De axioma’s en deductie regels voor de logische implicatie zijn opgesteld door Gottlob Frege (1903) .
Read More