Banno

Speaking roughly, truth-theoretical semantics has realism built in to it from the ground up, while proof-theoretical semantics has meaning as use buil...

Well, I never much liked the way the screen in the Tesla looks like an afterthought. No way I'd buy one now.

Yeah, I baulked at that too. From what I understand, if we allow TONK as a rule then any statement is provable. If we define logical consequence in te...

As is the rejection of indirect realism from Austin. Are you taking your own thread off topic?

I don't agree with the latter. Science is also an essentially communal activity.

Neat topic. Better to stop at Anscombe. Notice how many of the threads here are about self, but take the first or second definition as granted? All th...

Americans are being shafted. https://i.ibb.co/VNxZbrq/image.png OECD Doc Trouble is the only narrative being used to explain this to them is the muddl...

So is trust. Those who indulge in deception as a matter of course will be rejected for the commonweal.

I think "bullshit" provides a better tool for analysis here than "post truth". Bullshit is what folk say in order to get what they want, regardless of...

Of course. Nice. Cool. So we have {p, q, r} with r designated as the conclusion, and that's an argument, and then in addition if it is a valid argumen...

Well expressed; and my hunch is that we cannot provide any such clear cut distinction. So we might stipulate that formal languages are those with recu...

Better after the edit. Tones made the response I would have - what is "coherent"? The argument is coherent, in so far as it is consistent with proposi...

Yep. Now closer this thread.

I suspect you are not long for this forum.

Candidly, there can't be any sensible doubt that the argument in the OP is valid for formal propositional logic. So in order for those who claim it is...

Then you haven't looked. You are begging for a fight here, seeing hostility where there is none. In that you are playing into the stereotype you suppo...

Bernie Sanders (I-Vt.) today released the following statement in response to the outcome of the 2024 presidential election.

That wasn't the issue. They would not allow others to display the pride flag, banning it from being flown on city property.

I provided fairly extensive argument earlier in the thread.

Thank you. So I find myself back at some foundational questions. Is there always one and only one answer to the question of an argument's being valid?...

American education system delivers yet again

There's a bit of all-or-nothing slight of hand going on in the idea that you either value the zygote or you don't, and the implied conclusion that if ...

Yep. Am I right in understanding that the definition you gave of formal languages is strictly syntactic? It is formal iff it follows some rule for bei...

Bye. Folk who are interested can gather an idea of why Lionino was off-track from the SEP article on logical consequences.

...not so much.

Saw what you did there. :wink:

I didn't want to say anything about possible worlds, nor "causal implication", whatever that might be. This horse is dead.

Best way to eat acorns is to feed them to a pig. Then eat the pig.

Oh yeah.

Cool. I will throw in the occasional beetroot.

Parsnips, I do. Not too keen on turnips.

If you get stuck I will pay you to weed my veggies.

Whether we can specify a form for "logical consequence" that will apply universally is the bone of contention in Logical Nihilism

...replaced by AI...

Cheers. I've been thinking and reading for three years. Still reading and thinking. With difficulty... "For anything, there is something..." and beyon...

A working hypothesis: anything that can be said, can be said in a natural language. But not anything that can be said, can be said in a formal languag...

From what I've understood, Kripke also avoids being strictly paraconsistent becasue he does not use a third truth value, but just does not assign a tr...

Yep - well beyond my level, but I wish it wasn't. So rounding back to your chat with , I'm reticent to place any firm boundary between formal and natu...

Yes, and I rather like that. But as I understand it, Kripke's theory of truth involves one language, avoiding separating a meta language from an objec...

I'm not so sure of this, since Kripke's theory of truth contains it's own truth predicate, and there is considerable work around its relation to arith...

Yep. Curious how rendering them into a more formal language detracts from their use.

, Isn't formal language a part of natural language? And Mathematics, also? We understand each by what we do with it. Or rather, to understand a langua...

Yep, nice. But is "There is life" then the negation of "There is death"? If we pars "There is life" as "there is something that is alive" then it's ne...

Leon and Hanover are more of an inspiration for Tones. They bring forth his best work.

Let’s publish all of Tone’s posts as an introduction to logic, and use the proceeds to fund the forum.

Let's just say it was pleasing to learn that at least one of the mods knows a bit about logic.

Propositional logic deals in propositions. Your piece has the form of a modus ponens, but doesn't deal in propositions. That makes it interesting in s...

:rofl:

Yep. Compare (A & ~A) ? B. Of course Tones is right, because anything follows from such a contradiction. Leon has no idea.

But that is not so. It doesn't. And I don't have Tone's patience. Have a think about what happens when A is false.