FROM INTUITIONISTIC LOGIC TO DYNAMIC OPERATIONAL QUANTUM LOGIC

in Essays in Logic and Ontology
Restricted Access
Get Access to Full Text

Subject Highlights

 

Abstract

Research within the operational approach to the logical foundations of physics has recently pointed out a new perspective in which quantum logic can be viewed as an intuitionistic logic with an additional operator to capture its essential, i.e., non-distributive, properties. In this paper we will offer an introduction to this approach. We will focus further on why quantum logic has an inherent dynamic nature which is captured in the meaning of “orthomodularity” and on how it motivates physically the introduction of dynamic implication operators, each for which a deduction theorem holds with respect to a dynamic conjunction. As such we can offer a positive answer to the many who pondered about whether quantum logic should really be called a logic. Doubts to answer the question positively were in first instance due to the former lack of an implication connective which satisfies the deduction theorem within quantum logic.

Table of Contents

Index Card

Metrics

Metrics

All Time Past Year Past 30 Days
Abstract Views 15 15 2
Full Text Views 10 10 6
PDF Downloads 4 4 2
EPUB Downloads 0 0 0

Related Content