A 4-valued logic of strong conditional

South American Journal of Logic 3 (1):59-86 (2018)
Download Edit this record How to cite View on PhilPapers
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).
PhilPapers/Archive ID
Upload history
Archival date: 2019-03-08
View other versions
Added to PP index

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.