A gentzen system for conditional logic

Conditional logic is the deductive system , where is the set of propositional connectives {, ,} and is the structural finitary consequence relation on the absolutely free algebra that preserves degrees of truth over the structure of truth values C, . HereC is the non-commutative regular extension of the 2-element Boolean algebra to 3 truth values {t, u, f}, andf<u<t. In this paper we give a Gentzen type axiomatization for conditional logic.Presented byJan Zygmunt     

An axiom system for orthomodular quantum logic

Logical matrices for orthomodular logic are introduced. The underlying algebraic structures are orthomodular lattices, where the conditional connective is the Sasaki arrow. An axiomatic calculusOMC is proposed for the orthomodular-valid formulas.OMC is based on two primitive connectives — the conditional, and the falsity constant. Of the five axiom schemata and two rules, only one pertains to the falsity constant. Soundness is routine. Completeness is demonstrated using standard algebraic techniques. The Lindenbaum-Tarski algebra ofOMC is constructed, and it is shown to be an orthomodular lattice whose unit element is the equivalence class of theses ofOMC.This research was supported by National Science Foundation Grant Number SOC76-82527.     

Quantification for Peirce's preferred system of triadic logic

Without introducing quantifiers, minimal axiomatic systems have already been constructed for Peirce's triadic logics. The present paper constructs a dual pair of axiomatic systems which can be used to introduce quantifiers into Peirce's preferred system of triadic logic. It is assumed (on the basis of textual evidence) that Peirce would prefer a system which rejects the absurd but tolerates the absolutely undecidable. The systems which are introduced are shown to be absolutely consistent, deductively complete, and minimal. These dual axiomatic systems reveal an interesting elegance, independent of their historical motivation.     

A cut-free gentzen-type system for the logic of the weak law of excluded middle

The logic of the weak law of excluded middleKC _p is obtained by adding the formula A A as an axiom scheme to Heyting's intuitionistic logicH _p . A cut-free sequent calculus for this logic is given. As the consequences of the cut-elimination theorem, we get the decidability of the propositional part of this calculus, its separability, equality of the negationless fragments ofKC _p andH _p , interpolation theorems and so on. From the proof-theoretical point of view, the formulation presented in this paper makes clearer the relations betweenKC _p ,H _p , and the classical logic. In the end, an interpretation of classical propositional logic in the propositional part ofKC _p is given.     

Extending Montague's system: a three valued intensional logic

In this note we present a three-valued intensional logic, which is an extension of both Montague's intensional logic and ukasiewicz three-valued logic. Our system is obtained by adapting Gallin's version of intensional logic (see Gallin, D., Intensional and Higher-order Modal Logic). Here we give only the necessary modifications to the latter. An acquaintance with Gallin's work is pressuposed.     

A multiplexed vectored interface logic system for control of behavioral experiments

An interface was constructed which enabled a minicomputer to control operant conditioning experiments with a minimal amount of software recognition and input/output instructions. The hardware consisted of a real-time clock, logic to input a unique number with each change of state of digital input, and logic and solid state drivers to control standard, commercial 24 V behavioral stimuli.     

Quantum logic as a dynamic logic

We address the old question whether a logical understanding of Quantum Mechanics requires abandoning some of the principles of classical logic. Against Putnam and others (Among whom we may count or not E. W. Beth, depending on how we interpret some of his statements), our answer is a clear “no”. Philosophically, our argument is based on combining a formal semantic approach, in the spirit of E. W. Beth’s proposal of applying Tarski’s semantical methods to the analysis of physical theories, with an empirical–experimental approach to Logic, as advocated by both Beth and Putnam, but understood by us in the view of the operational- realistic tradition of Jauch and Piron, i.e. as an investigation of “the logic of yes–no experiments” (or “questions”). Technically, we use the recently-developed setting of Quantum Dynamic Logic (Baltag and Smets 2005, 2008) to make explicit the operational meaning of quantum-mechanical concepts in our formal semantics. Based on our recent results (Baltag and Smets 2005), we show that the correct interpretation of quantum-logical connectives is dynamical, rather than purely propositional. We conclude that there is no contradiction between classical logic and (our dynamic reinterpretation of) quantum logic. Moreover, we argue that the Dynamic-Logical perspective leads to a better and deeper understanding of the “non-classicality” of quantum behavior than any perspective based on static Propositional Logic.     

On the logic of adverbs

In the paper I investigate aspects of adverbial modification as an operation applying an adverb or adverbial phrase to a predicate and thereby creating a new predicate. The logic of adverbial modification, on this view, belongs to the logic of predicate modifiers. The theory I present is intended to cover not only adverbial modification but also attributive modification, but problems concerning the latter will not be given any special attention.     

On the logic of theocracy

I identify the objectionable element in theocracy, not with reliance on God as such, nor with the idea that God might have something to do with morality, but with the anti-human propensity to issue orders without communicating good reasons for them. In medieval discussion prohibitions not based on good reasons attracted the labelmalum quia prohibitum, bad because forbidden and I take this to be the criterion of theocracy in its objectionable form. I examine, in part of the Vatican’s doctrine against contraception, a persistent tendency towards this approach, a tendency incompatible with the tradition of the Church and ultimately incompatible even with the thirteenth century discussion of such issues in the work of Thomas Aquinas.