|
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.
|
|
12298
|
Genuine motion, rather than variation of position, requires the 'entire presence' of the object [Fine,K]
|
|
Full Idea:
In order to have genuine motion, rather than mere variation in position, it is necessary that the object should be 'entirely present' at each moment of the change. Thus without entire presence, or existence, genuine motion will not be possible.
|
|
From:
Kit Fine (In Defence of Three-Dimensionalism [2006], p.6)
|
|
A reaction:
See Idea 4786 for a rival view of motion. Of course, who says we have to have Kit Fine's 'genuine' motion, if some sort of ersatz motion still gets you to work in the morning?
|
|
12296
|
4-D says things are stretched in space and in time, and not entire at a time or at a location [Fine,K]
|
|
Full Idea:
Four-dimensionalists have thought that a material thing is as equally 'stretched out' in time as it is in space, and that there is no special way in which it is entirely present at a moment rather than at a position.
|
|
From:
Kit Fine (In Defence of Three-Dimensionalism [2006], p.1)
|
|
A reaction:
Compare his definition of 3-D in Idea 12295. The 4-D is contrary to our normal way of thinking. Since I don't think the future exists, I presume that if I am a 4-D object then I have to say that I don't yet exist, and I disapprove of such talk.
|
|
18882
|
You can ask when the wedding was, but not (usually) when the bride was [Fine,K, by Simons]
|
|
Full Idea:
Fine says it is acceptable to ask when a wedding was and where it was, and it is acceptable to ask or state where the bride was (at a certain time), but not when she was.
|
|
From:
report of Kit Fine (In Defence of Three-Dimensionalism [2006], p.18) by Peter Simons - Modes of Extension: comment on Fine p.18
|
|
A reaction:
This is aimed at three-dimensionalists who seem to think that a bride is a prolonged event, just as a wedding is. Fine is, interestingly, invoking ordinary language. When did the wedding start and end? When was the bride's birth and death?
|
|
12297
|
Three-dimensionalist can accept temporal parts, as things enduring only for an instant [Fine,K]
|
|
Full Idea:
Even if one is a three-dimensionalist, one might affirm the existence of temporal parts, on the grounds that everything merely endures for an instant.
|
|
From:
Kit Fine (In Defence of Three-Dimensionalism [2006], p.2)
|
|
A reaction:
This seems an important point, as belief in temporal parts is normally equated with four-dimensionalism (see Idea 12296). The idea is that a thing might be 'entirely present' at each instant, only to be replaced by a simulacrum.
|
|
7903
|
The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna]
|
|
Full Idea:
The six perfections are of giving, morality, patience, vigour, meditation, and wisdom.
|
|
From:
Nagarjuna (Mahaprajnaparamitashastra [c.120], 88)
|
|
A reaction:
What is 'morality', if giving is not part of it? I like patience and vigour being two of the virtues, which immediately implies an Aristotelian mean (which is always what is 'appropriate').
|