46 ideas
17641 | Discoveries in mathematics can challenge philosophy, and offer it a new foundation [Russell] |
17638 | If one proposition is deduced from another, they are more certain together than alone [Russell] |
17632 | Non-contradiction was learned from instances, and then found to be indubitable [Russell] |
10688 | 'Equivocation' is when terms do not mean the same thing in premises and conclusion [Beall/Restall] |
10690 | Formal logic is invariant under permutations, or devoid of content, or gives the norms for thought [Beall/Restall] |
10691 | Logical consequence needs either proofs, or absence of counterexamples [Beall/Restall] |
10695 | Logical consequence is either necessary truth preservation, or preservation based on interpretation [Beall/Restall] |
10689 | A step is a 'material consequence' if we need contents as well as form [Beall/Restall] |
10696 | A 'logical truth' (or 'tautology', or 'theorem') follows from empty premises [Beall/Restall] |
10693 | Models are mathematical structures which interpret the non-logical primitives [Beall/Restall] |
17629 | Which premises are ultimate varies with context [Russell] |
17630 | The sources of a proof are the reasons why we believe its conclusion [Russell] |
17640 | Finding the axioms may be the only route to some new results [Russell] |
10692 | Hilbert proofs have simple rules and complex axioms, and natural deduction is the opposite [Beall/Restall] |
17627 | It seems absurd to prove 2+2=4, where the conclusion is more certain than premises [Russell] |
17628 | Arithmetic was probably inferred from relationships between physical objects [Russell] |
6504 | For physicalists, the only relations are spatial, temporal and causal [Robinson,H] |
6520 | If reality just has relational properties, what are its substantial ontological features? [Robinson,H] |
17637 | The most obvious beliefs are not infallible, as other obvious beliefs may conflict [Russell] |
6485 | When a red object is viewed, the air in between does not become red [Robinson,H] |
6521 | Representative realists believe that laws of phenomena will apply to the physical world [Robinson,H] |
6509 | Representative realists believe some properties of sense-data are shared by the objects themselves [Robinson,H] |
6522 | Phenomenalism can be theistic (Berkeley), or sceptical (Hume), or analytic (20th century) [Robinson,H] |
6502 | Can we reduce perception to acquisition of information, which is reduced to causation or disposition? [Robinson,H] |
6513 | Would someone who recovered their sight recognise felt shapes just by looking? [Robinson,H] |
6512 | Secondary qualities have one sensory mode, but primary qualities can have more [Robinson,H] |
6497 | We say objects possess no intrinsic secondary qualities because physicists don't need them [Robinson,H] |
6494 | If objects are not coloured, and neither are sense-contents, we are left saying that nothing is coloured [Robinson,H] |
6499 | Shape can be experienced in different ways, but colour and sound only one way [Robinson,H] |
6500 | If secondary qualities match senses, would new senses create new qualities? [Robinson,H] |
6484 | Most moderate empiricists adopt Locke's representative theory of perception [Robinson,H] |
6508 | Sense-data leads to either representative realism or phenomenalism or idealism [Robinson,H] |
6480 | Sense-data do not have any intrinsic intentionality [Robinson,H] |
6482 | For idealists and phenomenalists sense-data are in objects; representative realists say they resemble objects [Robinson,H] |
6505 | Sense-data are rejected because they are a veil between us and reality, leading to scepticism [Robinson,H] |
6506 | 'Sense redly' sounds peculiar, but 'senses redly-squarely tablely' sounds far worse [Robinson,H] |
6507 | Adverbialism sees the contents of sense-experience as modes, not objects [Robinson,H] |
6511 | If there are only 'modes' of sensing, then an object can no more be red or square than it can be proud or lazy. [Robinson,H] |
17639 | Believing a whole science is more than believing each of its propositions [Russell] |
17631 | Induction is inferring premises from consequences [Russell] |
6515 | An explanation presupposes something that is improbable unless it is explained [Robinson,H] |
6517 | If all possibilities are equal, order seems (a priori) to need an explanation - or does it? [Robinson,H] |
6481 | If intentional states are intrinsically about other things, what are their own properties? [Robinson,H] |
6503 | Physicalism cannot allow internal intentional objects, as brain states can't be 'about' anything [Robinson,H] |
6519 | Locke's solidity is not matter, because that is impenetrability and hardness combined [Robinson,H] |
17633 | The law of gravity has many consequences beyond its grounding observations [Russell] |