32 ideas
9786 | Philosophers working like teams of scientists is absurd, yet isolation is hard [Cartwright,R] |
9784 | A false proposition isn't truer because it is part of a coherent system [Cartwright,R] |
13941 | Are the truth-bearers sentences, utterances, ideas, beliefs, judgements, propositions or statements? [Cartwright,R] |
13942 | Logicians take sentences to be truth-bearers for rigour, rather than for philosophical reasons [Cartwright,R] |
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] |
10502 | We can rise by degrees through abstraction, with higher levels representing more things [Arnauld,A/Nicole,P] |
9783 | While no two classes coincide in membership, there are distinct but coextensive attributes [Cartwright,R] |
14961 | Clearly a pipe can survive being taken apart [Cartwright,R] |
14962 | Bodies don't becomes scattered by losing small or minor parts [Cartwright,R] |
13952 | Essentialism says some of a thing's properties are necessary, and could not be absent [Cartwright,R] |
13954 | The difficulty in essentialism is deciding the grounds for rating an attribute as essential [Cartwright,R] |
13955 | Essentialism is said to be unintelligible, because relative, if necessary truths are all analytic [Cartwright,R] |
13953 | An act of ostension doesn't seem to need a 'sort' of thing, even of a very broad kind [Cartwright,R] |
13945 | A token isn't a unique occurrence, as the case of a word or a number shows [Cartwright,R] |
15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
18258 | We can only know the exterior world via our ideas [Arnauld,A/Nicole,P] |
16784 | Forms make things distinct and explain the properties, by pure form, or arrangement of parts [Arnauld,A/Nicole,P] |
10499 | We know by abstraction because we only understand composite things a part at a time [Arnauld,A/Nicole,P] |
10501 | A triangle diagram is about all triangles, if some features are ignored [Arnauld,A/Nicole,P] |
10500 | No one denies that a line has width, but we can just attend to its length [Arnauld,A/Nicole,P] |
13948 | For any statement, there is no one meaning which any sentence asserting it must have [Cartwright,R] |
13950 | People don't assert the meaning of the words they utter [Cartwright,R] |
13944 | We can pull apart assertion from utterance, and the action, the event and the subject-matter for each [Cartwright,R] |
13947 | 'It's raining' makes a different assertion on different occasions, but its meaning remains the same [Cartwright,R] |
13943 | We can attribute 'true' and 'false' to whatever it was that was said [Cartwright,R] |
13946 | To assert that p, it is neither necessary nor sufficient to utter some particular words [Cartwright,R] |
13951 | Assertions, unlike sentence meanings, can be accurate, probable, exaggerated, false.... [Cartwright,R] |