Banno

Well, I imagine that can't use observation to decide between logics unless there are multiple logics.

Deflation is simply the observation that asserting something and saying it is true are truth-functionally equivalent. The cat is on the mat if and onl...

To be sure, it's not a term I would use. Logics are useful, applicable, valid, consistent, incomplete and so on, but not so much "correct". Why? If wh...

It seems it is worth showing that paraconsistent logic is useful. Have a look at Applications from the IEP article. A google search will reveal uses i...

First, the argument is clearly valid. So if the conclusion is false, one of the premises is false. I do not pray, so the second premise is true. Hence...

Well at least we have agreement that the Semantic Theory is noncommittal as to deflation or correspondence. I'm at a bit of a loss as to what happens ...

Is that why I like bagels? (Also, I much prefer the traditional way of making blastocysts. Much more enjoyable.)

Do us a favour, and read the first few paragraphs here. Notice the bit that says Now what do you make of this? I've understood you as saying Tarski is...

Antigone was Jewish? You learn something every day.

This is quite odd. As if we are talking about different things. That's why the detail is so important. I'll have a think and a re-read and see if i ca...

Yep. Although I'd characterise it as that a woman has standing not had by a cyst. I'm sorry you can't see that. Well, yes. But you would have me add t...

Try this: So you are quite right that they both use the notion that if "Adam is English" is true, then so is '"Adam is English" is true'. But whereas ...

That's not quite right. If there were a vote in 'merca, it would be legal. And elsewhere - in roughly comparable nations - it is a non-issue. Those na...

Pretty much. Even including infinite-valued logics. The liar is clear, in the way you have argued. Rejecting it as a "nonsense" is a failing of nerve,...

That's a brilliant, thoughtful and charitable post. Well done.

Is that conclusion supposed to follow? That there are no universal laws does not deny that there are laws specific to each logic. It is maybe worth po...

I don't follow this, and I don't think it is only becasue you appear to have left out a few quote marks. So let's make it clearer. "P is true in L iff...

I was intrigued by this: is denying mathematician the right to write \mathbb{R}^2/\{0\}, and hence deny them the right to think about \mathbb{R}^2/\{0...

If you can't see that Mrs Smith has rights not had by a cyst, no theory that I could offer would help you. Indeed, it's clear that moral theory can be...

May as well let him be. You know I enjoy the attention. , I was responding honestly to questions asked. So now the thread is about me? Nice. Good summ...

~~ Well, it's right. "P" is true iff P is about as direct as you can get.

Yep. And if there are more than one set of basic principles, then we have one form of pluralism. And if a set of basic principles is found, then the c...

:rofl: So I'm to blame for and @"Tom Storm"'s questions. Fine. From the SEP article... That's were I came across the Clarke-Doane article and the disc...

I prefer "Keep your mind too open and it will fill up with garbage".

~~ So what's the problem? It's not as if deflationary accounts say that there are not truths. In Model theory truth isn't eliminated, but given a firm...

Which means it's methodological - it's about attitude. Closed or open.

This goes back to the discussion with Tom: Monism, and authoritarianism, offer certainty.

No, I'm not. I've simply cut to the core issue. Perhaps you can see that a cyst is not morally on a par with Mrs Smith, and so are nonplussed. I won't...

Yep. Kleene logic is explosive.

I've read that post twice and I'm still not sure what your criticism is. Am I to read this as you saying truth is something to do with formalism, or a...

Thought you would enjoy it. The Open Logic Project is a Wiki of sorts, designed to provide a free textbook on logic. It works thorough Naive set theor...

Well, no - the whole point is to decide whether we ought allow abortions or not. We are to judge ethical theories by what they say we ought do. If som...

@"fdrake", Have a quick look at What is Logical Monism? I suspect you would enjoy it, since it draws on the parallels with mathematics that you are us...

Nice. Now we are getting to an interesting bit, that the difference is not about the nature of logic but about logical method. Have a quick look at Wh...

Interesting. Thanks for this. I'm a bit surprised by you referring to this, since I had taken it that you had a dislike for formalism. But taking it a...

Cheers, Leon. Let me buy you a beer some time. Fair enough. Part of the issue here is whether pluralism can be set out clearly. As the SEP article set...

And yet Dialetheism. You at least need to make a case, rather than an assertion.

Yep. And again, there is the challenge set up by that very specification, to find a logic that does not meet it. Monism again restricts development.

, The problem for logical monism is that if there is only one logic, then which one? (I did read somewhere that modal logic could be "reduced" to firs...

Thinking of all systems as univocal would appear to be putting unnecessary restrictions on the development of logic. (Quine's rejection of modal logic...

@"fdrake", what is the confusion here, do you think? Is it to do with the commensurability of differing logical systems? If logical monism is the view...

No point. If you can't see that a cyst has less standing than Mrs Smith, you are not even in the same game.

Sure. I drew attention to that. But that's were it starts. We can move on to formal intensional logics, if you like, and their algorithmic interpretat...

It looks as if you have not followed the argument. I guess you can't, not without losing too much. Yes, it is about degrees of moral standing. Your es...

Cheers. I've got you off your topic - apologies - becasue what I was considering is what a circle might be defined intrinsically on the surface of a s...

Thanks, . I might add the following, more or less by relating your comments to the article. It perhaps comes down to what is meant by "truth-preservin...

Nice. That cleared something that I was puzzling over. A Great Circle is defined by only two points on the surface. It can do this becasue it is a str...

I guess the question then is, in what way are these the same argument?

Would that I were so wise as you. I could have avoided various unpleasantries today.

Ok, so you want a rational way to compare logical systems, an I think this is not the way to talk about the issue. I'll try again. Let's look at the e...