43 ideas
| 18915 | If facts are the truthmakers, they are not in the world [Engelbretsen] |
| 18919 | There are no 'falsifying' facts, only an absence of truthmakers [Engelbretsen] |
| 18913 | Traditional term logic struggled to express relations [Engelbretsen] |
| 18907 | Term logic rests on negated terms or denial, and that propositions are tied pairs [Engelbretsen] |
| 18912 | Was logic a branch of mathematics, or mathematics a branch of logic? [Engelbretsen] |
| 18922 | Logical syntax is actually close to surface linguistic form [Engelbretsen] |
| 18905 | Propositions can be analysed as pairs of terms glued together by predication [Engelbretsen] |
| 18908 | Standard logic only negates sentences, even via negated general terms or predicates [Engelbretsen] |
| 12154 | Are 'word token' and 'word type' different sorts of countable objects, or two ways of counting? [Geach, by Perry] |
| 10735 | Abstraction from objects won't reveal an operation's being performed 'so many times' [Geach] |
| 18917 | Existence and nonexistence are characteristics of the world, not of objects [Engelbretsen] |
| 18916 | Facts are not in the world - they are properties of the world [Engelbretsen] |
| 18921 | Individuals are arranged in inclusion categories that match our semantics [Engelbretsen] |
| 8780 | Attributes are functions, not objects; this distinguishes 'square of 2' from 'double of 2' [Geach] |
| 8969 | We should abandon absolute identity, confining it to within some category [Geach, by Hawthorne] |
| 16075 | Denial of absolute identity has drastic implications for logic, semantics and set theory [Wasserman on Geach] |
| 12152 | Identity is relative. One must not say things are 'the same', but 'the same A as' [Geach] |
| 16073 | Leibniz's Law is incomplete, since it includes a non-relativized identity predicate [Geach, by Wasserman] |
| 11910 | Being 'the same' is meaningless, unless we specify 'the same X' [Geach] |
| 8836 | Must all justification be inferential? [Ginet] |
| 8837 | Inference cannot originate justification, it can only transfer it from premises to conclusion [Ginet] |
| 8775 | A big flea is a small animal, so 'big' and 'small' cannot be acquired by abstraction [Geach] |
| 8776 | We cannot learn relations by abstraction, because their converse must be learned too [Geach] |
| 10732 | If concepts are just recognitional, then general judgements would be impossible [Geach] |
| 2567 | You can't define real mental states in terms of behaviour that never happens [Geach] |
| 2568 | Beliefs aren't tied to particular behaviours [Geach] |
| 8781 | The mind does not lift concepts from experience; it creates them, and then applies them [Geach] |
| 10731 | For abstractionists, concepts are capacities to recognise recurrent features of the world [Geach] |
| 8769 | If someone has aphasia but can still play chess, they clearly have concepts [Geach] |
| 8770 | 'Abstractionism' is acquiring a concept by picking out one experience amongst a group [Geach] |
| 8771 | 'Or' and 'not' are not to be found in the sensible world, or even in the world of inner experience [Geach] |
| 8772 | We can't acquire number-concepts by extracting the number from the things being counted [Geach] |
| 8773 | Abstractionists can't explain counting, because it must precede experience of objects [Geach] |
| 8774 | The numbers don't exist in nature, so they cannot have been abstracted from there into our languages [Geach] |
| 8778 | Blind people can use colour words like 'red' perfectly intelligently [Geach] |
| 8777 | If 'black' and 'cat' can be used in the absence of such objects, how can such usage be abstracted? [Geach] |
| 8779 | We can form two different abstract concepts that apply to a single unified experience [Geach] |
| 10733 | The abstractionist cannot explain 'some' and 'not' [Geach] |
| 10734 | Only a judgement can distinguish 'striking' from 'being struck' [Geach] |
| 18918 | Terms denote objects with properties, and statements denote the world with that property [Engelbretsen] |
| 18920 | 'Socrates is wise' denotes a sentence; 'that Socrates is wise' denotes a proposition [Engelbretsen] |
| 18906 | Negating a predicate term and denying its unnegated version are quite different [Engelbretsen] |
| 22489 | 'Good' is an attributive adjective like 'large', not predicative like 'red' [Geach, by Foot] |