RACLAVSKÝ, Jiří. Existential Import, Partiality, and Squares of Opposition. In 6th Congress on the Square of Opposition (SQUARE 2018). 2018.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Existential Import, Partiality, and Squares of Opposition
Authors RACLAVSKÝ, Jiří (203 Czech Republic, guarantor, belonging to the institution).
Edition 6th Congress on the Square of Opposition (SQUARE 2018), 2018.
Other information
Original language English
Type of outcome Conference abstract
Field of Study 60301 Philosophy, History and Philosophy of science and technology
Country of publisher Greece
Confidentiality degree is not subject to a state or trade secret
RIV identification code RIV/00216224:14210/18:00113954
Organization unit Faculty of Arts
Keywords in English partial type theory; existential import; square of opposition; higher-order modal logic
Tags rivok
Tags International impact, Reviewed
Changed by Changed by: Mgr. Kateřina Urubková, učo 425917. Changed: 22/2/2023 14:49.
Abstract
The talk embraces partial propositions and partial predicates into a type-theoretic system which is used for analysis of modern as well as its extended modal square of opposition. Existential import is defined and the desiderata implemented in the definition are discussed.
Links
GA16-19395S, research and development projectName: Sémantické pojmy, paradoxy a hyperintenzionální logika založená na moderní rozvětvené teorii typů (Acronym: Sémantické pojmy)
Investor: Czech Science Foundation
PrintDisplayed: 5/9/2024 21:43