'Yes and no' 论文
2000Mind引用 315
Logic, programming, and type systemsLogic, Reasoning, and KnowledgePhilosophy and Theoretical Science
摘要
In what does the sense of a sentential connective consist? Like many others, I hold that its sense lies in rules that govern deductions. In the present paper, however, I argue that a classical logician should take the relevant deductions to be arguments involving affirmative or negative answers to yes-or-no questions that contain the connective. An intuitionistic logician will differ in concentrating exclusively upon affirmative answers. I conclude by arguing that a well known intuitionistic criticism of classical logic fails if the answer 'No' is accorded parity with the answer 'Yes'.