A Nonmonotonic Modal Formalization of the Logic of Acceptance and Rejection

The problems we deal with concern reasoning about incomplete knowledge. Knowledge is understood as ability of an ideal rational agent to make decisions about pieces of information. The formalisms we are particularly interested in are Moore's autoepistemic logic (AEL) and its variant, the logic of acceptance and rejection (AEL2). It is well-known that AEL may be seen as the nonmonotonic KD45 modal logic. The aim is to give an appropriate modal formalization for AEL2.     

Intuitionistic Autoepistemic Logic

In this paper we address the problem of combining a logic with nonmonotonic modal logic. In particular we study the intuitionistic case. We start from a formal analysis of the notion of intuitionistic consistency via the sequent calculus. The epistemic operator M is interpreted as the consistency operator of intuitionistic logic by introducing intuitionistic stable sets. On the basis of a bimodal structure we also provide a semantics for intuitionistic stable sets.     

Rules of Existential Quantification into "Intensional Contexts"

Propositional and notional attitudes are construed as relations (-in-intension) between individuals and constructions (rather than propositrions etc,). The apparatus of transparent intensional logic (Tichy) is applied to derive two rules that make it possible to export existential quantifiers without conceiving attitudes as relations to expressions (sententialism).     

Simulation and Transfer Results in Modal Logic – A Survey

This papers gives a survey of recent results about simulations of one class of modal logics by another class and of the transfer of properties of modal logics under extensions of the underlying modal language. We discuss: the transfer from normal polymodal logics to their fusions, the transfer from normal modal logics to their extensions by adding the universal modality, and the transfer from normal monomodal logics to minimal tense extensions. Likewise, we discuss simulations of normal polymodal logics by normal monomodal logics, of nominals and the difference operator by normal operators, of monotonic monomodal logics by normal bimodal logics, of polyadic normal modal logics by polymodal normal modal logics, and of intuitionistic modal logics by normal bimodal logics.     

Fuzzy Logic and Arithmetical Hierarchy,II

A very simple many-valued predicate calculus is presented; a completeness theorem is proved and the arithmetical complexity of some notions concerning provability is determined.     

Polanyi's Finalism

Although Michael Polanyi's model of science and his construal of the nature of the real are usually thought to be congenial to religion and although Polanyi himself says that "the stage on which we thus resume our full intellectual powers is borrowed from the Christian scheme of Fall and Redemption" (Polanyi 1958, 324), theologians have given little attention to the model of God he presents. The metaphysical and theological vision unfolded in part 4 of Personal Knowledge is a thoughtful alternative to materialist versions of neo-Darwinism and provides a platform for revisiting four long-standing controversies at the interface of science and religion: whether life and mind can be completely specified in terms of physical analysis, whether nature can be adequately understood without appeal to final causes, whether natural selection adequately explains life's diverse forms, and whether knowledge can be fully objectified. Through an exploration of Polanyi's contribution to these discussions, we undertake to show not only that his treatment of God as a cosmic field is strikingly original but also that in reinstating activity as a metaphysical category, he reconstructs our understanding of our creaturely hope and calling.     

The logics of orthoalgebras

The notion of unsharp orthoalgebra is introduced and it is proved that the category of unsharp orthoalgebras is isomorphic to the category of D-posets. A completeness theorem for some partial logics based on unsharp orthoalgebras, orthoalgebras and orthomodular posets is proved.     

Undecidability and intuitionistic incompleteness

Let S be a deductive system such that S-derivability (s) is arithmetic and sound with respect to structures of class K. From simple conditions on K and s, it follows constructively that the K-completeness of s implies MP(S), a form of Markov's Principle. If s is undecidable then MP(S) is independent of first-order Heyting arithmetic. Also, if s is undecidable and the S proof relation is decidable, then MP(S) is independent of second-order Heyting arithmetic, HAS. Lastly, when s is many-one complete, MP(S) implies the usual Markov's Principle MP.An immediate corollary is that the Tarski, Beth and Kripke weak completeness theorems for the negative fragment of intuitionistic predicate logic are unobtainable in HAS. Second, each of these: weak completeness for classical predicate logic, weak completeness for the negative fragment of intuitionistic predicate logic and strong completeness for sentential logic implics MP. Beth and Kripke completeness for intuitionistic predicate or sentential logic also entail MP.These results give extensions of the theorem of Gödel and Kreisel (in [4]) that completeness for pure intuitionistic predicate logic requires MP. The assumptions of Gödel and Kreisel's original proof included the Axiom of Dependent Choice and Herbrand's Theorem, no use of which is explicit in the present article.