Kazimierz Ajdukiewicz -
„W sprawie pojęcia istnienia. Kilka uwag w związku z zagadnieniem idealizmu”

0x01 graphic

0x01 graphic
a sub b (wszelkie a jest b)

0x01 graphic
ex a (istnieją a)

0x01 graphic
sol a (istnieje co najwyżej jedno a)

Wyrażenie „a jest b” jest więc równoważne koniunkcji wyrażeń: „a sub b”, „ex a” i „sol a” - istnieje zatem dokładnie jedno a, które jest b.

Dalej wprowadzona zostaje definicja przedmiotu:

0x01 graphic
- istnieje dokładnie jedno a (a nie może być zbiorem)

a zatem:

0x01 graphic

otrzymujemy: ob a ex a, czyli: jeżeli a jest przedmiotem, to a istnieje. Ta implikacja nie jest zwrotna ∼(p → q), a zatem p ∧ ∼q.

ONTOLOGIA