93 ideas
| 19579 | The history of philosophy is just experiments in how to do philosophy [Novalis] |
| 19583 | Philosophy only begins when it studies itself [Novalis] |
| 22026 | Philosophy is homesickness - the urge to be at home everywhere [Novalis] |
| 19588 | The highest aim of philosophy is to combine all philosophies into a unity [Novalis] |
| 19598 | Philosophy relies on our whole system of learning, and can thus never be complete [Novalis] |
| 19586 | Philosophers feed on problems, hoping they are digestible, and spiced with paradox [Novalis] |
| 19587 | Philosophy aims to produce a priori an absolute and artistic world system [Novalis] |
| 6887 | Linguistic philosophy approaches problems by attending to actual linguistic usage [Mautner] |
| 6881 | Analytic philosophy studies the unimportant, and sharpens tools instead of using them [Mautner] |
| 5439 | The 'hermeneutic circle' says parts and wholes are interdependent, and so cannot be interpreted [Mautner] |
| 17774 | Definitions make our intuitions mathematically useful [Mayberry] |
| 9959 | 'Real' definitions give the essential properties of things under a concept [Mautner] |
| 9961 | 'Contextual definitions' replace whole statements, not just expressions [Mautner] |
| 9958 | Recursive definition defines each instance from a previous instance [Mautner] |
| 9960 | A stipulative definition lays down that an expression is to have a certain meaning [Mautner] |
| 9957 | Ostensive definitions point to an object which an expression denotes [Mautner] |
| 17773 | Proof shows that it is true, but also why it must be true [Mayberry] |
| 6219 | The fallacy of composition is the assumption that what is true of the parts is true of the whole [Mautner] |
| 19574 | If man sacrifices truth he sacrifices himself, by acting against his own convictions [Novalis] |
| 19571 | Delusion and truth differ in their life functions [Novalis] |
| 6888 | Fuzzy logic is based on the notion that there can be membership of a set to some degree [Mautner] |
| 17795 | Set theory can't be axiomatic, because it is needed to express the very notion of axiomatisation [Mayberry] |
| 17796 | There is a semi-categorical axiomatisation of set-theory [Mayberry] |
| 17800 | The misnamed Axiom of Infinity says the natural numbers are finite in size [Mayberry] |
| 17801 | The set hierarchy doesn't rely on the dubious notion of 'generating' them [Mayberry] |
| 17803 | Limitation of size is part of the very conception of a set [Mayberry] |
| 17786 | The mainstream of modern logic sees it as a branch of mathematics [Mayberry] |
| 17788 | First-order logic only has its main theorems because it is so weak [Mayberry] |
| 17791 | Only second-order logic can capture mathematical structure up to isomorphism [Mayberry] |
| 19597 | Logic (the theory of relations) should be applied to mathematics [Novalis] |
| 6877 | Entailment is logical requirement; it may be not(p and not-q), but that has problems [Mautner] |
| 6880 | Strict implication says false propositions imply everything, and everything implies true propositions [Mautner] |
| 6879 | 'Material implication' is defined as 'not(p and not-q)', but seems to imply a connection between p and q [Mautner] |
| 6878 | A person who 'infers' draws the conclusion, but a person who 'implies' leaves it to the audience [Mautner] |
| 6889 | Vagueness seems to be inconsistent with the view that every proposition is true or false [Mautner] |
| 6890 | Quantifiers turn an open sentence into one to which a truth-value can be assigned [Mautner] |
| 17787 | Big logic has one fixed domain, but standard logic has a domain for each interpretation [Mayberry] |
| 17790 | No Löwenheim-Skolem logic can axiomatise real analysis [Mayberry] |
| 17779 | 'Classificatory' axioms aim at revealing similarity in morphology of structures [Mayberry] |
| 17778 | Axiomatiation relies on isomorphic structures being essentially the same [Mayberry] |
| 17780 | 'Eliminatory' axioms get rid of traditional ideal and abstract objects [Mayberry] |
| 17789 | No logic which can axiomatise arithmetic can be compact or complete [Mayberry] |
| 19581 | A problem is a solid mass, which the mind must break up [Novalis] |
| 17784 | Real numbers can be eliminated, by axiom systems for complete ordered fields [Mayberry] |
| 17782 | Greek quantities were concrete, and ratio and proportion were their science [Mayberry] |
| 17781 | Real numbers were invented, as objects, to simplify and generalise 'quantity' [Mayberry] |
| 19584 | Whoever first counted to two must have seen the possibility of infinite counting [Novalis] |
| 17799 | Cantor's infinite is an absolute, of all the sets or all the ordinal numbers [Mayberry] |
| 17797 | Cantor extended the finite (rather than 'taming the infinite') [Mayberry] |
| 17775 | If proof and definition are central, then mathematics needs and possesses foundations [Mayberry] |
| 17776 | The ultimate principles and concepts of mathematics are presumed, or grasped directly [Mayberry] |
| 17777 | Foundations need concepts, definition rules, premises, and proof rules [Mayberry] |
| 17804 | Axiom theories can't give foundations for mathematics - that's using axioms to explain axioms [Mayberry] |
| 17792 | 1st-order PA is only interesting because of results which use 2nd-order PA [Mayberry] |
| 17793 | It is only 2nd-order isomorphism which suggested first-order PA completeness [Mayberry] |
| 17794 | Set theory is not just first-order ZF, because that is inadequate for mathematics [Mayberry] |
| 17802 | We don't translate mathematics into set theory, because it comes embodied in that way [Mayberry] |
| 17805 | Set theory is not just another axiomatised part of mathematics [Mayberry] |
| 22025 | Novalis thought self-consciousness cannot disclose 'being', because we are temporal creatures [Novalis, by Pinkard] |
| 17785 | Real numbers as abstracted objects are now treated as complete ordered fields [Mayberry] |
| 19575 | Refinement of senses increasingly distinguishes individuals [Novalis] |
| 6882 | Counterfactuals presuppose a belief (or a fact) that the condition is false [Mautner] |
| 6886 | Counterfactuals are not true, they are merely valid [Mautner] |
| 6885 | Counterfactuals are true if in every world close to actual where p is the case, q is also the case [Mautner] |
| 6884 | Counterfactuals say 'If it had been, or were, p, then it would be q' [Mautner] |
| 6883 | Maybe counterfactuals are only true if they contain valid inference from premisses [Mautner] |
| 5449 | Essentialism is often identified with belief in 'de re' necessary truths [Mautner] |
| 6898 | Fallibilism is the view that all knowledge-claims are provisional [Mautner] |
| 22067 | Poetry is true idealism, and the self-consciousness of the universe [Novalis] |
| 6452 | 'Sense-data' arrived in 1910, but it denotes ideas in Locke, Berkeley and Hume [Mautner] |
| 19572 | Experiences tests reason, and reason tests experience [Novalis] |
| 19590 | Empiricists are passive thinkers, given their philosophy by the external world and fate [Novalis] |
| 19594 | General statements about nature are not valid [Novalis] |
| 4783 | Observing lots of green x can confirm 'all x are green' or 'all x are grue', where 'grue' is arbitrary [Mautner, by PG] |
| 4782 | 'All x are y' is equivalent to 'all non-y are non-x', so observing paper is white confirms 'ravens are black' [Mautner, by PG] |
| 19591 | Desire for perfection is an illness, if it turns against what is imperfect [Novalis] |
| 19596 | The whole body is involved in the formation of thoughts [Novalis] |
| 19573 | The seat of the soul is where our inner and outer worlds interpenetrate [Novalis] |
| 19577 | Everything is a chaotic unity, then we abstract, then we reunify the world into a free alliance [Novalis] |
| 6899 | The references of indexicals ('there', 'now', 'I') depend on the circumstances of utterance [Mautner] |
| 19585 | Every person has his own language [Novalis] |
| 6896 | Double effect is the distinction between what is foreseen and what is intended [Mautner] |
| 6897 | Double effect acts need goodness, unintended evil, good not caused by evil, and outweighing [Mautner] |
| 19578 | Only self-illuminated perfect individuals are beautiful [Novalis] |
| 19582 | Morality and philosophy are mutually dependent [Novalis] |
| 5452 | 'Essentialism' is opposed to existentialism, and claims there is a human nature [Mautner] |
| 22027 | Life isn't given to us like a novel - we write the novel [Novalis] |
| 19589 | The whole point of a monarch is that we accept them as a higher-born, ideal person [Novalis] |
| 19580 | If the pupil really yearns for the truth, they only need a hint [Novalis] |
| 19593 | Persons are shaped by a life history; splendid persons are shaped by world history [Novalis] |
| 19595 | Nature is a whole, and its individual parts cannot be wholly understood [Novalis] |
| 19592 | The basic relations of nature are musical [Novalis] |
| 19576 | Religion needs an intermediary, because none of us can connect directly to a godhead [Novalis] |