15 ideas
23476 | Logical constants seem to be entities in propositions, but are actually pure form [Russell] |
Full Idea: 'Logical constants', which might seem to be entities occurring in logical propositions, are really concerned with pure form, and are not actually constituents of the propositions in the verbal expressions of which their names occur. | |
From: Bertrand Russell (The Theory of Knowledge [1913], 1.IX) | |
A reaction: This seems to entirely deny the existence of logical constants, and yet he says that they are named. Russell was obviously under pressure here from Wittgenstein. |
23477 | We use logical notions, so they must be objects - but I don't know what they really are [Russell] |
Full Idea: Such words as or, not, all, some, plainly involve logical notions; since we use these intelligently, we must be acquainted with the logical objects involved. But their isolation is difficult, and I do not know what the logical objects really are. | |
From: Bertrand Russell (The Theory of Knowledge [1913], 1.IX) | |
A reaction: See Idea 23476, from the previous page. Russell is struggling. Wittgenstein was telling him that the constants are rules (shown in truth tables), rather than objects. |
18273 | Logical truths are known by their extreme generality [Russell] |
Full Idea: A touchstone by which logical propositions may be distinguished from all others is that they result from a process of generalisation which has been carried to its utmost limits. | |
From: Bertrand Russell (The Theory of Knowledge [1913], p.129), quoted by J. Alberto Coffa - The Semantic Tradition from Kant to Carnap 7 'What' |
22315 | There can't be a negative of a complex, which is negated by its non-existence [Potter on Russell] |
Full Idea: On Russell's pre-war conception it is obvious that a complex cannot be negative. If a complex were true, what would make it false would be its non-existence, not the existence of some other complex. | |
From: comment on Bertrand Russell (The Theory of Knowledge [1913]) by Michael Potter - The Rise of Analytic Philosophy 1879-1930 41 'Neg' | |
A reaction: It might be false because it doesn't exist, but also 'made' false by a rival complex (such as Desdemona loving Othello). |
472 | No things would be clear to us as entity or relationships unless there existed Number and its essence [Philolaus] |
Full Idea: No existing things would be clear to anyone, either in themselves or in their relationship to one another, unless there existed Number and its essence. | |
From: Philolaus (On the Cosmos (lost) [c.435 BCE], B11), quoted by John Stobaeus - Anthology 1.03.8 |
13768 | Validity can preserve certainty in mathematics, but conditionals about contingents are another matter [Edgington] |
Full Idea: If your interest in logic is confined to applications to mathematics or other a priori matters, it is fine for validity to preserve certainty, ..but if you use conditionals when arguing about contingent matters, then great caution will be required. | |
From: Dorothy Edgington (Conditionals [2001], 17.2.1) |
13770 | There are many different conditional mental states, and different conditional speech acts [Edgington] |
Full Idea: As well as conditional beliefs, there are conditional desires, hopes, fears etc. As well as conditional statements, there are conditional commands, questions, offers, promises, bets etc. | |
From: Dorothy Edgington (Conditionals [2001], 17.3.4) |
13764 | Are conditionals truth-functional - do the truth values of A and B determine the truth value of 'If A, B'? [Edgington] |
Full Idea: Are conditionals truth-functional - do the truth values of A and B determine the truth value of 'If A, B'? Are they non-truth-functional, like 'because' or 'before'? Do the values of A and B, in some cases, leave open the value of 'If A,B'? | |
From: Dorothy Edgington (Conditionals [2001], 17.1) | |
A reaction: I would say they are not truth-functional, because the 'if' asserts some further dependency relation that goes beyond the truth or falsity of A and B. Logical ifs, causal ifs, psychological ifs... The material conditional ⊃ is truth-functional. |
13765 | 'If A,B' must entail ¬(A & ¬B); otherwise we could have A true, B false, and If A,B true, invalidating modus ponens [Edgington] |
Full Idea: If it were possible to have A true, B false, and If A,B true, it would be unsafe to infer B from A and If A,B: modus ponens would thus be invalid. Hence 'If A,B' must entail ¬(A & ¬B). | |
From: Dorothy Edgington (Conditionals [2001], 17.1) | |
A reaction: This is a firm defence of part of the truth-functional view of conditionals, and seems unassailable. The other parts of the truth table are open to question, though, if A is false, or they are both true. |
473 | There is no falsehood in harmony and number, only in irrational things [Philolaus] |
Full Idea: The nature of number and harmony admits of no falsehood; for this is unrelated to them. Falsehood and envy belong to the nature of the Unlimited and the Unintelligent and the Irrational. | |
From: Philolaus (On the Cosmos (lost) [c.435 BCE], B11), quoted by (who?) - where? |
1518 | Everything must involve numbers, or it couldn't be thought about or known [Philolaus] |
Full Idea: Everything which is known has number, because otherwise it is impossible for anything to be the object of thought or knowledge. | |
From: Philolaus (On the Cosmos (lost) [c.435 BCE], B04), quoted by John Stobaeus - Anthology 1.21.7b |
1519 | Harmony must pre-exist the cosmos, to bring the dissimilar sources together [Philolaus] |
Full Idea: It would have been impossible for the dissimilar and incompatible sources to have been made into an orderly universe unless harmony had been present in some form or other. | |
From: Philolaus (On the Cosmos (lost) [c.435 BCE], B06), quoted by John Stobaeus - Anthology 1.21.7d |
469 | Existing things, and hence the Cosmos, are a mixture of the Limited and the Unlimited [Philolaus] |
Full Idea: Since it is plain that existing things are neither wholly from the Limiting, nor wholly from the Unlimited, clearly the cosmos and its contents were fitted together from both the Limiting and the Unlimited. | |
From: Philolaus (On the Cosmos (lost) [c.435 BCE], B02), quoted by John Stobaeus - Anthology 1.21.7a |
476 | Self-created numbers make the universe stable [Philolaus] |
Full Idea: Number is the ruling and self-created bond which maintains the everlasting stability of the contents of the universe. | |
From: Philolaus (On the Cosmos (lost) [c.435 BCE], B23), quoted by (who?) - where? |
1787 | Philolaus was the first person to say the earth moves in a circle [Philolaus, by Diog. Laertius] |
Full Idea: Philolaus was the first person to affirm that the earth moves in a circle. | |
From: report of Philolaus (On the Cosmos (lost) [c.435 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 08.Ph.3 |