Sunday, May 18, 2008

Frege's Got Zero Reference

An expression of the form ‘the F’ where ‘F’ is a predicate defining any range of the unique properties of a variable, should be read as ‘the unique x satisfying F’ and symbolized as the term ’(ix)(Fx)’. Frege considers the term ‘(ix)(Fx)’ to be synonymous with a proper name. In a logical expression of the form ‘a=(ix)(Fx)’, where the term ‘a’ is a constant interpreted as a proper name, Frege considers ‘a’ and ‘(ix)(Fx)’ to be not only interchangeable, but to be synonymous when translated as meaningful linguistic expressions. So consider the term ‘a’ to be interpreted as the proper name ‘Alan’ and the term ‘(ix)(Fx)’ to be interpreted as ‘the only French person in this room’. Under these conditions, the logical expression ‘a=(ix)(Fx)’ in English would be read as ‘Alan is the unique French person in this room’.
There are notable limitations to this framework. The variable ‘x’ and the constant ‘a’ in the expression ‘a=(ix)(Fx)’ must refer to objects in the domain of all existing objects. Furthermore, all existing objects that are discussed by competent speakers have a unique description such that, that object is secured by an expression of the form ‘the F’. But not all proper names secure a referent, some proper names are found wanting of a referent – they are bearerless or empty. That is to say, there is no bearer for that name (e.g. it does not refer to an object in the domain). In such a case Frege adopts the convention that the referent of the name will be the number zero, and sentences containing bearer-less names will not express a thought that has a truth-value. Given this, the conditions for determining truth-value for any sentence f containing a proper name, of either the form ‘a’ or ’(ix)(Fx)’, is as follows:
i. If ‘a’ or ‘(ix)(Fx)’ occur in a well formed sentence f then f is true or false, if and only if ‘a’ or ‘(ix)(Fx)’ secure a referent.
ii. If ‘a’ or ‘(ix)(Fx)’ occur in a well formed sentence f, and ‘a’ or ‘(ix)(Fx)’ do not secure a referent then f has no truth-value.
To see how odd the zero convention is, consider the following sentences:
1 Santa Claus is zero.
2 Unicorns are the sum of 1 and -1.
Both 1 and 2 are true by this convention. So Frege should reject the convention that sentences containing bearerless names lack a truth value. But he cannot adopt a convention that such sentences express a false thought, while maintaining that the referent of a bearerless name is zero. This is a terrible consequence and issues of direct reference, rigidity, pronouns, and indexicals aside – this single convention appears to cripple Frege’s semantic framework. But intuitively, we do assign a truth value to:
3 Santa Claus is the bum that lives at the North Pole, only working once a year.
4 Santa Claus is fat and jolly.
This said, is there a way to resolve this issue for Frege, while maintaining the sense-reference distinction?

Note 1.
For a copy of "On Sense and Reference" use jstor, but the Geach and Black translation is best. Avoid the version with the title translated "On Sense and Nominatum" (near the end when Frege discusses conversational implicature - the but and and distinction - the Nominatum version translates a sentence as claiming that but and and have no sense.) My adobe acrobat is failing to work currently, otherwise I'd post the stable URL from jstor.
Note 2.
The 'i' above is supposed to be the iota operator. Contra the russellian elimination of the iota operator, I try to avoid equating Frege and Russell.

Welcome to THINK Forum: a Normal approach to philosophical dialogue!

So the title is kind of lame. Understandable. Normal, get it? Ha. Ha. So, if anyone has any brilliant creative strokes of genius, title-wise, let me know in the comments.

Anyway, the blog is meant to serve as a central database for the problems, dilemmas, and discourses we currently participate in, in many disparate forums of communication. Instead of having to explain the same problem or question to five different people in IM windows, you can write it here and direct people to the comments area for discussion/further exposition.

This is not meant to serve as a substitute for face-to-face communication -- rather, it's a supplement, especially for those I see already making lengthy posts on their own blogs, journals, and facebooks, and those I've talked with in AIM, etc. It's never clear that these posts will be read by those we want to read them -- namely, philosophy students who might actually be interested and motivated enough to read these posts and provide helpful feedback and discussion. Plus, once it's posted, it's there, so if someone is too busy to listen to you now, they can read your ideas later, instead of dropping the subject.

I'm sending out invites to become "authors" on the blog -- this gives you posting rights. Unfortunately, there's no way to enable anonymous posting, but signing up is a small hump, as you can create a blogger account through any Google account you have. So if you have Gmail, you're set already. If you want rights and I haven't sent you one, e-mail me at causallyirrelevant at gmail dot com (spelled out to avoid spam bots) and let me know who you are.

I'm not inviting any teachers, simply cause I think it'd be awkie (to borrow from Andrew). I think we should have the opportunity to develop and mature with other students, and not feel afraid to make mistakes -- a fear that often makes students tentative about expressing their opinions and ideas aloud during classes, etc. Then we can argue against them all better, heh.

As with any blogger blog, you can opt to subscribe by RSS to THINK, which gives you a feed (in firefox, you can use live bookmarks, which gives titles of all recent posts when you mouseover the site -- or there are numerous RSS readers out there). I recommend it as an easy way to see new posts. It's a good timesaver.

When you go to post, there's a title box, a body text area, and a box for "labels for this post". It's a tag box. I tagged this post "metablogging, philosophy, Michelle" (without quotes). Say you're doing a post on metaethics - specifically, the Open Question Argument. You could tag it "metaethics, Moore, nonnaturalism, OQA", etc. Whatever you think would be helpful in classifying the post. Then if you do a series of posts on the same topic, and tag them the same way, people can helpfully access them by clicking your tag. Or... well, there's a million uses for tags. If I tag my name to every post, then people can just check out my posts. And so on. Go wild.

Feel free to use the place as your philosophical soapbox, talk about methodology, whatever -- but let's not bring personal attacks on other students, faculty, departments, or universities here. Keep that to your personal pages and such.

Whew. I think maybe that's it. Here goes nothing. :)