The logic of conditional negation
This paper presents a form of conditional negation in the context of familiar 3-valued logic, whereby \(\sim\! A\) is read `\(A\) is false if it has a truth-value'. This is supposed to coordinate well with a 3-valued conditional that captures many aspects of the ordinary-language indicative if-then. The logic of this negation is similar to classical negation, but different from that and from intuitionistic negation in that the inference from \(A\to\,\sim\! B\) to \(\sim\!(A\to B)\) is valid. This logic is presented both semantically, by standard matrices, and proof-theoretically, and the latter shown to be sound and complete with respect to the former. Key to these results is to take validity not in the sense of preserving truth, but as not introducing falsity, so that an inference is valid just in case the conclusion is false only if at least one premise is false. The paper includes valuable informal discussion to motivate the various concepts.
- Negation as cancellation, and connexive logic
- Conditionals in reasoning
- Non-conditional contracting connectives
- Negation in the light of modal logic
- Weak negation in inquisitive semantics
- Connexive logics. An overview and current trends
- Conditional logic and the significance of Tooley's example
- scientific article; zbMATH DE number 3908413 (Why is no real title available?)
- scientific article; zbMATH DE number 3928968 (Why is no real title available?)
- scientific article; zbMATH DE number 67513 (Why is no real title available?)
- Embedding \textit{if and only if}
- scientific article; zbMATH DE number 475239 (Why is no real title available?)
- The Non-Boolean Logic of Natural Language Negation
- Foreword: three-valued logics and their applications
- The defective conditional in mathematics
- scientific article; zbMATH DE number 823596 (Why is no real title available?)
- scientific article; zbMATH DE number 859786 (Why is no real title available?)
- scientific article; zbMATH DE number 859801 (Why is no real title available?)
- On negation rationality
- scientific article; zbMATH DE number 6424079 (Why is no real title available?)
- Peirce's triadic logic and its (overlooked) connexive expansion
- Negation of Conditionals in Natural Language and Thought
- A note on Ciuciura's \(\mathbf{mbC}^1\)
- From paraconsistent logic to dialetheic logic
- Conceptual Structures at Work
- On Vidal's trivalent explanations for defective conditional in mathematics
- Connexive logic, connexivity, and connexivism: remarks on terminology
- An algebraic investigation of the connexive logic \(\mathsf{C}\)
- A simple way to overcome hyperconnexivity
- Angell and McCall meet Wansing
- Situation-based connexive logic
- Stalnakerian connexive logics
- Weak Kleene and other weak logics of conditionals
- A Variant of Material Connexive Logic
- On three-valued presentations of classical logic
- Connexive implications in substructural logics
- Probabilities of conditionals: updating Adams
- Superconnexivity reconsidered
- Mortensen logics
- On trivalent logics, probabilistic weak deduction theorems, and a general import-export principle
- Analytic calculi for logics of indicative conditionals
- Indicative conditionals: some algebraic considerations
- There is hope for connexive set theories!
- Negation-cohesive connectives: a generalization of connexivity
- Aristotle's dilemma
- Connexive logic: new old challenges
- Dummett's theory of truth as a source of connexivity
- Computer-aided searching for a tabular many-valued discussive logic -- matrices
- Ten open problems in connexive logic
- Conditionals, support and connexivity
- A variety of connexive logics in the light of relating semantics
- Unified Gentzen approach to connexive logics over Wansing's C
- The algebra of ordinary discourse. On the semantics of Cooper's logic
- Strict-tolerant conditional logics
- Cut-elimination and normalization theorems for connexive logics over Wansing's C
- One heresy and one orthodoxy: on dialetheism, dimathematism, and the non-normativity of logic
- An easy road to multi-contra-classicality
- Considerations on Everett J. Nelson's connexive logic
- A note on the expressive completeness of LP in a metatheory without negation
- A model of connexive set theory
- De Finettian logics of indicative conditionals. I: Trivalent semantics and validity
- De Finettian logics of indicative conditionals. II: Proof theory and algebraic semantics
- Indicative conditionals: factual or epistemic?
This page was built for publication: The logic of conditional negation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q948755)
