Logika existencie

Logika existencie sa dnes podľa Scrutona volá logika kvantifikácie. Touto oblasťou logiky sa inšpiroval Frege. Kant oponoval ontologickému dóvodu, že existencia nie je predikát (či vlastnosť), nepodarilo sa mu však rozviesť logiku, ktorá by tomuto faktu zodpovedala. Nezávisle od teórie vieme, že jestvuje koherentná logika, ktorou ovládame termíny ako "existuje". Vieme, že zo súdu "existuje niečo, čo nie je červené", vyplýva nepravdivé zovšeobecnenie "všetko je červené". Tradičná aristotelovská logika nevedela, akým spôsobom predstaviť tento vzťah.

Externé odkazy

• FILIT – zdroj, z ktorého pôvodne čerpal tento článok.