15 ideas
18812 | Split out the logical vocabulary, make an assignment to the rest. It's logical if premises and conclusion match [Tarski, by Rumfitt] |
13344 | X follows from sentences K iff every model of K also models X [Tarski] |
13343 | A 'model' is a sequence of objects which satisfies a complete set of sentential functions [Tarski] |
14775 | Numbers are just names devised for counting [Peirce] |
14776 | That two two-eyed people must have four eyes is a statement about numbers, not a fact [Peirce] |
22076 | Being is only perceptible to itself as becoming [Schelling] |
14770 | Reasoning is based on statistical induction, so it can't achieve certainty or precision [Peirce] |
22074 | We must show that the whole of nature, because it is effective, is grounded in freedom [Schelling] |
14774 | Innate truths are very uncertain and full of error, so they certainly have exceptions [Peirce] |
14773 | A truth is hard for us to understand if it rests on nothing but inspiration [Peirce] |
14772 | If we decide an idea is inspired, we still can't be sure we have got the idea right [Peirce] |
14771 | Only reason can establish whether some deliverance of revelation really is inspired [Peirce] |
14769 | Only imagination can connect phenomena together in a rational way [Peirce] |
22075 | Only idealism has given us the genuine concept of freedom [Schelling] |
13345 | Sentences are 'analytical' if every sequence of objects models them [Tarski] |