• Nonsense
    8
    I understand that counterfactual reasoning is faulty is the sense that a TRUE consequent can’t follow from a FALSE antecedent.

    e.g. If I was lizard then I would like flies

    Nothing that can be said to be true could follow from “If I was a lizard” since it is not the case that I am a Lizard.

    How can this be reconciled with counterfactuals propositions that take a tautological form in which case they must always be true.

    e.g. If I was taller than you then I would be taller than you.

    Is the above statement false because of its counterfactual nature or true because of its tautological nature? Or Is it neither?

    How about a less purely tautological but still intuitively true statement like

    If I was taller than you, then you would be shorter than I.
  • TheMadFool
    13.8k
    I understand that counterfactual reasoning is faulty is the sense that a TRUE consequent can’t follow from a FALSE antecedent.

    e.g. If I was lizard then I would like flies

    Nothing that can be said to be true could follow from “If I was a lizard” since it is not the case that I am a Lizard.

    How can this be reconciled with counterfactuals propositions that take a tautological form in which case they must always be true.

    e.g. If I was taller than you then I would be taller than you.

    Is the above statement false because of its counterfactual nature or true because of its tautological nature? Or Is it neither?

    How about a less purely tautological but still intuitively true statement like

    If I was taller than you, then you would be shorter than I.
    Nonsense

    I think counterfactual thinking works in math. If x > 3 then it follows that x > 2 and if x > -5 then it follows that x > -15. There's a necessary logical connection required though between what the assumption is and what it entails.
  • Nonsense
    8
    I don't believe the examples you present to be a counterfactual cases. A counterfactual as I understand it is a statement with a FALSE antecedent and TRUE consequent. I might be missing something... As I understand it what you have presented are examples of logical induction.

    I would also say that counterfactual thinking would never work in maths, in so far as the thinking was useful. I'm not sure about that either... This is all very new to me, so I could have it all wrong.
  • sime
    1k
    First start with the notion of material-implication:

    Classically, A=>B means that if A is true then B is true,and is equivalent to NOT A is True OR B is True.
    Constructively, A=>B only means that a proof of B can be derived from a proof of A, and says nothing about the actual truth or provability of A or B.

    The classical interpretation of material implication would say that you cannot be a lizard because you don't like flies, which shouldn't be problematic to assert, assuming that we live in a closed world containing a finite number of lizards that we can count in order to check their taste for flies.

    But in the event we live in an open world containing a potentially infinite number of lizards, the classical interpretation runs into a problem in that the truth of A=>B can never be verified, implying that A=>B can never be asserted. And yet we do use conditionals without assuming that we live in finite closed worlds, which indicates our actual use of material implication is constructive rather than classical. For example, our definition as to what a lizard is includes the fact it eats flies, and therefore A=>B becomes somewhat tautologous.
  • TheMadFool
    13.8k
    I don't believe the examples you present to be a counterfactual cases. A counterfactual as I understand it is a statement with a FALSE antecedent and TRUE consequent. I might be missing something... As I understand it what you have presented are examples of logical induction.

    I would also say that counterfactual thinking would never work in maths, in so far as the thinking was useful. I'm not sure about that either... This is all very new to me, so I could have it all wrong.
    Nonsense

    Sorry, seems like I was barking up the wrong tree. Is a counterfactual exclusively a truth value state of the logical material conditional (false antecedent, true consequent). If it is then don't we encounter it every time we build a truth value table for a conditional statement in an argument?

    How about if I say something like "If I am a lizard then I don't have gills"? The true consequent necessarily follows from the false antecedent. This is what I meant when I said there has to be a necessary logical connection between the falsity of the antecedent and truth of the consequent.
  • Frank Apisa
    2.1k
    You are reasoning in the conditional subjunctive (although not writing in it)...and anything derived from the conditional subjunctive is itself conditional.

    In a sense, it can be true and not faulty.

    That is almost what logic is about.

    There is an "understood" (the conditional) element:

    (IF) a = b...

    ...and (IF) b = c...

    ...then a = c.
  • SophistiCat
    2.2k
    I think you are conflating two different senses of counterfactual:

    1. (adjective) Relating to or expressing what has not happened or is not the case

    2. (noun) A counterfactual conditional statement

    A counterfactual as I understand it is a statement with a FALSE antecedent and TRUE consequent.Nonsense

    Not necessarily. Let's take your example: If I was lizard then I would like flies

    A = I am a lizard
    B = I like flies
    C = A -> B (your example above)

    Here both A and B are counterfactual, and therefore false. However, C - the counterfactual conditional statement - is true (at least that's the conventional interpretation).
  • Nonsense
    8
    I think you are conflating two different senses of counterfactual:SophistiCat

    Yes, that is exactly what I was doing. Thank you for pointing this out.
  • Nonsense
    8
    This comment was most instructive, Thanks
  • Nonsense
    8
    You are reasoning in the conditional subjunctive (although not writing in it)....Frank Apisa

    This was part of the issue. These concepts are new to me and I'm prone to thinking further ahead than my understating would permit. Leading me to err.

    Thanks for the help.
  • Nonsense
    8
    I read your comment and am tempted to answer, but I think you are best of asking someone else. Lest I lead you further astray haha
  • TheMadFool
    13.8k
    I read your comment and am tempted to answer, but I think you are best of asking someone else. Lest I lead you further astray hahaNonsense

    I'm already quite far from where I want to be. You probably won't make it worse. Why not send the man lost and thirsty in the desert towards a mirage. Something is better than nothing, right?
  • Metaphysician Undercover
    12.3k
    Why not send the man lost and thirsty in the desert towards a mirage.TheMadFool

    Give the man a parable and send him on his way. At least that's better than giving him a counterfactual.
bold
italic
underline
strike
code
quote
ulist
image
url
mention
reveal
youtube
tweet
Add a Comment

Welcome to The Philosophy Forum!

Get involved in philosophical discussions about knowledge, truth, language, consciousness, science, politics, religion, logic and mathematics, art, history, and lots more. No ads, no clutter, and very little agreement — just fascinating conversations.