49 ideas
| 7113 | Phenomenology assumes that all consciousness is of something [Sartre] |
| 13838 | A decent modern definition should always imply a semantics [Hacking] |
| 13833 | 'Thinning' ('dilution') is the key difference between deduction (which allows it) and induction [Hacking] |
| 13834 | Gentzen's Cut Rule (or transitivity of deduction) is 'If A |- B and B |- C, then A |- C' [Hacking] |
| 13835 | Only Cut reduces complexity, so logic is constructive without it, and it can be dispensed with [Hacking] |
| 9065 | S5 collapses iterated modalities (◊□P→□P, and ◊◊P→◊P) [Keefe/Smith] |
| 13845 | The various logics are abstractions made from terms like 'if...then' in English [Hacking] |
| 13840 | First-order logic is the strongest complete compact theory with Löwenheim-Skolem [Hacking] |
| 13844 | A limitation of first-order logic is that it cannot handle branching quantifiers [Hacking] |
| 13842 | Second-order completeness seems to need intensional entities and possible worlds [Hacking] |
| 13837 | With a pure notion of truth and consequence, the meanings of connectives are fixed syntactically [Hacking] |
| 13839 | Perhaps variables could be dispensed with, by arrows joining places in the scope of quantifiers [Hacking] |
| 13843 | If it is a logic, the Löwenheim-Skolem theorem holds for it [Hacking] |
| 9064 | Objects such as a cloud or Mount Everest seem to have fuzzy boundaries in nature [Keefe/Smith] |
| 9044 | If someone is borderline tall, no further information is likely to resolve the question [Keefe/Smith] |
| 9048 | The simplest approach, that vagueness is just ignorance, retains classical logic and semantics [Keefe/Smith] |
| 9055 | The epistemic view of vagueness must explain why we don't know the predicate boundary [Keefe/Smith] |
| 9049 | Supervaluationism keeps true-or-false where precision can be produced, but not otherwise [Keefe/Smith] |
| 9056 | Vague statements lack truth value if attempts to make them precise fail [Keefe/Smith] |
| 9058 | Some of the principles of classical logic still fail with supervaluationism [Keefe/Smith] |
| 9059 | The semantics of supervaluation (e.g. disjunction and quantification) is not classical [Keefe/Smith] |
| 9060 | Supervaluation misunderstands vagueness, treating it as a failure to make things precise [Keefe/Smith] |
| 9050 | A third truth-value at borderlines might be 'indeterminate', or a value somewhere between 0 and 1 [Keefe/Smith] |
| 9061 | People can't be placed in a precise order according to how 'nice' they are [Keefe/Smith] |
| 9062 | If truth-values for vagueness range from 0 to 1, there must be someone who is 'completely tall' [Keefe/Smith] |
| 9063 | How do we decide if my coat is red to degree 0.322 or 0.321? [Keefe/Smith] |
| 9045 | Vague predicates involve uncertain properties, uncertain objects, and paradoxes of gradual change [Keefe/Smith] |
| 9047 | Many vague predicates are multi-dimensional; 'big' involves height and volume; heaps include arrangement [Keefe/Smith] |
| 9053 | If there is a precise borderline area, that is not a case of vagueness [Keefe/Smith] |
| 7112 | The Cogito depends on a second-order experience, of being conscious of consciousness [Sartre] |
| 7114 | The consciousness that says 'I think' is not the consciousness that thinks [Sartre] |
| 7119 | Is the Cogito reporting an immediate experience of doubting, or the whole enterprise of doubting? [Sartre] |
| 7122 | We can never, even in principle, grasp other minds, because the Ego is self-conceiving [Sartre] |
| 7125 | A consciousness can conceive of no other consciousness than itself [Sartre] |
| 7108 | The eternal truth of 2+2=4 is what gives unity to the mind which regularly thinks it [Sartre] |
| 7111 | Consciousness exists as consciousness of itself [Sartre] |
| 22226 | Since we are a consciousness, Sartre entirely rejected the unconscious mind [Sartre, by Daigle] |
| 7107 | Intentionality defines, transcends and unites consciousness [Sartre] |
| 7109 | If you think of '2+2=4' as the content of thought, the self must be united transcendentally [Sartre] |
| 7106 | The Ego is not formally or materially part of consciousness, but is outside in the world [Sartre] |
| 7117 | How could two I's, the reflective and the reflected, communicate with each other? [Sartre] |
| 7123 | Knowing yourself requires an exterior viewpoint, which is necessarily false [Sartre] |
| 22225 | My ego is more intimate to me, but not more certain than other egos [Sartre] |
| 7124 | The Ego never appears except when we are not looking for it [Sartre] |
| 7116 | When we are unreflective (as when chasing a tram) there is no 'I' [Sartre] |
| 7120 | It is theoretically possible that the Ego consists entirely of false memories [Sartre] |
| 7110 | If the 'I' is transcendental, it unnecessarily splits consciousness in two [Sartre] |
| 7115 | Maybe it is the act of reflection that brings 'me' into existence [Sartre] |
| 7121 | The Ego only appears to reflection, so it is cut off from the World [Sartre] |