Vector logic allows counterfactual virtualization by the square root of NOT

DOI10.1093/JIGPAL/JZAA026zbMATH Open1494.03061arXiv2003.11519OpenAlexW3045595095MaRDI QIDQ5014065FDOQ5014065

Authors: Eduardo Mizraji 

Publication date: 3 December 2021

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Abstract: In this work we investigate the representation of counterfactual conditionals using the vector logic, a matrix-vectors formalism for logical functions and truth values. Inside this formalism, the counterfactuals can be transformed in complex matrices preprocessing an implication matrix with one of the square roots of NOT, a complex matrix. This mathematical approach puts in evidence the virtual character of the counterfactuals. This happens because this representation produces a valuation of a counterfactual that is the superposition of the two opposite truth values weighted, respectively, by two complex conjugated coefficients. This result shows that this procedure gives an uncertain evaluation projected on the complex domain. After this basic representation, the judgment of the plausibility of a given counterfactual allows us to shift the decision towards an acceptance or a refusal. This shift is the result of applying for a second time one of the two square roots of NOT.

Full work available at URL: https://arxiv.org/abs/2003.11519

Recommendations

• Counterfactuals in Nelson logic
• Logic as a Vector System
• Modalities in vector logic
• Vector Logic: A Natural Algebraic Representation of the Fundamental Logical Gates
• A square of oppositions in intuitionistic logic with strong negation
• Counterfactual logic and the necessity of mathematics
• Counterlogicals as counterconventionals
• A Topos-Theoretic Approach to Counterfactual Logic

zbMATH Keywords

conditionalscounterfactualsvector logicsquare roots of NOT

Mathematics Subject Classification ID

Classical propositional logic (03B05) Many-valued logic (03B50)

Cited In (1)

• Vector Logic: A Natural Algebraic Representation of the Fundamental Logical Gates

This page was built for publication: Vector logic allows counterfactual virtualization by the square root of NOT

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5014065)