What I wanna know is if, in logic, "cats are yellow" should be interpreted as "all cats are yellow." — Jimmy
When we don't explicitly state a quantifier (all/some) then it's assumed that the statement is a universal. — TheMadFool
But it's actually false that if something is a cat, then it's necessarily a four-legged animal. For example, there are cats that are not four-legged animals. — Jimmy1
There is no logical symbol for “ARE”. End of story.
Anything else is merely a question of semantic interpretation to set out logical propositions. — I like sushi
Cats are yellow = ALL cats are yellow — TheMadFool
What I wanna know is if, in logic, "cats are yellow" should be interpreted as "all cats are yellow." — Jimmy
Oh, sorry. I just read the OP and was a little puzzled by what was confusing you.
No, it shouldn’t. — I like sushi
There is no logical symbol for “ARE”. End of story.
Anything else is merely a question of semantic interpretation to set out logical propositions. — I like sushi
Cats are yellow = ALL cats are yellow — TheMadFool
What I wanna know is if, in logic, "cats are yellow" should be interpreted as "all cats are yellow." — Jimmy
Oh, sorry. I just read the OP and was a little puzzled by what was confusing you.
No, it shouldn’t. — I like sushi
There is no logical symbol for “ARE”. End of story.
Anything else is merely a question of semantic interpretation to set out logical propositions. — I like sushi
Cats are yellow = ALL cats are yellow — TheMadFool
What I wanna know is if, in logic, "cats are yellow" should be interpreted as "all cats are yellow." — Jimmy
Oh, sorry. I just read the OP and was a little puzzled by what was confusing you. — I like sushi
Well, that is what's bothering me, because it's false that there is no logical symbol for are.
And that's why I said what I said in the previous post. I provided evidence, from a textbook on mathematical logic, that it's false that there is no logical symbol for are. — Jimmy
All ravens are black.
There exist ravens in Sweden.
Therefore, there exist black animals in Sweden.
K(x): x is a raven
S(x): x is a black animal
H(x): x is an animal is Sweden
For All x: [K(x)->S(x)]
There exists x such that: [(k(x) and H(x)]
Therefore, there exists x such that: [S(x) and H(x)] — Jimmy1
You could, by your argument, also insist that IF means (“If it is such that said item ‘p’ is true then it follows in such a way that q is implicated by the being of p.”). — I like sushi
You could, by your argument, also insist that IF means (“If it is such that said item ‘p’ is true then it follows in such a way that q is implicated by the being of p.”) — I like sushi
You two are in disagreement here. Why is he wrong? Can you deduce it? Can you source it?
6d — Jimmy1
I was watching a youtube video made by a mathematician. He claimed that it's true that cats are four-legged animals, and that the definition of four-legged is: have four legs. — Jimmy1
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.