6 ideas
17699 | Variables are auxiliary notions, and not part of the 'eternal' essence of logic [Schönfinkel] |
10558 | Abstract objects are actually constituted by the properties by which we conceive them [Zalta] |
12314 | Audience-relative explanation, or metaphysical explanation based on information? [Stanford] |
12313 | Explanation is for curiosity, control, understanding, to make meaningful, or to give authority [Stanford] |
12315 | We can explain by showing constitution, as well as showing causes [Stanford] |
10557 | Abstract objects are captured by second-order modal logic, plus 'encoding' formulas [Zalta] |