{"id":1756,"date":"2022-11-22T15:24:49","date_gmt":"2022-11-22T15:24:49","guid":{"rendered":"https:\/\/maverickphilosopher.blog\/index.php\/2022\/11\/22\/semirealism-about-facts-an-exchange-with-butchvarov\/"},"modified":"2022-11-22T15:24:49","modified_gmt":"2022-11-22T15:24:49","slug":"semirealism-about-facts-an-exchange-with-butchvarov","status":"publish","type":"post","link":"https:\/\/maverickphilosopher.blog\/index.php\/2022\/11\/22\/semirealism-about-facts-an-exchange-with-butchvarov\/","title":{"rendered":"Semirealism about Facts: An Exchange with Butchvarov"},"content":{"rendered":"<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 14pt;\"> <a class=\"asset-img-link\" href=\"https:\/\/maverickphilosopher.typepad.com\/.a\/6a010535ce1cf6970c02af14a6c9d1200b-pi\" style=\"float: left;\"><img decoding=\"async\" alt=\"Jack Webb\" class=\"asset  asset-image at-xid-6a010535ce1cf6970c02af14a6c9d1200b img-responsive\" src=\"https:\/\/maverickphilosopher.typepad.com\/.a\/6a010535ce1cf6970c02af14a6c9d1200b-320wi\" style=\"margin: 0px 5px 5px 0px;\" title=\"Jack Webb\" \/><\/a>Facts are the logical objects corresponding to whole declarative sentences, or rather to some of them. When it comes to facts, Panayot Butchvarov appreciates the strengths and weaknesses of both realism and anti-realism. For the realist, there are facts. For the anti-realist, there are no facts. Let us briefly review why both positions are attractive yet problematic. We will then turn to semirealism as to a <em>via media<\/em> between Scylla and Charybdis.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 14pt;\">Take some such contingently true affirmative singular sentence as &#39;Al is fat.&#39; Surely with respect to such sentences there is more to truth than the sentences that are true. There must be something external to the sentence that contributes to its being true, and this external something is not plausibly taken to be another sentence or the say-so of some person, or anything like that. &#39;Al is fat&#39; is true because there is something in extralinguistic and extramental reality that &#39;makes&#39; it true. There is this short man, Al, and the guy weighs 250 lbs. There is nothing linguistic or mental about the man or his weight. Here is the sound core of correspondence theories of truth. Our sample sentence is not just true; it is true because of the way the world outside the mind and outside the sentence is configured. The &#39;because&#39; is not a causal &#39;because.&#39; The question is not the empirical-causal one as to why Al is fat. He is fat because he eats too much. The question concerns the ontological ground of the truth of the sentential representation, &#39;Al is fat.&#39; Since it is obvious that the sentence cannot just be true &#8212; given that it is not true in virtue either of its logical form or&#0160;<em>ex vi terminorum<\/em>&#0160;&#8211; we must posit something external to the sentence that &#39;makes&#39; it true. I myself, a realist, don&#39;t see how this can be avoided even though I admit that &#39;makes true&#39; is not perfectly clear.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 14pt;\">Now what is the nature of this external truth-maker? It can&#39;t be Al by himself, and it can&#39;t be fatness by itself. Nor can it be the pair of the two. For it could be that Al exists and fatness exists, but the first does not instantiate the second. What&#39;s needed, apparently, is the fact of&#0160;<em>Al&#39;s being fat<\/em>. So it seems we must add the category of fact to our ontology, to our categorial inventory.&#0160;<em>Veritas sequitur esse<\/em> is not enough. It is not enough that &#39;Al&#39; and &#39;fat&#39; have worldly referents; the sentence as a whole needs a worldly referent. Truth-makers cannot be &#39;things&#39; or collections of same, but must be entities of a different categorial sort. (Or at least this is so for the simple predications we are now considering.)<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 14pt;\">The argument I have just sketched, the truth-maker argument for facts, is very powerful, but it gives rises to puzzles and protests. There is the Strawsonian protest that facts are merely hypostatized sentences, shadows genuine sentences cast upon the world. Butchvarov quotes P. F. Strawson&#39;s seminal 1950 discussion: \u201cIf you prise the sentences off the world, you prise the facts off it too. . . .\u201d (<em>Anthropocentrism in Philosophy<\/em>, 174)&#0160; Strawson again: \u201cThe only plausible candidate for what (in the world) makes a sentence true is the fact it states; but the fact it states is not something in the world.\u201d (174)<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 14pt;\">Why aren&#39;t facts in the world? Consider the putative fact of my table&#39;s being two inches from the wall. Obviously, this fact is not itself two inches from the wall or in any spatial position. The table and the wall are in space; the fact is not. One can drive a nail into the table or into the wall, but not into the fact, etc. Considerations such as these suggest to the anti-realist that facts are not in the world and that they are but sentences reified. After all, to distinguish a fact from a non-fact (whether a particular or a universal) we must have recourse to a sentence in the indicative mood: a fact is introduced as the worldly correlate of a true sentence. If there is no access to facts except via sentences, as the correlates of true sentences, then this will suggest to those of an anti-realist bent that facts are hypostatizations of true declarative sentences.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 14pt;\">One might also cite the unperceivability of facts as a reason to deny their existence. I see the table, and I see the wall. It may also be granted that I see that the desk is about two inches from the wall. But does it follow that I see a relational fact? Not obviously. If I see a relational fact, then presumably I see the relation&#0160;<em>two inches from<\/em>. But I don&#39;t see this relation. And so, Butchvarov argues (175) that one does not see the relational fact either. The invisibility of relations and facts is a strike against them. Another of the puzzles about facts concerns how a fact is related to its constituents. Obviously a fact is not identical to its constituents. This is because the constituents can exist without the fact existing. Nor can a fact be an entity in addition to its constituents, something over and above them, for the simple reason that it is composed of them. We can put this by saying that no fact is wholly distinct from its constituents. The fact is more than its constituents, but apart from them it is nothing. A third possibility is that a fact is the togetherness of its constituents, where this togetherness is grounded in a a special unifying constituent. Thus the fact of <em>a&#39;s being F<\/em>&#0160;consists of&#0160;<em>a<\/em>, F-ness, and a nexus of exemplification. But this leads to Bradley&#39;s regress.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 14pt;\">A fact is not something over and above its constituents but their contingent unity. This unity, however, cannot be explained by positing a special unifying constituent, on pain of Bradley&#39;s regress. So if a fact has a unifier, that unifier must be external to the fact. But what in the world could that be? Presumably nothing in the world. It would have to be something outside the (phenomenal) world. It would have to be something like Kant&#39;s transcendental unity of apperception. I push this notion in an onto-theological direction in my book, <em>A Paradigm Theory of Existence: Onto-Theology Vindicated<\/em>. But by taking this line, I move away from the realism that the positing of facts was supposed to secure. Facts are supposed to be ontological grounds, extramental and extralinguistic. If mind or Mind is brought in in any form to secure the unity of a truth-making fact, then we end up with some form of idealism, whether pschological or transcendental or onto-theological.&#0160;<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 14pt;\">So we are in an aporetic pickle. We have good reason to be realists and we have good reason to be anti-realists. (The arguments above on both sides were mere sketches; they are stronger than they might appear. ) Since we cannot be both realists and anti-realists, we might try to mediate the positions and achieve a synthesis. My book was one attempt at a synthesis. Butchvarov&#39;s semi-realism is another. I am having a hard time, though, understanding how exactly Butchvarov&#39;s semi-realism achieves the desired synthesis. Butchvarov:<\/span><\/p>\n<blockquote>\n<p><span style=\"font-family: georgia, palatino; font-size: 14pt;\">Semirealism regarding facts differs from realism regarding facts by denying that true sentences stand for special entities, additional to and categorially different from the entities mentioned in the sentences, that can be referred to, described, and analyzed independently of the sentences. [. . .] But semirealism regarding facts also differs from antirealism regarding facts by acknowledging that there is more to truth than the sentences . . . that are true. (180)<\/span><\/p>\n<\/blockquote>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 14pt;\">In terms of my simple example, semirealism about facts holds that there is no special entity that the sentence &#39;Al is fat&#39; stands for that is distinct from what &#39;Al and &#39;fat&#39; each stand for. In reality, what we have at the very most are Al and fatness, but not&#0160;<em>Al&#39;s being fat<\/em>. Semirealism about facts also holds, however, that a sentence like &#39;Al is fat&#39; cannot just be true: if it is true there must be something that &#39;makes&#39; it true, where this truth-maker cannot be another sentence (proposition, belief, judgment, etc.) or somebody&#39;s say-so, or something merely cultural or institutional or otherwise conventional. And let&#39;s not forget: the truth-maker cannot be Al by himself or fatness by itself or even the pair of the two. For that pair (ordered pair, set, mereological sum . . .) could exist even if Al is not fat. (Suppose Al exists and fatness exists in virtue of being instantiated by Harry but not by Al.)<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 14pt;\">How can semirealism avoid the contradiction: There are facts and there are no facts? If the realist says that there are facts, and that anti-realist says that there aren&#39;t, the semi-realist maintains that &#39;There are facts&#39; is an \u201cimproper proposition\u201d (178) so that both asserting it and denying it are improper. In explaining the impropriety, Butchvarov relies crucially on Wittgenstein&#39;s distinction between formal and material concepts and his related distinction between saying and showing.&#0160;<em>Obscurum per obscurius<\/em>? Let&#39;s see.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 14pt;\">The idea seems to be that while one can&#0160;<em>show<\/em>&#0160;that there are facts by using declarative sentences, one cannot&#0160;<em>say or state<\/em>&#0160;that there are facts by using declarative sentences, or refer to any particular fact by using a declarative sentence. If there are facts, then we should be able to give an example of one. &#39;This page is white is a fact,&#39; won&#39;t do because it is ill-formed. (179) We can of course say, in correct English, &#39;That this page is white is a fact.&#39; But &#39;that this page is white&#39; is not a sentence, but a noun phrase. Not being a sentence, it cannot be either true or false. And since it cannot be either true or false, it cannot refer to a proposition-like item that either obtains or does not obtain. So &#39;that this page is white&#39; does not refer to a fact. We cannot use this noun phrase to refer to the fact because what we end up referring to is an object, not a fact. Though a fact is not a sentence or a proposition, it is proposition-like: it has a structure that mirrors the structure of a proposition. No object, however, is proposition-like. To express the fact we must&#0160;<em>use<\/em>&#0160;the sentence. Using the sentence, we show what cannot be said.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 14pt;\">On one reading, Butchvarov&#39;s semirealism about facts is the claim that there are facts but they cannot be named. They cannot be named because the only device that could name them would be a sentence and sentences are not names. On this reading, Butchvarov is close to Frege. Frege held that there are concepts, but they cannot be named. Only objects can be named, and concepts are not objects. If you try to name a concept, you will not succeed, for what is characteristic of concepts, and indeed all functions, is that they are unsaturated (ungesaettigt). And so we cannot say either<\/span><\/p>\n<blockquote>\n<p><span style=\"font-family: georgia, palatino; font-size: 14pt;\">The concept&#0160;<em>horse<\/em>&#0160;is a concept<\/span><\/p>\n<p><span style=\"font-family: georgia, palatino; font-size: 14pt;\">or<\/span><\/p>\n<p><span style=\"font-family: georgia, palatino; font-size: 14pt;\">The concept&#0160;<em>horse<\/em>&#0160;is not a concept.<\/span><\/p>\n<\/blockquote>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 14pt;\">The first, though it looks like a tautology, is actually false because &#39;The concept horse&#39; picks out an object. The second, though it looks like a contradiction, is actually true for the same reason. Similarly, we cannot say either<\/span><\/p>\n<blockquote>\n<p><span style=\"font-family: georgia, palatino; font-size: 14pt;\">The fact that snow is white is a fact<\/span><\/p>\n<p><span style=\"font-family: georgia, palatino; font-size: 14pt;\">or<\/span><\/p>\n<p><span style=\"font-family: georgia, palatino; font-size: 14pt;\">The fact that snow is white is not a fact.<\/span><\/p>\n<\/blockquote>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 14pt;\">The first, though it looks like a tautology, is actually false because &#39;The fact that snow is white&#39; picks out an object. The second, though it looks like a contradiction, is actually true for the same reason.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 14pt;\">It is the unsaturatedness of Fregean concepts that makes them unnameable, and it is the proposition-like character of facts that makes them unnameable.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 14pt;\">Semirealism about facts, then, seems to be the view that there are facts, but that we cannot say that there are: they have a nature which prevents us from referring to them without distorting them. But then the position is realistic, and &#39;semirealism&#39; is not a good name for it: the &#39;semirealism&#39; is more epistemological\/referential than ontological.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 14pt;\">Other things Butchvarov says suggest that he has something else in mind with &#39;semirealism about facts.&#39; If he agrees with Strawson that facts are hypostatized declarative sentences, and argues against them on the ground of their unperceivability, then he cannot be saying that there are facts but we cannot say that there are. He must be denying that there are facts. But then why isn&#39;t he a flat-out antirealist?<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 14pt;\">Can you help me, Butch? What am I not understanding? What exactly do you mean by &#39;semirealism about facts&#39;?<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino;\"><span style=\"font-size: 18.6667px;\">BUTCHVAROV RESPONDS:<\/span><\/span><\/p>\n<div class=\"comment font-entrybody comment-odd\" id=\"comment-6a010535ce1cf6970c01bb0888935d970d\">\n<div class=\"comment-content font-entrybody\" id=\"comment-6a010535ce1cf6970c01bb0888935d970d-content\">\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 13pt;\">Your grasp of the issue is excellent, Bill. \u201c[T]he &#39;semirealism&#39; is more epistemological\/referential than ontological\u201d seems to me right; this is why it is semirealism, not realism. But it is logical semirealism: \u201cLogical semirealism differs from both logical antirealism and logical realism much as Kant\u2019s position on causality differed from both antirealism and realism regarding causality, and Wittgenstein\u2019s position on other people\u2019s sensations differed from both antirealism and realism regarding<\/span><br \/><span style=\"font-family: georgia, palatino; font-size: 13pt;\">\u201cother minds\u201d (page 166).<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 13pt;\">The reason facts are only \u201csemireal\u201d in my view is that they have a logical structure. As you say in your book A Paradigm Theory of Existence: Onto-Theology Vindicated, \u201cfacts could be truth-making only if they are \u201cproposition-like,\u201d \u201cstructured in a proposition-like way\u201d \u2013 only if \u201ca fact has a structure that can mirror the structure of a proposition.\u201d The structure of a proposition is its logical structure. In Part Two of Anthropocentrism in Philosophy I argue against realism regarding logical structure, but I also reject the simplistic antirealism regarding logical structure that says \u201cthere is only language.\u201d Surely there are no ands, ors, or iffs in the world. It\u2019s not just that logical objects and structures cannot be perceived or even \u201csaid.\u201d Surely words like \u201cand,\u201d \u201cor,\u201d and \u201cif\u201d do not stand for anything physical, mental, or other-worldly. Yet no less surely they are not merely words.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 13pt;\">Since facts necessarily, indeed essentially, possess a logical structure, my argument against logical realism applies also to realism regarding facts but, again, I reject the simplistic antirealism regarding facts that says \u201cthere is only language.\u201d I wrote: \u201c[T]here is a third way of understanding facts, which is neither realist nor antirealist. It is semirealist. In general, if a proposition is in dispute between realism and antirealism, with the realist asserting and the antirealist denying it, the semirealist would differ from both by holding that it is an improper proposition, perhaps even that there is no such proposition, and thus that both asserting and denying it are improper. There is an analogy <\/span><span style=\"font-family: georgia, palatino; font-size: 13pt;\">here with sophisticated agnosticism. The theist asserts the proposition \u201cGod exists\u201d <\/span><span style=\"font-family: georgia, palatino; font-size: 13pt;\">and the atheist denies it, but the sophisticated agnostic questions, for varying <\/span><span style=\"font-family: georgia, palatino; font-size: 13pt;\">reasons we need not consider here, its propriety\u201d (pages 178-9).<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 13pt;\">I would share your discomfort if a philosopher said \u201cThere are facts and there are no facts\u201d( I can\u2019t find the sentence in Anthropocentrism in Philosophy). But I would understand it, just as I understand Frege\u2019s \u201cThe concept horse is not a concept,\u201d Meinong\u2019s \u201cthere are things of which it is true that there are no such things,\u201d and Wittgenstein\u2019s \u201csome things cannot be said but show themselves.\u201d All four are puzzling. Sometimes we have to content ourselves with truths that puzzle us, make us wonder. But philosophy begins in wonder. We could, of course, invent new terms, perhaps saying that while facts do not exist they subsist, but I doubt that this would lead to better understanding.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 13pt;\">Butch<\/span><\/p>\n<\/div>\n<p class=\"comment-footer font-entryfooter\" style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 13pt;\">Posted by: Panayot Butchvarov |&#0160;<a href=\"https:\/\/maverickphilosopher.typepad.com\/maverick_philosopher\/2015\/10\/butchvarov-on-semirealism-about-facts.html?cid=6a010535ce1cf6970c01bb0888935d970d#comment-6a010535ce1cf6970c01bb0888935d970d\" rel=\"nofollow\">Thursday, October 29, 2015 at 10:53 AM<\/a><\/span><\/p>\n<\/div>\n<div class=\"comment font-entrybody comment-even\" id=\"comment-6a010535ce1cf6970c01b7c7e4d8d5970b\" style=\"text-align: justify;\">\n<div class=\"comment-content font-entrybody\" id=\"comment-6a010535ce1cf6970c01b7c7e4d8d5970b-content\">\n<p><span style=\"font-family: georgia, palatino; font-size: 13pt;\">Butch,<\/span><\/p>\n<p><span style=\"font-family: georgia, palatino; font-size: 13pt;\">Thanks for the response. You never say &quot;There are facts and there are no facts.&quot; But it seems to me that you give good arguments for both limbs of this (apparent) contradiction. Because the arguments on both sides are impressive, we have a very interesting, and vexing, problem on our hands, especially if you hold, as I think you do, that there are no true contradictions.<\/span><\/p>\n<p><span style=\"font-family: georgia, palatino; font-size: 13pt;\">I was under the impression that the doctrine of semirealism (about facts) was supposed to eliminate the contradiction and show it to be merely apparent. It seems to me that if we distinguish between existence and subsistence as two different modes of Being, then we could say that while facts do not exist in the way their constituents do, they are not nothing either &#8212; they don&#39;t exist but subsist. This would seem to be a way between the horns of the dilemma. In your brilliant formulation, &quot;There is more to the truth of sentences than the sentences that are true.&quot; On the other hand, there are the Strawsonian and other arguments against facts. On this way of looking at things, semirealism comes down to a doctrine of modes of Being.<\/span><\/p>\n<p><span style=\"font-family: georgia, palatino; font-size: 13pt;\">What I don&#39;t understand however, is how this is supposed to square with Wittgenstein&#39;s say vs. show distinction.<\/span><\/p>\n<p><span style=\"font-family: georgia, palatino; font-size: 13pt;\">On p. 76 of <em>Anthropocentrism<\/em> you refer to the existence-subsistence distinction. But then on p. 77 you say that this distinction is not the same as W&#39;s distinction between what can be said and what can only be shown &#8212; though it resembles it in motivation.<\/span><\/p>\n<p><span style=\"font-family: georgia, palatino; font-size: 13pt;\">So here is my criticism: you are not using &#39;semirealism&#39; univocally. If a subsistent, a number say, is semireal, then that is clear to me since I myself advocate (against most contemp. anal. phils.) distinctions between modes of Being. But if you say that numbers are semireal in the sense that &#39;There are numbers&#39; cannot be *said,* that the existence of numbers can only be *shown* by the use of numerals, then that is a quite different use of &#39;semireal.&#39;<\/span><\/p>\n<p><span style=\"font-family: georgia, palatino; font-size: 13pt;\">Why? Because one could take the say-show line while holding that there are no modes of Being, and vice versa.<\/span><\/p>\n<p><span style=\"font-family: georgia, palatino; font-size: 13pt;\">So I have two problems. One is that you seem to equivocate on &#39;semireal.&#39; The other is that W&#39;s say-show distinction is not clear to me. So if you explain semirealism in terms of the latter, then we have a case of *obscurum per obscurius.*<\/span><\/p>\n<\/div>\n<p class=\"comment-footer font-entryfooter\"><span style=\"font-family: georgia, palatino; font-size: 13pt;\">Posted by: BV |&#0160;<a href=\"https:\/\/maverickphilosopher.typepad.com\/maverick_philosopher\/2015\/10\/butchvarov-on-semirealism-about-facts.html?cid=6a010535ce1cf6970c01b7c7e4d8d5970b#comment-6a010535ce1cf6970c01b7c7e4d8d5970b\" rel=\"nofollow\">Thursday, October 29, 2015 at 03:03 PM<\/a><\/span><\/p>\n<\/div>\n<div class=\"comment font-entrybody comment-odd\" id=\"comment-6a010535ce1cf6970c01b8d16eaa6a970c\" style=\"text-align: justify;\">\n<div class=\"comment-content font-entrybody\" id=\"comment-6a010535ce1cf6970c01b8d16eaa6a970c-content\">\n<p><span style=\"font-family: georgia, palatino; font-size: 13pt;\">Butch,<\/span><\/p>\n<p><span style=\"font-family: georgia, palatino; font-size: 13pt;\">Here is another concern of mine.<\/span><\/p>\n<p><span style=\"font-family: georgia, palatino; font-size: 13pt;\">&gt;&gt;Frege\u2019s \u201cThe concept horse is not a concept,\u201d Meinong\u2019s \u201cthere are things of which it is true that there are no such things,\u201d&lt;&lt;<\/span><\/p>\n<p><span style=\"font-family: georgia, palatino; font-size: 13pt;\">You assimilate these to each other. But I see a crucial difference. Meinong employs a paradoxical formulation for literary effect, a formulation that expresses a proposition that is in no way contradictory. All he is saying is that some items are beingless which you will agree is non-contradictory. In other words, the proposition, the thought, that Meinong is expressing by his clever formulation is non-contradictory despite the fact that the verbal formulation he employs is either contradictory (assuming that &#39;there are&#39; is used univocally) or equivocal.<\/span><\/p>\n<p><span style=\"font-family: georgia, palatino; font-size: 13pt;\">But what is going on in &quot;The concept *horse* is not a concept&quot; is quite different. What Frege is saying in effect is that we cannot refer to concepts in a way that preserves their predicative function, their unsaturatedness. &#39;The concept *horse*&#39; is a name, and only objects can be named. So when we try to say anything about a concept we must fail inasmuch as a reference to a concept transforms it into an object thereby destroying its predicative function.<\/span><\/p>\n<p><span style=\"font-family: georgia, palatino; font-size: 13pt;\">Frege anticipates Wittgenstein in this. I can say &#39;7 is prime&#39; but not &#39;Primeness is instantiated by 7.&#39;<\/span><\/p>\n<p><span style=\"font-family: georgia, palatino; font-size: 13pt;\">This is similar to the problem we have with propositions and facts (which have a proposition-like structure).<\/span><\/p>\n<p><span style=\"font-family: georgia, palatino; font-size: 13pt;\">As you point out, &#39;Snow is white is true&#39; is ill-formed. But &#39;That snow is white is true&#39; is false inasmuch as &#39;That snow is white&#39; is a nominal phrase that picks out an object, and no object can be true.<\/span><\/p>\n<p><span style=\"font-family: georgia, palatino; font-size: 13pt;\">At his point someone might propose a disquotational-type theory according to which &#39;true&#39; in &#39;That snow is white is true&#39; does not express a property of something but merely serves to transform the nominal phrase back into the sentence &#39;Snow is white.&#39;<\/span><\/p>\n<p><span style=\"font-family: georgia, palatino; font-size: 13pt;\">What refutes this is your point that &quot;There is more to the truth of sentences than the sentences that are true.&quot;<\/span><\/p>\n<\/div>\n<p class=\"comment-footer font-entryfooter\"><span style=\"font-family: georgia, palatino; font-size: 13pt;\">Posted by: BV |&#0160;<a href=\"https:\/\/maverickphilosopher.typepad.com\/maverick_philosopher\/2015\/10\/butchvarov-on-semirealism-about-facts.html?cid=6a010535ce1cf6970c01b8d16eaa6a970c#comment-6a010535ce1cf6970c01b8d16eaa6a970c\" rel=\"nofollow\">Thursday, October 29, 2015 at 03:40 PM<\/a><\/span><\/p>\n<\/div>\n<div class=\"comment font-entrybody comment-even\" id=\"comment-6a010535ce1cf6970c01b8d16fa3a7970c\" style=\"text-align: justify;\">\n<div class=\"comment-content font-entrybody\" id=\"comment-6a010535ce1cf6970c01b8d16fa3a7970c-content\">\n<p><span style=\"font-family: georgia, palatino; font-size: 13pt;\">I am answering two posts. As to the one about Anscombe and GeacH, I agree completely, Bill. I\u2019ve always marveled that philosophers like Anscombe and Geach were so easily influenced by Russell\u2019s attacks on Meinong. Russell of course did know what Meinong meant and initially even agreed with him but then invented his theory of definite descriptions that allowed him to \u201canalyze away\u201d Meinong\u2019s examples.<\/span><\/p>\n<p><span style=\"font-family: georgia, palatino; font-size: 13pt;\">Now I come to the other post. I am not sure there is genuine disagreement between us. Regarding existence and subsistence, we might look at [Gustav]Bergmann. He \u201crenounced his earlier distinction between existence and subsistence, subscribing now to the seeming paradox that \u2018whatever is thinkable exists.\u2019 Yet he acknowledged that \u2018the differences among some of the several existents\u2026are very great indeed\u2026momentous, or enormous,\u2019 thus acknowledging the rationale for the distinction\u201d (page 142 of Anthropocentrism in Philosophy). Whether we \u201cdistinguish between existence and subsistence as two different modes of Being\u201d or say that everything (\u2018thinkable\u2019) exists though the differences among some existents are enormous seems to me a matter of words. I am uneasy about using the phrase \u201cmodes of Being\u201d because it has had numerous other applications, e.g., matter and mind, universals and particulars, infinite and fine, and so on.<\/span><br \/><span style=\"font-family: georgia, palatino; font-size: 13pt;\">As to the meaning of \u201csemireal,\u201d let me begin with a quotation from the Introduction: \u201c[I]n the case of metaphysical antirealism, numerous qualifications, distinctions, and explanations are needed. No metaphysical antirealist denies the reality of everything, just as no metaphysical realist asserts the reality of everything, including, say, the Easter Bunny. The solipsist says, \u2018Only I exist,\u2019 not \u2018Nothing exists.\u2019 Berkeley denied that there are material objects, he called them \u2018stupid material substances,\u2019 but he insisted on the existence of minds and their ideas. According to Kant&#8230;. material objects are \u2018transcendentally ideal,\u2019 dependent on our cognitive faculties, but they are nonetheless \u2018empirically real,\u2019 not mere fancy. Bertrand Russell distinguished between existence<\/span><br \/><span style=\"font-family: georgia, palatino; font-size: 13pt;\">and subsistence: some things do not exist, yet they are not nothing \u2013 they subsist; for example, material objects exist but universals only subsist. According to Wittgenstein\u2019s Tractatus, some things cannot be \u201csaid,\u201d i. e., represented in language,but they \u201cshow\u201d themselves in what can be said. Among them, he held, are those that matter most in logic, ethics, and religion\u201d (page 15).<\/span><\/p>\n<p><span style=\"font-family: georgia, palatino; font-size: 13pt;\">I try to explain Wittgenstein\u2019s distinction between saying and showing as follows: \u201cThe distinction has a straightforward, noncontroversial application even to ordinary pictures, say, paintings and photographs, indeed to representations generally. And the [associated] picture theory [of meaning] is merely a subtler version of the traditional theory of meaning and thought, which was unabashedly representational, \u2018pictorial\u2019: thought involves \u2018ideas,\u2019 often explicitly understood as mental images or pictures, and the meaning of an expression is what it stands for\u201d (page 67).\u201d<\/span><\/p>\n<p><span style=\"font-family: georgia, palatino; font-size: 13pt;\">\u201cIn a painting, much is shown that is not and cannot be pictured by the painting or any part of it. For example, the painting may represent a tree next to a <\/span><span style=\"font-family: georgia, palatino; font-size: 13pt;\">barn, each represented by a part of the painting, and the spatial relation between <\/span><span style=\"font-family: georgia, palatino; font-size: 13pt;\">the parts of the painting that represent the tree and the barn would represent <\/span><span style=\"font-family: georgia, palatino; font-size: 13pt;\">their relation of being next to each other. But nothing in the painting represents <\/span><span style=\"font-family: georgia, palatino; font-size: 13pt;\">that relation\u2019s being a relation, nothing \u2018says\u2019 that their being next to each other <\/span><span style=\"font-family: georgia, palatino; font-size: 13pt;\">is a relation (rather than, say, a shape or color). Yet the painting shows this, indeed <\/span><span style=\"font-family: georgia, palatino; font-size: 13pt;\">must show it in order to represent what it does represent. What it shows <\/span><span style=\"font-family: georgia, palatino; font-size: 13pt;\">cannot be denied as one might deny, for example, that the painting is a portrait <\/span><span style=\"font-family: georgia, palatino; font-size: 13pt;\">of Churchill. The absence from the painting of what it only shows would not be <\/span><span style=\"font-family: georgia, palatino; font-size: 13pt;\">like Churchill\u2019s absence. Of course, paintings do not consist of words, and sentences <\/span><span style=\"font-family: georgia, palatino; font-size: 13pt;\">are only \u2018logical\u2019 pictures. But like all pictures, physical or mental, paintings <\/span><span style=\"font-family: georgia, palatino; font-size: 13pt;\">are logical pictures, though not all logical pictures are paintings\u201d (page 68).<\/span><\/p>\n<p><span style=\"font-family: georgia, palatino; font-size: 13pt;\">You write, \u201cWhat I don&#39;t understand however, is how this [the distinction between real and semireal] is supposed to square with Wittgenstein&#39;s say vs. show distinction.\u201d My concern is with logical semirealism, and Wittgenstein applied his distinction mainly to logical expressions. If some things cannot be said but show themselves, neither calling them real nor calling them unreal would be quite right. So I opted for calling them semireal. Of course, nothing of philosophical importance hangs on what word is chosen.<\/span><\/p>\n<p><span style=\"font-family: georgia, palatino; font-size: 13pt;\">You write, \u201cif you say that numbers are semireal in the sense that &#39;There are numbers&#39; cannot be *said,* that the existence of numbers can only be *shown* by the use of numerals, then that is a quite different use of &#39;semireal.&#39;\u201d I have offered no view about numbers, though Wittgenstein did include \u201cnumber\u201d in his list of formal concepts: \u201c\u2019Object,\u2019 \u2018complex,\u2019 \u2018fact,\u2019 \u2018function,\u2019 \u2018number\u2019 signify formal concepts, represented in logical notation by variables, for example, the pseudo-concept object by the variable \u2018x\u2019 (Tractatus 4.1272). The properties they appear to stand for are formal, internal, such that it is unthinkable that what they are attributed to should not possess them (4.123). For this reason it would be just as nonsensical to assert that something has a formal property as to deny it (4.124).\u201d But Wittgenstein was aware that the status of numbers is far too complicated an issue to be resolved by just saying that \u201cThere are numbers\u201d cannot be \u201csaid.\u201d Much later he wrote his Remarks on the Foundations of Mathematics.<\/span><\/p>\n<p><span style=\"font-family: georgia, palatino; font-size: 13pt;\">Please forgive me for resorting to such lengthy quotations. I tried to avoid them but found what I was writing inferior to what I had already written.<\/span><\/p>\n<\/div>\n<\/div>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 14pt;\">Posted by: Panayot Butchvarov |&#0160;<a href=\"https:\/\/maverickphilosopher.typepad.com\/maverick_philosopher\/2015\/10\/butchvarov-on-semirealism-about-facts.html?cid=6a010535ce1cf6970c01b8d16fa3a7970c#comment-6a010535ce1cf6970c01b8d16fa3a7970c\" rel=\"nofollow\">Sunday, November 01, 2015 at 01:31 AM<\/a><\/span><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Facts are the logical objects corresponding to whole declarative sentences, or rather to some of them. When it comes to facts, Panayot Butchvarov appreciates the strengths and weaknesses of both realism and anti-realism. For the realist, there are facts. For the anti-realist, there are no facts. Let us briefly review why both positions are attractive &hellip; <a href=\"https:\/\/maverickphilosopher.blog\/index.php\/2022\/11\/22\/semirealism-about-facts-an-exchange-with-butchvarov\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;Semirealism about Facts: An Exchange with Butchvarov&#8221;<\/span><\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[21,78,487,237],"tags":[],"class_list":["post-1756","post","type-post","status-publish","format-standard","hentry","category-aporetics","category-butchvarov","category-constituent-ontology","category-facts"],"_links":{"self":[{"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/posts\/1756","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/comments?post=1756"}],"version-history":[{"count":0,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/posts\/1756\/revisions"}],"wp:attachment":[{"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/media?parent=1756"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/categories?post=1756"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/tags?post=1756"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}