Studia Logica 80 (2-3):347 - 367 (2005)
|Abstract||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||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
J. Michael Dunn & Chunlai Zhou (2005). Negation in the Context of Gaggle Theory. Studia Logica 80 (2-3):235 - 264.
Philip Kremer (1997). On the Complexity of Propositional Quantification in Intuitionistic Logic. Journal of Symbolic Logic 62 (2):529-544.
Mitsuhiro Okada (1987). A Weak Intuitionistic Propositional Logic with Purely Constructive Implication. Studia Logica 46 (4):371 - 382.
Greg Restall (2001). Constructive Logic, Truth and Warranted Assertability. Philosophical Quarterly 51 (205):474-483.
Lloyd Humberstone (2001). The Pleasures of Anticipation: Enriching Intuitionistic Logic. Journal of Philosophical Logic 30 (5):395-438.
Enrico Martino (1998). Negationless Intuitionism. Journal of Philosophical Logic 27 (2):165-177.
Torben Braüner (2006). Axioms for Classical, Intuitionistic, and Paraconsistent Hybrid Logic. Journal of Logic, Language and Information 15 (3).
David Ellerman (2010). The Logic of Partitions: Introduction to the Dual of the Logic of Subsets. Review of Symbolic Logic 3 (2):287-350.
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 downloads16 ( #74,805 of 551,054 )
Recent downloads (6 months)1 ( #63,341 of 551,054 )
How can I increase my downloads?