The paper outlines an epistemic logic based on the proof theory of substructural logics. The logic is a formal model of belief that i) is based on true assumptions (BTA belief) and ii) does not suffer from the usual omniscience properties., Článek nastiňuje epistemickou logiku založenou na důkazové teorii substrukturální logiky. Logika je formálním modelem víry, že i) je založena na pravdivých předpokladech (víra BTA) a ii) netrpí obvyklými vševědoucími vlastnostmi., and Igor Sedlár
We outline a novel solution to Moore’s paradox within the framework of update semantics, which explains Moorean absurdity in terms of non-cohesiveness. It is argued that, unlike the outlined solution, Gillies’ treatment of the paradox within this framework is not satisfactory., Načrtneme nové řešení Moorova paradoxu v rámci aktualizační sémantiky, která vysvětluje Mooreanovu absurditu z hlediska nekoheze. Tvrdí se, že na rozdíl od nastíněného řešení není Gilliesovo zacházení s paradoxem v tomto rámci uspokojivé., and Igor Sedlár
The paper sketches an analysis of the notion of a self-fulfilling belief in terms of doxastic modal logic. We point out a connection between self-fulfilling beliefs and Moore’s paradox. Then we look at self-fulfilling beliefs in the context of neighborhood semantics. We argue that the analysis of several interesting self-fulfilling beliefs has to make essential use of propositional quantification., Příspěvek načrtává analýzu pojmu sebe-naplňující víry v podmínkách doxastické modální logiky. Poukazujeme na souvislost mezi seberealizujícími se víry a Moorovým paradoxem. Pak se podíváme na sebe-naplňující přesvědčení v kontextu sémantiky sousedství. Tvrdíme, že analýza několika zajímavých sebe-naplňujících přesvědčení musí nezbytně využít výrokové kvantifikace., and Igor Sedlár