Search engine for discovering works of Art, research articles, and books related to Art and Culture
ShareThis
Javascript must be enabled to continue!

Access-based intuitionistic knowledge

View through CrossRef
Abstract We introduce the concept of $\textit{access-based}$ intuitionistic knowledge which relies on the intuition that agent $i$ knows $\varphi$ if $i$ has found $\textit{access to a proof}$ of $\varphi$. Basic principles are distribution and factivity of knowledge as well as $\square\varphi\rightarrow K_i\varphi$ and $K_i(\varphi\vee\psi) \rightarrow (K_i\varphi\vee K_i\psi)$, where $\square\varphi$ reads $`\varphi$ is proved'. The formalization extends a family of classical modal logics (Lewitzka, 2017, Journal of Logic and Computation, 27, 201--212) designed as combinations of $\mathit{IPC}$ and $\mathit{CPC}$ and as systems for the reasoning about proof, i.e. intuitionistic truth. We adopt a formalization of common knowledge from (Lewitzka, 2011, Studia Logica, 97, 233--264) and interpret it here as access-based common knowledge. We compare our proposal with recent approaches to intuitionistic knowledge (Artemov and Protopopescu, 2016, The Review of Symbolic Logic, 9, 266--298; Lewitzka, 2019, Annals of Pure and Applied Logic, 170, 218--250) and bring together these different concepts in a unifying semantic framework based on Heyting algebra expansions.
Title: Access-based intuitionistic knowledge
Description:
Abstract We introduce the concept of $\textit{access-based}$ intuitionistic knowledge which relies on the intuition that agent $i$ knows $\varphi$ if $i$ has found $\textit{access to a proof}$ of $\varphi$.
Basic principles are distribution and factivity of knowledge as well as $\square\varphi\rightarrow K_i\varphi$ and $K_i(\varphi\vee\psi) \rightarrow (K_i\varphi\vee K_i\psi)$, where $\square\varphi$ reads $`\varphi$ is proved'.
The formalization extends a family of classical modal logics (Lewitzka, 2017, Journal of Logic and Computation, 27, 201--212) designed as combinations of $\mathit{IPC}$ and $\mathit{CPC}$ and as systems for the reasoning about proof, i.
e.
intuitionistic truth.
We adopt a formalization of common knowledge from (Lewitzka, 2011, Studia Logica, 97, 233--264) and interpret it here as access-based common knowledge.
We compare our proposal with recent approaches to intuitionistic knowledge (Artemov and Protopopescu, 2016, The Review of Symbolic Logic, 9, 266--298; Lewitzka, 2019, Annals of Pure and Applied Logic, 170, 218--250) and bring together these different concepts in a unifying semantic framework based on Heyting algebra expansions.

Related Results

Intuitionistic ancestral logic
Intuitionistic ancestral logic
Abstract In this article we define pure intuitionistic Ancestral Logic ( iAL ), extending pure intuitionistic First-Order Logic ( iFOL ). This logic is a dependently...
SAFETY’S SWAMP: AGAINST THE VALUE OF MODAL STABILITY
SAFETY’S SWAMP: AGAINST THE VALUE OF MODAL STABILITY
Abstract An account of the nature of knowledge must explain the value of knowledge. This paper argues that modal conditions, such as safety and sensitivity, do not c...
Navigating Ambiguous Waters: Providing Access to Student Records in the University Archives
Navigating Ambiguous Waters: Providing Access to Student Records in the University Archives
Because privacy laws heavily restrict access to student records, archivists are forced to weigh the research potential of these documents against their availability. At the center ...
Social Domains of Knowledge: Technology, Art, and Religion
Social Domains of Knowledge: Technology, Art, and Religion
This essay asks whether and how a Reformational epistemology should distinguish different types of knowledge within a unified conception of knowledge as a whole. I begin with the t...
Conducting Research on West Bank Settlements: Architecture as Punctum and Archive
Conducting Research on West Bank Settlements: Architecture as Punctum and Archive
Abstract Conducting research on Israel's settlement project has become increasingly difficult throughout the past decade due to restrictions on public access to both the field and ...
The study on factors influencing satisfaction of life of the elderly in the island area
The study on factors influencing satisfaction of life of the elderly in the island area
In this study, based on the bottom-up spillover theory, the effects of living area satisfaction such as housing, public transportation access, access to medical institutions, acces...
“Her soul cried out for some explanation”: Knowledge and Acknowledgment in George Eliot's Romola
“Her soul cried out for some explanation”: Knowledge and Acknowledgment in George Eliot's Romola
This article argues that in Romola, George Eliot uses the real, historical case of Savonarola, whose motivations remain unknowable in the novel and historical record alike, to inve...
The key of knowledge
The key of knowledge
Keys are used to gain access, knowledge, and power but what happens when these everyday items are transformed into supernatural objects? Do they, in turn, become a source of knowle...

Back to Top