29 ideas
291 | Don't assume that wisdom is the automatic consequence of old age [Plato] |
23250 | Desired responsible actions result either from rational or from irrational desire [Aristotle] |
5847 | It is the role of dialectic to survey syllogisms [Aristotle] |
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] |
5862 | A single counterexample is enough to prove that a truth is not necessary [Aristotle] |
5854 | Nobody fears a disease which nobody has yet caught [Aristotle] |
5849 | Rhetoric is a political offshoot of dialectic and ethics [Aristotle] |
5851 | Pentathletes look the most beautiful, because they combine speed and strength [Aristotle] |
5858 | Men are physically prime at thirty-five, and mentally prime at forty-nine [Aristotle] |
5855 | We all feel universal right and wrong, independent of any community or contracts [Aristotle] |
5850 | Happiness is composed of a catalogue of internal and external benefits [Aristotle] |
5856 | Self-interest is a relative good, but nobility an absolute good [Aristotle] |
5853 | The best virtues are the most useful to others [Aristotle] |
5848 | All good things can be misused, except virtue [Aristotle] |
293 | Being unafraid (perhaps through ignorance) and being brave are two different things [Plato] |
5857 | The young feel pity from philanthropy, but the old from self-concern [Aristotle] |
5859 | Rich people are mindlessly happy [Aristotle] |
5852 | The four constitutions are democracy (freedom), oligarchy (wealth), aristocracy (custom), tyranny (security) [Aristotle] |
1660 | It is noble to avenge oneself on one's enemies, and not come to terms with them [Aristotle] |
5861 | People assume events cause what follows them [Aristotle] |