Questions tagged [syllogism]

A syllogism is a form of deductive reasoning described by Aristotle containing two premises and a conclusion. Each of the premises and the conclusion contain a subject and a predicate.

Filter by
Sorted by
Tagged with
2
votes
4answers
270 views

Why do we need Aristotle's theory of predication?

My question is about Aristotle's theory of predication. Why do we need it at all? I know it's intuitive to pick up something and say something about it like "S is P", but doesn't this lead us to ...
9
votes
2answers
17k views

How do I use the “Barbara, Celarent, … etc.” mnemonic?

Medieval logicians memorized this most famous logic mnemonic: Barbara, Celarent, Darii, Ferio ← direct first figure Baralipton, Celantes, Dabitis, Fapesmo, Frisesomorum ← indirect first figure Cesare,...
9
votes
3answers
2k views

Why is the darapti syllogism invalid?

I found the following exposition of darapti on wikipedia: All squares are rectangles. (MaP) All squares are rhombuses. (MaS) ∴ Some rhombuses are rectangles. (SiP) As far as I can see, this is ...
3
votes
1answer
134 views

Are analogical middle terms sufficient for a valid demonstration?

William A. Wallace, O.P., in “Thomism and the Quantum Enigma,” The Thomist 61 (1997): 455–468, claims that analogical middle terms are sufficient for a valid demonstration and that this is a ...
5
votes
2answers
824 views

Does this syllogism by Russell show that Aristotelian logic doesn't work?

I have been reading through Hurley's A Concise Introduction to Logic, and I just finished reading the chapters about categorical syllogisms. While prodding around Wikipedia looking for some ...
4
votes
4answers
544 views

Is syllogism an inference rule?

I was reading Anthony Andres' article, "ARISTOTLE AND THE CONVENTIONAL LOGICIANS ON THE FOURTH FIGURE". The author explains why according to him the introduction of the fourth figure by his ...
1
vote
2answers
61 views

Are syllogisms independent of humans?

For example, if "All a are b" and "All b are c" then "All a are c". To make this syllogism, does a conscious being need to exist? Or is it inferred from the sentences?
3
votes
2answers
440 views

In modern logic, why does “All S is P” contradict “Some S is not P”?

In modern logic, the existential import is removed from universal statements. So All S is P may still be true if there is no S at all. Contradictory statements must have opposite truth values. Why ...