an:05002534
Zbl 1085.03022
Shramko, Yaroslav
Dual intuitionistic logic and a variety of negations: the logic of scientific research
EN
Stud. Log. 80, No. 2-3, 347-367 (2005).
0039-3215 1572-8730
2005
j
03B60
verification; falsification; dual intuitionistic logic; kite of negations; scientific discovery
Summary: We consider a logic which is semantically dual (in some precise sense of the term) to intuitionistic logic. 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.