Abstract:The theory of mental models and its computer implementations have led to crucial experiments showing that no standard logic—the sentential calculus and all logics that include it—can underlie human reasoning. The theory replaces the logical concept of validity (the conclusion is true in all cases in which the premises are true) with necessity (conclusions describe no more than possibilities to which the premises refer). Many inferences are both necessary and valid. But experiments show that individuals make necessary inferences that are invalid, e.g., Few people ate steak or sole ; therefore, few people ate steak . Other crucial experiments show that individuals reject inferences that are not necessary but valid, e.g., He had the anesthetic or felt pain, but not both ; therefore, he had the anesthetic or felt pain, or both . Nothing in logic can justify the rejection of a valid inference: a denial of its conclusion is inconsistent with its premises, and inconsistencies yield valid inferences of any conclusions whatsoever including the one denied. So inconsistencies are catastrophic in logic. In contrast, the model theory treats all inferences as defeasible (nonmonotonic), and inconsistencies have the null model, which yields only the null model in conjunction with any other premises. So inconsistences are local. Which allows truth values in natural languages to be much richer than those that occur in the semantics of standard logics; and individuals verify assertions on the basis of both facts and possibilities that did not occur.

Vector logic allows counterfactual virtualization by The Square Root of NOT

On Truth-Gaps, Bipolar Belief and the Assertability of Vague Propositions

Generalized "Square roots of Not" matrices, their application to the unveiling of hidden logical operators and to the definition of fully matrix circular Euler functions

Counterfactual Conditionals in Quantified Modal Logic

Partial Evaluation of Logic Programs in Vector Spaces

Counterfactuals Modulo Temporal Logics

Counterfactual Analysis by Algorithmic Complexity: A metric between possible worlds

Counterfactual logic gates

Ordinal Conditional Functions for Nearly Counterfactual Revision

Eigenlogic: Interpretable Quantum Observables with applications to Fuzzy Behavior of Vehicular Robots

The Algebras of Lewis's Counterfactuals

Two-State Vector Formalism and Quantum Interference

Embedding Tarskian Semantics in Vector Spaces

Logical Zonotopes: A Set Representation for the Formal Verification of Boolean Functions

Formalization of Complex Vectors in Higher-Order Logic

A Lewisian Logic of Causal Counterfactuals

A state vector algebra for algorithmic implementation of second-order logic

The logic of the future in quantum theory

Vectorization of quantum operations and its use

VyZX: Formal Verification of a Graphical Quantum Language

Models of Possibilities Instead of Logic as the Basis of Human Reasoning