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.
|
18084
|
When successive variable values approach a fixed value, that is its 'limit' [Cauchy]
|
|
Full Idea:
When the values successively attributed to the same variable approach indefinitely a fixed value, eventually differing from it by as little as one could wish, that fixed value is called the 'limit' of all the others.
|
|
From:
Augustin-Louis Cauchy (Cours d'Analyse [1821], p.19), quoted by Philip Kitcher - The Nature of Mathematical Knowledge 10.4
|
|
A reaction:
This seems to be a highly significan proposal, because you can now treat that limit as a number, and adds things to it. It opens the door to Cantor's infinities. Is the 'limit' just a fiction?
|
7600
|
The Buddha believed the gods would eventually disappear, and Nirvana was much higher [Buddha, by Armstrong,K]
|
|
Full Idea:
The Buddha believed implicitly in the gods because they were part of his cultural baggage, but they were involved in the cycle of rebirth, and would eventually disappear; the ultimate reality of Nirvana was higher than the gods.
|
|
From:
report of Buddha (Siddhartha Gautama) (reports [c.540 BCE]) by Karen Armstrong - A History of God Ch.1
|
|
A reaction:
We might connect this with Plato's Euthyphro question (Ideas 336 and 337), and the relationship between piety and morality on the one hand, and the gods on the other.
|
7601
|
Life is suffering, from which only compassion, gentleness, truth and sobriety can save us [Buddha]
|
|
Full Idea:
Buddha taught that the only release from 'dukkha' (the meaningless flux of suffering which is human life) is a life of compassion for all living beings, speaking and behaving gently, kindly and accurately, and refraining from all intoxicants.
|
|
From:
Buddha (Siddhartha Gautama) (reports [c.540 BCE], Ch.1), quoted by Karen Armstrong - A History of God Ch.1
|
|
A reaction:
Christians are inclined to give the impression that Jesus invented the idea of being nice, but it ain't so. The obvious thought is that the Buddha seems to be focusing on the individual, but this is actually a formula for a better community.
|