Don't let my psychiatrist in on this conspiracy; if she finds out that my paranoia is warranted, she might stop giving me the drugs.Now, if you folk could just agree as to where I am wrong...
— Banno
This presupposes that such an agreement is not already complete in the making aside from making it outwardly known. — creativesoul
From where I sit Banno, you equivocate the term "fact" by virtue of vacillating between "fact" as propositions/states of affairs/the case at hand and "fact" as true statements. — creativesoul
where S is some sentence and p gives the meaning of S.S is true IFF p
I don't think this irrelevant, as @Sam26 suggests."The kettle is boiling" is true IFF the kettle is boiling.
In giving up the dualism of scheme and world, we do not give up the world, but reestablish unmediated touch with the familiar objects whose antics make our sentences and opinions true or false.
Knowing how to map the extensional equivalence itself to an intended interpretation. When a given person writes a correct extensional equivalence, they've provided evidence that they understand how to form them. An account which sets out how to form such equivalences; namely, which language elements are in which sets; would be an account which sets out the meaning of language items. What it's actually doing is leveraging already known language items to form extensional equivalences without telling you the mechanism that maps the already known language items to the extensional equivalence classes. Only fleshing out the latter is a theory of meaning of natural language sentences. — fdrake
On the assumption that the meaning of an arbitrary sentence can be set out by the collection of other sentences which are true when it is. — fdrake
Submission of all our propositions to an unknowable actuality? — creativesoul
That pulls the rug out from under our own analysis, does it not? — creativesoul
Indeed. In other words, on the assumption that what can be said, can be said. — Banno
To implement his objective, Montague applied the method which is standard for logical languages: model theoretic semantics. This means that, using constructions from set theory, a model is defined, and that natural language expressions are interpreted as elements (or sets, or functions) in this universe. Such a model should not be conceived of as a model of reality. On the one hand, the model gives more than reality: natural language does not only speak about past, present and future of the real world, but also about situations that might be the case, or are imaginary, or cannot be the case at all. On the other hand, however, the model offers less: it merely specifies reality as conceived by language. An example: we speak about mass nouns such as water as if every part of water is water again, as if it has no minimal parts, which physically is not correct. For more information on natural language metaphysics, see Bach 1986b.
Indeed. In other words, on the assumption that what can be said, can be said. — Banno
Is there a difference between a proposition being identical to a fact and being equivalent to a fact? — Luke
I think so. Imagine that "x" is true iff P and "y" is true iff P, then "x" and "y" are truth functionally equivalent but not necessarily identical. — fdrake
↪fdrake Perhaps an understanding of the right hand side is not something to be set out in a bunch of rules, bit demonstrated by pouring the water into the teapot. — Banno
I think there's a difference, or at least a reason to be suspicious of one. When you disquote a sentence, you still end up with a sentence. But when you go and do stuff, you can't grab a sentence. "fdrake boiled the kettle" is true iff fdrake boiled a kettle. Is the RHS identical with my boiling of the kettle or is it equivalent to it? To put it another way, is the RHS of the statement there ""fdrake boiled the kettle" is true iff fdrake boiled a kettle"" literally identical to my boiling of the kettle? And if it is, why haven't I made my bedtime tea yet? — fdrake
If the use of "is true" is equivalent to endorsing a statement, or if "p is true" is equivalent to the assertion of "p", then what is true is whatever statement someone asserts or endorses. No? — Luke
Yes, I see. And that is the objection I've had to Pie's position from the outset - that the truth bearer, P, is not identical to the fact that P describes. So P is not identical with the world, otherwise we are still talking about a sentence. But if we maintain the distinction between sentence and world, and if P is equivalent to the world, then I don't see how that's different to correspondence. — Luke
Would like to see a discussion on how the RHS relates to the world, and how it differs to correspondence. — fdrake
Get involved in philosophical discussions about knowledge, truth, language, consciousness, science, politics, religion, logic and mathematics, art, history, and lots more. No ads, no clutter, and very little agreement — just fascinating conversations.