Mathematische Logica

Heb je een leuke tutorial, een duidelijke uitleg van een bepaald onderwerp, een interessante minicursus of heb je een leuk trucje gevonden, post het hier.

Mathematische Logica

Berichtdoor Mananas » 06 Sep 2017, 19:48

Cf.: o.a. Russell.

De koning van Frankrijk is kaal.

- Deze premisse kan niet waar zijn, aangezien er geen koning van Frankrijk bestaat. Echter, volgens de wet van de uitgesloten derde zou het zo moeten zijn dat het ontkennen van een onware bewering deze waar stemt, wat ze niet is - of we zouden kunnen vervallen (ook interessant, maar iets dat hier zijn doel voorbij gaat, in Metafysische verklaringen).

- De oplossing van Russell:

C = entiteit, Y = typering, X = onderwerp -

X = Y <=> X = C (X is Y als en slechts als X = C)

- M.a.W., er kan geen entiteit (C) bestaan die de eigenschap (typering, Y) zonder dat ook het onderwerp waaraan deze typering wordt toegeschreven (X) gelijk is aan de entiteit - dus, de notie van 'bestaan' is hier weggewerkt, tevens wordt de misleidende term 'de koning van Frankrijk' omgezet in een bewering en behoort niet langer tot de eigenschap van C (X is niet gelijk aan C).

Simpel, maar wel goed bedacht! :-) Het blijft een mooie...

Grtz!
Mananas
Nieuw lid
Nieuw lid
 
Berichten: 1
Geregistreerd: 06 Sep 2017, 19:29

Terug naar Tutorials en Minicursussen

Wie is er online?

Gebruikers in dit forum: Geen geregistreerde gebruikers en 1 gast

Wie is er online?

Er is in totaal 1 gebruiker online :: 0 geregistreerd, 0 verborgen en 1 gast (Gebaseerd op de gebruikers die actief waren gedurende 5 minuten)
De meeste gebruikers ooit tegelijkertijd online was 649 op 31 Okt 2014, 18:45

Gebruikers in dit forum: Geen geregistreerde gebruikers en 1 gast
Copyright © 2009 Afterburner - Free GPL Template. All Rights Reserved.