David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Studia Logica 80 (2-3):347 - 367 (2005)
We consider a logic which is semantically dual (in some precise sense of the term) to intuitionistic. This logic can be labeled as “falsification logic”: it embodies the Popperian methodology of scientific discovery. Whereas intuitionistic logic deals with constructive truth and non-constructive falsity, and Nelson's logic takes both truth and falsity as constructive notions, in the falsification logic truth is essentially non-constructive as opposed to falsity that is conceived constructively. We also briefly clarify the relationships of our falsification logic to some other logical systems.
|Keywords||Philosophy Logic Mathematical Logic and Foundations Computational Linguistics|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
Luca Tranchini (2012). Natural Deduction for Dual-Intuitionistic Logic. Studia Logica 100 (3):631-648.
Similar books and articles
J. Michael Dunn & Chunlai Zhou (2005). Negation in the Context of Gaggle Theory. Studia Logica 80 (2-3):235 - 264.
David Ellerman (2010). The Logic of Partitions: Introduction to the Dual of the Logic of Subsets. Review of Symbolic Logic 3 (2):287-350.
Torben Braüner (2006). Axioms for Classical, Intuitionistic, and Paraconsistent Hybrid Logic. Journal of Logic, Language and Information 15 (3):179-194.
Enrico Martino (1998). Negationless Intuitionism. Journal of Philosophical Logic 27 (2):165-177.
Lloyd Humberstone (2001). The Pleasures of Anticipation: Enriching Intuitionistic Logic. [REVIEW] Journal of Philosophical Logic 30 (5):395-438.
Greg Restall (2001). Constructive Logic, Truth and Warranted Assertability. Philosophical Quarterly 51 (205):474-483.
Mitsuhiro Okada (1987). A Weak Intuitionistic Propositional Logic with Purely Constructive Implication. Studia Logica 46 (4):371 - 382.
Philip Kremer (1997). On the Complexity of Propositional Quantification in Intuitionistic Logic. Journal of Symbolic Logic 62 (2):529-544.
Dimiter Vakarelov (2005). Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation. Studia Logica 80 (2-3):393 - 430.
Added to index2009-01-28
Total downloads20 ( #97,017 of 1,410,533 )
Recent downloads (6 months)1 ( #178,988 of 1,410,533 )
How can I increase my downloads?