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.
Mananas
Nieuw lid
Nieuw lid
Berichten: 1
Lid geworden op: 06 sep 2017, 19:29

Mathematische Logica

Bericht door 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!

Plaats reactie