Evolutionary epistemology and non-normal modal logic of knowledge

Abstract

С эволюционной точки зрения формула «Если агент знает, что q, то q» парадоксальна. Предлагается заменить ее доказуемость на выводимость из некоторого эпистемически значимого допущения. Это допущение точно определяется с помощью аксиоматической системы эпистемологии, в которой доказуема теорема «Если агент знает, что q, то, если агент a priori знает, что q, то q». Ключевые слова: эволюционная эпистемология, эпистемическая логика, ненормальная модальная логика.

Proofs of Logic Consistency of A Formal Axiomatic Epistemology Theory , and Demonstrations of Improvability of The Formulae (Kq  q) and (q  q) in It

“…The critique of the classical epistemic modal logic by the empiricist-minded philosophers and representatives of the evolutionary epistemology inspired me to construct such a logically formalized axiomatic theory of knowledge, in which (Kq  q) is not a theorem. Finally, my constructing has resulted in the below-defined theory  [Lobovikov 2017b;2018a;2018b], which deals not only with Kq, but also with Aq (person a-priori knows that q) and Eq (person a-posteriori knows that q). Meanings of Aq and Eq are precisely defined by the axiomatic system.…”