18904
|
'Predicable' terms come in charged pairs, with one the negation of the other [Sommers, by Engelbretsen]
|
|
Full Idea:
Sommers took the 'predicable' terms of any language to come in logically charged pairs. Examples might be red/nonred, massive/massless, tied/untied, in the house/not in the house. The idea that terms can be negated was essential for such pairing.
|
|
From:
report of Fred Sommers (Intellectual Autobiography [2005]) by George Engelbretsen - Trees, Terms and Truth 2
|
|
A reaction:
If, as Rumfitt says, we learn affirmation and negation as a single linguistic operation, this would fit well with it, though Rumfitt doubtless (as a fan of classical logic) prefers to negation sentences.
|
18895
|
Logic which maps ordinary reasoning must be transparent, and free of variables [Sommers]
|
|
Full Idea:
What would a 'laws of thought' logic that cast light on natural language deductive thinking be like? Such a logic must be variable-free, conforming to normal syntax, and its modes of reasoning must be transparent, to make them virtually instantaneous.
|
|
From:
Fred Sommers (Intellectual Autobiography [2005], 'How We')
|
|
A reaction:
This is the main motivation for Fred Sommers's creation of modern term logic. Even if you are up to your neck in modern symbolic logic (which I'm not), you have to find this idea appealing. You can't leave it to the psychologists.
|
18893
|
Translating into quantificational idiom offers no clues as to how ordinary thinkers reason [Sommers]
|
|
Full Idea:
Modern predicate logic's methods of justification, which involve translation into an artificial quantificational idiom, offer no clues to how the average person, knowing no logic and adhering to the vernacular, is so logically adept.
|
|
From:
Fred Sommers (Intellectual Autobiography [2005], Intro)
|
|
A reaction:
Of course, people are very logically adept when the argument is simple (because, I guess, they can test it against the world), but not at all good when the reasoning becomes more complex. We do, though, reason in ordinary natural language.
|
18903
|
Sommers promotes the old idea that negation basically refers to terms [Sommers, by Engelbretsen]
|
|
Full Idea:
If there is one idea that is the keystone of the edifice that constitutes Sommers's united philosophy it is that terms are the linguistic entities subject to negation in the most basic sense. It is a very old idea, tending to be rejected in modern times.
|
|
From:
report of Fred Sommers (Intellectual Autobiography [2005]) by George Engelbretsen - Trees, Terms and Truth 2
|
|
A reaction:
Negation in modern logic is an operator applied to sentences, typically writing '¬Fa', which denies that F is predicated of a, with Fa being an atomic sentence. Do we say 'not(Stan is happy)', or 'not-Stan is happy', or 'Stan is not-happy'? Third one?
|
18894
|
Predicates form a hierarchy, from the most general, down to names at the bottom [Sommers]
|
|
Full Idea:
We organise our concepts of predicability on a hierarchical tree. At the top are terms like 'interesting', 'exists', 'talked about', which are predicable of anything. At the bottom are names, and in between are predicables of some things and not others.
|
|
From:
Fred Sommers (Intellectual Autobiography [2005], 'Category')
|
|
A reaction:
The heirarchy seem be arranged simply by the scope of the predicate. 'Tallest' is predicable of anything in principle, but only of a few things in practice. Is 'John Doe' a name? What is 'cosmic' predicable of? Challenging!
|
19891
|
Rule of law is superior to autonomy, because citizens can see what is expected [Hooker,R]
|
|
Full Idea:
Men saw that to live by one man's will became the cause of all men's misery. This contrained them to come unto laws wherein all men might see their duty beforehand, and know the penalties of transgressing them.
|
|
From:
Richard Hooker (Of the Laws of Ecclesiastical Polity [1593], I s.10), quoted by John Locke - Second Treatise of Government 111 n1
|
|
A reaction:
One British school has a single rule, that pupils 'shall always treat other people with respect'. Presumably the rulers, as well as the pupils, must decide when this is transgressed. The rule of law may be preferable.
|
17005
|
Natural things observe certain laws, and things cannot do otherwise if they retain their forms [Hooker,R]
|
|
Full Idea:
Things natural …do so necessarily observe their certain laws, that as long as they keep those forms which give them their being they cannot possibly be apt or inclinable to do otherwise than they do.
|
|
From:
Richard Hooker (Of the Laws of Ecclesiastical Polity [1593], 1.3.4), quoted by Marc Lange - Laws and Lawmakers 1.2
|
|
A reaction:
Cited by some as the beginnings of the idea of 'laws of nature', but it is striking that Hooker says the laws are controlled by 'forms' (which are Aristotelian essences). This is an essentialist view of laws, not a regularity or divine power one.
|