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.
|
4800
|
Natural laws result from eliminative induction, where enumerative induction gives generalisations [Cohen,LJ, by Psillos]
|
|
Full Idea:
Cohen contends that statements that express laws of nature are the products of eliminative induction, where accidentally true generalisations are the products of enumerative induction.
|
|
From:
report of L. Jonathan Cohen (The Problem of Natural Laws [1980], p.222) by Stathis Psillos - Causation and Explanation §7.1
|
|
A reaction:
The idea is that enumerative induction only offers the support of positive instances, where eliminative induction involves attempts to falsify a range of hypotheses. This still bases laws on observed regularities, rather than essences or mechanisms.
|
7909
|
The Eightfold Path concerns morality, wisdom, and tranquillity [Ashvaghosha]
|
|
Full Idea:
The Eightfold Path has three steps concerning morality - right speech, right bodily action, and right livelihood; three of wisdom - right views, right intentions, and right effort; and two of tranquillity - right mindfulness and right concentration.
|
|
From:
Ashvaghosha (Saundaranandakavya [c.50], XVI)
|
|
A reaction:
Most of this translates quite comfortably into the aspirations of western philosophy. For example, 'right effort' sounds like Kant's claim that only a good will is truly good (Idea 3710). The Buddhist division is interesting for action theory.
|
7908
|
At the end of a saint, he is not located in space, but just ceases to be disturbed [Ashvaghosha]
|
|
Full Idea:
When an accomplished saint comes to the end, he does not go anywhere down in the earth or up in the sky, nor into any of the directions of space, but because his defilements have become extinct he simply ceases to be disturbed.
|
|
From:
Ashvaghosha (Saundaranandakavya [c.50], XVI)
|
|
A reaction:
To 'cease to be disturbed' is the most attractive account of heaven I have encountered. It all sounds a bit dull though. I wonder, as usual, how they know all this stuff.
|