LOGICAL PRESENTATION OF KNOWABILITY
Evgeny Vasilyevich Borisov
Institute of Philosophy and Law, Siberian Branch of the Russian Akademy of Sciences, Novosibirsk, Russia
Keywords: knowability, logical formalization, de re, de dicto, epistemic logic, hybrid logic
Abstract
The paper examines the logical representation of knowability in terms of the first-order hybrid epistemic logic proposed by C. Proietti. This logic contains alethic and epistemic modalities, and hybrid operators. Two drawbacks of Proietti’s formalization are shown and two modifications thereof are suggested.
|
