Michael's argument talks about the existence of sentences. Hence it make use of quantification in a second-order language - a language about language. In a first-order language we can make the an inference by quantifying over a predication - from f(a) to ∃(x)f(x). In second order logic one might perform a similar operation over a group of predicates. If we have ϕ(f(a)), we can infer ∃Pϕ(P) - if f(a) is ϕ, then something (P, in this case) is ϕ. But at issue here is a choice in how this is to be understood. Is it about just the things (a,b,c...) that make up the domain of the logic, or does it bring something new, P, into the ontology? The first is the substitutional interpretation, the second is the quantificational interpretation. This second interpretation has Platonic overtones, since it seems to invoke the existence of a certain sort of abstract "thing". — Banno
We thus find the usual candidate truth-bearers linked in a tight circle: interpreted sentences, the propositions they express, the belief speakers might hold towards them, and the acts of assertion they might perform with them are all connected by providing something meaningful. This makes them reasonable bearers of truth.
At the same time, he wants to be a realist. — frank
Is there an unknown truth regarding Park? Or not? — frank
Are you saying that an unknown sentence is true? — frank
How do you know it's possible for anyone to state the reason for Park's disappearance? We may never know. — frank
I see. So when you say the answer exists, you mean it exists in potential? — frank
The answer exists? Where is it? — frank
They're talking about why Yoon Park disappeared. There's some truth regarding this, but we don't know what it is. Where's the truthbearer? — frank
So this is my question: when someone says "The truth of the matter is unknown." What does that mean? Where is the truthbearer? — frank
I agree. — frank
Ask any scientist. — frank
So it is true now, but it wasn't true then? For real? — frank
And it's also fine to say "I don't know nothing" when claiming ignorance, even though a literal interpretation of the sentence means the opposite.
So you're more than welcome to talk about there having been truth-bearers 10 million years ago, but that's just a case of fictionalism. The truth (pun intended) is that truth-bearers didn't exist 10 million years ago (but dinosaurs did), and it is only the sentences we use now (about the past) that are either true or false. — Michael
You can say it however you like, but my language community agrees that it's fine to say
10 million years ago it was true that some dinosaurs had feathers. — frank
10 million years ago, it was true that some dinosaurs had feathers. — frank
Right, so as you're looking for your sunglasses, you are, in a sense, looking for a truth (whatever your truthbearer is). — frank
You have expectations, hypotheses, speculations, etc. You don't know which, if any of them is true, but you believe there is some truth regarding the matter. — frank
Likewise, if you're a realist, you have confidence that the pre-human world was full of events, all of which are describable in principle. Just as you have confidence that there is some true statement about some unknown detail of Pluto, you believe there are all sorts of true statements about worlds where humans do not exist. — frank
but knowable truths is essential to realism. — frank
Fitch’s paradox of knowability ... concerns any theory committed to the thesis that all truths are knowable. Historical examples of such theories arguably include Michael Dummett’s semantic antirealism ..., mathematical constructivism ..., Hilary Putnam’s internal realism ..., Charles Sanders Peirce’s pragmatic theory of truth ..., logical positivism ..., Kant’s transcendental idealism ..., and George Berkeley’s idealism.
...
The realist believes that it is possible for truth to be unknowable in principle.
Ok. This is truth skepticism. That's just what it's called. — frank
Five different forms of truth skepticism are examined and defused: (1) the view that truth is indefinable, (2) that it is unattainable and unknowable, (3) that it is inextricably metaphysical and hence not scientifically respectable, (4) that there is no such thing as truth, and (5) that truth is inherently paradoxical, and so must either be abandoned or revised.
Sentences are also abstract objects. — frank
So when a person says, "It's raining." they may mean that things have gotten worse.
You need a theory of meaning that covers this kind of speech. What do you propose? — frank
And if it does, then the world (or region) satisfies the sentence in question. If not, not. — bongo fury
Is it satisfaction-apt? That was my point. — bongo fury
When we say a sentence is true, we are talking about what the sentence is about, not the sentence itself as an object. — Apustimelogist
Again, that there is such a sentence in the domain of sentences is true, but not enough to carry your argument. The conclusion just becomes an example of "if P &~P then Q" - asserting that a sentence that is in the domain of sentences is not in the domain of sentences, implies anything. — Banno
Does that painting of the reconstruction Jesus's face exist? No, it's not a painting, it's digital. — Banno
But then when you were pressed on what a sentence or a linguistic entity is, metaphysically speaking, you threw up your hands as if there is nothing to talk about. — Leontiskos
So the argument treats accuracy as all-or-nothing. One could not have an otherwise accurate painting in which the hair was pink when it ought be black. "Accurate" is somewhat problematic in this regard. — Banno
I don't see as the change makes the argument clearer. — Banno
Why IFF? Why not "The painting is accurate if the woman has red hair"? — Banno
My quibble with the argument you gave earlier is much the same. — Banno
Do you consider yourself a philosopher who works beyond the distinction of realism/anti-realism?
There isn’t one clear distinction. If by realism you mean the idea that entities, perhaps facts or states of affairs, make our sentences true, then I think nobody has ever succeeded in giving a clear account of how that should work. If that is realism, I’m not a realist. But what’s an anti-realist? One form of anti-realism is Dummett’s. For Dummett, one is an anti-realist in some area if one thinks some sentences in that area are neither true nor false. This may be right. It may well be that the most appropriate semantics will declare, say, that some sentences with non-referring names are neither true nor false. I don’t think of this as a deep metaphysical issue, but as a matter for semantic engineering. On the other hand if anti-realism means that a sentence, the truth value of which we have no way to determine, lacks a truth value, then I think anti-realism is false. There are lots of sentences we know for certain we’ll never know to be true or false, those about the distant past for example. There’s no way we can check up on these things. So I’m not an anti-realist but neither am I a realist in the only clear senses I understand.
It turns into this: If minds (or else truth-bearers) do not exist, does truth exist? The idea is that the state of affairs is left intact. The focus is on the mind or truth-bearer. You yourself hone in on this exact same thing: — Leontiskos
...you were literally presenting arguments about the existence of sentences, so it is not realistic for you to go on to deny that the metaphysical status of truth-bearers is irrelevant.
(And of course you were presenting this argument as a sort of dilemma for Banno, not for your own position, but the metaphysical status of truth-bearers is nevertheless central to the discussion.) — Leontiskos
This whole discussion is directly related to the metaphysical status of truth bearers — Leontiskos
Clearly. It was a kind of placeholder "I don't know what to put here" word. But it is the natural word, in one sense, since you intend to attribute properties to these whatever-they-ares. So why are you backing away from it? — Srap Tasmaner
I'm curious whether you have anything to say about these entities. — Srap Tasmaner
One of the important themes in the literature on truth is its connection to meaning, or more generally, to language.
...
We thus find the usual candidate truth-bearers linked in a tight circle: interpreted sentences, the propositions they express, the belief speakers might hold towards them, and the acts of assertion they might perform with them are all connected by providing something meaningful. This makes them reasonable bearers of truth.
"Greater than" (>) is a relation. — Leontiskos
If I said “It is the case that it is raining outside”, I do not mention anything about “truth” Would we need to say “what is the case” is a property of “It is raining outside.”? Or just say “what is the case” is neither a property of a sentence nor the rain? Like those who assert “existence” is not a predicate. — Richard B
Truth is about what is the case. — Apustimelogist
