tag:blogger.com,1999:blog-3891434218564545511.post8627282891569813933..comments2024-03-28T19:56:42.305-05:00Comments on Alexander Pruss's Blog: Material conditionalsAlexander R Prusshttp://www.blogger.com/profile/05989277655934827117noreply@blogger.comBlogger5125tag:blogger.com,1999:blog-3891434218564545511.post-90948831440619638312009-02-04T09:54:00.000-06:002009-02-04T09:54:00.000-06:00Well, let's suppose Frizzy has the property that h...Well, let's suppose Frizzy has the property that he utters sentences in pairs such that that he either believes both or he believes neither. In that case, the truth of the material conditional is not sufficient to ensure that Frizzy can utter the two sentences in order.Alexander R Prusshttps://www.blogger.com/profile/05989277655934827117noreply@blogger.comtag:blogger.com,1999:blog-3891434218564545511.post-17989594051063356662009-02-03T09:29:00.000-06:002009-02-03T09:29:00.000-06:00Right, but this works for a general claim about in...Right, but this works for a general claim about indicative conditionals <I>only if</I> there really are Frizzy beliefs, in some Frizzy belief system, that correspond to every indicative conditional in every possible world. What Frizzy does is show that you can guarantee a truth condition match between indicative conditionals and material conditionals <I>if</I> there are systems that automatically correlates the two by guaranteeing that every indicative conditional has a corresponding Frizzy-like material conditional with the same truth conditions. (All this is assuming, of course, that modus ponens is indefeasible for all types of indicative conditionals.) But a constructivist about indicative conditionals would likely agree with this; Frizzy-like systems are just a way of constructing material conditional truth tables. But on a constructivist view like the one mentioned previously, not all indicative conditionals need have a complete truth table in every use (although they would perhaps have a truth value in every use), and those that don't (1) can't be logically equivalent to material conditionals, which would require a complete truth table; and (2) can be matched with any other Tp,Tq=T truth table by positing a different Frizzy system with different rules. I suppose you could be assuming that we shouldn't be constructivists about indicative conditionals; I think that would make the argument tighter, although it adds another disjunct to the disjunction. Or do you think there is some reason it would be impossible to have a Frizzy system isomorphic to a biconditional or a TFTF (e.g.) truth table?Brandonhttps://www.blogger.com/profile/06698839146562734910noreply@blogger.comtag:blogger.com,1999:blog-3891434218564545511.post-54076965460573704402009-02-02T22:24:00.000-06:002009-02-02T22:24:00.000-06:00Brandon:I am nto sure your first set of comments w...Brandon:<BR/><BR/>I am nto sure your first set of comments works given the structure of the argument. The structure is this: Take a weakly earthly indicative conditional. Move to a world w* that contains Frizzy. Show that in w*, the truth-conditions for the conditional match the material conditional. I think you may be agreeing with me here. Then move back to the actual world, and note that the truth-conditions had better be the same because of the weakly-earthly condition.Alexander R Prusshttps://www.blogger.com/profile/05989277655934827117noreply@blogger.comtag:blogger.com,1999:blog-3891434218564545511.post-18278405305021705332009-02-02T17:42:00.000-06:002009-02-02T17:42:00.000-06:00First, observe that if the material conditional is...<I>First, observe that if the material conditional is false, so is "If p, then q", since otherwise modus ponens wouldn't work.</I><BR/><BR/>Oh, and I also wanted to suggest that this is perhaps misleading. For modus ponens to work, there is only two conditions that have to obtain on the truth table, namely that Tp,Tq is true and Tp,Fq is false. But this is consistent with more than one truth table, only one of which belongs to the material conditional. Even if you meant implicitly to include modus tollens, that adds only one other line of the truth table, Fq yields Fp. But this is consistent with two different truth tables: one in which Fp,qT is false and one in which it is true. Only the latter is the material conditional. The former is the biconditional. (And the biconditional is not logically equivalent to the material conditional; so if there are indicative conditionals that are logically equivalent to biconditionals, there are indicative conditionals that are not logically equivalent to material conditionals.)Brandonhttps://www.blogger.com/profile/06698839146562734910noreply@blogger.comtag:blogger.com,1999:blog-3891434218564545511.post-19974335241296956892009-02-02T17:16:00.000-06:002009-02-02T17:16:00.000-06:00I don't quite see this. What you've shown is that ...I don't quite see this. What you've shown is that there is at least one type of indicative conditional (namely, the sort that you use to describe the Frizzy rules, which are truth functional) are logically equivalent to the corresponding material conditional (or has no truth value) under certain conditions (namely, (a) that modus ponens is an indefeasible rule of inference for that particular kind of conditional; and (b) that the conditional describes a situation precisely analogous in structure to Frizzy's belief system); this is far and away removed from showing that all indicative conditionals are logically equivalent to their corresponding material conditionals (or lack truth values) simpliciter. And, indeed, I think it is a very complicated way of saying something that is trivially true; Frizzy's an elaborate way to guarantee that the indicative conditional in question simply describes the material conditional truth table. To put it in other terms: if we took indicative conditionals not to be material conditionals but instructions for constructing truth tables (which is one possible way to treat them in constructivist terms), all you would have shown is that indicative conditionals construct a material conditional truth table when combined with the rules governing Frizzy's belief system; but that doesn't mean that all indicative conditionals with truth values are logically equivalent to material conditionals. It would just mean that there are possible cases where they would be (which isn't very surprising).Brandonhttps://www.blogger.com/profile/06698839146562734910noreply@blogger.com