The logic of knowledge and demonstratives
| dc.contributor.advisor | Yli-Vakkuri, Juhani, juhendaja | et |
| dc.contributor.advisor | Patrick William Shirreff, juhendaja | et |
| dc.contributor.author | Shurakov, Nikolai | |
| dc.contributor.other | Tartu Ülikool. Humanitaarteaduste ja kunstide valdkond | et |
| dc.contributor.other | Tartu Ülikool. Filosoofia osakond | et |
| dc.date.accessioned | 2020-10-19T11:32:18Z | |
| dc.date.available | 2020-10-19T11:32:18Z | |
| dc.date.issued | 2020-08 | |
| dc.description.abstract | The thesis aims to demonstrate how an epistemic operator K can be added to the Logic of Demonstratives. I started with a description of Kaplan’s LD. First off, I showed two reasons motivated Kaplan to create the formal system LD. There are several contingent logical truths in LD but one of them φ↔Aφ played a crucial role in my further reasoning. In the second section of the thesis, I tried to add the epistemic operator K to the LD using its standard definition. As a result, I got a formula (K+A) that leads to a number of weird results. For example, If it is known that φ↔Aφ then every truth is known. I argue that LD is inconsistent with the standard interpretation for K. However, Rabinowicz and Segerberg(1994) provide the non-standard interpretation of epistemic operator K. They consider necessity and actuality operators as ones with a fixed perspective and allow K to have a variable perspective. As a result, their definition of K might be directly added to LD without creating the troublesome formula (K+A). It helps to avoid all the problems from the second section That’s why I conclude that we can have the Logic for Knowledge and demonstratives (LD+K) and treat it like a possible extension of LD. This conclusion equips us with a formal tool to analyze sentences like ‘It is known that I am here now’ that was unanalyzable in the original formal system. | en |
| dc.description.uri | https://www.ester.ee/record=b5380861 | et |
| dc.identifier.other | 20.03.01 SHU 01 | |
| dc.identifier.uri | http://hdl.handle.net/10062/69988 | |
| dc.language.iso | eng | en |
| dc.publisher | Tartu Ülikool | et |
| dc.rights | openAccess | en |
| dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 International | * |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
| dc.subject | philosophy | en |
| dc.subject | logic | en |
| dc.subject | epistemology | en |
| dc.subject.other | magistritööd | et |
| dc.subject.other | filosoofia | et |
| dc.subject.other | loogika | et |
| dc.subject.other | epistemoloogia | et |
| dc.title | The logic of knowledge and demonstratives | en |
| dc.type | Thesis | en |