Number of the records: 1
Meaning and Computing: Two Approaches to Computable Propositions
- 1.
SYSNO ASEP 0546956 Document Type C - Proceedings Paper (int. conf.) R&D Document Type Conference Paper Title Meaning and Computing: Two Approaches to Computable Propositions Author(s) Pezlar, Ivo (FLU-F) ORCID, RID, SAI Source Title 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 Pages s. 100-116 Number of pages 17 s. Publication form Print - P Action WoLLIC 2021. Workshop on Logic, Language, Information, and Computation /27./ Event date 05.10.2021 - 08.10.2021 VEvent location online Country NL - Netherlands Event type WRD Language eng - English Country DE - Germany Keywords computable proposition ; sense–denotation distinction ; algorithmic theory of meaning ; procedural semantics ; constructive type theory ; transparent intensional logic Subject RIV AA - Philosophy ; Religion OECD category Philosophy, History and Philosophy of science and technology R&D Projects GA19-12420S GA ČR - Czech Science Foundation (CSF) Institutional support FLU-F - RVO:67985955 EID SCOPUS 85117449422 DOI 10.1007/978-3-030-88853-4_7 Annotation 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. Workplace Institute of Philosophy Contact Chlumská Simona, chlumska@flu.cas.cz ; Tichá Zuzana, asep@flu.cas.cz Tel: 221 183 360 Year of Publishing 2022 Electronic address https://doi.org/10.1007/978-3-030-88853-4_7
Number of the records: 1