31 ideas
5988 | Anaximander produced the first philosophy book (and maybe the first book) [Anaximander, by Bodnár] |
Full Idea: Anaximander was the first to produce a philosophical book (later conventionally titled 'On Nature'), if not the first to produce a book at all. | |
From: report of Anaximander (fragments/reports [c.570 BCE]) by István Bodnár - Anaximander | |
A reaction: Wow! Presumably there were Egyptian 'books', but this still sounds like a stupendous claim to fame. |
6947 | Metaphysics does not rest on facts, but on what we are inclined to believe [Peirce] |
Full Idea: Metaphysical systems have not usually rested upon any observed facts, or not in any great degree. They are chiefly adopted because their fundamental propositions seem 'agreeable to reason', which means that which we find ourselves inclined to believe. | |
From: Charles Sanders Peirce (The Fixation of Belief [1877], p.15) | |
A reaction: This leads to Peirce's key claim - that we should allow our beliefs to be formed by something outside of ourselves. I don't share Peirce's contempt for metaphysics, which I take to be about the most abstract presuppositions of our ordinary beliefs. |
6937 | Reason aims to discover the unknown by thinking about the known [Peirce] |
Full Idea: The object of reasoning is to find out, from the consideration of what we already know, something else which we do not know. | |
From: Charles Sanders Peirce (The Fixation of Belief [1877], p. 7) | |
A reaction: I defy anyone to come up with a better definition of reasoning than that. The emphasis is on knowledge rather than truth, which you would expect from a pragmatist. …Actually the definition doesn't cover conditional reasoning terribly well. |
1496 | The earth is stationary, because it is in the centre, and has no more reason to move one way than another [Anaximander, by Aristotle] |
Full Idea: Something which is established in the centre and has equality in relation to the extremes has no more reason to move up than it has down or to the sides (so the earth is stationary) | |
From: report of Anaximander (fragments/reports [c.570 BCE], A26) by Aristotle - On the Heavens 295b11 |
10688 | 'Equivocation' is when terms do not mean the same thing in premises and conclusion [Beall/Restall] |
Full Idea: 'Equivocation' is when the terms do not mean the same thing in the premises and in the conclusion. | |
From: JC Beall / G Restall (Logical Consequence [2005], Intro) |
10690 | Formal logic is invariant under permutations, or devoid of content, or gives the norms for thought [Beall/Restall] |
Full Idea: Logic is purely formal either when it is invariant under permutation of object (Tarski), or when it has totally abstracted away from all contents, or it is the constitutive norms for thought. | |
From: JC Beall / G Restall (Logical Consequence [2005], 2) | |
A reaction: [compressed] The third account sounds rather woolly, and the second one sounds like a tricky operation, but the first one sounds clear and decisive, so I vote for Tarski. |
10691 | Logical consequence needs either proofs, or absence of counterexamples [Beall/Restall] |
Full Idea: Technical work on logical consequence has either focused on proofs, where validity is the existence of a proof of the conclusions from the premises, or on models, which focus on the absence of counterexamples. | |
From: JC Beall / G Restall (Logical Consequence [2005], 3) |
10695 | Logical consequence is either necessary truth preservation, or preservation based on interpretation [Beall/Restall] |
Full Idea: Two different views of logical consequence are necessary truth-preservation (based on modelling possible worlds; favoured by Realists), or truth-preservation based on the meanings of the logical vocabulary (differing in various models; for Anti-Realists). | |
From: JC Beall / G Restall (Logical Consequence [2005], 2) | |
A reaction: Thus Dummett prefers the second view, because the law of excluded middle is optional. My instincts are with the first one. |
10689 | A step is a 'material consequence' if we need contents as well as form [Beall/Restall] |
Full Idea: A logical step is a 'material consequence' and not a formal one, if we need the contents as well as the structure or form. | |
From: JC Beall / G Restall (Logical Consequence [2005], 2) |
10696 | A 'logical truth' (or 'tautology', or 'theorem') follows from empty premises [Beall/Restall] |
Full Idea: If a conclusion follows from an empty collection of premises, it is true by logic alone, and is a 'logical truth' (sometimes a 'tautology'), or, in the proof-centred approach, 'theorems'. | |
From: JC Beall / G Restall (Logical Consequence [2005], 4) | |
A reaction: These truths are written as following from the empty set Φ. They are just implications derived from the axioms and the rules. |
10693 | Models are mathematical structures which interpret the non-logical primitives [Beall/Restall] |
Full Idea: Models are abstract mathematical structures that provide possible interpretations for each of the non-logical primitives in a formal language. | |
From: JC Beall / G Restall (Logical Consequence [2005], 3) |
10692 | Hilbert proofs have simple rules and complex axioms, and natural deduction is the opposite [Beall/Restall] |
Full Idea: There are many proof-systems, the main being Hilbert proofs (with simple rules and complex axioms), or natural deduction systems (with few axioms and many rules, and the rules constitute the meaning of the connectives). | |
From: JC Beall / G Restall (Logical Consequence [2005], 3) |
14874 | Anaximander saw the contradiction in the world - that its own qualities destroy it [Anaximander, by Nietzsche] |
Full Idea: Anaximander discovers the contradictory character of our world: it perishes from its own qualities. | |
From: report of Anaximander (fragments/reports [c.570 BCE]) by Friedrich Nietzsche - Unpublished Notebooks 1872-74 19 [239] | |
A reaction: A lovely gloss on Anaximander, though I am not sure that I understand what Nietzsche means. |
21492 | Realism is basic to the scientific method [Peirce] |
Full Idea: The fundamental hypothesis of the method of science is this: There are real things, whose characters are entirely independent of our opinion of them. | |
From: Charles Sanders Peirce (The Fixation of Belief [1877]), quoted by Albert Atkin - Peirce 3 'method' | |
A reaction: He admits later that this is only a commitment and not a fact. It seems to me that when you combine this idea with the huge success of science, the denial of realism is crazy. Philosophy has a lot to answer for. |
6949 | If someone doubted reality, they would not actually feel dissatisfaction [Peirce] |
Full Idea: Nobody can really doubt that there are Reals, for, if he did, doubt would not be a source of dissatisfaction. | |
From: Charles Sanders Peirce (The Fixation of Belief [1877], p.19) | |
A reaction: This rests on Peirce's view that all that really matters is a sense of genuine dissatisfaction, rather than a theoretical idea. So even at the end of Meditation One, Descartes isn't actually worried about whether his furniture exists. |
6940 | The feeling of belief shows a habit which will determine our actions [Peirce] |
Full Idea: The feeling of believing is a more or less sure indication of there being established in our nature some habit which will determine our actions. Doubt never has such an effect. | |
From: Charles Sanders Peirce (The Fixation of Belief [1877], p.10) | |
A reaction: It is one thing to assert this fairly accurate observation, and another to assert that this is the essence or definition of a belief. Perhaps it is the purpose of belief, without being the phenomenological essence of it. We act in states of uncertainty. |
6943 | A mere question does not stimulate a struggle for belief; there must be a real doubt [Peirce] |
Full Idea: The mere putting of a proposition into the interrogative form does not stimulate the mind to any struggle after belief; there must be a real and living doubt. | |
From: Charles Sanders Peirce (The Fixation of Belief [1877], p.11) | |
A reaction: This the attractive aspect of Peirce's pragmatism, that he is always focusing on real life rather than abstract theory or pure logic. |
6941 | We are entirely satisfied with a firm belief, even if it is false [Peirce] |
Full Idea: As soon as a firm belief is reached we are entirely satisfied, whether the belief be true or false. | |
From: Charles Sanders Peirce (The Fixation of Belief [1877], p.10) | |
A reaction: This does not deny that the truth or falsehood of a belief is independent of whether we are satisfied with it. It is making a fair point, though, about why we believe things, and it can't be because of truth, because we don't know how to ensure that. |
6942 | We want true beliefs, but obviously we think our beliefs are true [Peirce] |
Full Idea: We seek for a belief that we shall think to be true; but we think each one of our beliefs to be true, and, indeed, it is mere tautology to say so. | |
From: Charles Sanders Peirce (The Fixation of Belief [1877], p.11) | |
A reaction: If, as I do, you like to define belief as 'commitment to truth', Peirce makes a rather startling observation. You are rendered unable to ask whether your beliefs are true, because you have defined them as true. Nice point… |
6598 | We need our beliefs to be determined by some external inhuman permanency [Peirce] |
Full Idea: It is necessary that a method should be found by which our beliefs be determined by nothing human, but by some external permanency - by something upon which our thinking has no effect. | |
From: Charles Sanders Peirce (The Fixation of Belief [1877]), quoted by Robert Fogelin - Walking the Tightrope of Reason Ch.5 | |
A reaction: This very sensible and interesting remark hovers somewhere between empiricism and pragmatism. Fogelin very persuasively builds his account of knowledge on it. The key point is that we hardly ever choose what to believe. See Idea 2454. |
6944 | Demonstration does not rest on first principles of reason or sensation, but on freedom from actual doubt [Peirce] |
Full Idea: It is a common idea that demonstration must rest on indubitable propositions, either first principles of a general nature, or first sensations; but actual demonstration is completely satisfactory if it starts from propositions free from all actual doubt. | |
From: Charles Sanders Peirce (The Fixation of Belief [1877], p.11) | |
A reaction: Another nice example of Peirce focusing on the practical business of thinking, rather than abstract theory. I agree with this approach, that explanation and proof do not aim at perfection and indubitability, but at what satisfies a critical mind. |
6948 | Doubts should be satisfied by some external permanency upon which thinking has no effect [Peirce] |
Full Idea: To satisfy our doubts it is necessary that a method should be found by which our beliefs may be determined by nothing human, but by some external permanency - by something upon which our thinking has no effect. | |
From: Charles Sanders Peirce (The Fixation of Belief [1877], p.18) | |
A reaction: This may be the single most important idea in pragmatism and in the philosophy of science. See Fodor on experiments (Idea 2455). Put the question to nature. The essential aim is to be passive in our beliefs - just let reality form them. |
6945 | Once doubt ceases, there is no point in continuing to argue [Peirce] |
Full Idea: Some people seem to love to argue a point after all the world is fully convinced of it. But no further advance can be made. When doubt ceases, mental action on the subject comes to an end; and, if it did go on, it would be without purpose. | |
From: Charles Sanders Peirce (The Fixation of Belief [1877], p.11) | |
A reaction: This is the way Peirce's pragmatism, which deals with how real thinking actually works (rather than abstract logic), deals with scepticism. However, there is a borderline where almost everyone is satisfied, but the very wise person remains sceptical. |
1495 | Anaximander introduced the idea that the first principle and element of things was the Boundless [Anaximander, by Simplicius] |
Full Idea: Anaximander said that the first principle and element of existing things was the boundless; it was he who originally introduced this name for the first principle. | |
From: report of Anaximander (fragments/reports [c.570 BCE], A09) by Simplicius - On Aristotle's 'Physics' 9.24.14- | |
A reaction: Simplicius is quoting Theophrastus |
405 | The essential nature, whatever it is, of the non-limited is everlasting and ageless [Anaximander] |
Full Idea: The essential nature, whatever it is, of the non-limited is everlasting and ageless. | |
From: Anaximander (fragments/reports [c.570 BCE], B2), quoted by (who?) - where? |
13222 | The Boundless cannot exist on its own, and must have something contrary to it [Aristotle on Anaximander] |
Full Idea: Those thinkers are in error who postulate ...a single matter, for this cannot exist without some 'perceptible contrariety': this Boundless, which they identify with the 'original real', must be either light or heavy, either hot or cold. | |
From: comment on Anaximander (fragments/reports [c.570 BCE]) by Aristotle - Coming-to-be and Passing-away (Gen/Corr) 329a10 | |
A reaction: A dubious objection, I would say. If there has to be a contrasting cold thing to any hot thing, what happens when the cold thing is removed? |
404 | Things begin and end in the Unlimited, and are balanced over time according to justice [Anaximander] |
Full Idea: The non-limited is the original material of existing things; their source is also that to which they return after destruction, according to necessity; they give justice and make reparation to each other for injustice, according to the arrangement of Time. | |
From: Anaximander (fragments/reports [c.570 BCE], B1), quoted by Simplicius - On Aristotle's 'Physics' 24.13- | |
A reaction: Simplicius is quoting Theophrastus |
6939 | What is true of one piece of copper is true of another (unlike brass) [Peirce] |
Full Idea: The guiding principle is that what is true of one piece of copper is true of another; such a guiding principle with regard to copper would be much safer than with regard to many other substances - brass, for example. | |
From: Charles Sanders Peirce (The Fixation of Belief [1877], p. 8) | |
A reaction: Peirce is so beautifully simple and sensible. This gives the essential notion of a natural kind, and is a key notion in our whole understanding of physical reality. |
1746 | The parts of all things are susceptible to change, but the whole is unchangeable [Anaximander, by Diog. Laertius] |
Full Idea: The parts of all things are susceptible to change, but the whole is unchangeable. | |
From: report of Anaximander (fragments/reports [c.570 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.An.2 |
6938 | Natural selection might well fill an animal's mind with pleasing thoughts rather than true ones [Peirce] |
Full Idea: It is probably of more advantage to an animal to have his mind filled with pleasing and encouraging visions, independently of their truth; and thus, upon unpractical subjects, natural selection might occasion a fallacious tendency of thought. | |
From: Charles Sanders Peirce (The Fixation of Belief [1877], p. 8) | |
A reaction: Note that this is a pragmatist saying that a set of beliefs might work fine but be untrue. So Peirce does not have the highly relativistic notion of truth of some later pragmatists. Good for him. Note the early date to be thinking about Darwin. |
6946 | If death is annihilation, belief in heaven is a cheap pleasure with no disappointment [Peirce] |
Full Idea: If death is annihilation, then the man who believes that he will certainly go straight to heaven when he dies, provided he have fulfilled certain simple observances in this life, has a cheap pleasure which will not be followed by the least disappointment. | |
From: Charles Sanders Peirce (The Fixation of Belief [1877], p.12) | |
A reaction: This is a nicely wicked summary of one side of Pascal's options. All the problems of the argument are built into Peirce's word "cheap". Peirce goes on to talk about ostriches burying their heads. |