48 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] |
13838 | A decent modern definition should always imply a semantics [Hacking] |
13833 | 'Thinning' ('dilution') is the key difference between deduction (which allows it) and induction [Hacking] |
13834 | Gentzen's Cut Rule (or transitivity of deduction) is 'If A |- B and B |- C, then A |- C' [Hacking] |
13835 | Only Cut reduces complexity, so logic is constructive without it, and it can be dispensed with [Hacking] |
13845 | The various logics are abstractions made from terms like 'if...then' in English [Hacking] |
13840 | First-order logic is the strongest complete compact theory with Löwenheim-Skolem [Hacking] |
13844 | A limitation of first-order logic is that it cannot handle branching quantifiers [Hacking] |
13842 | Second-order completeness seems to need intensional entities and possible worlds [Hacking] |
13837 | With a pure notion of truth and consequence, the meanings of connectives are fixed syntactically [Hacking] |
13839 | Perhaps variables could be dispensed with, by arrows joining places in the scope of quantifiers [Hacking] |
13843 | If it is a logic, the Löwenheim-Skolem theorem holds for it [Hacking] |
23227 | Each object has a precise number of properties, each to a precise degree [Fichte] |
23228 | The principle of activity and generation is found in a self-moving basic force [Fichte] |
12132 | Indiscernibility is a necessary and sufficient condition for identity [Brody] |
15834 | Brody bases sortal essentialism on properties required throughout something's existence [Brody, by Mackie,P] |
12140 | Modern emphasis is on properties had essentially; traditional emphasis is on sort-defining properties [Brody] |
11895 | A sortal essence is a property which once possessed always possessed [Brody, by Mackie,P] |
12141 | Maybe essential properties are those which determine a natural kind? [Brody] |
12137 | De re essentialism standardly says all possible objects identical with a have a's essential properties [Brody] |
12142 | Essentially, a has P, always had P, must have had P, and has never had a future without P [Brody] |
12143 | An object having a property essentially is equivalent to its having it necessarily [Brody] |
12144 | Essentialism is justified if the essential properties of things explain their other properties [Brody] |
12139 | Mereological essentialism says that every part that ensures the existence is essential [Brody] |
12135 | Interrupted objects have two first moments of existence, which could be two beginnings [Brody] |
12130 | a and b share all properties; so they share being-identical-with-a; so a = b [Brody] |
12138 | Identity across possible worlds is prior to rigid designation [Brody] |
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] |
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] |