tag:blogger.com,1999:blog-91245393816857512732024-03-14T00:21:47.257-07:00Skeptic's PlayCritical thinking... for fun?millerhttp://www.blogger.com/profile/05990852054891771988noreply@blogger.comBlogger1158125tag:blogger.com,1999:blog-9124539381685751273.post-60416108119626092712015-10-03T08:50:00.000-07:002016-03-21T23:43:21.481-07:00All blogs are mortal; Skeptic's Play is a blogI've decided to move to another location! My new blog is <a href="http://freethoughtblogs.com/atrivialknot/"><i>A Trivial Knot</i></a>.<br />
<br />
<a href="https://atrivialknot.wordpress.com/"></a><br />
<div class="separator" style="clear: both; text-align: center;">
<a href="http://freethoughtblogs.com/atrivialknot/"><img border="0" src="https://4.bp.blogspot.com/-y7tYFKvtEwE/VgyWqsLxO4I/AAAAAAAACfM/cFtrhyeURGE/s640/ATK%2Bbanner.png" width="500" /></a></div>
<a href="https://atrivialknot.wordpress.com/">
</a>
<div class="separator" style="clear: both; text-align: center;">
</div>
<a href="https://atrivialknot.wordpress.com/">
</a>
<br />
If you follow me by RSS, please use <a href="http://freethoughtblogs.com/atrivialknot/feed/">my new feed</a>!<br />
<br />
I have fond memories of my eight years on Skeptic's Play, but let's not go overboard with the nostalgia since I'm still here blogging about more or less the same stuff. If for some reason you do want to dwell on the past, <a href="http://skepticsplay.blogspot.com/p/best-of-skeptics-play.html">this</a> is the collection of my "best" posts.<br />
<br />
<i>Update: I moved my blog again, to FreethoughtBlogs. The above links have all been updated, but if you're interested in the intermediate blog, <a href="https://atrivialknot.wordpress.com/">it's here</a>.</i><br />
<br />
<b>Comments on this blog are <a href="http://skepticsplay.blogspot.com/p/why-are-comments-closed.html">closed permanently</a><span id="goog_1057997421"></span></b>.<br />
<br />
<i>Skeptic's Play</i> is mortal. Farewell.millerhttp://www.blogger.com/profile/05990852054891771988noreply@blogger.com0tag:blogger.com,1999:blog-9124539381685751273.post-75823486145292728572015-10-03T08:45:00.000-07:002015-10-03T08:46:02.137-07:008th Bloggiversary!Today's my 8th and <i>final</i> bloggiversary! As usual, I will celebrate by picking out my favorite posts from the last year.<br />
<br />
Critical thinking<br />
<a href="http://skepticsplay.blogspot.com/2015/01/the-moral-horror-that-is-ourselves.html">The moral horror that is ourselves</a><br />
<a href="http://skepticsplay.blogspot.com/2015/09/make-ass-out-of-you-and-everyone.html">Make an ass out of you and everyone</a><br />
<a href="http://skepticsplay.blogspot.com/2014/12/what-is-apology.html">What is an apology?</a><br />
<a href="http://skepticsplay.blogspot.com/2015/02/sexual-economics-theory-in-need-of.html">Sexual economics, a theory in need of reworking</a><br />
<br />
Atheism<br />
<a href="http://skepticsplay.blogspot.com/2014/12/five-awful-things-about-gods-not-dead.html">Five awful things about <i>God's Not Dead</i></a><br />
<a href="http://skepticsplay.blogspot.com/2015/06/a-critique-of-secular-humanism.html">A critique of secular humanism</a><br />
<a href="http://skepticsplay.blogspot.com/2014/11/the-tone-argument-in-retrospect.html">The tone argument, in retrospect</a><br />
<br />
Asexuality<br />
<a href="http://skepticsplay.blogspot.com/2015/01/the-nightmarish-collision-of-ftb-and.html">The nightmarish collision of FTB and Tumblr</a> (FTBCon panel)<br />
<a href="http://skepticsplay.blogspot.com/2015/02/asexual-because-reasons.html">Asexual, because reasons</a> <br />
<a href="http://skepticsplay.blogspot.com/2014/11/how-identity-is-like-democracy.html">How identity is like a democracy</a><br />
<br />
Social justice<br />
<a href="http://skepticsplay.blogspot.com/2015/04/my-thoughts-on-trigger-warnings.html">My thoughts on trigger warnings</a><br />
<a href="http://skepticsplay.blogspot.com/2015/07/cis-diversity.html">Cis diversity</a> and <a href="http://skepticsplay.blogspot.com/2015/08/cis-by-default-and-privilege.html">Cis by default and privilege</a><br />
<a href="http://skepticsplay.blogspot.com/2015/06/race-is-allowed-to-be-complicated.html">Race is allowed to be complicated</a><br />
<br />
Philosophy<br />
<a href="http://skepticsplay.blogspot.com/2015/02/an-altruistic-prisoners-dilemma.html"><span id="goog_482390356"></span>An altruistic prisoner's dilemma<span id="goog_482390357"></span></a> <br />
<a href="http://skepticsplay.blogspot.com/2015/01/utilitarianism-to-deontology.html">Utilitarianism to deontology</a><br />
<a href="http://skepticsplay.blogspot.com/2015/02/debugging-ontological-argument.html">Debugging the ontological argument</a><br />
<br />
Miscellaneous<br />
<a href="http://skepticsplay.blogspot.com/2015/04/in-praise-of-most-important-relationship.html">In praise of the most important relationship</a><br />
<a href="http://skepticsplay.blogspot.com/2015/06/nintendo-as-cultural-import.html">Nintendo as cultural import</a><br />
<a href="http://skepticsplay.blogspot.com/2015/09/ignoring-dystopia.html">Ignoring the dystopia</a><br />
<br />
----------------------------------------------<br />
<br />
<b>See <a href="http://skepticsplay.blogspot.com/p/best-of-skeptics-play.html">this page</a> for the collection of best posts from previous years.</b>millerhttp://www.blogger.com/profile/05990852054891771988noreply@blogger.com0tag:blogger.com,1999:blog-9124539381685751273.post-57021066478226148152015-10-01T07:11:00.000-07:002015-10-01T07:11:00.311-07:00Icosahedron with Curves<br />
<div class="separator" style="clear: both; text-align: center;">
<b><a href="http://2.bp.blogspot.com/-CZ_OoWjVE0Y/VgyU0OE878I/AAAAAAAACfA/JfW6Kr-clBo/s1600/IMG_0544%2B%2528small%2529.jpg" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" height="323" src="http://2.bp.blogspot.com/-CZ_OoWjVE0Y/VgyU0OE878I/AAAAAAAACfA/JfW6Kr-clBo/s400/IMG_0544%2B%2528small%2529.jpg" width="400" /></a></b></div>
<br />
<br />
<div style="text-align: center;">
<b>Icosahedron with Curves</b>, by Meenakshi Mukerji</div>
<br />
I don't have much to say about this one, except that it consists of 30 units. Each unit takes one red piece of paper and one blue. The red and blue are deliberately patterned in such a way so as to look chaotic.<br />
<br />
Alas! This is the only angle you will ever see, for this is the only photo I have of a now dead model. When I moved apartments over a year ago, it was among those that did not survive.<br />
<br />
I have no regrets. Origami lives, and then dies. As it is, I have too much "living" origami, and the amount of space it takes up is the biggest thing discouraging me from making more. Probably the solution is to give more of it away as gifts.millerhttp://www.blogger.com/profile/05990852054891771988noreply@blogger.com0tag:blogger.com,1999:blog-9124539381685751273.post-3773549660807903902015-09-28T19:26:00.002-07:002015-09-28T19:26:58.589-07:00Living gay (and ace)<i>This article was cross-posted <a href="https://asexualagenda.wordpress.com/2015/09/28/living-gay-and-ace/">on The Asexual Agenda</a>.</i><br />
<br />
Recently, there was a very short documentary entitled “<a href="https://www.youtube.com/watch?v=RnLgqGJqDvg">I’m Graysexual</a>”
(NSFW), featuring a man about my age, and using the same identity as I
do: gay and greysexual. He does nothing more than briefly explain his
personal experience, which is somewhat different from my own, and as I
said, it’s <i>very </i>short.<br />
<br />
What was particularly significant to me was not what was said, but
what was unsaid. Specifically, the documentarian chose a stream of
clips that imply close interaction with urban gay culture. He walks
around what appears to be West Hollywood (the gay neighborhood in Los
Angeles). He hangs out at gay nightclubs, watching go-go boys. He
looks quizzically at packaged dildos, racks of porn videos, Grindr.
This is all incredibly familiar to me.<br />
<span id="more-4655"></span><br />
I often feel like I’m the only ace who interacts with that kind of gay
male culture. This is not surprising: this is only one of many gay
cultures, the ace community is dominated by women, and not all ace men
are homoromantic, gay, or bi. But even among those in the right
demographics, I often hear that ace men simply aren’t willing to put up
with it.<br />
<br />
That, too, is not surprising, and can be explained in one word:
S-E-X. I don’t need to explain the stereotype, you already know it.<br />
<br />
Gay culture… is not really what I would have created if I were
dictator. But because of my disposition, I find it tolerable. I even
find benefits to it, since a space where people openly talk about sex <a href="https://asexualagenda.wordpress.com/2015/05/20/sex-talk-mental-block/">gives an opening to talk about asexuality</a>.<br />
<br />
And to be honest, I’d take it over straight culture any day.
Straight people are space aliens. They think that the only way to
proceed in life is to get married and have children. They think men
should have initiative, and women should just be receptive. I don’t
understand it, and I feel sorry for all the people who have to live in
it, particularly the non-straight people. Other people have lamented a
lack of older single role models, so I should mention I’ve known plenty
of older gay bachelors. I’m in a stable relationship so I’m not going
in that direction personally, but it wouldn’t feel odd to me if I did.<br />
<br />
So here I am, choosing to deal with a very sexual culture, rather
than dealing with that other heteronormative one. I’ve been to gay
nightclubs packed full of sweaty men. I’ve had awkward encounters with
rice queens, and then befriended them because what else are you going to
do? I’ve wandered the Castro many times, where inexplicably the best
place to get beer is the wine bar. And I’ve sat through a million
conversations about Grindr (a popular hookup app), and seen a million
more online articles about it, from the many online gay websites that
are basically like teen girl magazines, except for older gay men.
People argue back and forth about Grindr the same way that they argue
back and forth about looking at smartphones during social outings. It’s
the same argument, really, because what else do you use a smartphone
for, amirite?<br />
<br />
I spend a lot of space talking about Grindr, because that represents
the amount of attention it gets in reality. Eh, it’s more amusing than
talking about sportsball, another aspect of space alien culture I don’t
miss.<br />
<br />
In gay culture, I blend in fairly well. Acquaintances assume I’m gay
until otherwise noted. It eventually becomes otherwise noted, as I
haphazardly come out to people as ace. At that point I become an
oddity, that one asexual guy that people know. They’re puzzled how that
works, why I’m bothering to be here, and what I do with my boyfriend,
but they rarely ask such questions directly. I wonder if this is how
bisexual men feel.<br />
<br />
If there’s one advantage of heteronormative straight culture vs
hypersexual gay culture, it’s that heternormativity can be opposed.
Sexual culture cannot be opposed, because at least superficially, it has
some decent justifications. There <i>is</i> an ongoing discussion
about the level of sexuality in gay culture, but it’s not a discussion
that aces play any role in. The discussion is about Grindr, about
hookup culture, and about assimilationism vs liberationism.<br />
<br />
I don’t give a shit about assimilating, but I would like it if there
were more public concern about sexual assault, or even the social
capital placed on sexual desirability and ability. Sadly, such concerns
are more typical among feminists, who are typically women. I will be
waiting for a long time for the gay male feminist revolution.<br />
<br />
So that’s the social life I have, and it’s okay. There are some
problems, but nobody is pressuring me to follow a fixed life
trajectory. Dropping heteronormativity is great, I recommend it.millerhttp://www.blogger.com/profile/05990852054891771988noreply@blogger.com0tag:blogger.com,1999:blog-9124539381685751273.post-64469097149067551642015-09-25T19:21:00.000-07:002015-09-25T19:21:00.092-07:00How actions are like literature<span style="font-size: large;"><b>The author is magic
</b></span><br />
<br />
"<a href="https://en.wikipedia.org/wiki/Death_of_the_Author">Death of the Author</a>" is a famous 1967 essay by Roland Barthes regarding the
interpretation of literature. He argues that the intentions and context
of the author are irrelevant when interpreting the author's work. At
most, the author provides a single interpretation, which must compete
with all other interpretations.<br />
<br />
"<a href="https://genderbitch.wordpress.com/2010/01/23/intent-its-fucking-magic/">Intent! It's fucking magic!</a>" is an influential 2010 essay by Kinsey Hope regarding the moral judgment
actions. There's a common circumstance wherein a person tries to
justify their mistakes by emphasizing their good intentions. The essay
snarkily observes that good intentions have the strange and magical
power to erase all harms. "Intention isn't magic" has become a common
saying among activists.<br />
<br />
Though the two essays live in
completely different contexts (literary criticism vs moral discourse), I
would argue that the sentiments behind each are substantially similar.
Indeed, in the modern age, when we increasingly look at popular works
of fiction through moral lenses, and when "actions" often consist of
tweets or other comments, it is questionable whether they even live in
different contexts.
<br />
<br />
Each essay is
questioning the importance of intention. The intention of the author,
the intention of the actor, what is the relevance of either to our
judgment of the <i>result</i>? If an poet fails to articulate a
compelling interpretation of their own work, does that make it a bad
poem? If a celebrity says they didn't mean to offend anyone with their
comments on black people, does that protect them from charges of racism?<br />
<br />
Intent
isn't completely irrelevant; rather, people frequently overrate its
relevance. Once we abolish the common misconception of the authority of
intent, we can then quibble over the relatively small ways in which
intent might matter after all.<br />
<br />
<span style="font-size: large;"><b>Intention as predictor
</b></span><br />
<br />
Some
small insight can be gained by considering a form of fiction which
maybe wasn't so popular in 1967: webcomics. Alternatively, we can
consider fanfiction, ongoing TV shows, or any medium where we consume
the work at the same time that it is actively updated. As the work is
being updated, our interpretations of it must also be updated. Insofar
as we are offering a coherent interpretation of a single body of work
(as opposed to string of interpretations of a series of disconnected
works), our interpretations must care about what will happen in future
updates.
<br />
<br />
Intention doesn't change the past,
but it is a predictor of the future. Thus it is necessary to speculate
on the intention of the author(s), at least until the time of
completion of the work.<br />
<br />
When we apply moral judgment
to past actions, it might seem that intention doesn't matter because
past actions are already past. But moral judgment is the most
future-looking way of looking at the past. The practical purpose of
morally criticizing an action is not to lament what has already happened
and can never be changed, but to discourage similar actions in the
future. Thus, moral judgments care not just about results, but about
the processes by which the results are produced. In short, moral
judgments <b>must</b> care about intention.<br />
<br />
Still,
intent is not the end-all-be-all. A person can have the best of
intentions but still produce evil actions. Actions are the product of
intent <i>and</i> execution. Declaring one's own positive intent is a
poor defense against moral criticism, because a positive intent may
still be executed poorly. The purpose of moral criticism may be to
suggest better methods of execution, not necessarily to impugn people's
motives.<br />
<br />
Similarly, in literature, we want to look at
what's there, not just what's intended. An author can intend to write
the greatest literature in the world, but so what?millerhttp://www.blogger.com/profile/05990852054891771988noreply@blogger.com0tag:blogger.com,1999:blog-9124539381685751273.post-24705308214118722662015-09-21T11:59:00.000-07:002015-09-21T11:59:00.098-07:00This blog's history in numbersI intend to close down Skeptic's Play very soon, and move to another blog called A Trivial Knot. Now that I'm wrapping things up, I thought it might be interesting to summarize my statistics.<br />
<div class="separator" style="clear: both; text-align: center;">
<a href="http://4.bp.blogspot.com/-rkyMrqDTEjY/Vf78Cuwlm9I/AAAAAAAACeg/_E3I5J8gdFw/s1600/Skeptic%2527s%2Bplay%2Bstatistics.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" src="http://4.bp.blogspot.com/-rkyMrqDTEjY/Vf78Cuwlm9I/AAAAAAAACeg/_E3I5J8gdFw/s640/Skeptic%2527s%2Bplay%2Bstatistics.png" width="500" /></a></div>
We can also correlate the statistics with a few major events in my life:<br />
<b>Late 2009</b>: I came out as gray-A<br />
<b>Mid 2010</b>: I graduated with a BS in Physics, and started physics grad school<br />
<b>Mid 2012</b>: I launched <a href="https://asexualagenda.wordpress.com/">The Asexual Agenda </a><br />
<b>Mid 2014</b>: I moved in with my boyfriend<br />
<br />
In terms of page views, Skeptic's Play saw initial growth in the first couple years, and then it leveled off. Initially, it might appear that coming out as asexual greatly increased my page views, and then after The Asexual Agenda was launched, those eyeballs shifted to the other blog.<br />
<br />
But in fact, the drop in 2013 can be traced to a different event entirely. On exactly January 1st, 2013, I saw a precipitous drop in search engine hits, particularly on <a href="http://skepticsplay.blogspot.com/2008/09/puppies-and-kittens.html">this particular page</a>. This coincides with a big change in Google's search algorithm. I'm not sorry for it, since people just wanted to use an image I posted. It just goes to show how meaningless page views can be.<br />
<br />
When I initially started blogging, I was much more prolific, basically because I was enthusiastic about this new hobby. This fell over time, but soon leveled off. Recently, in 2015, there's been an uptick in the number of posts.<br />
<br />
Finally, when we look at the word count per post, there's been a very slow and steady increase in time, except in the last year. I was surprised by this, since I recall many times over the years when I've set out to write shorter and sweeter posts.<br />
<br />
In total, there were about <b>605,000 page views</b>, <b>1,188 posts</b>, and <b>642,000 words</b> (as of last month). For comparison, <i>The Lord of the Rings</i> is about 450,000 words, and the entire <i>Harry Potter</i> series is just over a million words.millerhttp://www.blogger.com/profile/05990852054891771988noreply@blogger.com0tag:blogger.com,1999:blog-9124539381685751273.post-69750524845110102702015-09-18T15:22:00.000-07:002015-09-18T15:22:00.719-07:00Improving on Gödel<script type="text/x-mathjax-config"> MathJax.Hub.Config({tex2jax: {inlineMath: [['$','$'], ['$$','$$']]}}); </script> <script src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"> </script>
<i>This is the final post in my series on <a href="http://skepticsplay.blogspot.com/2015/02/debugging-ontological-argument.html" target="_blank">debugging the ontological argument</a>.</i><br />
<br />
In this series, I've already rebutted every form of the ontological argument that can be expressed logically, but of course that was never really the point of the series. The point is to dive into technical details and learn a bit about logic and philosophy. Keeping with that spirit, this, the final post of the series, will go off on a complete tangent.<br />
<br />
The central question I want to discuss is, what is necessary existence?<br />
<br />
<span style="font-size: large;"><b>Sameness across modalities </b></span><br />
<br />
In modal logic, necessary existence can be tricky to define, because we don't really have a sense of "sameness" across possible worlds. Suppose there's an alternate timeline where I become a mathematician instead of a physicist. Is that alternate version of me the "same" as me? Could you say that I exist across both of these possible worlds?<br />
<br />
By Gödel's definition of necessary existence, I do not exist across both worlds. An alternate version of me is only considered the "same" if it has all the same properties as me. Symbollically, the definition is: $$\forall x ~NE(x) \Leftrightarrow \forall Z~[Z~ess~x \Rightarrow \square\exists y~ Z(y)]\tag{1}\label{1}$$ In English this says "x has necessary existence if given any essential property of x, there necessarily exists an object with that same property." Next we have to define what an essential property is. $$\forall Z \forall x ~ \{Z~ess~x \Leftrightarrow Z(x) \wedge \forall Y ~ [ Y(x) \Rightarrow (Z \rightarrow Y) ] \}\tag{2}\label{2}$$ In English, this is "Z is an essential property of x if Z is a property of x, and also entails all properties of x."<br />
<br />
A few things immediately follow from the definition of essential properties. First, we can prove that each object has exactly one unique essential property. The essential property, or "essence" is simply the conjunction of all properties that the object has. Thus if two objects have the same essence, then they have all of their properties in common. In order for something to have necessary existence, then there must exist in every possible world an object which has all the same properties.<br />
<br />
<b><span style="font-size: large;">Pathological sameness</span></b><br />
<br />
In my opinion, this is not a very good definition of necessary existence. The idea of two objects sharing all properties is far too strong.<br />
<br />
You can come up with a lot of pathological properties. For example, <a href="http://skepticsplay.blogspot.com/2015/03/making-sense-of-existence.html">in an earlier post</a> in this series, I defined H(x) to mean "There exists a monk
singing chants in tight leather pants." H(x) does <i>not</i> say anything about whether x is a monk singing chants in tight leather pants, it merely says that x is in the same world as said monk. If x has Gödel's necessary existence, then we would conclude that monks singing chants in tight leather pants exist in all possible worlds, or none of them.<br />
<br />
Or consider another kind of pathological property, P<sub>S</sub> which is the property that object x belongs to set S. The set S can be chosen arbitrarily. In fact, why not just choose S to include exactly one object x in one possible world? No other objects in any other possible world will share property P<sub>S</sub>, so we can conclude that x does <i>not</i> necessarily exist.<sup>1</sup><br />
<br />
Now suppose we have an object which is a candidate for God. As above, we prove that this object does not necessarily exist, and is therefore not God. How's that for a reverse ontological argument?<br />
<br />
I am convinced, however, that this is a purely technical problem in Gödel's argument, and that it could be fixed, although not in any elegant way. Rather than considering two objects to be equal if they share all properties, we can consider them equal if they share all "relevant" properties. "Relevance" can be a second-order predicate, just like "positivity", only it obeys different axioms: $$\forall
Z \forall Y~ (R(Z) \wedge (Z \rightarrow Y) ) \Rightarrow R(Y)\tag{R1}\label{R1}$$ $$R(\lnot Z) \Leftrightarrow R(Z)\tag{R2}\label{R2}$$ $$\forall Z~R (Z) \Rightarrow \square R(Z)\tag{R3}\label{R3}$$ $$\lnot R(H)\tag{R4}\label{R4}$$ $$R(B)\tag{R5}\label{R5}$$ H is the property of existing in a world that has a singing monk, and B is the property of being a singing monk.<sup>2</sup><br />
<br />
I'm sure you could use the axiom of choice to construct an acceptable second-order predicate somehow. Etc. etc., therefore God exists. <i>Now</i> you're convinced, right?<br />
<br />
----------------------------------------------- <br />
<br />
1. I'm assuming that there is more than one possible world. If there is only one possible world, then every object in it necessarily exists.<br />
<br />
2. Fun exercise: prove that the axioms I chose are inconsistent. millerhttp://www.blogger.com/profile/05990852054891771988noreply@blogger.com0tag:blogger.com,1999:blog-9124539381685751273.post-32914315333364675942015-09-15T21:01:00.000-07:002015-09-16T17:01:24.364-07:00GLBT backwards<div>
On <a href="https://asexualagenda.wordpress.com/2015/09/02/gay-people-are-queer-too/">The Asexual Agenda</a>, I
wrote a satirical piece which imagines an alternate world where instead of gay men being the central example of queerness, asexuals are.
Rather than starting with the acronym GLBT and arguing that asexuals
should be included too, I start with the acronym AABT (asexual, aromantic,
bisexual, transgender) and feebly argue that gay people should be
included too.<br />
<br />
Silliness aside, I've long thought that the
acronym GLBT is completely backwards, and reflective of backwards
priorities in queer activism. Let's not even talk about asexuals and
aromantics because I am biased on that point.
Compared to bisexuals and trans people, gays and lesbians are more
privileged, and should not be the center of the movement. We really
should be talking about TBLG or BTLG.</div>
<div>
<br />
A few quick
citations. Basically no one denies that trans people have it the worst
off, attempting suicide <a href="http://www.vocativ.com/culture/lgbt/transgender-suicide/">ten times more frequently</a> than the general population, and twice as frequently as the LGB population. That's just the tip of the iceberg though, and you can read about many more problems in the <a href="http://www.thetaskforce.org/static_html/downloads/reports/reports/ntds_full.pdf">National Transgender Discrimination Survey</a>. From my understanding, trans people are
less common than gay or lesbian people, but if you care about raw
numbers you'd have to prioritize bisexuals. Bisexuals are more numerous
than gays and lesbians, <i>and</i> fare worse on <a href="http://sf-hrc.org/sites/sf-hrc.org/files/migrated/FileCenter/Documents/HRC_Publications/Articles/Bisexual_Invisiblity_Impacts_and_Recommendations_March_2011.pdf">most measures of quality of life</a>.</div>
<div>
<br /></div>
<div>
It
seems to me that the reason so much money and attention is given to gay
and lesbian issues is precisely because they are relatively
privileged. It's not that there aren't real concerns worth addressing
for gay and lesbian people. But rather, bisexual and trans people have
problems that run so deep that they even infect the focus of activism.<br />
<br />
And
when I started thinking about it this way, I started seeing its effects
everywhere. For example, in my satirical essay, I mock the way that
"queer" is seen in opposition to "straight". If trans people ruled
queerdom, then the opposite of "queer" would be "cis", and then we'd
spend a lot of time arguing that gay people were still queer despite
many of them technically being cisgender.</div>
<div>
<br /></div>
Or
consider <a href="http://skepticsplay.blogspot.com/2015/07/wait-whats-going-on-at-ftb.html">a recent drama</a> where a well-known blogger said a bunch
of transphobic things (and is continuing to say them from what I hear, but from a position of more obscurity).
Her defenders complained that critics are taking ideological purity too
far. But would we take this defense so seriously if she was instead
expressing homophobia? No, because we simply have higher expectations
with respect to homophobia.<br />
<br />
Put another way, we're more likely to
let transphobia slide precisely because transphobia is more widespread
than homophobia and has done more harm. There's a logic to it, but it's
also fucked up.millerhttp://www.blogger.com/profile/05990852054891771988noreply@blogger.com0tag:blogger.com,1999:blog-9124539381685751273.post-22048052267430805632015-09-12T09:49:00.000-07:002015-09-12T09:49:00.152-07:00Make an ass out of you and everyone<span style="font-size: large;"><b>Pop quiz</b></span><br />
<br />
Imagine that I give you a quiz where you're supposed to determine whether a bunch of statements are true or false. Upon reading the statements, you find that they are too obscure, and you have no idea what to make of any of them. However, I give you the hint that 80% of the statements are true, and the other 20% are false. How should you proceed?<br />
<br />
If you say that 80% of the statements are true and the other 20% are false, then your expected score will only be 68%. Clearly, you should guess that every single statement is true. You will only get an 80% on the quiz, but that's the best you can do.<br />
<br />
Now imagine instead that we're talking about people. You're at a high school reunion, and to be honest you haven't interacted with a single person here since graduation. You know that around 5% of your former classmates are queer, but you don't know which ones. How would you make your guesses?<br />
<br />
This is a loaded question of course. Why would you ever need to guess? Why not just assume nothing of anyone?<br />
<br />
The irony is that while queer people (or anyone who invisibly deviates from the norm) are the biggest losers in the assumption game, they are also in a unique position to recognize the value of the same assumptions.<br />
<br />
<span style="font-size: large;"><b>Assumption spaces</b></span><br />
<br />
There's a reason why queer safe spaces are needed. They are spaces where you can assume that everyone else is queer, or at least very sympathetic. When an intruder comes into a safe space and attacks people, it's considered worse than the same attack outside the safe space, because it's also an attack on our ability to make assumptions.<br />
<br />
Queer dating, clubbing, and hookups are even more in need of assumptions. Among my queer male friends, it's a perpetual problem to be meeting men in straight spaces (such as the gym), and to have to guess, based on subtle cues, whether they're straight or not. In an ideal world, you could just ask, but in the real world, this is potentially dangerous, as a lot of straight guys don't take kindly to the mere thought that they could be like us. Even when not dangerous, it can be uncomfortable, and just plain disheartening to know you'll be automatically rejected 95% of the time. A lot of queer guys simply aren't up to the risks, and prefer to meet people through designated queer spaces.<br />
<br />
[cn: sexual assault] Spaces with special assumptions can have problems. For example, one of the things I complain about is the ubiquity of sexual assault in gay night clubs. The problem is there are multiple ideas about what kinds of assumptions are acceptable. Some think it's okay to grope people non-consensually because they think it's the social assumption in those spaces. Other people in the same spaces think that's not an acceptable assumption anywhere and you should get consent first (nonverbal consent due to loud music). The common response is that it's the victim's fault for not understanding the assumptions. No, I understand the assumptions, I just reject them, and reject the supposition that everyone in the space has ever shared those assumptions.<br />
<br />
<span style="font-size: large;"><b>Signals vs stereotypes</b></span><br />
<br />
Moving beyond queer spaces, many queer people are still sick of the assumptions placed upon them on a daily basis. So often they'll adopt signals to make their queerness more visible. Often the most effective signals you can adopt closely resemble stereotypes. With gay men in my area, there are a number of fashion markers and mannerisms that allow a gaydar to work. People aren't necessarily signalling intentionally, but many gay men happen to like these markers, and aren't especially bothered by appearing gay, since they are gay, after all.<br />
<br />
This is understandably uncomfortable, because aren't we basically contributing to the stereotypes? And by merely reading those signals, aren't I imposing those stereotypes on possibly unwilling people? Rather than combatting assumptions, we're trying to take advantage of them and guide them in the right direction.<br />
<br />
And what about people who can't access those stereotypes? Black queer people can't make themselves white, but unfortunately in our culture that's basically what they'd have to do to send a clear signal. "I hate signals so much!" "I wish I could signal too!"<br />
<br />
<span style="font-size: large;"><b>Guessing is a battleground</b></span><br />
<br />
Many people have talked about a <a href="http://ask.metafilter.com/55153/Whats-the-middle-ground-between-FU-and-Welcome#830421">distinction between "ask" culture and "guess" culture</a>. In ask culture, if you want something then you ask for it, even knowing that you may not get it. In guess culture, it's only polite to ask for things that you're reasonably sure you'll receive.<br />
<br />
Ask and guess culture also apply to gender. In many queer spaces, it's common to ask people for pronouns, because in general you can't tell what gender a person is by seeing how they look. This is especially important for inexperienced people (unfortunately the same group of people who tend not to understand why it's important), since they may otherwise base guesses on harmful stereotypes.<br />
<br />
But trans people, understandably, don't want to spend their entire lives confined to queer spaces, and they have to deal with these guesses and assumptions everywhere. I've heard many queer people express a desire that we should ask people for pronouns everywhere, not just in queer spaces. Unfortunately, this strikes most people as extreme. Society at large clearly has a guess culture with respect to gender; many people would find it insulting if you asked their pronouns when they think they're being perfectly clear.<br />
<br />
It's a common saying that "When you assume, you make an ASS out of U and ME". But people clearly like assumptions and derive some value from them. Assumptions in the public realm are defended fiercely. Queer people also derive value from assumptions and create spaces and signalling structures around them.<br />
<br />
It's about time that we recognize assumptions on their own terms, containing both good and bad.millerhttp://www.blogger.com/profile/05990852054891771988noreply@blogger.com0tag:blogger.com,1999:blog-9124539381685751273.post-89880920642371710062015-09-09T11:08:00.000-07:002015-09-09T11:08:00.384-07:00Ignoring the dystopiaInstead of committing any words to my own novel, I spent the last month or so reading <i>Pride and Prejudice</i>. It was research, I say. Research!<br />
<br />
<i>Pride and Prejudice</i>
of course takes place in the dystopia that is Georgian England. True
to the dystopian genre, there are multiple fantastical constructs which
are slowly introduced to a horrified audience. For instance, there's
the idea of an "entail". I don't really get the purpose of it, but
apparently it's a restriction on whether an estate can be passed on in
your will. And then there's "elopement" which just means that a woman
runs away with her lover. It doesn't sound like there's anything wrong
with that, but within the dystopia it's a horrible thing to do, and a
complete disgrace to the entire family.<br />
<br />
There are also
many neat world-building details. I like how the servants are always
there, but no one ever thinks about them much, because that's just how
wealthy people in this universe think. At the same time, rudeness
towards servants signals an unsympathetic character, and kindness
towards servants signals a noble character. That's the only way the
lower classes are ever important: in relation to wealthy people.<br />
<br />
I also like how we know exactly how many pounds each character is worth. In <i>Capital in the 21st Century</i>,
the great literary critic Thomas Piketty explains that this is because
there are relatively low inflation and constant returns on capital.
Thus, an author can list exact money amounts and expect readers decades
in the future to have the same understanding of how much it is.* Jane
Austen really put a lot of thought into that one.<br />
<br />
*Upon research, I discovered that Piketty's claims are disputed by <a href="http://www.slate.com/articles/business/moneybox/2014/12/thomas_piketty_on_literature_balzac_austen_fitzgerald_show_arc_of_money.html">quantitative literary theorists</a>. <br />
<br />
Changing the subject, the other day, my boyfriend and I saw <i>Never Let Me Go</i>,
a film based on the book of the same name. I had read the book and
thought the movie was a terrible adaptation. My boyfriend, however,
detested the movie, because of the way it ignored its own dystopia.
Without any spoilers, the movie involves some extremely questionable
bioethics, and nobody ever questions it, much less gets angry at the
system. Bioethics simply isn't a theme in the movie. Instead, bioethics is just a plot device, a metaphor for the brevity of life.<br />
<br />
My boyfriend thought the story wasn't very American. Which figures, since the writer and screenwriter are British.<br />
<br />
But
actually I think there's something interesting about that idea. A
dystopia where nobody fights the evil of the system, or even notices
that it's evil. Evil is simply there, and the story addresses
completely different themes of love and life.<br />
<br />
Although come to think of it, maybe that's too trite. Maybe that describes every story ever.
<br />
<br />
<i>Pride and Prejudice</i>
ignores the evil of its own dystopia, and instead criticizes smaller
evils. Like how some people are so proud, other people are so
prejudiced, and some people are so depraved as to join the priesthood, or to elope. But sometimes those people learn that they were in the
wrong, and eventually come to admit it.<br />
<br />
I love that there's a
classic romance where the central plot is about two people changing
their minds about each other. Changing minds! What a rational value!
This also implies that the woman in the romance has a mind to be
changed. A romance where the woman has agency? It feels like the most
progressive romance I've known in ages!<br />
<br />
Probably the
worst part of the book is that the main reason the woman changes her
mind is in response to the man's display of financial generosity. He's
so wealthy, and sometimes he sometimes assists other wealthy people who
are on the verge of losing their wealthy status! The main problem with
this part is that it reminds us, the readers, of the dystopia which we were so
carefully pretending to ignore.
<br />
<br />
Generally,
I'm not a fan of so-called "classic literature", particularly when
people praise it as "timeless". There is no way that I am reading
classic works of literature the same way that contemporaries did. I
don't think I <i>should</i> read it that way. But Jane Austen was a pretty decent writer, and this novel was worth reading.millerhttp://www.blogger.com/profile/05990852054891771988noreply@blogger.com0tag:blogger.com,1999:blog-9124539381685751273.post-55358590766472217562015-09-06T19:33:00.000-07:002015-09-06T19:33:00.490-07:00Gödel's positive predicates<script type="text/x-mathjax-config"> MathJax.Hub.Config({tex2jax: {inlineMath: [['$','$'], ['$$','$$']]}}); </script> <script src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"> </script>
<i>This is part of my series on <a href="http://skepticsplay.blogspot.com/2015/02/debugging-ontological-argument.html" target="_blank">debugging the ontological argument</a>.</i><br />
<br />
As
explained in <a href="http://skepticsplay.blogspot.com/2015/08/consistency-and-material-conditional.html">the previous post</a>, the basic structure of Gödel's
Ontological Argument (GOA) is to first prove the "consistency" of God,
and then it follows that God must exist. In this post, I will how we prove God's consistency.<br />
<br />
The GOA introduces a second order
predicate, that is, a predicate that is applied to other predicates.
This second order predicate is called "positivity", but the name is more
suggestive than meaningful. For example, we could say that the
property of being red is a "positive" property, or we could say that being red
is not a positive property. Symbolically, we would write this as
$$P(R)\tag{1}\label{1}$$ where R means "is red" and P means "is
positive".<br />
<br />
GOA at first appears to stipulate a definition of "positivity", and of course it is fine to stipulate a new definition for a new concept. But my objection is that the definition is poorly formed.<br />
<br />
<span style="font-size: large;"><b>Too many premises</b></span><br />
<br />
The GOA takes the following premises about "positivity":<br />
<br />
$\ref{P1}$: If positive predicate Z entails<sup>1</sup> predicate Y, then Y is also positive. <br />
$\ref{P2}$: Given any predicate and its negation, exactly one of them is positive.<br />
$\ref{P3}$: The conjunction of all positive predicates (called "God-like") is itself a positive predicate.<br />
$\ref{P4}$: If a predicate is positive, then it is necessarily positive.<br />
$\ref{P5}$:
Necessary existence is positive. Necessary existence basically means
that in every possible world there is a copy of the given object.<br />
<br />
And in symbolic logic:<sup>2</sup>
$$\forall
Z \forall Y~ (P(Z) \wedge (Z \rightarrow Y) ) \Rightarrow
P(Y)\tag{P1}\label{P1}$$ $$\forall Z~ P(\lnot Z) \Leftrightarrow \lnot
P(Z)\tag{P2}\label{P2}$$ $$P(G);\qquad \text{Definition of G:}~ \forall
Z~ P(Z) \Rightarrow (G \rightarrow Z)\tag{P3}\label{P3}$$ $$\forall Z~
P(Z) \Rightarrow \square P(Z)\tag{P4}\label{P4}$$
$$P(NE)\tag{P5}\label{P5}$$ I leave out the logical definition of necessary existence because it's very technical and not relevant yet.<br />
<br />
The
GOA is not an especially popular form of the ontological argument, and
perhaps now you can see why. It gets rid of some of the questionable
premises in other ontological arguments, but it replaces them with five
whole new ones. Five! It's easy enough to just say, one of those
premises must be wrong.<br />
<br />
Indeed, I can't think of any reason we
should think that any of the premises are true. As far as I can tell,
the proof is not referring to any natural concept of
"positivity".<sup>3</sup> In particular, I don't see why every property either
needs to be positive or its negation does. What if being red is
positive in some contexts, but in other contexts it's better to be not
red? Or what if it's positive in this world, but there's a possible
world where it's not positive?<br />
<br />
Indeed, we can stop here, as far as
rebutting the GOA is concerned. It sure is a fancy argument, too bad
its premises aren't remotely persuasive.<br />
<br />
But the purpose of this series
is to dig deeper. So we turn to the question: <b>exactly which of the
premises is wrong?</b><br />
<br />
<span style="font-size: large;"><b>Stipulative definitions</b></span><br />
<br />
Since
"positivity" obviously doesn't correspond to any real concept of
positivity as far as I know, the only way I can interpret the word is
simply as a placeholder. We're creating a whole new concept, and
"positivity" is just the name we gave it. And since it's a whole new
concept, we can stipulate whatever definition we like for it.<br />
<br />
Indeed,
I believe that none of the premises are individually "wrong".
"Positivity" is a meaningless word, and we're allowed to stipulate
certain things about it. Any of the premises, taken individually, I
find acceptable to stipulate as a partial definition. Taken together,
however, there might be an issue.<br />
<br />
It is not true that you can stipulate just <i>any</i> definition for a word. The Stanford Encyclopedia of Philosophy lists <a href="http://plato.stanford.edu/entries/definitions/index.html#ref-3" target="_blank">two criteria</a> that a stipulative definition must follow, the first of which is relevant here:<br />
<blockquote class="tr_bq">
A stipulative definition should not enable us to establish
essentially new claims—call this the <i>Conservativeness</i>
criterion. We should not be able to establish, by means of a mere
stipulation, new things about, for example, the moon.</blockquote>
The whole
project of establishing the existence of God by stipulative definitions,
therefore seems rather quixotic. The very success of the proof only
demonstrates that the stipulative definition that we began with was
wrong.<br />
<br />
What's happening here, mechanically, is that the
definition of positivity is overly constraining. As a second-order
predicate, "positivity" has only so many degrees of freedom. As we give
it partial definitions, we are constraining its degrees of freedom, but
at some point we begin also to make constraints on the world (or on the
set of possible worlds).<sup>4</sup><br />
<br />
It's quite
similar to giving a single word two definitions. I can define a "foo" as an
eight-legged snake, and I can define a "foo" as Socrates, and either of
those definitions are fine on their own. Taken together, they can be
used to prove that Socrates is an eight-legged snake, which is a sign
the definitions too constraining (even if by a quirk of history it
turned out to be true that Socrates was an eight-legged snake).<br />
<br />
If
I were to pinpoint any of the five premises as particularly
problematic, I would say that the $\ref{P1}$ is. The concept of
entailment is based on the material conditional, which <a href="http://skepticsplay.blogspot.com/2015/08/consistency-and-material-conditional.html">as I argued previously</a> is a very counterintuitive concept. Using this
premise, if any impossible predicate is positive then <i>all</i>
predicates are positive. I'm not sure what "positivity" is really
intended to signify, but this premise would seem to go against the
spirit of it.<br />
<br />
------------------------------<wbr></wbr>------------------------------<br />
<br />
1.
As explained in the previous post, entailment means necessary
implication. In the case of predicates, if Z entails Y, then it is
necessary that for every object which has predicate Z, it also has
predicate Y.<br />
<br />
2. Here are some details on how the proof follows from these premises. Using
premises $\ref{P1}$ and $\ref{P2}$, we can prove that all positive
predicates are <a href="http://skepticsplay.blogspot.com/2015/08/consistency-and-material-conditional.html">strictly consistent</a>. If a positive predicate were
not strictly consistent, then it would entail a both Z and not Z, which
would mean that both Z and not Z are positive predicates, which
contradicts $\ref{P2}$. Using the rest of the premises, we show that
being God-like is positive, and therefore strictly consistent.<br />
<br />
3. <a href="https://en.wikipedia.org/w/index.php?title=G%C3%B6del%27s_ontological_proof&oldid=656751597#Outline_of_G.C3.B6del.27s_proof">According to Gödel</a>, "Positive means positive in the moral aesthetic sense (independently of the accidental structure of the world)". Thus it is clear that he intended to capture some sort of natural concept of positivity, although I think the proof fails to live up to these intentions. I will disregard Gödel's intentions with the hope of exploring the best possible version of the proof.<br />
<br />
4. Premises P1, P2, and P5 suffice to make a
constraint on the actual world: they prove that something exists. Just
P1 and P2 suffice to constrain the possible worlds: they prove that it
is possible that something exists. Though what they prove is trivial,
it is a sign that the definition is already too constrained and cannot
be stipulated.millerhttp://www.blogger.com/profile/05990852054891771988noreply@blogger.com0tag:blogger.com,1999:blog-9124539381685751273.post-29675213320871972902015-09-03T19:28:00.000-07:002015-09-03T19:28:00.056-07:00Dimpled model with curvesHere's one of the very earliest origami models I made, in fact the first 30 unit model. At the time, I was more interested in documenting the process of creation, so I have a bunch of photos<br />
<br />
<div class="separator" style="clear: both; text-align: center;">
<a href="http://2.bp.blogspot.com/-uNVX9_spa7k/Vd_EhAU8CII/AAAAAAAACdU/nkpFnrg3jxE/s1600/IMG_0467.JPG" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" src="http://2.bp.blogspot.com/-uNVX9_spa7k/Vd_EhAU8CII/AAAAAAAACdU/nkpFnrg3jxE/s640/IMG_0467.JPG" width="500" /></a></div>
<div style="text-align: center;">
Shown are 30 units of various colors. These days I usually assemble the units together as I make them, instead of making them all first.</div>
<br />
<div class="separator" style="clear: both; text-align: center;">
<a href="http://4.bp.blogspot.com/-iYoD_595JHk/Vd_EkXVJKCI/AAAAAAAACdg/nrMSXYFD3j0/s1600/IMG_0470.JPG" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" src="http://4.bp.blogspot.com/-iYoD_595JHk/Vd_EkXVJKCI/AAAAAAAACdg/nrMSXYFD3j0/s640/IMG_0470.JPG" width="500" /></a></div>
<div style="text-align: center;">
<span style="font-size: small;">I assemble the units together in a dodecahedral pattern.</span></div>
<br />
<div class="separator" style="clear: both; text-align: center;">
<a href="http://4.bp.blogspot.com/-DUG3VSLSuyc/Vd_EjwgSvqI/AAAAAAAACdc/I_W_BxZGdXI/s1600/IMG_0471.JPG" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" src="http://4.bp.blogspot.com/-DUG3VSLSuyc/Vd_EjwgSvqI/AAAAAAAACdc/I_W_BxZGdXI/s640/IMG_0471.JPG" width="500" /></a></div>
<div style="text-align: center;">
The last few pieces were the hardest. I recall taking pieces out and putting them back in a few times.</div>
<br />
<div class="separator" style="clear: both; text-align: center;">
</div>
<div class="separator" style="clear: both; text-align: center;">
</div>
<div class="separator" style="clear: both; text-align: center;">
<a href="http://2.bp.blogspot.com/-2DxkVlyGgMQ/Vd_Ecq2fQjI/AAAAAAAACdM/9Qyy6axtqqw/s1600/IMG_0472.JPG" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" src="http://2.bp.blogspot.com/-2DxkVlyGgMQ/Vd_Ecq2fQjI/AAAAAAAACdM/9Qyy6axtqqw/s640/IMG_0472.JPG" width="500" /></a></div>
<div style="text-align: center;">
<b>Dimpled model with curves</b>, from <i>Exquisite Modular Origami</i> by Meenakshi Mukerji</div>
<div style="text-align: center;">
<br /></div>
<div style="text-align: left;">
Looking back, the coloring of this model is interesting. Many unique patterns are used, but they're arranged such that the dominant colors form somewhat of a symmetric pattern. They don't form a "symmetric coloring" in the <a href="http://skepticsplay.blogspot.com/2013/08/patterned-icosahedron-and-symmetric.html">mathematical sense</a>, but rather, colors shift from red to green to blue. I feel this is actually more evocative than the mathematical symmetric coloring.</div>
<div style="text-align: left;">
<br /></div>
<div style="text-align: left;">
At the same time, I'm critical of the choice to use patterned paper. There are some pretty curls in the paper, and between the curls and patterned paper it's too busy.</div>
millerhttp://www.blogger.com/profile/05990852054891771988noreply@blogger.com0tag:blogger.com,1999:blog-9124539381685751273.post-34103547233649578082015-08-31T13:02:00.000-07:002015-09-02T00:32:44.366-07:00Between rationality and politicsLast year, there was <a href="http://www.patheos.com/blogs/hallq/2014/02/on-some-criticism-of-lesswrong/">an incident</a> where Arthur Chu criticized LessWrong/Rationalists for abandoning political effectiveness in favor of being "rational". This has been on my mind increasingly, partly because Arthur Chu went on to become <a href="http://arthur-chu.com/articles/">a popular columnist</a> whom I like, and I went on to learn more and more about <a href="https://topherhallquist.wordpress.com/2015/07/30/lesswrong-against-scientific-rationality/">how pathological</a> the Rationalist community really is.<br />
<br />
This has some personal significance, and is somewhat disillusioning. A decade ago, I became interested in skepticism primarily because I liked thinking about <i>how we think</i>, and how to improve upon the process of thinking on a meta level. I was also on board with the political project of skepticism (fighting bad beliefs), but became <a href="http://skepticsplay.blogspot.com/2014/03/why-i-am-ambivalent-about-skepticism.html">less interested in it over time</a>, which left just the critical thinking component of skepticism.<br />
<br />
But if I just have the critical thinking, these are basically the same values held by the Rationalist community. In fact, some of the things I like to write about, the Rationalist community addresses better than I do. And then, to discover how the Rationalist community behaves...<br />
<br />
But let's go back to the issue of rationality vs politics.<br />
<br />
<span style="font-size: large;"><b>Lies and Shunning</b></span><br />
<br />
At first, it sounded like "politics" meant lying for a cause. Part of the original context related to false or misleading statistics. That seems difficult to justify. I am in favor of, say, infographics which popularize information while eliding truth just a little. Certainly there are problems with clickbait pop science, and with partisan "research", but we also can't spend forever getting exactly every fact right, sacrificing all accessibility to get every detail. So I see both sides and, okay, it's really hard to justify misleading statistics.<br />
<br />
But I think I see now that it's not really about lying or eliding truth. It's about other rational values, such as...<br />
<ul>
<li>Always hear out an argument and consider it in its strongest form before calmly coming to a conclusion.</li>
<li>Never shun people no matter how bad they may be.</li>
</ul>
The idea of not shunning people seems fairly innocuous, or even positive, until you see it taken to its extreme. Take for instance, the <a href="http://techcrunch.com/2013/11/22/geeks-for-monarchy/">Neoreactionaries</a> (NRx). They're a small and inconsequential group who believe that we should get rid of democracy and return to the days of white supremacy (no, seriously). For some reason, many NRx are welcomed in LessWrong, to the point that LessWrong enjoys a space in <a href="http://rationalwiki.org/wiki/File:Scharlachs-visualizing-neoreaction.png">this map of neoreactionaries</a>.<br />
<br />
Scott Alexander, the second most popular LessWrong writer, has talked about how <a href="http://slatestarscratchpad.tumblr.com/post/93837173486/eccentric-opinion-countersignal">NRx have inspired his writing</a>, even though he thinks they're wrong. He contrasts them with feminists, who he says has correct "object-level" beliefs but bad meta-beliefs. On its face, he's basically saying he likes neoreactionaries because they talk the Rationalist talk. This is funny because there's a Rationalist saying, "rationality is about winning", which means that rationality isn't about how you <i>sound</i>, it's about the ultimate consequences. Valuing people who talk the talk is basically a bias towards the in-group. And what an in-group they've chosen!<br />
<br />
It's hard to tell exactly what effect it's had for the community to have extended exposure to NRx ideas. In my limited experience, my impression is Rationalists are perfectly willing to argue for racist things, more than the general public. I think NRx may have moved the whole Overton window of the community, and maybe Rationalists just think they're immune. To them, the only valid way to reject NRx ideas is by considering them at great length, and if you absorb some of their ideas in that time, hey, maybe they were good ideas worth adopting, because Rationalists couldn't possibly come to a wrong conclusion on an issue they've thought about.<br />
<br />
<span style="font-size: large;"><b>EA and AI</b></span><br />
<br />
I should mention that there appears to have been some sort of Rationalist diaspora. From what I've heard, the community used to be more centralized on the LessWrong website, but has now spread out to new websites and to new ideas. It is near certainty that what I criticize does not necessarily apply to the entire diaspora.<br />
<br />
Probably one of the best things to come out of Rationalism is the Effective Altruism movement (EA). They believe in figuring out which charities do the most good for your dollar and then donating lots of money to them. They're associated with organizations like <a href="http://www.givewell.org/">GiveWell</a> and <a href="https://www.givingwhatwecan.org/?gclid=CKCihef7sccCFQswaQodEuUA8Q">Giving What We Can</a>.<br />
<br />
They're pretty hard to fault. I mean, we can criticize the details, such as the particular things that they prioritize in their calculations. I'm also really iffy on the idea of "<a href="https://80000hours.org/articles/earning-to-give/">earning to give</a>". But one of the problems with EA is that telling people that their donations are ineffective sometimes just discourages them from donating at all. Likewise, if I criticize EA, I think that might just discourage people from donating at all.<br />
<br />
More recently, EA came under fire because their <a href="http://www.vox.com/2015/8/10/9124145/effective-altruism-global-ai">EA Global conference</a> prominently featured AI risk as one of their causes. That means people were talking about donating to the Machine Intelligence Research Institute (MIRI) to do artificial intelligence research in order to prevent extinction by a malevolent AI. Said research involves trying to build a benevolent AI. In response to criticism, Jeff Kaufman, who is <a href="http://www.jefftk.com/p/why-global-poverty">known for</a> advocating against AI research within EA, <a href="http://www.jefftk.com/p/pluralism-in-effective-altruism">called for pluralism</a>. (Scott Alexander, <a href="http://www.donotlink.com/gdfq">for his part</a>, argued that AI risk was at least somewhat reasonable and anyway less than a third of his donations go to MIRI. How inspiring.)<br />
<br />
So this is another case of not shunning people, but instead welcoming them. And as a consequence, some people in the community begin to regard it as correct, and most regard it as somewhat reasonable. But really, what place does AI risk have in an evidence-based charity group? It seems to be based more on philosophy--a very idiosyncratic take on utilitarianism, and a bunch of highly questionable probability estimates.<br />
<br />
Incidentally, that particular kind of utilitarianism is the kind advocated by LessWrong, and more specifically, its founder Eliezer Yudkowsky. Eliezer Yudkowsky has long argued for the importance of AI risk, and is the founder of MIRI. In some ways, convincing people to donate to MIRI was underlying motivation for teaching people his ideas about rationality. He wanted to show people that his own cause was right, despite being contrarian. And it worked! Not only do a lot of Rationalists accept the value of MIRI, there's also a preponderance of other strange beliefs held by Eliezer, including his favorable views towards cryonics and paleo diets.<br />
<br />
So basically, the EA movement is weighed down by the history of the Rationalist community and its particular in-group biases.<br />
<br />
<span style="font-size: large;"><b>Political rationality?</b></span><br />
<br />
Given the way the Rationalist community has turned out, I'm glad I never got involved, despite my intellectual values clearly leaning in that direction. One question is whether I can synthesize anything better.<br />
<br />
I wish I could, but I don't think I can. I feel conflicted about the whole thing.<br />
<br />
On the one hand, I have these rational values. Arguments should be treated based purely on content. It's easy to be blanket-skeptical about things which are actually reasonable. Ideas that sound too crazy to entertain can be right. Even if something is too crazy, rebutting it point by point can be helpful to other people who find it somewhat reasonable.<br />
<br />
On the other hand, I also believe <a href="http://skepticsplay.blogspot.com/2014/09/arguments-are-about-power.html">arguments are about power</a>. If you stick to purely rational arguments, you'll lose your audience and miss the point. And rational arguments aren't even very effective to help <i>yourself </i>come to the correct conclusions. I believe in the Overton window, and I believe it's something we need to fight over--actually fight, not just debate. I believe anger is so useful that I'll fake it if necessary. Finally, I believe in the goodness of shunning people, and <a href="http://skepticsplay.blogspot.com/2014/05/how-to-argue.html">shutting down arguments</a>.<br />
<br />
I don't think I am always consistent about which tack I take. And I don't think I have the ability, or commitment, to map out consistent rules for it. Better to take it on a case-by-case basis and spend that time on other things.<br />
<br />
This all makes me glad that I'm changing my blog title in a month.millerhttp://www.blogger.com/profile/05990852054891771988noreply@blogger.com0tag:blogger.com,1999:blog-9124539381685751273.post-875071323419424832015-08-28T12:11:00.000-07:002015-08-28T12:11:00.205-07:00A personal history with trans issuesSince
I'm resolving, as a cis person, to talk about transgender issues more
often, I wish to explain the personal trajectory that lead to my current
perspective.<br />
<br />
I first started identifying
as queer in 2009. More specifically, I'm gay gray-A, meaning that I'm
on the boundaries between asexual and gay. Back then, I was nominally
accepting of trans people, but I didn't think about them that much. And
the reality is that in this society, transphobia and ignorance are so
pervasive that if you haven't thought about it you are almost certainly
the holder of many problematic views and behaviors.<br />
<br />
But
I would say I was eager to learn, and here enters the asexual
influence. Asexuals were a small group that hardly anyone in the queer
student
groups understood or spoke of. Transgender people were in the same
boat. Clearly we should be friends.<br />
<br />
<b>Essential commentators
</b><br />
<br />
I
didn't actually have a personal friend who was trans until 2010. We
were both affiliated with queer-themed housing and were outcasts of
sorts from the main cliques (which consisted of gay men and straight
women, naturally). We ended up talking a lot about trans issues, often
so she could vent about things that other people in the house were
saying.<br />
<br />
This was of course very eye-opening. But the
most eye-opening stuff I learned was not trans 101, but learning about
the turbulence of trans politics. The very first thing I learned about
were trans-exclusive feminists. And then the real kicker was learning
about transphobia <i>among trans people</i>. The overall impression I had was of a bunch of people on a boat
that's been hit with a missile. As it sinks, everyone shouts over whose
fault it was and then tries to throw each other off the boat.<br />
<br />
That
isn't what you'd think of as an ideal introduction to a subject. But I
tend to think inter- and intra-community conflict is intriguing and
hashes out a lot of details that would otherwise go undeveloped. And
sometimes skipping to the advanced issues makes the basic issues seem
all the more obvious and urgent.
<br />
<br />
Since
then, I've found trans writers to be essential commentators. I don't
mean to treat trans people like magical social justice wizards, but
over the years I happened to like a lot of social justice critics who were trans activists. I don't know if I could really pin down the emotional
reasons why. I would say... progressive movements are absolutely
essential to trans people, but trans people also tend to have a healthy
degree of cynicism about the same movements. I also need those
progressive movements, and need<i> </i>that cynicism.<br />
<br />
<b>Non-binary aces
</b><br />
<br />
Most
of the trans writers I'm thinking of are trans women. But my central image of a trans person is someone who is non-binary. Because being in the ace community, non-binary people are
everywhere. There are <a href="https://asexualcensus.wordpress.com/2015/02/25/transgender-and-assigned-sex/">more non-binary people than there are men</a>.<br />
<br />
A few anecdotes might establish that
non-binary people weren't simply present, but taking important roles.
Back in 2011, I wrote a <a href="http://skepticsplay.blogspot.com/2010/12/brief-history-of-antisexuality.html">short history of the Livejournal asexuality community</a>. That history was based on an interview I had with
the founder, Nat Titman; Nat is non-binary. They're like the dark
knight of asexuality. They played a very important role, but dropped
out of public view for many years, partially out of concern that people
would confuse asexuality with gender.<br />
<br />
Also in 2011, I
conducted an interview (not available online) with Charlie, one of the
figures in the Transyada community. The Transyadas were a big deal in
2011. They started out as a massive thread on the AVEN forums, but
later decamped and moved to the Transyada forums. Note the reason they
decamped was because they were dissatisfied with the amount of
transphobia on AVEN, so that's a hint while non-binary people have
always been around, ace communities haven't always been friendly to
them.<br />
<br />
Aside from that, I've had many colleagues, cobloggers, copanelists, interviewees, and friends who were non-binary.
<br />
<br />
That
said, I've never made any concerted effort to learn about non-binary
issues. What I know about non-binary people is
mostly from osmosis over the years. I understand pronouns, and much of the vocabulary, but that's very much on a different level from being able to blog about it extensively.<br />
<br />
<b>On blog focus</b><br />
<br />
When
you have a personal blog, your choice of topics is a very personal
decision, and one that I don't need to defend. But I'll briefly comment
on why I haven't blogged much about trans issues in the past despite
considering them important.<br />
<br />
The basic reason is that I mostly use
this blog to share original thoughts. When it comes to trans issues,
the most appropriate thing is not to share my original thoughts, but to
amplify trans voices. And I don't have very much power to amplify so
what's the point?<br />
<br />
I feel the same way about Black Lives Matter.
It's a very important movement but also I don't know what to say about
it. When I comment on an issue, I tend to complicate things and add
nuance. But do I really need to bring any nuance to the issue of police
being violently racist? That strikes me as straightforward.<br />
<br />
But now I want to talk more about trans issues. Following my usual blogging style, that means adding nuance. But I'm keenly aware that
as a cis person, my ability to add nuance is limited, and I will ultimately make mistakes. I hope I have
enough trans readers around that they'll poke me if I say something
wrong.
<br />
<br />
<b>TL;DR</b><br />
<br />
-Trans issues are
important to me, and I also find trans women activists to be great
social critics in general.<br />
-In my experience with the ace community, I
interact with a lot of non-binary people, but I don't necessarily
understand their issues in great depth.<br />
-As I begin to comment more on
trans issues, I try to be aware of the limitations in my cis perspective.
<br />
<br />millerhttp://www.blogger.com/profile/05990852054891771988noreply@blogger.com0tag:blogger.com,1999:blog-9124539381685751273.post-86838770153054962142015-08-25T12:41:00.000-07:002015-08-25T12:41:53.588-07:00Discontinuity of selfI like to <a href="http://skepticsplay.blogspot.com/2014/12/why-i-find-lesswrong-fascinating.html">observe the LessWrong community from the sidelines</a>, because sometimes they have such strange consensus beliefs. <a href="http://rationalwiki.org/wiki/Roko%27s_basilisk">Roko's Basilisk</a> is <i>not</i> believed by most LessWrongers, but it is a rather amusing introduction to some of their beliefs.<br />
<br />
Roko's Basilisk is the idea that a benevolent AI could take over the world in the future, and then torture a clone of you unless you donate more money to building the AI now. The idea is absurd on its face, but becomes even more absurd when you learn that it sort of makes sense, given a bunch of beliefs that many LessWrongers have:<br />
<ol>
<li>An AI takeover in the future is highly likely, and it will resemble LW predictions (e.g. it will follow their particular brand of utilitarianism, have the ability to clone people).</li>
<li>If someone clones your state of mind, then you <i>are</i> the clone.</li>
<li>It is rational to provide incentives for past actions that have already occurred. This all part of Timeless Decision Theory, a utilitarian philosophy based on gazing deeply at <a href="https://en.wikipedia.org/wiki/Newcomb%27s_paradox">Newcomb's Paradox</a> and trying to rigorously justify the one-boxer position.</li>
</ol>
Note that this is unlike Pascal's Wager, in that the only people who get tortured are the true believers. If you don't believe in Roko's basilisk or aren't aware of it, then no good could come out of the threat of torture.<br />
<br />
There are good counterarguments to Roko's Basilisk, even within LessWrong assumptions, but for me it's all moot since I find the AI predictions to be implausible.<br />
<br />
----------------------------------------------------<br />
<br />
I also disagree with the idea that I <i>am</i> my clone, for idiosyncratic reasons.<br />
<br />
I believe the me of right now and the me of a minute from now are different people. We are in different space-time locations, we have different brain configurations, why would we be the same person? Yes, clearly we are the same person, falling along the same continuous line, but we're not the <i>same</i> same, we're not identical.<br />
<br />
Since I am unquestionably different from the person I was a minute ago, the question is why should I particularly care about this other person? He's not so special, you see. Maybe I shouldn't particularly care about him, maybe I should care about everyone equally. But the fact of the matter is, curse this material body, I care a lot about future me even though he is not me. I would act against the interests of everyone else to favor this one random guy, I really would.<br />
<br />
If someone clones my exact state of mind, that clone is not me. Like my future self, the clone would be a lot like me, but still not be identical. But unlike my future self, I don't particularly care about my clone. Why should I? I may care a lot about my future self, but that favoritism is a necessary evil. I see no reason to extend that evil any further to my clone.millerhttp://www.blogger.com/profile/05990852054891771988noreply@blogger.com0tag:blogger.com,1999:blog-9124539381685751273.post-8962647776464531362015-08-22T14:49:00.000-07:002015-08-22T14:49:00.084-07:00Flibanserin/Addyi: Potential problems for asexualsThe FDA <a href="http://www.fda.gov/NewsEvents/Newsroom/PressAnnouncements/ucm458734.htm" target="_blank">recently approved Flibanserin/Addyi</a> as a medication to treat low sexual desire in women. Let's talk about what that means for asexuals.<br />
<br />
<span style="font-size: large;"><b>Background
</b></span><br />
<br />
I apologize for repeating some background, but it's necessary because of the <a href="http://rotten-zucchinis.tumblr.com/post/127110821055/dispelling-myths-and-misinformation-re-the-addyi" target="_blank">many misconceptions about Addyi</a>.<br />
<br />
Addyi
is the very first drug approved for low sexual desire. No, Viagra was
never a treatment for low sexual desire. Furthermore, Addyi is taken
daily, while Viagra is taken as needed. Addyi also has serious side
effects. Most significantly, it absolutely does not mix with alcohol.
It's also considered <a href="http://www.accessdata.fda.gov/drugsatfda_docs/label/2015/022526lbl.pdf" target="_blank">too dangerous to take in the daytime</a>.<br />
<br />
Additionally,
the effects of Addyi are extremely marginal. In a trial, women with
sexual desire disorders started with a baseline of ~2.7 "sexually
satisfying events" per month. Placebo increased this number by once a
month, and Addyi increased it by less than twice a month. So we're
talking about an increase of about 20%, which for all I know could be
achieved by Addyi's sedative side effects.<br />
<br />
Hypothetically, a drug like Addyi could do some good for some people,
but let's talk about the drug we actually have. And regardless of the
good that it might hypothetically do, we also need to weigh that good
against the bad.<br />
<br />
<span style="font-size: large;"><b>Asexuals vs Desire Disorders.</b></span><br />
<br />
The
basic problem is that there may be some people with sexual desire
disorders, but asexuals exist too, and not everyone can distinguish
between them. Asexuality as an orientation has only come to public
awareness over the past decade or so, and it's extremely common for
asexuals themselves to be unaware of it. When confronted with
asexuality, many doctors, asexuals, and people in general deny what is
unfamiliar to them.<br />
<br />
Even if we were to approach the
problem from a clear-minded perspective, no simple rules can be used to
make the distinction. You can't use distress as a distinction because
asexuals may be distressed about their orientation, and often are. Even
if the distress is due to society, the asexuals themselves may not make
that connection until later. You can't use a sudden change in sexual
desire as a distinction, because sexuality can fluctuate. Someone who
was happy with higher sexual desire may also find happiness with low
sexual desire.
<br />
<br />
Some people think that there are at
least a few clear cases, such as women with low sexual desire due to other medical conditions, or as a side effect from other drugs. But Addyi is explicitly <i>not</i>
approved for such cases, because the risks haven't been assessed.<br />
<br />
<span style="font-size: large;"><b>Predicted problems
</b></span><br />
<br />
These are my predictions for what problems will occur affecting people on the asexual spectrum.
<br />
<br />
<b>Ad
campaigns</b> - There will likely be ads for Addyi which encourage people
to view low sexual desire as a problem, even if they wouldn't otherwise.<br />
<br />
<b>Unaware asexuals</b> - People who don't experience sexual attraction might be even less likely to learn about asexuality.<br />
<br />
<b>Disbelieving
public</b> - Partners, friends, relatives, and the general public are often
already predisposed to disbelieve asexuality, and might be even more
encouraged by Addyi and its marketing.<br />
<br />
<b>Pushy doctors</b> -
Doctors who do not recognize asexuality, or simply unaware, might
encourage their patients to take Addyi without making them aware of the
asexual spectrum.<br />
<br />
<b>Disbelieving doctors</b> - Doctors who hare aware of Addyi may be less likely to believe patients who disclose their asexuality.<br />
<br />
<b>Pushy partners</b> - People with partners with higher degree of sexual desire might be persuaded or even blackmailed into seeking Addyi. It could be used as a tool for control in abusive relationships.<br />
<br />
If you can think of any other predictions, I'd like to hear about them.<br />
<br />
<span style="font-size: large;"><b>Proposed solutions</b></span><br />
<br />
Since
Addyi is already approved, nothing can be done about that for now. But
to counteract some of the negative consequences, I propose that:<br />
<ul>
<li>Doctors
certified to prescribe Addyi should be educated about asexuality.</li>
<li>Addyi marketing materials should be criticized and mocked.</li>
<li>There
should be more mainstream articles thoughtfully addressing Addyi and sexual desire
disorders in relation to asexuality.</li>
</ul>
millerhttp://www.blogger.com/profile/05990852054891771988noreply@blogger.com0tag:blogger.com,1999:blog-9124539381685751273.post-91169435237251651822015-08-19T14:31:00.000-07:002015-08-19T14:31:00.112-07:00Consistency and the material conditional<script type="text/x-mathjax-config"> MathJax.Hub.Config({tex2jax: {inlineMath: [['$','$'], ['$$','$$']]}}); </script> <script src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"> </script>
<br />
<i>This is part of my series on <a href="http://skepticsplay.blogspot.com/2015/02/debugging-ontological-argument.html" target="_blank">debugging the ontological argument</a>.</i><br />
<br />
In the <a href="http://skepticsplay.blogspot.com/2015/08/godels-workarounds-to-ontological.html">previous post of this series</a>, I introduced Gödel's
Ontological Argument (GOA) by discussing all the things Gödel got <i>right</i>.
I also use this discussion as a means of gradually breaking down the
argument without throwing all of it in your face at
once.<sup>1</sup><br />
The three major parts of the GOA are:<br />
<ol>
<li>God is consistent (proven in earlier steps, to be discussed in next post).</li>
<li>If something is consistent, then it is possible.</li>
<li>If God is possible, then God is necessary (<a href="http://skepticsplay.blogspot.com/2015/07/plantingas-modal-ontological-argument.html">for reasons already discussed</a>).</li>
</ol>
Here
I will discuss the second step. At first it is highly
counter-intuitive, but upon understanding the logic, you will find that
the reasoning is valid, and even trivial, but still unsatisfying.<br />
<br />
<span style="font-size: large;"><b>Material consistency</b></span><br />
<br />
The
intuitive definition of consistency is that there are no
contradictions. To say proposition S is consistent is to say that S
does not lead to any contradictions. But there's a lot of work done by
the phrase "lead to". In logic, we might translate this to logical
implication. $$\lnot \exists Q ( S \Rightarrow (Q \wedge \lnot Q)
)\tag{1}\label{1}$$ In English, this is "There does not exist a
proposition Q such that S implies both Q and not-Q." Here, "implies" is
logical implication, also sometimes called the "material conditional".<br />
<br />
The
material conditional is notorious for causing countless errors in
students of math and logic.<sup>2</sup> The statement "If
S, then R" means that either R is true, or S is false (or both), and it
says nothing about the conceptual connection between R and S. For
instance, I can say, "If Mars is a giant egg, then the moon is made of
cheese." and it would be literally true, because Mars is not in fact a
giant egg.<br />
<br />
The material conditional makes for a particular definition of consistency, which I will call <b>material consistency</b>. <br />
<br />
<i>If S is materially consistent, then S must be true!</i><br />
<br />
The
reasoning is actually quite trivial. The only way for a material
conditional "If S, then R" to be false, is if S is true and R is false.
Thus, if S does not imply a contradiction, then S must be true. In
fact, if there is <i>anything whatsoever</i> that S does not imply, then S must be true.<br />
<br />
You
should find this a rather unsatisfying definition of consistency.
Literally everything that is untrue is materially inconsistent. It is
inconsistent for me to live in Southern California. It is inconsistent
for you to be standing next to me. It is inconsistent for my pen to be out of ink. Is that really what we want to say?<br />
<br />
<span style="font-size: large;"><b>Strict consistency</b></span><br />
<br />
The
major reason that so many people find the material conditional
counterintuitive is that we are accustomed to so many other kinds of
conditionals in natural language. For example, I am much entertained by
<a href="http://languagelog.ldc.upenn.edu/nll/?p=1469" target="_blank">these examples</a> <a href="http://itre.cis.upenn.edu/%7Emyl/languagelog/archives/000049.html" target="_blank">documented by</a> <a href="http://itre.cis.upenn.edu/%7Emyl/languagelog/archives/000408.html" target="_blank">Language Log</a>:<br />
<blockquote class="tr_bq">
If you want to know, 4 isn't a prime number.<br />
If Eskimos have dozens of words for snow, Germans have
as many for bureaucracy. <br />
It's all perfectly normal — if troublesome to varying degrees.</blockquote>
Language
Log refers to these as the biscuit conditional, bleached conditional,
and concessive conditional respectively. In my personal experience,
it's a standard joke among math and logic enthusiasts to naively
interpret a conditional statement using the material conditional even
when it doesn't make sense.<br />
<br />
But even when people are using a more
logical kind of conditional, they are often thinking of more than just
the material conditional. For example, the statement, "If Mars is a
giant egg, then the moon is made of cheese," might mean that Mars being a
giant egg might somehow physically cause the moon to be made of
cheese. Or perhaps it means that given the counterfactual universe
where mars is a giant egg, then the moon would also be made of cheese.<br />
<br />
Since
this series is primarily concerned with what can be translated to
symbolic logic, we will take a particular conditional called the "strict
conditional", also called <b>entailment</b>. Symbolically, I'll
distinguish between implication and entailment by using different kinds of arrows: $$S \Rightarrow R\tag{2}\label{2}$$ $$S \rightarrow R
\tag{3}\label{3}$$ Statement \ref{2} means "S implies R", while
statement \ref{3} means "S entails R". S is said to entail R if S
implies R in all possible worlds. We've already built modal logic to
make sense of the concept of possibility, so we might as well use it.<br />
<br />
The strict conditional leads to another definition of consistency, which I will call <b>strict consistency</b>. "S is strictly consistent" means $$\lnot \exists Q ( S \rightarrow (Q \wedge \lnot Q) )\tag{4}\label{4}$$<b> </b><i>If S is strictly consistent, then S must be possible.</i><br />
<br />
This follows trivially, since if S does not <i>entail</i> a contradiction, then there must be at least one possible world where S does not <i>imply</i> a contradiction. As argued before, if S does not imply a contradiction in some possible world, then S is true in that possible world.<br />
<br />
<span style="font-size: large;"><b>Why this is unsatisfying</b></span><br />
<br />
In
my history of arguing about the ontological argument, I find that some
people find it "obvious" that God is consistent. There's simply no
contradiction to be had in the definition of a perfect being. And then,
you hardly need the rest of the GOA, you just assert that God therefore
exists.<br />
<br />
The problem I have with this argument is, what <i>kind</i>
of consistency do you think is so obvious? The very idea of strict
consistency has nothing whatsoever to do with the definition of God, so
it doesn't matter how sensible (or insensible) the definition of
God is. All that matters is whether God exists in a possible world. If
not, then God implies a contradiction, because using the material
conditional, God implies absolutely everything.<br />
<br />
Furthermore, the idea of strict consistency relies on the idea of possibility, which in turn relies on our choice of <a href="http://skepticsplay.blogspot.com/2015/06/modal-logic-semantics.html" target="_blank">modal logic semantics</a>.<br />
<br />
For
example, consider the statement, "If the moon is made of cheese." Let's consider "possibility" to
refer to all possible pasts and futures. I don't believe that the moon
is made of cheese in any possible past or future, therefore, the very
idea is strictly inconsistent.<br />
<br />
Now, let's consider "possibility" to
instead refer to all universes with the same physical laws. I believe it's physically possible to have a moon with the same chemical makeup
as cheese, and thus we would say that the idea is strictly consistent. But which is it? Is a moon made of cheese consistent or inconsistent?<br />
<br />
In the next post, I will discuss how God's consistency is proven in the context of the GOA. <br />
<br />
------------------------------<wbr></wbr>----------------<br />
<br />
1. If for some reason you really do want the entire argument thrown at you all at once, I wrote up <a href="http://skepticsplay.blogspot.com/2009/06/godels-ontological-argument-step-by.html" target="_blank">Gödel's ontological argument step by step</a> in 2009.<br />
<br />
2. A good exercise, if you've never seen it, is to try the <a href="https://en.wikipedia.org/wiki/Wason_selection_task" target="_blank">Wason selection task</a>.
The task is, given a number of cards in front of you, to decide which
cards need to be flipped to verify a particular hypothesis about them.millerhttp://www.blogger.com/profile/05990852054891771988noreply@blogger.com0tag:blogger.com,1999:blog-9124539381685751273.post-1725866802993482382015-08-18T18:52:00.001-07:002015-08-18T18:53:22.295-07:00Meta-issues with petitionEarlier, I wrote about a <a href="http://skepticsplay.blogspot.com/2015/08/the-petition-against-flibanserin.html">petition to the FDA</a> to disapprove the drug Flibanserin (brand name Addyi), and expressed my (lukewarm) support of it. The petition is no longer circulating, since the FDA has already made its decision. <a href="http://www.fda.gov/NewsEvents/Newsroom/PressAnnouncements/ucm458734.htm">It was approved</a>.<br />
<br />
Previously, I made an error: I said that Flibanserin was a treatment for Female Sexual Interest/Arousal Disorder (FSIAD). In fact, it was tested for Hypoactive Sexual Desire Disorder (HSDD), which is an out-of-date diagnosis. That's bad because HSDD doesn't have a loophole for asexuals. Furthermore, HSDD is defined to include people with "interpersonal difficulties", which means if their <i>partner</i> is unhappy with it they could get diagnosed.<br />
<br />
So now that it's done, I have to say, I really don't get the point of the petition. A drug should be approved or disapproved on scientific grounds. And a petition is not exactly proper scientific protocol.<br />
<br />
The basic problem with petitions is that they only contain information about how many people agreed, and not how many people disagreed. Circulate a petition widely enough, you can get as many signatures as you want. Even petitions signed by scientists are pretty useless, as parodied by <a href="http://ncse.com/taking-action/project-steve">Project Steve</a>.<br />
<br />
Many people signing the petition dwelt long on arguments over whether the clinical trials show that Flibanserin is effective. I don't see how that is relevant to the petition. The FDA already knows about the clinical trials. It doesn't need thousands of people on the internet to offer their own opinion. That's why, in my argument in favor of the petition, I waved away the results of clinical trials in favor of discussing the social ramifications of the drug.<br />
<br />
At the same time, I'm highly doubtful that the FDA even considers social ramifications in <a href="http://www.fda.gov/Drugs/DevelopmentApprovalProcess/HowDrugsareDevelopedandApproved/ApprovalApplications/NewDrugApplicationNDA/">its approval process</a>. I'm also doubtful that they should. Say that the FDA is deciding on a contraceptive drug, do I really want them to even <i>consider </i>arguments that birth control ruins our culture? I don't think so.<br />
<br />
The Ace Flibanserin Task Force was also plugging <a href="http://www.ipetitions.com/petition/end-deceptive-pr-about-womens-sexual-health">another petition</a> which urges the FDA to stick to the science and ignore all the pro-Flibanserin PR. The thing about that petition, its message is inconsistent with first petition. One petition says, just look at the science and nothing else. The other petition says, also look at these social ramifications. Well. That's politics I guess.<br />
<br />
Really, the main point of this petition seems to be to get people in the asexual community to talk about Flibanserin. Fine, it got me to talk about it. It didn't get me to stop being a cynic.<br />
<br />
Now that it's been approved, I suppose we'll see what its social ramifications are.millerhttp://www.blogger.com/profile/05990852054891771988noreply@blogger.com0tag:blogger.com,1999:blog-9124539381685751273.post-5972815996980075832015-08-16T12:01:00.000-07:002015-08-16T12:01:00.159-07:00 What is idolatry?There
are some Christian ideas that are easily translatable into secular
ideas. For example, a sin is just something that's morally wrong. And
so when Christians say homosexuality is a sin but they're not judging,
nobody is fooled.<br />
<br />
Idolatry, on the other hand, is a mystery. You shall have no other gods before YHWH... why?<br />
<br />
I'm
not up on my Biblical history, but my understanding is that at the
time, polytheism was common, and early Jews believed their god was just
one of many. So the rule about idolatry basically expresses the
jealousy and pettiness of their god. It is also an expression of
ethnocentrism--you shall never leave our group or ever adopt practices
from other groups. This law is basically awful and a force for evil.<br />
<br />
In many modern interpretations, idolatry is not so much about other gods, but about other "gods". You're not supposed to hold <i>any</i>
idea higher than the one god. For example, any form of addiction can
be described as idolatry since the object of addiction is being held
higher than God. For another example, atheists are frequently described
as idolatrous because they're supposedly replacing God with reason or
science.
<br />
<br />
This frankly leads to a very poor
understanding of addiction or atheism. It's a peculiarly
Christian-centric worldview, to say that everyone is just like you only
sometimes they deviate from the platonic ideal in certain ways. This is
the sort of thing that makes people think it's appropriate for
Alcoholics Anonymous to refer to God "as you understand him". Have you
considered that some of us just don't have a God-analogue in our lives?<br />
<br />
I
also find it strange to have a rule which basically says, the beliefs
specific to our group are the most important. Nothing else in your life
should be as important. This is just more ethnocentrism, and it should
not be an explicit value.
<br />
<br />millerhttp://www.blogger.com/profile/05990852054891771988noreply@blogger.com0tag:blogger.com,1999:blog-9124539381685751273.post-10255211128813859292015-08-13T13:44:00.000-07:002015-08-13T13:44:00.221-07:00Moore's paradox and genderAfter just criticizing myself for being <a href="http://skepticsplay.blogspot.com/2015/08/cis-by-default-and-privilege.html">overly philosophical</a> about trans people, I can't help myself. Philosophy ate my brain, and anyway it's an attention hook. Let's talk about Moore's paradox.<br />
<blockquote class="tr_bq">
It is raining, but I don't believe it is raining.</blockquote>
or,<br />
<blockquote class="tr_bq">
P, but I don't believe P.</blockquote>
The funny thing about Moore's paradox is that the statement might very well be true. Sometimes, a fact is true even though I don't believe it. On the other hand, if I actually made that statement, you would know that either I'm lying or that I think I'm lying.<br />
<br />
As nonsensical as that is, sometimes people say something similar about gender identity:<br />
<blockquote class="tr_bq">
I don't identify as a woman, I am a woman.</blockquote>
By saying that you're a woman, isn't that in itself identification as a woman? What are we to make of this nonsensical statement? What is the intended meaning?<br />
<br />
In queer discourse, we talk about our identities all the time. So sometimes I might say, "I'm gay", and the act of saying so is an act of identifying myself. Other times, I might say, "I identify as gay", and that's a statement of my typical actions. And there are a lot of nuances. For instance, I might identify as gay on Facebook, but not in a job interview. Or maybe "gay" tells an imprecise story about me, and sometimes I prefer to tell a more precise story.<br />
<br />
I surmise that trans people are similar, and for this reason often talk about which genders they identify as.<br />
<br />
Many cis people are privileged enough that they never have to think about their gender identities or the nuances thereof. So when they see trans people saying they identify as X or Y gender, they see an opportunity to assert the superiority of their own gender identities. The thought process goes, "All those trans women only <i>identify</i> as women, but I am different. I <i>am</i> a woman." But this is a fundamental misunderstanding of what is meant by identity.<br />
<br />
I also learned that some people--feminists--have something different in mind when they say they don't identify as women. They are trying to say that they don't identify with all the trappings of women's gender roles--pink dresses, makeup, shopping, homemaking, being overly emotional and caring. This is a fine thing to say, but also represents a misunderstanding. Trans women may <i>also </i>express discomfort with all the trappings of women's gender roles, or they may not. Just like cis women. When they identify as women, they aren't really making a statement either way.<br />
<br />
This is all part of the myth that trans women always take femininity to the extreme. And for decades, the image of trans women has been that of hyper-feminine women. However, this image comes from outright erasure of less feminine trans women (as well as the rest of the trans spectrum), and also the medical barriers which basically <i>required</i> trans women to exaggerate their femininity in order to get life-saving treatments.millerhttp://www.blogger.com/profile/05990852054891771988noreply@blogger.com0tag:blogger.com,1999:blog-9124539381685751273.post-81621741704835125442015-08-10T06:10:00.000-07:002015-08-18T18:46:14.688-07:00The petition against Flibanserin<span style="font-size: large;"><b>Background</b></span><br />
<br />
<b>Flibanserin</b> (trade name: Girosa) is a drug that treats low sexual desire in women (Female Sexual Interest/Arousal Disorder, or FSIAD). It is not publicly available because it has not (yet) been approved by the FDA. The FDA will approve or disapprove of it by the end of the week.<br />
<br />
Flibanserin is not like Viagra, although that's a common misunderstanding. Viagra does not treat low sexual desire, but rather erectile dysfunction. Furthermore, Flibanserin is intended to be taken on a regular basis. Trials show that women with acquired sexual desire disorders who take Flibanserin had on average 0.7 more satisfying sexual events per month, as compared to placebo. Specifically, it increased the number from 2.8 to 4.5, whereas placebo increased it from 2.7 to 3.7. There are also side effects, though I'm not too familiar with what they are.<br />
<br />
The <b>Ace Flibanserin Task Force</b> is circulating a petition among aces to <a href="http://bit.ly/dontdrugshame">recommend that the FDA disapprove</a>. The existence of Flibanserin would encourage doctors to diagnose asexuals with FSIAD, and it is likely that the Flibanserin/Girosa ad campaign will involve shaming women for low sexual desire.<br />
<br />
This has <a href="http://www.asexuality.org/en/topic/123393-changeorg-tell-the-fda-disinterest-in-sex-shouldnt-be-treated-with-a-pill/">sparked</a> <a href="http://rotten-zucchinis.tumblr.com/post/125958558180/the-food-and-drug-administration-tell-the-fda">some</a> <a href="https://theminusroots.wordpress.com/2015/08/06/re-disinterest-in-sex-shouldnt-be-treated-with-a-pill/">argument</a> over whether the petition is right. Asexuals may be "happy" with a lack of sexual desire (though there are always external factors affecting their happiness), but that doesn't mean that everyone is happy with it, and perhaps some people have conditions that are best treated within a healthcare framework. Is it right for asexuals to take away that choice?<br />
<br />
These are good questions to ask. Way back in 2010, Flibanserin was also being considered for approval by the FDA (it was rejected), and a similar petition was being circulated. So I helped create this <a href="http://prismaticentanglements.com/2010/09/30/guest-post-interview-with-k-on-female-sexual-dysfunction/">interview with a sexual dysfunction activist</a>, so that we could learn what the "other side" is concerned about.<br />
<br />
<span style="font-size: large;"><b>Why I support this petition</b></span><br />
<br />
<span style="font-size: small;">Is it right for asexuals to take away the choice of people who want effective treatment for sexual desire disorders? While this is an important question, it is not the same as the question of whether to <a href="https://www.change.org/p/the-food-and-drug-administration-tell-the-fda-disinterest-in-sex-shouldn-t-be-treated-with-a-pill?recruiter=163364&utm_source=share_petition&utm_medium=copylink">sign the petition</a>. A petition simply doesn't have the power to take away an effective medical treatment. The petition is neither created or signed by scientific experts, and the FDA knows this.</span><br />
<br />
<span style="font-size: small;">The purpose of the petition, in my view, is to ask the FDA to consider the externalities of approving Flibanserin. Principally, I am worried about that public ad campaign which will amplify the social shaming of low sexual interest, and doctors' inability to distinguish between asexuality and sexual desire disorders. The harms caused by these externalities would be difficult, if not impossible to measure with scientific studies, <b>but they are still real harms</b>. And without a petition, the FDA would not have much of a basis to consider these harms.</span><br />
<br />
In many of the arguments over the petition, people are talking about the scientific research into Flibanserin, and its exceedingly marginal effect. If you're willing to <a href="http://www.fda.gov/downloads/AdvisoryCommittees/CommitteesMeetingMaterials/Drugs/ReproductiveHealthDrugsAdvisoryCommittee/UCM215437.pdf">read the research</a>, you may let that inform your decision. However, in principle, you shouldn't have to. It's the FDA's job to consider the body of research, and as a non-expert I cannot meaningfully contribute to that.<br />
<br />
All that matters is that, at a glance, the effects of Flibanserin look marginal, so there's a chance that the external costs might matter. The FDA can weigh the petition in their own cost-benefit analysis, and can still decide either way. Since I am not an expert, I trust the FDA's judgment more than my own.<br />
<br />
<span style="font-size: large;"><b>On people with sexual dysfunction</b></span><br />
<br />
<span style="font-size: small;">In <a href="http://prismaticentanglements.com/2010/09/30/guest-post-interview-with-k-on-female-sexual-dysfunction/">the interview</a> with the sexual dysfunction activist in 2010, we learned a few important things. </span><br />
<span style="font-size: small;">While it is true that many asexuals have difficulty getting their doctors and therapists to recognize their asexuality, the flipside is that people with sexual dysfunctions have the same difficulty. Even when the dysfunction literally causes pain, doctors may not recognize it or offer treatment.</span><br />
<br />
<span style="font-size: small;">Furthermore, there are also many feminists who oppose <i>any</i> drug to increase sexual desire, even if effective. Instead they take the view that "low sexual desire" is a social problem, or that we're socialized to think it's a problem. I looked around to see <a href="http://www.slate.com/blogs/xx_factor/2015/02/18/female_viagra_is_not_the_fix_and_the_fda_s_rejection_of_flibanserin_is_not.html">what feminists are saying</a> <a href="https://www.washingtonpost.com/posteverything/wp/2015/06/08/im-a-feminist-heres-why-i-dont-support-the-female-viagra/">against Flibanserin now</a>, and they do raise many valid concerns. On the other hand, the articles minimize or wave away people with sexual dysfunctions. As our interviewee observed in 2010, voices from people with sexual dysfunctions are entirely absent.</span><br />
<br />
<span style="font-size: small;">Though I support the petition, I do not support the silencing of the concerns of people with sexual dysfunctions.</span><br />
<br />
<span style="font-size: small;"><b>Corrections </b></span><span style="font-size: small;"><b><span style="font-size: small;"><b>8/18/2015</b></span>: Flibanserin's brand name is Addyi, not Girosa, and it was tested to treat Hypoactive Sexual Desire Disorder (HSDD) rather than FSIAD.</b> </span>millerhttp://www.blogger.com/profile/05990852054891771988noreply@blogger.com0tag:blogger.com,1999:blog-9124539381685751273.post-31753668751063195272015-08-07T09:17:00.000-07:002015-08-07T09:17:00.307-07:00"Cis by default" and privilegeEarlier, when I wrote <a href="http://skepticsplay.blogspot.com/2015/07/cis-diversity.html">Cis Diversity</a>,
the popularity of that post surprised me. I don't think I was saying
anything new, rather, I was simply sharing Ozy's idea of "<a href="https://thingofthings.wordpress.com/2015/01/28/cis-by-default/">cis by default</a>". But perhaps it's an idea that deserves explanation, spreading and re-explanation.<br />
<br />
Now, let's talk about the problems with "cis by default".<br />
<br />
As a political tactic, it's useful to convince cis people that they may be cis by default. The political message is, even if you don't understand gender identity, you should still trust trans experiences. If you don't understand it, maybe it's you, not them.<br />
<br />
On the other hand, I suspect that a lot of cisgender people initially think they're cis by default when they're not. This suspicion comes from my own experience, where I initially thought my gender wasn't that important to me. But upon increased interaction with non-binary people I realized that my gender is actually pretty important to me. I think an internal sense of gender may not be immediately obvious. If you're trans, you notice something wrong, and after a lot of thought and investigation you figure out what it is. If you're cis, you don't notice anything wrong and then you just aren't motivated to think about it very hard.<br />
<br />
It's not that cis-by-default people don't exist. I'm sure they do. But often I think the best evidence for this is not in listening to cis experiences, but in listening to trans experiences. Many trans people clearly have an internal sense of gender, and many others just as clearly do not. Any theory of gender that does not account for transgender experiences is a pretty poor excuse for a gender theory.<br />
<br />
On that note, here's Zinnia Jones, discussing more or less the same topic:<br />
<br />
<iframe allowfullscreen="" frameborder="0" height="315" src="https://www.youtube.com/embed/myMfiei6xKQ" width="560"></iframe>
<br />
There's also <a href="http://freethoughtblogs.com/zinniajones/2015/07/how-do-you-know-what-its-like-to-be-gender-analysis-08/">a transcript</a>.<br />
<br />
Notice the immediate differences in the way Zinnia talks about it and the way I do. I'm clearly coming from a cisgender perspective. The idea of an internal gender sense is of <i>philosophical</i> interest to me, and to my cis readers as well. To a trans person, this is not a philosophical issue, it is a practical one. Trans people can't treat it as a spherical cow problem. It's probably overly simplistic to suggest that some people just have an internal gender sense, and others just don't.<br />
<br />
Zinnia also talks at length how the question of what it "feels like" to be a gender is not politically neutral. People use this question to invalidate trans experiences, because they think trans people can't really know what it's like to be a woman or be a man.<br />
<br />
The great irony here is that it's often <i>cis people</i> who don't know what it's like to be a gender. We often have the privilege of being able to leave it as an eternal mystery. Trans people don't have that luxury.millerhttp://www.blogger.com/profile/05990852054891771988noreply@blogger.com0tag:blogger.com,1999:blog-9124539381685751273.post-24862668564493771552015-08-05T10:40:00.000-07:002015-08-05T10:40:00.145-07:00Sometimes you de-escalate, sometimes you escalateIn the past week or so, I've been watching not one but <i>two</i> blogging controversies. If you follow both my blogs consistently, you've already heard all about them. Otherwise, this is vague-blogging.<br />
<br />
The first blogging controversy, from the atheosphere, concerns a certain individual. I'm very critical of her, but also I think she already has more criticism than she can handle, and I'm worried that the whole thing will blow up in a bad way. It might still blow up in any case, and I don't have much control over that. But for the time being, I'm choosing not to speak directly about it.<br />
<br />
The second blogging controversy, from the asexosphere, concerns a certain website. Among other things, I got a Life Achievement: threaten to take down a website for copyright violations. People had more politely raised the issue months ago, and the website just twiddled its thumbs until more people recently got angry about it. Escalation was necessary.<br />
<br />
These two controversies provide an interesting contrast. Note that my chosen strategy goes against the conventional wisdom in the respective communities. The atheosphere is very confrontational and escalates every conflict; the asexosphere is very conflict-averse.<br />
<br />
My take-away lessons: No single strategy works everywhere. Communities too often stick to whatever strategy has worked in their past, without regard to the current context. Criticism should be moderated if you think you're just contributing to a pile-on. If you don't want people to get angry, you better not wait until they get angry to address their concerns.millerhttp://www.blogger.com/profile/05990852054891771988noreply@blogger.com0tag:blogger.com,1999:blog-9124539381685751273.post-16625601233104447062015-08-04T22:26:00.000-07:002015-08-18T10:42:48.768-07:00Godel's workarounds to the ontological argument<script type="text/x-mathjax-config"> MathJax.Hub.Config({tex2jax: {inlineMath: [['$','$'], ['$$','$$']]}}); </script> <script src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"> </script>
<i>This is part of my series on <a href="http://skepticsplay.blogspot.com/2015/02/debugging-ontological-argument.html">debugging the ontological argument</a>.</i><br />
<br />
In the previous post, I discussed <a href="http://skepticsplay.blogspot.com/2015/07/plantingas-modal-ontological-argument.html">Plantinga's modal ontological argument</a>, which is about the simplest modal ontological argument you can get. A simply-stated argument is quite valuable, but I believe that as a matter of technical feat, Plantinga's argument was surpassed by Gödel's Ontological argument (GOA).<br />
<br />
This series does not focus on history, but I will dryly summarize a few <a href="http://en.wikipedia.org/wiki/G%C3%B6del%27s_ontological_proof">established facts</a>. Gödel formulated the argument in 1941, but only told people about it in 1970. Gödel did not actually believe that the argument proved God, and was afraid that publishing it would send that message. He was more interested in it from the perspective of logical investigation (which is my interest as well). It was published posthumously in 1987, which as far as I know predates Plantinga's argument.<br />
<br />
Long story short, I've gotten several people who said stuff like (actual quote), "The first premise you must accept is that Godel was almost certainly much, much, smarter than you." And besides being the worst kind of argument from authority it's also historically wrong about Gödel's motivations.<br />
<br />
But it is true, after all, that Gödel was very smart, and I find the GOA to be quite clever in ways that are not immediately obvious. This post will focus on several things that the GOA got right.<br />
<br />
<span style="font-size: large;"><b>1. Possibility is proven, not assumed</b></span><br />
<br />
In the <a href="http://skepticsplay.blogspot.com/2015/03/making-sense-of-existence.html">conceptual ontological argument</a>,
we had difficulty with the premise that God was "conceivable" in the
sense required by the proof. In the modal ontological argument, we had
difficulty with the premise that God was "possible" in the sense
required by the proof. In the GOA, we don't need to assume that God is
possible. Instead, we prove it from more basic premises.<br />
<br />
The basic structure of the GOA is as follows:<br />
1. We define what is a positive property.<br />
2. Using the definition of positive properties, we prove that positive properties are always <i>consistent</i>.<br />
3. We prove that <i>consistent</i> properties are always <i>possible</i>.<br />
4. The property of being God is taken to be positive.<br />
5. Therefore God is possible.<br />
6. Therefore God is necessary (this part of the proof is identical to <a href="http://skepticsplay.blogspot.com/2015/07/plantingas-modal-ontological-argument.html">Plantinga's argument</a>).<br />
<br />
If you're interested in the particulars, I wrote out the <a href="http://skepticsplay.blogspot.com/2009/06/godels-ontological-argument-step-by.html">entire ontological argument</a> years ago. The goal in this series is to explain the steps in more depth rather than detail.<br />
<br />
<span style="font-size: large;"><b>2. Existence is a predicate</b></span><br />
<br />
Earlier in this series, I wasted much time with an in depth discussion of <a href="http://skepticsplay.blogspot.com/2015/02/is-existence-predicate.html">whether existence is a predicate</a>. In a first analysis, it cannot be a predicate, or at least not a very useful one. In <a href="http://skepticsplay.blogspot.com/2015/03/making-sense-of-existence.html">later analysis</a>, I note that existence can be a predicate after all, under certain conditions. One possible condition is if we use <b>second order predicate logic</b> (SOPL), and that is what the GOA does.<br />
<br />
In more detail, the GOA defines necessary existence as follows:<br />
$$E(x) \Rightarrow \forall\phi~ (\phi~ess~x \Rightarrow \square \exists y~ \phi(y) )\tag{1}\label{ref1}$$<br />
In plain language, necessary existence (E) means that in all (accessible) possible worlds, there exists an object with all exactly the same properties. This requires SOPL since it applies a quantifier to a predicate ($\phi$). In my opinion, this completely answers Kant's objection to the ontological argument.<br />
<br />
You might notice that \ref{ref1} includes the phrase "$\phi~ess~x$" which means "$\phi$ is the essence of x". This simply means that $\phi$ is the conjunction of all properties of x.<br />
<br />
<b><span style="font-size: large;">3. God's definition is no longer fluff</span></b><br />
<br />
Earlier in the series, I complained that many version of the ontological argument have completely <a href="http://skepticsplay.blogspot.com/2015/05/aesthetics-in-ontological-argument.html">pointless augmentations</a>. They define God as a maximally great being, or a being with all the perfections, and this uses far more assumptions than is necessary.<br />
<br />
In the GOA, God is defined as a being which has the conjunction of all positive properties, but this is actually a crucial component of the proof! The entirety of the proof hinges on the definition of "positive properties", and there isn't an obvious way to reformulate the argument without it.<br />
<br />
In fact, it almost seems too powerful. One of the objections to the GOA is that God would even have positive properties that describe the world that God lives in, rather than God himself. For instance, God would have the property that "trivialknot likes cake." And since God necessarily exists, God would have this same property in all possible worlds, implying that I like cake in all possible worlds.<br />
<br />
Because Gödel cleverly addressed so many of the standard problems with other ontological arguments, I will have to devote several more posts to the particular flaws in his argument.millerhttp://www.blogger.com/profile/05990852054891771988noreply@blogger.com0tag:blogger.com,1999:blog-9124539381685751273.post-36310642801844274072015-08-02T22:11:00.000-07:002015-08-02T22:11:00.060-07:00Coming up: more modal logicIt's pretty much decided at this point that I will switch blogs come October. I already have a title picked out, and I created a banner.<br />
<br />
<div class="separator" style="clear: both; text-align: center;">
<a href="http://3.bp.blogspot.com/-9_dzxNRhbNo/Va8jAxqcfDI/AAAAAAAACa4/KywYsWVR6DM/s1600/Icon.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" src="http://3.bp.blogspot.com/-9_dzxNRhbNo/Va8jAxqcfDI/AAAAAAAACa4/KywYsWVR6DM/s1600/Icon.png" /></a></div>
That's just the favicon. You know, that tiny little 16x16 pixel image that appears in your browser tab. Try clicking on it, you'll see it works even when tiny.<br />
<br />
One of the consequences of moving is that I want to complete my <a href="http://skepticsplay.blogspot.com/2015/02/debugging-ontological-argument.html">Debugging the Ontological Argument</a> series first. I expected it to go on longer, but I think I'd rather have it all be on one blog rather than split across blogs. That means you will get twice the density of modal logic for the next two months! It's more modal logic than any rational person could possibly want!<br />
<br />
Otherwise, the blog continue up until October 3rd as usual.millerhttp://www.blogger.com/profile/05990852054891771988noreply@blogger.com0