94 ideas
4171 | Philosophy considers only the universal, in nature as everywhere else [Schopenhauer] |
4186 | Everyone is conscious of all philosophical truths, but philosophers bring them to conceptual awareness [Schopenhauer] |
12171 | Absurdity is incongruity between correct and false points of view [Schopenhauer] |
21366 | Metaphysics must understand the world thoroughly, as a principal source of knowledge [Schopenhauer] |
10073 | There cannot be a set theory which is complete [Smith,P] |
10616 | Second-order arithmetic can prove new sentences of first-order [Smith,P] |
10074 | A 'total function' maps every element to one element in another set [Smith,P] |
10612 | An argument is a 'fixed point' for a function if it is mapped back to itself [Smith,P] |
10605 | Two functions are the same if they have the same extension [Smith,P] |
10075 | A 'partial function' maps only some elements to another set [Smith,P] |
10076 | The 'range' of a function is the set of elements in the output set created by the function [Smith,P] |
10615 | The Comprehension Schema says there is a property only had by things satisfying a condition [Smith,P] |
10595 | A 'theorem' of a theory is a sentence derived from the axioms using the proof system [Smith,P] |
10602 | A 'natural deduction system' has no axioms but many rules [Smith,P] |
10613 | No nice theory can define truth for its own language [Smith,P] |
10079 | A 'bijective' function has one-to-one correspondence in both directions [Smith,P] |
10077 | A 'surjective' ('onto') function creates every element of the output set [Smith,P] |
10078 | An 'injective' ('one-to-one') function creates a distinct output element from each original [Smith,P] |
10070 | If everything that a theory proves is true, then it is 'sound' [Smith,P] |
10086 | Soundness is true axioms and a truth-preserving proof system [Smith,P] |
10596 | A theory is 'sound' iff every theorem is true (usually from true axioms and truth-preservation) [Smith,P] |
10598 | A theory is 'negation complete' if it proves all sentences or their negation [Smith,P] |
10597 | 'Complete' applies both to whole logics, and to theories within them [Smith,P] |
10069 | A theory is 'negation complete' if one of its sentences or its negation can always be proved [Smith,P] |
10609 | Two routes to Incompleteness: semantics of sound/expressible, or syntax of consistency/proof [Smith,P] |
10087 | A theory is 'decidable' if all of its sentences could be mechanically proved [Smith,P] |
10088 | Any consistent, axiomatized, negation-complete formal theory is decidable [Smith,P] |
10080 | 'Effective' means simple, unintuitive, independent, controlled, dumb, and terminating [Smith,P] |
10081 | A set is 'enumerable' is all of its elements can result from a natural number function [Smith,P] |
10083 | A set is 'effectively enumerable' if a computer could eventually list every member [Smith,P] |
10084 | A finite set of finitely specifiable objects is always effectively enumerable (e.g. primes) [Smith,P] |
10085 | The set of ordered pairs of natural numbers <i,j> is effectively enumerable [Smith,P] |
10601 | The thorems of a nice arithmetic can be enumerated, but not the truths (so they're diffferent) [Smith,P] |
10600 | Being 'expressible' depends on language; being 'capture/represented' depends on axioms and proof system [Smith,P] |
10599 | For primes we write (x not= 1 ∧ ∀u∀v(u x v = x → (u = 1 ∨ v = 1))) [Smith,P] |
10610 | The reals contain the naturals, but the theory of reals doesn't contain the theory of naturals [Smith,P] |
10619 | The truths of arithmetic are just true equations and their universally quantified versions [Smith,P] |
10618 | All numbers are related to zero by the ancestral of the successor relation [Smith,P] |
10608 | The number of Fs is the 'successor' of the Gs if there is a single F that isn't G [Smith,P] |
10849 | Baby arithmetic covers addition and multiplication, but no general facts about numbers [Smith,P] |
10850 | Baby Arithmetic is complete, but not very expressive [Smith,P] |
10852 | Robinson Arithmetic (Q) is not negation complete [Smith,P] |
10851 | Robinson Arithmetic 'Q' has basic axioms, quantifiers and first-order logic [Smith,P] |
10068 | Natural numbers have zero, unique successors, unending, no circling back, and no strays [Smith,P] |
10603 | The logic of arithmetic must quantify over properties of numbers to handle induction [Smith,P] |
10604 | Incompleteness results in arithmetic from combining addition and successor with multiplication [Smith,P] |
10848 | Multiplication only generates incompleteness if combined with addition and successor [Smith,P] |
4168 | Matter and intellect are inseparable correlatives which only exist relatively, and for each other [Schopenhauer] |
21926 | Schopenhauer, unlike other idealists, says reality is irrational [Schopenhauer, by Lewis,PB] |
4167 | The knowing subject and the crude matter of the world are both in themselves unknowable [Schopenhauer] |
10617 | The 'ancestral' of a relation is a new relation which creates a long chain of the original relation [Smith,P] |
7720 | Two things can only resemble one another in some respect, and that may reintroduce a universal [Lowe] |
7712 | On substances, Leibniz emphasises unity, Spinoza independence, Locke relations to qualities [Lowe] |
4165 | Descartes found the true beginning of philosophy with the Cogito, in the consciousness of the individual [Schopenhauer] |
21923 | Schopenhauer can't use force/energy instead of 'will', because he is not a materialist [Lewis,PB on Schopenhauer] |
4162 | The world only exists in relation to something else, as an idea of the one who conceives it [Schopenhauer] |
21922 | We know reality because we know our own bodies and actions [Schopenhauer] |
21913 | Kant rightly separates appearance and thing-in-itself [Schopenhauer] |
4164 | Direct feeling of the senses are merely data; perception of the world comes with understanding causes [Schopenhauer] |
4163 | All perception is intellectual [Schopenhauer] |
7710 | Perception is a mode of belief-acquisition, and does not involve sensation [Lowe] |
7711 | Science requires a causal theory - perception of an object must be an experience caused by the object [Lowe] |
4166 | A consciousness without an object is no consciousness [Schopenhauer] |
21369 | We have hidden and unadmitted desires and fears, suppressed because of vanity [Schopenhauer] |
21367 | I know both aspects of my body, as representation, and as will [Schopenhauer] |
7714 | Personal identity is a problem across time (diachronic) and at an instant (synchronic) [Lowe] |
4175 | It is as perverse to resent our individuality being replaced by others, as to resent the body renewing itself [Schopenhauer] |
4176 | We all regard ourselves a priori as free, but see from experience that character and motive compel us [Schopenhauer] |
4170 | Man's actions are not free, because they follow strictly from impact of motive on character [Schopenhauer] |
7715 | Mentalese isn't a language, because it isn't conventional, or a means of public communication [Lowe] |
7722 | If meaning is mental pictures, explain "the cat (or dog!) is NOT on the mat" [Lowe] |
4169 | Every true act of will is also at once and without exception a movement of the body [Schopenhauer] |
7187 | Schopenhauer was caught in Christian ideals, because he didn't deify his 'will' [Nietzsche on Schopenhauer] |
21365 | Only the will is thing-in-itself, seen both in blind nature and in human action [Schopenhauer] |
4173 | If we were essentially intellect rather than will, our moral worth would depend on imagined motives [Schopenhauer] |
21370 | Schopenhauer is a chief proponent of aesthetic experience as 'disinterested' [Schopenhauer, by Janaway] |
4182 | A principal pleasure of the beautiful is that it momentarily silences the will [Schopenhauer] |
21928 | The Sublime fights for will-less knowing, when faced with a beautiful threat to humanity [Schopenhauer, by Lewis,PB] |
21927 | Schopenhauer emphasises Ideas in art, unlike most romantics [Schopenhauer, by Lewis,PB] |
8116 | The will-less contemplation of art brings a liberation from selfhood [Schopenhauer, by Gardner] |
4174 | Man is more beautiful than anything else, and the loftiest purpose of art is to reveal his nature [Schopenhauer] |
21380 | The only aim of our existence is to grasp that non-existence would be better [Schopenhauer] |
21374 | We should no more expect ethical theory to produce good people than aesthetics to produce artists [Schopenhauer] |
4181 | Every good is essentially relative, for it has its essential nature only in its relation to a desiring will [Schopenhauer] |
5649 | Will casts aside each of its temporary fulfilments, so human life has no ultimate aim [Schopenhauer, by Scruton] |
4177 | Most people would probably choose non-existence at the end of their life, rather than relive the whole thing [Schopenhauer] |
4185 | Altruistic people make less distinction than usual between themselves and others [Schopenhauer] |
4183 | Only self-love can motivate morality, but that also makes it worthless [Schopenhauer] |
4172 | Happiness is the swift movement from desire to satisfaction, and then again on to desire [Schopenhauer] |
21371 | We can never attain happiness while our will is pursuing desires [Schopenhauer] |
4184 | Virtue must spring from an intuitive recognition that other people are essentially like us [Schopenhauer] |
4179 | The essence of nature is the will to life itself [Schopenhauer] |
4178 | Christianity is a pessimistic religion, in which the world is equated with evil [Schopenhauer] |
4180 | Religion is the mythical clothing of the truth which is inaccessible to the crude human intellect [Schopenhauer] |