more on this theme
|
more from this thinker
Single Idea 22272
[filed under theme 4. Formal Logic / A. Syllogistic Logic / 1. Aristotelian Logic
]
Full Idea
When Aristotle moved from basic name+verb (in 'De Interpretatione') to noun+noun logic...names had to be treated as special cases, so that 'Socrates' is treated as short for 'everything that is Socrates'.
Gist of Idea
Aristotle's later logic had to treat 'Socrates' as 'everything that is Socrates'
Source
comment on Aristotle (On Interpretation [c.330 BCE]) by Michael Potter - The Rise of Analytic Philosophy 1879-1930 02 'Supp'
Book Ref
Potter,Michael: 'The Rise of Anaytic Philosophy 1879-1930' [Routledge 2020], p.12
A Reaction
Just the sort of rewriting that Russell introduced for definite descriptions. 'Twas ever the logicians' fate to shoehorn ordinary speech into awkward containers.
The
19 ideas
from 'On Interpretation'
|
22272
|
Aristotle's later logic had to treat 'Socrates' as 'everything that is Socrates'
[Potter on Aristotle]
|
|
2337
|
For Aristotle meaning and reference are linked to concepts
[Aristotle, by Putnam]
|
|
13763
|
Spoken sounds vary between people, but are signs of affections of soul, which are the same for all
[Aristotle]
|
|
1701
|
A prayer is a sentence which is neither true nor false
[Aristotle]
|
|
1702
|
Things may be necessary once they occur, but not be unconditionally necessary
[Aristotle]
|
|
1703
|
It is necessary that either a sea-fight occurs tomorrow or it doesn't, though neither option is in itself necessary
[Aristotle]
|
|
21593
|
In talking of future sea-fights, Aristotle rejects bivalence
[Aristotle, by Williamson]
|
|
1704
|
Statements are true according to how things actually are
[Aristotle]
|
|
1705
|
It doesn't have to be the case that in opposed views one is true and the other false
[Aristotle]
|
|
1706
|
Non-existent things aren't made to exist by thought, because their non-existence is part of the thought
[Aristotle]
|
|
1707
|
Maybe necessity and non-necessity are the first principles of ontology
[Aristotle]
|
|
1708
|
In "Callias is just/not just/unjust", which of these are contraries?
[Aristotle]
|
|
9405
|
Square of Opposition: not both true, or not both false; one-way implication; opposite truth-values
[Aristotle]
|
|
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]
|