21 ideas
7914 | To try to be wise all on one's own is folly [Rochefoucauld] |
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] |
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] |
7118 | La Rochefoucauld's idea of disguised self-love implies an unconscious mind [Rochefoucauld, by Sartre] |
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] |
7912 | Judging by effects, love looks more like hatred than friendship [Rochefoucauld] |
7915 | Supreme cleverness is knowledge of the real value of things [Rochefoucauld] |
7917 | Realising our future misery is a kind of happiness [Rochefoucauld] |
7913 | Virtue doesn't go far without the support of vanity [Rochefoucauld] |
7916 | True friendship is even rarer than true love [Rochefoucauld] |
9299 | We are bored by people to whom we ourselves are boring [Rochefoucauld] |