Article/Publication Details

Infallibility and Logic

(Original title: Neomylnosť a logika)
Organon F, 2012, vol. 19, Supplementary Issue 1, pp. 239-254.
File to download: PDF*
BibTex EndNote Tagged EndNote XML RIS

Document Statistics:

Number of visits: 3,115
Number of visits today: 1
Last visit: 14.07.2024 - 07:11
PDF downloads: 773


The paper presents preliminary results related to the logical analysis of the concept of infallibility. The concept is explicated using the resources of modal logic, namely in terms of the operator of possibility M and the operator of belief B. Infallibility with respect to p is explicated as impossibility of being wrong with respect to p. The infallibility operator is introduced: Iϕ is defined to mean the same as ¬M(Bϕ ∧ ¬ϕ). We prove various theorems about validity or invalidity of certain formulas with I in special classes of models for the combined language.


belief, infallibility, modal logic, possibility

*The article is subject to copyright.