Combining Texts

Ideas for 'works', 'Logic in Mathematics' and '26: Oracles in Decline'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


7 ideas

2. Reason / A. Nature of Reason / 2. Logos
For Aristotle logos is essentially the ability to talk rationally about questions of value [Roochnik on Aristotle]
     Full Idea: For Aristotle logos is the ability to speak rationally about, with the hope of attaining knowledge, questions of value.
     From: comment on Aristotle (works [c.330 BCE]) by David Roochnik - The Tragedy of Reason p.26
2. Reason / A. Nature of Reason / 4. Aims of Reason
Aristotle is the supreme optimist about the ability of logos to explain nature [Roochnik on Aristotle]
     Full Idea: Aristotle is the great theoretician who articulates a vision of a world in which natural and stable structures can be rationally discovered. His is the most optimistic and richest view of the possibilities of logos
     From: comment on Aristotle (works [c.330 BCE]) by David Roochnik - The Tragedy of Reason p.95
2. Reason / D. Definition / 3. Types of Definition
A 'constructive' (as opposed to 'analytic') definition creates a new sign [Frege]
     Full Idea: We construct a sense out of its constituents and introduce an entirely new sign to express this sense. This may be called a 'constructive definition', but we prefer to call it a 'definition' tout court. It contrasts with an 'analytic' definition.
     From: Gottlob Frege (Logic in Mathematics [1914], p.210)
     A reaction: An analytic definition is evidently a deconstruction of a past constructive definition. Fregean definition is a creative activity.
2. Reason / D. Definition / 4. Real Definition
Aristotelian definitions aim to give the essential properties of the thing defined [Aristotle, by Quine]
     Full Idea: A real definition, according to the Aristotelian tradition, gives the essence of the kind of thing defined. Man is defined as a rational animal, and thus rationality and animality are of the essence of each of us.
     From: report of Aristotle (works [c.330 BCE]) by Willard Quine - Vagaries of Definition p.51
     A reaction: Compare Idea 4385. Personally I prefer the Aristotelian approach, but we may have to say 'We cannot identify the essence of x, and so x cannot be defined'. Compare 'his mood was hard to define' with 'his mood was hostile'.
2. Reason / D. Definition / 5. Genus and Differentia
Aristotelian definition involves first stating the genus, then the differentia of the thing [Aristotle, by Urmson]
     Full Idea: For Aristotle, to give a definition one must first state the genus and then the differentia of the kind of thing to be defined.
     From: report of Aristotle (works [c.330 BCE]) by J.O. Urmson - Aristotle's Doctrine of the Mean p.157
     A reaction: Presumably a modern definition would just be a list of properties, but Aristotle seeks the substance. How does he define a genus? - by placing it in a further genus?
2. Reason / D. Definition / 10. Stipulative Definition
Frege suggested that mathematics should only accept stipulative definitions [Frege, by Gupta]
     Full Idea: Frege has defended the austere view that, in mathematics at least, only stipulative definitions should be countenanced.
     From: report of Gottlob Frege (Logic in Mathematics [1914]) by Anil Gupta - Definitions 1.3
     A reaction: This sounds intriguingly at odds with Frege's well-known platonism about numbers (as sets of equinumerous sets). It makes sense for other mathematical concepts.
2. Reason / E. Argument / 6. Conclusive Proof
We must be clear about every premise and every law used in a proof [Frege]
     Full Idea: It is so important, if we are to have a clear insight into what is going on, for us to be able to recognise the premises of every inference which occurs in a proof and the law of inference in accordance with which it takes place.
     From: Gottlob Frege (Logic in Mathematics [1914], p.212)
     A reaction: Teachers of logic like natural deduction, because it reduces everything to a few clear laws, which can be stated at each step.