6 ideas
13342 | Carnap defined consequence by contradiction, but this is unintuitive and changes with substitution [Tarski on Carnap] |
13251 | Each person is free to build their own logic, just by specifying a syntax [Carnap] |
10801 | Either reference really matters, or we don't need to replace it with substitutions [Quine] |
12354 | A 'categorial' property is had by virtue of being or having an item from a category [Wedin] |
12358 | Substance is a principle and a kind of cause [Wedin] |
12346 | Form explains why some matter is of a certain kind, and that is explanatory bedrock [Wedin] |