On two formalizations of the principle of knowability de re
The article is devoted to the problem of logical representation (formalization) of the principle of knowability de re. The principle says that any true proposition can be known de re. The aim of the paper is of a critical character. Two formalizations of the principle of knowability de re are exa...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Omsk State Technical University, Federal State Budgetary Educational Institution of Higher Education
2024-12-01
|
| Series: | Омский научный вестник: Серия "Общество. История. Современность" |
| Subjects: | |
| Online Access: | https://www.omgtu.ru/general_information/media_omgtu/journal_of_omsk_research_journal/files/arhiv/2024/%D0%A2.9,%20%E2%84%964%20(%D0%9E%D0%98%D0%A1)/58-62%20%D0%91%D0%BE%D1%80%D0%B8%D1%81%D0%BE%D0%B2%20%D0%95.%20%D0%92..pdf |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | The article is devoted to the problem of logical representation (formalization) of
the principle of knowability de re. The principle says that any true proposition can
be known de re. The aim of the paper is of a critical character. Two formalizations
of the principle of knowability de re are examined, namely ones suggested by
Edgington and Proietti, and it is shown that both do not solve the problem. I argue
that Edgington’s formalizations does not work without an intuitively appealing
interpretation of the actuality operator within situation semantics, and that Proietti’s
formalization cannot be applied to quantified propositions. This shows that the
formalization of the principle remains an open problem. |
|---|---|
| ISSN: | 2542-0488 2541-7983 |