|
13913
|
The four 'perfect syllogisms' are called Barbara, Celarent, Darii and Ferio [Engelbretsen/Sayward]
|
|
Full Idea:
There are four 'perfect syllogisms': Barbara (every M is P, every S is M, so every S is P); Celarent (no M is P, every S is M, so no S is P); Darii (every M is P, some S is M, so some S is P); Ferio (no M is P, some S is M, so some S is not P).
|
|
From:
Engelbretsen,G/Sayward,C (Philosophical Logic: Intro to Advanced Topics [2011], 8)
|
|
A reaction:
The four names are mnemonics from medieval universities.
|
|
13916
|
Term logic uses expression letters and brackets, and '-' for negative terms, and '+' for compound terms [Engelbretsen/Sayward]
|
|
Full Idea:
Term logic begins with expressions and two 'term functors'. Any simple letter is a 'term', any term prefixed by a minus ('-') is a 'negative term', and any pair of terms flanking a plus ('+') is a 'compound term'. Parenthese are used for grouping.
|
|
From:
Engelbretsen,G/Sayward,C (Philosophical Logic: Intro to Advanced Topics [2011], 8)
|
|
A reaction:
[see Engelbretsen and Sayward for the full formal system]
|
|
13849
|
Classical logic rests on truth and models, where constructivist logic rests on defence and refutation [Engelbretsen/Sayward]
|
|
Full Idea:
Classical logic rests on the concepts of truth and falsity (and usually makes use of a semantic theory based on models), whereas constructivist logic accounts for inference in terms of defense and refutation.
|
|
From:
Engelbretsen,G/Sayward,C (Philosophical Logic: Intro to Advanced Topics [2011], Intro)
|
|
A reaction:
My instincts go with the classical view, which is that inferences do not depend on the human capacity to defend them, but sit there awaiting revelation. My view isn't platonist, because I take the inferences to be rooted in the physical world.
|
|
16083
|
Aristotelian matter seriously threatens the intrinsic unity and substantiality of its object [Gill,ML]
|
|
Full Idea:
On the interpretation of Aristotelian matter that I shall propose, matter seriously threatens the intrinsic unity, and hence the substantiality, of the object to which it contributes.
|
|
From:
Mary Louise Gill (Aristotle on Substance [1989], Intro)
|
|
A reaction:
Presumably the thought is that if an object is form+matter (hylomorphism), then forms are essentially unified, but matter is essentially unified and sloppy.
|
|
17006
|
Prime matter has no place in Aristotle's theories, and passages claiming it are misread [Gill,ML]
|
|
Full Idea:
I argue that prime matter has no place in Aristotle's elemental theory. ..References to prime matter are found in Aristotle's work because his theory was thought to need the doctrine. If I am right, these passages will all admit of another interpretation.
|
|
From:
Mary Louise Gill (Aristotle on Substance [1989], App)
|
|
A reaction:
If correct, this strikes me as important for the history of ideas, because scholastics got themselves in a right tangle over prime matter. See Pasnau on it. It pushed the 17th century into corpuscularianism.
|