Pregled bibliografske jedinice broj: 299085
Logic and knowledge
Logic and knowledge // Logical Foundations of Metaphysics
Dubrovnik, Hrvatska, 2007. (pozvano predavanje, nije recenziran, neobjavljeni rad, znanstveni)
CROSBI ID: 299085 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Logic and knowledge
Autori
Kovač, Srećko
Vrsta, podvrsta i kategorija rada
Sažeci sa skupova, neobjavljeni rad, znanstveni
Skup
Logical Foundations of Metaphysics
Mjesto i datum
Dubrovnik, Hrvatska, 21.05.2007. - 25.05.2007
Vrsta sudjelovanja
Pozvano predavanje
Vrsta recenzije
Nije recenziran
Ključne riječi
logic; extension of knowledge; language; consequence relation; ontological proof; normal form
Sažetak
The thesis that logical knowledge is not purely formal (in Kant's sense) is examplified by the definition of "a logic" as language plus consequence relation, by the example of higher-order logic, and by Gödel's ontological proof. That ontological proof is analyzed in its logical interpretation (by means of normal forms), where the existence of a purely positive being is proved by logical and metalogical means.
Izvorni jezik
Engleski
Znanstvena područja
Filozofija
POVEZANOST RADA
Projekti:
191-1911111-2730 - Logičke strukture i intencionalnost (Kovač, Srećko, MZOS ) ( CroRIS)
Ustanove:
Institut za filozofiju, Zagreb
Profili:
Srećko Kovač
(autor)
