Banno

Propositional logic is about propositions. Sometimes folk say that it is about statements, because a proposition is the intangible thing that "it is r...

:roll: No.

So you can't even see where this is wrong.

You've lost me. Or perhaps i wasn't with you to start with.

So there's that. Cheers.

Yeah. A few posts back you confused = with ?. So forgive me if I don't follow through on your comments.

Trouble is, the thought experiment does explicitly distinguish meaning and reference. On Earth, "water" denotes H_2O. On twin Earth, "water" denotes X...

SO meaning is both social and in the head.

Cheers, Meta. No, I don't claim to understand you. I don't think you do logic. It's not my approach. It's formal logic over the last hundred and fifty...

Meh. Looks like vacillation.

The Revision Theory So we looked at Tarski and at Kripke's theories fo truth. Tarski seems to be the theory in which folk are most interested, from th...

That's a start, but language is a bit more complex than just that. We might go in any of a very many differing directions from there. But there seems ...

Keep buggering on.

If he's not, I am.

I am gong to leave this conversation. I don't see any progress being made. We seem to agree that "show is white" is a sentence and that snow is white ...

Yes, I understand that using logic as a justification is a problem for you.

See the truth table for ? https://sites.millersville.edu/bikenaga/math-proof/truth-tables/truth-tables18.png and, p?q is by definition (p?q)&(q?p) hen...

Better. Neither correspondence nor coherence are at work here. It's a formal language with truth defined in terms of satisfaction.

I had a read an ignored that, since I couldn't make sense of "sense" there - it's truth-functional Boolean algebra all the way down. Now you have Meta...

Yeah. No one has actually read it cover to cover. In juvenescence, I was taken in by a phrase on the first page, which in my translation was rendered ...

Well, I'm going to just stipulate that names are not facts. The person Luke is not a fact, but that Luke posts on the forum is. And I don't think I wi...

As Ned Kelly pointed out just before they hung him, "Such is life..." Girl learnt something a few weeks back. Her partner had some surgery - small stu...

More the first order logic with the additional items that make the stuff discussed here possible. So you asked: Premises might have a few different me...

I don't see how we can proceed here, since to my eye your approach looks incoherent. You repeatedly quote what I have written as if you were citing ob...

In case it was missed: But is there a simple way to construct a neat table? Embedded HTML, perhaps?

I had taken it that the object language was amongst the objects talked about in the metalanguage. Interesting. The image I have of the place of natura...

There's no such think in philosophy. That's pretty much the theory of descriptions. Although intuitively appealing, it's fraught with issues and gener...

Ok. Do you think I have claimed he said otherwise? I'm now puzzled as to why we are having this conversation.

I have the paper before me. But your point continues to escape me. Let me have a go at paraphrasing what is going on here, with an eye towards our at ...

Yes, things like that snow is white. We use names to refer to individuals. That's why in first order logic we use a,b,c... for individuals and f,g,h.....

What are facts? Names? Things in the world? Both? I still do not know what to do here.

Well, there's nothing in this to dissuade me form the view that the result will be disingenuous confirmation bias - like where you suggest that the ph...

I don't know what to do with that. Names are not propositions.

Well, that's what we are here for - to muddle through. Looking out from my stoa, Family resemblance, Gödel incompleteness and the deranged epitaphs, a...

And my reply is that for Tarski, that is correct. But it has been used as such since his work. And I refer to you the previous argument: To which you ...

Yes, he defines truth for the object language in terms of satisfaction. He is correct in saying that a definition in terms of satisfaction may not wor...

Yep. Addition: He's right, since he is talking about formal languages. In English, which sentences can we not turn onto quotation-mark names?

It's not a disagreement, but a seperate argument. Tarski defines truth in terms of meaning, using all that satisfaction stuff. But in this: ...there c...

The point, lost, is that there seems to be nothing in common in the correspondence in each case.

Perhaps that is the problem.

Cheers, yes, that's the idea. So Tarski's indefinability theorem has an odd conclusion, and yet it is an accepted, proven piece of formal logic. Keep ...

I dunno, Bong. You seem to me to just be repeating an argument I've already addressed a couple of times. And it seems that others (@"Michael") have tr...

See It's not Tarski who pulls this stunt, but others after his work.

Thanks - that's a bonus, since the aim was to simplify it enough that I seem to understand it. Yep, because the object languagecan talk about Adam and...

Not sure. The logics here are an attempt to make these issues clear.

No, although perhaps those sentences are in a metametalanguage. I'm not real fussed, since the point is not to set out the exact formal logic - What I...

No and yes. In Kripke's system the truth value of an unproven conjecture would be neither true nor false. Hence, meh. It's a non-classical logic, so t...

Doubtless you are right. But that's how I understand Kleen evaluations; albeit using "meh" for "undefined" - it's easier to type. So the truth table f...

The Kripke sort of construction given above has an antirealist bent. So suppose our language were the whole of mathematics, and we adopted a construct...

Kripke's theory of truth Tarski's ideas lead to a hierarchy of languages that, like Russian Dolls, each give the truth of the language that they enclo...