Pregled bibliografske jedinice broj: 119558
Some weakened Gödelian ontological systems
Some weakened Gödelian ontological systems // Journal of philosophical logic, 32 (2003), 6; 565-588 (međunarodna recenzija, članak, znanstveni)
CROSBI ID: 119558 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Some weakened Gödelian ontological systems
Autori
Kovač, Srećko
Izvornik
Journal of philosophical logic (0022-3611) 32
(2003), 6;
565-588
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
Gödel; God-like; modal ultrafilter; ontological proof; positive property; relative consistency; Kant; type
Sažetak
We describe a KB Gödelian ontological system, and some other weak systems, in a fully formal way using theory of types and natural deduction, and present a completeness proof in its main and specific parts. We technically and philosophically analyze and comment on the systems (mainly with respect to the relativism of values) and include a sketch of some connected aspects of Gödel's relation to Kant.
Izvorni jezik
Engleski
Znanstvena područja
Filozofija
POVEZANOST RADA
Citiraj ovu publikaciju:
Časopis indeksira:
- Current Contents Connect (CCC)
- Web of Science Core Collection (WoSCC)
- Arts & Humanities Citation Index (A&HCI)
- SCI-EXP, SSCI i/ili A&HCI
- Scopus
Uključenost u ostale bibliografske baze podataka::
- Linguistics and Language Behavior Abstracts
- Mathematical Reviews
- Sociological Abstracts
- Academic Abstracts
- Current Mathematical Publications
- IBZ
- Family and Society Studies Worldwide
- Informationsdienst für Philosopohie
- Internationale Bibliographie für Österreichische Philosophie
- Linguistic Bibliography
- MathSci
- MLA International Bibliography
- The Philosopher's Index
- Zentralblatt MATH
