41 ideas
8092 | Logic was merely a branch of rhetoric until the scientific 17th century [Devlin] |
8081 | 'No councillors are bankers' and 'All bankers are athletes' implies 'Some athletes are not councillors' [Devlin] |
8085 | Modern propositional inference replaces Aristotle's 19 syllogisms with modus ponens [Devlin] |
8086 | Predicate logic retains the axioms of propositional logic [Devlin] |
8091 | Situation theory is logic that takes account of context [Devlin] |
8087 | Golden ages: 1900-1960 for pure logic, and 1950-1985 for applied logic [Devlin] |
8089 | Montague's intensional logic incorporated the notion of meaning [Devlin] |
8082 | Where a conditional is purely formal, an implication implies a link between premise and conclusion [Devlin] |
8072 | Sentences of apparent identical form can have different contextual meanings [Devlin] |
8075 | Space and time are atomic in the arrow, and divisible in the tortoise [Devlin] |
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] |
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] |
12887 | A whole must have one characteristic, an internal relation, and a structure [Rescher/Oppenheim] |
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] |
8088 | People still say the Hopi have no time concepts, despite Whorf's later denial [Devlin] |
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] |
8073 | How do we parse 'time flies like an arrow' and 'fruit flies like an apple'? [Devlin] |
8076 | The distinction between sentences and abstract propositions is crucial in logic [Devlin] |
22489 | 'Good' is an attributive adjective like 'large', not predicative like 'red' [Geach, by Foot] |