A 4-valued logic of strong conditional
South American Journal of Logic 3 (1):59-86 (2018)
Abstract
How to say no less, no more about conditional than what is needed? From a logical analysis of necessary and sufficient conditions (Section 1), we argue that a stronger account of conditional can be obtained in two steps: firstly, by reminding its historical roots inside modal logic and set-theory (Section 2); secondly, by revising the meaning of logical values, thereby getting rid of the paradoxes of material implication whilst showing the bivalent roots of conditional as a speech-act based on affirmations and rejections (Section 3). Finally, the two main inference rules for conditional, viz. Modus Ponens and Modus Tollens, are reassessed through a broader definition of logical consequence that encompasses both a normal relation of truth propagation and a weaker relation of falsity non-propagation from premises to conclusion (Section 3).
Keywords
Categories
(categorize this paper)
PhilPapers/Archive ID
SCHAVL-4
Upload history
Archival date: 2019-03-08
View other versions
View other versions
Added to PP index
2019-03-08
Total views
109 ( #36,647 of 56,029 )
Recent downloads (6 months)
34 ( #23,268 of 56,029 )
2019-03-08
Total views
109 ( #36,647 of 56,029 )
Recent downloads (6 months)
34 ( #23,268 of 56,029 )
How can I increase my downloads?
Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.