4 ideas
17962 | The truth-maker principle is that every truth has a sufficient truth-maker [Forrest] |
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] |
16627 | If you remove the accidents from a horse and a lion, the intellect can't tell them apart [Francis of Marchia] |