60 ideas
20455 | Philosophy really got started as the rival mode of discourse to tragedy [Critchley] |
20446 | Philosophy begins in disappointment, notably in religion and politics [Critchley] |
6848 | Humour is practically enacted philosophy [Critchley] |
6847 | Humour can give a phenomenological account of existence, and point to change [Critchley] |
7068 | If infatuation with science leads to bad scientism, its rejection leads to obscurantism [Critchley] |
6844 | Scientism is the view that everything can be explained causally through scientific method [Critchley] |
20449 | Science gives us an excessively theoretical view of life [Critchley] |
7075 | To meet the division in our life, try the Subject, Nature, Spirit, Will, Power, Praxis, Unconscious, or Being [Critchley] |
7069 | The French keep returning, to Hegel or Nietzsche or Marx [Critchley] |
6835 | German idealism aimed to find a unifying principle for Kant's various dualisms [Critchley] |
6837 | Since Hegel, continental philosophy has been linked with social and historical enquiry. [Critchley] |
6836 | Continental philosophy fights the threatened nihilism in the critique of reason [Critchley] |
6838 | Continental philosophy is based on critique, praxis and emancipation [Critchley] |
6845 | Continental philosophy has a bad tendency to offer 'one big thing' to explain everything [Critchley] |
6846 | Phenomenology is a technique of redescription which clarifies our social world [Critchley] |
20448 | Phenomenology uncovers and redescribes the pre-theoretical layer of life [Critchley] |
10633 | 'Some critics admire only one another' cannot be paraphrased in singular first-order [Linnebo] |
10779 | A comprehension axiom is 'predicative' if the formula has no bound second-order variables [Linnebo] |
23445 | Naïve set theory says any formula defines a set, and coextensive sets are identical [Linnebo] |
10781 | A 'pure logic' must be ontologically innocent, universal, and without presuppositions [Linnebo] |
10638 | A pure logic is wholly general, purely formal, and directly known [Linnebo] |
10783 | Plural quantification depends too heavily on combinatorial and set-theoretic considerations [Linnebo] |
10635 | Second-order quantification and plural quantification are different [Linnebo] |
10641 | Traditionally we eliminate plurals by quantifying over sets [Linnebo] |
10640 | Instead of complex objects like tables, plurally quantify over mereological atoms tablewise [Linnebo] |
10778 | Can second-order logic be ontologically first-order, with all the benefits of second-order? [Linnebo] |
10636 | Plural plurals are unnatural and need a first-level ontology [Linnebo] |
10639 | Plural quantification may allow a monadic second-order theory with first-order ontology [Linnebo] |
23447 | In classical semantics singular terms refer, and quantifiers range over domains [Linnebo] |
23443 | The axioms of group theory are not assertions, but a definition of a structure [Linnebo] |
23444 | To investigate axiomatic theories, mathematics needs its own foundational axioms [Linnebo] |
23446 | You can't prove consistency using a weaker theory, but you can use a consistent theory [Linnebo] |
23448 | Mathematics is the study of all possible patterns, and is thus bound to describe the world [Linnebo] |
14085 | 'Deductivist' structuralism is just theories, with no commitment to objects, or modality [Linnebo] |
14084 | Non-eliminative structuralism treats mathematical objects as positions in real abstract structures [Linnebo] |
14086 | 'Modal' structuralism studies all possible concrete models for various mathematical theories [Linnebo] |
14087 | 'Set-theoretic' structuralism treats mathematics as various structures realised among the sets [Linnebo] |
14089 | Structuralism differs from traditional Platonism, because the objects depend ontologically on their structure [Linnebo] |
14083 | Structuralism is right about algebra, but wrong about sets [Linnebo] |
14090 | In mathematical structuralism the small depends on the large, which is the opposite of physical structures [Linnebo] |
23441 | Logical truth is true in all models, so mathematical objects can't be purely logical [Linnebo] |
23442 | Game Formalism has no semantics, and Term Formalism reduces the semantics [Linnebo] |
16062 | A necessary relation between fact-levels seems to be a further irreducible fact [Lynch/Glasgow] |
14091 | There may be a one-way direction of dependence among sets, and among natural numbers [Linnebo] |
16061 | If some facts 'logically supervene' on some others, they just redescribe them, adding nothing [Lynch/Glasgow] |
16060 | Nonreductive materialism says upper 'levels' depend on lower, but don't 'reduce' [Lynch/Glasgow] |
16064 | The hallmark of physicalism is that each causal power has a base causal power under it [Lynch/Glasgow] |
10643 | We speak of a theory's 'ideological commitments' as well as its 'ontological commitments' [Linnebo] |
10637 | Ordinary speakers posit objects without concern for ontology [Linnebo] |
14088 | An 'intrinsic' property is either found in every duplicate, or exists independent of all externals [Linnebo] |
10782 | The modern concept of an object is rooted in quantificational logic [Linnebo] |
10634 | Predicates are 'distributive' or 'non-distributive'; do individuals do what the group does? [Linnebo] |
20454 | Wallace Stevens is the greatest philosophical poet of the twentieth century in English [Critchley] |
20456 | Interesting art is always organised around ethical demands [Critchley] |
20447 | The problems is not justifying ethics, but motivating it. Why should a self seek its good? [Critchley] |
7067 | Food first, then ethics [Critchley] |
6843 | Perceiving meaninglessness is an achievement, which can transform daily life [Critchley] |
20452 | Anarchism used to be libertarian (especially for sexuality), but now concerns responsibility [Critchley] |
20450 | The state, law, bureaucracy and capital are limitations on life, so I prefer federalist anarchism [Critchley] |
20451 | Belief that humans are wicked leads to authoritarian politics [Critchley] |