27 ideas
7893 | Our life is the creation of our mind [Anon (Dham)] |
1765 | Diogenes said avoidance of philosophy is the lack of a desire to live properly [Diogenes of Sin., by Diog. Laertius] |
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] |
7898 | The world is just the illusion of an appearance [Anon (Dham)] |
1762 | When someone denied motion, Diogenes got up and walked away [Diogenes of Sin., by Diog. Laertius] |
7813 | Cynicism was open to anyone, and needed neither education nor sophistication [Diogenes of Sin., by Grayling] |
1763 | Diogenes said a plucked chicken fits Plato's definition of man [Diogenes of Sin., by Diog. Laertius] |
5071 | The Cynics rejected what is conventional as irrational, and aimed to live by nature [Taylor,R on Diogenes of Sin.] |
7894 | Hate is conquered by love [Anon (Dham)] |
7812 | For peace of mind, you need self-government, indifference and independence [Diogenes of Sin.] |
7899 | Even divine pleasure will not satisfy the wise, as it is insatiable, and leads to pain [Anon (Dham)] |
7896 | The foolish gradually fill with evil, like a slowly-filled water-jar [Anon (Dham)] |
7897 | The wise gradually fill with good, like a slowly-filled water-jar [Anon (Dham)] |
7895 | Don't befriend fools; either find superior friends, or travel alone [Anon (Dham)] |
1764 | Diogenes said he was a citizen of the world [Diogenes of Sin., by Diog. Laertius] |
5968 | Diogenes masturbated in public, wishing he could get rid of hunger so easily [Diogenes of Sin., by Plutarch] |
1766 | Diogenes said that the most excellent thing among men was freedom of speech [Diogenes of Sin., by Diog. Laertius] |
7900 | Speak the truth, yield not to anger, give what you can to him who asks [Anon (Dham)] |