Pagina 1 van 1

Mathematische Logica

Geplaatst: 06 sep 2017, 19:48
door Mananas
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!