Relatieve en absolute verwijzingen

((Te doen.))

Alle relatieve verwijzingen uit de propositielogica treden ook op in de predicatenlogica, maar daarnaast is er een type relativa die ontstaan uit het gebruik van quantoren.

∃x ∀y is iets heel anders dan ∀ y ∃ x.

∀k ∃m (k is een levende mens ⇒ m is de moeder van k)
Dit betekent dat iedere levende mens een moeder heeft.
∃m ∀k (k is een levende mens ⇒ m is de moeder van k)
Dit betekent dat er een moeder van alle levende mensen bestaat.

Het is duidelijk dat de eerste bewering hoogstwaarschijnlijk waar is, maar de tweede zeker niet (behalve in de zin van Genesis 3:20). In de eerste bewering is de te kiezen moeder relatief aan het kind; in de tweede verwijst m strikt naar dezelfde zaak (persoon).

((Te doen.))

Doris Days: „Everybody loves a lover ∧ I am a lover ⇒ everybody loves me”.

Uitleggen: de re en de dicto.