89 ideas
23917 | Contrary statements can both be reasonable, if they are meant in two different ways [Aristotle] |
17749 | Post proved the consistency of propositional logic in 1921 [Walicki] |
17765 | Propositional language can only relate statements as the same or as different [Walicki] |
17764 | Boolean connectives are interpreted as functions on the set {1,0} [Walicki] |
17752 | The empty set is useful for defining sets by properties, when the members are not yet known [Walicki] |
17753 | The empty set avoids having to take special precautions in case members vanish [Walicki] |
17759 | Ordinals play the central role in set theory, providing the model of well-ordering [Walicki] |
17741 | To determine the patterns in logic, one must identify its 'building blocks' [Walicki] |
17747 | A 'model' of a theory specifies interpreting a language in a domain to make all theorems true [Walicki] |
17748 | The L-S Theorem says no theory (even of reals) says more than a natural number theory [Walicki] |
17763 | Axiomatic systems are purely syntactic, and do not presuppose any interpretation [Walicki] |
17761 | A compact axiomatisation makes it possible to understand a field as a whole [Walicki] |
17757 | Members of ordinals are ordinals, and also subsets of ordinals [Walicki] |
17758 | Ordinals are transitive sets of transitive sets; or transitive sets totally ordered by inclusion [Walicki] |
17755 | Ordinals are the empty set, union with the singleton, and any arbitrary union of ordinals [Walicki] |
17756 | The union of finite ordinals is the first 'limit ordinal'; 2ω is the second... [Walicki] |
17760 | Two infinite ordinals can represent a single infinite cardinal [Walicki] |
17762 | In non-Euclidean geometry, all Euclidean theorems are valid that avoid the fifth postulate [Walicki] |
17754 | Inductive proof depends on the choice of the ordering [Walicki] |
6504 | For physicalists, the only relations are spatial, temporal and causal [Robinson,H] |
6520 | If reality just has relational properties, what are its substantial ontological features? [Robinson,H] |
5869 | The thesis of the Form of the Good (or of anything else) is verbal and vacuous [Aristotle] |
17742 | Scotus based modality on semantic consistency, instead of on what the future could allow [Walicki] |
22505 | The two right angles of a triangle necessitate that a quadrilateral has four [Aristotle] |
22513 | Knowing is having knowledge; understanding is using knowledge [Aristotle] |
6485 | When a red object is viewed, the air in between does not become red [Robinson,H] |
6521 | Representative realists believe that laws of phenomena will apply to the physical world [Robinson,H] |
6509 | Representative realists believe some properties of sense-data are shared by the objects themselves [Robinson,H] |
6522 | Phenomenalism can be theistic (Berkeley), or sceptical (Hume), or analytic (20th century) [Robinson,H] |
6502 | Can we reduce perception to acquisition of information, which is reduced to causation or disposition? [Robinson,H] |
6513 | Would someone who recovered their sight recognise felt shapes just by looking? [Robinson,H] |
6512 | Secondary qualities have one sensory mode, but primary qualities can have more [Robinson,H] |
6497 | We say objects possess no intrinsic secondary qualities because physicists don't need them [Robinson,H] |
6494 | If objects are not coloured, and neither are sense-contents, we are left saying that nothing is coloured [Robinson,H] |
6499 | Shape can be experienced in different ways, but colour and sound only one way [Robinson,H] |
6500 | If secondary qualities match senses, would new senses create new qualities? [Robinson,H] |
6484 | Most moderate empiricists adopt Locke's representative theory of perception [Robinson,H] |
6508 | Sense-data leads to either representative realism or phenomenalism or idealism [Robinson,H] |
6480 | Sense-data do not have any intrinsic intentionality [Robinson,H] |
6482 | For idealists and phenomenalists sense-data are in objects; representative realists say they resemble objects [Robinson,H] |
6505 | Sense-data are rejected because they are a veil between us and reality, leading to scepticism [Robinson,H] |
6506 | 'Sense redly' sounds peculiar, but 'senses redly-squarely tablely' sounds far worse [Robinson,H] |
6507 | Adverbialism sees the contents of sense-experience as modes, not objects [Robinson,H] |
6511 | If there are only 'modes' of sensing, then an object can no more be red or square than it can be proud or lazy. [Robinson,H] |
6515 | An explanation presupposes something that is improbable unless it is explained [Robinson,H] |
6517 | If all possibilities are equal, order seems (a priori) to need an explanation - or does it? [Robinson,H] |
6481 | If intentional states are intrinsically about other things, what are their own properties? [Robinson,H] |
23906 | Courage from spirit is natural and unconquerable, as seen in the young [Aristotle] |
20204 | Whether the mind has parts is irrelevant, since it obviously has distinct capacities [Aristotle] |
22506 | A man is the cause of what is within his power, and what he causes is in his power [Aristotle] |
22504 | Only a human being can be a starting point for an action [Aristotle] |
6503 | Physicalism cannot allow internal intentional objects, as brain states can't be 'about' anything [Robinson,H] |
22510 | Some emotional states are too strong for human nature [Aristotle] |
23913 | Nearly all the good and bad states of character are concerned with feelings [Aristotle] |
23918 | Akrasia is the clash of two feelings - goodness and pleasure [Aristotle] |
22515 | Choice results when deliberation brings together an opinion with an inclination [Aristotle] |
22508 | Unlike in inanimate things, in animate things actions have more than one starting point [Aristotle] |
22514 | The deliberative part of the soul discerns explanatory causes [Aristotle] |
22507 | An action is voluntary when it is accompanied by thought of some kind [Aristotle] |
23319 | We are responsible if our actions reflect our motivation [Aristotle, by Frede,M] |
22512 | Acts are voluntary if done knowingly, by the agent, and in his power to avoid it [Aristotle] |
22509 | What is natural for us is either there at birth, or appears by normal processes [Aristotle] |
18230 | No one would choose life just for activities not done for their own sake [Aristotle] |
23909 | Wearing a shoe is its intrinsic use, and selling it (as a shoe) is its coincidental use [Aristotle] |
5870 | Everything seeks, not a single good, but its own separate good [Aristotle] |
5877 | We judge people from their deeds because we cannot see their choices (which matter more) [Aristotle] |
5868 | Horses, birds and fish are not happy, lacking a divine aspect to their natures [Aristotle] |
5865 | Happiness involves three things, of which the greatest is either wisdom, virtue, or pleasure [Aristotle] |
5876 | Virtue is different from continence [Aristotle] |
5872 | Excellence is the best state of anything (like a cloak) which has an employment or function [Aristotle] |
5875 | Character (éthos) is developed from habit (ethos) [Aristotle] |
5874 | Character virtues (such as courage) are of the non-rational part, which follows the rational part [Aristotle] |
22516 | Character is shown by what is or is not enjoyed, and virtue chooses the mean among them [Aristotle] |
22517 | We judge character not by their actions, but by their reasons for actions [Aristotle] |
23914 | People sometimes exhibit both extremes together, but the mean is contrary to both of them [Aristotle] |
23911 | Possessors of a virtue tend to despise what reason shows to be its opposite [Aristotle] |
23910 | Greatness of soul produces all the virtues - and vice versa [Aristotle] |
23908 | If someone just looks at or listens to beautiful things, they would not be thought intemperate [Aristotle] |
23905 | Courage follows reason, which tells us to choose what is noble [Aristotle] |
23912 | Honour depends on what it is for, and whether it is bestowed by worthy people [Aristotle] |
5871 | Goods in the soul are more worthy than those outside it, as everybody wants them [Aristotle] |
23919 | Friendship cannot be immediate; it takes time, and needs testing [Aristotle] |
23920 | Decent people can be friends with base people [Aristotle] |
23915 | The main function of politics is to produce friendship [Aristotle] |
23916 | The best cure for mutual injustice is friendship [Aristotle] |
5866 | It is folly not to order one's life around some end [Aristotle] |
5878 | Eyes could be used for a natural purpose, or for unnatural seeing, or for a non-seeing activity [Aristotle] |
5873 | Each thing's function is its end [Aristotle] |
6519 | Locke's solidity is not matter, because that is impenetrability and hardness combined [Robinson,H] |