Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research
Author: Shramko, Yaroslav
Source: Studia Logica, Volume 80, Numbers 2-3, August 2005 , pp. 347-367(21)
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.
Document Type: Research Article
Affiliations: Department of Philosophy, State Pedagogical University, Krivoi Rog, 50086, Ukraine, Email: firstname.lastname@example.org
Publication date: August 1, 2005