30 ideas
17651 | Without words or other symbols, we have no world [Goodman] |
17652 | Truth is irrelevant if no statements are involved [Goodman] |
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] |
23548 | Indeterminacy is in conflict with classical logic [Fine,K] |
11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
23539 | Classical semantics has referents for names, extensions for predicates, and T or F for sentences [Fine,K] |
17656 | Being primitive or prior always depends on a constructional system [Goodman] |
17661 | We don't recognise patterns - we invent them [Goodman] |
17659 | Reality is largely a matter of habit [Goodman] |
17657 | We build our world, and ignore anything that won't fit [Goodman] |
23540 | Conjoining two indefinites by related sentences seems to produce a contradiction [Fine,K] |
23546 | Standardly vagueness involves borderline cases, and a higher standpoint from which they can be seen [Fine,K] |
23544 | Local indeterminacy concerns a single object, and global indeterminacy covers a range [Fine,K] |
23542 | Identifying vagueness with ignorance is the common mistake of confusing symptoms with cause [Fine,K] |
23541 | Supervaluation can give no answer to 'who is the last bald man' [Fine,K] |
17654 | A world can be full of variety or not, depending on how we sort it [Goodman] |
23545 | We do not have an intelligible concept of a borderline case [Fine,K] |
17653 | Things can only be judged the 'same' by citing some respect of sameness [Goodman] |
15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
17660 | Discovery is often just finding a fit, like a jigsaw puzzle [Goodman] |
17658 | Users of digital thermometers recognise no temperatures in the gaps [Goodman] |
17650 | We lack frames of reference to transform physics, biology and psychology into one another [Goodman] |
17655 | Grue and green won't be in the same world, as that would block induction entirely [Goodman] |
23547 | It seems absurd that there is no identity of any kind between two objects which involve survival [Fine,K] |
17649 | If the world is one it has many aspects, and if there are many worlds they will collect into one [Goodman] |
23543 | We identify laws with regularities because we mistakenly identify causes with their symptoms [Fine,K] |