17 ideas
| 14767 | The demonstrations of the metaphysicians are all moonshine [Peirce] |
| Full Idea: The demonstrations of the metaphysicians are all moonshine. | |
| From: Charles Sanders Peirce (Concerning the Author [1897], p.2) |
| 14764 | I am saturated with the spirit of physical science [Peirce] |
| Full Idea: I am saturated, through and through, with the spirit of the physical sciences. | |
| From: Charles Sanders Peirce (Concerning the Author [1897], p.1) |
| 2676 | Didactic argument starts from the principles of the subject, not from the opinions of the learner [Aristotle] |
| Full Idea: Didactic arguments are those which reason from the principles appropriate to each branch of learning and not from the opinions of the answerer (for he who is learning must take things on trust). | |
| From: Aristotle (Sophistical Refutations [c.331 BCE], 165b01) |
| 2675 | Reasoning is a way of making statements which makes them lead on to other statements [Aristotle] |
| Full Idea: Reasoning is based on certain statements made in such a way as necessarily to cause the assertion of things other than those statements and as a result of those statements. | |
| From: Aristotle (Sophistical Refutations [c.331 BCE], 165a01) |
| 2677 | Dialectic aims to start from generally accepted opinions, and lead to a contradiction [Aristotle] |
| Full Idea: Dialectical arguments are those which, starting from generally accepted opinions, reason to establish a contradiction. | |
| From: Aristotle (Sophistical Refutations [c.331 BCE], 165b03) |
| 2674 | Competitive argument aims at refutation, fallacy, paradox, solecism or repetition [Aristotle] |
| Full Idea: Those who compete and contend in argument aim at five objects: refutation, fallacy, paradox, solecism, and the reduction of one's opponent to a state of babbling, that is, making him say the same thing over and over again. | |
| From: Aristotle (Sophistical Refutations [c.331 BCE], 165b15) |
| 15327 | Kripke's semantic theory has actually inspired promising axiomatic theories [Kripke, by Horsten] |
| Full Idea: Kripke has a semantic theory of truth which has inspired promising axiomatic theories of truth. | |
| From: report of Saul A. Kripke (Outline of a Theory of Truth [1975]) by Leon Horsten - The Tarskian Turn 01.2 | |
| A reaction: Feferman produced an axiomatic version of Kripke's semantic theory. |
| 15343 | Kripke offers a semantic theory of truth (involving models) [Kripke, by Horsten] |
| Full Idea: One of the most popular semantic theories of truth is Kripke's theory. It describes a class of models which themselves involve a truth predicate (unlike Tarski's semantic theory). | |
| From: report of Saul A. Kripke (Outline of a Theory of Truth [1975]) by Leon Horsten - The Tarskian Turn 02.3 | |
| A reaction: The modern versions explored by Horsten are syntactic versions of this, derived from Feferman's axiomatisation of the Kripke theory. |
| 14967 | Certain three-valued languages can contain their own truth predicates [Kripke, by Gupta] |
| Full Idea: Kripke showed via a fixed-point argument that certain three-valued languages can contain their own truth predicates. | |
| From: report of Saul A. Kripke (Outline of a Theory of Truth [1975]) by Anil Gupta - Truth | |
| A reaction: [Gupta also cites Martin and Woodruff 1975] It is an odd paradox that truth can only be included if one adds a truth-value of 'neither true nor false'. The proposed three-valued system is 'strong Kleene logic'. |
| 14966 | The Tarskian move to a metalanguage may not be essential for truth theories [Kripke, by Gupta] |
| Full Idea: Kripke established that, contrary to the prevalent Tarskian dogma, attributions of truth do not always force a move to a metalanguage. | |
| From: report of Saul A. Kripke (Outline of a Theory of Truth [1975], 5.1) by Anil Gupta - Truth | |
| A reaction: [Gupta also cites Martin and Woodruff 1975] |
| 16328 | Kripke classified fixed points, and illuminated their use for clarifications [Kripke, by Halbach] |
| Full Idea: Kripke's main contribution was …his classification of the different consistent fixed points and the discussion of their use for discriminating between ungrounded sentences, paradoxical sentences, and so on. | |
| From: report of Saul A. Kripke (Outline of a Theory of Truth [1975]) by Volker Halbach - Axiomatic Theories of Truth 15.1 |
| 16967 | 'Are Coriscus and Callias at home?' sounds like a single question, but it isn't [Aristotle] |
| Full Idea: If you ask 'Are Coriscus and Callias at home or not at home?', whether they are both at home or not there, the number of propositions is more than one. For if the answer is true, it does not follow that the question is a single one. | |
| From: Aristotle (Sophistical Refutations [c.331 BCE], 176a08) | |
| A reaction: [compressed] Aristotle is saying that some questions should not receive a 'yes' or 'no' answer, because they are equivocal. Arthur Prior cites this passage, on 'and'. Ordinary use of 'and' need not be the logical use of 'and'. |
| 16149 | Generic terms like 'man' are not substances, but qualities, relations, modes or some such thing [Aristotle] |
| Full Idea: 'Man', and every generic term, denotes not an individual substance but a quality or relation or mode or something of the kind. | |
| From: Aristotle (Sophistical Refutations [c.331 BCE], 179a01) | |
| A reaction: This is Aristotle's denial that species constitutes the essence of anything. I take 'man' to be a categorisation of individuals, and is ontologically nothing at all in its own right. |
| 11840 | Only if two things are identical do they have the same attributes [Aristotle] |
| Full Idea: It is only to things which are indistinguishable and one in essence [ousia] that all the same attributes are generally held to belong. | |
| From: Aristotle (Sophistical Refutations [c.331 BCE], 179a37) | |
| A reaction: This simply IS Leibniz's Law (to which I shall from now on quietly refer to as 'Aristotle's Law'). It seems that it just as plausible to translate 'ousia' as 'being' rather than 'essence'. 'Indistinguishable' and 'one in ousia' are not the same. |
| 14768 | Infallibility in science is just a joke [Peirce] |
| Full Idea: Infallibility in scientific matters seems to me irresistibly comical. | |
| From: Charles Sanders Peirce (Concerning the Author [1897], p.3) |
| 14765 | Association of ideas is the best philosophical idea of the prescientific age [Peirce] |
| Full Idea: The doctrine of the association of ideas is, to my thinking, the finest piece of philosophical work of the prescientific ages. | |
| From: Charles Sanders Peirce (Concerning the Author [1897], p.2) |
| 14766 | Duns Scotus offers perhaps the best logic and metaphysics for modern physical science [Peirce] |
| Full Idea: The works of Duns Scotus have strongly influenced me. …His logic and metaphysics, torn away from its medievalism, …will go far toward supplying the philosophy which is best to harmonize with physical science. | |
| From: Charles Sanders Peirce (Concerning the Author [1897], p.2) |