72 ideas
| 22317 | Truth does not admit of more and less [Frege] |
| 13455 | Frege did not think of himself as working with sets [Frege, by Hart,WD] |
| 16895 | The null set is indefensible, because it collects nothing [Frege, by Burge] |
| 3328 | Frege proposed a realist concept of a set, as the extension of a predicate or concept or function [Frege, by Benardete,JA] |
| 9179 | Frege frequently expressed a contempt for language [Frege, by Dummett] |
| 13473 | Frege thinks there is an independent logical order of the truths, which we must try to discover [Frege, by Hart,WD] |
| 6076 | For Frege, predicates are names of functions that map objects onto the True and False [Frege, by McGinn] |
| 3319 | Frege gives a functional account of predication so that we can dispense with predicates [Frege, by Benardete,JA] |
| 9871 | Frege always, and fatally, neglected the domain of quantification [Dummett on Frege] |
| 6653 | Syntactical methods of proof need only structure, where semantic methods (truth-tables) need truth [Lowe] |
| 16884 | Basic truths of logic are not proved, but seen as true when they are understood [Frege, by Burge] |
| 3331 | If '5' is the set of all sets with five members, that may be circular, and you can know a priori if the set has content [Benardete,JA on Frege] |
| 16880 | Frege aimed to discover the logical foundations which justify arithmetical judgements [Frege, by Burge] |
| 8689 | Eventually Frege tried to found arithmetic in geometry instead of in logic [Frege, by Friend] |
| 5657 | Frege's logic showed that there is no concept of being [Frege, by Scruton] |
| 6618 | A 'substance' is a thing that remains the same when its properties change [Lowe] |
| 3318 | Frege made identity a logical notion, enshrined above all in the formula 'for all x, x=x' [Frege, by Benardete,JA] |
| 16885 | To understand a thought, understand its inferential connections to other thoughts [Frege, by Burge] |
| 6635 | Causal theories of belief make all beliefs true, and can't explain belief about the future [Lowe] |
| 6619 | Perhaps 'I' no more refers than the 'it' in 'it is raining' [Lowe] |
| 6643 | 'Ecological' approaches say we don't infer information, but pick it up directly from reality [Lowe] |
| 16887 | Frege's concept of 'self-evident' makes no reference to minds [Frege, by Burge] |
| 16894 | An apriori truth is grounded in generality, which is universal quantification [Frege, by Burge] |
| 6638 | One must be able to visually recognise a table, as well as knowing its form [Lowe] |
| 6644 | Computationalists object that the 'ecological' approach can't tell us how we get the information [Lowe] |
| 6647 | Comparing shapes is proportional in time to the angle of rotation [Lowe] |
| 6639 | The 'disjunctive' theory of perception says true perceptions and hallucinations need have nothing in common [Lowe] |
| 6640 | A causal theorist can be a direct realist, if all objects of perception are external [Lowe] |
| 6645 | If blindsight shows we don't need perceptual experiences, the causal theory is wrong [Lowe] |
| 6637 | How could one paraphrase very complex sense-data reports adverbially? [Lowe] |
| 6667 | There are memories of facts, memories of practical skills, and autobiographical memory [Lowe] |
| 6642 | Psychologists say illusions only occur in unnatural and passive situations [Lowe] |
| 16882 | The building blocks contain the whole contents of a discipline [Frege] |
| 6641 | Externalists say minds depend on environment for their very existence and identity [Lowe] |
| 6617 | The main questions are: is mind distinct from body, and does it have unique properties? [Lowe] |
| 6626 | 'Phenomenal' consciousness is of qualities; 'apperceptive' consciousness includes beliefs and desires [Lowe] |
| 6646 | The brain may have two systems for vision, with only the older one intact in blindsight [Lowe] |
| 6665 | Persons are selves - subjects of experience, with reflexive self-knowledge [Lowe] |
| 6670 | If my brain could survive on its own, I cannot be identical with my whole body [Lowe] |
| 6671 | It seems impossible to get generally applicable mental concepts from self-observation [Lowe] |
| 6666 | All human languages have an equivalent of the word 'I' [Lowe] |
| 6625 | If qualia are causally inert, how can we even know about them? [Lowe] |
| 6621 | You can only identify behaviour by ascribing belief, so the behaviour can't explain the belief [Lowe] |
| 6654 | A computer program is equivalent to the person AND the manual [Lowe] |
| 6623 | Functionalism can't distinguish our experiences in spectrum inversion [Lowe] |
| 6628 | Functionalism only discusses relational properties of mental states, not intrinsic properties [Lowe] |
| 6629 | Functionalism commits us to bizarre possibilities, such as 'zombies' [Lowe] |
| 6622 | Non-reductive physicalism accepts token-token identity (not type-type) and asserts 'supervenience' of mind and brain [Lowe] |
| 6634 | Physicalists must believe in narrow content (because thoughts are merely the brain states) [Lowe] |
| 6630 | Eliminativism is incoherent if it eliminates reason and truth as well as propositional attitudes [Lowe] |
| 6648 | Some behaviourists believe thought is just suppressed speech [Lowe] |
| 6652 | 'Base rate neglect' makes people favour the evidence over its background [Lowe] |
| 6651 | People are wildly inaccurate in estimating probabilities about an observed event [Lowe] |
| 6655 | The 'Frame Problem' is how to program the appropriate application of general knowledge [Lowe] |
| 6657 | Computers can't be rational, because they lack motivation and curiosity [Lowe] |
| 6656 | The Turing test is too behaviourist, and too verbal in its methods [Lowe] |
| 6636 | The naturalistic views of how content is created are the causal theory and the teleological theory [Lowe] |
| 6633 | Twin Earth cases imply that even beliefs about kinds of stuff are indexical [Lowe] |
| 5816 | Frege said concepts were abstract entities, not mental entities [Frege, by Putnam] |
| 7307 | A thought is not psychological, but a condition of the world that makes a sentence true [Frege, by Miller,A] |
| 7309 | Frege's 'sense' is the strict and literal meaning, stripped of tone [Frege, by Miller,A] |
| 7312 | 'Sense' solves the problems of bearerless names, substitution in beliefs, and informativeness [Frege, by Miller,A] |
| 6632 | The same proposition provides contents for the that-clause of an utterance and a belief [Lowe] |
| 6631 | If propositions are abstract entities, how can minds depend on their causal powers? [Lowe] |
| 7725 | 'P or not-p' seems to be analytic, but does not fit Kant's account, lacking clear subject or predicate [Frege, by Weiner] |
| 7316 | Analytic truths are those that can be demonstrated using only logic and definitions [Frege, by Miller,A] |
| 6659 | The three main theories of action involve the will, or belief-plus-desire, or an agent [Lowe] |
| 6661 | Libet gives empirical support for the will, as a kind of 'executive' mental operation [Lowe] |
| 6662 | We feel belief and desire as reasons for choice, not causes of choice [Lowe] |
| 6663 | People's actions are explained either by their motives, or their reasons, or the causes [Lowe] |
| 7903 | The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna] |
| 3307 | Frege put forward an ontological argument for the existence of numbers [Frege, by Benardete,JA] |