The Univocity and Binary Nature of Truth
Intro:
I'm going to make a case against both of these assumptions. :cool:
A major difficulty for modern thought has been the move to turn truth and falsity into contradictory opposites, as opposed to contrary opposites (i.e. making truth akin to affirmation and negation). For an example of contradictory opposition, consider a number's "being prime." A number is either prime or it isn't. To say that a number is prime is to say that it is not-not-prime (i.e. double negation). For contrary opposition, consider darkness and light. Darkness is the absence of light. On a naive view, we might suppose there can be pitch darkness, a total absence of light, or a sort of maximal luminescence. The two are opposites, but they are not contradictory opposites. To say of a room that "it is light" is not to say that it admits of no darkness. Shadows are still cast in bright rooms.
No doubt, the move to make truth and falsity contradictory opposites (and thus binaries) has at times been a useful one. It is convenient to be able to assign a binary (0,1) value to propositions as a measure of their truth. For instance, it makes computation far easier.
However, I think that, if we are not carefuland we have not beenthis move becomes a major step down the road to deflationism vis-à-vis truth. This is a view that I think is every bit as untenable and radical as either solipsism or epistemological nihilism, its advocates just tend to obscure this fact by ultimately deficient appeals to "pragmatism." Deflation is equivalent with saying that truth is predicated equivocally. Hence, we have "very many truths (plural)."
Reducing truth to a binary seems to edge us towards primarily defining truth in terms of "propositions/sentences" and, eventually, formalism alone, and so deflation. This is as opposed to primarily defining truth in terms of knowledge/belief and speech/writing.
The key difference is that, in the latter, there is a knower, a believer, a speaker, or a writer, whereas propositions generally get transformed into isolated "abstract objects" (presumed to be "real" or not), that exist unconnected to any intellect. Such propositions are true or false (there is no gradation) [I]simpliciter[/I]. Such a view seems to require some dubious assumptions.
The Bad Assumptions:
First, the move to making truth primarily a property of isolated propositions seems to need to assume that propositions are intelligible in isolation from one another (meaningful simplicitier). Pace coherence theorists, we will be forced to assert that "horses have four legs" is true in such a way that its truth is not dependent on truths about "what legs are" or "what horses are," etc. This problem seems particularly tricky for those who don't want to claim that propositions are a sort of lower-case "p" platonic abstract object (whereas the idea of propositions as abstract objects is also implausible).
Seconds, for the term "true" to have any content, it must not to apply equally to all things; falsity must be at least a possibility. For my part, it's unclear to me how we can have falseness without an intellect. For instance, stars, rocks, numbers, and trees are not true or false, but rather beliefs and statements about them are. Nor will it do to have truth and falsity be properties of "language," as isolated from any consideration of language users. Rocks do not come to know things by having truths carved into them, and in a lifeless universe of random shifting sands, a proposition that happens to be spelled out in English by pure chance means nothing to anyone (even potentially).
Hence, we might take up the previously common supposition that truth has [I]something[/I] essentially to do with the relationship between the intellect and reality. I would go a step further: "truth is primarily in the intellect and only secondarily (or fundementally) in things." Signs, statements in language, etc. can be true or false in virtue of what they mean, and meaning is likewise primarily in the mind, secondarily in things.
So, without having to make any commitments to any specific sort of correspondence or identity relationship between thought and being, we can simply leave it as "truth is the conformity or adequacy of thought to being."
This gets us to the other difficulty of reducing truth to a binary. Our knowledge does not seem to fit this binary neatly. Doubtless I can "know my friends," but it appears than I can know them "more or less""better or worse." I know some Arabic and Latin, but I could certainly know them better. And we often speak of coming to "truly know people" or which movies are "truer to life," etc.
Yet if truth primarily relates to beliefs, how are we to make sense of this? Is knowing someone better or worse just a matter of knowing more true propositions about them and affirming fewer false ones?
Here we get to a third common assumption at work in the drive towards truth as a univocal binary: the idea that all knowledge and belief is reducible to atomic propositions, that knowledge is the type of thing that can be atomized or is a whole that is merely the sum of its parts.
I would reject this on the grounds that lone propositions are not intelligible in themselves, in isolation. Nor does one "know a language" as a heap of isolated propositions. Further, the meaning of individual propositions often turns on our understanding of the meaning of others. Phenomenologically and psychologically, the drive to atomize knowledgetrue beliefinto something like a mere "database" of atomic propositions also seems implausible. This is not how we experience knowing. This move seems to have more to do with what is easy to formalize than anything else. In this, it seems like the equivalent of demanding that the lost keys be under the streetlight because it is easiest to see there.
Truth as Primarily Related to Belief and the Communication of Beliefs:
If truth primarily relates to the intellect, and so to beliefs, and these do not conform to a neat binary, then why should our consideration of truth do so? Because it is simpler? Yet we could just as well make use of the simplifying assumption, knowing it misses something, without having to lose sight of the fact that it is [I]just[/I] this, a simplifying assumption.
If we were to insist on a "quantification of truth" (I wouldn't), we could consider both the accuracy of statements (how much they leave out) and their vagueness. With the former, we can consider cases where statements are misleading through omission (resulting in an inadequacy of the intellect to being), whereas in the latter we have cases like "how many grains of sand make a heap?" or "how tall is 'tall' vis-á-vis the truth of 'Achilles is tall.'?" Even someone who is two feet tall is still "tall" in some sense.
A key consequence of truth being based on contrariety is that it is not equivalent with affirmation and negation.
St. Thomas makes the case for this (he also adds some good arguments):
[Quote]
I answer that, True and false are opposed as contraries, and not, as some have said, as affirmation and negation. In proof of which it must be considered that negation neither asserts anything nor determines any subject, and can therefore be said of being as of not-being, for instance not-seeing or not-sitting. But privation asserts nothing, whereas it determines its subject, for it is "negation in a subject," as stated in Metaph. iv, 4: v. 27; for blindness is not said except of one whose nature it is to see. Contraries, however, both assert something and determine the subject, for blackness is a species of color. Falsity asserts something, for a thing is false, as the Philosopher says (Metaph. iv, 27), inasmuch as something is said or seems to be something that it is not, or not to be what it really is. For as truth implies an adequate apprehension of a thing, so falsity implies the contrary.
Summa Theologiae - I:I, Q.17, A4, R
https://www.newadvent.org/summa/1017.htm#article4
[/Quote]
The benefit here is that we avoid falling into a very common false dichotomy:
Either there is one univocal measure of truth, but which all propositions can be correctly assigned the proper binary value, or truth varies according to the construct/game in which it is defined.
We also get a more nuanced view of truth that can extend beyond sign systems. For instance, there are the "false crabs," likenesses that are more or less "true to life," the "true knight" who will defend the innocent rather than robbing them, etc. The truth by which someone is a "true knight" or an artifact is "true to its purpose" is not identical with the truth by which "5 is prime" is true, but neither is it unrelated. All involve judgements about the adequacy of intellect to being.
Avicenna introduces a hierarchy to this analogy, based truths that are prior in the order of existence, which is also a helpful expansion.
I'm going to make a case against both of these assumptions. :cool:
A major difficulty for modern thought has been the move to turn truth and falsity into contradictory opposites, as opposed to contrary opposites (i.e. making truth akin to affirmation and negation). For an example of contradictory opposition, consider a number's "being prime." A number is either prime or it isn't. To say that a number is prime is to say that it is not-not-prime (i.e. double negation). For contrary opposition, consider darkness and light. Darkness is the absence of light. On a naive view, we might suppose there can be pitch darkness, a total absence of light, or a sort of maximal luminescence. The two are opposites, but they are not contradictory opposites. To say of a room that "it is light" is not to say that it admits of no darkness. Shadows are still cast in bright rooms.
No doubt, the move to make truth and falsity contradictory opposites (and thus binaries) has at times been a useful one. It is convenient to be able to assign a binary (0,1) value to propositions as a measure of their truth. For instance, it makes computation far easier.
However, I think that, if we are not carefuland we have not beenthis move becomes a major step down the road to deflationism vis-à-vis truth. This is a view that I think is every bit as untenable and radical as either solipsism or epistemological nihilism, its advocates just tend to obscure this fact by ultimately deficient appeals to "pragmatism." Deflation is equivalent with saying that truth is predicated equivocally. Hence, we have "very many truths (plural)."
Reducing truth to a binary seems to edge us towards primarily defining truth in terms of "propositions/sentences" and, eventually, formalism alone, and so deflation. This is as opposed to primarily defining truth in terms of knowledge/belief and speech/writing.
The key difference is that, in the latter, there is a knower, a believer, a speaker, or a writer, whereas propositions generally get transformed into isolated "abstract objects" (presumed to be "real" or not), that exist unconnected to any intellect. Such propositions are true or false (there is no gradation) [I]simpliciter[/I]. Such a view seems to require some dubious assumptions.
The Bad Assumptions:
First, the move to making truth primarily a property of isolated propositions seems to need to assume that propositions are intelligible in isolation from one another (meaningful simplicitier). Pace coherence theorists, we will be forced to assert that "horses have four legs" is true in such a way that its truth is not dependent on truths about "what legs are" or "what horses are," etc. This problem seems particularly tricky for those who don't want to claim that propositions are a sort of lower-case "p" platonic abstract object (whereas the idea of propositions as abstract objects is also implausible).
Seconds, for the term "true" to have any content, it must not to apply equally to all things; falsity must be at least a possibility. For my part, it's unclear to me how we can have falseness without an intellect. For instance, stars, rocks, numbers, and trees are not true or false, but rather beliefs and statements about them are. Nor will it do to have truth and falsity be properties of "language," as isolated from any consideration of language users. Rocks do not come to know things by having truths carved into them, and in a lifeless universe of random shifting sands, a proposition that happens to be spelled out in English by pure chance means nothing to anyone (even potentially).
Hence, we might take up the previously common supposition that truth has [I]something[/I] essentially to do with the relationship between the intellect and reality. I would go a step further: "truth is primarily in the intellect and only secondarily (or fundementally) in things." Signs, statements in language, etc. can be true or false in virtue of what they mean, and meaning is likewise primarily in the mind, secondarily in things.
So, without having to make any commitments to any specific sort of correspondence or identity relationship between thought and being, we can simply leave it as "truth is the conformity or adequacy of thought to being."
This gets us to the other difficulty of reducing truth to a binary. Our knowledge does not seem to fit this binary neatly. Doubtless I can "know my friends," but it appears than I can know them "more or less""better or worse." I know some Arabic and Latin, but I could certainly know them better. And we often speak of coming to "truly know people" or which movies are "truer to life," etc.
Yet if truth primarily relates to beliefs, how are we to make sense of this? Is knowing someone better or worse just a matter of knowing more true propositions about them and affirming fewer false ones?
Here we get to a third common assumption at work in the drive towards truth as a univocal binary: the idea that all knowledge and belief is reducible to atomic propositions, that knowledge is the type of thing that can be atomized or is a whole that is merely the sum of its parts.
I would reject this on the grounds that lone propositions are not intelligible in themselves, in isolation. Nor does one "know a language" as a heap of isolated propositions. Further, the meaning of individual propositions often turns on our understanding of the meaning of others. Phenomenologically and psychologically, the drive to atomize knowledgetrue beliefinto something like a mere "database" of atomic propositions also seems implausible. This is not how we experience knowing. This move seems to have more to do with what is easy to formalize than anything else. In this, it seems like the equivalent of demanding that the lost keys be under the streetlight because it is easiest to see there.
Truth as Primarily Related to Belief and the Communication of Beliefs:
If truth primarily relates to the intellect, and so to beliefs, and these do not conform to a neat binary, then why should our consideration of truth do so? Because it is simpler? Yet we could just as well make use of the simplifying assumption, knowing it misses something, without having to lose sight of the fact that it is [I]just[/I] this, a simplifying assumption.
If we were to insist on a "quantification of truth" (I wouldn't), we could consider both the accuracy of statements (how much they leave out) and their vagueness. With the former, we can consider cases where statements are misleading through omission (resulting in an inadequacy of the intellect to being), whereas in the latter we have cases like "how many grains of sand make a heap?" or "how tall is 'tall' vis-á-vis the truth of 'Achilles is tall.'?" Even someone who is two feet tall is still "tall" in some sense.
A key consequence of truth being based on contrariety is that it is not equivalent with affirmation and negation.
St. Thomas makes the case for this (he also adds some good arguments):
[Quote]
I answer that, True and false are opposed as contraries, and not, as some have said, as affirmation and negation. In proof of which it must be considered that negation neither asserts anything nor determines any subject, and can therefore be said of being as of not-being, for instance not-seeing or not-sitting. But privation asserts nothing, whereas it determines its subject, for it is "negation in a subject," as stated in Metaph. iv, 4: v. 27; for blindness is not said except of one whose nature it is to see. Contraries, however, both assert something and determine the subject, for blackness is a species of color. Falsity asserts something, for a thing is false, as the Philosopher says (Metaph. iv, 27), inasmuch as something is said or seems to be something that it is not, or not to be what it really is. For as truth implies an adequate apprehension of a thing, so falsity implies the contrary.
Summa Theologiae - I:I, Q.17, A4, R
https://www.newadvent.org/summa/1017.htm#article4
[/Quote]
The benefit here is that we avoid falling into a very common false dichotomy:
Either there is one univocal measure of truth, but which all propositions can be correctly assigned the proper binary value, or truth varies according to the construct/game in which it is defined.
We also get a more nuanced view of truth that can extend beyond sign systems. For instance, there are the "false crabs," likenesses that are more or less "true to life," the "true knight" who will defend the innocent rather than robbing them, etc. The truth by which someone is a "true knight" or an artifact is "true to its purpose" is not identical with the truth by which "5 is prime" is true, but neither is it unrelated. All involve judgements about the adequacy of intellect to being.
Avicenna introduces a hierarchy to this analogy, based truths that are prior in the order of existence, which is also a helpful expansion.
Comments (38)
A bright room can be controversially white (or a voltage controversially on), and a shadow controversially black (the voltage controversially off), but the whites (or on's) are uncontroversially not blacks (not off's).
Grain collections that are heaps are uncontroversially not pittances and vice versa (grain collections that are pittances are uncontroversially not heaps) but not all of both are uncontroversially one or the other. Some are controversially somewhere in between. But none are even controversially both. The two fuzzy borders (of "heap" and "pittance") are kept far enough apart.
Obviously this is relative to a system. Sometimes the system catches on, other times a continuous spectrum is preferred, other times again some unrestricted pattern of overlapping is more appropriate.
Obviously too there can't (in the restricted system) be free expression for Humpty Dumptys.
Quoting bongo fury
There is a rather long ongoing discussion on this topic beginning on page 12 of another thread.
Quoting Count Timothy von Icarus
See:
Quoting Leontiskos
-
Quoting Count Timothy von Icarus
This is interesting insofar as Thomas delineates an assertion of falsehood from a negation, which we came up against in the threads on Kimhi.
But I don't see Thomas saying that the true and the false are not contradictories, nor do I see Aristotle saying that. Classically, true/false are contradictories:
Quoting SEP on Aristotle and Non-Contradiction
(The law of the excluded middle must also be mixed in.)
Edit: For Aristotle contraries allow for an unexcluded middle, but true/false do not, therefore true/false are not contraries. Cf. Metaphysics IV.7 - 1011b23.
What about the quote from the OP?
https://www.newadvent.org/summa/1017.htm#article4
Yes, something cannot be black and not-black, just as a sentence cannot be true and not-true. This is because being involves contradictory opposition, as does affirmation and negation. For instance, opposing universal and particular assertions would involve negations of each other (i.e. the square of opposition).
Obviously, the truth of a statement often depends on its context. "Peanuts are healthy" is true as respects most men, and false as respects the person with the peanut allergy. Truth and falsity are mutually exclusive in cases where the truth (or falsity) of a statement would both affirm and deny being without qualification (being and non-being are contradictory).
Thomas also says that univocal predication is proper to the discipline of logicians. If you're building a syllogism, then the truth or falsity of your premises vis-a-vis predication should involve contradiction. It would be problematic if they didn't.
I always assumed Thomas's point here was pointing back to Avicenna and ontological truth. There is also truth as adequacy of being to the divine intellect (truth most perfectly) addressed in the prior question (16).
Truth represents a perfect adequacy between the intellect and being. Falsity is the absence of this adequacy. If any inadequacy makes a belief or statement false, that seems to be quite problematic. For one, it would mean that all or almost all of the "laws" of the natural sciences are false, along with our scientific claims.
A theory or hypothesis might not perfectly conform to reality, but this doesn't make it completely inadequate either.
Pretty sure you can relate this to the Square of Opposition as well. For instance, "all elephants have big ears cannot be true at the same time as no elephants have big ears," but they can both be false. Whereas with "all elephants have big ears" and "some elephants do not have big ears" one must be true and the other false.
Kimhi is helpful here:
He adds this footnote:
On this understanding of Aristotle, a contrary pair will display positive and negative acts involving a verb, whereas a contradictory pair either affirms or denies the truth of a proposition. Roughly, (A thinks p, A thinks ~p) vs. (p, ~p).
So yes, the distinction you're making between contraries and contradictories is extremely important. The essential unity of the thinker with the thought, the knower with the world, can only be shown by rejecting, as Kimhi does, the idea that a proposition can be true or false in the absence of some context of assertion.
Predating Tarski by several centuries! And the challenge to that, coming from people like Kimhi and Sebastian Rödl (who I'm now reading with great interest) is, Are we sure that thought and being exist in the sort of relationship that needs to be "conformed" or "adequated"? Can we paint a plausible picture that is at bottom monistic? I'm still working on that, and I want to do an OP soon that lays out some of Rödl's ideas about the Fregean force/content distinction.
I would argue that the underlying 'dubious assumption' here is that the world, and by extension truth, exists independently of any mind or knowing subject. This move to isolate propositions as abstract objects, true or false simpliciter, overlooks the relational nature of truth. From an idealist perspective, truth emerges within the interplay between the knower and the known, and severing this connection risks reducing truth to a sterile formalism. Hence also:
Quoting J
Quoting J
I've read about his books and tried to tackle some of his papers, but I'm finding him difficult reading. I would be pleased if there was another here with some interest.
Agreed, although I don't know if "context of assertion" is the right framing. Beliefs can be true or false without being needing to be "asserted."
Well, presumably we need to be able to explain false beliefs and false statements. There is adequacy in the sense of "believing the Sun rotates around the Earth" being, in important ways, inadequate.
Monistic in what sense?
I don't much like "context of assertion" either, but the deeper challenge here is whether, in fact, a belief can be true or false without being asserted. I know that sounds absurd, but so much depends on how we construe "assertion," and the long thread on Kimhi a few months back revealed a lot of work to be done on this question.
Quoting Count Timothy von Icarus
Yes. One problem for being/thinking monism a la Kimhi is that it seems to imply that any valid thought also has to be true. That can't be right, so we need to work out whether there really is a concept of validity independent of truth. Again, sounds absurd -- there has to be, right?! -- but stand-alone "validity" turns out to be very tricky. The monist wants to be able to say that there is no disjunction between truth and validity -- that there is something ill-formed or incoherent about "A thinks ~p", as opposed to "A doesn't think p". This is the problem from Parmenides that Kimhi begin T&B with, you may recall: How can we think that which is not?
Quoting Count Timothy von Icarus
Monism in that sense, a tall order. Rödl, another monist as far as I can tell, subtitles his book Self-Consciousness and Objectivity as "An Introduction to Absolute Idealism."
I don't see it. A good entry point into Aquinas' topic is to read the objections, and none of the objections are claiming that true/false are contradictory. He is in large part asking whether they belong to a common genus, i.e. assertion. His answer is, "Yes, they belong to the common genus of assertion."
Quoting Count Timothy von Icarus
And to say that something is not-black is to say that it is false that it is black. Something cannot be true and false, therefore the true and the false are contradictory:
Quoting Leontiskos
Quoting Count Timothy von Icarus
I would challenge you to give a case where truth and falsity are not mutually exclusive.
Quoting Count Timothy von Icarus
Okay, that's fair, but ontological truth/falsity as they exist primarily in the intellect. I guess I didn't realize that in the OP you were talking about true/false as states of the intellect. For example, you critique a thesis regarding propositions, and seem to in some way question the LEM:
Quoting Count Timothy von Icarus
Maybe it would be helpful to circle back and simplify the position you are challenging in the OP. What objectionable thesis does your opponent hold?
I can see that Aquinas would agree that the intellect which is true does not contradict the intellect which is false, in the ontological sense. But in this case we are not talking about predications or assertions of falsity. Surely we agree that "p is false" contradicts "p is true."
Quoting Count Timothy von Icarus
Okay, that is helpful. But remember that falsity is a privation, not an absence. If the intellect has no truth it cannot have falsity.
:rofl: It does. Is the idea here that just thinking something is asserting it? Surely a woman can suspect her husband of cheating, and thereby hold a belief that is either true or false, without having to utter or write down that belief, right?
I have definitely felt stupid and laughed at myself for believing (false) things that I never expressed.
Ah, I think I know a good one for this sort of thing. in Metaphysics, IX 10, Aristotle distinguishes between two kinds of knowledge/truth:
-Asytheta: truth as the conformity of thought and speech to reality (whose opposite is falsity); and
-Adiareta, truth as the grasping of a whole, apprehension (whose opposite is simply ignorance).
It might make sense to think about our knowledge of things as "passing back and forth between these two modes." For instance, because they are very complex topics, it took me a lot of reading and reflection to understand "Plotinus' conception of divine freedom" or "Hegel's dialectic." But now, having studied them, I can also consider them as unified wholes and understand or vet propositions that reference them without having to "unpack" all that I know about them. And it seems to me that the better one understands something the more one is able to consider it as an undivided whole (of course, the thing in question being more of a true unity matters too).
From my notes on similar ideas:
So, to this question:
Discursive knowledge involves combining, concatenating, estimating, etc. This is a "feebler" sort of knowledge. It is possible to combine things inappropriately, etc.
We can chalk this up to finitude. You can explain it in naturalistic terms too. For perception to occur, signals in the form of various types of energy in the environment must be transformed into electrochemical signals within/between neurons before becoming present in phenomenal awareness. This transformation of signals is not lossless. Organisms sensory systems must be extremely selective about what information they take in from the environment. Taking in even a small fraction of the total entropy an organism is exposed to in the ambient environment would cause it to be overwhelmed by entropy.
To see why, consider the total number of molecules interacting with the surface of an organism at any given moment. Even leaving aside the difficulties in being able to develop sense organs sensitive enough to take in all this information, it is clear that sensitivity to the environment at this level of granularity would require a massive neurological apparatus just to encode the incoming data, let alone sift through it for relevance. Thus, which signals are allowed to pass from the environment into an organism's nervous system must be curated such that most information does not pass into the nervous system. Representationalists are correct that this facet of sensory systems introduces a great deal of bias into perception, just not about some of their other assumptions IMO.
Terrance Deacon has some good stuff on this and the semiotics he (and everyone else in biology) uses is derived from the Scholastic Doctrina Signorum: https://www.researchgate.net/publication/281155120_Steps_to_a_science_of_biosemiotics
Maybe I'm misreading it, but this seems implausible. My success at diagnosing a disease as a doctor depends on the quality of my diagnostic equipment, not just my own thought. My success at correctly reading of the letters on the chart at the optometrists depends on the curvature of my eye's lens, etc. These are all external to thought.
Something cannot be true and false because nothing can both be and not be anything, in the same way, at the same time, without qualification.
But sentences can be true and false with qualification. Consider: "Ron Artest is good." Well, he was an NBA starter, so if you were talking basketball back in his prime, this is true, he was good. If you're talking other behavior? Well he jumped into the stands to attack a fan who threw a drink at him and attacked some random uninvolved person instead. This seems to qualify as "not good." When it comes to logic, our predicates should be univocal, and this sort of ambiguity should be ruled out.
But even for propositions like: "you had a good day," the truth of this is not reducible to a binary. Sometimes, if asked if we had a good day, we don't really know. Does this mean that there is no truth as to whether or not anyone ever has a good day? That the sentence is not truth-apt? I don't think so.
Well, the problem that I think is most acute is ascribing truth and falsity primarily to propositions. Actually, it seems that in a lot of philosophy they are the only bearers of truth. That's what leads to, IMO, bad conceptualizations of knowledge.
:up:
Provided the terms are clear. But I suppose my point is that contradiction in this case is used as the lens through which truth as a whole is analyzed. This leads to concepts like "the one true canonical database of all true propositions" and when concepts like this are shown to be flawed, there is a crash into deflation. Truth ends up being either univocal, and contained in "the one true set of propositions," or else entirely relativized (with some appeals to "pragmatism" as a backstop).
So:
Quoting Count Timothy von Icarus
Let me try to do what I want you to do. I will try to capture each position you oppose with a thesis:
Are these the positions you are opposing? Or is it something else?
The first: Yes.
The second, no. My point is that it is not only or even primarily propositions that are true or false. We have beliefs that can be true or false. Presumably, even people who cannot speak have beliefs. We have theories that get falsified.. We have models that can be more or less true to what they model. Etc.
Propositions cannot be both true and false without qualification. However, we can have propositions that make statements about how true something is to some ideal. "This is a good car." Does this reduce to a binary? I don't think so. Is it simply not truth-apt? I don't think this works either, because a car that won't start is in an important sense not a good car. It isn't true to its purpose.
The same is true for "its dark outside." Darkness is contrary, but the adequacy of thought to being here is contradictory? No doubt it wouldn't make sense to say it is both dark and not-dark out without qualification.
Not quite. Think of it in terms of Frege's "force" as equivalent to (one sense of) "assertion". The question is then: How does the "content" (of the force/content distinction) make itself known independently? If "p" is different from "I think p", how exactly does p come to be present to us? This quote from Rödl captures the problem:
This point of view is very congenial to yours, I would think, since Rödl is doubting whether "p" -- a proposition -- could possibly do the things, all by itself, that formalism says it can. A thinker is required.
Me, definitely. Working my way through Self-Consciousness and Objectivity now.
Right.
Quoting Count Timothy von Icarus
Yes, on pain of equivocation.
Quoting Count Timothy von Icarus
But is this a matter of the univocity of truth or of the ambiguity of language? And is the LEM being rejected if the truth-value is not binary?
Usually the non-binary response will be an attempt to distinguish different parts of the day instead of collecting it into a single whole.
Quoting Count Timothy von Icarus
Yes, I agree. This is happening a lot in that thread I referenced in my first post.
Quoting Count Timothy von Icarus
Okay, I sort of see that. I do think discursive/propositional knowledge needs to be grounded in something more, but I don't see the critiques of classical notions of truth as a great threat.
...That's about how I view the attack on classical notions of truth. The naysayers look like contrarian novelty-seekers who are unwilling to engage in the foundational philosophical act of providing constructive alternatives. They take any imperfection to be a fatal flaw, and end in some variety of skepticism.
-
Quoting Count Timothy von Icarus
Okay, so how would you characterize the view you take exception to?
Quoting Count Timothy von Icarus
Regarding an ideal, the nurse might ask, "On a scale of 1 to 10, how much pain are you in?" This obviously requires something other than a binary answer.
When I imagine a conversation beginning with, "This is a good car," I don't foresee non-binary truth values. The interlocutor might say any number of things:
I haven't read much on this specific subject, but I am not aware of anti-univocalists who think truth is not predicated univocally. And even if we are talking about truth as conformity to an ideal, this does introduce degrees of truth but it does not necessarily introduce equivocity.
I wasn't familiar with the term "deflationism so I looked it up. I'm still not sure I understand what it means, so I'm not sure what I'm going to say is relevant to your discussion.
Ever since I started thinking about it from a philosophical perspective, I have believed that the idea of truth, what you call binary truth, is over-empathized in western philosophy. I don't think it is a property that is central to how real people know about the world and make decisions about their everyday lives. I'm not sure if that makes me a deflationist.
Quoting Count Timothy von Icarus
As you note, truth only applies to propositions. If I understand what you've written, you and I agree that we don't generally know the world as a bunch of propositions. I'll go further - the nature of the world cannot be expressed in propositions except in a trivial and partial manner. As you say - ...the move to making truth primarily a property of isolated propositions seems to need to assume that propositions are intelligible in isolation from one another (meaningful simplicitier)."
Quoting Count Timothy von Icarus
Guilty as charged.
As I indicated at the beginning of this post, I'm not sure how relevant it is to your discussion.
This works sometimes. I don't think it always does; that is, we cannot reduce thought down to "atomic propositions."
But even if we can, does this mean the higher level statement has no truth value at all?
Of course, there is also the issue of the adequacy of language to thought and experience and the true unity of composites described under one name.
Both IMO. Language involve analagous predication because being involves analogy.
I don't see how LEM is directly at stake. LEM is defined in terms of negation and negation and affirmation are contradictories. If we say "it is dark outside" is true, then this entails that it is not "not dark" according to however "dark" is used in the first instance.
A fair characterization. But I think the view of truth as related primarily to isolated (often "atomic") propositions has a wide reach even outside of those who go all the way over into deflation. It affects a lot of analytic thought.
Here is one based on a class I had on the philosophy of AI:
Truth is something that applies to propositions (and only propositions). All propositions are either true or false. If this causes issues (which it seems it will), this is no problem. All propositions are decomposable into atomic propositions, which are true or false. Knowledge is just affirming more true atomic propositions as respects some subject and fewer false ones. Thus, knowledge can accurately be modeled as a "user" database of atomic propositions as compared to the set of all true atomic propositions.
"Artificial" seems to like the key word to apply here.
Alternatively, there are all the deflationary approaches, which often make some of the same assumptions, particularly that truth is primarily about propositions (or more broadly "how a community uses language.") There is the same issue here of missing the "adequacy of thought to being."
Exactly, and not all knowledge is discursive knowledge. It's a sad philosophy that has to look at the climax of Dante's Commedia in Canto XXXIII of the Paradisio, his appeals to the inadequacy of language and memory, and say "well he's just sputtering nonsense." And it's just as sad to have to say something like "we can appreciate the words but not its rational content," since the Comedy is one of the very best (IMO the best) instances of philosophy breathed into narrative form.
Plato says something similar in Letter VII. He sort of explains [I]why[/I] he uses images, dialogues, and symbolism instead of trying to write something like a dissertationbecause what he wants people to understand cannot be communicated that way.
Well, according to narrow views of formalism there is very little it can do. It's just the rules, and an AI can do "logic" as well (probably better) than any man. But of course people always end up equivocating on this extremely narrow definition because if that's [I]all[/I] logic was it would be completely uninteresting. What we really care about when we read about developments in formal logic is [I]why[/I] people think these developments are worthwhile.
I've only read Rödel on Hegel. This is the sort of thing that might get resolved with the distinction between objective and subjective logic, but I don't know how much he runs with the Logics.
I would want to think in terms of intellects and intention. If someone asks, "Did you have a good day?," are they asking a question with a binary answer-constraint, are they inviting someone to share about their day, or are they doing something else? And if someone says, "I had a good day," presumably they are making an assertion and all assertions are truth claims (in a rather binary sense).
I think the equivocity attaches to the term 'good' rather than to the truth value, but even an assertion utilizing analogical equivocity must have a determinate and assertable form. If it doesn't then there is not any unitary thing being asserted.
Think about an interaction between two co-workers:
Now the co-worker who is responding may not be opposed to the material proposition, but rather to the emphatic sense in which it was said (and therefore its circumstantial meaning). The question for the equivocity of truth is this: if the first statement is not meant to be true in a univocal sense, then is it possible for the respondent to disagree with it? To agree? To even understand what is being said?
I am largely opposed to the idea that truth is analogically equivocal, even if it may be in a deep theological sense.
Quoting Count Timothy von Icarus
Language involves analogical predication, but that doesn't guarantee that truth is an analogical predication.
Quoting Count Timothy von Icarus
Okay, let's leave that aside for the moment.
Quoting Count Timothy von Icarus
True.
Quoting Count Timothy von Icarus
Thanks for the sketch. There is a lot going on here. It's hard to pinpoint the error, given that a number of errors seem to be at play.
I suppose I'll have to give this more thought. I have seen the same thing you are seeing, but I've never been able to muster a tidy critique.
It is worth noting that Aquinas sees truth in a largely discursive manner:
Quoting Aquinas, ST I.16 Article 2. Whether truth resides only in the intellect composing and dividing?
And I read Aquinas as seeing created truth as univocal:
Quoting Aquinas, ST I-16 Article 6. Whether there is only one truth, according to which all things are true?
Of course both of these points become complicated in other parts of Aquinas. But there is a prima facie sense in which Aquinas sees thoughts (or "propositions") as the point of departure for a discussion of truth, at least for human beings; and in which truth is univocally defined as [i]adequatio
rei et intellectus[/i].
Peter Redpath makes a pretty convincing argument that it is never our terms that are (properly) analogical for St. Thomas (obviously when we equivocate we do have ambiguous terms). It is rather the [I]predication[/I] of the term that is analagous.
Consideration of analogy and univocity vis-à-vis predication should focus on how we relate definitions/predicates to subjects, as opposed to considering concepts and definitions themselves to somehow "be analogous. That is, for St. Thomas, analogical predication is primarily about judgements and relations, and only secondarily about the terms that are being related.
For example, when we say good of God, we are involved in analogical predication, since the manner of Gods being cannot be directly compared to the being of creatures. However, this does not mean we should take the predicate good to be analogical here, as if the goodness of God is somehow a loosely related to what we generally intend by the term good. Indeed, if God is Goodness itself, (i.e. that by which all things are good https://www.newadvent.org/summa/1006.htm) it is unclear what it would mean for "our concept of goodness" to be an analogy of true goodness. If the good for man, the fulfillment of our telos, lies in the contemplation and adoration of God, there is a sense in which Gods goodness must be the paradigmatic example of all goodness, even if we, as finite creatures, can never fully understand goodness as it is univocally predicated of God.
Mistaking the analogy of predication, (i.e., how a term applies to a subject) for an analogy of concepts (i.e. what a term means) seems to risk opening the door on a pernicious slide towards equivocity, since the predicates we are working become ambiguous themselves. One example of this might be found in Luthers response to Erasmus critiques of his understanding of predestination, to which Luther replied:
If it is difficult to believe in Gods mercy and goodness when He damns those who do not deserve it, we must recall that if Gods justice could be recognized as just by human comprehension, it would not be divine.
The issue here is not, of course, the claim that we might be capable of misunderstanding Gods justice. This is true. Rather, it is the claim that Gods goodness is inaccessible to us; that it would not be divine goodness if we recognized it as "goodness". Yet it is easy to see how the move towards such a position might be enabled if we begin to think of the term "good" in "God is good," as being itself analogous. But the good car is "most choiceworthy" of cars, just as God is "most choiceworthy" without qualification.
So, my contention would be that truth doesn't need to become analogical, merely our predication of it. When we modify ambiguous statements, we are making it more obvious how the term relates to the subject, not making it clear which term we are "really" using. Analogy is about how things relate.
Sure, we can understand it. We can also have questions about how "great" is related to "the day." Just as "Frodo is tall" can be true if tall relates to him having any height at all (to having an extended 3D body), but false in the sense that "Frodo is taller than average for the humanoid beings of Middle Earth." The question is how the propositions relates to the adequacy of thought (and language) to being, or language to thought.
Again, the reduction of all knowledge to discursive knowledge plays a role here to. Language is often ambiguous for the sake of brevity, but thought can be unclear too. This gets back to Aristotle's distinction:
In a certain sense yes, it is in discursive knowledge that we have judgements whose opposite is falsity as opposed to ignorance. However, he often seems to follow the Neoplatonic camp in elevating the primacy of simple apprehension of wholes as wholes.
And this is in Aristotle too, knowledge of principles is what allows us to know the Many through a One. It's what makes science possible, since (in Aristotle's eternal universe) there can be an infinite number of causes but not an infinite number of unifying principles. I see this largely jiving with these sources I mentioned before:
If science was just logic, and it had to deal with univocal predication, this unifying process would be frustrated.
Right, yet "health" for a kangaroo is analogically related to "health" for a daffodil. They do not share the same measure. The relation of the term to the predicate is the same though when we want to speak about the health of different organisms in some overarching sense. We do not have an ambiguous term when we say "it is good for all organisms to be healthy."
I've never read it. I'll add it to my list.
Truths are reflection of the world, and properties of judgement. When the world changes, truths also changes. Judgements are from the psychology, and bound to be different from mind to mind. Some truths will be subjective, but some are objective when they are based on the reasoning.
The same goes with the moral good and beauty. There is no such a thing as good as absolute goodness, or absolute beauty. These are the product of psychological judgement and practical reasoning, hence they are subjective and at the same time can be objective.
The only objective truths are the mathematical and logical truths, because they are deductive, demonstrable and verifiable.
I agree with that. I don't think it affects my points or arguments.
Quoting Count Timothy von Icarus
Aquinas explains what it would mean:
Quoting Aquinas ST, I.13 Article 2. Whether any name can be applied to God substantially?
Quoting Count Timothy von Icarus
And my contention is that our predication of truth cannot become analogical, for the reasons already set out above. And as I said, I don't think you will find any philosophers claiming that we should use "truth" analogically.
Quoting Count Timothy von Icarus
But if "adequacy of thought to being" (truth) has no clear meaning, then we're up a creek without a paddle.
Quoting Count Timothy von Icarus
Sure, but he is firm that this is not truth properly speaking.
Quoting Count Timothy von Icarus
No it's not. Aquinas is explicitly talking about univocal predication. It does not follow that health is being predicated analogically just because health for the kangaroo and health for the daffodil are not circumstantially the same. If univocity meant such a thing then univocalists could not have common nouns at all. "...when anything is predicated of many things univocally, it is found in each of them according to its proper nature; as animal is found in each species of animal." The predicate 'health' is not species-specific, just as the predicate 'animal' is not specific to each species of animal.
For Aristotle and Aquinas the naturalistic sense of analogical predicationwhere we are not trying to name Godhas to do with the way we apply "health" to the animal, the medicine we give it, or the urine we collect from it. That is: essence of health, cause of health, and sign of health.
Is that the sense in which you want to speak analogically of truth? Essence of truth, causes of truth, and signs of truth? If not, in which way do you want to speak of it?
Because the difficulty for me is that we begin with a vague problem:
Quoting Count Timothy von Icarus
And in response we apply a vague solution: "Predications of truth are analogical." I want to do away with much of this vagueness, of both problem and solution.
Note too that Aquinas and Aristotle are much more consistent than you are in speaking of analogical predication rather than analogical concepts. For example, Aquinas will say that when we speak of God being good we are speaking analogically, and Aristotle will say that when we speak of urine being healthy we are speaking analogically. That is, they give the circumstance to which the analogical predication is limited. But you are just speaking about truth as analogical without specifying any circumstance at all. If you think it is just certain predications that are analogical rather than the concept of truth itself, then you have to say which predications of truth are analogical and which are not.
Exactly, the predication is analogous, not the term. There is not an analogy between two different Goods (plural).
Is the idea here: "either something is predicated univocally 'we're up a creek without a paddle?'"
This seems problematic to me. Is "good" or "beauty" always predicated unviocally. If not, is ethics and aesthetics impossible?
This seems like a hard contention to support for Thomas when he uses the oft cited example of analogy vis-a-vis health to explain truth throughout the Disputed Questions (and quotes Avicenna is support of this frequently).
There is one Truth, because there is one, simple Divine Intellect. Yet, "the truths which are in things are as many as the entities of things" and "the truths said of things in comparison to the human intellect is in a certain way accidental to them because [on the supposition that there were no men] things in their essences would still remain" (Disputed Questions, Q1, A3, R). Just as health is primarily in the healthy body, and secondarily in urine, Thomas speaks of truth being primarily in the Divine Intellect and then in a descending order of things. For example, with man's knowledge of natural things it is those things that are the measure of man's knowledge.
Of course health can be predicated univocaly of all healthy organisms. However, health in each does not have the same measure. It's a One unequally realized in a Many. Just as beauty might be predicated of many beautiful things, but the beauty of Beethoven is not the beauty of a beautiful horse (this is an analogy of proper proportionality not attribution). Note that in the passage you are quoting Thomas is referencing univocal predication as respects the way which all truth is one (in the Divine intellect) as opposed to many (unequally realized in a multitude, in Avicenna as per prior and posterior).
That varies by the proper measure. The measure of a man is man, the measure of horse is horse. A sentence is not the proper measure of truth for everything. There is not one measure for all "created truth," except in the sense that all ultimately share an ultimate principle and cause.
Having the truth of sentences (their measure) be the same as the truth of anything and everything seems like the exact opposite of the idea in play. IMO, beliefs are not reducible to collections of sentences, but they can certainly be true or false, and seemingly more or less adequate. Models and imitations are not composed of sentences, but they can be more or less "true to life" or "true to form," etc.
Of course, 20th century philosophy of science, the "Received View" and its decedents, put great effort in trying to reduce scientific theories to sentences precisely because of a refusal to acknowledge that the truth of speech and writing (artifacts) are necessarily parasitic. One does not have truth without a knower in the same way one cannot have a fast movement with nothing moving.
Aquinas, Avicenna, etc. say this explicitly. On your view, how is True a transcendental, yet always predicated univocally?
E.g., Q. 16 of ST
"For a house is said to be true that expresses the likeness of the form in the architect's mind; and words are said to be true so far as they are the signs of truth in the intellect." Urine and blood-work are healthy as signs, but then words are true as the intellect is true? I don't think so.
Is a house true to the architect's intent in a manner that is binary? No doubt, the sentence: "This house was built to your specifications" will be either true or false as a sentence, although obviously it can also admit of many qualifications. "Yes, the house is mostly how I planned it, but we had difficulty with the intricate skylights in the entry hall and had to simplify them." But the idea here is not that it is only sentences about the house that can be true or false.
Lies are another interesting case because some, in telling a lie (lack of conformity of words to mind) might actually end up telling the truth (conformity of words to reality). Misspeaking as well, since here the issue is sentence's truth as conformity to the intellect (which may or may not be adequately conformed to the "truth in things.")
E.g.,
By contrast, there is Wittgenstein's On Certainty, which has generally be read as arguing to deflationary (and been widely influential in this direction). There, truth just is part of a language game. But this comes out of the idea that propositions are the bearers of truth.
I agree with the position that the nature of truth is not binary. For starters, to emphasize what I take the OP to in part state, many if not most of our day-to-day propositional truths are partial or else incomplete, though nevertheless true rather than false. A reply to what did you see for example can only be just such a partial or incomplete truth (one does not spend eons to propositionally express all that one sees at any given juncture, from ones focal point to ones peripheral vision, in the minutest detail). And so, as you say, many a statement can be more true or else less trueagain, while yet remaining true rather than false. But Im not clear if by univocity you mean simply not equivocal or else the univocity of being. Since no mention of God was given until some time after the OP was made, Im here assuming it was the first.
Quoting Count Timothy von Icarus
Youve mentioned it but I have not seen you focus on the topic of truth being equivalent to conformation. Which I so far find far more pertinent to the topic than the specification of adequacy.
I want to make an affirmation to see if it is possible to falsify via example: The univocal nature of truth (i.e., the state of being true) is that of conformity to some actualitytruth hence has this meaning in all casesthis either as a process of conforming to the actuality, which requires duality between that which conforms and that which is conformed to, or else as a state of being fully conformed to the actuality, which implies a nondualistic format of truth wherein there is only the law of identity (A=A) to specify the truth concerned.
To conform to is thereby always equivalent to being true to (hence, and vice versa). Example: conforming to a rule/norm/reality/fact/intent/ideal/etc. is being true to the same. Here conformity and hence truth will be unidirectional. By extension, then, the arrows trajectory was true specifies that the arrows trajectory conformed to the aim which was intended for itand was thereby accurate or adequate in this sense alone. Else, making X conform to Y (say, painting a portrait with fidelity to the original) will be equivalent to making X be true to Y (e.g., the copy was true to the original).
True in the sense of loyalty, faithfulness, or trustworthiness is then conformity to interpersonal (intersubjective) actualities (actualities that come about via the interaction between subjects) to which all constituents are implicitly understood to willingly conform (be true to). This could encompass being true to a friendship, or else a romantic relationship one can be true to or else proverbially cheat on.
Then there are cases where the "conformity to that which is actual" is taken to be perfect and absolute, such that there here is no duality, i.e. such that the actuality becomes of itself fully equivalent to the truth specified. Here true can be either equivalent to genuine (e.g., the true statue was found) or else equivalent to real (e.g. the true crime which the book expounds upon is a crime that really happened). Here too can be found the meaning of Truth with a capital T being that which is ultimately and absolutely realsuch that, in this sense, Truth and that which is ultimately reality are one and the same. And, for some, this can then translate into the understanding that God is Truth.
Then, when truth is understood as the process of conforming to that which is actual, this act of conformation can be more complete or else less complete. This while still being an alignment to what is actual (hence true) rather than a misalignment to what is actual (hence being false to the actuality concerned, hence a falsehood).
While its interesting to me to note that truth in other languages can hold a somewhat different set of denotations and connotations (e.g., the Ancient Greek alethes meaning un-concealment or un-forgottento my knowledge hence not easily specifying something like the arrows aim was true), I so far do think that the English notion of truth does hold the univocal general meaning just specified: conformity to the actual, and this either as a) the process of remaining aligned to that which is actual or b) the state of being absolutely conformant and hence identical to that which is actual (such that (b) can be found to be a perfected form of (a)).
While I acknowledge not being infallible in this belief (as in any other), I so far can't find any meaningful exception to it.
What do you think about cases where we can speak truthfully about potency or what is not? For instance:
"Joe Biden could have stayed in the 2024 election."
"I can learn Italian, but I currently do not."
"Joe Biden did not win the 2024 election."
"Dogs are not reptiles."
There is also the issue of authenticity, particularly as it is often applied to personal freedom. When we are not being "true to ourselves" or "being our true selves" the issue is precisely our actions (actuality) have failed to conform to something that is true, presumably of our nature, but which is as yet only potential.
The English notion of truth is bound up in where Anglo-American philosophy has gone for the last 150+ years or so. So, for instance, despite philosophy having a long history different types of truth (e.g., logical vs ontological), the IEP article focuses entirely on more recent univocal theories.
I would agree that all truth has something to do with a certain sort of conformity or adequacy. There are not sui generis, equivocal sorts of truth. The same is true of goodness and beauty. The good might be "that which all things seek," and yet it is not always predicated univocally such that we can set up some sort of "moral calculus." Likewise for an "aesthetic calculus."
The truth of formalizations of truth is rightly called, and it is binary. I don't think it makes sense to call this a sui generis artificial truth though.
Anyhow, if one follows Aristotle's idea that "being is most primarily said of substance (things)" I can see a strong argument for it being things which are primarily "good," "beautiful," "true," and "free." Just as a dog can be blind and there is never "just blindness," we don't have "just truth."
Now thought, belief, or apprehension would seem to be activities of the intellect, and so if intellect most properly is true than the truth of these is parasitic on the truth of the intellect. And the truth of utterances or written statements would seem to be parasitic on thought (although there are complications here).
Truth is a difficult special case though because we don't generally speak of rocks or trees "being true," but rather thoughts, sentences, etc. about them being true. At the same time, the truth of what can be said about things is presumably prior to our speaking. I'll admit, I am not really sure how this might be resolved saved for the appeal to the Divine Intellect. But, even cutting out the divine intellect, it seems that there must be a distinction between "ontological truth" and "(epistemo)logical truth."
No, he is firm that dividing and composing is where truth is known as truth (for us). The paradigmatic knowledge is God's knowledge,which is not discursive. So while he does prioritize "truth as known in judgement" in several places (e.g., Q16 of ST, the Disputed Questions Q1 A3), this is as an inversion. In the Questions for instance, he inverts the entire order of things, putting the truth of things as respects their conformity to the divine intellect as secondary, and the truth of the intellect composing and dividing as primary, even though in the same text he has the former as the principle of the latter. (Here, he lists many ways "true is said.")
To be honest, I find his answer in the Questions here pretty thin. It relies on the idea that our intellect needs to make something "its own" so that it differs from the thing known and isn't simply identical with it. However, it seems obvious that this is at least somewhat true in sensation as well, since the sight of an apple is not the same thing as its being. But I have long been suspicious of the general scholastic tendency to suppose that only conscious judgement can be in error, never the senses, because this seems to be a rather artificial separation of how consciousness actually works, and conditions like agnosia seem to involve error at the pre-conscious level.
Anyhow, he has a better answer in ST; truth is primarily spoken of in terms of judgement (composing and dividing) because this is where we know truth as truth, and the knowledge of truth as truth is a perfection. I can live with that. Yet: 'Truth therefore may be in the senses, or in the intellect knowing "what a thing is," as in anything that is true; yet not as the thing known in the knower," (Q16 A2).
It seems to me that this is a perfection for us. There is not division in the Divine Intellect.
I think what Thomas is motivated by the fact that we generally speak of beliefs, statements, likenesses, etc. being true or false, not things. It's a good motivation, although I am not sure if the solution, particularly the earlier one, is right, unless the idea is that the order of judging and the order of being are inversions of each other.
You raise a good point. But I do hold some concerns regarding the dichotomy between actuality and potentiality. If actuality is that which is presently happening, occurring, or acting and potentiality is the capacity, ability, or power to become actual then the following ensues:
While all conceived of potentiality will be further deemed to be potential actuality by definition, ontically speaking, some conceived of potentialities will of themselves conform to the reality, else actuality, of what is possible to make manifest while others will not. The potency of a typical acorn to grown into an oak tree is real, actual; whereas its potency to grow into a dog is not.
So one can then have notions regarding true potentials - as in the phrase obtaining ones true potential (in contrast to conceived of potentials which are in fact false and hence not possible to actualize; else expressed, potentials which have no present ontic occurrence and, hence, are which are not actual).
Rephrased, while potential actuality is cogent to me, so too is the phrase actual potentiality (this, again, in contrast to the notion of a conceived of potentiality which as concept is false, such that the conceived of potential holds no being, or reality, or actuality as a possible future actuality).
My intended semantics here might well not find a solid enough footing in the choice of words used. All the same, what might a true potential signify if not some form of conformity to that which a real, and thereby an actual, potential?
If, as I so far presume, there occurs a dichotomy between real, and hence actual, potentiality as contrasted to unreal or false, and hence nonactual, potentiality, then truth as conformity to that which is (in some way) actual remains valid. Again, as per true potential.
As to truths regarding what is not, these truths to me present a conformity to an actual state of affairs wherein X, Y, and Z are not.
No, "truth" specifically. Saying that urine is healthy is not problematic.
Quoting Count Timothy von Icarus
Article 4?
This is the same topic that I quoted from the Summa. Let me quote it again:
Quoting Aquinas, ST I.16 Article 6. Whether there is only one truth, according to which all things are true?
So Aquinas talks about univocal predication and then analogical predication, and then at the end of the corpus of the article he talks about truth as it exists in intellects and truth as it exists in things. The former is univocal and the latter is analogical. But we are talking about truth as it exists in the intellect, not truth as it exists in things. It is mistaken to say that Aquinas thinks truth is analogical. Aquinas thinks that its proper nature has to do with univocal predication, "If therefore we speak of truth, as it exists in the intellect, according to its proper nature..."
Sure, truth exists in things analogically by the one primary truth of the divine intellect. But your OP is about truth in the primary sense, not in things but in human intellects. For example, your case of the room being light is something that is true in virtue of the intellect's correspondence with reality.
Quoting Count Timothy von Icarus
You seem to think that there are no univocal predications. You seem to think that if a monkey is an animal and a dog is an animal, then we must be using "animal" analogically, because monkeys are different than dogs. This is strange.
Quoting Count Timothy von Icarus
You seem to be reading that backwards. Aquinas says, "when anything is predicated of many things univocally, it is found in each of them according to its proper nature; as animal is found in each species of animal." You seem to think, "When 'animal' is predicated of each species of animal, it is predicated analogically because each species is not identical." Or, "When 'health' is predicated of kangaroos and daffodils, it is predicated analogically, because kangaroos are not daffodils."
Furthermore, Aquinas says, "But when anything is predicated of many things analogically, it is found in only one of them according to its proper nature, and from this one the rest are denominated." My challenge to you has been this: If you say that truth is predicated analogically, then you must set out the proper-nature-sense from which the rest are denominated.
Quoting Count Timothy von Icarus
...And this does not answer the challenge. If some truth-predications are analogical, then what is the proper sense from which they are denominated? If there is no proper measure then there is no analogy.
I agree that truth is not merely a property of a sentence, as Michael claims. It is a correspondence or adequation between intellect and reality, or thought and thing.
Quoting Count Timothy von Icarus
Again:
Quoting Leontiskos
Suppose a man wants to buy 100 pounds of potatoes. The farmer's scale is broken, but he and the farmer eyeball a cartload of potatoes and agree on a price fit for 100 pounds. The man gets home and weighs them. They weigh 98 pounds. "Close enough," he says. The claim is mostly true.
And at this point you interject and say, "See, this proves that weight is analogical, or is being predicated in an analogical manner." But it doesn't prove that.
Quoting Count Timothy von Icarus
Who are you quoting?
Quoting Count Timothy von Icarus
I don't disagree with this, but "proposition" is a notoriously slippery term.
Are we disagreeing on whether the thought/proposition is the center of gravity for predications of truth? I tend to think that it is, both for Aquinas and in truth. Maybe I have been talking past you on this.
Quoting Count Timothy von Icarus
But that's exactly right. A principle is not necessarily primary. See especially:
Quoting Aquinas, ST I.16.1.ad3
Of course it gets tricky when we compare uncreated truth to created truth, but I have never found it helpful on these atheistic forums to stray too far into theology. I am happy to say that truth is analogical vis-a-vis the uncreated truth of the divine intellect, but when we are talking about truth on TPF we are almost certainly not talking about that. Instead we are talking about, in Aquinas' language, the correspondence between human intellects and reality. And that (created) truth is univocal.
Quoting Count Timothy von Icarus
I would have to brush up on the different kinds of analogy.
Quoting Count Timothy von Icarus
This is a can of worms, but in ST I.17.2 Aquinas literally says that there is falsity in the senses.
Quoting Count Timothy von Icarus
Well this gets fairly tricky. In the same article, "When, however, it judges that a thing corresponds to the form which it apprehends about that thing, then first it knows and expresses truth." But see also ST I.85.5 and ST I.85.8. Aquinas certainly thinks that we understand indivisible wholes, but only through a process of composition and division. Even the act of recognizing that one's apprehension fits the reality is for Aquinas a form of combining (i.e. recognizing that one's intellectual conception is true).
I am sympathetic to the objection that Aquinas' philosophical anthropology is excessively discursive, but there are plenty of places where he distances himself from an extremely discursive position. In any case, this is one reason I prefer Aquinas for these forums. He is not too foreign to the discursive and naturalistic tendencies of our age to be a good interlocutor.
Quoting Count Timothy von Icarus
I think that's part of it. Aquinas certainly holds that the human way of knowing is deficient as compared to the way that God or angels know.
Been thinking more about this and I wanted to address it.
Neither do I find it to be a sui generis artificial truth, but I do find it to define truth by an undergeneralization of what truth in its every day meaning has the potential to signify. So, in readdressing this portion of the OP:
Quoting Count Timothy von Icarus
While I readily agree with this quoted statement, there yet remains the following observation: when dialetheism is denied as invalid and the law of noncontradiction is affirmed, it nevertheless remains the case that no proposition can be both true and false at the same time and in the same way. Rephrased in my current understanding of truth: nothing can both conform to actualities and not conform to actualities at the same time and in the same way. Hence, to say of a room that "it is lit with light" - while so saying readily admits of various shades of darkness in the given room - cannot be to say that "it is dark" at the same time and in the same way that "it is lit with light".
The general nature of propositional truth is not that of a strict binary regarding two absolutes - say of either 0 or 1 (as per the absolute ends on the spectrum of quantifiable probability). Is thereby not that of an absolute, hence complete and perfect, truth vs. an absolute, hence complete and perfect, falsehood (falsehoods too will in general contain some true elements which are minimally tacitly understood if not explicitly specified; were this to not be the case, lies, for example, would not ever be believable and thereby effective) Else, the nature of truth is not a binary between absolute truths vs. that which is not absolute truths and thereby false.
In this it seems we agree.
Yet it nevertheless remains the case that no proposition can be both true and false at the same time and in the same respect.
Formal logic that then addresses truth strictly via the two values of 0 and 1 seems to me to axiomatically presuppose that, due to the law of noncontradiction holding as just specified, the nature of truth can admit of no vagueness - such that partial truths cannot occur, for example.
This, though, would again to me be an undergeneralization of what "truth" semantically encompasses.
I'm not sure how this train of thought would then fit into the nature of truth being, or else not being, binary. I'm so far tempted to say "the nature of truth is binary in one sense but not in another" - but I presume this wouldn't be of much service.
Quoting Count Timothy von Icarus
What do you mean by modern thought? Presumably you're restricting to philosophers? Anglo-American philosophers? And over what time period? From the point of view of science and particularly of AI, and over the last 40 years I've seen things move the other way. I am quite baffled by the idea that you have somebody to argue against.
There has been a move from deterministic models to stochastic models and therefore a move from binary representations of some variables to probabilistic ones. Statistical inference has moved from frequentist to Bayesian. This means that a parameter value which was regarded as having a true but unknown value is now regarded as having a prior distribution which is subjective. This is away from a univocal value for the parameter and quite likely a move away from the binary {True, False} to a subjective probability distribution over [0,1].
Quoting Count Timothy von Icarus
To me this just seems like an inadequate mathematical model of some aspect of reality. You should be using a number to represent a degree of illumination, not a boolean value. If you want to consider the illumination in different parts of one room then you need a vector of numbers. Progress in science often follows this path. Here you can see the binary {male, female} being transformed into a nine dimensional entity.
[Keith L Moore, "The Sexual Identity of Atheletes", JAMA, 1968]
You mentioned a philosophy class on AI:
Quoting Count Timothy von Icarus
I cannot recognise this as being about any kind of AI that I've seen. It seems more like a knowledge-based system (aka expert system) than anything else. These were popular in the 1970s and 80s When was your class? Even then the knowledge database was not a unstructured set of atomic propositions. See Ontology engineering for some idea of what might be used.
Since the 1980s there has been a large move away from attempting to program in knowledge and rules which an agent has to follow. I described the early steps in this direction (in the 1980s) in this post. https://thephilosophyforum.com/discussion/comment/954097
AI systems/agents are made in order to do something. They are pragmatic. It's not clear to me that the concept of truth is useful to an agent until it belongs to a community of similar agents. If a theory of truth is at play here I think it would have to be pragmatic or deflationary.
Well, you mention true crime. Consider evidence, which is a sign of the truth or falsehood of various hypotheses. Likewise, for the belief that "Bonaventure is at home," we could consider signs such as "the lights at his house are on," the "car is in the driveway," etc. But for Aristotle the when we predicate the same term of some sign of a term, and of what most properly has this term (i.e. beings), we are involved in an analogy of attribution. For instance, "tuna fish is healthy" because it produces health in man. Man most fully possesses health, and food/bloodwork/etc. is related to man's health as a contributing agent, sign, etc. In one sense, the tuna is very unhealthy, having been killed and canned, but vis-a-vis man's health it is "healthy."
Yes, I think that all makes sense. Potency is "shaped" by act and we have many "levels" of act and potency. All act is in some way form. The one counterexample would be prime matter, which is said to be sheer indeterminate potency. But even for thinkers who will countenance prime matter, it is generally said to never exist on its own. It is a concept, ens rationis. So we could say all truth relates to act, although I might stick with "being" simply because it captures the same idea without ambiguity vis-a-vis potency.
I think it's a trend that you can pick up from late medieval nominalism on TBH, but 20th and 21st century Anglo-American analytic thought it probably the strongest example. Certainly it isn't a universal tendency.
I'm baffled that you're baffled. The things you mention are all still overwhelmingly underpinned by classical logic. Bayesian probability doesn't involve abandoning classical logic for instance.
Can you explain what you mean by the bolded here? I don't get how a statistical value cannot be univocal. Surely it isn't equivocal or analogous?
I was not claiming that mathematical models all employ binary values. That seems to be the confusion here. I am speaking to notions of truth in the logic that underpins such models. For instance, how computation is formally defined.
Reducing knowledge to a continuous mathematical variable is still reducing it to a mathematical variable.
2023. But I think the problem here is miscommunication. You are speaking of non-binary variables at play in mathematical models involved in AI, not notions of truth in logic. This was a class on the philosophy of AI, not AI models.
Yes, truth in the intellect is most properly truth. How does it follow then that truth in arrangements of stipulated signs or formal systems, which are artifacts is also primarily truth? Aquinas speaks specifically of truth in the sense that people's words (or products of the productive arts) are adequate to their intellect for instance. This is not the same thing as truth-as-adequacy-of-intellect-to-being.
I don't. Is your contention that beauty is said univocally of Beethoven and horses?
I think you are largely misreading what I am saying. This is not an example where we have truth being predicated analogously. Truth is predicated analogously when we are moving in and out of the intellect, from the intellect to things, from the intellect to stipulated sign systems, etc. The ambiguity surrounding the truth value propositions such as: "the room is dark" is a result of the fact that the truth of a utterance is not the same as the truth of the intellect.
It's important to note that truth involve contrary opposition because we can say that: "Frodo is tall' is false, because hobbits are short, without thereby implying that Frodo 2D plane lacking in any height. And this is because our words are merely signs of truth in the intellect. Second, we have another dimension of truth when we speak of how well our words (or models, arts, etc.) conform to our intellect.
I've said that one might predicate "health" of different species univocally. I said the relationship is analogical. If it weren't, then there must be a single measure by which all healthy things are healthy. Yet the measure of a healthy flower is a healthy flower, and the measure of a healthy tiger a healthy tiger, not a sort of Platonic health participated in by all healthy things.
Analogy isn't only involved in theology, except in later deflations of the notion. But I think the larger issue is that truth is predicated primarily of the divine intellect, not of all intellects. The proper measure of the human intellect is things. Thomas explains what it would mean to deny this; we end up with Protagoras, the human intellect becomes the measure of truth.
IMO, if one cuts out the divine intellect it would be better to describe truth as existing first in things virtually, as time exists in nature fundamentally but not actually for Aristotle and St. Thomas.
Right, but the order of knowing is the opposite of the order of being. What is "best known to us" is not "what is best known in itself." I don't see Thomas as diverging radically from the tradition he is a part of (St. Augustine, St. Bonaventure, Avicenna, Liber de Causis, Boethius, etc.). Discursive ratio is the means of progressing towards knowledge, it is not the measure of knowledge. Indeed, it moves towards knowledge (and so truth) by moving from the multiplicity in the senses towards unity.
Quoting Count Timothy von Icarus
Quoting Count Timothy von Icarus
I'll use biology as an example because it's most familiar to me. Bayesian statistics uses standard maths. Mathematicians develop stochastic models containing a bunch of parameters for various processes of interest to biologists. Programmers implement approximations to these in software that biologists use. I am not talking about what the mathematicians or programmers do. That may be 'underpinned by classical logic'.
I am talking about what the biologists - the scientists - do. Biologists vary in their mathematical sophistication, but I'm pretty sure most of them have not encountered formal logic. They wouldn't understand [math]\neg P \vee Q[/math] or a truth table. They usually do not understand the maths the software implements. They choose priors for the parameters based on experience: it's a biological judgment, an opinion, a belief. Different biologists choose different priors, and so get different estimates for the parameters. That seems to me like a move away from univocity, Perhaps I don't understand what you mean by univocity. Or truth.
Going back to the OP:
Quoting Count Timothy von Icarus
Perhaps the biologists I described are using 'truth in terms of knowledge/belief and speech/writing'. It certainly seems a 'knower, a believer, a speaker, or a writer' is choosing the priors.
Or perhaps science is moving towards abandoning any notion of truth. I would have added the phrase "all models are wrong but some are useful" to my previous post if I'd remembered. This was not a common sentiment in the 1980s but it's everywhere now. If science is not a quest for the truth, nor an attempt to get 'closer to the truth', but a quest for usefulness, where usefulness is subjective, where are we then?
There are things to say about your class on the philosophy of AI, but I may not get around to saying them.
Here you go:
Quoting Aquinas, I Sent. d. 19, q. 5, a. 1
Quoting Count Timothy von Icarus
Then give an example of univocal predication that is not analogical predication.
Quoting Count Timothy von Icarus
Yes.
Quoting Count Timothy von Icarus
I don't think so. The word/statement/utterance is not accidentally related to the soul:
Quoting Aristotle, Beginning of De Interpretatione
-
Quoting Count Timothy von Icarus
Again, if you don't think "healthy" can be univocally said of different species, then it looks like you are falling into nominalism and denying the possibility of univocal predication altogether.
Quoting Count Timothy von Icarus
Perhaps. Beauty is a controversial topic. You keep focusing on controversial cases, such as beauty, privations (darkness), and genus differences (animals/flowers).
Univocal predication is not analogical predication. Do you think univocal predication exists? If so, where does it exist? Can we predicate 'animal' or 'health' of both cats and dogs univocally? Good philosophy does not begin with controversial cases.
Quoting Count Timothy von Icarus
We've already been over this. Aquinas literally says that, "If therefore we speak of truth, as it exists in the intellect, according to its proper nature, then are there many truths in many created intellects..."
Now you can say that "truth is predicated primarily of the divine intellect," but you would be doing theology and making a controversial statement. Aquinas would agree that the divine intellect is the exemplar of truth, but I don't think you would find him claiming that "truth is predicated primarily of the divine intellect."
See also I Sent. d. 19, q. 5, a. 2.
Quoting Count Timothy von Icarus
Aquinas is clear that truth in the intellect is caused by the thing. We already looked at this in ST I.16.1.ad3. See also:
Quoting Aquinas, I Sent. d. 19, q. 5, a. 1
Quoting Count Timothy von Icarus
And for Aquinas the unity is always a composition or correlation between what the intellect conceives and what is.