37 ideas
| 501 | Reason is a more powerful persuader than gold [Democritus (attr)] |
| 10751 | Second-order logic needs the sets, and its consequence has epistemological problems [Rossberg] |
| 10757 | Henkin semantics has a second domain of predicates and relations (in upper case) [Rossberg] |
| 10759 | There are at least seven possible systems of semantics for second-order logic [Rossberg] |
| 10753 | Logical consequence is intuitively semantic, and captured by model theory [Rossberg] |
| 10752 | Γ |- S says S can be deduced from Γ; Γ |= S says a good model for Γ makes S true [Rossberg] |
| 10754 | In proof-theory, logical form is shown by the logical constants [Rossberg] |
| 10756 | A model is a domain, and an interpretation assigning objects, predicates, relations etc. [Rossberg] |
| 10758 | If models of a mathematical theory are all isomorphic, it is 'categorical', with essentially one model [Rossberg] |
| 10761 | Completeness can always be achieved by cunning model-design [Rossberg] |
| 10755 | A deductive system is only incomplete with respect to a formal semantics [Rossberg] |
| 7522 | A full neural account of qualia will give new epistemic access to them, beyond private experience [Churchlands] |
| 7521 | It is question-begging to assume that qualia are totally simple, hence irreducible [Churchlands] |
| 7523 | The qualia Hard Problem is easy, in comparison with the co-ordination of mental states [Churchlands] |
| 514 | Beauty is merely animal without intelligence [Democritus (attr)] |
| 525 | Behave well when alone, and feel shame in you own eyes [Democritus (attr)] |
| 502 | Good breeding in men means having a good character [Democritus (attr)] |
| 507 | Virtuous love consists of decorous desire for the beautiful [Democritus (attr)] |
| 521 | We should only choose pleasures which are concerned with the beautiful [Democritus (attr)] |
| 505 | Good and true are the same for everyone, but pleasures differ [Democritus (attr)] |
| 508 | Only accept beneficial pleasures [Democritus (attr)] |
| 520 | The great pleasures come from the contemplation of noble works [Democritus (attr)] |
| 522 | Moderation brings more pleasures, and so increases pleasure [Democritus (attr)] |
| 506 | Immoderate desire is the mark of a child, not an adult [Democritus (attr)] |
| 523 | It is as brave to master pleasure as to overcome the enemy [Democritus (attr)] |
| 503 | Virtue doesn't just avoid evil, but also doesn't desire it [Democritus (attr)] |
| 518 | A bad life is just a drawn-out death [Democritus (attr)] |
| 497 | Be virtuous from duty, not from fear [Democritus (attr)] |
| 499 | Repentance of shameful deeds is salvation [Democritus (attr)] |
| 524 | Virtue comes more from practice than from nature [Democritus (attr)] |
| 519 | One must avoid even speaking of evil deeds [Democritus (attr)] |
| 500 | The wrongdoer is more unfortunate than the person wronged [Democritus (attr)] |
| 1539 | The endless desire for money is a crueller slavery than poverty [Democritus (attr)] |
| 526 | Small appetite makes poverty equal to wealth [Democritus (attr)] |
| 511 | It is better to have one intelligent friend than many unintelligent [Democritus (attr)] |
| 498 | It is a great thing, when one is in adversity, to think of duty [Democritus (attr)] |
| 1541 | It is better to be poor in a democracy than be rich without freedom [Democritus (attr)] |