Combining Philosophers
Ideas for Melvin Fitting, Stephen P. Schwartz and Aristotle
expand these ideas
|
start again
|
choose
another area for these philosophers
display all the ideas for this combination of philosophers
25 ideas
4. Formal Logic / A. Syllogistic Logic / 1. Aristotelian Logic
22272
|
Aristotle's later logic had to treat 'Socrates' as 'everything that is Socrates' [Potter on Aristotle]
|
9405
|
Square of Opposition: not both true, or not both false; one-way implication; opposite truth-values [Aristotle]
|
22271
|
Aristotle was the first to use schematic letters in logic [Aristotle, by Potter]
|
11060
|
Aristotelian syllogisms are three-part, subject-predicate, existentially committed, with laws of thought [Aristotle, by Hanna]
|
18909
|
Aristotelian sentences are made up by one of four 'formative' connectors [Aristotle, by Engelbretsen]
|
8080
|
Aristotelian identified 256 possible syllogisms, saying that 19 are valid [Aristotle, by Devlin]
|
13912
|
Aristotle replaced Plato's noun-verb form with unions of pairs of terms by one of four 'copulae' [Aristotle, by Engelbretsen/Sayward]
|
8071
|
Aristotle listed nineteen valid syllogisms (though a few of them were wrong) [Aristotle, by Devlin]
|
4. Formal Logic / A. Syllogistic Logic / 2. Syllogistic Logic
13819
|
Aristotle's said some Fs are G or some Fs are not G, forgetting that there might be no Fs [Bostock on Aristotle]
|
4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / e. Axioms of PL
1668
|
An axiom is a principle which must be understood if one is to learn anything [Aristotle]
|
562
|
Axioms are the underlying principles of everything, and who but the philosopher can assess their truth? [Aristotle]
|
573
|
The axioms of mathematics are part of philosophy [Aristotle]
|
4. Formal Logic / D. Modal Logic ML / 1. Modal Logic
9728
|
Modal Square 1: □P and ¬◊¬P are 'contraries' of □¬P and ¬◊P [Aristotle, by Fitting/Mendelsohn]
|
9729
|
Modal Square 2: ¬□¬P and ◊P are 'subcontraries' of ¬□P and ◊¬P [Aristotle, by Fitting/Mendelsohn]
|
9730
|
Modal Square 3: □P and ¬◊¬P are 'contradictories' of ¬□P and ◊¬P [Aristotle, by Fitting/Mendelsohn]
|
9731
|
Modal Square 4: □¬P and ¬◊P are 'contradictories' of ¬□¬P and ◊P [Aristotle, by Fitting/Mendelsohn]
|
9732
|
Modal Square 5: □P and ¬◊¬P are 'subalternatives' of ¬□¬P and ◊P [Aristotle, by Fitting/Mendelsohn]
|
9733
|
Modal Square 6: □¬P and ¬◊P are 'subalternatives' of ¬□P and ◊¬P [Aristotle, by Fitting/Mendelsohn]
|
4. Formal Logic / D. Modal Logic ML / 4. Alethic Modal Logic
9403
|
There are three different deductions for actual terms, necessary terms and possible terms [Aristotle]
|
4. Formal Logic / E. Nonclassical Logics / 8. Intensional Logic
15375
|
If terms change their designations in different states, they are functions from states to objects [Fitting]
|
15376
|
Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting]
|
4. Formal Logic / E. Nonclassical Logics / 9. Awareness Logic
15378
|
Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting]
|
4. Formal Logic / E. Nonclassical Logics / 10. Justification Logics
15379
|
Justication logics make explicit the reasons for mathematical truth in proofs [Fitting]
|
4. Formal Logic / G. Formal Mereology / 1. Mereology
13270
|
Are a part and whole one or many? Either way, what is the cause? [Aristotle]
|
13282
|
Aristotle relativises the notion of wholeness to different measures [Aristotle, by Koslicki]
|