A new semantics for intuitionistic predicate logic

The main part of the proof of Kripke's completeness theorem for intuitionistic logic is Henkin's construction. We introduce a new Kripke-type semantics with semilattice structures for intuitionistic logic. The completeness theorem for this semantics can he proved without Henkin's construction.     

How game-theoretical semantics works: Classical first-order logic

The structure of strategies for semantical games is studied by means of a new formalism developed for the purpose. Rigorous definitions of strategy, winning strategy, truth, and falsity are presented. Non-contradiction and bivalence are demonstrated for the truth-definition. The problem of the justification of deduction is examined from this perspective. The rules of a natural deduction system are justified: they are seen to guarantee existence of a winning strategy for the defender in the semantical game for the conclusion, given winning strategies for that player in the games for the premises. Finally, it is shown how semantical games and the truth-definition can be given for languages lacking individual constants. *** DIRECT SUPPORT *** AZ902009 00003     

A logic for epistemic two-dimensional semantics

Epistemic two-dimensional semantics is a theory in the philosophy of language that provides an account of meaning which is sensitive to the distinction between necessity and apriority. While this theory is usually presented in an informal manner, I take some steps in formalizing it in this paper. To do so, I define a semantics for a propositional modal logic with operators for the modalities of necessity, actuality, and apriority that captures the relevant ideas of epistemic two-dimensional semantics. I also describe some properties of the logic that are interesting from a philosophical perspective, and apply it to the so-called nesting problem.     

A utilitarian semantics for deontic logic

I am idebted to members of the Wellington Logic Seminar for useful discussions of work of which this essay forms part, in particular to M. J. Cresswell for comments in the earlier stages of the investigation and to R. I. Goldblatt who suggested the definition ofB _infD ^supu and made numerous other suggestions.     

Well-founded semantics for defeasible logic

Fixpoint semantics are provided for ambiguity blocking and propagating variants of Nute’s defeasible logic. The semantics are based upon the well-founded semantics for logic programs. It is shown that the logics are sound with respect to their counterpart semantics and complete for locally finite theories. Unlike some other nonmonotonic reasoning formalisms such as Reiter’s default logic, the two defeasible logics are directly skeptical and so reject floating conclusions. For defeasible theories with transitive priorities on defeasible rules, the logics are shown to satisfy versions of Cut and Cautious Monotony. For theories with either conflict sets closed under strict rules or strict rules closed under transposition, a form of Consistency Preservation is shown to hold. The differences between the two logics and other variants of defeasible logic—specifically those presented by Billington, Antoniou, Governatori, and Maher—are discussed.     

Revision algebra semantics for conditional logic

The properties of belief revision operators are known to have an informal semantics which relates them to the axioms of conditional logic. The purpose of this paper is to make this connection precise via the model theory of conditional logic. A semantics for conditional logic is presented, which is expressed in terms of algebraic models constructed ultimately out of revision operators. In addition, it is shown that each algebraic model determines both a revision operator and a logic, that are related by virtue of the stable Ramsey test.The author is grateful for a correction and several other valuable suggestions of two anonymous referees. This work was supported by the McDonnell Douglas Independent Research and Development program.     

Relational semantics for full linear logic

Relational semantics, given by Kripke frames, play an essential role in the study of modal and intuitionistic logic. In [4] it is shown that the theory of relational semantics is also available in the more general setting of substructural logic, at least in an algebraic guise. Building on these ideas, in [5] a type of frames is described which generalise Kripke frames and provide semantics for substructural logics in a purely relational form.In this paper we study full linear logic from an algebraic point of view. The main additional hurdle is the exponential. We analyse this operation algebraically and use canonical extensions to obtain relational semantics. Thus, we extend the work in [4], [5] and use their approach to obtain relational semantics for full linear logic. Hereby we illustrate the strength of using canonical extension to retrieve relational semantics: it allows a modular and uniform treatment of additional operations and axioms.Traditionally, so-called phase semantics are used as models for (provability in) linear logic [8]. These have the drawback that, contrary to our approach, they do not allow a modular treatment of additional axioms. However, the two approaches are related, as we will explain.     

Physicalism,instrumentalism and the semantics of modal logic

The delicate point in the formalistic position is to explain how the non-intuitionistic classical mathematics is significant, after having initially agreed with the intuitionists that its theorems lack a real meaning in terms of which they are true (S. C. Kleene, 1952).