46 ideas
| 2956 | There is nothing so obvious that a philosopher cannot be found to deny it [Lockwood] |
| 2963 | There may only be necessary and sufficient conditions (and counterfactuals) because we intervene in the world [Lockwood] |
| 2958 | No one has ever succeeded in producing an acceptable non-trivial analysis of anything [Lockwood] |
| 1812 | All discussion is full of uncertainty and contradiction (Mode 11) [Agrippa, by Diog. Laertius] |
| 1811 | Proofs often presuppose the thing to be proved (Mode 15) [Agrippa, by Diog. Laertius] |
| 1813 | All reasoning endlessly leads to further reasoning (Mode 12) [Agrippa, by Diog. Laertius] |
| 1815 | Reasoning needs arbitrary faith in preliminary hypotheses (Mode 14) [Agrippa, by Diog. Laertius] |
| 2959 | If something is described in two different ways, is that two facts, or one fact presented in two ways? [Lockwood] |
| 10775 | The axiom of choice now seems acceptable and obvious (if it is meaningful) [Tharp] |
| 10766 | Logic is either for demonstration, or for characterizing structures [Tharp] |
| 10767 | Elementary logic is complete, but cannot capture mathematics [Tharp] |
| 10769 | Second-order logic isn't provable, but will express set-theory and classic problems [Tharp] |
| 10762 | In sentential logic there is a simple proof that all truth functions can be reduced to 'not' and 'and' [Tharp] |
| 10776 | The main quantifiers extend 'and' and 'or' to infinite domains [Tharp] |
| 10774 | There are at least five unorthodox quantifiers that could be used [Tharp] |
| 10773 | The Löwenheim-Skolem property is a limitation (e.g. can't say there are uncountably many reals) [Tharp] |
| 10777 | Skolem mistakenly inferred that Cantor's conceptions were illusory [Tharp] |
| 10765 | Soundness would seem to be an essential requirement of a proof procedure [Tharp] |
| 10763 | Completeness and compactness together give axiomatizability [Tharp] |
| 10770 | If completeness fails there is no algorithm to list the valid formulas [Tharp] |
| 10771 | Compactness is important for major theories which have infinitely many axioms [Tharp] |
| 10772 | Compactness blocks infinite expansion, and admits non-standard models [Tharp] |
| 10764 | A complete logic has an effective enumeration of the valid formulas [Tharp] |
| 10768 | Effective enumeration might be proved but not specified, so it won't guarantee knowledge [Tharp] |
| 2969 | How does a direct realist distinguish a building from Buckingham Palace? [Lockwood] |
| 2970 | Dogs seem to have beliefs, and beliefs require concepts [Lockwood] |
| 2961 | Empiricism is a theory of meaning as well as of knowledge [Lockwood] |
| 2960 | Commonsense realism must account for the similarity of genuine perceptions and known illusions [Lockwood] |
| 8850 | Agrippa's Trilemma: justification is infinite, or ends arbitrarily, or is circular [Agrippa, by Williams,M] |
| 1814 | Everything is perceived in relation to another thing (Mode 13) [Agrippa, by Diog. Laertius] |
| 2952 | A 1988 estimate gave the brain 3 x 10-to-the-14 synaptic junctions [Lockwood] |
| 2964 | How come unconscious states also cause behaviour? [Lockwood] |
| 2951 | Could there be unconscious beliefs and desires? [Lockwood] |
| 2953 | Fish may operate by blindsight [Lockwood] |
| 2967 | We might even learn some fundamental physics from introspection [Lockwood] |
| 2966 | Can phenomenal qualities exist unsensed? [Lockwood] |
| 2955 | If mental events occur in time, then relativity says they are in space [Lockwood] |
| 2950 | Only logical positivists ever believed behaviourism [Lockwood] |
| 2954 | Identity theory likes the identity of lightning and electrical discharges [Lockwood] |
| 16362 | An identity statement aims at getting the hearer to merge two mental files [Lockwood] |
| 2971 | Perhaps logical positivism showed that there is no dividing line between science and metaphysics [Lockwood] |
| 4055 | It isn't obviously wicked to destroy a potential human being (e.g. an ununited egg and sperm) [Lockwood] |
| 4056 | If the soul is held to leave the body at brain-death, it should arrive at the time of brain-creation [Lockwood] |
| 4054 | I may exist before I become a person, just as I exist before I become an adult [Lockwood] |
| 2962 | Maybe causation is a form of rational explanation, not an observation or a state of mind [Lockwood] |
| 2949 | We have the confused idea that time is a process of change [Lockwood] |