• "What is truth? said jesting Pilate; and would not stay for an answer."
    As if in the T-sentence, 'p' (on the left) is a truth-bearer, and p (on the right) a truth-maker. What would that tell us?Banno

    That would explain why CT feels so close and so far away to the redundancy theory.

    I'm afraid that folks might want to interpret 'P' as a string of letters. I tend to interpret it that way, reserving P for the meaning of 'P.' (This may be nonstandard of me.)

    I get the sense that CT wants to interpret the P as the truthbearer, letting 'atoms and the void' or something be the truthmaker.
  • "What is truth? said jesting Pilate; and would not stay for an answer."
    By values I mean things like democracy, secularism, scientific evidence (e.g., medical treatment versus prayer), feminism, etc.Tom Storm

    I could have answered this better. FWIW, I think it's hard to divorce rationality from anti-racism, anti-sexism, and anti-classism. It goes with free speech, democracy, and science. I'd argue that it also goes with a minimum standard of living to prevent the collapse of that which makes a rational society possible in the first place, such as education, safety, and leisure.
  • "What is truth? said jesting Pilate; and would not stay for an answer."
    To attempt to pigeonhole all propositions into T and F is to miss almost all the nuance of actual communication.hypericin

    Is that T or F ? Or (T + F)/2 ?
  • "What is truth? said jesting Pilate; and would not stay for an answer."
    This is weird and funny to me.

    It seems obvious that for every true contingent proposition there must be something in the world (in the largest sense of “something”) which makes the proposition true. For consider any true contingent proposition and imagine that it is false. We must automatically imagine some difference in the world. (Armstrong 1973: 11)
    https://plato.stanford.edu/entries/truthmakers/#Def

    What in god's name is supposed to happen when we imagine that a proposition is false ? That just is imagining some difference in the world.
  • "What is truth? said jesting Pilate; and would not stay for an answer."
    .

    I think the issue is truthmakers.

    This much is agreed: “x makes it true that p” is a construction that signifies, if it signifies anything at all, a relation borne to a truth-bearer by something else, a truth-maker. But it isn’t generally agreed what that something else might be, or what truth-bearers are, or what the character might be of the relationship that holds, if it does, between them, or even whether such a relationship ever does hold. Indeed sometimes there’s barely enough agreement amongst the parties to the truth-maker dispute for them to be disagreeing about a common subject matter.
    https://plato.stanford.edu/entries/truthmakers/

    I think that @Banno and I both don't trust the notion much. It seems superfluous if not just confused.
  • "What is truth? said jesting Pilate; and would not stay for an answer."
    Of course. It could be false.Luke

    This is where the CorrTheory and the redundancy theory are very close. If plums being in the ice box are the 'truthmaker' for 'there are plums in the ice box,' then 'truthmaker' seems like too much of complement here.

    For isn't this just a complicated way of saying that P is the truthmaker of 'P' ? But nothing is actually being added. No truth is being made. P is just (taken as) true.
  • "What is truth? said jesting Pilate; and would not stay for an answer."
    .
    So... that's partially true?Banno

    :up:
    That language can be ambiguous is obvious. At issue is, what should we do about it?Banno

    :up:
  • "What is truth? said jesting Pilate; and would not stay for an answer."
    If truth can admit to degrees, which it does, then it must be a property.hypericin

    Or the world itself is vague in places.
  • "What is truth? said jesting Pilate; and would not stay for an answer."
    What distinction do you make between truth and values and do you consider it preferable (or even possible) for one's values to be mostly determined by true things?Tom Storm

    Deep question ! I think we articulate values, make them explicit, as beliefs. 'No kid should go hungry in this country.' To me there's nothing wrong with this 'should.' It's just a value manifested as a belief about norms. I personally don't think rainbow or promises or marriages or square roots are less real than electrons or tables. They all figure in the same causal/explanatory nexus, which is (roughly) the structure of the world as we know it.

    Because warranted beliefs can be false and unwarranted beliefs can be true, I think the best thing we can do is take care of warrant, presumably because we expect to end up with more true or at least less false beliefs this way. To me irrationality is a primary form of anti-sociality, but I don't deny that people like Ayn Rand can make cults around the word in violation of the referent. I'm still haunted by Orwell's 1984. 'Ministry of Truth.'
  • "What is truth? said jesting Pilate; and would not stay for an answer."
    Truth is just one property of P. It's semantic contents, its aesthetic appeal, the number of words, the language and dialect, are other properties of P.

    P is the proposition, 'P is true' is a comment on P's property of truth.
    hypericin

    The issue though is whether truth is a property in the first place.

    I use P as a symbol for the semantic payload of 'P'.
  • "What is truth? said jesting Pilate; and would not stay for an answer."
    But truth, like most things, is not binary.hypericin

    As opposed to a few things that are ?

    Sentences have degrees of truth. Absolute truth is an edge case.hypericin

    I think that they sometimes to, due to ambiguity primarily. But let us differentiate carefully here between imperfectly true statements (fuzzy logic, etc.) and the confidence we have in our beliefs.
  • "What is truth? said jesting Pilate; and would not stay for an answer."
    I think a large part of the problem is that we have different ideas of what philosophy is about. I hold to the ancient idea of philosophy as a way of life. This does not mean making, defending, and attacking arguments, although that is a part of it.Fooloso4

    I want to live a wise life like just about anyone who survives their youth perhaps. All of us, philosophers or not, are under pressure to figure out which claims to trust. I also count rationality as a social virtue. I connect this to the desire to achieve consensus fairly. I see us as self-transcending beings, discarding narrow, one-sided views for something larger, something we can share. Wittgenstein demonstrates one aspect (the semantic) in what might be called the primacy of the social.

    It is requisite to reason’s lawgiving that it should need to presuppose only itself, because a rule is objectively and universally valid only when it holds without the contingent, subjective conditions that distinguish one rational being from another. — Kant

    That applies to people in general, who don't seem to need us fussy philosophers. In strictly practical terms, mastering basic statistics, including the necessary math, is probably more valuable than reading Wittgenstein.
  • "What is truth? said jesting Pilate; and would not stay for an answer."
    Is it sufficient to say that it is true that a car knows how to drive itself iff a car can drive itself? Or can we dispense with this and simply say that there are cars that drive themselves?Fooloso4

    I'm sure we agree that meaning is contextual. We want to think with the learned and have no choice but to speak with the vulgar, for we ourselves are vulgar most of the time. I mean 'vulgar' non-pejoratively.

    I'm a big fan of Wittgenstein, but I like 'positive' theorists who build on the rubble that destructive theorists leave behind. Wittgenstein obliterated various 'Cartesian' confusions, for those who can bear or manage to understand him. As I see, I'm taking the same kind of anti-Cartesian position here. Intuitively (vulgarly) it's the sight of the plums in the icebox that's a truthmaker for 'there are plums in the ice box.' For ordinary purposes this is fine. For 'me' personally it's fine. But reasoning and meaning are essentially public. It's cleaner to talk in terms of claims, since the point is allowing or disallowing inferences. 'Tim said there were no plums in the icebox.' And we trust Tim's comforming to our tribal conceptual norms.
  • "What is truth? said jesting Pilate; and would not stay for an answer."
    Your responses seem to indicate otherwise, but I am not going to rehash this. Time for me to move on.Fooloso4

    So long, and thanks for all the fish.
  • "What is truth? said jesting Pilate; and would not stay for an answer."
    I think it is a mistake to think that we have fixed concepts of such things as knowledge and awarenessFooloso4

    Of course. But no one says we do. Indeed, we are precisely trying to clarify and elaborate and even modify concepts here and in general. On the other hand, some relatively stable concepts are always in play, else we'd be (completely) unintelligible to each other.
  • "What is truth? said jesting Pilate; and would not stay for an answer."
    I would argue that a self-driving car knows how to drive. It is evident from the fact that it can drive.Fooloso4

    That's nonstandard usage of 'know' and seems to imply that thermostats also have knowledge. You are of course free to develop a theory in that direction, but it doesn't seem relevant to the thread. If you start your own on that issue, I'd be glad to participate.
  • "What is truth? said jesting Pilate; and would not stay for an answer."

    Fair enough. But what's a truthmaker for 'there are plums in the icebox'? Are you tempted to say something like...there being plums in the icebox?
  • "What is truth? said jesting Pilate; and would not stay for an answer."
    She showed him that what he said about the contents of the fridge did not correspond to the contents of the fridge. In her doing so, she shows us that we need not be able to use the terms so often used in philosophical and normal everyday discourse in order to intuitively know that 1.)some meaningful statements are false, 2.)what makes them so, 3.)how to check and see for ourselves, or 4.)how to show someone else.creativesoul

    I agree that correspondence is common sense and that to bother with the redundancy theory that I'm defending is fussy. Indeed, the redundancy theory might only have a bite in the first place in the context of other 'sophisticated' theories. A 'veil-of-ideas' philosopher is a natural target here, for whom the sight of the plums would themselves be 'phenomenon' or 'appearance.' I take Hegel (who I include in my camp) to have been frustrated by all the Kantian machinery that was supposed to be between us and reality.
  • "What is truth? said jesting Pilate; and would not stay for an answer."
    You could also check the icebox for plums. I later started speaking about ‘our’ reasons for saying that a statement is true or false.Luke

    Sure. 'Twenty different people agreed that the icebox was empty' might figure in an inference.

    The issue is (trying to say) what you saw in that icebox. Was it not that there were no plums in it ? Which is to say already conceptual ?
  • "What is truth? said jesting Pilate; and would not stay for an answer."
    Is this in reference to Gettier examples?Luke

    No.

    There is still some reason why we would ultimately say that the statements are true or false, and it still looks correspondence-y to me.Luke

    I agree that we that have reasons for making claims. Perhaps our sense organs are battered by the environment and we've been trained to make reliable non-inferential reports. Perhaps we apply inferential norms to beliefs we hold and derive a new belief.
  • "What is truth? said jesting Pilate; and would not stay for an answer."
    “There are plums in the icebox” is false because I looked in there and found noneLuke

    This is certainly a intuitive approach, but it's caught up in the first-person ghost story. One can't make inferences using spectral entities like 'private experience.' We can use "@Luke said the ice box was empty" in an inference, along perhaps with "@Luke is a reliable detector of plums" and so on. No one needs to deny some weird entity like what-it's-like-to-see-no-plums, but this is just some beetle in a box, not clearly any more useful than phlogiston or the waving ether.
  • "What is truth? said jesting Pilate; and would not stay for an answer."
    .
    That begs the question. You're assuming anything does.Isaac

    :up: :up: :up:

    Phlogiston.
  • "What is truth? said jesting Pilate; and would not stay for an answer."
    An important question for AI, but I would say that the ability of an animal to distinguish between two colors is a form of knowledge, even though it may be excluded by a favored theory of knowledge.Fooloso4

    Do the thermostat or the electron have knowledge ? Is a differential response sufficient ?

    Isn't proposing and criticizing and defending theories of knowledge part of the game ?

    To be sure, (non-human) animal cognition is worth looking into, but I hardly think it's strange for a philosopher to focus on human (linguistic) claims.
  • "What is truth? said jesting Pilate; and would not stay for an answer."
    What are the odds, I wonder...bongo fury

    Given that we're all pretty clever, I think it's largely a matter of clarifying what we even mean. Correspondence theory seems close to the redundancy theory. Is the world fundamentally significant or meaningful ?

    Some are tempted to think of a layer of meaning that humans lay down and then postulate some X beneath this layer without being able to say anything about it. The view I'm naming is 'Hegel' is anti-idealist in its rejection of this dualism. It's like 'no-longer-naive realism.' 'The cat is on the mat' is 'made true' by the cat being on the mat, which is redundant. It might help to put it this way:

    ' 'P' is true ' means roughly the same as ' P '. (I added quotes that were implicit before.)
  • "What is truth? said jesting Pilate; and would not stay for an answer."
    I'm hoping the picture will help us agree whether your P is truth bearer or truth maker or both or neither?bongo fury

    I currently don't find the idea of a truth-maker very useful or intelligible. Obviously we can talk about reasons people believe P. That's different, in my view.

    Truth-bearer seems closer, but there's already talk of an entity that can be true or false and nothing else. A bit rigid !

    Claims can be true, false, ambiguous, or incoherent...Am I leaving something out?
  • "What is truth? said jesting Pilate; and would not stay for an answer."
    Why the insult?Fooloso4

    I'm just getting rowdy, mirroring you. I'm happy to tone it down. We all know that there's stuff in the world that's not language. That's common sense, yes? So obviously the issue is not so simple. As I see it, the tricky part is making sense of truth-makers...or rooting them out as nonsense.

    This much is agreed: “x makes it true that p” is a construction that signifies, if it signifies anything at all, a relation borne to a truth-bearer by something else, a truth-maker. But it isn’t generally agreed what that something else might be, or what truth-bearers are, or what the character might be of the relationship that holds, if it does, between them, or even whether such a relationship ever does hold.
    https://plato.stanford.edu/entries/truthmakers/
  • "What is truth? said jesting Pilate; and would not stay for an answer."
    Fine, but it’s not much of a theory of truth if it doesn’t offer an account of what makes a statement true.Luke

    The broader idea is that we can say much more about warrant and belief than truth. We can talk endlessly about what causes beliefs and what beliefs cause. But truth? We know that warranted statements can be false and that unwarranted statements can be true. The utility of 'true' may depend on the 'absoluteness' of its grammar. If 'is true' adds nothing (essential) as a suffix to 'P', then what you really need an account of is earnest assertions.
  • "What is truth? said jesting Pilate; and would not stay for an answer."
    You may buy into Hegel's metaphysics, with everything wrapped in a nice teleological bundle with not only man but Hegel himself playing a key role in the unfolding of reality, but I don't.Fooloso4

    No one does these days, I daresay.

    For all its cosmopolitanism it is more than a bit provincial.Fooloso4

    Oh dear.
  • "What is truth? said jesting Pilate; and would not stay for an answer."
    While knowledge is, for human beings, a part of being in the world, that is not the whole of it.Fooloso4

    Thank you, Polonius ! Do toilets flush ? Do cows go moo ?

    "Just then, they discovered thirty or forty windmills in that plain. And as soon as don Quixote saw them, he said to his squire: “Fortune is guiding our affairs better than we could have ever hoped. Look over there, Sancho Panza, my friend, where there are thirty or more monstrous giants with whom I plan to do battle and take all their lives, and with their spoils we’ll start to get rich. This is righteous warfare, and it’s a great service to God to rid the earth of such a wicked seed.”

    “What giants?” said Sancho Panza.

    “Those that you see over there,” responded his master, “with the long arms—some of them almost two leagues long.”

    “Look, your grace,” responded Sancho, “what you see over there aren’t giants—they’re windmills; and what seems to be arms are the sails that rotate the millstone when they’re turned by the wind.”
    https://core100.columbia.edu/article/excerpt-don-quixote
  • "What is truth? said jesting Pilate; and would not stay for an answer."
    I must be able to see that the patch is red in order to classify it as red. Other animals can see and respond to colors without naming or classifying them. Do they "know" it is red or green?Fooloso4

    Clearly this hinges on how we understand what it is to know. I'll do you one better. Does a thermostat know when it's hotter than 68 degrees ? Does an electron know that it's being pushed by a neighbor in a copper wire ? I didn't peg you for a panpsychist, but ?
  • "What is truth? said jesting Pilate; and would not stay for an answer."
    If the deflationary theory takes truth for granted, then it leaves unexplained what makes a sentence true.Luke

    I currently take it as the honest theory...one that would rather not spout nonsense, bewitched by old metaphors...

    But maybe your intuition is a sure guide ? And philosophy ought to know better than to challenge your hunches?
  • "What is truth? said jesting Pilate; and would not stay for an answer."
    There must be a reason that not all statements are true, no?Luke

    Must there be ?
  • "What is truth? said jesting Pilate; and would not stay for an answer."
    If the deflationary theory takes truth for granted, then it leaves unexplained what makes a sentence true. Is it correspondence, coherence, something else or nothing at all?Luke

    Nothing at all. The postulated truthmaker is either redundant or uselessly ineffable. What makes it correct to say that snow is white ? The 'actual' whiteness of snow ? But what does 'actual' do there?

    'Snow is white' is true because (?) snow is white. I claim that that 'because' is misleading or errant. It adds nothing, does not explain.
  • "What is truth? said jesting Pilate; and would not stay for an answer."
    We have to choose between both competing modeling approaches (Lysenko) and competing theories (Russia, Covid, Climate Change..to name a few controversial ones). More often than not, this cannot be done with empirical evidence.Isaac

    That seems correct. Theories are underdetermined.
  • "What is truth? said jesting Pilate; and would not stay for an answer."
    "I believe that p is true and p is not true" is, in a sense, consistent and possibly true, but in another sense an absurd thing to say.Michael
    Cool example, which touches on the coherence norms of the 'I think' or 'I believe' that attaches implicitly to individuals' claims. We can see in this example why that norm is so important. We'd think the speaker did not know English or was radically illogical.

    Granting that are differences between 'P' and 'P is true,' I still think that, in this context, making them equal is a better path than the alternatives...though I don't pretend to know all the trails in these woods.
  • "What is truth? said jesting Pilate; and would not stay for an answer."
    I’m trying to get clear on your use/mention analogy. Is this correct:

    Mention = “It’s true that P”
    Use = “P”

    Is that it?
    Luke

    I don't think we are on the same page yet. For the moment, I'd say...don't try to analysis "P is true." Take it as a whole.

    I'm basically identifying use and meaning.

    I suggest that it's true that snow is white and snow is white do the same thing when used, have the same meaning. To make that suggestion, I had to mention both assertions.

    To say that P is true, is, in my view, only to repeat or emphasize P.
  • "What is truth? said jesting Pilate; and would not stay for an answer."

    This is for anyone interested but seems especially relevant to my last responses to you two.

    One idea is that language is 'primordially' 'disclosive' or 'revelatory.' Our world is significant. To utter P earnestly is to draw attention to the inexplicit or update the tribal knowledge base via one of its 'tentacles' (the guy who found honey in the woods.) We evolved presumably to share such information, so that assertion has a primacy that's hard to gainsay. Along these lines, 'seems' is merely a reduction of assertive force, a wobbly not-so-sure disclaimed that's parasitic on a more primary and confident assertion.

    The other idea is that human awareness is fundamentally linguistic. 'Intuitions without concepts are blind.' All reasoning deals with the cooked, so that the cooked/raw distinction ends up looking useless.

    For Sellars, inference itself is always a normative affair, a matter of the judgments one ought to or is entitled to make. He defuses the circularity which threatens such an account by arguing that our knowledge of what implies and follows from various claims is, in the first instance, a practical ability to discriminate, that is, to respond differentially to, good and bad inferences. Rule-governed linguistic behaviour develops out of multiple repertoires of ‘pattern-governed behaviour’, behaviour which exhibits a pattern because the propensity to produce behaviour belonging to that pattern has been selectively reinforced and contrary propensities selectively extinguished (see language, social nature of; Meaning and rule-following). The pattern-governed behaviour characteristic of language includes ‘language-entry transitions’, propensities to respond to non-linguistic states of affairs (such as sensory stimulations) with appropriate linguistic activity; ‘language-departure transitions’, propensities to respond to a subset of linguistic representings (for example, such first-person future-tensed conduct-ascriptions as ‘I shall now raise my hand’) with appropriate corresponding behaviour; and ‘intra-linguistic moves’, propensities to respond to linguistic representings with further linguistic episodes (only) in patterns corresponding to valid theoretical and practical inferences. Linguistic roles or functions, Sellars suggested, are ultimately individuated in terms of the structures of positive and negative uniformities generated in the natural order by such pattern-governed activities.

    In the Kantian tradition Sellars insisted that, in contrast to the mere capacity to be sensorily affected by external objects, perception of how things are requires not only systematic differential response dispositions but also the ability to respond to sensory stimulation with a judgment, that is, the endorsement of a claim (see Perception, epistemic issues in). Sellars went on, however, to propose that reports of how things look or seem, rather than employing ‘more primitive’ concepts, result instead from withholding these characteristic endorsements. This account enabled him to explain the incorrigibility of ‘seems’ judgments that Cartesianism takes as its fundamental datum. Their incorrigibility is simply a matter of their tentativeness; a ‘seems’ judgment expresses a perceptual ascription without endorsing it. It follows that ‘seems’ judgments do not express a special class of immediate cognitions. Applying the concept ‘looks red’ requires the same mastery of inferential articulations, the same inferential ‘know how’, as does applying the concept ‘is red’.

    Sellars’ analysis of the Cartesian incorrigibility of perceptual ‘seemings’ is one strand of the philosophical dialectic most frequently associated with his name, his comprehensive critique of the ‘Myth of the Given’. Basic to this critique is his insistence on the irreducibly normative character of epistemic discourse. Characterizing an episode or state in epistemic terms is not giving an empirical description of it but rather placing it within a social framework of justifications, of having and being able to give reasons for what one says. All knowledge that something is the case – all ‘subsumption of particulars under universals’ – presupposes intersubjective learning and concept formation. It follows that the ability to be (epistemically) aware of a sort of thing rests upon a prior command of the concept of that sort of thing and cannot account for it – and this holds equally true for concepts pertaining to ‘inner episodes’. The first-person reporting role of such concepts, a use Cartesians interpret as evidencing the ‘privacy’ of the mental and one’s ‘privileged access’ to one’s own mental states, is necessarily built upon and presupposes their intersubjective status.
    https://www.rep.routledge.com/articles/biographical/sellars-wilfrid-stalker-1912-89/v-1/sections/epistemological-perspectives
  • "What is truth? said jesting Pilate; and would not stay for an answer."
    There cannot be a complete collapse of faith and a complete collapse of meaning, because the lie loses meaning at the same rate as the truth. But people stop listening - they stop listening to the media, to the government, even to each other.unenlightened
    :up:
  • "What is truth? said jesting Pilate; and would not stay for an answer."
    there can be wolves in sheep's clothing, but as a rule it must be sheep in sheep's clothing, otherwise we would call it 'wolves clothing' wouldn't we?unenlightened

    :up:

    Nice!
  • "What is truth? said jesting Pilate; and would not stay for an answer."
    We really, really want others to adhere to our solutions.

    The simple (eagles and snakes) version of 'truth' is secondary because we don't believe what we believe about those matters because we've done the equivalent of looking in the fridge, we do so because of who we trust, our faith in statistics, beliefs about the intentions of institutions...
    Isaac

    :up:
    the vast majority of societal functions and meanings depend overwhelmingly on concepts and belief so complex that 'truth' and 'lie' just don't really apply.Isaac

    As complexity increases, it may be better to start discussing self-deception or, more neutrally, better or worse frameworks for editing beliefs.

    Lysenko forced farmers to plant seeds very close together since, according to his "law of the life of species", plants from the same "class" never compete with one another.[4] Lysenko played an active role in the famines that killed millions of Soviet people and his practices prolonged and exacerbated the food shortages.[4] The People's Republic of China under Mao Zedong adopted his methods starting in 1958, with calamitous results, culminating in the Great Chinese Famine of 1959 to 1962, in which some 15–55 million people died.[note 1][4]
    https://en.wikipedia.org/wiki/Trofim_Lysenko