4 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] |
10557 | Abstract objects are captured by second-order modal logic, plus 'encoding' formulas [Zalta] |
19216 | Propositions (such as 'that dog is barking') only exist if their items exist [Williamson] |