32 ideas
| 8679 | We perceive the objects of set theory, just as we perceive with our senses [Gödel] |
| 9942 | Gödel proved the classical relative consistency of the axiom V = L [Gödel, by Putnam] |
| 8358 | There are no rules for the exact logic of ordinary language, because that doesn't exist [Strawson,P] |
| 15592 | The usual Tarskian interpretation of variables is to specify their range of values [Fine,K] |
| 15593 | Variables can be viewed as special terms - functions taking assignments into individuals [Fine,K] |
| 15590 | It seemed that Frege gave the syntax for variables, and Tarski the semantics, and that was that [Fine,K] |
| 15591 | In separate expressions variables seem identical in role, but in the same expression they aren't [Fine,K] |
| 15595 | The 'algebraic' account of variables reduces quantification to the algebra of its component parts [Fine,K] |
| 15594 | 'Instantial' accounts of variables say we grasp arbitrary instances from their use in quantification [Fine,K] |
| 15599 | Cicero/Cicero and Cicero/Tully may differ in relationship, despite being semantically the same [Fine,K] |
| 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] |
| 18062 | Set-theory paradoxes are no worse than sense deception in physics [Gödel] |
| 10868 | The Continuum Hypothesis is not inconsistent with the axioms of set theory [Gödel, by Clegg] |
| 13517 | If set theory is consistent, we cannot refute or prove the Continuum Hypothesis [Gödel, by Hart,WD] |
| 10271 | Basic mathematics is related to abstract elements of our empirical ideas [Gödel] |
| 15603 | I can only represent individuals as the same if I do not already represent them as the same [Fine,K] |
| 15604 | If Cicero=Tully refers to the man twice, then surely Cicero=Cicero does as well? [Fine,K] |
| 15602 | Mental files are devices for keeping track of basic coordination of objects [Fine,K] |
| 15588 | You cannot determine the full content from a thought's intrinsic character, as relations are involved [Fine,K] |
| 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] |
| 15596 | The standard aim of semantics is to assign a semantic value to each expression [Fine,K] |
| 15587 | That two utterances say the same thing may not be intrinsic to them, but involve their relationships [Fine,K] |
| 15589 | The two main theories are Holism (which is inferential), and Representational (which is atomistic) [Fine,K] |
| 15598 | We should pursue semantic facts as stated by truths in theories (and not put the theories first!) [Fine,K] |
| 15600 | Referentialist semantics has objects for names, properties for predicates, and propositions for connectives [Fine,K] |
| 15601 | Fregeans approach the world through sense, Referentialists through reference [Fine,K] |
| 15605 | I take indexicals such as 'this' and 'that' to be linked to some associated demonstration [Fine,K] |