77 ideas
| 3348 | If phenomenology is deprived of the synthetic a priori, it is reduced to literature [Benardete,JA on Husserl] |
| 15570 | Phenomenology is the science of essences - necessary universal structures for art, representation etc. [Husserl, by Polt] |
| 7614 | Bracketing subtracts entailments about external reality from beliefs [Husserl, by Putnam] |
| 6893 | Phenomenology aims to describe experience directly, rather than by its origins or causes [Husserl, by Mautner] |
| 22216 | Phenomenology studies different types of correlation between consciousness and its objects [Husserl, by Bernet] |
| 21217 | Phenomenology needs absolute reflection, without presuppositions [Husserl] |
| 22218 | There can only be a science of fluctuating consciousness if it focuses on stable essences [Husserl, by Bernet] |
| 22217 | Phenomenology aims to validate objects, on the basis of intentional intuitive experience [Husserl, by Bernet] |
| 22219 | Husserl saw transcendental phenomenology as idealist, in its construction of objects [Husserl, by Bernet] |
| 22204 | Start philosophising with no preconceptions, from the intuitively non-theoretical self-given [Husserl] |
| 22207 | Epoché or 'bracketing' is refraining from judgement, even when some truths are certain [Husserl] |
| 22208 | 'Bracketing' means no judgements at all about spatio-temporal existence [Husserl] |
| 22210 | After everything is bracketed, consciousness still has a unique being of its own [Husserl] |
| 22215 | Phenomenology describes consciousness, in the light of pure experiences [Husserl] |
| 10633 | 'Some critics admire only one another' cannot be paraphrased in singular first-order [Linnebo] |
| 22201 | The use of mathematical-style definitions in philosophy is fruitless and harmful [Husserl] |
| 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] |
| 21222 | Logicians presuppose a world, and ignore logic/world connections, so their logic is impure [Husserl, by Velarde-Mayol] |
| 21223 | Phenomenology grounds logic in subjective experience [Husserl, by Velarde-Mayol] |
| 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] |
| 9837 | 0 is not a number, as it answers 'how many?' negatively [Husserl, by Dummett] |
| 9576 | Multiplicity in general is just one and one and one, etc. [Husserl] |
| 17444 | Husserl said counting is more basic than Frege's one-one correspondence [Husserl, by Heck] |
| 21224 | Pure mathematics is the relations between all possible objects, and is thus formal ontology [Husserl, by Velarde-Mayol] |
| 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] |
| 22209 | Our goal is to reveal a new hidden region of Being [Husserl] |
| 22211 | As a thing and its perception are separated, two modes of Being emerge [Husserl] |
| 14091 | There may be a one-way direction of dependence among sets, and among natural numbers [Linnebo] |
| 21226 | Husserl sees the ego as a monad, unifying presence, sense and intentional acts [Husserl, by Velarde-Mayol] |
| 22202 | The World is all experiencable objects [Husserl] |
| 22213 | Absolute reality is an absurdity [Husserl] |
| 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] |
| 21218 | The sense of anything contingent has a purely apprehensible essence or Eidos [Husserl] |
| 19263 | Imagine an object's properties varying; the ones that won't vary are the essential ones [Husserl, by Vaidya] |
| 21220 | The physical given, unlike the mental given, could be non-existing [Husserl] |
| 21216 | Husserl says we have intellectual intuitions (of categories), as well as of the senses [Husserl, by Velarde-Mayol] |
| 22205 | Feelings of self-evidence (and necessity) are just the inventions of theory [Husserl] |
| 21221 | Direct 'seeing' by consciousness is the ultimate rational legitimation [Husserl] |
| 22220 | The phenomena of memory are given in the present, but as being past [Husserl, by Bernet] |
| 22206 | Natural science has become great by just ignoring ancient scepticism [Husserl] |
| 22221 | We know another's mind via bodily expression, while also knowing it is inaccessible [Husserl, by Bernet] |
| 21228 | Husserl's monads (egos) communicate, through acts of empathy. [Husserl, by Velarde-Mayol] |
| 22212 | Pure consciousness is a sealed off system of actual Being [Husserl] |
| 9575 | Husserl identifies a positive mental act of unification, and a negative mental act for differences [Husserl, by Frege] |
| 21225 | The psychological ego is worldly, and the pure ego follows transcendental reduction [Husserl, by Velarde-Mayol] |
| 22214 | We never meet the Ego, as part of experience, or as left over from experience [Husserl] |
| 21214 | We clarify concepts (e.g. numbers) by determining their psychological origin [Husserl, by Velarde-Mayol] |
| 9819 | Psychologism blunders in focusing on concept-formation instead of delineating the concepts [Dummett on Husserl] |
| 9851 | Husserl wanted to keep a shadowy remnant of abstracted objects, to correlate them [Dummett on Husserl] |
| 10634 | Predicates are 'distributive' or 'non-distributive'; do individuals do what the group does? [Linnebo] |
| 22203 | Only facts follow from facts [Husserl] |
| 1513 | The Egyptians were the first to say the soul is immortal and reincarnated [Herodotus] |