60 ideas
5278 | Philosophy is no more than abstractions concerning observations of human historical development [Marx/Engels] |
17713 | After 1903, Husserl avoids metaphysical commitments [Mares] |
18781 | Inconsistency doesn't prevent us reasoning about some system [Mares] |
18790 | Intuitionism as natural deduction has no rule for negation [Mares] |
18789 | Intuitionist logic looks best as natural deduction [Mares] |
18787 | Three-valued logic is useful for a theory of presupposition [Mares] |
18793 | Material implication (and classical logic) considers nothing but truth values for implications [Mares] |
18784 | In classical logic the connectives can be related elegantly, as in De Morgan's laws [Mares] |
18786 | Excluded middle standardly implies bivalence; attacks use non-contradiction, De M 3, or double negation [Mares] |
18780 | Standard disjunction and negation force us to accept the principle of bivalence [Mares] |
18782 | The connectives are studied either through model theory or through proof theory [Mares] |
18783 | Many-valued logics lack a natural deduction system [Mares] |
18792 | Situation semantics for logics: not possible worlds, but information in situations [Mares] |
18785 | Consistency is semantic, but non-contradiction is syntactic [Mares] |
17715 | The truth of the axioms doesn't matter for pure mathematics, but it does for applied [Mares] |
17716 | Mathematics is relations between properties we abstract from experience [Mares] |
18788 | For intuitionists there are not numbers and sets, but processes of counting and collecting [Mares] |
5287 | Philosophical problems are resolved into empirical facts [Marx/Engels] |
17703 | Light in straight lines is contingent a priori; stipulated as straight, because they happen to be so [Mares] |
17714 | Aristotelians dislike the idea of a priori judgements from pure reason [Mares] |
17705 | Empiricists say rationalists mistake imaginative powers for modal insights [Mares] |
17700 | The most popular view is that coherent beliefs explain one another [Mares] |
5303 | For the proletariate, law, morality and religion are just expressions of bourgeois interests [Marx/Engels] |
17704 | Operationalism defines concepts by our ways of measuring them [Mares] |
23872 | 'Society determines consciousness' is contradictory; society only exists in minds [Weil on Marx/Engels] |
5277 | Life is not determined by consciousness, but consciousness by life [Marx/Engels] |
17710 | Aristotelian justification uses concepts abstracted from experience [Mares] |
17706 | The essence of a concept is either its definition or its conceptual relations? [Mares] |
5280 | Language co-exists with consciousness, and makes it social [Marx/Engels] |
18791 | In 'situation semantics' our main concepts are abstracted from situations [Mares] |
17701 | Possible worlds semantics has a nice compositional account of modal statements [Mares] |
17702 | Unstructured propositions are sets of possible worlds; structured ones have components [Mares] |
5276 | The nature of an individual coincides with what they produce and how they produce it [Marx/Engels] |
5281 | Consciousness is a social product [Marx/Engels] |
21998 | Bourgeois interests create our morality, law and religion [Marx/Engels] |
5289 | When aristocracy or the bourgeoisie dominate, certain values dominate with them [Marx/Engels] |
5274 | Young Hegelians proposed changing our present consciousness for liberating critical consciousness [Marx/Engels] |
5275 | Men distinguish themselves from animals when they begin to produce their means of subsistence [Marx/Engels] |
5292 | Individuals are mutually hostile unless they group together in competition with other groups [Marx/Engels] |
21992 | Producing their own subsistence distinguishes men from animals [Marx/Engels] |
5293 | Only in community are people able to cultivate their gifts, and therefore be free [Marx/Engels] |
5273 | Young Hegelians think consciousness is chains for men, where old Hegelians think it the bond of society [Marx/Engels] |
5283 | In communist society we are not trapped in one activity, but can act freely [Marx/Engels] |
5282 | If the common interest imposes on the individual, his actions become alienated and enslaving [Marx/Engels] |
5288 | The class controlling material production also controls mental production [Marx/Engels] |
5290 | The revolutionary class is opposed to 'class', and represents all of society [Marx/Engels] |
5294 | To assert themselves as individuals, the proletarians must overthrow the State [Marx/Engels] |
5302 | Modern governments are just bourgeois management committees [Marx/Engels] |
5304 | Communism aims to abolish not all property, but bourgeois property [Marx/Engels] |
5307 | Many of the bourgeois rights grievances are a form of self-defence [Marx/Engels] |
5285 | Slavery cannot be abolished without the steam-engine [Marx/Engels] |
5284 | Communism abolishes private property and dissolves the powerful world market [Marx/Engels] |
5306 | The free development of each should be the condition for the free development of all [Marx/Engels] |
5291 | The law says private property is the result of the general will [Marx/Engels] |
5305 | Communists want to rescue education from the ruling class [Marx/Engels] |
5279 | Human history must always be studied in relation to industry and exchange [Marx/Engels] |
5286 | Most historians are trapped in the illusions of their own epoch [Marx/Engels] |
5301 | The history of all existing society is the history of class struggles [Marx/Engels] |
6005 | Animals are dangerous and nourishing, and can't form contracts of justice [Hermarchus, by Sedley] |
17708 | Maybe space has points, but processes always need regions with a size [Mares] |