53 ideas
4643 | The Principle of Sufficient Reason does not presuppose that all explanations will be causal explanations [Baggini /Fosl] |
4633 | You cannot rationally deny the principle of non-contradiction, because all reasoning requires it [Baggini /Fosl] |
4635 | Dialectic aims at unified truth, unlike analysis, which divides into parts [Baggini /Fosl] |
9641 | Definitions should be replaceable by primitives, and should not be creative [Brown,JR] |
4632 | 'Natural' systems of deduction are based on normal rational practice, rather than on axioms [Baggini /Fosl] |
4631 | In ideal circumstances, an axiom should be such that no rational agent could possibly object to its use [Baggini /Fosl] |
9634 | Set theory says that natural numbers are an actual infinity (to accommodate their powerset) [Brown,JR] |
9615 | Nowadays conditions are only defined on existing sets [Brown,JR] |
9613 | Naïve set theory assumed that there is a set for every condition [Brown,JR] |
9617 | The 'iterative' view says sets start with the empty set and build up [Brown,JR] |
9642 | A flock of birds is not a set, because a set cannot go anywhere [Brown,JR] |
4638 | The principle of bivalence distorts reality, as when claiming that a person is or is not 'thin' [Baggini /Fosl] |
9605 | If a proposition is false, then its negation is true [Brown,JR] |
9649 | Axioms are either self-evident, or stipulations, or fallible attempts [Brown,JR] |
9638 | Berry's Paradox finds a contradiction in the naming of huge numbers [Brown,JR] |
9604 | Mathematics is the only place where we are sure we are right [Brown,JR] |
9622 | 'There are two apples' can be expressed logically, with no mention of numbers [Brown,JR] |
9648 | π is a 'transcendental' number, because it is not the solution of an equation [Brown,JR] |
9621 | Mathematics represents the world through structurally similar models. [Brown,JR] |
9646 | There is no limit to how many ways something can be proved in mathematics [Brown,JR] |
9647 | Computers played an essential role in proving the four-colour theorem of maps [Brown,JR] |
9643 | Set theory may represent all of mathematics, without actually being mathematics [Brown,JR] |
9644 | When graphs are defined set-theoretically, that won't cover unlabelled graphs [Brown,JR] |
9625 | To see a structure in something, we must already have the idea of the structure [Brown,JR] |
9628 | Sets seem basic to mathematics, but they don't suit structuralism [Brown,JR] |
9606 | The irrationality of root-2 was achieved by intellect, not experience [Brown,JR] |
9610 | Numbers are not abstracted from particulars, because each number is a particular [Brown,JR] |
9612 | There is an infinity of mathematical objects, so they can't be physical [Brown,JR] |
9620 | Empiricists base numbers on objects, Platonists base them on properties [Brown,JR] |
9630 | The most brilliant formalist was Hilbert [Brown,JR] |
9629 | For nomalists there are no numbers, only numerals [Brown,JR] |
9639 | Does some mathematics depend entirely on notation? [Brown,JR] |
9608 | There are no constructions for many highly desirable results in mathematics [Brown,JR] |
9645 | Constructivists say p has no value, if the value depends on Goldbach's Conjecture [Brown,JR] |
9619 | David's 'Napoleon' is about something concrete and something abstract [Brown,JR] |
4640 | If identity is based on 'true of X' instead of 'property of X' we get the Masked Man fallacy ('I know X but not Y') [Baggini /Fosl, by PG] |
4647 | 'I have the same car as you' is fine; 'I have the same fiancée as you' is not so good [Baggini /Fosl] |
4639 | Leibniz's Law is about the properties of objects; the Identity of Indiscernibles is about perception of objects [Baggini /Fosl] |
4646 | Is 'events have causes' analytic a priori, synthetic a posteriori, or synthetic a priori? [Baggini /Fosl] |
4645 | 'A priori' does not concern how you learn a proposition, but how you show whether it is true or false [Baggini /Fosl] |
4582 | Basic beliefs are self-evident, or sensual, or intuitive, or revealed, or guaranteed [Baggini /Fosl] |
4644 | A proposition such as 'some swans are purple' cannot be falsified, only verified [Baggini /Fosl] |
4584 | The problem of induction is how to justify our belief in the uniformity of nature [Baggini /Fosl] |
4583 | How can an argument be good induction, but poor deduction? [Baggini /Fosl] |
4634 | Abduction aims at simplicity, testability, coherence and comprehensiveness [Baggini /Fosl] |
4637 | To see if an explanation is the best, it is necessary to investigate the alternative explanations [Baggini /Fosl] |
4629 | Consistency is the cornerstone of rationality [Baggini /Fosl] |
9611 | 'Abstract' nowadays means outside space and time, not concrete, not physical [Brown,JR] |
9609 | The older sense of 'abstract' is where 'redness' or 'group' is abstracted from particulars [Brown,JR] |
9640 | A term can have not only a sense and a reference, but also a 'computational role' [Brown,JR] |
9635 | Given atomism at one end, and a finite universe at the other, there are no physical infinities [Brown,JR] |
1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |