The general aim of this book is to provide an elementary exposition of some basic concepts in terms of which both classical and non-dassicallogirs may be studied and appraised. Although quantificational logic is dealt with briefly in the last chapter, the discussion is chiefly concemed with propo gjtional cakuli. Still, the subject, as it stands today, cannot br covered in one book of reasonable length. Rather than to try to include in the volume as much as possible, I have put (...) emphasis on some selected topics. Even these could not be roverrd completely, but for each topic I have attempted to present a detailed and precise t’Xposition of several basic results including some which are non-trivial. The roots of some of the central ideas in the volume go back to J. Luka siewicz’s seminar on mathematicallogi. (shrink)

We analyze G.M. Hardegree's interpretation of the Sasaki hook as a Stalnaker conditional and explain how he makes use of the basic conceptual machinery of OQL, i.e. the operational quantum logic which originated with the Geneva Approach to the foundations of physics. In particular we focus on measurements which are ideal and of the first kind, since these encode the content of the so-called Sasaki projections within the Geneva Approach. The Sasaki projections play a fundamental role when analyzing the condition (...) under which the properties expressed by Sasaki hooks can be considered as actual. We finish with a note on how the Sasaki hook can be conceived as ``assigning causes for properties to be actual", which links the interpretation of G.M. Hardegree to what has been called ``dynamic OQL". (shrink)

This paper is a study of similarities and differences between strong and weak quantum consequence operations determined by a given class of ortholattices. We prove that the only strong orthologics which admits the deduction theorem (the only strong orthologics with algebraic semantics, the only equivalential strong orthologics, respectively) is the classical logic.