18 ideas
19441 | All philosophies presuppose their historical moment, and arise from it [Feuerbach] |
19442 | I don't study Plato for his own sake; the primary aim is always understanding [Feuerbach] |
19445 | A dialectician has to be his own opponent [Feuerbach] |
19444 | Each proposition has an antithesis, and truth exists as its refutation [Feuerbach] |
10882 | Predicative definitions only refer to entities outside the defined collection [Horsten] |
19443 | Truth forges an impersonal unity between people [Feuerbach] |
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] |
10884 | A theory is 'categorical' if it has just one model up to isomorphism [Horsten] |
10885 | Computer proofs don't provide explanations [Horsten] |
10881 | The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten] |
19446 | To our consciousness it is language which looks unreal [Feuerbach] |
15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
19447 | The Absolute is the 'and' which unites 'spirit and nature' [Feuerbach] |