Two Cases of Deduction with Non-referring Descriptions

D 2024

Two Cases of Deduction with Non-referring Descriptions

RACLAVSKÝ, Jiří

Základní údaje

Originální název

Two Cases of Deduction with Non-referring Descriptions

Autoři

RACLAVSKÝ, Jiří

Vydání

Sydney, Electronic Proceedings In Theoretical Computer Science (415), od s. 48-65, 276 s. 2024

Nakladatel

Open Publishing Association

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

60301 Philosophy, History and Philosophy of science and technology

Stát vydavatele

Austrálie

Utajení

není předmětem státního či obchodního tajemství

Forma vydání

elektronická verze "online"

Odkazy

URL, URL

Kód RIV

RIV/00216224:14210/24:00138272

Organizační jednotka

Filozofická fakulta

ISSN

DOI

https://doi.org/10.4204/EPTCS.415.8

UT WoS

001406053400009

EID Scopus

2-s2.0-85214787406

Klíčová slova anglicky

non-refering descriptions; partiality; higher-order logic; existential presupposition; partial type logic; natural deduction

Štítky

rivok

Příznaky

Mezinárodní význam, Recenzováno

Změněno: 4. 4. 2025 14:14, Mgr. Pavla Martinková

Anotace

V originále

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

Návaznosti

MUNI/A/1412/2023, interní kód MU

Název: Filozofie pro odolnou společnost

Investor: Masarykova univerzita, Filozofie pro odolnou společnost

Citovat

RACLAVSKÝ, Jiří. Two Cases of Deduction with Non-referring Descriptions. Online. In Indrzejczak, Andrzej; Zawidski, Michal. Electronic Proceedings In Theoretical Computer Science (415). Sydney: Open Publishing Association, 2024, s. 48-65, 276 s. ISSN 2075-2180. Dostupné z: https://doi.org/10.4204/EPTCS.415.8.

@inproceedings{2465017,
   author = {Raclavský, Jiří},
   address = {Sydney},
   booktitle = {Electronic Proceedings In Theoretical Computer Science (415)},
   doi = {https://doi.org/10.4204/EPTCS.415.8},
   editor = {Indrzejczak, Andrzej; Zawidski, Michal},
   keywords = {non-refering descriptions; partiality; higher-order logic; existential presupposition; partial type logic; natural deduction},
   howpublished = {elektronická verze "online"},
   language = {eng},
   location = {Sydney},
   pages = {48-65},
   publisher = {Open Publishing Association},
   title = {Two Cases of Deduction with Non-referring Descriptions},
   url = {https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?NCL24.8},
   year = {2024}
}

TY  - CONF
ID  - 2465017
AU  - Raclavský, Jiří
PY  - 2024
TI  - Two Cases of Deduction with Non-referring Descriptions
PB  - Open Publishing Association
CY  - Sydney
KW  - non-refering descriptions
KW  - partiality
KW  - higher-order logic
KW  - existential presupposition
KW  - partial type logic
KW  - natural deduction
UR  - https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?NCL24.8
N2  - 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
ER  -

RACLAVSKÝ, Jiří. Two Cases of Deduction with Non-referring Descriptions. Online. In Indrzejczak, Andrzej; Zawidski, Michal. \textit{Electronic Proceedings In Theoretical Computer Science (415)}. Sydney: Open Publishing Association, 2024, s.~48-65, 276 s. ISSN~2075-2180. Dostupné z: https://doi.org/10.4204/EPTCS.415.8.

Přehled o publikaci