140 ideas
22026 | Philosophy is homesickness - the urge to be at home everywhere [Novalis] |
16281 | Honesty requires philosophical theories we can commit to with our ordinary commonsense [Lewis] |
16288 | Analysis reduces primitives and makes understanding explicit (without adding new knowledge) [Lewis] |
9651 | Verisimilitude might be explained as being close to the possible world where the truth is exact [Lewis] |
10073 | There cannot be a set theory which is complete [Smith,P] |
10616 | Second-order arithmetic can prove new sentences of first-order [Smith,P] |
10074 | A 'total function' maps every element to one element in another set [Smith,P] |
10612 | An argument is a 'fixed point' for a function if it is mapped back to itself [Smith,P] |
10605 | Two functions are the same if they have the same extension [Smith,P] |
10075 | A 'partial function' maps only some elements to another set [Smith,P] |
10076 | The 'range' of a function is the set of elements in the output set created by the function [Smith,P] |
10615 | The Comprehension Schema says there is a property only had by things satisfying a condition [Smith,P] |
10595 | A 'theorem' of a theory is a sentence derived from the axioms using the proof system [Smith,P] |
15731 | Quantification sometimes commits to 'sets', but sometimes just to pluralities (or 'classes') [Lewis] |
10602 | A 'natural deduction system' has no axioms but many rules [Smith,P] |
10613 | No nice theory can define truth for its own language [Smith,P] |
10079 | A 'bijective' function has one-to-one correspondence in both directions [Smith,P] |
10077 | A 'surjective' ('onto') function creates every element of the output set [Smith,P] |
10078 | An 'injective' ('one-to-one') function creates a distinct output element from each original [Smith,P] |
10070 | If everything that a theory proves is true, then it is 'sound' [Smith,P] |
10086 | Soundness is true axioms and a truth-preserving proof system [Smith,P] |
10596 | A theory is 'sound' iff every theorem is true (usually from true axioms and truth-preservation) [Smith,P] |
10598 | A theory is 'negation complete' if it proves all sentences or their negation [Smith,P] |
10597 | 'Complete' applies both to whole logics, and to theories within them [Smith,P] |
10069 | A theory is 'negation complete' if one of its sentences or its negation can always be proved [Smith,P] |
10609 | Two routes to Incompleteness: semantics of sound/expressible, or syntax of consistency/proof [Smith,P] |
10087 | A theory is 'decidable' if all of its sentences could be mechanically proved [Smith,P] |
10088 | Any consistent, axiomatized, negation-complete formal theory is decidable [Smith,P] |
10080 | 'Effective' means simple, unintuitive, independent, controlled, dumb, and terminating [Smith,P] |
10081 | A set is 'enumerable' is all of its elements can result from a natural number function [Smith,P] |
10083 | A set is 'effectively enumerable' if a computer could eventually list every member [Smith,P] |
10084 | A finite set of finitely specifiable objects is always effectively enumerable (e.g. primes) [Smith,P] |
10085 | The set of ordered pairs of natural numbers <i,j> is effectively enumerable [Smith,P] |
10601 | The thorems of a nice arithmetic can be enumerated, but not the truths (so they're diffferent) [Smith,P] |
10600 | Being 'expressible' depends on language; being 'capture/represented' depends on axioms and proof system [Smith,P] |
10599 | For primes we write (x not= 1 ∧ ∀u∀v(u x v = x → (u = 1 ∨ v = 1))) [Smith,P] |
10610 | The reals contain the naturals, but the theory of reals doesn't contain the theory of naturals [Smith,P] |
10619 | The truths of arithmetic are just true equations and their universally quantified versions [Smith,P] |
10618 | All numbers are related to zero by the ancestral of the successor relation [Smith,P] |
10608 | The number of Fs is the 'successor' of the Gs if there is a single F that isn't G [Smith,P] |
10849 | Baby arithmetic covers addition and multiplication, but no general facts about numbers [Smith,P] |
10850 | Baby Arithmetic is complete, but not very expressive [Smith,P] |
10851 | Robinson Arithmetic 'Q' has basic axioms, quantifiers and first-order logic [Smith,P] |
10852 | Robinson Arithmetic (Q) is not negation complete [Smith,P] |
10068 | Natural numbers have zero, unique successors, unending, no circling back, and no strays [Smith,P] |
10603 | The logic of arithmetic must quantify over properties of numbers to handle induction [Smith,P] |
10604 | Incompleteness results in arithmetic from combining addition and successor with multiplication [Smith,P] |
10848 | Multiplication only generates incompleteness if combined with addition and successor [Smith,P] |
10470 | There are only two kinds: sets, and possibilia (actual and possible particulars) [Lewis, by Oliver] |
9650 | Supervenience concerns whether things could differ, so it is a modal notion [Lewis] |
8909 | Abstractions may well be verbal fictions, in which we ignore some features of an object [Lewis] |
9057 | Vagueness is semantic indecision: we haven't settled quite what our words are meant to express [Lewis] |
9671 | Whether or not France is hexagonal depends on your standards of precision [Lewis] |
10617 | The 'ancestral' of a relation is a new relation which creates a long chain of the original relation [Smith,P] |
15751 | Surely 'slept in by Washington' is a property of some bed? [Lewis] |
15735 | Properties don't have degree; they are determinate, and things have varying relations to them [Lewis] |
9656 | The 'abundant' properties are just any bizarre property you fancy [Lewis] |
15737 | To be a 'property' is to suit a theoretical role [Lewis] |
15742 | A disjunctive property can be unnatural, but intrinsic if its disjuncts are intrinsic [Lewis] |
15397 | If a global intrinsic never varies between possible duplicates, all necessary properties are intrinsic [Cameron on Lewis] |
15398 | Global intrinsic may make necessarily coextensive properties both intrinsic or both extrinsic [Cameron on Lewis] |
15741 | All of the natural properties are included among the intrinsic properties [Lewis] |
15752 | We might try defining the natural properties by a short list of them [Lewis] |
14996 | Natural properties give similarity, joint carving, intrinsicness, specificity, homogeneity... [Lewis] |
15743 | Defining natural properties by means of laws of nature is potentially circular [Lewis] |
15744 | We can't define natural properties by resemblance, if they are used to explain resemblance [Lewis] |
15740 | I don't take 'natural' properties to be fixed by the nature of one possible world [Lewis] |
16262 | Sparse properties rest either on universals, or on tropes, or on primitive naturalness [Lewis, by Maudlin] |
15739 | There is the property of belonging to a set, so abundant properties are as numerous as the sets [Lewis] |
10723 | A property is the set of its actual and possible instances [Lewis, by Oliver] |
9653 | It would be easiest to take a property as the set of its instances [Lewis] |
15399 | The property of being F is identical with the set of objects, in all possible worlds, which are F [Lewis, by Cameron] |
15733 | Accidentally coextensive properties come apart when we include their possible instances [Lewis] |
15732 | Properties don't seem to be sets, because different properties can have the same set [Lewis] |
15734 | If a property is relative, such as being a father or son, then set membership seems relative too [Lewis] |
9655 | Trilateral and triangular seem to be coextensive sets in all possible worlds [Lewis] |
16290 | I believe in properties, which are sets of possible individuals [Lewis] |
9657 | You must accept primitive similarity to like tropes, but tropes give a good account of it [Lewis] |
15748 | Trope theory needs a primitive notion for what unites some tropes [Lewis] |
15749 | Trope theory (unlike universals) needs a primitive notion of being duplicates [Lewis] |
15750 | Tropes need a similarity primitive, so they cannot be used to explain similarity [Lewis] |
15745 | Universals recur, are multiply located, wholly present, make things overlap, and are held in common [Lewis] |
15746 | If particles were just made of universals, similar particles would be the same particle [Lewis] |
15747 | Universals aren't parts of things, because that relationship is transitive, and universals need not be [Lewis] |
9667 | Mereological composition is unrestricted: any class of things has a mereological sum [Lewis] |
13268 | There are no restrictions on composition, because they would be vague, and composition can't be vague [Lewis, by Sider] |
13793 | An essential property is one possessed by all counterparts [Lewis, by Elder] |
9663 | A thing 'perdures' if it has separate temporal parts, and 'endures' if it is wholly present at different times [Lewis] |
14737 | Properties cannot be relations to times, if there are temporary properties which are intrinsic [Lewis, by Sider] |
9664 | Endurance is the wrong account, because things change intrinsic properties like shape [Lewis] |
9665 | There are three responses to the problem that intrinsic shapes do not endure [Lewis] |
19280 | I can ask questions which create a context in which origin ceases to be essential [Lewis] |
15968 | Identity is simple - absolutely everything is self-identical, and nothing is identical to another thing [Lewis] |
15969 | Two things can never be identical, so there is no problem [Lewis] |
9660 | The impossible can be imagined as long as it is a bit vague [Lewis] |
9669 | There are no free-floating possibilia; they have mates in a world, giving them extrinsic properties [Lewis] |
16132 | On mountains or in worlds, reporting contradictions is contradictory, so no such truths can be reported [Lewis] |
16133 | Possible worlds can contain contradictions if such worlds are seen as fictions [Lewis] |
12255 | For Lewis there is no real possibility, since all possibilities are actual [Oderberg on Lewis] |
9219 | Lewis posits possible worlds just as Quine says that physics needs numbers and sets [Lewis, by Sider] |
16283 | For me, all worlds are equal, with each being actual relative to itself [Lewis] |
15022 | If possible worlds really exist, then they are part of actuality [Sider on Lewis] |
10469 | A world is a maximal mereological sum of spatiotemporally interrelated things [Lewis] |
16441 | Lewis rejects actualism because he identifies properties with sets [Lewis, by Stalnaker] |
16282 | Ersatzers say we have one world, and abstract representations of how it might have been [Lewis] |
16284 | Ersatz worlds represent either through language, or by models, or magically [Lewis] |
16286 | Linguistic possible worlds need a complete supply of unique names for each thing [Lewis] |
16287 | Maximal consistency for a world seems a modal distinction, concerning what could be true together [Lewis] |
9662 | Linguistic possible worlds have problems of inconsistencies, no indiscernibles, and vocabulary [Lewis] |
7690 | If sets exist, then defining worlds as proposition sets implies an odd distinction between existing and actual [Jacquette on Lewis] |
14404 | The counterpart relation is sortal-relative, so objects need not be a certain way [Lewis, by Merricks] |
5441 | Why should statements about what my 'counterpart' could have done interest me? [Mautner on Lewis] |
5440 | A counterpart in a possible world is sufficiently similar, and more similar than anything else [Lewis, by Mautner] |
16291 | In counterpart theory 'Humphrey' doesn't name one being, but a mereological sum of many beings [Lewis] |
11903 | Extreme haecceitists could say I might have been a poached egg, but it is too remote to consider [Lewis, by Mackie,P] |
15129 | Haecceitism implies de re differences but qualitative identity [Lewis] |
9670 | Extreme haecceitism says you might possibly be a poached egg [Lewis] |
16279 | General causal theories of knowledge are refuted by mathematics [Lewis] |
9661 | Induction is just reasonable methods of inferring the unobserved from the observed [Lewis] |
9652 | To just expect unexamined emeralds to be grue would be totally unreasonable [Lewis] |
9658 | An explanation tells us how an event was caused [Lewis] |
16280 | Often explanaton seeks fundamental laws, rather than causal histories [Lewis] |
16274 | If the well-ordering of a pack of cards was by shuffling, the explanation would make it more surprising [Lewis] |
19591 | Desire for perfection is an illness, if it turns against what is imperfect [Novalis] |
8901 | Abstraction is usually explained either by example, or conflation, or abstraction, or negatively [Lewis] |
8904 | The Way of Abstraction says an incomplete description of a concrete entity is the complete abstraction [Lewis] |
8938 | The Way of Example compares donkeys and numbers, but what is the difference, and what are numbers? [Lewis] |
8903 | Abstracta can be causal: sets can be causes or effects; there can be universal effects; events may be sets [Lewis] |
8902 | If abstractions are non-spatial, then both sets and universals seem to have locations [Lewis] |
8906 | If we can abstract the extrinsic relations and features of objects, abstraction isn't universals or tropes [Lewis] |
8905 | If universals or tropes are parts of things, then abstraction picks out those parts [Lewis] |
8908 | For most sets, the concept of equivalence is too artificial to explain abstraction [Lewis] |
8907 | The abstract direction of a line is the equivalence class of it and all lines parallel to it [Lewis] |
16289 | We can't account for an abstraction as 'from' something if the something doesn't exist [Lewis] |
16278 | A particular functional role is what gives content to a thought [Lewis] |
9654 | A proposition is a set of entire possible worlds which instantiate a particular property [Lewis] |
15736 | A proposition is the property of being a possible world where it holds true [Lewis] |
15738 | Propositions can't have syntactic structure if they are just sets of worlds [Lewis] |
9659 | Causation is when at the closest world without the cause, there is no effect either [Lewis] |
9666 | It is quite implausible that the future is unreal, as that would terminate everything [Lewis] |