MATERNA, Pavel and Jan ŠTĚPÁN. Filozofická logika: nová cesta? (Philosophical logic: a new way?). Olomouc: Olomouc (Univerzita Palackého), 2000. 127 pp. ISBN 80-244-0109-6.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Filozofická logika: nová cesta?
Name (in English) Philosophical logic: a new way?
Authors MATERNA, Pavel and Jan ŠTĚPÁN.
Edition Olomouc, 127 pp. 2000.
Publisher Olomouc (Univerzita Palackého)
Other information
Original language Czech
Type of outcome Book on a specialized topic
Field of Study 60300 6.3 Philosophy, Ethics and Religion
Country of publisher Czech Republic
Confidentiality degree is not subject to a state or trade secret
RIV identification code RIV/00216224:14210/00:00003549
Organization unit Faculty of Arts
ISBN 80-244-0109-6
Keywords in English intensions; transparent intensional logic (TIL); constructions; deduction; formalism; hierarchy of types (simple; ramified)
Tags constructions, deduction, formalism, hierarchy of types (simple, intensions, ramified), transparent intensional logic (TIL)
Changed by Changed by: Hana Holmanová, učo 1028. Changed: 27/2/2001 09:57.
Abstract
Úvod do tzv. transparentní intenzionální logiky (TIL). Základní východiska a principy, definice základních pojmů. V Dodatku ukázky formálních postupů uplatněných v TIL.
Abstract (in English)
Introduction to transparent intensional logic (TIL). Basic principles, definitions of basic concepts. Appendix reproduces some formal methods used in TIL.
Links
GA401/97/0157, research and development projectName: Rekonstrukce filozofické logiky
PrintDisplayed: 18/1/2021 09:34