24 ideas
| 5896 | Speak the truth, for this alone deifies man [Pythagoras, by Porphyry] |
| Full Idea: Pythagoras advised above all things to speak the truth, for this alone deifies man. | |
| From: report of Pythagoras (reports [c.530 BCE]) by Porphyry - Life of Pythagoras §41 | |
| A reaction: Idea 4421 (of Nietzsche) stands in contrast to this. I am not quite sure why speaking the truth has such a high value. I am inclined to a minimalist view, which is just that philosophy is an attempt to speak the truth, as fishermen try to catch fish. |
| 3051 | Pythagoras discovered the numerical relation of sounds on a string [Pythagoras, by Diog. Laertius] |
| Full Idea: Pythagoras discovered the numerical relation of sounds on a string. | |
| From: report of Pythagoras (reports [c.530 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 08.1.11 |
| 15375 | If terms change their designations in different states, they are functions from states to objects [Fitting] |
| Full Idea: The common feature of every designating term is that designation may change from state to state - thus it can be formalized by a function from states to objects. | |
| From: Melvin Fitting (Intensional Logic [2007], 3) | |
| A reaction: Specifying the objects sounds OK, but specifying states sounds rather tough. |
| 15376 | Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting] |
| Full Idea: To first order modal logic (with quantification over objects) we can add a second kind of quantification, over intensions. An intensional object, or individual concept, will be modelled by a function from states to objects. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.3) |
| 15378 | Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting] |
| Full Idea: Awareness logic enriched Hintikka's epistemic models with an awareness function, mapping each state to the set of formulas we are aware of at that state. This reflects some bound on the resources we can bring to bear. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.6.1) | |
| A reaction: [He cites Fagin and Halpern 1988 for this] |
| 15379 | Justication logics make explicit the reasons for mathematical truth in proofs [Fitting] |
| Full Idea: In justification logics, the logics of knowledge are extended by making reasons explicit. A logic of proof terms was created, with a semantics. In this, mathematical truths are known for explicit reasons, and these provide a measure of complexity. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.6.1) |
| 11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
| Full Idea: Mathematics is typically extensional throughout (we write 3+2=2+3 despite the two terms having different meanings). ..Classical first-order logic is extensional by design since it primarily evolved to model the reasoning of mathematics. | |
| From: Melvin Fitting (Intensional Logic [2007], §1) |
| 11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
| Full Idea: λ-abstraction can be used to abstract and disambiguate a predicate. De re is [λx◊P(x)](f) - f has the possible-P property - and de dicto is ◊[λxP(x)](f) - possibly f has the P-property. Also applies to □. | |
| From: Melvin Fitting (Intensional Logic [2007], §3.3) | |
| A reaction: Compare the Barcan formula. Originated with Church in the 1930s, and Carnap 1947, but revived by Stalnaker and Thomason 1968. Because it refers to the predicate, it has a role in intensional versions of logic, especially modal logic. |
| 7485 | For Pythagoreans 'one' is not a number, but the foundation of numbers [Pythagoras, by Watson] |
| Full Idea: For Pythagoreans, one, 1, is not a true number but the 'essence' of number, out of which the number system emerges. | |
| From: report of Pythagoras (reports [c.530 BCE], Ch.8) by Peter Watson - Ideas Ch.8 | |
| A reaction: I think this is right! Counting and numbers only arise once the concept of individuality and identity have arisen. Counting to one is no more than observing the law of identity. 'Two' is the big adventure. |
| 10502 | We can rise by degrees through abstraction, with higher levels representing more things [Arnauld,A/Nicole,P] |
| Full Idea: I can start with a triangle, and rise by degrees to all straight-lined figures and to extension itself. The lower degree will include the higher degree. Since the higher degree is less determinate, it can represent more things. | |
| From: Arnauld / Nicole (Logic (Port-Royal Art of Thinking) [1662], I.5) | |
| A reaction: [compressed] This attempts to explain the generalising ability of abstraction cited in Idea 10501. If you take a complex object and eliminate features one by one, it can only 'represent' more particulars; it could hardly represent fewer. |
| 15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
| Full Idea: Definite descriptions pick out different objects in different possible worlds quite naturally. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.4) | |
| A reaction: A definite description can pick out the same object in another possible world, or a very similar one, or an object which has almost nothing in common with the others. |
| 18258 | We can only know the exterior world via our ideas [Arnauld,A/Nicole,P] |
| Full Idea: We can have knowledge of what is outside us only through the mediation of ideas in us. | |
| From: Arnauld / Nicole (Logic (Port-Royal Art of Thinking) [1662], p.63), quoted by J. Alberto Coffa - The Semantic Tradition from Kant to Carnap 1 'Conc' |
| 16784 | Forms make things distinct and explain the properties, by pure form, or arrangement of parts [Arnauld,A/Nicole,P] |
| Full Idea: The form is what renders a thing such and distinguishes it from others, whether it is a being really distinct from the matter, according to the Schools, or whether it is only the arrangement of the parts. By this form one must explain its properties. | |
| From: Arnauld / Nicole (Logic (Port-Royal Art of Thinking) [1662], III.18 p240), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 27.6 | |
| A reaction: If we ask 'what explains the properties of this thing' it is hard to avoid coming up with something that might be called the 'form'. Note that they allow either substantial or corpuscularian forms. It is hard to disagree with the idea. |
| 10499 | We know by abstraction because we only understand composite things a part at a time [Arnauld,A/Nicole,P] |
| Full Idea: The mind cannot perfectly understand things that are even slightly composite unless it considers them a part at a time. ...This is generally called knowing by abstraction. (..the human body, for example). | |
| From: Arnauld / Nicole (Logic (Port-Royal Art of Thinking) [1662], I.5) | |
| A reaction: This adds the interesting thought that the mind is forced to abstract, rather than abstraction being a luxury extra feature. Knowledge through analysis is knowledge by abstraction. Also a nice linking of abstraction to epistemology. |
| 10501 | A triangle diagram is about all triangles, if some features are ignored [Arnauld,A/Nicole,P] |
| Full Idea: If I draw an equilateral triangle on a piece of paper, ..I shall have an idea of only a single triangle. But if I ignore all the particular circumstances and focus on the three equal lines, I will be able to represent all equilateral triangles. | |
| From: Arnauld / Nicole (Logic (Port-Royal Art of Thinking) [1662], I.5) | |
| A reaction: [compressed] They observed that we grasp composites through their parts, and now that we can grasp generalisations through particulars, both achieved by the psychological act of abstraction, thus showing its epistemological power. |
| 10500 | No one denies that a line has width, but we can just attend to its length [Arnauld,A/Nicole,P] |
| Full Idea: Geometers by no means assume that there are lines without width or surfaces without depth. They only think it is possible to consider the length without paying attention to the width. We can measure the length of a path without its width. | |
| From: Arnauld / Nicole (Logic (Port-Royal Art of Thinking) [1662], I.5) | |
| A reaction: A nice example which makes the point indubitable. The modern 'rigorous' account of abstraction that starts with Frege seems to require more than one object, in order to derive abstractions like direction or number. Path widths are not comparatives. |
| 3053 | Pythagoras taught that virtue is harmony, and health, and universal good, and God [Pythagoras, by Diog. Laertius] |
| Full Idea: Pythagoras taught that virtue is harmony, and health, and universal good, and God. | |
| From: report of Pythagoras (reports [c.530 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 08.1.19 | |
| A reaction: I like the link with health, because I consider that a bridge over the supposed fact-value gap. Very Pythagorean to think that virtue is harmony. Plato liked that thought. |
| 5244 | For Pythagoreans, justice is simply treating all people the same [Pythagoras, by Aristotle] |
| Full Idea: Some even think that what is just is simple reciprocity, as the Pythagoreans maintained, because they defined justice simply as having done to one what one has done to another. | |
| From: report of Pythagoras (reports [c.530 BCE], 28) by Aristotle - Nicomachean Ethics 1132b22 | |
| A reaction: One wonders what Pythagoreans made of slavery. Aristotle argues that officials, for example, have superior rights. The Pythagorean idea makes fairness the central aspect of justice, and that must at least be partly right. |
| 375 | When musical harmony and rhythm were discovered, similar features were seen in bodily movement [Pythagoras, by Plato] |
| Full Idea: When our predecessors discovered musical scales, they also discovered similar features in bodily movement, which should also be measured numerically, and called 'tempos' and 'measures'. | |
| From: report of Pythagoras (reports [c.530 BCE]) by Plato - Philebus 17d |
| 638 | Pythagoreans define timeliness, justice and marriage in terms of numbers [Pythagoras, by Aristotle] |
| Full Idea: The Pythagoreans offered definitions of a limited range of things on the basis of numbers; examples are timeliness, justice and marriage. | |
| From: report of Pythagoras (reports [c.530 BCE]) by Aristotle - Metaphysics 1078b |
| 553 | Pythagoreans think mathematical principles are the principles of all of nature [Pythagoras, by Aristotle] |
| Full Idea: The Pythagoreans thought that the principles of mathematical entities were the principles of all entities. | |
| From: report of Pythagoras (reports [c.530 BCE]) by Aristotle - Metaphysics 985b |
| 554 | Pythagoreans say things imitate numbers, but Plato says things participate in numbers [Pythagoras, by Aristotle] |
| Full Idea: Pythagoreans said that entities existed by imitation of the numbers, whereas Plato said that it was by participation. | |
| From: report of Pythagoras (reports [c.530 BCE]) by Aristotle - Metaphysics 987b |
| 644 | For Pythagoreans the entire universe is made of numbers [Pythagoras, by Aristotle] |
| Full Idea: For Pythagoreans the entire universe is constructed of numbers. | |
| From: report of Pythagoras (reports [c.530 BCE]) by Aristotle - Metaphysics 1080b |
| 7467 | The modern idea of an immortal soul was largely created by Pythagoras [Pythagoras, by Watson] |
| Full Idea: The modern concept of the immortal soul is a Greek idea, which owes much to Pythagoras. | |
| From: report of Pythagoras (reports [c.530 BCE]) by Peter Watson - Ideas Ch.5 | |
| A reaction: You can see why it caught on - it is a very appealing idea. Watson connects the 'modern' view with the ideas of heaven and hell. Obviously the idea of an afterlife goes a long way back (judging from the contents of ancient graves). |