Logika kvantifikácie (scruton, r.)-e
Z Wikipédie
Logika kvantifikácie (scruton, r.)-e
logika kvantifikácie (Scruton, R.)-E
E1.
L. e. sa dnes volá logikou 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.
E2.
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.
[úprava] Externé odkazy
- FILIT Zdroj, z ktorého pôvodne čerpal tento článok
[úprava] Logika kvantifikácie - názory na ňu
logika kvantifikácie - názory na ňu
logika kvantifikácie (Scruton, R.)-E
[úprava] Pozri aj
MPŠ logiky kvantifikácie
NESŠ logiky kvantifikácie
logika kvantifikácie - názory na ňu