The unthinkable and the ineffable

Suppose that Alice right now thinks about some fact F and no other fact. Then we can stipulate that “Xyzzies” is a sentence whose content is that very fact which Alice is thinking. Thus:

1. If a linguistically identifiable person can think about some fact F to the exclusion of other facts at a linguistically identifiable time, then F can be expressed in a language.

It does not, however, follow that every fact can be expressed in a language. For it’s epistemically possible that there is a fact F such that a person can only think about F if the person is simultaneously thinking about G and H as well, and there may be no way for us to distinguish F from G and H in such a way as to stipulate a term for it.

This may seem like a pretty remote possibility, but I think it’s pretty plausible. There could be some fact F that only God can think. But presumably any fact has infinitely many logical consequences. But since God is inerrant and necessarily thinks all facts, necessarily if God thinks F, he thinks all the infinitely many logical consequences of F as well. And it could well be that we have no way of distinguishing F from some of its logical consequences in such a way that we could delineate F.

So it is possible to accept (1) while holding that some thinkable facts are ineffable.

However, plausibly any fact thinkable by a human can be thought by the human in a specifiably delineated way (the primary fact thought about at t₁, etc.). Thus our thought cannot exceed the possibilities of our language, since for anything we can think we could stipulate that “Xyzzies” means that. (Though, of course, our thought can (and sometimes does) exceed the actualities of our language.) Thus:

2. The humanly ineffable is humanly unthinkable.

Nonetheless, we might make a distinction between two ways of extending human language. A weak extension is one that can be introduced solely in terms of current human language. Stipulations in mathematics are like that: we explain what “continuous” is using prior vocabulary like “limit”. A strong extension is one that requires something extralinguistic, such as ostension to a non-linguistic reality.

3. There are things that are humanly thinkable that are only expressible using a strong extension of human language.