129 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] |
22217 | Phenomenology aims to validate objects, on the basis of intentional intuitive experience [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] |
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] |
9123 | Someone standing in a doorway seems to be both in and not-in the room [Priest,G, by Sorensen] |
22201 | The use of mathematical-style definitions in philosophy is fruitless and harmful [Husserl] |
15186 | In the tenseless view, all times are equally real, so statements of the future have truth-values [Le Poidevin] |
8720 | A logic is 'relevant' if premise and conclusion are connected, and 'paraconsistent' allows contradictions [Priest,G, by Friend] |
9672 | Free logic is one of the few first-order non-classical logics [Priest,G] |
9697 | X1 x X2 x X3... x Xn indicates the 'cartesian product' of those sets [Priest,G] |
9685 | <a,b&62; is a set whose members occur in the order shown [Priest,G] |
9674 | {x; A(x)} is a set of objects satisfying the condition A(x) [Priest,G] |
9673 | {a1, a2, ...an} indicates that a set comprising just those objects [Priest,G] |
9675 | a ∈ X says a is an object in set X; a ∉ X says a is not in X [Priest,G] |
9677 | Φ indicates the empty set, which has no members [Priest,G] |
9676 | {a} is the 'singleton' set of a (not the object a itself) [Priest,G] |
9678 | X⊆Y means set X is a 'subset' of set Y [Priest,G] |
9679 | X⊂Y means set X is a 'proper subset' of set Y [Priest,G] |
9681 | X = Y means the set X equals the set Y [Priest,G] |
9683 | X ∩ Y indicates the 'intersection' of sets X and Y, the objects which are in both sets [Priest,G] |
9684 | Y - X is the 'relative complement' of X with respect to Y; the things in Y that are not in X [Priest,G] |
9682 | X∪Y indicates the 'union' of all the things in sets X and Y [Priest,G] |
9692 | The 'union' of two sets is a set containing all the things in either of the sets [Priest,G] |
9693 | The 'intersection' of two sets is a set of the things that are in both sets [Priest,G] |
9694 | The 'relative complement' is things in the second set not in the first [Priest,G] |
9698 | The 'induction clause' says complex formulas retain the properties of their basic formulas [Priest,G] |
9696 | A 'cartesian product' of sets is the set of all the n-tuples with one member in each of the sets [Priest,G] |
9686 | A 'set' is a collection of objects [Priest,G] |
9687 | A 'member' of a set is one of the objects in the set [Priest,G] |
9695 | An 'ordered pair' (or ordered n-tuple) is a set with its members in a particular order [Priest,G] |
9688 | A 'singleton' is a set with only one member [Priest,G] |
9689 | The 'empty set' or 'null set' has no members [Priest,G] |
9690 | A set is a 'subset' of another set if all of its members are in that set [Priest,G] |
9691 | A 'proper subset' is smaller than the containing set [Priest,G] |
9680 | The empty set Φ is a subset of every set (including itself) [Priest,G] |
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] |
13373 | Typically, paradoxes are dealt with by dividing them into two groups, but the division is wrong [Priest,G] |
13368 | The 'least indefinable ordinal' is defined by that very phrase [Priest,G] |
13370 | 'x is a natural number definable in less than 19 words' leads to contradiction [Priest,G] |
13369 | By diagonalization we can define a real number that isn't in the definable set of reals [Priest,G] |
13366 | The least ordinal greater than the set of all ordinals is both one of them and not one of them [Priest,G] |
13367 | The next set up in the hierarchy of sets seems to be both a member and not a member of it [Priest,G] |
13372 | There are Liar Pairs, and Liar Chains, which fit the same pattern as the basic Liar [Priest,G] |
13371 | If you know that a sentence is not one of the known sentences, you know its truth [Priest,G] |
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] |
22209 | Our goal is to reveal a new hidden region of Being [Husserl] |
22919 | A thing which makes no difference seems unlikely to exist [Le Poidevin] |
22211 | As a thing and its perception are separated, two modes of Being emerge [Husserl] |
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] |
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] |
15207 | We want illuminating theories, rather than coherent theories [Le Poidevin] |
22926 | In addition to causal explanations, they can also be inferential, or definitional, or purposive [Le Poidevin] |
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] |
22932 | We don't just describe a time as 'now' from a private viewpoint, but as a fact about the world [Le Poidevin] |
22203 | Only facts follow from facts [Husserl] |
6866 | It is disturbing if we become unreal when we die, but if time is unreal, then we remain real after death [Le Poidevin] |
15190 | Evil can't be an illusion, because then the illusion that there is evil would be evil [Le Poidevin] |
6867 | Existentialism focuses on freedom and self-making, and insertion into the world [Le Poidevin] |
22927 | The logical properties of causation are asymmetry, transitivity and irreflexivity [Le Poidevin] |
22922 | We can identify unoccupied points in space, so they must exist [Le Poidevin] |
22924 | If spatial points exist, then they must be stationary, by definition [Le Poidevin] |
22923 | Absolute space explains actual and potential positions, and geometrical truths [Le Poidevin] |
22928 | For relationists moving an object beyond the edge of space creates new space [Le Poidevin] |
22931 | We distinguish time from space, because it passes, and it has a unique present moment [Le Poidevin] |
22921 | Temporal vacuums would be unexperienced, unmeasured, and unending [Le Poidevin] |
22917 | Since nothing occurs in a temporal vacuum, there is no way to measure its length [Le Poidevin] |
15195 | If the future is not real, we don't seem to have any obligation to future individuals [Le Poidevin] |
15188 | If things don't persist through time, then change makes no sense [Le Poidevin] |
22934 | Time can't speed up or slow down, so it doesn't seem to be a 'process' [Le Poidevin] |
15191 | At the very least, minds themselves seem to be tensed [Le Poidevin] |
15197 | Fiction seems to lack a tensed perspective, and offers an example of tenseless language [Le Poidevin] |
15206 | It is the view of the future that really decides between tensed and tenseless views of time [Le Poidevin] |
15198 | In the B-series, time-positions are unchanging; in the A-series they change (from future to present to past) [Le Poidevin] |
15189 | Things which have ceased change their A-series position; things that persist change their B-series position [Le Poidevin] |
6865 | A-theory says past, present, future and flow exist; B-theory says this just reports our perspective [Le Poidevin] |
15187 | It is claimed that the tense view entails the unreality of both future and past [Le Poidevin] |
15205 | Tensed theorists typically try to reduce the tenseless to the tensed [Le Poidevin] |
15192 | We share a common now, but not a common here [Le Poidevin] |
22939 | The B-series doesn't seem to allow change [Le Poidevin] |
22940 | If the B-universe is eternal, why am I trapped in a changing moment of it? [Le Poidevin] |
15193 | The new tenseless theory offers indexical truth-conditions, instead of a reductive analysis [Le Poidevin] |
22938 | To say that the past causes the present needs them both to be equally real [Le Poidevin] |
22947 | An ordered series can be undirected, but time favours moving from earlier to later [Le Poidevin] |
22952 | If time's arrow is causal, how can there be non-simultaneous events that are causally unconnected? [Le Poidevin] |
22953 | Time's arrow is not causal if there is no temporal gap between cause and effect [Le Poidevin] |
22951 | If time's arrow is psychological then different minds can impose different orders on events [Le Poidevin] |
22948 | There are Thermodynamic, Psychological and Causal arrows of time [Le Poidevin] |
22949 | Presumably if time's arrow is thermodynamic then time ends when entropy is complete [Le Poidevin] |
22950 | If time is thermodynamic then entropy is necessary - but the theory says it is probable [Le Poidevin] |
22943 | Instantaneous motion is an intrinsic disposition to be elsewhere [Le Poidevin] |
22945 | The dynamic view of motion says it is primitive, and not reducible to objects, properties and times [Le Poidevin] |
22937 | If the present could have diverse pasts, then past truths can't have present truthmakers [Le Poidevin] |
22925 | The present is the past/future boundary, so the first moment of time was not present [Le Poidevin] |
22944 | The primitive parts of time are intervals, not instants [Le Poidevin] |
22942 | If time is infinitely divisible, then the present must be infinitely short [Le Poidevin] |
22946 | The multiverse is distinct time-series, as well as spaces [Le Poidevin] |
15196 | God being inside or outside of time both raise a group of difficult problems [Le Poidevin] |
22941 | How could a timeless God know what time it is? So could God be both timeless and omniscient? [Le Poidevin] |