4 ideas
12220 | Is it the sentence-token or the sentence-type that has a logical form? [Fine,K] |
12222 | Substitutional quantification is referential quantification over expressions [Fine,K] |
9558 | All scientific tests will verify mathematics, so it is a background, not something being tested [Sober] |
19590 | Empiricists are passive thinkers, given their philosophy by the external world and fate [Novalis] |