39 ideas
| 17729 | Examining concepts can recover information obtained through the senses [Jenkins] |
| 15063 | Some sentences depend for their truth on worldly circumstances, and others do not [Fine,K] |
| 17740 | Instead of correspondence of proposition to fact, look at correspondence of its parts [Jenkins] |
| 17884 | Mathematical set theory has many plausible stopping points, such as finitism, and predicativism [Koellner] |
| 17893 | 'Reflection principles' say the whole truth about sets can't be captured [Koellner] |
| 17894 | We have no argument to show a statement is absolutely undecidable [Koellner] |
| 17730 | Combining the concepts of negation and finiteness gives the concept of infinity [Jenkins] |
| 17890 | There are at least eleven types of large cardinal, of increasing logical strength [Koellner] |
| 17887 | PA is consistent as far as we can accept, and we expand axioms to overcome limitations [Koellner] |
| 17891 | Arithmetical undecidability is always settled at the next stage up [Koellner] |
| 17719 | Arithmetic concepts are indispensable because they accurately map the world [Jenkins] |
| 17717 | Senses produce concepts that map the world, and arithmetic is known through these concepts [Jenkins] |
| 17724 | It is not easy to show that Hume's Principle is analytic or definitive in the required sense [Jenkins] |
| 15078 | There are levels of existence, as well as reality; objects exist at the lowest level in which they can function [Fine,K] |
| 17727 | We can learn about the world by studying the grounding of our concepts [Jenkins] |
| 17720 | There's essential, modal, explanatory, conceptual, metaphysical and constitutive dependence [Jenkins, by PG] |
| 15072 | Bottom level facts are subject to time and world, middle to world but not time, and top to neither [Fine,K] |
| 15071 | Tensed and tenseless sentences state two sorts of fact, which belong to two different 'realms' of reality [Fine,K] |
| 17728 | The concepts we have to use for categorising are ones which map the real world well [Jenkins] |
| 15075 | Modal features are not part of entities, because they are accounted for by the entity [Fine,K] |
| 15065 | What it is is fixed prior to existence or the object's worldly features [Fine,K] |
| 15076 | Essential features of an object have no relation to how things actually are [Fine,K] |
| 15073 | Self-identity should have two components, its existence, and its neutral identity with itself [Fine,K] |
| 15074 | We would understand identity between objects, even if their existence was impossible [Fine,K] |
| 15064 | Proper necessary truths hold whatever the circumstances; transcendent truths regardless of circumstances [Fine,K] |
| 15070 | It is the nature of Socrates to be a man, so necessarily he is a man [Fine,K] |
| 15069 | Possible worlds may be more limited, to how things might actually turn out [Fine,K] |
| 15068 | The actual world is a totality of facts, so we also think of possible worlds as totalities [Fine,K] |
| 17726 | Examining accurate, justified or grounded concepts brings understanding of the world [Jenkins] |
| 17734 | It is not enough that intuition be reliable - we need to know why it is reliable [Jenkins] |
| 17723 | Knowledge is true belief which can be explained just by citing the proposition believed [Jenkins] |
| 17739 | The physical effect of world on brain explains the concepts we possess [Jenkins] |
| 17718 | Grounded concepts are trustworthy maps of the world [Jenkins] |
| 17731 | Verificationism is better if it says meaningfulness needs concepts grounded in the senses [Jenkins] |
| 17732 | Success semantics explains representation in terms of success in action [Jenkins] |
| 17725 | 'Analytic' can be conceptual, or by meaning, or predicate inclusion, or definition... [Jenkins] |
| 15077 | It is said that in the A-theory, all existents and objects must be tensed, as well as the sentences [Fine,K] |
| 15067 | A-theorists tend to reject the tensed/tenseless distinction [Fine,K] |
| 15066 | B-theorists say tensed sentences have an unfilled argument-place for a time [Fine,K] |