Aristotle's syllogistic logic is too weak for serious work.
It does not readily express multi-place predicates. You cannot express two-place relations like, "John loves Mary", or three-place relations like, "John is standing between Mary and Joanne", without using some odd-looking additional apparatus for converting n-place predicates ...
Explosion is a property of logical consequence relations, and thus of logics, that is not trivial: Some logics have it, some don't. So there is simply no sense asking
Why can't we simply get rid of the Principle of Explosion?
If the logic you start with, say classical propostional logic, is explosive, then you cannot get rid of explosiveness and at the ...
In Aristotle's Logic Darapti is a valid figure.
I suspect that the issue is with the so-called "existential import" :
From a modern standpoint, [we infer] "Some monsters are chimeras" from [...] "All chimeras are monsters"; but the former is often construed as implying in turn "There is something which is a monster and a chimera", and thus that there ...
Rather than give you the correct technical answer (edit: okay I ended up going into some technical details, oops), which has been provided, I think I'll try and diagnose where you're intuitions have led you astray.
It seems to me that you think that if a formal system can derive (P & ¬P), then we have to accept it and thus accept the resulting ...
A good introduction is the second volume of Gabbay & Woods (2008), Handbook of the History of Logic, where you'll find the mnemonics explained on pp 331ff. The mnemonics themselves seems to have originated in 13th century textbooks. For the original, see: de Rijk (1967), Logica Modernorum, vol 2, pp 362ff. I would also recommend Kretzmann, Kenny & ...
This is one of the classic 24 valid syllogisms, which means: It's a correct
logical argument. In first-order logic, the premises can be written
as ∀x(P(x)→Q(x)) and ∀x(R(x)→P(x)), and this implies ∀x(R(x)→Q(x)).
So, whenever the premises are true, then the conclusion
is also true.
Except if you cheat.
What does "cheat" mean? Well, for instance, words in a ...
From a modern point of view, Aristotle's Logic is a subset of predicate logic, called Monadic predicate logic:
monadic predicate calculus (also called monadic first-order logic) is the fragment of first-order logic in which all relation symbols are monadic (that is, they take only one argument). All atomic formulas are thus of the form P(x).
Explanation of the Mnemonic
Brody, Boruch A. "Logical Terms, Glossary of." Encyclopedia of Philosophy. Ed. Donald M. Borchert. 2nd ed. Vol. 5. Detroit: Macmillan Reference USA, 2006. 533-560. Gale Virtual Reference Library. Web. 19 May 2016.:
The names that the medieval logicians introduced for the valid syllogisms. One such term is "...
You are "missing" The Traditional Square of Opposition.
As you say :
‘Every S is P’ and ‘Some S is not P’ are contradictories.
The "traditional" symbolization is :
SaP for "all S are P"
SeP for "no S is P"
SiP for "some S is P"
SoP for "some S is not P".
o and i are the negations of a and e respectively.
Thus : not SaP will be "not all S are P" i.e. "...
Comment on similar example.
The example is not from Aristotle.
Categorical propositions with singular terms are used in Medieval logic; see Peter of Spain's Summulae logicales (XIII century):
I,8 Propositio singularis est illa [...], ut "Sortes currit" [Socrates runs].
Into this textbook we can find many examples of them in the discussion of loci and ...
The syllogism is correct, according to Aristotle's doctrine, exactly because of Existential import:
Aristotle's logic system does not cover cases where there are no instances.
See The Traditional Square of Opposition:
‘Some S is P’ is a subaltern of ‘Every S is P’. A proposition is a subaltern of another iff it must be true if its superaltern is true,...
In origin, sllogism was defined with categorical proposition i.e. for proposition like "All men are mortal" with class terms.
The extension to singular terms can be managed considering the "singleton" formed by the class containing the single individual: Socrates.
In this way, we can translate "Socrates is a man" as "Every member of the class containing ...
See Enthymeme :
An enthymeme is a logical fallacy in which a categorical syllogism omits a premise that is necessary for the conclusion to be true or omits the conclusion itself. The missing proposition is considered to be implied.
The fallacy is a syllogistic fallacy and a formal fallacy.
Formal fallacy because
a formal deductive arguments is a ...
The term syllogism is due to Aristotle (originally sullogismos).
Aristotle defined it as:
an argument (logos) in which, certain things having been laid down, something different from what has been laid down follows of necessity because these things are so. (Source)
So by Aristotle's definition, all syllogisms are valid.
But consider this. In Aristotle'...
It seems that the list of categories from Marcus Friedrich Wendelin's book: Logicae institutiones (1654) [see page 14-on] comes from Petrus Ramus's Dialectique (1955).
See also: Walter J. Ong, Ramus, Method, and the Decay of Dialogue: From the Art of Discourse to the Art of Reason (1958), page 183.
See also: William & Martha Kneale, The Development of ...
We are talking about expressing statements in two different systems. The first one is the classical syllogistic of Aristotle ("All dogs are mammals"), with categorical syllogisms, whereas the latter ("If it is a dog then it is a mammal") is in the form of a hypothetical syllogism. It is only with the latter that one can speak of something like modus ponens, ...
We can consider the propositional valid argument called Hypothetical syllogism as a (derived) rule of inference.
We call it "derived", because in standard presentations of propositional logic we can derive it from more basic ones, like Modus Ponens.
In modern terms, syllogism is a fragment of first-order logic, the so-called Monadic predicate ...
See Syllogism: Aristotle's Theory:
terms can be combined in different ways to form three figures (skhemata), which Aristotle presents in the Prior Analytics. When the four categorical sentences are placed into these three figures, Aristotle ends up with the following 14 valid moods [...]
A fourth figure was discussed in ancient times as well as during the ...
You are correct that syllogistic, which corresponds to monadic predicate calculus in modern terms, is insufficient for doing mathematics. Modern formalisms use polyadic calculus. However, Euclid does not use syllogistic alone (in fact, he hardly uses it at all). Recent studies of Euclid's method, especially Manders's classic Euclidean Diagram, show that his ...
No, it is not.
It is a valid argument :
The premise :
All teenagers are impulsive
is equivalent to :
for every x, if x is not impulsive, then x is not a teenager.
Thus, using the second premise :
John is not impulsive
we can correctly conclude with :
John is not a teenager.
Celaront was not in the original Aristotle's list of valid syllogistic figures (or : moods).
It was added later (during the Middles Ages ?) as one of the two subalternate moods in the first figure (Barbari and Celaront).
If we agree (as Aristotle does) that every term has reference, from Cesare :
No reptiles have fur. (MeP)
All snakes are reptiles. (SaM)
Here is the question:
How is it that POE [the principle of explosion] does not make mathematical logic inconsistent?
If the axioms of mathematical logic were inconsistent then the principle of explosion would reduce mathematical logic to trivilism where all propositions are true since they can all be derived from that inconsistency.
However, having the ...
Why in modern logic:
does “All S is P” contradict “Some S is not P”?
Because “All S is P” is ∀x(Sx → Px); negating it, we get: ¬∀x(Sx → Px).
Due to equivalence between ¬∀ and ∃¬, this in turn is equivalent to:
∃x¬(Sx → Px).
Now, in propositional logic, ¬(R → Q) is equivalent to: (R & ¬Q), and thus we finally get:
∃x(Sx & ¬Px).