Two Cases of Deduction with Non-referring Descriptions

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14210%2F24%3A00138272" target="_blank" >RIV/00216224:14210/24:00138272 - isvavai.cz</a>
Result on the web
<a href="https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?NCL24.8" target="_blank" >https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?NCL24.8</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.4204/EPTCS.415.8" target="_blank" >10.4204/EPTCS.415.8</a>

Result language
angličtina
Original language name
Two Cases of Deduction with Non-referring Descriptions
Original language description
Formal reasoning with non-denoting terms, esp. non-referring descriptions such as “the King of France”, is still an under-investigated area. The recent exception being a series of papers e.g. by Indrzejczak and Zawidzki. The present paper offers an alternative to their approach since instead of free logic and sequent calculus, it’s framed in partial type theory with natural deduction in sequent style. Using a Montague- and Tichý-style formalization of natural language, the paper successfully handles deduction with intensional transitives whose complements are non-referring descriptions, and derives Strawsonian rules for existential presuppositions of sentences with such descriptions
Czech name
—
Czech description
—

Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
60301 - Philosophy, History and Philosophy of science and technology

Publication year
2024
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
Electronic Proceedings In Theoretical Computer Science (415)
ISBN
—
ISSN
2075-2180
e-ISSN
—
Number of pages
276
Pages from-to
48-65
Publisher name
Open Publishing Association
Place of publication
Sydney
Event location
Lodz (PL)
Event date
Aug 5, 2024
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
001406053400009

Similar results(10)