Počet záznamů: 1
Meaning and Computing: Two Approaches to Computable Propositions
- 1.
SYSNO ASEP 0546956 Druh ASEP C - Konferenční příspěvek (mezinárodní konf.) Zařazení RIV D - Článek ve sborníku Název Meaning and Computing: Two Approaches to Computable Propositions Tvůrce(i) Pezlar, Ivo (FLU-F) ORCID, RID, SAI Zdroj.dok. Logic, Language, Information, and Computation, 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings. - Cham : Springer, 2021 / Silva Alexandra ; Wassermann Renata ; de Queiroz Ruy - ISBN 978-3-030-88852-7 - ISBN 978-3-030-88853-4 Rozsah stran s. 100-116 Poč.str. 17 s. Forma vydání Tištěná - P Akce WoLLIC 2021. Workshop on Logic, Language, Information, and Computation /27./ Datum konání 05.10.2021 - 08.10.2021 Místo konání online Země NL - Nizozemsko Typ akce WRD Jazyk dok. eng - angličtina Země vyd. DE - Německo Klíč. slova computable proposition ; sense–denotation distinction ; algorithmic theory of meaning ; procedural semantics ; constructive type theory ; transparent intensional logic Vědní obor RIV AA - Filosofie a náboženství Obor OECD Philosophy, History and Philosophy of science and technology CEP GA19-12420S GA ČR - Grantová agentura ČR Institucionální podpora FLU-F - RVO:67985955 EID SCOPUS 85117449422 DOI 10.1007/978-3-030-88853-4_7 Anotace In this paper, we will be interested in the notion of a computable proposition. It allows for feasible computational semantics of empirical sentences, despite the fact that it is in general impossible to get to the truth value of a sentence through a series of effective computational steps. Specifically, we will investigate two approaches to the notion of a computable proposition based on constructive type theory and transparent intensional logic. As we will see, the key difference between them is their accounts of denotations of empirical sentences. Pracoviště Filosofický ústav Kontakt Chlumská Simona, chlumska@flu.cas.cz ; Tichá Zuzana, asep@flu.cas.cz Tel: 221 183 360 Rok sběru 2022 Elektronická adresa https://doi.org/10.1007/978-3-030-88853-4_7
Počet záznamů: 1