tag:blogger.com,1999:blog-3891434218564545511.post8151683857538032098..comments2024-03-27T20:37:09.185-05:00Comments on Alexander Pruss's Blog: Closure of what is knowable a prioriAlexander R Prusshttp://www.blogger.com/profile/05989277655934827117noreply@blogger.comBlogger4125tag:blogger.com,1999:blog-3891434218564545511.post-53387068120803028052014-02-12T16:16:47.932-06:002014-02-12T16:16:47.932-06:00Maybe.
But if we draw the line there, then the ...Maybe. <br /><br />But if we draw the line there, then the Peano axioms end up on the non a priori side of the line, since they assert that there is a natural number 0 and that every natural number has a successor. And even 0=0 will then be on the non a priori side, since it entails the existence of 0. (I guess one can have a weaker claim in a non-free logic: if there is a 0, then 0=0.)<br /><br />All this isn't perhaps much of a problem for me since I'm a structuralist about mathematics. Alexander R Prusshttps://www.blogger.com/profile/05989277655934827117noreply@blogger.comtag:blogger.com,1999:blog-3891434218564545511.post-37444037879347376362014-02-12T16:05:02.437-06:002014-02-12T16:05:02.437-06:00Well, it seems there is a qualitative difference b...Well, it seems there is a qualitative difference between axioms which are existence-entailing (entail the existence of some abstract entity, or more generally, entail the existence of anything at all) and those which do not. It seems that there is a qualitative difference, for example, between the axiom of extensionality, which merely says that any sets x and y are identical iff all the same things stand in the set-membership relation to them but does not logically entail that there are any sets, and the axiom of infinity, which logically entails the existence of sets. Generally, one might say: where S logically/conceptually entails the existence of a certain sort of thing (or anything at all), then S is not conclusive a priori. (I might know with absolute certainty, via introspection, that a thinker exists, but this is not a priori knowledge.)<br /><br />This is not to say that we should be absolutely certain in the non-existence-entailing mathematical axioms. (Perhaps if it turns out that there are no sets, then it would turn out that the set-membership predicate is meaningless, and so statements involving it, like the axiom of extensionality, are without truth value.) It's just to say that it may be possible to find a principled divide in this territory.Brian Cutterhttps://www.blogger.com/profile/17059155559949747916noreply@blogger.comtag:blogger.com,1999:blog-3891434218564545511.post-12622828819482436122014-02-12T13:32:50.159-06:002014-02-12T13:32:50.159-06:00Good point with regard to Chalmers.
But on the ma...Good point with regard to Chalmers.<br /><br />But on the mathematics side, there is pretty much an epistemic continuum between the axioms of Peano arithmetic (which most people are pretty confident of, though there may be issues about the exact version of induction to be used) and the continuum hypothesis (say). I really doubt there is going to be a qualitative difference somewhere along that line. Moreover, judging by some MathOverflow discussions, there are mathematicians who wouldn't be very surprised to find that ZF is inconsistent, and hence that one of the seemingly uncontroversial axioms isn't true.<br /><br />And do we have any reason to think there are *any* claims that are conclusively a priori, except maybe obvious tautologies? Presumably closure holds for the conclusively a priori. Yet we may be pretty confident that bachelors are unmarried and that what is known is believed, but once you conjoin a thousand such claims, our rational confidence in the conjunction should not be all that high.Alexander R Prusshttps://www.blogger.com/profile/05989277655934827117noreply@blogger.comtag:blogger.com,1999:blog-3891434218564545511.post-39021081090910938042014-02-12T11:56:50.444-06:002014-02-12T11:56:50.444-06:00It's not clear if Chalmers should be bothered ...It's not clear if Chalmers should be bothered by the failure of closure for a priori knowledge. Chalmers distinguishes between the *conclusive a priori* and the *inconclusive a priori*, where the latter corresponds more-or-less to what Hawthorne calls the "deeply contingent a priori." (Paradigm case: Suppose I know p on the basis of induction, where E is my total inductive base. Then the material conditional E-->p should be a priori. But since induction is an ampliative form of inference, certainty in E-->p would be inappropriate.) When Chalmers makes heavy philosophical use out of the notion of the a priori (e.g. in defining primary-intension truth-at-a-(centered)-world, in defining negative conceivability, in defining scrutability, etc.), he makes clear that the operative notion of the a priori is the *conclusive* a priori. He might just be able to take your arguments as showing that we can only have inconclusive a priori knowledge of (certain) mathematical truths. <br /><br />All that said, he normally puts mathematical truths on the side of the conclusive a priori. And it might screw up some of his projects if he were to drop this assumption. For example, he defines primary-intension truth-at-a-centered-world (w, i) roughly as follows: Let D(w, i) be the "canonical description" of w, understood as a conjunction of D(w)-- the set of all truths about w couched in neutral (non-twin-earthable) vocabulary-- with D(i), a specification of the center of the form "I am the F," where F is a neutral, uniquely identifying description of the center. Then S is true at (w,i) iff the conditional D(w,i)-->S is a priori conclusive. Given that mathematical truths are couched solely in neutral vocabulary, it will follow that mathematical truths have a necessary primary intension. But your remarks in this post suggest that some mathematical truths are conceivably false. But then we have a "strong necessity," i.e. a sentence S which is not a priori certain but which has a necessary primary intension. This is a problem, because the prohibition on strong necessities is one of the central planks in his zombie argument (and his whole 2D system, for that matter). Brian Cutterhttps://www.blogger.com/profile/17059155559949747916noreply@blogger.com