2 ideas
| 8720 | A logic is 'relevant' if premise and conclusion are connected, and 'paraconsistent' allows contradictions [Priest,G, by Friend] |
| Full Idea: Priest and Routley have developed paraconsistent relevant logic. 'Relevant' logics insist on there being some sort of connection between the premises and the conclusion of an argument. 'Paraconsistent' logics allow contradictions. | |
| From: report of Graham Priest (works [1998]) by Michèle Friend - Introducing the Philosophy of Mathematics 6.8 | |
| A reaction: Relevance blocks the move of saying that a falsehood implies everything, which sounds good. The offer of paraconsistency is very wicked indeed, and they are very naughty boys for even suggesting it. |
| 19376 | A machine is best defined by its final cause, which explains the roles of the parts [Leibniz] |
| Full Idea: Any machine ...is best defined in terms of its final cause, so that in the description of the parts it is therefore apparent in what way each of them is coordinated with the others for the intended us. | |
| From: Gottfried Leibniz (The Human Body is a sort of Machine [1683], p.290), quoted by Richard T.W. Arthur - Leibniz 3 'Machines' | |
| A reaction: We would use the 'function', an inherently teleological concept, and a concept which is almost indispensable for giving an illuminating description of the world. If nature is dispositional, it points towards things. Leibniz views persons as machines. |