Citaat:
Oorspronkelijk geplaatst door patrickve
Ik begrijp totaal niet wat je daar schrijft. Voor mij is een predikaat een propositie die afhangt van een of meerdere variabelen.
Bijvoorbeeld: "5 is een priemgetal" is een propositie met waarheidswaarde ("waar" in dit geval)
"X is een priemgetal" is een predicaat. Het heeft geen waarheidswaarde zolang we niet weten wat X, de variable, is.
Quantoren kunnen van een predicaat en een verzameling een propositie maken. De typische quantoren zijn "voor alle" en "er bestaat".
Predicaten definieren ook deelverzamelingen.
Als we de verzameling hebben van systemen, S, en p(X) is het predicaat "X is een levend systeem", dan kunnen we dat predikaat gebruiken om te zeggen:
L is de deelverzameling van S zodat voor alle X in L, p(X). L is dan de verzameling van levende systemen.
L is een bijzonder kleine verzameling in S. En dat is noodzakelijk, want p is gedefinieerd op basis van een onwaarschijnlijke eigenschap *IN S*. Maar aangezien p natuurlijk de definierende eigenschap is van L, is p uiteraard geen onwaarschijnlijke eigenschap in L. Maar L is dus wel klein.
Neem een willekeurig punt in S, en er is heel veel kans dat je niet in L zit.
|
Het probleem is dat u "bestaan" ziet als facultatieve eigenschap van een groep dingen. Het heeft geen zin om te praten over systemen die niet in staat zijn om te bestaan.