66 ideas
20121 | Grammar only reveals popular metaphysics [Nietzsche] |
24082 | Is the will to truth the desire to avoid deception? [Nietzsche] |
10888 | Sets can be defined by 'enumeration', or by 'abstraction' (based on a property) [Zalabardo] |
10889 | The 'Cartesian Product' of two sets relates them by pairing every element with every element [Zalabardo] |
10890 | A 'partial ordering' is reflexive, antisymmetric and transitive [Zalabardo] |
10886 | Determinacy: an object is either in a set, or it isn't [Zalabardo] |
10887 | Specification: Determinate totals of objects always make a set [Zalabardo] |
10897 | A first-order 'sentence' is a formula with no free variables [Zalabardo] |
10893 | Γ |= φ for sentences if φ is true when all of Γ is true [Zalabardo] |
10899 | Γ |= φ if φ is true when all of Γ is true, for all structures and interpretations [Zalabardo] |
8729 | Intuitionists deny excluded middle, because it is committed to transcendent truth or objects [Shapiro] |
10896 | Propositional logic just needs ¬, and one of ∧, ∨ and → [Zalabardo] |
10898 | The semantics shows how truth values depend on instantiations of properties and relations [Zalabardo] |
10902 | We can do semantics by looking at given propositions, or by building new ones [Zalabardo] |
10892 | We make a truth assignment to T and F, which may be true and false, but merely differ from one another [Zalabardo] |
10895 | 'Logically true' (|= φ) is true for every truth-assignment [Zalabardo] |
10900 | Logically true sentences are true in all structures [Zalabardo] |
10894 | A sentence-set is 'satisfiable' if at least one truth-assignment makes them all true [Zalabardo] |
10901 | Some formulas are 'satisfiable' if there is a structure and interpretation that makes them true [Zalabardo] |
10903 | A structure models a sentence if it is true in the model, and a set of sentences if they are all true in the model [Zalabardo] |
8763 | The number 3 is presumably identical as a natural, an integer, a rational, a real, and complex [Shapiro] |
18249 | Cauchy gave a formal definition of a converging sequence. [Shapiro] |
8764 | Categories are the best foundation for mathematics [Shapiro] |
10891 | If a set is defined by induction, then proof by induction can be applied to it [Zalabardo] |
8762 | Two definitions of 3 in terms of sets disagree over whether 1 is a member of 3 [Shapiro] |
8760 | Numbers do not exist independently; the essence of a number is its relations to other numbers [Shapiro] |
8761 | A 'system' is related objects; a 'pattern' or 'structure' abstracts the pure relations from them [Shapiro] |
8744 | Logicism seems to be a non-starter if (as is widely held) logic has no ontology of its own [Shapiro] |
8749 | Term Formalism says mathematics is just about symbols - but real numbers have no names [Shapiro] |
8750 | Game Formalism is just a matter of rules, like chess - but then why is it useful in science? [Shapiro] |
8752 | Deductivism says mathematics is logical consequences of uninterpreted axioms [Shapiro] |
8753 | Critics resent the way intuitionism cripples mathematics, but it allows new important distinctions [Shapiro] |
8731 | Conceptualist are just realists or idealist or nominalists, depending on their view of concepts [Shapiro] |
8730 | 'Impredicative' definitions refer to the thing being described [Shapiro] |
20360 | We Germans value becoming and development more highly than mere being of what 'is' [Nietzsche] |
24077 | Necessity is thought to require an event, but is only an after-effect of the event [Nietzsche] |
20126 | The strength of knowledge is not its truth, but its entrenchment in our culture [Nietzsche] |
20119 | We became increasingly conscious of our sense impressions in order to communicate them [Nietzsche] |
8725 | Rationalism tries to apply mathematical methodology to all of knowledge [Shapiro] |
20122 | We have no organ for knowledge or truth; we only 'know' what is useful to the human herd [Nietzsche] |
4423 | We assume causes, geometry, motion, bodies etc to live, but they haven't been proved [Nietzsche] |
6579 | Nietzsche's perspectivism says our worldview depends on our personality [Nietzsche, by Fogelin] |
24083 | It would be absurd to say we are only permitted our own single perspective [Nietzsche] |
20115 | All of our normal mental life could be conducted without consciousness [Nietzsche] |
20117 | Only the need for communication has led to consciousness developing [Nietzsche] |
20118 | Only our conscious thought is verbal, and this shows the origin of consciousness [Nietzsche] |
20116 | Most of our lives, even the important parts, take place outside of consciousness [Nietzsche] |
20120 | Whatever moves into consciousness becomes thereby much more superficial [Nietzsche] |
2932 | 'Know thyself' is impossible and ridiculous [Nietzsche] |
24078 | Thoughts cannot be fully reproduced in words [Nietzsche] |
24081 | Most of our intellectual activity is unconscious [Nietzsche] |
2933 | Why do you listen to the voice of your conscience? [Nietzsche] |
20141 | Higher human beings see and hear far more than others, and do it more thoughtfully [Nietzsche] |
24076 | A morality ranks human drives and actions, for the sake of the herd, and subordinating individuals [Nietzsche] |
22471 | Nietzsche thought it 'childish' to say morality isn't binding because it varies between cultures [Nietzsche, by Foot] |
2935 | No two actions are the same [Nietzsche] |
20198 | Many virtues are harmful traps, but that is why other people praise them [Nietzsche] |
4275 | You cannot advocate joyful wisdom while rejecting pity, because the two are complementary [Scruton on Nietzsche] |
2934 | To see one's own judgement as a universal law is selfish [Nietzsche] |
24080 | We should give style to our character - by applying an artistic plan to its strengths and weaknesses [Nietzsche] |
20125 | The ethical teacher exists to give purpose to what happens necessarily and without purpose [Nietzsche] |
9306 | To ward off boredom at any cost is vulgar [Nietzsche] |
24079 | The best life is the dangerous life [Nietzsche] |
2936 | Imagine if before each of your actions you had to accept repeating the action over and over again [Nietzsche] |
6842 | Nietzsche says facing up to the eternal return of meaninglessness is the response to nihilism [Nietzsche, by Critchley] |
2931 | God is dead, and we have killed him [Nietzsche] |