81 ideas
| 5278 | Philosophy is no more than abstractions concerning observations of human historical development [Marx/Engels] |
| 4739 | In "if and only if" (iff), "if" expresses the sufficient condition, and "only if" the necessary condition [Engel] |
| 9641 | Definitions should be replaceable by primitives, and should not be creative [Brown,JR] |
| 4737 | Are truth-bearers propositions, or ideas/beliefs, or sentences/utterances? [Engel] |
| 4750 | The redundancy theory gets rid of facts, for 'it is a fact that p' just means 'p' [Engel] |
| 4744 | We can't explain the corresponding structure of the world except by referring to our thoughts [Engel] |
| 4738 | The coherence theory says truth is an internal relationship between groups of truth-bearers [Engel] |
| 4745 | Any coherent set of beliefs can be made more coherent by adding some false beliefs [Engel] |
| 4753 | Deflationism seems to block philosophers' main occupation, asking metatheoretical questions [Engel] |
| 4755 | Deflationism cannot explain why we hold beliefs for reasons [Engel] |
| 4751 | Maybe there is no more to be said about 'true' than there is about the function of 'and' in logic [Engel] |
| 9634 | Set theory says that natural numbers are an actual infinity (to accommodate their powerset) [Brown,JR] |
| 9613 | Naïve set theory assumed that there is a set for every condition [Brown,JR] |
| 9615 | Nowadays conditions are only defined on existing sets [Brown,JR] |
| 9617 | The 'iterative' view says sets start with the empty set and build up [Brown,JR] |
| 9642 | A flock of birds is not a set, because a set cannot go anywhere [Brown,JR] |
| 4752 | Deflationism must reduce bivalence ('p is true or false') to excluded middle ('p or not-p') [Engel] |
| 9605 | If a proposition is false, then its negation is true [Brown,JR] |
| 9649 | Axioms are either self-evident, or stipulations, or fallible attempts [Brown,JR] |
| 9638 | Berry's Paradox finds a contradiction in the naming of huge numbers [Brown,JR] |
| 9604 | Mathematics is the only place where we are sure we are right [Brown,JR] |
| 9622 | 'There are two apples' can be expressed logically, with no mention of numbers [Brown,JR] |
| 9648 | π is a 'transcendental' number, because it is not the solution of an equation [Brown,JR] |
| 9621 | Mathematics represents the world through structurally similar models. [Brown,JR] |
| 9646 | There is no limit to how many ways something can be proved in mathematics [Brown,JR] |
| 9647 | Computers played an essential role in proving the four-colour theorem of maps [Brown,JR] |
| 9643 | Set theory may represent all of mathematics, without actually being mathematics [Brown,JR] |
| 9644 | When graphs are defined set-theoretically, that won't cover unlabelled graphs [Brown,JR] |
| 9625 | To see a structure in something, we must already have the idea of the structure [Brown,JR] |
| 9628 | Sets seem basic to mathematics, but they don't suit structuralism [Brown,JR] |
| 9606 | The irrationality of root-2 was achieved by intellect, not experience [Brown,JR] |
| 9612 | There is an infinity of mathematical objects, so they can't be physical [Brown,JR] |
| 9610 | Numbers are not abstracted from particulars, because each number is a particular [Brown,JR] |
| 9620 | Empiricists base numbers on objects, Platonists base them on properties [Brown,JR] |
| 9639 | Does some mathematics depend entirely on notation? [Brown,JR] |
| 9629 | For nomalists there are no numbers, only numerals [Brown,JR] |
| 9630 | The most brilliant formalist was Hilbert [Brown,JR] |
| 9608 | There are no constructions for many highly desirable results in mathematics [Brown,JR] |
| 9645 | Constructivists say p has no value, if the value depends on Goldbach's Conjecture [Brown,JR] |
| 9619 | David's 'Napoleon' is about something concrete and something abstract [Brown,JR] |
| 5287 | Philosophical problems are resolved into empirical facts [Marx/Engels] |
| 4762 | The Humean theory of motivation is that beliefs may be motivators as well as desires [Engel] |
| 4754 | Our beliefs are meant to fit the world (i.e. be true), where we want the world to fit our desires [Engel] |
| 4763 | 'Evidentialists' say, and 'voluntarists' deny, that we only believe on the basis of evidence [Engel] |
| 4746 | Pragmatism is better understood as a theory of belief than as a theory of truth [Engel] |
| 4764 | We cannot directly control our beliefs, but we can control the causes of our involuntary beliefs [Engel] |
| 5303 | For the proletariate, law, morality and religion are just expressions of bourgeois interests [Marx/Engels] |
| 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] |
| 4759 | Mental states as functions are second-order properties, realised by first-order physical properties [Engel] |
| 9611 | 'Abstract' nowadays means outside space and time, not concrete, not physical [Brown,JR] |
| 9609 | The older sense of 'abstract' is where 'redness' or 'group' is abstracted from particulars [Brown,JR] |
| 5280 | Language co-exists with consciousness, and makes it social [Marx/Engels] |
| 9640 | A term can have not only a sense and a reference, but also a 'computational role' [Brown,JR] |
| 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] |
| 21992 | Producing their own subsistence distinguishes men from animals [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] |
| 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] |
| 9635 | Given atomism at one end, and a finite universe at the other, there are no physical infinities [Brown,JR] |