Partial classical propositional logic

Abstract

Kochen and Specker developed in the 1960s an alternative to Birkhoff and von Neumann’s quantum logic based on partial Boolean algebras, called partial classical propositional logic, which has been recently revisited in studies of contextuality. Unlike more common quantum logics, in the language of the logic studied here, a new symbol is added to express a relation of commeasurability or compatibility. Seman tically, the binary connectives are partial functions, with the logical value of a connective defined only for compatible propositions. This dissertation explores partial algebras, partial Boolean algebras and the concept of validity that they originate, comparing the notions of validity in this logic with those in classical propositional logic. The logical calculus of Kochen and Specker, which axiomatizes validity in partial classical propositional logic, is also studied. The theorems of soundness and completeness are proven, establishing an equivalence between both ways of characterizing the validity of this logic.

Kochen e Specker desenvolveram nos anos 60 uma alternativa à lógica quântica de Birkhoff e von Neu mann baseada em álgebras Booleanas parciais, a lógica clássica proposicional parcial, recentemente re visitada em estudos de contextualidade. Contrariamente às lógicas quânticas mais comuns, à linguagem da lógica aqui estudada adiciona-se um novo símbolo, para exprimir uma relação de comensurabilidade ou compatibilidade. A nível semântico, os conetivos binários são funções parciais, estando o valor lógico de um conetivo definido apenas para proposições compatíveis. Nesta dissertação estudam-se as álgebras parciais, as álgebras Booleanas parciais e a noção de vali dade que originam e comparam-se as noções de validade desta lógica com a noção de validade da lógica clássica proposicional. Estuda-se também o cálculo lógico de Kochen e Specker que axiomatiza a validade na lógica clássica proposicional parcial. Demonstram-se os teoremas da correção e da completude, o que estabelece uma equivalência entre ambas as formas de caracterizar a validade desta lógica.