44 ideas
23247 | The need to act produces consciousness, and practical reason is the root of all reason [Fichte] |
23232 | Sufficient reason makes the transition from the particular to the general [Fichte] |
18806 | Frege thought traditional categories had psychological and linguistic impurities [Frege, by Rumfitt] |
14249 | Boolos reinterprets second-order logic as plural logic [Boolos, by Oliver/Smiley] |
10830 | Second-order logic metatheory is set-theoretic, and second-order validity has set-theoretic problems [Boolos] |
10829 | A sentence can't be a truth of logic if it asserts the existence of certain sets [Boolos] |
8490 | First-level functions have objects as arguments; second-level functions take functions as arguments [Frege] |
8492 | Relations are functions with two arguments [Frege] |
10832 | '∀x x=x' only means 'everything is identical to itself' if the range of 'everything' is fixed [Boolos] |
10834 | Weak completeness: if it is valid, it is provable. Strong: it is provable from a set of sentences [Boolos] |
13841 | Why should compactness be definitive of logic? [Boolos, by Hacking] |
10833 | Many concepts can only be expressed by second-order logic [Boolos] |
8487 | Arithmetic is a development of logic, so arithmetical symbolism must expand into logical symbolism [Frege] |
18899 | Frege takes the existence of horses to be part of their concept [Frege, by Sommers] |
23227 | Each object has a precise number of properties, each to a precise degree [Fichte] |
4028 | Frege allows either too few properties (as extensions) or too many (as predicates) [Mellor/Oliver on Frege] |
23228 | The principle of activity and generation is found in a self-moving basic force [Fichte] |
8489 | The concept 'object' is too simple for analysis; unlike a function, it is an expression with no empty place [Frege] |
23241 | I am myself, but not the external object; so I only sense myself, and not the object [Fichte] |
21966 | Self-consciousness is the basis of knowledge, and knowing something is knowing myself [Fichte] |
21967 | There is nothing to say about anything which is outside my consciousness [Fichte] |
21969 | Awareness of reality comes from the free activity of consciousness [Fichte] |
23231 | I immediately know myself, and anything beyond that is an inference [Fichte] |
23246 | Faith is not knowledge; it is a decision of the will [Fichte] |
23245 | Knowledge can't be its own foundation; there has to be regress of higher and higher authorities [Fichte] |
23242 | Consciousness has two parts, passively receiving sensation, and actively causing productions [Fichte] |
23240 | We can't know by sight or hearing without realising that we are doing so [Fichte] |
23243 | Consciousness of external things is always accompanied by an unnoticed consciousness of self [Fichte] |
23244 | Forming purposes is absolutely free, and produces something from nothing [Fichte] |
23237 | The capacity for freedom is above the laws of nature, with its own power of purpose and will [Fichte] |
23235 | I want independent control of the fundamental cause of my decisions [Fichte] |
23230 | Nature contains a fundamental force of thought [Fichte] |
9947 | Concepts are the ontological counterparts of predicative expressions [Frege, by George/Velleman] |
10319 | An assertion about the concept 'horse' must indirectly speak of an object [Frege, by Hale] |
8488 | A concept is a function whose value is always a truth-value [Frege] |
9948 | Unlike objects, concepts are inherently incomplete [Frege, by George/Velleman] |
4972 | I may regard a thought about Phosphorus as true, and the same thought about Hesperus as false [Frege] |
23233 | The will is awareness of one of our inner natural forces [Fichte] |
23234 | I cannot change the nature which has been determined for me [Fichte] |
23239 | The self is, apart from outward behaviour, a drive in your nature [Fichte] |
23238 | If life lacks love it becomes destruction [Fichte] |
23236 | Freedom means making yourself become true to your essential nature [Fichte] |
23229 | Nature is wholly interconnected, and the tiniest change affects everything [Fichte] |
8491 | The Ontological Argument fallaciously treats existence as a first-level concept [Frege] |