On the Manifold Meanings of ‘World’

A reader asked whether the concept world in the transcendental-phenomenological sense is a limit concept.  Before addressing that question, and continuing the series on limit concepts, a survey of the several senses of 'world ' is in order, or at least those senses with some philosophical or proto-philosophical relevance.

1) In the planetary sense, the world is the planet Earth or some other planet such as Mars, as in H. G. Wells' The War of the Worlds.

2) In the cosmological sense, the world is the cosmos, the physical universe, the object of cosmology, a branch of physics.  It is space-time together with whatever physicists discover within it: particles, fields, strings, vacuum fluctuations . . . .

3) In the theological sense, the world is the totality of creatures, where a creature is anything created ex nihilo by God, anything dependent on God for its existence (and presumably also dependent on God for its nature, intelligibility, and value). This includes all contingent beings and arguably also all necessary beings with the exception of God. I am alluding to Aquinas' distinction between God, the necessary being whose necessity is from himself,  and the rest of the necessary beings that have their necessity from another, namely, from God. The latter are creatures, as strange as that might sound.  They are creatures in that they depend on God for their existence despite the impossibility of their non-existence. For if, per impossibile, God did not exist, they would not exist either.

4) In the referential sense, for want of a better name, the world is the totality of extra-linguistic and extra-mental items. Thus daggers are 'in the world' in this sense, but not Macbeth's dagger or any other objects of hallucination, all such items being 'in the mind.' 'World' in the referential sense is a contrastive term and denotes what exists in itself, in reality, as opposed to what exists only in and for minds.  For example, philosophers of language typically tell us that reference is a word-world relation.  The world in the referential sense is the totality of objects of primary reference, whether the reference be what Hector-Neri Castaneda calls thinking reference, which does not require linguistic expression, or linguistic reference via proper names, indexicals, demonstratives, definite descriptions, etc.

NOTE: Although 'world'  carries a suggestion of maximality and all-inclusiveness, (2), (3) and (4) describe senses of 'world' which are non-maximal and contrastive. Thus in (2) the world does not include so-called abstract objects or purely spiritual beings such as God, angels, and unembodied souls.  In (3) the world does not encompass or contain or include God, and is thus other than God, but it does include abstract objects if there are any.   Similarly with (4): the objects of primary reference form a totality that excludes the semantic and intentional apparatus in the mind whereby the items in the world are referenced, although the items in the referential apparatus  exist and can be referred to in reflection and therefore can also claim to be in the world in a wider sense. For example, consider the intentional or object-directed state one is in when one veridically sees a tree. Is this state not in the world? Or what about the words, whether tokens or types, used to refer to things in the world and to the world itself? Are they not in the world in a suitably maximalist sense of the term?  John Searle is in the world, but a token of the proper name 'John Searle' is not?  This is a problem for (4), but not one that can detain us. There are in fact a number of gnarly problems one can pose about (2), (3) and (4), but they are not my problems, at least not now when I am merely cataloging the different philosophically relevant senses of 'world.'

5) In the Christian-existential (existenziell) sense, 'world' refers to a certain attitude or mentality. My reader well describes it as follows:

But there is another sense of the term 'world' — Christians  talk of dying to the world and being in the world but not of it. This world they  speak  of could not be reduced to the world of black holes  and dark matter, of collapsing stars and expanding nebulae. This is the social and moral world that they want to die to. It is the world of spiritual distraction and moral fog, the world of status-seeking and reputation.

To which wonderful formulation I add that worldlings or the worldly live for the here and now alone with its fleeting pleasures and precarious perquisites. They worship idolatrously at the shrine of the Mighty Tetrad: money, power, sex, and recognition. They are blind to the Unseen Order and speak of it only to deny it.  They are the Cave dwellers of Plato who take shadow for substance, and the dimly descried for the optimally illuminated. They do not seek, nor do they find. They are not questers. They live as if they will live forever in a world they regard as the ne plus ultra of reality, repeating the same paltry pleasures and believing them to be the summum bonum.

I seem to have strayed from description to evaluation.  In any case:

6) In the all-inclusive tenselessly ontological sense, the world is the totality of everything that is or exists, of whatever category, whether mental, material, or ideal (abstract), whether past, present, or future, whether in time or outside of time.

7) In the presentist ontological sense, the world is the totality of everything that is or exists, at temporal present, of whatever category, whether mental, material, or ideal (abstract).  This is close to Quentin Smith's (may peace be upon him) notion of the world-whole in The Felt Meanings of the World (Purdue 1986).

8) In the Tractarianly factualist sense, the world is all that is the case; it it is the totality of facts, not of things. Ludwig Wittgenstein, Tractatus-Logico Philosophicus, 1, 1.1:

Die Welt ist alles was der Fall ist. Die Welt is die Gesamtheit der Tatsachen, nicht der Dinge.

9) On Armstrongian naturalistic factualism, there is only the space-time world and it "is a huge and organized net of states of affairs [concrete facts]" (Sketch for a Systematic Metaphysics, Oxford 2010, p. 26). Since thin particulars, properties, and relations are constituents of states of affairs, the world for Armstrong is a totality of facts AND of things . 

David Armstrong offers a useful comment on Wittgenstein (ibid., p. 34):

Wittgenstein said at 1.1 in his Tractatus that the world is the totality of facts, not of things. I think he was echoing here (in a striking way) Russell's idea that the world is a world of facts. I put the same point by saying that the world is a world of states of affairs. To say that the world is a world of things seems to leave out an obvious point: how these things hang together, which must be part of reality.  Interestingly, my own teacher in Sydney, John Anderson, used to argue that reality was 'propositional' and appeared to mean much the same as Russell and Wittgenstein. One could say metaphorically that reality was best grasped as sentence-like rather than list-like. (Hyperlink added!)

10) In the modal-abstractist sense, a possible world is a  maximal Fregean proposition where a maximal such proposition is one that entails every proposition with which it is consistent;  the actual world is the true maximal proposition; a merely possible world is a maximal proposition that is false, but contingently so.  Note that while the worlds in question are maximal, this conception of worlds is not maximalist. For on this scheme, the possible world that happens to be actual is the maximal proposition that happens to be true. True of what? True of the concrete universe that serves as its truthmaker.  The actual world is an abstract object that excludes the concrete universe.

11) In the modal-concretist sense, a possible world is a maximal mereological sum of concreta; every world is actual at itself, which implies that no world is actual absolutely or simpliciter; there are no merely possible worlds given that every world is actual at itself.  This is a maximalist conception of worlds. (See David Lewis, On the Plurality of Worlds, Basil Blackwell, 1986) Finally,

12) In the transcendental-phenomenological sense, the world is, first of all, none of the above.  Let's take a stroll down the via negativa. The world is not the planet Earth, and not just because there are other physical entities: Earth appears within the world and is therefore not the same as the world. The world is not the physical cosmos; the cosmos appears within the world, and is therefore not the same as the world. Creatures are not the world; they too appear within the world. God is not the world; if God is, then God is either a being (a being among beings) or the being, the one and only being. Either way, God is  seiend, ens, being, not reines Sein, esse, pure Be-ing (To Be). Now the world in the transcendental-phenomenological  sense is the ultimate context within which alone beings appear or show themselves as beings. It follows that God, if he is ein Seiendes (a being) or das Seiende (the being), is not the world but is within the world.

The world is not itself a being as if it were a sort of ontic container, but the ultimate transcendental condition — although 'condition' is not quite the right word — that allows beings to be.  So if God is either a being or the being, then he is within the world, in which case God cannot be the world.  The world in the transcendental-phenomenological  sense is transcendentally prior to every being including God who, despite his marvellous attributes, is but the highest being.  God may be ontically that than which no greater can be conceived (Anselm), but transcendentally there is a greater, namely, the clearing or Lichtung (Heidegger) within which alone beings show themselves as beings.  Every being, including the highest being, God, is subject to the ultimate transcendental condition of manifestation.

And of course the world in the transcendental-phenomenological sense is not the realm of primary referents or the attitude of worldly people that Christians qua Christians oppose.  Nor is the world a totality in any innerworldly (intramundane) sense of 'totality.' The world is not an ontic whole. It cannot be pieced together out of parts. It is not a collection the existence of which presupposes the items collected. It is not a set, or the extension of a set, a mereological sum or the extension of a mereological sum — if you care to distinguish a sum from its membership/extension.  The world is not a scattered object, an aggregate of any kind, a maximal conjunction of propositions, a maximal conjunctive fact.  The world has no adequate ontic model.  It is not an instance of a category instantiated within the world. It cannot be assimilated to any abstract item such as a set or a proposition. It cannot be assimilated to any concrete items such as a concrete fact or a concrete individual or an aggregate.

The world is unique.  "The world . . . does not exist as an entity, as an object, but exists with such uniqueness that the plural makes no sense when applied to it. Every plural, and every singular drawn from it, presupposes the world-horizon." (Crisis, Carr tr. 143)  I'll have more to say later.

Thomism and Husserlian Phenomenology: Combinable?

Over the phone the other night, Steven Nemes told me that his project is to synthesize Thomism and phenomenology. I expressed some skepticism. Here are my reasons.

Part I: Methodological Incompatibility

Essential to Thomism is the belief that the existence of God can be proven a posteriori by human reason unaided by divine revelation.  Thus the Third of Aquinas's Five Ways begins with the premise that there are contingent beings, "things that are possible to be and not to be."  From this starting point, by reasoning we needn't here examine, Aquinas arrives at the conclusion that there exists an absolutely necessary being. "And this all men call God."

The argument moves within what Husserl calls the natural attitude, from contingent beings that are taken to exist in themselves to a causa prima that is taken to exist in itself. Note also that  when the Third Way in enacted by a person who works his way through it, in an attempt to arrive at a justified belief that God exists, the particular judgments and inferences made by the person in question are themselves psychic realities in nature that exist in themselves with the earlier following the later in  objective time. With the suspension of the natural attitude by the phenomenologist, all of this must be eingeklammert, placed within brackets. This includes  the starting point (the existence in themselves of contingent beings), the ending point (the existence in itself of God), and the sequence of judgmental and inferential steps that the person who enacts the argument must run through in order to generate within himself the belief that God exists. No use can be made of any of this by the phenomenologist qua phenomenologist.

It seems we ought to conclude that Thomas's dialectical procedure is unphenomenological both at its starting point and at its ending point.  The dialectical procedure itself, the  arguing with its judgments and inferences, is also unphenomenological in that the judgments are posited as true in themselves, and the inferences as valid in themselves.

To summarize the argument up to this point:

a) Thomists are committed to the proposition that God's existence is provable, equivalently, that there are sound arguments for God's existence, arguments that move from premises that record what to Thomists are obvious facts of sense perception such as that trees and rocks exist in themselves (independently of us and our consciousness of them), that they exist contingently, that they are in motion, etc., arguments that end in a conclusion that records the existence in itself of a divine first cause.

b) Phenomenologists operate under a methodological restriction: the thesis of the natural standpoint is ausgeschaltet, disconnected, and the objects  in the natural attitude are eingeklammert, bracketed. The existence of these objects is not denied, or even doubted; no use is made of their existence. (Cf. Ideas I, secs. 31, 32)  Now if we abstain from affirming the existence of contingent beings, then the question cannot arise within the phenomenological epoche as to whether or not they have a cause of their existence.  But this is a question that Thomists ask and answer by positing the existence of God.

Therefore

c) Thomism and Husserlian phenomenology are incompatible and cannot be synthesized.

Part II: Metaphysical Incompatibility

Things are worse for the proposed synthesis when we consider that Husserlian phenomenology is not just a study of the modes and manners of the appearing of things, but implies transcendental idealism, a theory about the mode of existence of the things themselves. To state the incompatibility bluntly: Husserl is an idealist; Thomas is a realist. 

At its starting point, the argument a contingentia mundi presupposes the existence in themselves of contingent beings.   If these beings existed only for (finite) consciousness, then one could not arrive at an absolutely transcendent divine cause of their existence that exists in itself.  Phenomenology, however,  is committed to transcendental idealism, according to which contingent beings do not exist in themselves but only for transcendental subjectivity.  Here is a characteristic passage from Husserl:

Alles, was ich je als wahrhaft Seiendes einsehen kann, ist gar nichts anderes als ein intentionales Vorkommnis meines eigenen — des Erkennenden — Lebens . . . . (Erste Philosophie (1923/24), Zweiter Teil, Theorie der Phaenomenologischen Reduktion, Husserliana Band VIII, S. 184 f.)

Whatever I can recognize as a genuine being is nothing other than an intentional occurrence of my own — the knower's — life . . . .

For Husserl, the very Being of beings is their Being for consciousness, their being constituted in and by consciousness.  Their Sein reduces to Seinsinn, and that Sinn points back to the transcendental ego from which all sense derives. So the Sinn is not Original Sinn, pun intended, but derivative Sinn. Therefore, on transcendental idealism, contingent beings have no need for a divine ground of their existence, their existence being adequately accounted for by transcendental subjectivity. And since they have no need of a divine ground, one cannot prove that they must have such a ground.

At its ending point, too, cosmological arguments such as the Third Way are unphenomenological since they posit an absolutely transcendent cause of existence that is not given as it is in itself, and cannot be so given and whose identity and existence cannot be grounded subjectively. It makes some sense to say that the tree in the garden is a unity of noemata the unity of which is brought about by the synthetic, unifying activity of my transcendental ego.  But it makes no sense to say this of God.  This would be tantamount to saying that the unity and existence of the divine being derives from the synthetic activities of the creature's ego. 

The God of classical theism, the numero uno representative of which is the doctor angelicus, is by definition absolutely transcendent. He is not transcendent in relation to our consciousness like the blooming tree in Husserl's garden.  He cannot be transcendentally constituted. Even in the Beatific Vision God will not be given to us as he is in himself.  His reality infinitely surpasses anything we will ever have evidence for. It should therefore be quite clear that Husserlian phenomenology and classical theism are logically incompatible.

……………………………

Addendum 10/22. A reader comments,

I've just read your post on Thomism and phenomenology. Subsuming Husserl to a Weltanschauung philosophy is to deeply and badly miss the point and much of the value of his work.

This is a just criticism of Nemes' proposed synthesis.   Husserl sharply distinguishes between world view philosophy and philosophy as strict science.  Thomism is  a worldview philosophy.  This is another reason why the proposed synthesis is dubious.   The issues here are extremely deep and complicated. But to simplify, the specifically philosophical portions of the Thomistic system are in the service of  a body of beliefs that Thomas will hold to no matter what sober philosophical inquiry establishes.  If unaided human reason can be enlisted in the service of the teachings of the Church, well and good; if not, that is no reason to doubt any of the teachings.  Philosophia ancilla theologiae. Perhaps we can say that philosophy in relation to theology is ancillary but not necessary. 

For details on the whole messy problematic, see my Genuine Inquiry and Two Forms of Pseudo-Inquiry: Sham Reasoning and Fake Reasoning.

Is Assertion External or Internal to Logic? A Note on Irad Kimhi

The main point of Peter Geach's paper, "Assertion" (Logic Matters, Basil Blackwell, 1972, pp. 254-269) is what he calls the Frege point: A thought may have just the same content whether you assent to its truth or not; a proposition may occur in discourse now asserted, now unasserted, and yet be recognizably the same proposition. This seems unassailably correct. One will fail to get the Frege point, however, if one confuses statements and propositions. An unstated statement is a contradiction in terms, but an unasserted proposition is not. The need for unasserted propositions can be seen from the fact that many of our compound assertions (a compound assertion being one whose content is propositionally compound) have components that are unasserted.

To assert a conditional, for example, is not to assert its antecedent or its consequent. If I assert that if Tom is drunk, then he is unfit to drive, I do not thereby assert that he is drunk, nor do I assert that he is unfit to drive.  I assert a compound proposition the components of which I do not assert. I assert a relation between two propositions without asserting either of them.

The same goes for disjunctive propositions. To assert a disjunction is not to assert its disjuncts. Neither propositional component of Either Tom is sober or he is unfit to drive is asserted by one who merely asserts the compound disjunctive proposition.

On one view of logic, it studies propositions and the relations between them  such as entailment, consistency, and inconsistency in abstraction from the concrete mental acts in which the propositions are accepted, rejected, or merely entertained. Logic is thus kept apart from psychology. If so, then assertion, as a speech act founded in the mental act of acceptance, is external to logic.  If this were not the case, then how would one account for the validity of the following obviously valid argument?

a) If Tom is drunk, then Tom is unfit to drive
b) Tom is drunk
Therefore
c) Tom is unfit to drive.

For the argument to be an instance of the valid argument form modus ponendo ponens, the protasis of (a) must be the same proposition as is expressed by (b). But then the assertoric force that (b) carries when the argument is given by someone cannot be part of the proposition. For the assertoric force  is no part of the proposition that is the protasis of (a).

So if formal logic studies propositions in abstraction from the concrete episodes of thinking in which they are brought before minds, then assertion is external to formal logic.

But according to the NYT, a philosopher with a cult following among the cognoscenti rejects the above view:

[Irad] Kimhi argues that this view is wrong, and that the distinction between psychology and logic has led our understanding of thinking astray. Consider that the following statement does not, according to the standard view, constitute a logical contradiction: “It’s raining, but I don’t believe it’s raining.” Why? Because the first part of the sentence concerns a state of affairs in the world (“it’s raining”), whereas the second part concerns someone’s state of mind (“I don’t believe it’s raining”).

Kimhi wants to rescue the intuition that it is a logical contradiction to say, “It’s raining, but I don’t believe it’s raining.” But to do this, he has to reject the idea that when you assert a proposition, what you are doing is adding psychological force (“I think … ”) to abstract content (“it’s raining”). Instead, Kimhi argues that a self-conscious, first-person perspective — an “I” — is internal to logic. For him, to judge that “it’s raining” is the same as judging “I believe it’s raining,” which is the same as judging “it’s false that it’s not raining.” All are facets of a single act of mind.

Kimhi  IradI haven't read Kimhi's book, and I am not sure I should trust the NYT account, but Kimhi seems to be recycling Kant in a confused way. At B 132 of Critique of Pure Reason, Kant writes, "It must be possible for the 'I think' to accompany all my representations; for otherwise something would be represented in me which could not be thought at all, and that is equivalent to saying that the representation would be impossible, or at least would be nothing to me." (NKS tr.)

Consider a propositional representation.  One's awareness that it is raining need not be accompanied by an explicit act of reflection, the one expressed by 'I think that it is raining,' but it must be possible that this reflection occur. Thus there is a necessary connection between the propositional representation 'It is raining' and Kant's  transcendental unity of apperception. The latter could be described as " a self-conscious, first-person perspective — an “I” — [that] is internal to logic." But it is a transcendental I, one common to all cognitive subjects, and not the psychological I of a particular cognitive subject. Kimhi seems to be speaking of the latter.

Kant's Ich denke points us back to Descartes' cogito. The Frenchman discovers that while he can doubt many things, he cannot doubt that he is doubting these things. He can doubt the existence of the cat he 'sees' — using 'see' in a strictly phenomenological way — but he cannot doubt the existence of his 'seeing' as a mental act or cogitatio. His doubting is a thinking, but it is not a believing.  The Dubito ergo sum is but a special case of the generic Cogito ergo sum.  His doubting that he has a body is not a believing that he has a body but it is a thinking in the broad Cartesian sense that subsumes all intentional states or mental acts.

Accordingly, the 'I think' that must be able to accompany all my representations does not have the specific sense of 'I believe.' Belief is one type of mental act among many. One who believes does not doubt, and conversely. But both think. The 'I think' expresses an explicit reflection on the occurrent intentional state one is in, whether one is doubting, believing, wishing, hoping remembering, etc.

So there is a defensible sense in which there is an I internal to logic, but this is the transcendental I of the original synthetic unity of apperception, not the I of the psychophysical subject in nature.   If there is an I internal to logic, it is the I of the transcendental prefix,  the 'I think ___' which must be able to accompany all my representation.  But this 'I think ___' of the transcendental prefix does not have the sense of the ordinary language 'I think so' which means 'I believe so.' 

One consequence of Kimhi’s view is that “It’s raining, but I don’t believe it’s raining” becomes a logical contradiction. Another consequence is that a contradiction becomes something that you cannot believe, as opposed to something that you psychologically can but logically ought not to believe (as the traditional cleavage between psychology and logic might suggest). A final consequence is that thinking is not just a cognitive psychological act, but also one that is governed by logical law.

In other words, the distinction between psychology and logic collapses. Logic is not a set of rules for how to think; it is how we think, just not in a way that can be captured in conventional scientific terms. Thinking emerges as a unique and peculiar activity, something that is part of the natural world, but which cannot be understood in the manner of other events in the natural world. Indeed, Kimhi sees his book, in large part, as lamenting “the different ways in which philosophers have failed to acknowledge — or even denied — the uniqueness of thinking.”

The above strikes me as based on a confusion of the transcendental 'I think' with the psychological 'I believe.'  It seems to me that one can have a reflective awareness as of rain falling without believing that rain is falling. What is impossible, and contradictory, is to have a reflective awareness as of rain falling without thinking (in the broad Cartesian sense that subsumes specific types of mental act) that rain is falling. 

The transcendental I's thinking is governed by logical law, but not the thinking of the empirical I in nature. So the distinction between psychology and logic does not collapse. To the extent that I can make sense of what Kimhi is saying on the basis of the NYT article he seems to be trying to naturalizer Kant's transcendental ego.  Good luck with that.

Perhaps talk of a transcendental I is nonsense if it is supposed to be a real entity that thinks; but only a transcendental I could be internal to formal logic.

If anyone has read Kimhi's book, his comments would be appreciated. 

Objective Truth as a Condition of Intelligibility

John D. Caputo has recently made the fashionably outlandish claim that "what modern philosophers call 'pure' reason . . . is a white male Euro-Christian construction."  Making this claim, Caputo purports to be saying  something that is true.  Moreover, his making of the claim in public is presumably for the purpose of convincing us that it is true.  If so, he presupposes truth, in which case truth cannot be a social construct, as I said in my critique.  A commenter responded:

To say that Caputo "presupposes truth" is not to say that he presupposes some sort of absolutist notion of truth. Why is the latter a necessary condition for the activity of "trying to convince"?

The short answer is that there is no notion of truth other than the absolutist notion.  Truth is absolute by its very nature. The phrase 'relative truth' names a confusion.  I won't go over this ground again, having trod it before.  But there is a wrinkle, and that is what I want to explore in this entry.  Is absolute truth the same as objective truth?  Perhaps not.  It might be like this.  If there is truth, then it is the same for all cognizers: it is intersubjectively binding on all.   It is in this sense objective.  It does not vary from person to person, social class to social class, historical epoch to historical epoch, race to race, etc.   But how can we be sure that truth in this objective sense is not a mere transcendental presupposition of intelligible discourse and rational debate?  If truth is a mere transcendental presupposition, then it is not absolute.  For what 'absolute' means is: not relative to or dependent on anything at all.  Of course, if truth is absolute, it follows that it is objective in the sense of intersubjectively binding on all.  But there is a logical gap in the converse.  If truth is objective, it does not straightaway follow that it is absolute.  For it might be transcendentally relative: relative to beings like us who cannot think or judge or speak intelligibly without presupposing truth.  It might be transcendentally realtive while remaining the same for all in such a way as to exclude as meaningless such phrases as 'proletarian truth,' bourgeois truth,' 'Protestant truth,' 'Catholic truth,' 'White man's truth,' 'black female's truth,' and other similalry nonsensical constructions.

I will return to the objective-absolute distinction near the end of this entry. 

While there may be a problem in showing that truth is more than a transcendental presupposition, and thus absolute, it is fairly easy to show that truth is objective.  And so it is easy to show that Caputo presupposes objective truth when he makes his fashionably outlandish PoMo claims.

But what do I mean when I say that truth is objective?  I mean that there is a total way things are, and that this total way things are does not depend on the beliefs, desires, wishes, hopes, etc. of finite rational beings like ourselves, whether human or extraterrestrial or angelic.   So what I mean by 'Truth is objective' is close to what John Searle means by external realism.

According to John Searle, "external realism [ER] is the thesis that there is a way that things are that is independent of all representations of how things are." (The Construction of Social Reality, p. 182) Is it possible to prove this attractive thesis?  And how would the proof go?

We will recall G. E. Moore's attempt to prove the external world by waving his hands. His idea was that it is a plain fact, as anyone can see, that his hands exist, and so it straightaway follows that external objects in space exist. This sounds more like a joke than a philosophical argument. Or if not a joke, then clear proof, not of the external world, but that Moore did not understand the issue.  But let's leave Moore to one side for the space of this post. See my aptly entitled  Moore category for more on Moore.

The realism issue really has nothing to do with spatially external objects. There unproblematically are such objects whatever their ultimate ontological status. Note also that ER can be true even if there are no spatially external objects.  ER is simply the claim that there is a way things are independent of us: it says nothing specifically about spatial individuals.

As Searle interprets it, ER sets forth a condition on the intelligibility of discourse and thought rather than a truth condition of discourse and thought:

     There are conditions on the intelligibility of discourse . . . that
     are not like paradigmatic cases of truth conditions. In the normal
     understanding of discourse we take these conditions for granted;
     and unless we took them for granted, we could not understand
     utterances the way we do . . . . (181)

Among these conditions on intelligibility is ER. It is a necessary presupposition of a large chunk of thought and discourse. What Searle is doing is giving a transcendental argument for ER. He takes it as given that a sentence like 'Mt Everest has ice and snow near the summit' is intelligible. He then inquires into what must be presupposed for it to be intelligible. For the sentence to be true, Mt. Everest must exist, and it must have ice and snow near the summit. But for the sentence to be intelligible, it is not necessary that Mt. Everest exist, or if it does exist that it have ice and snow near the summit. What is necessary is that ER be true: that there be a way things are independent of human representations. If the mountain exists, then that is (part of) the way things are, and if it does not exist, that too is (part of) the way things are. The way things are, then, is not a truth condition of any such statement as 'Mt Everest has ice and snow near the summit.' It is a condition of the intelligibility of such statements and their negations. So even if every statement asserting or implying the existence of a physical object is false, and there is no spatially external world, it is still the case that ER is true. For it is still the case that there is a way things are independent of human representations.  The way things are would include the nonexistence of a spatially external world.

For Searle, then, external realism (ER) is a transcendental condition of the intelligibility of large portions of public discourse. He is aware that to have shown this is not to have shown that ER is true.   (194) Speaking as we do, we are committed to its being true, but that is not to say that it is true. That there is a way things are independent of human representations is presupposed by the intelligibility of much of what we think or say, but it doesn't follow that it is true.

Why not? Because its truth is conditional upon the fact that our thought and speech is intelligible. If ER is true, then it is true whether or not human representations and their intelligibility exist. But if ER is argued to transcendentally as a condition of intelligibility, then ER's truth is conditional upon the existence of  human beings and their representations. So we cannot say that ER is true, but only that we must presuppose it to be true. This is not to  say that without us it would be false, but what without us it would be neither true nor false.

Is Searle's position satisfactory? I'm not sure. I want to be able to say that ER is true simpliciter, or true unconditionally (i.e., not conditional upon the fact of the intelligibility of our discourse.)

But does my desire to be able to say that ER is true unconditionally make sense? Maybe not. We cannot not presuppose that there is a way things are assuming that we continue to think and talk as before. But is there a way things are? Yes, it might be said, in the only sense in which it would make sense to assert it, namely, as a presupposition of our thought and talk. That is, what we as rational beings must  presuppose as being the case IS the case. The 'possibility' that it  not be the case is unmeaning. No sort of wedge can be driven between the presupposing and the being. But this seems to land us in a form of transcendental idealism.

A fascinating labyrinth, this. Collateral reading: Martin Heidegger, Sein und Zeit, section 44 (c), Die Seinsart der Wahrheit und die Wahrheitsvoraussetzung.

The main thing, however, is that Caputo  presupposes objective truth when he makes his ridiculous PeeCee assertions.