67 ideas
9641 | Definitions should be replaceable by primitives, and should not be creative [Brown,JR] |
18996 | A statement S is 'partly true' if it has some wholly true parts [Yablo] |
19006 | An 'enthymeme' is an argument with an indispensable unstated assumption [Yablo] |
8859 | The main modal logics disagree over three key formulae [Yablo] |
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] |
18999 | y is only a proper part of x if there is a z which 'makes up the difference' between them [Yablo] |
9605 | If a proposition is false, then its negation is true [Brown,JR] |
19001 | 'Pegasus doesn't exist' is false without Pegasus, yet the absence of Pegasus is its truthmaker [Yablo] |
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] |
9138 | An infinite series of sentences asserting falsehood produces the paradox without self-reference [Yablo, by Sorensen] |
9604 | Mathematics is the only place where we are sure we are right [Brown,JR] |
8865 | If 'the number of Democrats is on the rise', does that mean that 50 million is on the rise? [Yablo] |
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] |
19002 | A nominalist can assert statements about mathematical objects, as being partly true [Yablo] |
8863 | We must treat numbers as existing in order to express ourselves about the arrangement of planets [Yablo] |
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] |
10580 | Mathematics is both necessary and a priori because it really consists of logical truths [Yablo] |
9639 | Does some mathematics depend entirely on notation? [Brown,JR] |
9630 | The most brilliant formalist was Hilbert [Brown,JR] |
9629 | For nomalists there are no numbers, only numerals [Brown,JR] |
8862 | Platonic objects are really created as existential metaphors [Yablo] |
10579 | Putting numbers in quantifiable position (rather than many quantifiers) makes expression easier [Yablo] |
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] |
10577 | Concrete objects have few essential properties, but properties of abstractions are mostly essential [Yablo] |
9619 | David's 'Napoleon' is about something concrete and something abstract [Brown,JR] |
10578 | We are thought to know concreta a posteriori, and many abstracta a priori [Yablo] |
19489 | For me, fictions are internally true, without a significant internal or external truth-value [Yablo] |
19490 | Make-believe can help us to reason about facts and scientific procedures [Yablo] |
19491 | 'The clouds are angry' can only mean '...if one were attributing emotions to clouds' [Yablo] |
8864 | We quantify over events, worlds, etc. in order to make logical possibilities clearer [Yablo] |
19494 | Fictionalism allows that simulated beliefs may be tracking real facts [Yablo] |
8858 | Philosophers keep finding unexpected objects, like models, worlds, functions, numbers, events, sets, properties [Yablo] |
14381 | A statue is essentially the statue, but its lump is not essentially a statue, so statue isn't lump [Yablo, by Rocca] |
18998 | Parthood lacks the restriction of kind which most relations have [Yablo] |
19493 | Governing possible worlds theory is the fiction that if something is possible, it happens in a world [Yablo] |
19004 | Gettier says you don't know if you are confused about how it is true [Yablo] |
3061 | Anaxarchus said that he was not even sure that he knew nothing [Anaxarchus, by Diog. Laertius] |
19007 | A theory need not be true to be good; it should just be true about its physical aspects [Yablo] |
18993 | If sentences point to different evidence, they must have different subject-matter [Yablo] |
19003 | Most people say nonblack nonravens do confirm 'all ravens are black', but only a tiny bit [Yablo] |
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] |
10805 | A sentence should be recarved to reveal its content or implication relations [Yablo] |
18992 | Sentence-meaning is the truth-conditions - plus factors responsible for them [Yablo] |
9640 | A term can have not only a sense and a reference, but also a 'computational role' [Brown,JR] |
18994 | The content of an assertion can be quite different from compositional content [Yablo] |
18997 | Truth-conditions as subject-matter has problems of relevance, short cut, and reversal [Yablo] |
19005 | Not-A is too strong to just erase an improper assertion, because it actually reverses A [Yablo] |
8861 | Hardly a word in the language is devoid of metaphorical potential [Yablo] |
9635 | Given atomism at one end, and a finite universe at the other, there are no physical infinities [Brown,JR] |