Citaat:
Oorspronkelijk geplaatst door Piero
We onderscheiden in de fysica dus een groep van levende dingen (L). Dan is (L) geen predikaat (p) van een (L).
|
In een hogere-orde logica wel, he. Dingen die naar zichzelf kunnen verwijzen. En dat is nu net essentieel in de stelling van Darwin.