107 ideas
| 6979 | Serious metaphysics cares about entailment between sentences [Jackson] |
| 6980 | Conceptual analysis studies whether one story is made true by another story [Jackson] |
| 6983 | Intuitions about possibilities are basic to conceptual analysis [Jackson] |
| 14707 | Conceptual analysis is needed to establish that metaphysical reductions respect original meanings [Jackson, by Schroeter] |
| 9641 | Definitions should be replaceable by primitives, and should not be creative [Brown,JR] |
| 7005 | Something can only have a place in a preferred account of things if it is entailed by the account [Jackson] |
| 6994 | Truth supervenes on being [Jackson] |
| 9634 | Set theory says that natural numbers are an actual infinity (to accommodate their powerset) [Brown,JR] |
| 9613 | Naïve set theory assumed that there is a set for every condition [Brown,JR] |
| 9615 | Nowadays conditions are only defined on existing sets [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] |
| 9605 | If a proposition is false, then its negation is true [Brown,JR] |
| 14352 | '¬', '&', and 'v' are truth functions: the truth of the compound is fixed by the truth of the components [Jackson] |
| 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] |
| 9612 | There is an infinity of mathematical objects, so they can't be physical [Brown,JR] |
| 9610 | Numbers are not abstracted from particulars, because each number is a particular [Brown,JR] |
| 9620 | Empiricists base numbers on objects, Platonists base them on properties [Brown,JR] |
| 9639 | Does some mathematics depend entirely on notation? [Brown,JR] |
| 9629 | For nomalists there are no numbers, only numerals [Brown,JR] |
| 9630 | The most brilliant formalist was Hilbert [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] |
| 458 | Nothing could come out of nothing, and existence could never completely cease [Empedocles] |
| 5112 | Empedocles says things are at rest, unless love unites them, or hatred splits them [Empedocles, by Aristotle] |
| 6984 | Smooth reductions preserve high-level laws in the lower level [Jackson] |
| 9619 | David's 'Napoleon' is about something concrete and something abstract [Brown,JR] |
| 6978 | Baldness is just hair distribution, but the former is indeterminate, unlike the latter [Jackson] |
| 6993 | Redness is a property, but only as a presentation to normal humans [Jackson] |
| 8499 | Nominalists cannot translate 'red resembles pink more than blue' into particulars [Jackson] |
| 8500 | Colour resemblance isn't just resemblance between things; 'colour' must be mentioned [Jackson] |
| 13209 | There is no coming-to-be of anything, but only mixing and separating [Empedocles, by Aristotle] |
| 14633 | How do we tell a table's being contingently plastic from its being essentially plastic? [Jackson] |
| 14635 | An x is essentially F if it is F in every possible world in which it appears [Jackson] |
| 14632 | Quine may have conflated de re and de dicto essentialism, but there is a real epistemological problem [Jackson] |
| 457 | Substance is not created or destroyed in mortals, but there is only mixing and exchange [Empedocles] |
| 6987 | We should not multiply senses of necessity beyond necessity [Jackson] |
| 14360 | Possible worlds for subjunctives (and dispositions), and no-truth for indicatives? [Jackson] |
| 14288 | 'If A,B' affirms that A⊃B, and also that this wouldn't change if A were certain [Jackson, by Edgington] |
| 13769 | Conditionals are truth-functional, but should only be asserted when they are confident [Jackson, by Edgington] |
| 13858 | The truth-functional account of conditionals is right, if the antecedent is really acceptable [Jackson, by Edgington] |
| 14289 | There are some assertable conditionals one would reject if one learned the antecedent [Jackson, by Edgington] |
| 14353 | Modus ponens requires that A→B is F when A is T and B is F [Jackson] |
| 14354 | When A and B have the same truth value, A→B is true, because A→A is a logical truth [Jackson] |
| 14355 | (A&B)→A is a logical truth, even if antecedent false and consequent true, so it is T if A is F and B is T [Jackson] |
| 14358 | In the possible worlds account of conditionals, modus ponens and modus tollens are validated [Jackson] |
| 14359 | Only assertions have truth-values, and conditionals are not proper assertions [Jackson] |
| 14357 | Possible worlds account, unlike A⊃B, says nothing about when A is false [Jackson] |
| 14356 | We can't insist that A is relevant to B, as conditionals can express lack of relevance [Jackson] |
| 14631 | How can you show the necessity of an a posteriori necessity, if it might turn out to be false? [Jackson] |
| 6988 | Mathematical sentences are a problem in a possible-worlds framework [Jackson] |
| 6975 | Possible worlds could be concrete, abstract, universals, sentences, or properties [Jackson] |
| 6982 | Long arithmetic calculations show the a priori can be fallible [Jackson] |
| 6991 | We examine objects to determine colour; we do not introspect [Jackson] |
| 462 | One vision is produced by both eyes [Empedocles] |
| 4894 | I say Mary does not have new knowledge, but knows an old fact in a new way [Perry on Jackson] |
| 4895 | Is it unfair that physicalist knowledge can be written down, but dualist knowledge can't be [Perry on Jackson] |
| 4886 | Mary knows all the physical facts of seeing red, but experiencing it is new knowledge [Jackson] |
| 22765 | Wisdom and thought are shared by all things [Empedocles] |
| 6976 | In physicalism, the psychological depends on the physical, not the other way around [Jackson] |
| 6986 | Is the dependence of the psychological on the physical a priori or a posteriori? [Jackson] |
| 6992 | If different states can fulfil the same role, the converse must also be possible [Jackson] |
| 7880 | If a blind persons suddenly sees a kestrel, that doesn't make visual and theoretical kestrels different [Papineau on Jackson] |
| 7378 | No one bothers to imagine what it would really be like to have ALL the physical information [Dennett on Jackson] |
| 7377 | Mary learns when she sees colour, so her complete physical information had missed something [Jackson] |
| 1524 | For Empedocles thinking is almost identical to perception [Empedocles, by Theophrastus] |
| 6996 | Folk psychology covers input, internal role, and output [Jackson] |
| 6977 | Egocentric or de se content seems to be irreducibly so [Jackson] |
| 6990 | Keep distinct the essential properties of water, and application conditions for the word 'water' [Jackson] |
| 6985 | Analysis is finding necessary and sufficient conditions by studying possible cases [Jackson] |
| 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] |
| 6995 | Successful predication supervenes on nature [Jackson] |
| 6989 | I can understand "He has a beard", without identifying 'he', and hence the truth conditions [Jackson] |
| 6998 | Folk morality does not clearly distinguish between doing and allowing [Jackson] |
| 6997 | Moral functionalism says moral terms get their meaning from their role in folk morality [Jackson] |
| 7000 | Which are prior - thin concepts like right, good, ought; or thick concepts like kindness, equity etc.? [Jackson] |
| 552 | Empedocles said good and evil were the basic principles [Empedocles, by Aristotle] |
| 6999 | It is hard to justify the huge difference in our judgements of abortion and infanticide [Jackson] |
| 589 | 'Nature' is just a word invented by people [Empedocles] |
| 9635 | Given atomism at one end, and a finite universe at the other, there are no physical infinities [Brown,JR] |
| 21823 | The principle of 'Friendship' in Empedocles is the One, and is bodiless [Empedocles, by Plotinus] |
| 2680 | Empedocles said that there are four material elements, and two further creative elements [Empedocles, by Aristotle] |
| 6002 | Empedocles says bone is water, fire and earth in ratio 2:4:2 [Empedocles, by Inwood] |
| 13207 | Fire, Water, Air and Earth are elements, being simple as well as homoeomerous [Empedocles, by Aristotle] |
| 459 | All change is unity through love or division through hate [Empedocles] |
| 13218 | The elements combine in coming-to-be, but how do the elements themselves come-to-be? [Aristotle on Empedocles] |
| 13225 | Love and Strife only explain movement if their effects are distinctive [Aristotle on Empedocles] |
| 460 | If the one Being ever diminishes it would no longer exist, and what could ever increase it? [Empedocles] |
| 5090 | Maybe bodies are designed by accident, and the creatures that don't work are destroyed [Empedocles, by Aristotle] |
| 466 | God is pure mind permeating the universe [Empedocles] |
| 461 | God is a pure, solitary, and eternal sphere [Empedocles] |
| 1719 | In Empedocles' theory God is ignorant because, unlike humans, he doesn't know one of the elements (strife) [Aristotle on Empedocles] |
| 1522 | It is wretched not to want to think clearly about the gods [Empedocles] |