34 ideas
9376 | A sentence may simultaneously define a term, and also assert a fact [Boghossian] |
15375 | If terms change their designations in different states, they are functions from states to objects [Fitting] |
15376 | Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting] |
15378 | Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting] |
15379 | Justication logics make explicit the reasons for mathematical truth in proofs [Fitting] |
11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
9375 | Conventionalism agrees with realists that logic has truth values, but not over the source [Boghossian] |
14064 | If a statue is identical with the clay of which it is made, that identity is contingent [Gibbard] |
14066 | A 'piece' of clay begins when its parts stick together, separately from other clay [Gibbard] |
14067 | Clay and statue are two objects, which can be named and reasoned about [Gibbard] |
14069 | We can only investigate the identity once we have designated it as 'statue' or as 'clay' [Gibbard] |
14076 | Essentialism is the existence of a definite answer as to whether an entity fulfils a condition [Gibbard] |
14077 | Essentialism for concreta is false, since they can come apart under two concepts [Gibbard] |
14070 | A particular statue has sortal persistence conditions, so its origin defines it [Gibbard] |
14073 | Claims on contingent identity seem to violate Leibniz's Law [Gibbard] |
14065 | Two identical things must share properties - including creation and destruction times [Gibbard] |
14074 | Leibniz's Law isn't just about substitutivity, because it must involve properties and relations [Gibbard] |
14072 | Possible worlds identity needs a sortal [Gibbard] |
14078 | Only concepts, not individuals, can be the same across possible worlds [Gibbard] |
15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
14079 | Kripke's semantics needs lots of intuitions about which properties are essential [Gibbard] |
9369 | 'Snow is white or it isn't' is just true, not made true by stipulation [Boghossian] |
9367 | The a priori is explained as analytic to avoid a dubious faculty of intuition [Boghossian] |
9373 | That logic is a priori because it is analytic resulted from explaining the meaning of logical constants [Boghossian] |
9380 | We can't hold a sentence true without evidence if we can't agree which sentence is definitive of it [Boghossian] |
9384 | We may have strong a priori beliefs which we pragmatically drop from our best theory [Boghossian] |
9374 | If we learn geometry by intuition, how could this faculty have misled us for so long? [Boghossian] |
9378 | If meaning depends on conceptual role, what properties are needed to do the job? [Boghossian] |
9377 | 'Conceptual role semantics' says terms have meaning from sentences and/or inferences [Boghossian] |
9372 | Could expressions have meaning, without two expressions possibly meaning the same? [Boghossian] |
14071 | Naming a thing in the actual world also invokes some persistence criteria [Gibbard] |
17721 | There are no truths in virtue of meaning, but there is knowability in virtue of understanding [Boghossian, by Jenkins] |
9368 | Epistemological analyticity: grasp of meaning is justification; metaphysical: truth depends on meaning [Boghossian] |