67 ideas
| 15447 | We shouldn't always follow where the argument leads! [Lewis on Plato] |
| 243 | It is foolish to quarrel with the mind's own reasoning processes [Plato] |
| 241 | We ought to follow where the argument leads us [Plato] |
| 21264 | Mortals are incapable of being fully rational [Plato] |
| 251 | Truth has the supreme value, for both gods and men [Plato] |
| 14249 | Boolos reinterprets second-order logic as plural logic [Boolos, by Oliver/Smiley] |
| 10830 | Second-order logic metatheory is set-theoretic, and second-order validity has set-theoretic problems [Boolos] |
| 10829 | A sentence can't be a truth of logic if it asserts the existence of certain sets [Boolos] |
| 8729 | Intuitionists deny excluded middle, because it is committed to transcendent truth or objects [Shapiro] |
| 10832 | '∀x x=x' only means 'everything is identical to itself' if the range of 'everything' is fixed [Boolos] |
| 10834 | Weak completeness: if it is valid, it is provable. Strong: it is provable from a set of sentences [Boolos] |
| 13841 | Why should compactness be definitive of logic? [Boolos, by Hacking] |
| 8763 | The number 3 is presumably identical as a natural, an integer, a rational, a real, and complex [Shapiro] |
| 18249 | Cauchy gave a formal definition of a converging sequence. [Shapiro] |
| 8764 | Categories are the best foundation for mathematics [Shapiro] |
| 10833 | Many concepts can only be expressed by second-order logic [Boolos] |
| 8762 | Two definitions of 3 in terms of sets disagree over whether 1 is a member of 3 [Shapiro] |
| 8760 | Numbers do not exist independently; the essence of a number is its relations to other numbers [Shapiro] |
| 8761 | A 'system' is related objects; a 'pattern' or 'structure' abstracts the pure relations from them [Shapiro] |
| 8744 | Logicism seems to be a non-starter if (as is widely held) logic has no ontology of its own [Shapiro] |
| 8749 | Term Formalism says mathematics is just about symbols - but real numbers have no names [Shapiro] |
| 8750 | Game Formalism is just a matter of rules, like chess - but then why is it useful in science? [Shapiro] |
| 8752 | Deductivism says mathematics is logical consequences of uninterpreted axioms [Shapiro] |
| 8753 | Critics resent the way intuitionism cripples mathematics, but it allows new important distinctions [Shapiro] |
| 8731 | Conceptualist are just realists or idealist or nominalists, depending on their view of concepts [Shapiro] |
| 8730 | 'Impredicative' definitions refer to the thing being described [Shapiro] |
| 21259 | To grasp a thing we need its name, its definition, and what it really is [Plato] |
| 8725 | Rationalism tries to apply mathematical methodology to all of knowledge [Shapiro] |
| 21260 | Soul is what is defined by 'self-generating motion' [Plato] |
| 276 | My individuality is my soul, which carries my body around [Plato] |
| 249 | People who value beauty above virtue insult the soul by placing the body above it [Plato] |
| 265 | An action is only just if it is performed by someone with a just character and outlook [Plato] |
| 269 | Attempted murder is like real murder, but we should respect the luck which avoided total ruin [Plato] |
| 240 | It would be strange if the gods rewarded those who experienced the most pleasure in life [Plato] |
| 264 | The conquest of pleasure is the noblest victory of all [Plato] |
| 253 | Every crime is the result of excessive self-love [Plato] |
| 263 | The only worthwhile life is one devoted to physical and moral perfection [Plato] |
| 4332 | Virtue is a concord of reason and emotion, with pleasure and pain trained to correct ends [Plato] |
| 248 | A serious desire for moral excellence is very rare indeed [Plato] |
| 235 | Virtue is the aim of all laws [Plato] |
| 277 | The Guardians must aim to discover the common element in the four cardinal virtues [Plato] |
| 254 | Excessive laughter and tears must be avoided [Plato] |
| 266 | Injustice is the mastery of the soul by bad feelings, even if they do not lead to harm [Plato] |
| 256 | Virtue and great wealth are incompatible [Plato] |
| 242 | The best people are produced where there is no excess of wealth or poverty [Plato] |
| 245 | Totalitarian states destroy friendships and community spirit [Plato] |
| 239 | Education in virtue produces citizens who are active but obedient [Plato] |
| 262 | Men and women should qualify equally for honours on merit [Plato] |
| 1402 | Friendship is impossible between master and slave, even if they are made equal [Plato] |
| 236 | Sound laws achieve the happiness of those who observe them [Plato] |
| 259 | Justice is granting the equality which unequals deserve [Plato] |
| 257 | Mathematics has the widest application of any subject on the curriculum [Plato] |
| 238 | Children's games should channel their pleasures into adult activity [Plato] |
| 260 | Control of education is the key office of state, and should go to the best citizen [Plato] |
| 4331 | Education is channelling a child's feelings into the right course before it understands why [Plato] |
| 250 | The best way to educate the young is not to rebuke them, but to set a good example [Plato] |
| 275 | Creation is not for you; you exist for the sake of creation [Plato] |
| 273 | Movement is transmitted through everything, and it must have started with self-generated motion [Plato] |
| 8004 | In 'The Laws', to obey the law is to be obey god [Plato, by MacIntyre] |
| 21257 | Self-generating motion is clearly superior to all other kinds of motion [Plato] |
| 21258 | The only possible beginning for the endless motions of reality is something self-generated [Plato] |
| 21261 | Self-moving soul has to be the oldest thing there is [Plato] |
| 274 | Soul must be the cause of all the opposites, such as good and evil or beauty and ugliness [Plato] |
| 21263 | If all the motions of nature reflect calculations of reason, then the best kind of soul must direct it [Plato] |
| 278 | If astronomical movements are seen as necessary instead of by divine will, this leads to atheism [Plato] |
| 21265 | The heavens must be full of gods, controlling nature either externally or from within [Plato] |
| 21262 | There must be at least two souls controlling the cosmos, one doing good, the other the opposite [Plato] |