40 ideas
7113 | Phenomenology assumes that all consciousness is of something [Sartre] |
18781 | Inconsistency doesn't prevent us reasoning about some system [Mares] |
18789 | Intuitionist logic looks best as natural deduction [Mares] |
18790 | Intuitionism as natural deduction has no rule for negation [Mares] |
18787 | Three-valued logic is useful for a theory of presupposition [Mares] |
18793 | Material implication (and classical logic) considers nothing but truth values for implications [Mares] |
18784 | In classical logic the connectives can be related elegantly, as in De Morgan's laws [Mares] |
18786 | Excluded middle standardly implies bivalence; attacks use non-contradiction, De M 3, or double negation [Mares] |
18780 | Standard disjunction and negation force us to accept the principle of bivalence [Mares] |
18782 | The connectives are studied either through model theory or through proof theory [Mares] |
18783 | Many-valued logics lack a natural deduction system [Mares] |
18792 | Situation semantics for logics: not possible worlds, but information in situations [Mares] |
18785 | Consistency is semantic, but non-contradiction is syntactic [Mares] |
18788 | For intuitionists there are not numbers and sets, but processes of counting and collecting [Mares] |
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] |
7658 | Obviously there can't be a functional anaylsis of qualia if they are defined by intrinsic properties [Dennett] |
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] |
7655 | The work done by the 'homunculus in the theatre' must be spread amongst non-conscious agencies [Dennett] |
7657 | Intelligent agents are composed of nested homunculi, of decreasing intelligence, ending in machines [Dennett] |
7656 | I don't deny consciousness; it just isn't what people think it is [Dennett] |
7654 | What matters about neuro-science is the discovery of the functional role of the chemistry [Dennett] |
18791 | In 'situation semantics' our main concepts are abstracted from situations [Mares] |