30 ideas
7990 | Serene wisdom is freedom from ties, and indifference to fortune [Anon (Bhag)] |
7989 | Seek salvation in the wisdom of reason [Anon (Bhag)] |
13430 | Infinity: there is an infinity of distinguishable individuals [Ramsey] |
13428 | Reducibility: to every non-elementary function there is an equivalent elementary function [Ramsey] |
10757 | Henkin semantics has a second domain of predicates and relations (in upper case) [Rossberg] |
10751 | Second-order logic needs the sets, and its consequence has epistemological problems [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] |
13427 | Either 'a = b' vacuously names the same thing, or absurdly names different things [Ramsey] |
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] |
13334 | Contradictions are either purely logical or mathematical, or they involved thought and language [Ramsey] |
13426 | Formalists neglect content, but the logicists have focused on generalizations, and neglected form [Ramsey] |
13425 | Formalism is hopeless, because it focuses on propositions and ignores concepts [Ramsey] |
7996 | I am all the beauty and goodness of things, says Krishna [Anon (Bhag)] |
22328 | I just confront the evidence, and let it act on me [Ramsey] |
22325 | A belief is knowledge if it is true, certain and obtained by a reliable process [Ramsey] |
7995 | In all living beings I am the light of consciousness, says Krishna [Anon (Bhag)] |
7999 | All actions come from: body, lower self, perception, means of action, or Fate [Anon (Bhag)] |
7991 | Hate and lust have their roots in man's lower nature [Anon (Bhag)] |
7988 | There is no greater good for a warrior than to fight in a just war [Anon (Bhag)] |
7992 | The visible forms of nature are earth, water, fire, air, ether; mind, reason, and the sense of 'I' [Anon (Bhag)] |
7994 | Everything, including the gods, comes from me, says Krishna [Anon (Bhag)] |
7993 | Brahman is supreme, Atman his spirit in man, and Karma is the force of creation [Anon (Bhag)] |
7997 | Only by love can men see me, know me, and come to me, says Krishna [Anon (Bhag)] |
7998 | The three gates of hell are lust, anger and greed [Anon (Bhag)] |