11023
|
The logical connectives are 'defined' by their introduction rules [Gentzen]
|
|
Full Idea:
The introduction rules represent, as it were, the 'definitions' of the symbols concerned, and the elimination rules are no more, in the final analysis, than the consequences of these definitions.
|
|
From:
Gerhard Gentzen (works [1938]), quoted by Stephen Read - Thinking About Logic Ch.8
|
|
A reaction:
If an introduction-rule (or a truth table) were taken as fixed and beyond dispute, then it would have the status of a definition, since there would be nothing else to appeal to. So is there anything else to appeal to here?
|
11213
|
Each logical symbol has an 'introduction' rule to define it, and hence an 'elimination' rule [Gentzen]
|
|
Full Idea:
To every logical symbol there belongs precisely one inference figure which 'introduces' the symbol ..and one which 'eliminates' it. The introductions represent the 'definitions' of the symbols concerned, and eliminations are consequences of these.
|
|
From:
Gerhard Gentzen (works [1938], II.5.13), quoted by Ian Rumfitt - "Yes" and "No" III
|
|
A reaction:
[1935 paper] This passage is famous, in laying down the basics of natural deduction systems of logic (ones using only rules, and avoiding axioms). Rumfitt questions whether Gentzen's account gives the sense of the connectives.
|
19428
|
Because something does exist, there must be a drive in possible things towards existence [Leibniz]
|
|
Full Idea:
From the very fact that something exists rather than nothing, we recognise that there is in possible things, that is, in the very possibility or essence, a certain exigent need of existence, and, so to speak, some claim to existence.
|
|
From:
Gottfried Leibniz (On the Ultimate Origination of Things [1697], p.347)
|
|
A reaction:
I love the fact that Leibniz tried to explain why there is something rather than nothing. Bede Rundle and Dale Jacquette are similar heroes. As Leibniz tells us, contradictions have no claim to existence, but non-contradictions do.
|
5047
|
The world is physically necessary, as its contrary would imply imperfection or moral absurdity [Leibniz]
|
|
Full Idea:
Although the world is not metaphysically necessary, such that its contrary would imply a contradiction or logical absurdity, it is necessary physically, that is, determined in such a way that its contrary would imply imperfection or moral absurdity.
|
|
From:
Gottfried Leibniz (On the Ultimate Origination of Things [1697], p.139)
|
|
A reaction:
How does Leibniz know things like this? The distinction between 'metaphysical' necessity and 'natural' (what he calls 'physical') necessity is a key idea. But natural necessity is controversial. See 'Essentialism'.
|
7667
|
There are two sides to men - the pleasantly social, and the violent and creative [Diderot, by Berlin]
|
|
Full Idea:
Diderot is among the first to preach that there are two men: the artificial man, who belongs in society and seeks to please, and the violent, bold, criminal instinct of a man who wishes to break out (and, if controlled, is responsible for works of genius.
|
|
From:
report of Denis Diderot (works [1769], Ch.3) by Isaiah Berlin - The Roots of Romanticism
|
|
A reaction:
This has an obvious ancestor in Plato's picture (esp. in 'Phaedrus') of the two conflicting sides to the psuché, which seem to be reason and emotion. In Diderot, though, the suppressed man has virtues, which Plato would deny.
|
19429
|
The principle of determination in things obtains the greatest effect with the least effort [Leibniz]
|
|
Full Idea:
There is always in things a principle of determination which is based on consideration of maximum and minimum, such that the greatest effect is obtained with the least, so to speak, expenditure.
|
|
From:
Gottfried Leibniz (On the Ultimate Origination of Things [1697], p.347)
|
|
A reaction:
This is obvious in human endeavours. Leibniz applied it to physics, producing a principle that shortest paths are always employed. It has a different formal name in modern physics, I think. He says if you make an unrestricted triangle, it is equilateral.
|