# Search results

1. ### And the next U.K. Prime Minister will be?

There's another way to flip this around. Suppose you start at some conclusions and you want a computer to come up with premises from which to derive them. Mathematicians like to do this when they axiomatize a mathematical field down to simple principles. But scientists do it too. For instance...
2. ### And the next U.K. Prime Minister will be?

You are wrong on the irrelevance of P3. The conclusion follows from P3, P4 and P5 and can be formalized: P3) JH != JC P4) PM = BJ || PM = JH P5) PM = JC C) PM = BJ From P4 and P5, we have (by substituting PM for JC in the left disjunct) C1) PM = BJ || JC = JH From P3, we rule out JC = JH...
3. ### And the next U.K. Prime Minister will be?

You're just on ignore now. Bye.
4. ### And the next U.K. Prime Minister will be?

Can you restate the reason for me?
5. ### And the next U.K. Prime Minister will be?

It's a good question. But is the status of validity something which tells of the likelihood, or even the possibility, that something will be accepted as sound? It seems that it's often the opposite. I know that you can often take a crappy and invalid argument, where the premises aren't strong...
6. ### And the next U.K. Prime Minister will be?

Blatant contradictions where one premise is just the denial of another? Perhaps there is no good reason. Perhaps all such arguments are stupid. Perhaps we should be so eager to discard them that we will declare them illegal from the outset. It wouldn't bring the house down to do so. I come at...
7. ### And the next U.K. Prime Minister will be?

To repeat, I like everything you said about stipulative and lexical definitions. There are stipulative definitions, such as those in mathematics, which appropriate common terms. Mathematical logic is not peculiar in this appropriation of natural language. Physics has stipulative definitions of...
8. ### And the next U.K. Prime Minister will be?

Ironically, mathematical logicians often use the terms "valid" and "sound" differently to philosophers. I suggest it's another hang-up from syllogistic logic, which was a classification system for 256 argument forms into the valid ones and the fallacious ones. Mathematical logics aren't...
9. ### And the next U.K. Prime Minister will be?

The argument can be formalized: P1) JC != BJ P2) BJ != JH P3) JH != JC P4) PM = BJ || PM = JH P5) PM = JC From P4 and P5, we have C1) PM = BJ || JH = JC From P3 and P4, we then have C2) PM = BJ
10. ### And the next U.K. Prime Minister will be?

There are four poll options, with votes split evenly on three. If you constructed the poll to give exclusive and exhaustive options, that means that two-thirds of people voted wrong whatever answer is right. I'm not going to nitpick this further. Your poll is scientifically as worthless as your...
11. ### And the next U.K. Prime Minister will be?

To the extent that there is a single correct notion of validity, and the poll representative, the results show that two thirds of people are confused.
12. ### And the next U.K. Prime Minister will be?

I suspect this post is another waste of time. Unlike Angra Mainyu, I don't think anyone is reading these posts other than thread participants. One of my first posts to Speakpigeon gave the definition of syllogism, and explained how, by definition, there are no syllogisms with contradictory...
13. ### And the next U.K. Prime Minister will be?

Let's talk again when you've gone back to school and got your degree.
14. ### And the next U.K. Prime Minister will be?

I enjoyed that post. I made a suggestion above. Mathematical logicians, being mathematicians, aimed to be systematic. And when you are systematic with a bunch of intuitive rules, you sometimes unearth pathologies. This phenomenon happens with other mathematical concepts, such as the...
15. ### And the next U.K. Prime Minister will be?

I didn't. I said that some mathematicians argue that definitions are neither correct nor incorrect, only useful or adequate. I am not one of those. My broader point was that mathematicians rarely give a justification for any definitions. They may motivate a definition, but they mostly let the...
16. ### And the next U.K. Prime Minister will be?

What distinguishes modern logic more than anything is that, like mathematics, it's highly recursive and systematic. The syntax is recursive, as when we say for any proposition P and Q, we can form the proposition P → Q Recursion now commits us to admitting complex propositions that are beyond...
17. ### And the next U.K. Prime Minister will be?

Does the conclusion need to be an "or" to highlight the issue? I need some salt. You have salt and pepper, but they're mixed.
18. ### And the next U.K. Prime Minister will be?

Which proof is that? The first proof I read of Tarski's Theorem was back in 2004 and was not Tarski's original. In fact, I daresay the proof was original to my lecture material. If pressed to provide a proof of the theorem today, I would figure one out on my own, since it's one that I find...
19. ### And the next U.K. Prime Minister will be?

Far worse for Tarski's Theorem. Anyone claiming to have falsified it is just stating a logical absurdity. It's a theorem. You can't falsify it. The theorem is a fairly easy result of the machinery needed to prove Gödel's first theorem, and there's a cottage industry of internet people who think...
20. ### And the next U.K. Prime Minister will be?

And you've scored a few more points on the crackpot index.