17 ideas
| 7914 | To try to be wise all on one's own is folly [Rochefoucauld] |
| Full Idea: To try to be wise all on one's own is sheer folly. | |
| From: La Rochefoucauld (Maxims [1663], 231) | |
| A reaction: I agree strongly with this. There are counter-examples, of whom Spinoza may be the greatest, and Nietzsche thought that philosophy was essentially a solitary business, but most of us are not Spinoza or Nietzsche. |
| 10061 | The If-thenist view only seems to work for the axiomatised portions of mathematics [Musgrave] |
| Full Idea: The If-thenist view seems to apply straightforwardly only to the axiomatised portions of mathematics. | |
| From: Alan Musgrave (Logicism Revisited [1977], §5) | |
| A reaction: He cites Lakatos to show that cutting-edge mathematics is never axiomatised. One might reply that if the new mathematics is any good then it ought to be axiomatis-able (barring Gödelian problems). |
| 10065 | Perhaps If-thenism survives in mathematics if we stick to first-order logic [Musgrave] |
| Full Idea: If we identify logic with first-order logic, and mathematics with the collection of first-order theories, then maybe we can continue to maintain the If-thenist position. | |
| From: Alan Musgrave (Logicism Revisited [1977], §5) | |
| A reaction: The problem is that If-thenism must rely on rules of inference. That seems to mean that what is needed is Soundness, rather than Completeness. That is, inference by the rules must work properly. |
| 10049 | Logical truths may contain non-logical notions, as in 'all men are men' [Musgrave] |
| Full Idea: Containing only logical notions is not a necessary condition for being a logical truth, since a logical truth such as 'all men are men' may contain non-logical notions such as 'men'. | |
| From: Alan Musgrave (Logicism Revisited [1977], §3) | |
| A reaction: [He attributes this point to Russell] Maybe it is only a logical truth in its general form, as ∀x(x=x). Of course not all 'banks' are banks. |
| 10050 | A statement is logically true if it comes out true in all interpretations in all (non-empty) domains [Musgrave] |
| Full Idea: The standard modern view of logical truth is that a statement is logically true if it comes out true in all interpretations in all (non-empty) domains. | |
| From: Alan Musgrave (Logicism Revisited [1977], §3) |
| 10058 | No two numbers having the same successor relies on the Axiom of Infinity [Musgrave] |
| Full Idea: The axiom of Peano which states that no two numbers have the same successor requires the Axiom of Infinity for its proof. | |
| From: Alan Musgrave (Logicism Revisited [1977], §4 n) | |
| A reaction: [He refers to Russell 1919:131-2] The Axiom of Infinity is controversial and non-logical. |
| 10062 | Formalism seems to exclude all creative, growing mathematics [Musgrave] |
| Full Idea: Formalism seems to exclude from consideration all creative, growing mathematics. | |
| From: Alan Musgrave (Logicism Revisited [1977], §5) | |
| A reaction: [He cites Lakatos in support] I am not immediately clear why spotting the remote implications of a formal system should be uncreative. The greatest chess players are considered to be highly creative and imaginative. |
| 10063 | Formalism is a bulwark of logical positivism [Musgrave] |
| Full Idea: Formalism is a bulwark of logical positivist philosophy. | |
| From: Alan Musgrave (Logicism Revisited [1977], §5) | |
| A reaction: Presumably if you drain all the empirical content out of arithmetic and geometry, you are only left with the bare formal syntax, of symbols and rules. That seems to be as analytic as you can get. |
| 7566 | The Identity of Indiscernibles is really the same as the verification principle [Jolley] |
| Full Idea: Various writers have noted that the Identity of Indiscernibles is really tantamount to the verification principle. | |
| From: Nicholas Jolley (Leibniz [2005], Ch.3) | |
| A reaction: Both principles are false, because they are the classic confusion of epistemology and ontology. The fact that you cannot 'discern' a difference between two things doesn't mean that there is no difference. Things beyond verification can still be discussed. |
| 7118 | La Rochefoucauld's idea of disguised self-love implies an unconscious mind [Rochefoucauld, by Sartre] |
| Full Idea: La Rochefoucauld is one of the first to have made use of the unconscious without naming it: for him, amour-propre conceals itself in the most diverse disguises. | |
| From: report of La Rochefoucauld (Maxims [1663]) by Jean-Paul Sartre - Transcendence of the Ego I (C) | |
| A reaction: It seems odd that no one before that ever thought that someone might have hidden motives of which even they themselves were unaware. How about Iago, or Macbeth, or Hamlet? It is a profound change in our view of human nature. |
| 10060 | Logical positivists adopted an If-thenist version of logicism about numbers [Musgrave] |
| Full Idea: Logical positivists did not adopt old-style logicism, but rather logicism spiced with varying doses of If-thenism. | |
| From: Alan Musgrave (Logicism Revisited [1977], §4) | |
| A reaction: This refers to their account of mathematics as a set of purely logical truths, rather than being either empirical, or a priori synthetic. |
| 7912 | Judging by effects, love looks more like hatred than friendship [Rochefoucauld] |
| Full Idea: If love be judged by its most visible effects it looks more like hatred than friendship. | |
| From: La Rochefoucauld (Maxims [1663], 072) | |
| A reaction: Presumably he is thinking of pursuit, possession and jealousy. The remark is plausible if you add the word 'sometimes' to it, but as a universal generalisation it is ridiculous, the product of a society where they competed to exceed in cynicism. |
| 7915 | Supreme cleverness is knowledge of the real value of things [Rochefoucauld] |
| Full Idea: Supreme cleverness is knowledge of the real value of things. | |
| From: La Rochefoucauld (Maxims [1663], 244) | |
| A reaction: Good. Right at the heart of wisdom is some kind of grasp of right values. It is so complex and subtle that it seems like pure intuition, but I am sure that reason is involved. 'Intelligent' people tend to be better at it. Some justifications can be given. |
| 7917 | Realising our future misery is a kind of happiness [Rochefoucauld] |
| Full Idea: To realise how much misery we have to face is in itself a kind of happiness. | |
| From: La Rochefoucauld (Maxims [1663], 570) | |
| A reaction: Probably true. Knowing that you have got hold of the truth is a sort of happiness in any area, no matter how grim the truth. However, a happy life could easily be poisoned by brooding on the future. Should the happily married brood on future solitude? |
| 7913 | Virtue doesn't go far without the support of vanity [Rochefoucauld] |
| Full Idea: Virtue would not go far without vanity to bear it company. | |
| From: La Rochefoucauld (Maxims [1663], 200) | |
| A reaction: Rochefoucauld's cynicism gets a bit tedious, but lovers of virtue must face up to this possibility when they consider what motivates them. At the heart of Aristotle there is a missing question, of what is so good about right-functioning and virtue. |
| 7916 | True friendship is even rarer than true love [Rochefoucauld] |
| Full Idea: Rare though true love may be, true friendship is rarer still. | |
| From: La Rochefoucauld (Maxims [1663], 473) | |
| A reaction: This seems to be true. Our culture doesn't encourage friendship as a high ideal. Are women better at friendship than men? Which culture, past or present, led to the greatest flourishing of friendship? Epicurus's Garden? |
| 9299 | We are bored by people to whom we ourselves are boring [Rochefoucauld] |
| Full Idea: Almost always we are bored by people to whom we ourselves are boring. | |
| From: La Rochefoucauld (Maxims [1663], 555) | |
| A reaction: An obvious exception would be a celebrity being bored with their fans. Their very excess of interest is precisely what is boring. If two people communicate well, it is unlikely that either of them will ever be bored. |