18 ideas
13010 | In order to select the logic justified by experience, we would need to use a lot of logic [Boghossian on Quine] |
9002 | Elementary logic requires truth-functions, quantifiers (and variables), identity, and also sets of variables [Quine] |
13681 | Logical consequence is marked by being preserved under all nonlogical substitutions [Quine, by Sider] |
8358 | There are no rules for the exact logic of ordinary language, because that doesn't exist [Strawson,P] |
13829 | If logical truths essentially depend on logical constants, we had better define the latter [Hacking on Quine] |
6413 | 'The present King of France is bald' presupposes existence, rather than stating it [Strawson,P, by Grayling] |
8354 | Russell asks when 'The King of France is wise' would be a true assertion [Strawson,P] |
9003 | Set theory was struggling with higher infinities, when new paradoxes made it baffling [Quine] |
9004 | If set theory is not actually a branch of logic, then Frege's derivation of arithmetic would not be from logic [Quine] |
9006 | Commitment to universals is as arbitrary or pragmatic as the adoption of a new system of bookkeeping [Quine] |
9001 | Frege moved Kant's question about a priori synthetic to 'how is logical certainty possible?' [Quine] |
9005 | Examination of convention in the a priori begins to blur the distinction with empirical knowledge [Quine] |
8356 | The meaning of an expression or sentence is general directions for its use, to refer or to assert [Strawson,P] |
10430 | Reference is mainly a social phenomenon [Strawson,P, by Sainsbury] |
10448 | If an expression can refer to anything, it may still instrinsically refer, but relative to a context [Bach on Strawson,P] |
8355 | Expressions don't refer; people use expressions to refer [Strawson,P] |
8357 | If an utterance fails to refer then it is a pseudo-use, though a speaker may think they assert something [Strawson,P] |
19399 | Prime matter is nothing when it is at rest [Leibniz] |