tag:blogger.com,1999:blog-46672885838304932712024-03-13T18:53:00.313-07:00Philosophy in ProgressA research blog with a focus on philosophy of math.Sharon Berryhttp://www.blogger.com/profile/17434076853502881274noreply@blogger.comBlogger120125tag:blogger.com,1999:blog-4667288583830493271.post-24383280723038526312018-04-01T06:19:00.002-07:002018-04-01T06:34:51.578-07:00The Access Problem for Holes<i>[Hello to anyone out there!</i><br />
<i><br /></i>
<i>Project: exposure therapy for my fear of posting sloppy/confusing stuff to this blog continues. So uh... sorry. I hope to return to regularly posting polished content soon.]</i><br />
<br />
One of the least popular aspects of my philosophy of mathematics is what I call Moderate Quantifier Variance. So I thought I'd explain one reason why I'm such a big fan of this view (and why I think you should be too) which has nothing to do with philosophy of mathematics.<br />
<br />
<br />
<u><b>The Access Problem for Holes</b></u><br />
<br />
Consider our knowledge of holes. As discussed in D and S Lewis' On Holes, it's appealing take holes to be distinct from things like the air inside them, portions of the matter that `hosts' (e.g. portions of cheese with some diameter aronud a hole in Swiss cheese).<br />
<br />
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjeBd5NgbUXjZJGVhHNWo1GoiYPo_ljx8kukGNRcbEicjn4heWfm9bHrd32DRo5Rvz1v28ki_CqgXibN1Go-G9p1OrnqZQYyg70ecvi5fODnq8vkEH5yxhz-O7M566TMvCa1nvyKjvBCarc/s1600/Swiss_cheese.jpg" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="333" data-original-width="500" height="213" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjeBd5NgbUXjZJGVhHNWo1GoiYPo_ljx8kukGNRcbEicjn4heWfm9bHrd32DRo5Rvz1v28ki_CqgXibN1Go-G9p1OrnqZQYyg70ecvi5fODnq8vkEH5yxhz-O7M566TMvCa1nvyKjvBCarc/s320/Swiss_cheese.jpg" width="320" /></a></div>
<br />
<br />
We seem to know how deeply a piece of cheese must be indented in order for there to count as being a hole in that piece of cheese. But (to a crazy philosopher, for a second) this knowledge can seem rather mysterious. For our senses tell us how the cheese is distributed through space. But how do we know where to draw the line: re how shallow a hole can be? No sensory experience seems to point out a single metaphysically special place to draw the line. So how can one explain the match between human beliefs about how shallow a hole can be and objective matters of facts?<br />
<br />
It's appealing to say: there's no mystery about human accuracy here because if we had used `hole' differently (by taking the minimum hole angle to be larger or smaller) then the meanings of our words would have been different so these alternative hole-identifying practices would have yeilded true utterances. But since variant practices of "hole" individuation can require change in sentences whcih don't even use the word hole (e.g. a purely logical sentence like the Fregean paraphrase for `there are >3000 things' can go from true to false). So it seems plausible that allowing such changes in meaning requires allowing variant meanings for logical vocabulary like ``there is'' as well as in the meaning of ``hole''.<br />
<br />
So I think a great way to solve this `access problem for holes'' is to accept<br />
<br />
<b>Moderate Quantifier Variance</b>: there are multiple existential quantifier like meanings which the words `there is' can take on in different ideolects, (say English_1910, English_2010 etc.), though within any particular ideolect `there is' is univocal.<br />
<br />
<ul>
<li>These meanings are `quantifier like' in the sense that they obey the all instances of standard first order logical inferential rules/axioms for `exists' (within the language they belong to). </li>
<li>If there is a single maximally natural quantifier sense (as e.g. Sider thinks there is corresponding to our talk about `what there is' takes on when doing ontology), these variant quantifier senses need not be mere quantifier restrictions of this fundamental sense. </li>
</ul>
I like to use Moderate Quantifier Variance to explain/vindicate the freedom mathematicians take themselves to have to introduce new logically coherent structures for study, by saying that when mathematicians consistently extend the axioms of pure mathematics by adding axioms describing some new mathematical structures like the complex numbers, their words can both give meaning to expressions like `complex number' and also change the meaning of `there is', so that these axioms express truths.<br />
<br />
But whatever you say about math, I think moderate quantifier variance is already useful for understanding our knowledge of swiss cheese!<br />
<div>
<br /></div>
Sharon Berryhttp://www.blogger.com/profile/14491499559347065308noreply@blogger.com10tag:blogger.com,1999:blog-4667288583830493271.post-33383861011220036542017-10-31T08:35:00.000-07:002017-10-31T10:41:00.993-07:00How Not to Title your DissertationSo I just had to look up my official dissertation title on my grad school's website and....well, here's a little piece of advice I would give to my past self. (The 'do' example comes from the excellent <a href="https://philosophy.princeton.edu/content/johann-frick">Johann Frick</a>)<br />
<div style="text-align: center;">
<a href="https://commons.wikimedia.org/wiki/File%3AMoH%26H_title.jpg" style="text-align: center;" title="William Blake [Public domain], via Wikimedia Commons"><img alt="MoH&H title" src="https://upload.wikimedia.org/wikipedia/commons/thumb/e/ea/MoH%26H_title.jpg/256px-MoH%26H_title.jpg" width="256" /></a></div>
DO<br />
<br />
"'Making People Happy, Not Making Happy People': A Defense of the Asymmetry Intuition in Population Ethics" <-- conveys the core of the view being advocated, what's controversial about it, and why it's appealing, in a punchy and fairly concise way<br />
<br />
DON'T<br />
<br />
<div style="text-align: center;">
<div style="text-align: left;">
"The Marriage of Rationalism and Empiricism: A New Approach to the Access Problem." <-- draws attention to question of whether dissertation does anything new in a defensive "protesting too much" way that invites a negative answer, compares self to William Blake and/or God.</div>
</div>
<div style="text-align: center;">
<br /></div>
<div style="text-align: center;">
<br /></div>
Sharon Berryhttp://www.blogger.com/profile/14491499559347065308noreply@blogger.com3tag:blogger.com,1999:blog-4667288583830493271.post-20646296646998342842017-10-29T01:57:00.000-07:002017-11-01T21:39:20.577-07:00Access to reference magnets: a bitter pill you’ve already swallowed?<div dir="ltr" style="line-height: 1.38; margin-bottom: 0pt; margin-top: 0pt;">
<span style="background-color: transparent; color: black; font-family: "arial"; font-size: 11pt; font-style: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;"> </span><i>[This post proposes a defense of a famous defense of naive scientific realism against a famous antirealist challenge. So, sorry that I'll have to speed through certain classics to get to the action in a timely fashion (and I'll try to add explanatory links later). </i></div>
<div dir="ltr" style="line-height: 1.38; margin-bottom: 0pt; margin-top: 0pt;">
<i><br /></i></div>
<div dir="ltr" style="line-height: 1.38; margin-bottom: 0pt; margin-top: 0pt;">
<i>Also, Ted Sider may have scooped me re: this proposal in Writing the Book of the World section 3.2 (I go back and forth about how to interpret him). But, regardless of priority, I'm shouting about it on the internet now because I'd like to see more uptake.]</i></div>
<div style="text-align: center;">
<br /></div>
<div dir="ltr" style="line-height: 1.38; margin-bottom: 0pt; margin-top: 0pt;">
<span style="background-color: transparent; color: black; font-family: "arial"; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;"> Hillary Putnam raised a model theoretic challenge to the commonplace realist idea that `even in the ideal limit of scientific investigation' certain aspects of our best theory of the world could be wrong. </span><span style="color: black; font-family: "arial"; font-size: 11pt; vertical-align: baseline; white-space: pre-wrap;">David Lewis responded by invoking "reference magnets" (i.e., intrinsically eligible concepts/joints in nature) as a response to this challenge. The idea is that some concepts are more intrinsically eligible candidates for the meaning of words than others. So, it can be correct to interpret someone as meaining </span><span style="font-family: "arial"; font-size: 11pt; white-space: pre-wrap;">plus vs Kripke's quus, or electron vs. electron-that-an-ideal-observer-starting-on-earth-could-discover, even if this involves attributing them slightly more false beliefs. </span></div>
<div dir="ltr" style="line-height: 1.38; margin-bottom: 0pt; margin-top: 0pt;">
<span style="background-color: transparent; color: black; font-family: "arial"; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;"><br /></span></div>
<div dir="ltr" style="line-height: 1.38; margin-bottom: 0pt; margin-top: 0pt;">
<span style="background-color: transparent; color: black; font-family: "arial"; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">Swinging back on behalf of Putnam, Tim Button and Jared Warren press a kind of access problem for fans of reference magnets. Suppose that there really are intrinsically eligible joints in nature as Lewis argues. How could creatures like us have come to recognize where these joints are, well enough to know when there is a single reference magnetic joint for our use of some word to defer to?</span><br />
<div style="text-align: center;">
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEj_bp68kMdsErylbnAYW2fZPCR6YJIixP6Y7lZArXUrOpHLpQ5oOQs5ZMvqC2GmQBV-9DwepTMOSiuGBOtddGErgnnTU65_MgXdPqL05GNTLOo_7rPiYFwVKUvUpdwhszgaLnaRr6TvV26B/s1600/Emerald_rough_300x422.jpg" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="422" data-original-width="300" height="320" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEj_bp68kMdsErylbnAYW2fZPCR6YJIixP6Y7lZArXUrOpHLpQ5oOQs5ZMvqC2GmQBV-9DwepTMOSiuGBOtddGErgnnTU65_MgXdPqL05GNTLOo_7rPiYFwVKUvUpdwhszgaLnaRr6TvV26B/s320/Emerald_rough_300x422.jpg" width="227" /></a></div>
<br /></div>
</div>
<div dir="ltr" style="line-height: 1.38; margin-bottom: 0pt; margin-top: 0pt;">
<span style="background-color: transparent; color: black; font-family: "arial"; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">I think this challenge is worth taking seriously and may point out a bitter pill* which the realist/friend of reference magnetism must swallow.</span><span style="color: black; font-family: "arial"; font-size: 11pt; vertical-align: baseline; white-space: pre-wrap;"> </span><span style="font-family: "arial"; font-size: 11pt; white-space: pre-wrap;">But I want to suggest that </span><i style="font-family: arial; font-size: 11pt; white-space: pre-wrap;">this bitter</i><span style="font-family: "arial"; font-size: 11pt; white-space: pre-wrap;"> pill may already be part of the </span><i style="font-family: arial; font-size: 11pt; white-space: pre-wrap;">larger bitter pill nearly everyone has already swallowed</i><span style="font-family: "arial"; font-size: 11pt; white-space: pre-wrap;"> in taking our intuitions about how to do scientific induction at face value. That is, accepting reference magnets doesn't land us with any more of an access problem than we already face in rejecting Humean skepticism about induction. </span><br />
<span style="font-family: "arial"; font-size: 11pt; white-space: pre-wrap;"><br /></span></div>
<div dir="ltr" style="line-height: 1.38; margin-bottom: 0pt; margin-top: 0pt;">
<span style="background-color: transparent; color: black; font-family: "arial"; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">To see what I mean, consider Nelson Goodman's picture of scientific induction. When we do scientific induction, we don't treat all concepts equally. We currently take some predicates (and relations and functions etc) to be more projectable than others, e.g., green v.s grue. And (Goodman notes) we do a kind of induction about how to do induction, letting experience and reflection change our beliefs about which predicates are projectable. So (in effect) we dogmatically presume both that certain predicates are more projectable than others, and that that certain ways of letting experience change our beliefs about which predicates are projectable are reliable. And </span><span style="font-family: "arial"; font-size: 11pt; white-space: pre-wrap;">plausibly, taking scientific induction at face value requires doing <i>something</i> like this. </span></div>
<div dir="ltr" style="line-height: 1.38; margin-bottom: 0pt; margin-top: 0pt;">
<span style="font-family: "arial"; font-size: 11pt; white-space: pre-wrap;"><br /></span></div>
<div dir="ltr" style="line-height: 1.38; margin-bottom: 0pt; margin-top: 0pt;">
<span style="font-family: "arial"; font-size: 11pt; white-space: pre-wrap;">But maybe the friend of reference magnets can say that access to these facts about what's joint carving (in the sense of being specially friendly to induction) is all they need for access to reference magnets. If the reference-magnet-fan's doctrine<b> identifies being an intrinsically eligibile concept in the sense of reference magnetism with being an intrinsically eligible concept for the purposes of scientific induction</b> (as, e.g. Sider does and I essentially want to**), then it seems that accepting this doctrine create any <i>extra</i> intuitive access worries. </span><br />
<span style="font-family: "arial"; font-size: 11pt; white-space: pre-wrap;"><br /></span>
<span style="font-family: "arial"; font-size: 11pt; white-space: pre-wrap;"><br /></span>
<span style="font-family: "arial"; font-size: 11pt; white-space: pre-wrap;"><br /></span>
<span style="font-family: "arial"; font-size: 11pt; white-space: pre-wrap;"><span style="font-family: "arial"; font-size: 11pt;">*[i.e., </span><span style="font-family: "arial"; font-size: 14.6667px;">Perhaps they must embrace a rather depressing picture of the human condition, on which `justified’ reasoning (to the extent that we have any such thing) involves going along dogmatically assuming that certain methods for detecting intrinsically eligible concepts/reference magnets are tolerably accurate (and then being lucky enough to be right about this)]</span></span><br />
<span style="font-family: "arial"; font-size: 11pt; white-space: pre-wrap;"><br /></span></div>
<div dir="ltr" style="line-height: 1.38; margin-bottom: 0pt; margin-top: 0pt;">
<span style="font-family: "arial"; font-size: 14.6667px; white-space: pre-wrap;">**[I think one tiny refinement answering Hawthorne's problem about Europe and the Ural Mountains discussed on pg 39 of WTBOTW is needed, but that this makes no difference to the access problem stuff above. More on this in a later post]</span></div>
Sharon Berryhttp://www.blogger.com/profile/14491499559347065308noreply@blogger.com3tag:blogger.com,1999:blog-4667288583830493271.post-41246525742781896292017-10-28T09:07:00.000-07:002017-11-01T21:40:33.089-07:00Trivializing Benacerraf and Monstrous Moonshine<div dir="ltr" style="line-height: 1.38; margin-bottom: 0pt; margin-top: 0pt;">
<i><span style="background-color: transparent; color: black; font-family: "arial"; font-size: 11pt; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">[note: Sorry that this post is a little wordy. I'm trying to get back into blogging, and forcing myself to post stuff I'm not quite happy with is part of that. Also see <a href="http://www.seberry.org/coincidence-avoidance.pdf">this paper</a> for a way more detailed and less aggro take on this issue.</span><span style="background-color: transparent; color: black; font-family: "arial"; font-size: 11pt; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">]</span></i><br />
<span style="background-color: transparent; color: black; font-family: "arial"; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;"><br /></span>
<span style="background-color: transparent; color: black; font-family: "arial"; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">Remember that the access problem (aka the Benacerraf problem) for realists goes something like this: </span><span style="font-family: "arial"; font-size: 11pt; white-space: pre-wrap;">If moral/mathematical/etc realism is true, how can human accuracy and reliability about moral/mathematical facts be anything but a miracle or a mystery?</span></div>
<br />
<div dir="ltr" style="line-height: 1.38; margin-bottom: 0pt; margin-top: 0pt;">
<span style="background-color: transparent; color: black; font-family: "arial"; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">People like Justin Clarke-Doane and perhaps David Enoch, (call them The Trivializers) have been suggesting that we can answer all legitimate access worries besetting for realists about necessary domains like mathematics morals etc. just by “stapling together” two things to explain why we couldn't have easily been wrong (and providing a similarly trivial explanation for the sensitivity of our I won't discuss here): </span><br />
<ul>
<li><span style="color: black; font-family: "arial"; font-size: 11pt; vertical-align: baseline; white-space: pre-wrap;">a</span>n explanation (e.g.historical or evolutionary) for why we reliably believe certain moral/mathematical/etc claim,</li>
<li>the fact that these claims are necessary truths</li>
</ul>
</div>
<div dir="ltr" style="line-height: 1.38; margin-bottom: 0pt; margin-top: 0pt;">
<span style="background-color: transparent; color: black; font-family: "arial"; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">So, for example, a classic platonist might try answer access worries by explaining human reliability about mathematics</span><span style="font-family: "arial"; font-size: 11pt; white-space: pre-wrap;"> like so:</span></div>
<b style="font-weight: normal;"><br /></b>
<br />
<blockquote class="tr_bq" style="line-height: 1.38; margin-bottom: 0pt; margin-top: 0pt;">
<span style="background-color: transparent; color: black; font-family: "arial"; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">TRIV: Mathematicians reliably believe truths because they reliably believe only those mathematical claims which can be proved in a certain formal system (e.g. ZFC) and this formal system is (necessarily) truth preserving w.r.t. the platonic mathematical objects.</span></blockquote>
<b style="font-weight: normal;"><br /></b>
<br />
<div dir="ltr" style="line-height: 1.38; margin-bottom: 0pt; margin-top: 0pt;">
<span style="background-color: transparent; color: black; font-family: "arial"; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">Such an explanation is not likely to satisfy anyone who feels an intuitive access worry. For TRIV just explains </span><span style="background-color: transparent; color: black; font-family: "arial"; font-size: 11pt; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;"><i>one</i></span><span style="background-color: transparent; color: black; font-family: "arial"; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;"> intuitively mysterious match between human psychology and objective which intuitively “cries out for explanation” (our acceptance of </span><span style="background-color: transparent; color: black; font-family: "arial"; font-size: 11pt; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;"><i>theorems</i></span><span style="background-color: transparent; color: black; font-family: "arial"; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;"> that match whats going on in Plato's heaven) by positing </span><span style="background-color: transparent; color: black; font-family: "arial"; font-size: 11pt; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;"><i>another</i></span><span style="background-color: transparent; color: black; font-family: "arial"; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;"> such mysterious match (our acceptance of </span><span style="background-color: transparent; color: black; font-family: "arial"; font-size: 11pt; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;"><i>axioms</i></span><span style="background-color: transparent; color: black; font-family: "arial"; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;"> that match what's going on in Plato's heaven). </span><br />
<span style="font-family: "arial"; font-size: 14.6667px; white-space: pre-wrap;"><br /></span>
<span style="font-family: "arial"; font-size: 14.6667px; white-space: pre-wrap;">But it does (in some sense) suffice to explain the safety of human beliefs by deriving our reliability about realist facts concerning the relevant domain (i.e., that in all close possible worlds, our beliefs about these domains match up with the truth) from more general premises which the realist (if not their deflationary opponents) accepts. </span><br />
<span style="font-family: "arial"; font-size: 11pt; white-space: pre-wrap;"><br /></span><span style="font-family: "arial"; font-size: 11pt; white-space: pre-wrap;">And I take Trivializers to be suggesting that our intuitions that certain regularities involving necessary truths "cry out for" explanation in a deeper/more unified sense, which mere deductions of reliability/safety/sensitivity like TRIV need not provide, is an illusion.</span></div>
<b style="font-weight: normal;"><br /></b>
<br />
<div dir="ltr" style="line-height: 1.38; margin-bottom: 0pt; margin-top: 0pt;">
<span style="background-color: transparent; color: black; font-family: "arial"; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">There are two reasons why I don't buy this. </span><br />
<span style="background-color: transparent; color: black; font-family: "arial"; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;"><br /></span>
<span style="background-color: transparent; color: black; font-family: "arial"; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">First,</span><span style="font-family: "arial"; font-size: 11pt; white-space: pre-wrap;"> conceptually analyzing anything (from tablehood to justice) is infamously hard, but there are plenty of good paradigms for how to think about ”crying out for explanation” which seem to apply equally well to necessary and contingent regularities (e.g., norms that say we should preferring theories that have fewer degrees of freedom and or Kitcher’s idea of scientific explanation as unification). </span></div>
<b style="font-weight: normal;"><br /></b>
<br />
<div dir="ltr" style="line-height: 1.38; margin-bottom: 0pt; margin-top: 0pt;">
<span style="background-color: transparent; color: black; font-family: "arial"; font-size: 11pt; font-style: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">Much more importantly though</span><span style="background-color: transparent; color: black; font-family: "arial"; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">, embracing the Trivializers' position seems to have </span><span style="background-color: transparent; color: black; font-family: "arial"; font-size: 11pt; font-style: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;"><b>deeply implausible revisionary consequences for mathematical practice, </b>since mathematicians sure seem to think that some regularities involving necessary truth truths can cry out for (non-trivial) explanation</span><span style="background-color: transparent; color: black; font-family: "arial"; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">. </span><br />
<span style="background-color: transparent; color: black; font-family: "arial"; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;"><br /></span></div>
<div dir="ltr" style="line-height: 1.38; margin-bottom: 0pt; margin-top: 0pt;">
<span style="background-color: transparent; color: black; font-family: "arial"; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;"> For example, consider this quote from<a href="https://www.scientificamerican.com/article/mathematicians-chase-moonshine-s-shadow/"> a popularizing article</a> about the history of John Conway's `Monstrous Moonshine' conjecture.</span></div>
<blockquote class="tr_bq" style="line-height: 1.38; margin-bottom: 0pt; margin-top: 0pt;">
<b style="font-weight: normal;"><br /></b><span style="background-color: transparent; color: black; font-family: "arial"; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">``Strangely enough, [the j- function]’s first important coefficient is 196,884, which McKay instantly recognized as the sum of the monster’s first two special dimensions.</span><b style="font-weight: normal;"><br /></b><span style="background-color: transparent; color: black; font-family: "arial"; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">Most mathematicians dismissed the finding as a fluke, since there was no reason to expect the monster and the j-function to be even remotely related. However, the connection caught the attention of John Thompson, a Fields medalist now at the University of Florida in Gainesville, who made an additional discovery. The j-function’s second coefficient, 21,493,760, is the sum of the first three special dimensions of the monster: 1 + 196,883 + 21,296,876. It seemed as if the j-function was somehow controlling the structure of the elusive monster group.'’’ </span></blockquote>
<br />
<div dir="ltr" style="line-height: 1.38; margin-bottom: 0pt; margin-top: 0pt;">
<span style="background-color: transparent; color: black; font-family: "arial"; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">Note that mathematicians already had separate proofs of facts about the j-function and monster group (and hence an `explanation' of for the match between these facts of the kind which TRIV provides, i.e., a deduction, from more general premises, of the fact that this relationship holds in all close possible worlds). But (once this match between apparently unrelated domains proved striking enough) they expected to find </span><span style="background-color: transparent; color: black; font-family: "arial"; font-size: 11pt; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;"><i>some further/deeper unifying explanation</i></span><span style="background-color: transparent; color: black; font-family: "arial"; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;"> and this expectation guided choices for further research. </span><br />
<span style="background-color: transparent; color: black; font-family: "arial"; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;"><br /></span>
<span style="background-color: transparent; color: black; font-family: "arial"; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">So I'm prima facie pretty suspicious of the idea that felt intuitive demands for unifying/satisfying/non-trivial explanations of regularities involving necessary truths are generally misguided. But maybe I'm not being charitable to Clarke Doane and/or he can find some way of separating the "this regularity cries out for further explanation" intuitions he wants to dismiss as unreliable from those which obviously do good work in mathematics.</span><br />
<br /></div>
<div dir="ltr" style="line-height: 1.38; margin-bottom: 0pt; margin-top: 0pt;">
<br /></div>
Sharon Berryhttp://www.blogger.com/profile/17434076853502881274noreply@blogger.com2tag:blogger.com,1999:blog-4667288583830493271.post-84654196284637641172016-06-30T02:33:00.003-07:002016-07-01T00:50:10.531-07:00Posthumus Vindication and Newton's Concept of the Derivative<br />
<div class="p1">
In a recent <i>Mind</i> paper, `<a href="http://mind.oxfordjournals.org/content/early/2015/06/20/mind.fzv068">Incomplete Understanding of Concepts: the Case of the Derivative</a>', Sheldon Smith vividly sets up some classic questions about Newton's concept of the derivative, and how later mathematical work can be seen as vindicating Newton.<br />
<br />
However I'm not entirely convinced by Smith's answers to these questions.<br />
<br /></div>
<div class="p1">
<b>Historical Background:</b></div>
<div class="p1">
<br />
[Smith tells us how] Newton and Leibnitz had certain limited beliefs about the derivative<br />
<ul>
<li>that it was "the local rate of change of a function given by the slope of the tangent" so the derivative of x^2 kinda should be 2x</li>
<li>that it was the limit as i goes to 0 of (f(x+i)-f(x))/i, hence derivative of x^2 was [(x+i)^2-x^2]/i which they thought was =(2xi+i^2)/i=2x+i=2x</li>
</ul>
<i>but</i> they did not have a very solid justification for the later reasoning (particularly the presumption that one can divide by i in the claim above).<br />
<br /></div>
<div class="p1">
Since then, mathematicians have defined multiple derivative-like notions which all let one defend reasoning like the above more rigorously, but don't always agree:<br />
<ul>
<li>the usual: the derivative of f(x) is the function f'(x) such that for every epsilon there is an i such that |(f(x+i)-f(x))/i - f'(x)| < epsilon</li>
<li>the symmetric derivative: [like the normal definition but with (f(x+i)-f(x-i))/2i in place of f(x+i)-f(x))/i] (note that when f(x)= |x|, the symmetric derivative is 0 whereas the standard definition is undefined).</li>
<li>a definition using <a href="https://www.math.wisc.edu/~keisler/calc.html">infinitesimals</a></li>
<li>a definition which also can apply to generalized functions like the <a href="https://en.wikipedia.org/wiki/Dirac_delta_function">Dirac delta function</a></li>
</ul>
</div>
<div class="p1">
Furthermore there is a common intuition that, in providing some of the definitions above and proving things with them, mathematicians like Weierstrass "justified [Newton's and Leibnitz's] thoughts" and that Newton and Leibnitz would have felt "vindicated" by subsequent developments of the derivative.</div>
<div class="p1">
<br />
<b>The questions:</b><br />
<br /></div>
<div class="p1">
Now, Smith argues that Newton didn't seem to be using any particular one of these modern concepts of the derivative.</div>
<div class="p1">
</div>
<ul>
<li>Newton didn't (somehow) implicitly have any of these precise concepts in mind, and which definition of limit he would have preferred to adopt (if he had been told about all of them) might vary with which one he found out about first.</li>
<li> There's no single "best sharpening" of what Newton believed/had in mind which must be accepted in limit of ideal science. We just have separate notions of derivative, each of which is mathematically legitimate. Thus we can't say that Newton meant, say, the standard contemporary notion of the derivative because he was conceptually deferring to the results of ideal science.</li>
</ul>
<div class="p1">
So he asks:<br />
<ol>
<li>How `` should [one] think about the derivative concepts with which Newton and Leibniz thought''? </li>
<li> How ``could [Weierstrass] have managed to justify their thoughts even if their thoughts did not involve the same derivative concept as Weierstrass’s''?</li>
</ol>
<br />
<b>Smith's Answers:</b><br />
I take Smith's answers to the above questions to be as follows:<br />
<br /></div>
<div class="p2">
Q1: What was Newton's concept of the derivative [specifically, how does it effect the truth conditions for sentences]?<br />
<br />
A: Newton's concept of the derivative (call it derivative_N) "only has a definite referent" in cases where all acceptable sharpening definitions of his concept agree. So, for example, if the symmetric derivative and the standard derivative were both acceptable sharpenings, then expressions like `the derivative_N of f(x)=|x|' would fail to refer [or, perhaps, would refer to function which is undefined at 0 so that 'the derivative_N of f at 0' would fail to refer].<br />
<br />
Q2: How was Weierstrass able to vindicate Newton, given that his concept of the derivative was different from Newton's?<br />
<br />
A: One can vindicate Newton by justifying particular claims Newton made (e.g., about the derivative of x^2). And one can do this giving a proof of the corresponding claim employing Weierstrass's definition, <i>if it also happens to be the case</i> that all other permissible sharpenings of Newton's notion of the derivative would agree on this claim.<br />
<br /></div>
<div class="p2">
<br />
<b>A Small Objection: </b><br />
<br />
I'm not entirely convinced by Smith's account of Newton's concept (Q1) for various reasons. But even if Smith is right about Q1, I think his answer to the vindication question (Q2) is fairly unsatisfying.<br />
<br />
For suppose (as Smith seems to presume) Weierstrass vindicated Newton by showing the truth of particular claims he made about calculous -- that, say, what he expressed by saying ``the derivative of x^2 is 2x'' was true. If (as Smith's account of Newton's concept seems to tell us) the truth of this claim requires that <i>all </i>acceptable precifications agree in making ``the derivative of x^2 is 2x'' come out true, how can one adequately justify Newton's claim merely by discovering *one* such precificiation and showing that *it* makes the above sentence come out true?<br />
<br />
<b>A fix?</b></div>
<div class="p1">
<br /></div>
<div class="p1">
Maybe Smith could solve this problem (while keeping his account of the concept and the, IMO, good idea that vindicating Newton doesn't require assessing all possible derivative-like notions) as follows.<br />
<br />
Say that "vindicating Newton's thought" in the sense we normally care about (the in the sense that seems to have happened, and that, plausibly, Newton and Weierstrass would have cared about) doesn't require showing that some of Newton's specific mathematical utterances expressed truths. Instead, one can do it just by showing Newton was right to believe some more holistic meta claim like `There is some mathematical notion which makes [insert big collection of collection of core calculous claims and inference methods] all come out true/reliable'.<br />
<br />
<br />
<br />
<br />
<br /></div>
<div class="p1">
<br /></div>
Sharon Berryhttp://www.blogger.com/profile/17434076853502881274noreply@blogger.com2tag:blogger.com,1999:blog-4667288583830493271.post-57088551857940794082016-04-21T22:52:00.000-07:002016-04-24T07:56:14.414-07:00Three Projects Involving Dispensing With Mathematical Objects<b id="docs-internal-guid-d996841f-38fa-9178-303a-a303c9b8e97f" style="font-weight: normal;"><br /></b>
<br />
<div dir="ltr" style="margin-bottom: 0pt; margin-top: 0pt;">
<span style="font-size: 14.6667px; line-height: 20.24px; white-space: pre-wrap;">One of the many unfortunate things about academic fashions is that when a popular project goes out of fashion, superficially similar-looking projects which don't face the same difficulties can be tarred with the same brush.</span><br />
<span style="font-size: 14.6667px; line-height: 20.24px; white-space: pre-wrap;"><br /></span>
<span style="font-size: 14.6667px; line-height: 20.24px; white-space: pre-wrap;">Many people (myself included) feel cautious pessimism about formulating a satisfying nominalist paraphrase of contemporary scientific theories [one major issue is how to make formulate something like probability claims without invoking</span><span style="font-size: 14.6667px; line-height: 20.24px; white-space: pre-wrap;"> abstract-seeming events or propositions</span><span style="font-size: 14.6667px; line-height: 20.24px; white-space: pre-wrap;">]. But we wouldn't want to over generalize. </span><br />
<span style="font-size: 14.6667px; line-height: 20.24px; white-space: pre-wrap;"><br /></span>
<span style="font-size: 14.6667px; line-height: 20.24px; white-space: pre-wrap;"> In this post I'm going to suggest three different motives for seeking to systematically paraphrase our best scientific theories (and many other true and false ordinary claims) in a way that dispenses with quantification over mathematical objects, and note that the requirements for success in the first (ex-fashionable) project are notably laxer in some ways than the requirements for the others.</span><br />
<span style="font-size: 14.6667px; line-height: 20.24px; white-space: pre-wrap;"><br /></span>
<span style="font-size: 14.6667px; line-height: 20.24px; white-space: pre-wrap;">[Note: I don't mean to endorse any of the projects below, but I think that 3 and Burali-Forti based versions of 2 are at least interesting.]</span><br />
<br />
<div style="text-align: center;">
<b>Three Motivations for Paraphrasing Mathematical Objects Out of Physics</b></div>
<ol>
<li><span style="font-size: 14.6667px; line-height: 20.24px; white-space: pre-wrap;"><b>General rejection of abstracta:</b> You deny the existence of mathematical objects because you think allowing any abstract objects are bad. (this is the classic motive)</span></li>
<li><span style="font-size: 14.6667px; line-height: 20.24px; white-space: pre-wrap;"><b>Explaining special features of mathematical practice by rejection of mathematical objects:</b> You deny the existence of mathematical objects because you think that not taking mathematical existence claims at face value is allows for the best account of certain <i>special features of pure mathematical practice</i>, (e.g., by mathematicians’ apparent freedom to choose what objects to talk in terms of/disinterest in mathematical questions that don’t effect interpretability strength, or by the Burali-Forti paradoxes in higher set theory) not to take apparent quantification over mathematical objects at face value. </span></li>
<li><span style="font-size: 14.6667px; line-height: 20.24px; white-space: pre-wrap;"><b>Grounding math in logic/bringing out a claimed special relationship between math and logic: </b>You may allow the existence of mathematical objects, but you’re moved by the close relationship between an intuitive modal notion of coherence/semantic consistency/logical possibility and pure mathematics to seek some kind of shared grounding and think that the coherence/logical possibility notion looks to be the more fundamental. As a result, it seems promising to seek a kind of "factoring" story, which systematically grounds all pure mathematics in facts about logical possibility, and all applied mathematics in some combo of logical possibility and intuitively non-mathematical facts.</span></li>
</ol>
<br />
<span style="font-size: 14.6667px; line-height: 20.24px; white-space: pre-wrap;"><br /></span>
<span style="font-size: 14.6667px; line-height: 20.24px; white-space: pre-wrap;"> Distinguishing these motivations/projects matters, because what you are trying to do influences what ingredients are kosher for use in your paraphrases: </span><br />
<span style="font-size: 14.6667px; line-height: 20.24px; white-space: pre-wrap;"><br /></span>
<span style="font-size: 14.6667px; line-height: 20.24px; white-space: pre-wrap;">If you have the first motivation (defending general nominalism), you need to avoid quantifying over any other abstracta, including: platonic objects called masses or lengths which don’t come with any automatic relationship to numbers, corporations, marriages, sentences in natural languages, metaphysically possible worlds, and (perhaps) propensities. </span><br />
<span style="font-size: 14.6667px; line-height: 20.24px; white-space: pre-wrap;"><br /></span>
<span style="font-size: 14.6667px; line-height: 20.24px; white-space: pre-wrap;">But if you have the second motivation (defending mathematical-nominalism-adopted-to-explain-special-features-of-mathematical-practice), then quantification over abstracta which don’t have the relevant special feature, (e.g., objects in domains where we don't think appear to have massive freedom to choose what objects to talk in terms of or objects which don't give rise to a version of the burali-forti paradox), is fine. </span><br />
<span style="font-size: 14.6667px; line-height: 20.24px; white-space: pre-wrap;"><br /></span>
<span style="font-size: 14.6667px; line-height: 20.24px; white-space: pre-wrap;">And if you have the third motivation, then quantification over any objects which aren’t intuitively mathematical-- or aren't mathematical in whatever way you are claiming requires a special relationship to </span><span style="font-size: 14.6667px; line-height: 20.24px; white-space: pre-wrap;">coherence/semantic consistency/logical possibility</span><span style="font-size: 14.6667px; line-height: 20.24px; white-space: pre-wrap;"> -- is OK.</span><br />
<span style="font-size: 14.6667px; line-height: 20.24px; white-space: pre-wrap;"><br /></span>
<br />
<div style="line-height: 1.38;">
<br /></div>
</div>
Sharon Berryhttp://www.blogger.com/profile/17434076853502881274noreply@blogger.com7tag:blogger.com,1999:blog-4667288583830493271.post-61039385762660424202016-04-19T08:51:00.000-07:002016-04-21T23:04:44.620-07:00Hello World (again)!As you can see, I haven't posted to this blog for ages.<br />
<br />
I've been busy a) enduring the horrors of the job market b) getting a sweet 5 year postdoc (I still can't express how luck and grateful I feel) c) finishing a stack of old papers and d) writing a <a href="http://seberry.org/book/">zillion page monograph to answer a minor technical question about Potentialism and logical possibility which my advisers asked in grad school</a> (and then rewriting all the proofs 3+ times because a grumpy mathematician friend didn't think the prose was clear or concise enough!).<br />
<br />
But now that I have time to focus on new research, I'm thinking it <b>might</b> be fun start blogging again. I'm certainly touched by the number of lurkers who still turn up to check this blog out.<br />
<br />
Let's see how things go!Sharon Berryhttp://www.blogger.com/profile/17434076853502881274noreply@blogger.com8tag:blogger.com,1999:blog-4667288583830493271.post-5978231645109672112016-04-18T04:12:00.001-07:002016-06-28T13:19:34.415-07:00Art and the Examined Life1.<br />
It's a common thought that works of art can (somehow) imaginatively suggest different ways of approaching and experiencing the objective world around us. For example, a character in Rebecca Goldsmith's curious novel <i>The Mind Body Problem</i> says<br />
<br />
<blockquote class="tr_bq">
``The interesting thing about art is your being presented with another's point of view, looking out at the world from his perspective, seeing the dreaminess of Renoir's world the clarity of Vermeer's, the solemnity of Rembrandt's, the starkness of Wyreth's.''</blockquote>
<br />
Some philosophers and literary scholars have suggested that engaging with such works of art is valued/valuable because it helps us understand and sympathize with other possible points of view (whether these really were occupied by specific artists or not) -- and might thereby make us nicer to people. Art experiences might make us more inclined to try to be nice because we are more sympathetic to certain people, and they might make us better at actually doing nice things because we understand these people better.<br />
<br />
But (to my knowledge) there's no clear empirical or folk-psychological case that having deep artistic experiences <i>does</i> make people significantly nicer. And I'm inclined to be skeptical. There's a funny line in C.S. Lewis somewhere about how any inclination to think that art makes people more virtuous will be dispelled by asking an English professor to think about their colleagues. (Lewis was an English professor at Oxford and Cambridge).<br />
<br />
2.<br />
I'm gonna suggest a different idea about why we might highly value art for its power to evoke a different way of looking at things (in addition to valuing it as a source of pleasure, a tool for distraction etc.).<br />
<br />
Maybe art experiences are valued for expanding our knowledge of <b>how it would be psychologically possible for us to approach the world (including what adopting such approaches would feel like from the inside)</b>. In doing so, they help us a) live an examined life and b) choose how to live by expanding our sense what the space of (psychologically accessible) options is like.<br />
<br />
For great works of art seem to reveal the possibility of ways of approaching and experiencing life [noticing things, finding projects appealing, reacting emotionally] which it would have otherwise been very hard for us to first personally imagine (imagine Jane Austen reading Nietzsche, or Nietzsche reading Jane Austen). Like Hume's first taste of pineapple (and unlike his first experience of a missing shade of blue) such art experiences expand our knowledge of what kind of experiences it is possible to have.<br />
<br />
This has two benefits.<br />
<br />
First, art can help us adopt a life we want to live, in approximately the same way that travel or visiting different social scenes does -- by making us aware of regions within the space of possible approaches to life [i.e. the space of options which are at least sufficiently psychologically possible for us to take up that we can imaginatively simulate them/enter into them for a while] is -- hence potentially aware of attractive options which were hitherto overlooking.<br />
<br />
Second, I suspect that merely getting this kind of knowledge of psychological/phenomenological possibility space (whether it ever gives us practical benefits or not) contributes more to `living an examined life' (in whatever rough intuitive sense that seems desirable) than many big pieces of awesome philosophical knowledge would (e.g. knowledge of the right solution to the liar paradox).<br />
<br />Sharon Berryhttp://www.blogger.com/profile/17434076853502881274noreply@blogger.com1tag:blogger.com,1999:blog-4667288583830493271.post-45787541590855719062012-02-07T14:35:00.000-08:002012-02-08T07:28:32.688-08:00Kripke's Paderewski and Frege's Common CoinMaybe this was already obvious to everyone but ...<br /><br />Kripke's Paderewski example can be modified to refute both the attractive principle Frege's Common Coin, below, <span style="font-weight:bold;">and contemporary weakenings of that principle</span> which exempt indexical and demonstrative sentences, or require that all speakers be normally linguistically component.<br /><br />Frege's Common Coin:<br />a) When two sincere speakers "disagree over" a sentence*, there is a single proposition expressed by this sentence in this context which one believes and the other does not believe,(and indeed believes the negation of).<br />b) When two sincere speakers "agree about" a sentence, there is a single proposition expressed by this sentence in this context which they both believe.<br /><br />*[I realize this is an awkward locution, but I just mean the intuitive kind of disagreement which occurs when I say "snow is red" and you say "snow isn't red" but doesn't occur when I say "I'm tired" and you say "I'm not tired". It sounds far more natural to say `disagree over a proposition' but we will see that it is actually not clear whether these scenarios involve disagreement over a proposition.]<br /><br />Consider the following drama involving Pierre, a man in a thought experiment of Kripkie's who knows the musical statesman Paderewski in two different ways, and doesn't realize that Paderewski the pianist is Paderewski the anarchist. Suppose all the following utterances are sincere,<br />Act 1 (musical evening)<br />pierre:"Paderewski is tall" p1<br />alice:"yes, Paderewski is tall" p2<br />Act 2 (on the street)<br />alice:"Paderewski is tall" p3<br />bob:"yes" p4<br />Act 3 (political rally)<br />bob:"Paderewski is tall" p5<br />pierre:"no, he's not!" let p6 be the proposition that Pierre *denies*<br /><br />Frege's Common Coin tells us that there are propositions p1…pn which speakers express attitudes towards in all the different phases of our play, that p1=p2, p3=p4, p5=p6 and that Pierre believes p1 and does not believe p6.<br /><br />But this is a very bad thing to say: By the fact that a person like Alice or Bob who has a single grip on Paderewski presumably says the same thing by asserting this sentence on the street vs. at a political rally or a musical evening p2=p3 and p4=p5.<br />By transitivity of identity p1=p6.<br />Thus Pierre believes p1 and does not believe p1. Contradiction.<br /><br />[If you are worried about the fact that Pierre is unusually ignorant for his society, and hence may not count as "normally linguistically compent" substitute in the name "John". Now cases like the one above will turn out to be so ubiquitous that denying that Pierre, Alice and Bob know enough to have linguistic competency would imply that no one ever has linguistic competency for names.]<br /><br />Possible Moral: If we want to take propositions to be the objects of belief then, contra Frege's Common Coin, each sentence must be associated with (something like) a class of different propositions which someone could sincerely assert that sentence in virtue of believing.Sharon Berryhttp://www.blogger.com/profile/17434076853502881274noreply@blogger.com5tag:blogger.com,1999:blog-4667288583830493271.post-37209238814407638582011-12-09T09:22:00.000-08:002011-12-09T09:25:31.065-08:00The Sheffer stroke, and the blandest antirealism everIn college my metaphysics prof said realism was the doctrine that there is a complete true description of the world, though it might take infinitely many sentences to express this description. Do the following incredibly bland considerations about different truthfunctional connectives commit me to "antirealism"?<br /> <br />(1) If you want thinking about propositions to play a role in psychology, then you need to individuate propositions narrowly enough that truthfunctionally equivalent sentences express different propositions.<br /><br />(2) If you individuate propositions as narrowly as required by (1) then tautologies involving the <a href="http://en.wikipedia.org/wiki/Sheffer_stroke">sheffer stroke</a> will be different propositions than any corresponding sentences which use more standard truthfunctional connectives. <br /><br />(3) The same argument goes for all the other infinitely many n place truthfunctional connectives.<br /><br />Conclusion: no language with finitely many basic connectives can express all true propositions. No finite language can be used to give a complete true description of the world. In particular if the a language L has only n place truthfunctional connectives then there will be tautologies using n+1 place truthfunctional connectives that cannot be expressed in L.Sharon Berryhttp://www.blogger.com/profile/17434076853502881274noreply@blogger.com2tag:blogger.com,1999:blog-4667288583830493271.post-36758815691130565152011-12-09T09:15:00.000-08:002011-12-09T09:21:47.059-08:00"Just what I mean by the term"Whether or not you think there are philosophically interesting facts about analyticity, normal people do respond to certain a) epistemic challenges and b) calls for scientific/philosophical explanation by saying 'that's just what I mean by the term'. <br /><br />So I think any philosopher who doesn't want to accept massive error about justification and argument owes some account of what is going on here. What does this expression do?<br /><br />Maybe one thing the claim 'x is just part of what I mean by the term' maybe does is diffuse the expectation that there is an interesting natural kind or scientific fact in the neighborhood. Here's what I mean...<br /><br />Suppose I had a made a map with mountain ranges labeled and you said, how come all mountains have a slope of at least 1 percent (cf. wikipedia definition). If you said "how do you know that mountains all have a slope of less than 1percent?" or "why do all mountains have a slope of less than 1 percent" I might say `that's just what I mean by the term mountain'. <br /><br /> I *think* hearing this might helpfully lead us to rule out possibilities like the following: 99% of paradigm mountains are caused by a certain geological process, and this process always produces things that have a steep slope, and then reliably maintain this steep slope through the process of erosion. If there was some more natural kind in the neighborhood of "mountain" then there would be a less trivial answer to questions like 'why do all mountains have at least a 2% slope?' and 'how do you know that all mountains have at least a 2% slope.Sharon Berryhttp://www.blogger.com/profile/17434076853502881274noreply@blogger.com0tag:blogger.com,1999:blog-4667288583830493271.post-2538395823432363732011-11-01T04:19:00.000-07:002011-11-01T04:21:10.809-07:00Pictureability and Definiteness in MathematicsA fairly popular position in philosophy of mathematics is the following: there are definite right answers to questions about arithmetic, but not to questions about set theory (especially not to questions like the Continnum Hypothesis whose answers can be changed by <a href="http://en.wikipedia.org/wiki/Forcing_(mathematics)">forcing</a>), because we have a clear notion of what the numbers are supposed to be like but not what the sets are supposed to be like. <br /><br />This claim about clarity is sometimes supported by appeal to notions of mental picturing. The idea would be that we can picture all the numbers, but that we can't picture things like `all the subsets' of the numbers, or the hierarchy of sets as an item that contains, at each level, all subsets of the levels below. But I want to ask: In what sense can we picture all the numbers? In what sense CANT we picture the sets?<br /><br /> All the ways I can think of of picturing all the numbers involve some kind of "..." e.g. you might picture all the numbers by having a mental picture like the physical picture I have drawn below:<br /><br /> | || ||| |||| ....<br /><br />When we use this picture to conceive of the structure of the numbers, we are employing a highly non-trivial method of picturing, which lets us represent the state of there being a countable infinity of numbers by considering some finite collection of drawings like the above. <br /><br />And people certainly do *in some sense* draw pictures of the hierarchy of sets. At the beginning of a set theory class (and at the beginning of my college analysis class) the professor will frequently draw up a V on the board. In a way that is a picture of the heirarchy of sets. And, presumably, one could mentally picture the heirarchy of sets in the same.<br /><br />For this reason I am (a little) skeptical about justifying the claim that we have a definite idea about the sets but not the numbers by appeal to considerations about what we can mentally picture. We can picture the numbers if we are willing to let "..." represent the idea of all finite successors to a stroke symbol. We can picture the hierarchy of sets if we are willing to let the increasing girth of the V represent the idea that each level of the hierarchy of sets contains all possible subsets of the level below. What (mathematical) objects one can picture depends on what methods of picturing we will accept, as allowing one to genuinely conceive of a situation by entertaining a mental picture. <br /><br />At the very least, I think that if someone wants to argue that claims about numbers are definite and claims about sets are not on the basis of appeals to mental pictures, they owe us some kind of story or explanation for why one method of picturing is OK and the other is not.Sharon Berryhttp://www.blogger.com/profile/17434076853502881274noreply@blogger.com2tag:blogger.com,1999:blog-4667288583830493271.post-40420983927140584792011-10-23T08:46:00.000-07:002016-04-18T05:46:39.473-07:00Hamming Questions for PhilosophyI was just taking a break by rereading <a href="http://www.paulgraham.com/hamming.html"> this heartwarming little essay</a> , which you should definitely check out. This made me think about what some "Hamming Questions" for philosophy are (i.e. big questions, which we nonetheless seem to be in a position to reasonably attack now)<br />
<br />
1. Is there a meaningful distinction between statements that are "true by convention" and those that "state substantive claims about the world"? If not (I would guess there is not) what genuine distinction are people getting at when they say:<br />
-it's a matter of convention that mountains have to be 100 feet<br />
-the fact that I am a US citizen is a social/conventional truth (?)<br />
-deliciousness and disgustingness are not something independently in the world but something that we project onto the world (???)<br />
I suspect different things are at stake in each of these cases.<br />
<br />
2. Why, despite our ability to quickly learn new words like `table', `policeman' and `gouche' has it proved to be so hard (impossible?) for philosophers to produce elegant necessary and sufficient conditions for the application of these terms using more primitive ones. Is it...<br />
-that in learning new words we learn paradigm cases not definitions? (but cf. the known problems with e.g. trying to account for understanding "green apple" in terms of composing paradigm cases of "green" and "apple")<br />
-that there is an adequate definition for being a policeman etc. to be found but they are ugly enough to be considered by linguists not philosophers (e.g. maybe they typically have many special clauses)?<br />
-that external facts about natural kinds help determine the extension of terms like policeman, in a way that either gives these terms a very messy relationship to the extensions of other terms that we understand and/or makes it epistemically difficult for us to figure out what these relationships are?<br />
-that there are clean necessary and sufficient conditions to be given, but `atoms' of these definitions turn out to be metaphysically wild and wooly notions like `purpose' `agent' `blameworthy' so that providing necessary and sufficient conditions for claims about policemen, tables, etc. in terms of primitives like these doesn't feel like (and maybe isn't) making philosophical progress.<br />
<br />
2' Why has it proved so hard for philosophers to paraphrase away ceterus paribus clauses, despite their apparently unproblematic use in the sciences. <br />
<br />
3. Do facts about forcing independence and large cardinals have any consequences for the<a href="http://philosophyinprogress.blogspot.com/2011/02/more-angst-over-ordinals.html"> trilemma</a> about how to think about the height of the hierarchy of sets. If mathematical facts can't decide this issue, what can?<br />
<br />
4. What are the truth or assertability conditions for claims about literary "function" e.g. x foreshadows y, x alludes to y, x raises questions about whether y? Provide a metaphysical story about what makes statements of the above kind true, plus corresponding "logic" of literary criticism e.g. a formal algorithm that captures many if not all truth/assertability preserving inferences about literary function? Does this<br />
-bonus: add axioms and inference rules to your logic of literary function until you get something that captures all intuitively valid forms of argument, or prove that no recursively axiomatizable logic can do this. <br />
-bonus: determine what if any relationship there is between claims about literary function and biological function (I guess Kant thought there was a connection but he clearly likes cute solutions too much to be trustworthy on a matter like this!)<br />
<br />
5. In virtue of what does a piece of music count as expressive of sadness, excitement etc.? If these facts are relevant to some parameter like species or prior musical tradition state the relevant parameter. This is an old and daunting question but...<br />
Currently fashionable psychological research into how pieces of music produce similar *judgements* about expressing sadness excitement etc. in different people may suggest promising new proposals with regard to the philosophical question of what features of music make it *count* as expressing sadness, excitement etc. What kinds of lower level features do people seem to be causally responding to when they say that a piece of music is sad, and what if any general-purpose causal reasoning is involved in these judgements?Sharon Berryhttp://www.blogger.com/profile/17434076853502881274noreply@blogger.com0tag:blogger.com,1999:blog-4667288583830493271.post-81184193860469188732011-03-29T06:22:00.001-07:002011-03-29T06:32:21.555-07:00Justifying Logic and the Normal Role of Proof in JustificationSome philosophers aim to show how we can be justified in accepting certain basic logical truths by giving "rule circular" proofs of the soundness of these basic logical truths. They admit that most people will never have considered the proofs in question, and they admit that these people still count as justified in using logic. But, they say that they showing that such proofs can in principle be given makes sense of how we can be justified in believing the basic logical claims established by the proofs right now. <br /><br />That idea seems prima face implausible. In general the fact that someone 100 years later will prove P from premises that I accept (like the ZF axioms) doesn't suffice to show that I am justified in believing that P now. So why should the case be any different for the proofs of logical principles?<br /><br />[I would rather say that we are prima facie justified in believing these logical principles in a way that has nothing to do with the possibility of giving further argument; coming up with more or less circular ways of proving the soundness of our logical principles is (at best) a way of improving our justification]Sharon Berryhttp://www.blogger.com/profile/17434076853502881274noreply@blogger.com3tag:blogger.com,1999:blog-4667288583830493271.post-35994651367129262382011-03-19T22:02:00.000-07:002011-03-19T22:19:34.838-07:00are stipulative definitions a source basic knowledge?Random thought: <br /><br />Whether or not its OK to make a certain stipulative definition can depend very messy questions - and not just mathematically messy questions like questions about harmony.<br />For example: it would seem that it's OK to stipulate that people are to count as "gleb" whereas bodies are not to count as "gleb" if and only if people are distinct from their bodies.<br /><br />This suggests that knowledge by stipulative definition is not a source of basic knowledge. (basic knowledge= justified belief that doesn't depend on any other beliefs for justification) For, you can say 'of course people are gleb and bodies aren't, thats just what I mean by the term! remember when I stipulatively defined it...'. But (it would appear) the justificatory buck doesn't stop when you say this. If you are unjustified in thinking that bodies are distinct from people, this would seem to poison your justification for making and appealing to this stipulative definition. <br /><br />However, perhaps we should say that only some stipulative definitions do have prima facie warrant, and the above stipulation about glep is just not one of the ones that does.<br /><br />p.s. if we say that stiplative definitions aren't basic knowledge, we will probably want to say that analyticities aren't either.Sharon Berryhttp://www.blogger.com/profile/17434076853502881274noreply@blogger.com0tag:blogger.com,1999:blog-4667288583830493271.post-32576572758718816782011-02-06T08:38:00.000-08:002011-02-09T03:08:46.282-08:00Angst Over the OrdinalsOhhh, which of these three options is correct? Given my focus on philosophy of math it's mildly embarrassing not to have a fixed position on this, but I keep going back and forth...<br /><br />1. Just say the hierarchy of sets goes "all the way up"<br /><br />2. Say the hierarchy of sets goes "all the way up" in the sense that it contains ordinals corresponding to every distinct combinatorially possible way for some objects to be well ordered *except for the one that it, itself is an instance of*. (this would be appealing but i think it may be impossible to spell out in a consistent way)<br /><br />3. Say that the hierarchy of sets goes up at least far enough to satisfy the axiom of infinity+ the rest of ZF, and leaves it vague what there is beyond the inacessables - much as our concept mountain leaves it vague how many really tiny mountains there are given that there is such and such a bit of lumpy terrain.Sharon Berryhttp://www.blogger.com/profile/17434076853502881274noreply@blogger.com1tag:blogger.com,1999:blog-4667288583830493271.post-51534625258453394962011-02-06T08:00:00.000-08:002011-02-06T08:35:47.770-08:00Five Reasons to be a Modal CarnapianI currently believe mathematics is best understood in terms of <a href="http://philosophyinprogress.blogspot.com/2011/02/what-is-combinatorial-possibility.html">combinatorial possibility</a> plus Carnapian framework stipulations. One reason for thinking this is, of course, that understanding mathematical objects in this way lets you tell a nice story about access to abstract mathematical objects, like the one I tell in my dissertation! But here are 4 other reasons. <br /><br /><br />1.<span style="font-weight:bold;"> Thinking in terms of combinatoiral possibility lets you solve the bad company objection for neo-carnapianism about objects.</span><br /><br /><br />You can say: It is OK to stipulate that there are sets but not to make the stipulations for tonk, or for Boolos parities because...<br /><br />One can safely extend one's language by introducing object stipulations S if and only if it would be combinatorially possible for the objects one's language currently acknowledges at each possible world to be supplimented by new objects in such a way as to satisfy S. <br /><br />2. <span style="font-weight:bold;">Thinking about things in terms of combinatorial possibility + carnapian framework stipulations explains why certain mathematical questions are substantive questions while others are not (substantive ones involve disagreement over combinatorial possibility as well as over which from among the many objects which it would be combinatorially possible to stipulate you actually do stipulate)</span><br /><br />For example:<br /><br /><span style="font-style:italic;">There is no</span> substantive mathematical question about whether there are sets or categories or both, because everyone agrees that it would be combinatorially for there to be objects satisfy Carnapian framework stipulations phrased in terms of combinatorial possibility for the sets, and for the categories.<br /><br /><span style="font-style:italic;">There is</span> a substantive mathematical question about whether the Goldbach conjecture is true, because it is combinatorially impossible that the Fs and the Gs should satisfy the informal (non-first order logical!) framework stipulations for sets could yield different answers to Goldbach. <br /><br /><br />3. <span style="font-weight:bold;">"Mathematical Hypothesis"-based alternatives like structuralism, fictionalism and plenetudinous platonism already need *some* powerful modal notion or a sense of possible and impossible which can take into account vocabulary that goes beyond the connectives of first order logic, if they want to capture intuitive claims about all questions in arithmetic having right answers. <br /></span><br />Intuitively there are right answers to at least all questions about arithmetic. Each first order logical hypothesis about the numbers necessitates right answers to all questions about arithmetic. Therefore, any mathematical hypothesis that claims to cash out the truth conditions for our claim that phi in terms of the claim that if H then phi must crucially use non-first order vocabulary. Therefore if you want to make some hypothetical view of math work, you must either bite the bullet that some simple questions of arithmetic have no answer, or invoke a more mathematically powerful notion of possibilty/consequence<br /><br />4. <span style="font-weight:bold;">The notion of combinatorial possibility is very crisp and simple, indeed it maybe well the crispest and simplest notion that yields enough mathematical power to reconstruct intuitive verdics about truthvalues in arithmetic as per (3). </span><br /><br />For example, if you accept Tarski's definition of logical truth in terms of facts about how it would be possible to reinterpret all properties and relations involved (where possible doesn't mean that a person could give a rule for how to do it, or somehow list the new extensions) then you pretty much already accept the powerful notion of how it would be in principle possible for an arbitrary n-place relation to apply to some objects which I have in mind when I talk about combinatorial possibility. So if you're not too much of a finitist/intuitionist to accept the very broad sense of in principle possible reassignment of extensions to predicates used in the Tarski definition, I think you should be OK with my notion of combinatorial possibility. <br /><br />Secondly, combinatorial possibility faces none of the quandires that make people skeptical about the notion of metaphysical possibility e.g. it is possible for something to be both red all over and green all over, or for there to be zombies? We avoid these problem because facts about combinatorial possibility ignore all metaphysical facts about particular properties and relations involved. In some cases one might perhaps argue that some natural language sentences are vague with regard to what pattern of relationships between objects they assert. But once you specify that you are asking whether e.g. combiposs( Ex Redallover(x)&Greenallover(x)), it is perfectly clear that this is combinatorially possible, since it would be combinatorially possible to choose extensions for Redallover() and Greenallover() that make this true.Sharon Berryhttp://www.blogger.com/profile/17434076853502881274noreply@blogger.com0tag:blogger.com,1999:blog-4667288583830493271.post-80240919603939452542011-02-06T07:12:00.000-08:002011-02-07T11:13:12.378-08:00What is Combinatorial Possibility?At the moment I think mathematics is best understood in terms of neo-carnapian/neo-logicist existence conditions for mathematical objects plus a kind of specifically mathematical modality (along the lines considered by Charles Parsons) which is looser than metaphysical possibility, and which I call "combinatorial possibility". <br /><br />Here's a new way I thought of to explain what I mean by combinatorial possibility:<br /><br />Combinatorial possibility is just like Tarski's notion of logical possibility, except a) we drop the assumption that you have to shanghai objects from the actual world to use in making a given claim true, allowing arbitrary choices of domain as well as arbitrary reassignments of extensions to properties and b) we allow more vocabulary to count as "logical vocabulary" in the sense that when reassigning extensions to predicates you can't change its meaning.<br /><br />What more vocabulary? <br /><br />In general anything like "finitely many" or "equinumerous" which functions like logical vocabulary in a sentence that its effect on the truthvalue of the whole sentence is systematically determined just by the domain and extension of relations in a set theoretic model is OK. Call these semi-logical expressions.<br /><br />However <span style="font-weight:bold;">I conjecture</span> that we can cash out all of these all the semi-logical expressions, or at least all the ones that occur in modern mathematics and and its applications by merely using two things:<br />- an actuality opporator @F, so that you can say things about how it would be combinatorially possible for the things that are actually kittens, to be related by liking to the things that are actually baskets, e.g. there are enough different kittens and few enough baskets that it is combinatorially impossible that each kitten slept in a different basket last night. <br />- nesting, so that you can ask questions about the combinatorial possibility or impossibility of questions which are themselves described in terms of how it would be combinatorially possible to supplement them e.g. There are people at this party representing all combinatorially possible choices of whether to take sugar and/or milk in your tea = It would be combinatorially impossible to supplement the actual people with some additional person who differs from all actual people with respect to either whether they take coffee or whether they take tea = not combiposs(Ex person(x) & Ay [if @person(y) then ~x=y , and takessugar(x)iff~takessugar(y) and takesmilk(x) iff~takesmilk(y)) ] *<br /> <br /><br />*yes, when you have multiple nesting of claims about combinatorial possibility, actuality opporators will need to be indexed to a particular instance "combiposs" so you will have combiposs_i and @F_i.Sharon Berryhttp://www.blogger.com/profile/17434076853502881274noreply@blogger.com0tag:blogger.com,1999:blog-4667288583830493271.post-24360846883034480332010-12-25T11:24:00.000-08:002010-12-25T11:29:06.337-08:00Three Arguments for A Priori Knowledge of (Very) Contingent FactsCan we have a priori knowledge of contingent facts? For example, consider the proposition below. Can we know truths like the following a priori? NOT PEA SOUP: 'It is not the case that everything outside of a 5 foot radius around me is made of pea soup, which stealthily forms up into suitable objects as I walk by' Here are three positive arguments (in ascending order of strength IMO) for the conclusion that we can know NOT PEA SOUP a priori. <br /><br /><br />1. Argument from Crude Reliablism<br /> <br />The belief-forming method of assuming that you aren't in a pea soup world is reliable. And even if we make things a little less crude by saying that good belief formation is belief formation that works via a chain of methods which are *individuated in a psychologically natural way* and are reliable, we will probably still get the same conclusion. For plausibly the most natural relevant psychological mechanism involved in generating that belief would be something like, 'believe not P when P is sufficiently gerrymandered'. <br /><br />2. Argument from Probability and Conditionalization-Based Models of Good Inference <br /><br />If you think that good reasoning is well modeled by the idea of assigning a certain probability measure to the space of possible worlds, and then ruling out worlds based on your observation, and asserting that P if and only if a sufficient fraction of the remaining probability is assigned to worlds in which P. There will be some propositions P that low enough prior probability to warrant asserting ~P before you have made any observations - and plausibly the pea soup hypothesis is one of them. Presumably in such cases your justification does not depend on experience. [I think Williamson has something like this in mind in one of his papers on skepticism, but his argument was more complicated] <br /><br />3. Argument from Current Knowledge plus Inability to Cite Experiential Justification. The claim that NOT PEA SOUP is a priori follows from a claim about knowledge that only a skeptic would deny, plus a somewhat intuitive claim about the relationship between a priority and justification. The intuitive claim I have in mind is that if someone can count as knowing that P, without being able to point to any relevant experience (or memory of experience, or reason to believe that they had experience etc) as justification then they know that P a priori so P is a priori (i.e. a priori knowable). Everyone but the skeptic agrees that people know that they aren't in the pea-soup world. These people who know cannot point to any experience as justification. Hence, 'not-pea soup' must be knowable without appeal to experience for justification. You might try to defend the a posteriority of NOT PEA SOUP by saying that even if the man on the street can't make any argument from experience to NOT PEA SOUP, our intuition that people know that NOT PEA SOUP is based on the assumption that there exists some good argument from something about experience to NOT PEA SOUP, and philosophers just need to discover it. In this way, experience really is necessary to justify the belief that NOT PEA SOUP so the proposition is a posteriori. <br /><br />However, this response threatens to generate the unattractive conclusion that people today do not know NOT PEA SOUP. For, in general, the mere existence of a good argument for some proposition that I believe does not suffice to make me justified in believing that proposition now, if I cannot (now) give that argument. If I believe some mathematical theorem T on a hunch or on the basis of tea leaf reading, the mere fact that there is a good argument for T on the basis of things that I accept, doesn't suffice to allow me to count as knowing that T. So even if there is some cunning philosophical argument yet to be discovered which justifies NOT PEA SOUP on the basis of experience, it would seem that this argument cannot suffice to justifies people now accepting that NOT PEA SOUP. If people now are justified that NOT PEA SOUP, and can give no argument from experience for this claim, it must be that the claim can be justifiably believed without appeal to experience.Sharon Berryhttp://www.blogger.com/profile/17434076853502881274noreply@blogger.com0tag:blogger.com,1999:blog-4667288583830493271.post-37241102957592990642010-12-19T09:39:00.000-08:002010-12-19T09:50:08.965-08:00Reliablism and the Value of Justification: The Angel's OfferA major objection to reliablism about justification is that it doesn't explain why we value having knowledge of a given proposition more than mere dogmatic true belief. For, believing a true proposition via a method that's reliable is just more likely to lead you to believe other true propositions; there's no obvious sense in which your relationship to true beliefs formed by reliable methods is thereby intrinsically any better or more valuable than you relation to mere true beliefs. If we don't like a particular cup of good expresso any better for it being the product of a machine that reliably makes good expresso, why should we like a particular state of believing a truth any better from the fact that it was produced by processes that reliably lead to believing the truth?<br /><br />But maybe we DON'T value having the special relation we do to justified true beliefs over and above it's tendency to promote having stable true beliefs. Consider this thought experiment:<br /><br />An angel convinces you that he knows the true laws of physics and maybe also that it can do super-tasks and thereby knows certain statements of number theory which cannot be proved from axioms which you currently accept. The angel offers to make it the case that you find these true principles feel obvious to you - the way that you now feel about 'I exist' or '2+2=4'. He will wipe your memory of this conversation so that you will not be able justify these feelings to yourself by appeal to the reliable way you got them - but of course you won't feel the need to justify them to yourself since they will just feel obvious and you will be inclined to immediately accept them. [Suppose also, if it matters, the angel will do the same to everyone in your community, that community members prefer to go along with whatever choice you make, that the angel is already going to blur your memories of not finding these claims obvious in the past etc.]<br />Would you accept the offer?<br /><br />I personally would definitely take the offer. And I think many people would share this preference. If there were something intrinsically valuable about knowing verses merely dogmatically assuming a necessary truth, then this would be a strong reason not to take the angels offer. But if Plato is right (as thinking about the example tempts me to think that he is) to say that the only bad thing about dogmatically assuming truths rather than knowing them is that dogmatic assumptions don't stay tied down, then the angel's offer to make you and everyone else in your community find these truths indubitable fixes that problem - and you should take him up on his offer.Sharon Berryhttp://www.blogger.com/profile/17434076853502881274noreply@blogger.com0tag:blogger.com,1999:blog-4667288583830493271.post-15155501774755475002010-12-17T00:56:00.000-08:002010-12-17T22:54:24.990-08:00Dilemma re: (Platonist) StructuralismI've got to go reread my Shapiro. But before his smooth writing bewitches me, let me note down the very simple objection that I am currently unable to see how he would answer.<br /><br />Structuralism is traditionally motivated by the desires to address a problem from Benacerraf: that there are multiple equally good ways of interpreting talk of numbers as referring to sets, so that either answer to "what set is the number 3" seems unprincipled. But now:<br /><br />If you <span style="font-weight:bold;">are not</span> OK with plentiful abstract objects, you can't believe there are abstracta called structures. <br /><br />If you <span style="font-weight:bold;">are</span> OK with plentiful abstract objects, then you can address this worry by just saying that the numbers and sets are different items. Certain mathematics textbooks find it useful to speak as though 3 were literally identical to some set, but this is just a kind of "abuse of notation" motivated by the fact that we can see in advance that any facts about the numbers will carry over in a suitable way to facts about the relevant collection of sets named in honor of those numbers. One might argue that analogous abuse of notation happens all the time in math e.g. writing a function that applies to Fs where you really mean the corresponding function that applies to equivalence classes of the Fs. This route seems like a much less radical move than claiming that basic laws about identity fail to apply to positions in a structure e.g. there is no fact of the matter about whether positions in two distinct structures (like the numbers and the sets) are identical.Sharon Berryhttp://www.blogger.com/profile/17434076853502881274noreply@blogger.com4tag:blogger.com,1999:blog-4667288583830493271.post-28854369982955835752010-12-14T02:25:00.000-08:002010-12-19T08:52:57.883-08:00Cog Sci Question<span style="font-style:italic;">[edited after helpful conversation with OE where I realize my original formulation of the worries was very unclear]</span><br /><br />I was just looking at this cool <a href="http://web.mit.edu/apca/www/">MIT grad student's website</a>, and thinking about the project of a) reducing other kinds of reasoning to Baysean inference and b) modeling what the brain does when we reason on other ways in terms of such conditionalization. <br /><br />This sounds pretty good, but now I want to know:<br /><br />a) What is a good model for how the brain might do the conditionalization? Specifically: how could it store all the information about the priors? If you picture this conditionalization in terms of a space of possible worlds, with prior probability spread over it like jelly to various depths, it is very hard to imagine how *that* could be translated to something realizable in the brain. It seems like there wouldn't be enough space in the brain to store separate assignments of prior probabilities for each maximally specific description of a state of the world (even assuming that there is a maximum "fineness of grain" to theories which we can consider, so that the number of such descriptions would be finite).<br /><br />b) How do people square basing everything on Baysian conditionalization with psychological results about people being terrible at dealing with probabilities consciously?<br /><br />Google turns up some very general results that look relevant but if any of you know something about this topic and can recommend a particular model/explain how it deals with these issues...Sharon Berryhttp://www.blogger.com/profile/17434076853502881274noreply@blogger.com3tag:blogger.com,1999:blog-4667288583830493271.post-74465971103216438142010-11-24T14:46:00.000-08:002010-11-24T14:47:18.439-08:00Putnam Indeterminacy DilemmaPutnam uses Skolem's theorem (every consistent first-order theory has a model whose domain is the integers or some subset thereof) to argue that the meanings of our sentences are indeterminate.<br /><br />If considerations of elegance CAN make something a more natural candidate for the meaning of a given word (e.g. someone with behavior that doesn't distinguish between plus and quus means plus), then the mere existence of some (clumsly and arbitrary) Skolem model doesn't pose a problem for our meaning something definite - since the Skolem model's interpretation of expressions like "all possible subsets" will be much less elegant than the natural one.<br /><br />If considerations of elegance CAN'T make something a more natural candidate for the meaning of a given word, then Putnam is wrong to assume that even the meanings of the first order logical connectives which his perverse Skolem model captures are pinned down. For why think that we mean 'or' rather than a quus like version of 'or' that starts behaving like `and' in sentences longer than a billion words long?Sharon Berryhttp://www.blogger.com/profile/17434076853502881274noreply@blogger.com0tag:blogger.com,1999:blog-4667288583830493271.post-34840823657543809152010-11-21T20:02:00.000-08:002010-11-21T20:49:01.486-08:00Old Evidence and ApologiesIf the <a href="http://plato.stanford.edu/entries/epistemology-bayesian/#ObjProLawStaSynCoh">problem of old evidence</a> for Bayesian epistemology is just the following, then I don't think it's a problem:<br /><span style="font-style:italic;"><br />Sometimes it seems like we should change our probabilities based on discovering logical consequences of a theory, but Bayesian updating only involves changing probabilities when you make a new observation.</span><br /><br />For (it seems to me) this objection has the same ultimate structure as the following, surely bad, objection:<br /><br /><span style="font-style:italic;">Sometimes it seems like we should apologize, but obeying so-and-so's moral theory involves never wronging anyone - and hence never apologizing.</span><br /><br />If old evidence E is logically incompatible with hypothesis H, then Bayesianism says that you should *already* have ruled out all the worlds where H is true, and changed your probabilities accordingly, whenever you observed that E. So, I see no problem for the Bayesian epistemologist in saying that when you discover that you have failed to up<a href="http://plato.stanford.edu/entries/epistemology-bayesian/#ObjProLawStaSynCoh"></a>date in the way required by the theory (by not noticing a logical incompatibility), you should fix the mistake and change your probabilities accordingly. <br /><br />[Compare this with the following popular intuition in ethics: you should promise to visit your grandmother and then visit her, but given that you aren't going to visit you shouldn't promise to visit her.]Sharon Berryhttp://www.blogger.com/profile/17434076853502881274noreply@blogger.com0tag:blogger.com,1999:blog-4667288583830493271.post-79355973799499869862010-10-15T17:50:00.000-07:002010-11-02T11:44:07.758-07:00Obvious vs. embarassing mistakes<span style="font-style:italic;">As you've probably noticed, this blog has been on a bit of a hiatus. I'm going on the jobmarket this year so things have been very busy. I do have a little time now though, to note something about the relationship between two phenomena that are ubiquitous in my life :)</span><br /><br />Not all obvious mistakes are embarrassing mistakes. Any mistake you make while adding two numbers will be an obvious mistake, but nearly everyone doing calculations makes such mistakes some fair fraction of the time, and these errors are not (intuitively) embarrassing mistakes. <br /><br />further questions: <br />-Is being obvious once pointed out a <span style="font-style:italic;">necessary</span> condition for being an embarrassing mistake? [edit: appropriately enough, i had originally put "sufficient" :)]<br />-Is the mere fact that a mistake is made with high frequency in some community sufficient to prevent it from being an embarrassing mistake? (maybe inferring the consequent is made with high frequency yet also embarrassing). <br />-Will trying and failing to give principled necessary and sufficient conditions for a mistake being embarrassing make one feel less embarrassed by embarrassing mistakes? <br /><br />[hat tip to E.M. for suggesting this would make a cute post]Sharon Berryhttp://www.blogger.com/profile/17434076853502881274noreply@blogger.com1