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!
|
| _version_ | 1846108107542888448 |
|---|---|
| author | E. V. Borisov |
| author_facet | E. V. Borisov |
| author_sort | E. V. Borisov |
| collection | DOAJ |
| description | 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. |
| format | Article |
| id | doaj-art-e5a8b9cdb35e4fbfa90f96455a6ff475 |
| institution | Kabale University |
| issn | 2542-0488 2541-7983 |
| language | English |
| publishDate | 2024-12-01 |
| publisher | Omsk State Technical University, Federal State Budgetary Educational Institution of Higher Education |
| record_format | Article |
| series | Омский научный вестник: Серия "Общество. История. Современность" |
| spelling | doaj-art-e5a8b9cdb35e4fbfa90f96455a6ff4752024-12-26T03:42:58ZengOmsk State Technical University, Federal State Budgetary Educational Institution of Higher EducationОмский научный вестник: Серия "Общество. История. Современность"2542-04882541-79832024-12-0194586210.25206/2542-0488-2024-9-4-58-62On two formalizations of the principle of knowability de reE. V. Borisov0https://orcid.org/0000-0001-6587-9616Institute of Philosophy and Law of the Siberian Branch of the Russian Academy of SciencesThe 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.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..pdfknowabilityknowability de rethe principle of knowability de refitch’s paradoxpossible world semanticsepistemic logichybrid logic |
| spellingShingle | E. V. Borisov On two formalizations of the principle of knowability de re Омский научный вестник: Серия "Общество. История. Современность" knowability knowability de re the principle of knowability de re fitch’s paradox possible world semantics epistemic logic hybrid logic |
| title | On two formalizations of the principle of knowability de re |
| title_full | On two formalizations of the principle of knowability de re |
| title_fullStr | On two formalizations of the principle of knowability de re |
| title_full_unstemmed | On two formalizations of the principle of knowability de re |
| title_short | On two formalizations of the principle of knowability de re |
| title_sort | on two formalizations of the principle of knowability de re |
| topic | knowability knowability de re the principle of knowability de re fitch’s paradox possible world semantics epistemic logic hybrid logic |
| url | 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 |
| work_keys_str_mv | AT evborisov ontwoformalizationsoftheprincipleofknowabilitydere |