5 ideas
9184 | We can't presume that all interesting concepts can be analysed [Williamson] |
13827 | Logical consequence isn't a black box (Tarski's approach); we should explain how arguments work [Prawitz] |
13826 | Model theory looks at valid sentences and consequence, but not how we know these things [Prawitz] |
9183 | Platonism claims that some true assertions have singular terms denoting abstractions, so abstractions exist [Williamson] |
6019 | If someone squashed a horse to make a dog, something new would now exist [Mnesarchus] |