265 ideas
| 18495 | The best philosophers I know are the best people I know [Heil] |
| 18494 | Using a technical vocabulary actually prevents discussion of the presuppositions [Heil] |
| 18506 | Questions of explanation should not be confused with metaphyics [Heil] |
| 18535 | Without abstraction we couldn't think systematically [Heil] |
| 7001 | If you begin philosophy with language, you find yourself trapped in it [Heil] |
| 4588 | There is no such thing as 'science'; there are just many different sciences [Heil] |
| 7038 | A theory with few fundamental principles might still posit a lot of entities [Heil] |
| 7037 | Parsimony does not imply the world is simple, but that our theories should try to be [Heil] |
| 18137 | Impredicative definitions are wrong, because they change the set that is being defined? [Bostock] |
| 18534 | Truth relates truthbearers to truthmakers [Heil] |
| 18531 | Philosophers of the past took the truthmaking idea for granted [Heil] |
| 18509 | Not all truths need truthmakers - mathematics and logic seem to be just true [Heil] |
| 7004 | The view that truth making is entailment is misguided and misleading [Heil] |
| 13439 | Venn Diagrams map three predicates into eight compartments, then look for the conclusion [Bostock] |
| 13421 | 'Disjunctive Normal Form' is ensuring that no conjunction has a disjunction within its scope [Bostock] |
| 13422 | 'Conjunctive Normal Form' is ensuring that no disjunction has a conjunction within its scope [Bostock] |
| 13355 | 'Disjunction' says that Γ,φ∨ψ|= iff Γ,φ|= and Γ,ψ|= [Bostock] |
| 13350 | 'Assumptions' says that a formula entails itself (φ|=φ) [Bostock] |
| 13351 | 'Thinning' allows that if premisses entail a conclusion, then adding further premisses makes no difference [Bostock] |
| 13356 | The 'conditional' is that Γ|=φ→ψ iff Γ,φ|=ψ [Bostock] |
| 13352 | 'Cutting' allows that if x is proved, and adding y then proves z, you can go straight to z [Bostock] |
| 13353 | 'Negation' says that Γ,¬φ|= iff Γ|=φ [Bostock] |
| 13354 | 'Conjunction' says that Γ|=φ∧ψ iff Γ|=φ and Γ|=ψ [Bostock] |
| 13610 | A logic with ¬ and → needs three axiom-schemas and one rule as foundation [Bostock] |
| 18122 | Classical interdefinitions of logical constants and quantifiers is impossible in intuitionism [Bostock] |
| 13846 | A 'free' logic can have empty names, and a 'universally free' logic can have empty domains [Bostock] |
| 18114 | There is no single agreed structure for set theory [Bostock] |
| 18107 | A 'proper class' cannot be a member of anything [Bostock] |
| 18115 | We could add axioms to make sets either as small or as large as possible [Bostock] |
| 18139 | The Axiom of Choice relies on reference to sets that we are unable to describe [Bostock] |
| 18105 | Replacement enforces a 'limitation of size' test for the existence of sets [Bostock] |
| 7035 | God does not create the world, and then add the classes [Heil] |
| 18108 | First-order logic is not decidable: there is no test of whether any formula is valid [Bostock] |
| 18109 | The completeness of first-order logic implies its compactness [Bostock] |
| 13346 | Truth is the basic notion in classical logic [Bostock] |
| 13545 | Elementary logic cannot distinguish clearly between the finite and the infinite [Bostock] |
| 13822 | Fictional characters wreck elementary logic, as they have contradictions and no excluded middle [Bostock] |
| 13623 | The syntactic turnstile |- φ means 'there is a proof of φ' or 'φ is a theorem' [Bostock] |
| 13347 | Validity is a conclusion following for premises, even if there is no proof [Bostock] |
| 13348 | It seems more natural to express |= as 'therefore', rather than 'entails' [Bostock] |
| 13349 | Γ|=φ is 'entails'; Γ|= is 'is inconsistent'; |=φ is 'valid' [Bostock] |
| 13614 | MPP: 'If Γ|=φ and Γ|=φ→ψ then Γ|=ψ' (omit Γs for Detachment) [Bostock] |
| 13617 | MPP is a converse of Deduction: If Γ |- φ→ψ then Γ,φ|-ψ [Bostock] |
| 13799 | The sign '=' is a two-place predicate expressing that 'a is the same thing as b' (a=b) [Bostock] |
| 13800 | |= α=α and α=β |= φ(α/ξ ↔ φ(β/ξ) fix identity [Bostock] |
| 13803 | If we are to express that there at least two things, we need identity [Bostock] |
| 13357 | Truth-functors are usually held to be defined by their truth-tables [Bostock] |
| 13812 | A 'zero-place' function just has a single value, so it is a name [Bostock] |
| 13811 | A 'total' function ranges over the whole domain, a 'partial' function over appropriate inputs [Bostock] |
| 13360 | In logic, a name is just any expression which refers to a particular single object [Bostock] |
| 13361 | An expression is only a name if it succeeds in referring to a real object [Bostock] |
| 13814 | Definite desciptions resemble names, but can't actually be names, if they don't always refer [Bostock] |
| 13816 | Because of scope problems, definite descriptions are best treated as quantifiers [Bostock] |
| 13817 | Definite descriptions are usually treated like names, and are just like them if they uniquely refer [Bostock] |
| 13848 | We are only obliged to treat definite descriptions as non-names if only the former have scope [Bostock] |
| 13813 | Definite descriptions don't always pick out one thing, as in denials of existence, or errors [Bostock] |
| 13815 | Names do not have scope problems (e.g. in placing negation), but Russell's account does have that problem [Bostock] |
| 13438 | 'Prenex normal form' is all quantifiers at the beginning, out of the scope of truth-functors [Bostock] |
| 13818 | If we allow empty domains, we must allow empty names [Bostock] |
| 18123 | Substitutional quantification is just standard if all objects in the domain have a name [Bostock] |
| 13801 | An 'informal proof' is in no particular system, and uses obvious steps and some ordinary English [Bostock] |
| 13619 | Quantification adds two axiom-schemas and a new rule [Bostock] |
| 13622 | Axiom systems from Frege, Russell, Church, Lukasiewicz, Tarski, Nicod, Kleene, Quine... [Bostock] |
| 13615 | 'Conditonalised' inferences point to the Deduction Theorem: If Γ,φ|-ψ then Γ|-φ→ψ [Bostock] |
| 13620 | Proof by Assumptions can always be reduced to Proof by Axioms, using the Deduction Theorem [Bostock] |
| 13621 | The Deduction Theorem and Reductio can 'discharge' assumptions - they aren't needed for the new truth [Bostock] |
| 13616 | The Deduction Theorem greatly simplifies the search for proof [Bostock] |
| 13753 | Natural deduction takes proof from assumptions (with its rules) as basic, and axioms play no part [Bostock] |
| 13755 | Excluded middle is an introduction rule for negation, and ex falso quodlibet will eliminate it [Bostock] |
| 13758 | In natural deduction we work from the premisses and the conclusion, hoping to meet in the middle [Bostock] |
| 13754 | Natural deduction rules for → are the Deduction Theorem (→I) and Modus Ponens (→E) [Bostock] |
| 18120 | The Deduction Theorem is what licenses a system of natural deduction [Bostock] |
| 13611 | Tableau proofs use reduction - seeking an impossible consequence from an assumption [Bostock] |
| 13613 | A completed open branch gives an interpretation which verifies those formulae [Bostock] |
| 13612 | Non-branching rules add lines, and branching rules need a split; a branch with a contradiction is 'closed' [Bostock] |
| 13761 | In a tableau proof no sequence is established until the final branch is closed; hypotheses are explored [Bostock] |
| 13757 | Unlike natural deduction, semantic tableaux have recipes for proving things [Bostock] |
| 13756 | A tree proof becomes too broad if its only rule is Modus Ponens [Bostock] |
| 13762 | Tableau rules are all elimination rules, gradually shortening formulae [Bostock] |
| 13759 | Each line of a sequent calculus is a conclusion of previous lines, each one explicitly recorded [Bostock] |
| 13760 | A sequent calculus is good for comparing proof systems [Bostock] |
| 13364 | Interpretation by assigning objects to names, or assigning them to variables first [Bostock, by PG] |
| 13821 | Extensionality is built into ordinary logic semantics; names have objects, predicates have sets of objects [Bostock] |
| 13362 | If an object has two names, truth is undisturbed if the names are swapped; this is Extensionality [Bostock] |
| 13541 | For 'negation-consistent', there is never |-(S)φ and |-(S)¬φ [Bostock] |
| 13542 | A proof-system is 'absolutely consistent' iff we don't have |-(S)φ for every formula [Bostock] |
| 13540 | A set of formulae is 'inconsistent' when there is no interpretation which can make them all true [Bostock] |
| 13544 | Inconsistency or entailment just from functors and quantifiers is finitely based, if compact [Bostock] |
| 13618 | Compactness means an infinity of sequents on the left will add nothing new [Bostock] |
| 6007 | If you know your father, but don't recognise your father veiled, you know and don't know the same person [Eubulides, by Dancy,R] |
| 18125 | Berry's Paradox considers the meaning of 'The least number not named by this name' [Bostock] |
| 6006 | If you say truly that you are lying, you are lying [Eubulides, by Dancy,R] |
| 6008 | Removing one grain doesn't destroy a heap, so a heap can't be destroyed [Eubulides, by Dancy,R] |
| 18101 | Each addition changes the ordinality but not the cardinality, prior to aleph-1 [Bostock] |
| 18100 | ω + 1 is a new ordinal, but its cardinality is unchanged [Bostock] |
| 18102 | A cardinal is the earliest ordinal that has that number of predecessors [Bostock] |
| 18106 | Aleph-1 is the first ordinal that exceeds aleph-0 [Bostock] |
| 18095 | Instead of by cuts or series convergence, real numbers could be defined by axioms [Bostock] |
| 18099 | The number of reals is the number of subsets of the natural numbers [Bostock] |
| 18093 | For Eudoxus cuts in rationals are unique, but not every cut makes a real number [Bostock] |
| 18518 | Infinite numbers are qualitatively different - they are not just very large numbers [Heil] |
| 18110 | Infinitesimals are not actually contradictory, because they can be non-standard real numbers [Bostock] |
| 18156 | Modern axioms of geometry do not need the real numbers [Bostock] |
| 18097 | The Peano Axioms describe a unique structure [Bostock] |
| 13358 | Ordinary or mathematical induction assumes for the first, then always for the next, and hence for all [Bostock] |
| 13359 | Complete induction assumes for all numbers less than n, then also for n, and hence for all numbers [Bostock] |
| 18148 | Hume's Principle is a definition with existential claims, and won't explain numbers [Bostock] |
| 18145 | Many things will satisfy Hume's Principle, so there are many interpretations of it [Bostock] |
| 18149 | There are many criteria for the identity of numbers [Bostock] |
| 18143 | Frege makes numbers sets to solve the Caesar problem, but maybe Caesar is a set! [Bostock] |
| 18116 | Numbers can't be positions, if nothing decides what position a given number has [Bostock] |
| 18117 | Structuralism falsely assumes relations to other numbers are numbers' only properties [Bostock] |
| 18500 | How could structures be mathematical truthmakers? Maths is just true, without truthmakers [Heil] |
| 18141 | Nominalism about mathematics is either reductionist, or fictionalist [Bostock] |
| 18157 | Nominalism as based on application of numbers is no good, because there are too many applications [Bostock] |
| 18150 | Actual measurement could never require the precision of the real numbers [Bostock] |
| 18158 | Ordinals are mainly used adjectively, as in 'the first', 'the second'... [Bostock] |
| 18127 | Simple type theory has 'levels', but ramified type theory has 'orders' [Bostock] |
| 18144 | Neo-logicists agree that HP introduces number, but also claim that it suffices for the job [Bostock] |
| 18147 | Neo-logicists meet the Caesar problem by saying Hume's Principle is unique to number [Bostock] |
| 18146 | If Hume's Principle is the whole story, that implies structuralism [Bostock] |
| 18129 | Many crucial logicist definitions are in fact impredicative [Bostock] |
| 18111 | Treating numbers as objects doesn't seem like logic, since arithmetic fixes their totality [Bostock] |
| 18159 | Higher cardinalities in sets are just fairy stories [Bostock] |
| 18155 | A fairy tale may give predictions, but only a true theory can give explanations [Bostock] |
| 18140 | The best version of conceptualism is predicativism [Bostock] |
| 18138 | Conceptualism fails to grasp mathematical properties, infinity, and objective truth values [Bostock] |
| 18131 | If abstracta only exist if they are expressible, there can only be denumerably many of them [Bostock] |
| 18134 | Predicativism makes theories of huge cardinals impossible [Bostock] |
| 18135 | If mathematics rests on science, predicativism may be the best approach [Bostock] |
| 18136 | If we can only think of what we can describe, predicativism may be implied [Bostock] |
| 18132 | The predicativity restriction makes a difference with the real numbers [Bostock] |
| 18133 | The usual definitions of identity and of natural numbers are impredicative [Bostock] |
| 7017 | The reductionist programme dispenses with levels of reality [Heil] |
| 18539 | Our categories lack the neat arrangement needed for reduction [Heil] |
| 4616 | A higher level is 'supervenient' if it is determined by lower levels, but has its own natural laws [Heil] |
| 7003 | There are levels of organisation, complexity, description and explanation, but not of reality [Heil] |
| 7045 | Realism says some of our concepts 'cut nature at the joints' [Heil] |
| 7065 | Anti-realists who reduce reality to language must explain the existence of language [Heil] |
| 18505 | Fundamental ontology aims at the preconditions for any true theory [Heil] |
| 18499 | Our quantifications only reveal the truths we accept; the ontology and truthmakers are another matter [Heil] |
| 18512 | Ontology aims to give the fundamental categories of being [Heil] |
| 7020 | Concepts don't carve up the world, which has endless overlooked or ignored divisions [Heil] |
| 21339 | We want the ontology of relations, not just a formal way of specifying them [Heil] |
| 21349 | Two people are indirectly related by height; the direct relation is internal, between properties [Heil] |
| 21340 | Maybe all the other features of the world can be reduced to relations [Heil] |
| 18508 | Most philosophers now (absurdly) believe that relations fully exist [Heil] |
| 21348 | In the case of 5 and 6, their relational truthmaker is just the numbers [Heil] |
| 21351 | Truthmaking is a clear example of an internal relation [Heil] |
| 21344 | If R internally relates a and b, and you have a and b, you thereby have R [Heil] |
| 18532 | If causal relations are power manifestations, that makes them internal relations [Heil] |
| 13543 | A relation is not reflexive, just because it is transitive and symmetrical [Bostock] |
| 13802 | Relations can be one-many (at most one on the left) or many-one (at most one on the right) [Bostock] |
| 18510 | We need properties to explain how the world works [Heil] |
| 4603 | Functionalists in Fodor's camp usually say that a genuine property is one that figures in some causal laws [Heil] |
| 4617 | A stone does not possess the property of being a stone; its other properties make it a stone [Heil] |
| 18522 | Categorical properties were introduced by philosophers as actual properties, not if-then properties [Heil] |
| 4615 | Complex properties are not new properties, they are merely new combinations of properties [Heil] |
| 18513 | Emergent properties will need emergent substances to bear them [Heil] |
| 4612 | Complex properties are just arrangements of simple properties; they do not "emerge" as separate [Heil] |
| 7007 | I think of properties as simultaneously dispositional and qualitative [Heil] |
| 18540 | Predicates only match properties at the level of fundamentals [Heil] |
| 4587 | From the property predicates P and Q, we can get 'P or Q', but it doesn't have to designate another property [Heil] |
| 7015 | A predicate applies truly if it picks out a real property of objects [Heil] |
| 18533 | In Fa, F may not be a property of a, but a determinable, satisfied by some determinate [Heil] |
| 18511 | Properties have causal roles which sets can't possibly have [Heil] |
| 7042 | A theory of universals says similarity is identity of parts; for modes, similarity is primitive [Heil] |
| 4611 | The supporters of 'tropes' treat objects as bundles of tropes, when I think objects 'possess' properties [Heil] |
| 7023 | Powers or dispositions are usually seen as caused by lower-level qualities [Heil] |
| 21350 | If properties are powers, then causal relations are internal relations [Heil] |
| 18523 | Are all properties powers, or are there also qualities, or do qualities have the powers? [Heil] |
| 18524 | Properties are both qualitative and dispositional - they are powerful qualities [Heil] |
| 7025 | Are a property's dispositions built in, or contingently added? [Heil] |
| 7034 | Universals explain one-over-many relations, and similar qualities, and similar behaviour [Heil] |
| 7039 | How could you tell if the universals were missing from a world of instances? [Heil] |
| 7009 | Similarity among modes will explain everthing universals were for [Heil] |
| 7041 | Similar objects have similar properties; properties are directly similar [Heil] |
| 7032 | Objects join sets because of properties; the property is not bestowed by set membership [Heil] |
| 7008 | Trope theorists usually see objects as 'bundles' of tropes [Heil] |
| 7018 | Objects are substances, which are objects considered as the bearer of properties [Heil] |
| 18498 | Abstract objects wouldn't be very popular without the implicit idea of truthmakers [Heil] |
| 18507 | Substances bear properties, so must be simple, and not consist of further substances [Heil] |
| 7019 | Maybe there is only one substance, space-time or a quantum field [Heil] |
| 7046 | Rather than 'substance' I use 'objects', which have properties [Heil] |
| 7047 | Statues and bronze lumps have discernible differences, so can't be identical [Heil] |
| 7048 | Do we reduce statues to bronze, or eliminate statues, or allow statues and bronze? [Heil] |
| 18515 | Spatial parts are just regions, but objects depend on and are made up of substantial parts [Heil] |
| 18516 | A 'gunky' universe would literally have no parts at all [Heil] |
| 18514 | Many wholes can survive replacement of their parts [Heil] |
| 18517 | Dunes depend on sand grains, but line segments depend on the whole line [Heil] |
| 4592 | If you can have the boat without its current planks, and the planks with no boat, the planks aren't the boat [Heil] |
| 13847 | If non-existent things are self-identical, they are just one thing - so call it the 'null object' [Bostock] |
| 13820 | The idea that anything which can be proved is necessary has a problem with empty names [Bostock] |
| 18502 | If basic physics has natures, then why not reality itself? That would then found the deepest necessities [Heil] |
| 4586 | You can't embrace the formal apparatus of possible worlds, but reject the ontology [Heil] |
| 18496 | If possible worlds are just fictions, they can't be truthmakers for modal judgements [Heil] |
| 4591 | Idealism explains appearances by identifying appearances with reality [Heil] |
| 7030 | Properties don't possess ways they are, because that just is the property [Heil] |
| 7028 | If properties were qualities without dispositions, they would be undetectable [Heil] |
| 7029 | Can we distinguish the way a property is from the property? [Heil] |
| 7051 | Objects only have secondary qualities because they have primary qualities [Heil] |
| 7044 | Secondary qualities are just primary qualities considered in the light of their effect on us [Heil] |
| 7052 | Colours aren't surface properties, because of radiant sources and the colour of the sky [Heil] |
| 7053 | Treating colour as light radiation has the implausible result that tomatoes are not red [Heil] |
| 7066 | If the world is just texts or social constructs, what are texts and social constructs? [Heil] |
| 7021 | If the world is theory-dependent, the theories themselves can't be theory-dependent [Heil] |
| 7026 | Science is sometimes said to classify powers, neglecting qualities [Heil] |
| 7060 | One form of explanation is by decomposition [Heil] |
| 4610 | Different generations focus on either the quality of mind, or its scientific standing, or the content of thought [Heil] |
| 4618 | If minds are realised materially, it looks as if the material laws will pre-empt any causal role for mind [Heil] |
| 4621 | Whatever exists has qualities, so it is no surprise that states of minds have qualities [Heil] |
| 4623 | Propositional attitudes are not the only intentional states; there is also mental imagery [Heil] |
| 4626 | The widespread externalist view says intentionality has content because of causal links of agent to world [Heil] |
| 7010 | Dispositionality provides the grounding for intentionality [Heil] |
| 7054 | Intentionality now has internalist (intrinsic to thinkers) and externalist (environment or community) views [Heil] |
| 7011 | Qualia are not extra appendages, but intrinsic ingredients of material states and processes [Heil] |
| 18525 | Mental abstraction does not make what is abstracted mind-dependent [Heil] |
| 18504 | Only particulars exist, and generality is our mode of presentation [Heil] |
| 4622 | Error must be possible in introspection, because error is possible in all judgements [Heil] |
| 4590 | If causation is just regularities in events, the interaction of mind and body is not a special problem [Heil] |
| 7061 | Philosophers' zombies aim to show consciousness is over and above the physical world [Heil] |
| 7063 | Zombies are based on the idea that consciousness relates contingently to the physical [Heil] |
| 7064 | Functionalists deny zombies, since identity of functional state means identity of mental state [Heil] |
| 4614 | Disposition is a fundamental feature of reality, since basic particles are capable of endless possible interactions [Heil] |
| 4595 | No mental state entails inevitable behaviour, because other beliefs or desires may intervene [Heil] |
| 7027 | Functionalists say objects can be the same in disposition but differ in quality [Heil] |
| 4599 | Hearts are material, but functionalism says the property of being a heart is not a material property [Heil] |
| 4624 | If you are a functionalist, there appears to be no room for qualia [Heil] |
| 7062 | Functionalism cannot explain consciousness just by functional organisation [Heil] |
| 4601 | Higher-level sciences cannot be reduced, because their concepts mark boundaries invisible at lower levels [Heil] |
| 4602 | Higher-level sciences designate real properties of objects, which are not reducible to lower levels [Heil] |
| 4593 | 'Property dualism' says mind and body are not substances, but distinct families of properties [Heil] |
| 7059 | The 'explanatory gap' is used to say consciousness is inexplicable, at least with current concepts [Heil] |
| 4597 | Early identity theory talked of mind and brain 'processes', but now the focus is properties [Heil] |
| 4609 | It seems contradictory to be asked to believe that we can be eliminativist about beliefs [Heil] |
| 4596 | The appeal of the identity theory is its simplicity, and its solution to the mental causation problem [Heil] |
| 7012 | If a car is a higher-level entity, distinct from its parts, how could it ever do anything? [Heil] |
| 4598 | Functionalists emphasise that mental processes are not to be reduced to what realises them [Heil] |
| 4619 | 'Multiple realisability' needs to clearly distinguish low-level realisers from what is realised [Heil] |
| 4620 | Multiple realisability is not a relation among properties, but an application of predicates to resembling things [Heil] |
| 7043 | Multiple realisability is actually one predicate applying to a diverse range of properties [Heil] |
| 4594 | A scientist could know everything about the physiology of headaches, but never have had one [Heil] |
| 4625 | Is mental imagery pictorial, or is it propositional? [Heil] |
| 18503 | You can think of tomatoes without grasping what they are [Heil] |
| 4607 | Folk psychology and neuroscience are no more competitors than cartography and geology are [Heil] |
| 18537 | Linguistic thought is just as imagistic as non-linguistic thought [Heil] |
| 18538 | Non-conscious thought may be unlike conscious thought [Heil] |
| 7058 | Externalism is causal-historical, or social, or biological [Heil] |
| 7057 | Intentionality is based in dispositions, which are intrinsic to agents, suggesting internalism [Heil] |
| 7013 | The Picture Theory claims we can read reality from our ways of speaking about it [Heil] |
| 4605 | Truth-conditions correspond to the idea of 'literal meaning' [Heil] |
| 4606 | To understand 'birds warble' and 'tigers growl', you must also understand 'tigers warble' [Heil] |
| 13363 | A (modern) predicate is the result of leaving a gap for the name in a sentence [Bostock] |
| 18536 | The subject-predicate form reflects reality [Heil] |
| 4604 | If propositions are abstract entities, how do human beings interact with them? [Heil] |
| 7002 | If propositions are states of affairs or sets of possible worlds, these lack truth values [Heil] |
| 18121 | In logic a proposition means the same when it is and when it is not asserted [Bostock] |
| 18497 | Many reject 'moral realism' because they can't see any truthmakers for normative judgements [Heil] |
| 18519 | If there were infinite electrons, they could vanish without affecting total mass-energy [Heil] |
| 18526 | We should focus on actual causings, rather than on laws and causal sequences [Heil] |
| 18527 | Probabilistic causation is not a weak type of cause; it is just a probability of there being a cause [Heil] |
| 7016 | The standard view is that causal sequences are backed by laws, and between particular events [Heil] |
| 18520 | Electrons are treated as particles, but they lose their individuality in relations [Heil] |
| 18501 | Maybe the universe is fine-tuned because it had to be, despite plans by God or Nature? [Heil] |
| 7036 | The real natural properties are sparse, but there are many complex properties [Heil] |