Informace o projektu
Role konstrukcí v ´transparentní intensionální logice´
- Kód projektu
- GA401/99/0006
- Období řešení
- 1/1999 - 1/2000
- Investor / Programový rámec / typ projektu
-
Grantová agentura ČR
- Standardní projekty
- Fakulta / Pracoviště MU
- Filozofická fakulta
- Spolupracující organizace
-
Slezská univerzita v Opavě
- Odpovědná osoba prof. RNDr. Marie Duží, CSc.
Jedním z nejaktuálnějších témat v současné epistemologii a logice je problém logické reprezentace významu,která by umožnila aplikovat logiku na takové žhavé otázky,jako je analýza ´domněnkových vět´. Cílem projektu je přispět k řešení těchto problémů, což je důležité nejen z hlediska logiky a filozofie, ale také z hlediska teoretické lingvistiky a teoretických základů matematické informatiky. Konceptuální prostředky,použité pro splnění cílů projektu, jsou založeny na Tichého transparentní intesionální logice, a to zejména na jeho teorii konstrukcí. Konstrukce jsou přesně definované abstraktní procedury,které jsou využity pro aplikaci logické struktury výrazů přirozeného jazyka.
Publikace
Počet publikací: 8
2007
-
Semantics of the Axiom (Schema) of Comprehension
The Logica Yearbook 2006, rok: 2007
2004
-
A procedural Theory of Concepts and the Problem of Synthetic a priori
Korean Journal of Logic, rok: 2004, ročník: 7, vydání: 1
-
Logical Form
Essays on the Foundations of Mathematics ad Logic, rok: 2004
2003
-
Is strong correspondence (theory of truth) possible?
Philosophy and Logic. Search of the Polish Tradition, rok: 2003
2002
-
Are Wooden Tables Necessarily Wooden? Intensional Essentialism Versus Metaphysical Modality
Acta Analytica, rok: 2002, ročník: 17, vydání: 28
2000
-
Dva druhy propozičních postojů
Organon F, rok: 2000, ročník: 2000, vydání: 3
-
Empirical Concepts
Topics in Conceptual Analysis and Modelling, rok: 2000
-
Two Notions of Concept
Topics in Conceptual Analysis and Modelling, rok: 2000