New answers tagged

0

Predicate logic is usually understood these days as what is called "predicate logic" in mathematical logic. As such, it is certainly not identical with Aristotle's syllogistic. It is literally antinomic with it. I believe there would be no problem in principle working out a formal model of Aristotle's syllogistic, although I think nobody has done ...


3

As @TankutBeygu notes in his comment, there is a terminological difficulty here. "Categorical logic" sounds like a general class of logical systems that deals with categories, but the only example of categorical logic is the logic of the syllogism, which is a specific formalism invented by Aristotle. A syllogism is made of three statements, each of ...


0

How is the syllogism in my question called? Fallacious. It is based on equivocation, that we can can avoid rewriting it as follows: "All mortals are males. Alice is mortal. Therefore she's a human." What we get is not a valid syllogism; see Fallacy of four terms. The definition of "valid syllogism" is about a FORMAL linguistic pattern....


Top 50 recent answers are included