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
Revision history
Archival date: 2019-03-08
View upload history
References found in this work BETA
A Theory of Conditionals.Stalnaker, Robert
On Referring.Strawson, P. F.
Truth.Dummett, Michael

View all 18 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index

Total views
68 ( #36,544 of 47,287 )

Recent downloads (6 months)
36 ( #22,142 of 47,287 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.