121 ideas
22659 | It is wisdom to believe what you desire, because belief is needed to achieve it [James] |
22657 | All good philosophers start from a dumb conviction about which truths can be revealed [James] |
22647 | A complete system is just a classification of the whole world's ingredients [James] |
17651 | Without words or other symbols, we have no world [Goodman] |
22648 | A single explanation must have a single point of view [James] |
22642 | Man has an intense natural interest in the consistency of his own thinking [James] |
22644 | Our greatest pleasure is the economy of reducing chaotic facts to one single fact [James] |
6710 | You can only define a statement that something is 'true' by referring to its functional possibilities [James] |
17652 | Truth is irrelevant if no statements are involved [Goodman] |
18986 | Truth is just a name for verification-processes [James] |
18983 | In many cases there is no obvious way in which ideas can agree with their object [James] |
18972 | Ideas are true in so far as they co-ordinate our experiences [James] |
18973 | New opinions count as 'true' if they are assimilated to an individual's current beliefs [James] |
18984 | True ideas are those we can assimilate, validate, corroborate and verify (and false otherwise) [James] |
22305 | If the hypothesis of God is widely successful, it is true [James] |
10073 | There cannot be a set theory which is complete [Smith,P] |
15510 | Classes are a host of ethereal, platonic, pseudo entities [Goodman] |
9920 | Two objects can apparently make up quite distinct arrangements in sets [Goodman, by Burgess/Rosen] |
10657 | The counties of Utah, and the state, and its acres, are in no way different [Goodman] |
10616 | Second-order arithmetic can prove new sentences of first-order [Smith,P] |
12394 | If the result is bad, we change the rule; if we like the rule, we reject the result [Goodman] |
10076 | The 'range' of a function is the set of elements in the output set created by the function [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] |
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] |
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] |
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] |
10078 | An 'injective' ('one-to-one') function creates a distinct output element from each original [Smith,P] |
10077 | A 'surjective' ('onto') function creates every element of the output set [Smith,P] |
10079 | A 'bijective' function has one-to-one correspondence in both directions [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] |
10080 | 'Effective' means simple, unintuitive, independent, controlled, dumb, and terminating [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] |
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] |
10608 | The number of Fs is the 'successor' of the Gs if there is a single F that isn't G [Smith,P] |
10618 | All numbers are related to zero by the ancestral of the successor relation [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] |
10848 | Multiplication only generates incompleteness if combined with addition and successor [Smith,P] |
10604 | Incompleteness results in arithmetic from combining addition and successor with multiplication [Smith,P] |
17656 | Being primitive or prior always depends on a constructional system [Goodman] |
17661 | We don't recognise patterns - we invent them [Goodman] |
17659 | Reality is largely a matter of habit [Goodman] |
17657 | We build our world, and ignore anything that won't fit [Goodman] |
22641 | Realities just are, and beliefs are true of them [James] |
22649 | Classification can only ever be for a particular purpose [James] |
17654 | A world can be full of variety or not, depending on how we sort it [Goodman] |
10617 | The 'ancestral' of a relation is a new relation which creates a long chain of the original relation [Smith,P] |
14292 | Dispositions seem more ethereal than behaviour; a non-occult account of them would be nice [Goodman] |
7956 | If all and only red things were round things, we would need to specify the 'respect' of the resemblance [Goodman, by Macdonald,C] |
7957 | Without respects of resemblance, we would collect blue book, blue pen, red pen, red clock together [Goodman, by Macdonald,C] |
7952 | If we apply the same word to different things, it is only because we are willing to do so [Goodman, by Macdonald,C] |
18987 | A 'thing' is simply carved out of reality for human purposes [James] |
18981 | 'Substance' is just a word for groupings and structures in experience [James] |
17653 | Things can only be judged the 'same' by citing some respect of sameness [Goodman] |
12191 | Counterfactuals are true if logical or natural laws imply the consequence [Goodman, by McFetridge] |
18974 | Truth is a species of good, being whatever proves itself good in the way of belief [James] |
18989 | Pragmatism accepts any hypothesis which has useful consequences [James] |
17660 | Discovery is often just finding a fit, like a jigsaw puzzle [Goodman] |
22640 | We find satisfaction in consistency of all of our beliefs, perceptions and mental connections [James] |
22655 | Scientific genius extracts more than other people from the same evidence [James] |
22658 | Experimenters assume the theory is true, and stick to it as long as result don't disappoint [James] |
18971 | Theories are practical tools for progress, not answers to enigmas [James] |
18985 | True thoughts are just valuable instruments of action [James] |
18982 | Pragmatism says all theories are instrumental - that is, mental modes of adaptation to reality [James] |
17658 | Users of digital thermometers recognise no temperatures in the gaps [Goodman] |
17650 | We lack frames of reference to transform physics, biology and psychology into one another [Goodman] |
22654 | We can't know if the laws of nature are stable, but we must postulate it or assume it [James] |
18749 | Goodman argued that the confirmation relation can never be formalised [Goodman, by Horsten/Pettigrew] |
17646 | Goodman showed that every sound inductive argument has an unsound one of the same form [Goodman, by Putnam] |
17655 | Grue and green won't be in the same world, as that would block induction entirely [Goodman] |
22656 | Trying to assess probabilities by mere calculation is absurd and impossible [James] |
22646 | We have a passion for knowing the parts of something, rather than the whole [James] |
22652 | The mind has evolved entirely for practical interests, seen in our reflex actions [James] |
22651 | Dogs' curiosity only concerns what will happen next [James] |
9286 | Consciousness is not a stuff, but is explained by the relations between experiences [James] |
9285 | 'Consciousness' is a nonentity, a mere echo of the disappearing 'soul' [James] |
23981 | Rage is inconceivable without bodily responses; so there are no disembodied emotions [James] |
22650 | How can the ground of rationality be itself rational? [James] |
22643 | It seems that we feel rational when we detect no irrationality [James] |
18975 | We return to experience with concepts, where they show us differences [James] |
20440 | Art is a referential activity, hence indefinable, but it has a set of symptoms [Goodman] |
20439 | Artistic symbols are judged by the fruitfulness of their classifications [Goodman, by Giovannelli] |
8113 | Art is like understanding a natural language, and needs a grasp of a symbol system [Goodman, by Gardner] |
20438 | A performance is only an instance of a work if there is not a single error [Goodman] |
20437 | A copy only becomes an 'instance' of an artwork if there is a system of notation [Goodman] |
22660 | Evolution suggests prevailing or survival as a new criterion of right and wrong [James] |
6570 | Imagine millions made happy on condition that one person suffers endless lonely torture [James] |
17649 | If the world is one it has many aspects, and if there are many worlds they will collect into one [Goodman] |
22645 | Understanding by means of causes is useless if they are not reduced to a minimum number [James] |
4794 | We don't use laws to make predictions, we call things laws if we make predictions with them [Goodman] |
18980 | If there is a 'greatest knower', it doesn't follow that they know absolutely everything [James] |
18978 | It is hard to grasp a cosmic mind which produces such a mixture of goods and evils [James] |
18991 | If the God hypothesis works well, then it is true [James] |
18977 | The wonderful design of a woodpecker looks diabolical to its victims [James] |
18979 | Things with parts always have some structure, so they always appear to be designed [James] |
18976 | Private experience is the main evidence for God [James] |
22653 | Early Christianity says God recognises the neglected weak and tender impulses [James] |
18990 | Nirvana means safety from sense experience, and hindus and buddhists are just afraid of life [James] |