Repository URL:
Carsten Held
Most Recent Tweet View All Tweets
preprint description
For an indicative conditional to be true it is not generally sufficient that its antecedent be false or its consequent true. I propose to analyse such a conditional as strong, i.e. as containing a tacit quantification over a domain of possible situations, with the if-clause specifying that domain such that the conditional gets assigned the appropriate truth conditions. Now, one definition of logical consequence proceeds in terms of a natural-language conditional. Interpreting it as strong leads to a paraconsistent consequence relation, though the motivation behind it is not to reason coherently about contradictions but to reason entirely without them.

This preprint has 0 Wikipedia mention.