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: 1,759
Number of visits today: 1
Last visit: 04.08.2020 - 21:00
PDF downloads: 543

Abstract

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.

Keywords

belief, infallibility, modal logic, possibility

*The article is subject to copyright.