33 ideas
| 8952 | We reach 'reflective equilibrium' when intuitions and theory completely align [Fisher] |
| 15134 | The truthmaker principle requires some specific named thing to make the difference [Williamson] |
| 15140 | The converse Barcan formula will not allow contingent truths to have truthmakers [Williamson] |
| 15141 | Truthmaker is incompatible with modal semantics of varying domains [Williamson] |
| 15131 | If metaphysical possibility is not a contingent matter, then S5 seems to suit it best [Williamson] |
| 15135 | If the domain of propositional quantification is constant, the Barcan formulas hold [Williamson] |
| 15139 | Converse Barcan: could something fail to meet a condition, if everything meets that condition? [Williamson] |
| 8943 | Three-valued logic says excluded middle and non-contradition are not tautologies [Fisher] |
| 8945 | Fuzzy logic has many truth values, ranging in fractions from 0 to 1 [Fisher] |
| 10807 | Mathematics reduces to set theory, which reduces, with some mereology, to the singleton function [Lewis] |
| 10809 | We can accept the null set, but not a null class, a class lacking members [Lewis] |
| 10812 | The null set is not a little speck of sheer nothingness, a black hole in Reality [Lewis] |
| 10811 | The null set plays the role of last resort, for class abstracts and for existence [Lewis] |
| 10813 | What on earth is the relationship between a singleton and an element? [Lewis] |
| 10814 | Are all singletons exact intrinsic duplicates? [Lewis] |
| 10806 | Megethology is the result of adding plural quantification to mereology [Lewis] |
| 8951 | Classical logic is: excluded middle, non-contradiction, contradictions imply all, disjunctive syllogism [Fisher] |
| 8950 | Logic formalizes how we should reason, but it shouldn't determine whether we are realists [Fisher] |
| 10816 | We can use mereology to simulate quantification over relations [Lewis] |
| 18492 | Not all quantification is either objectual or substitutional [Williamson] |
| 15136 | Substitutional quantification is metaphysical neutral, and equivalent to a disjunction of instances [Williamson] |
| 15138 | Not all quantification is objectual or substitutional [Williamson] |
| 10808 | Mathematics is generalisations about singleton functions [Lewis] |
| 10815 | We don't need 'abstract structures' to have structural truths about successor functions [Lewis] |
| 15137 | If 'fact' is a noun, can we name the fact that dogs bark 'Mary'? [Williamson] |
| 8946 | We could make our intuitions about heaps precise with a million-valued logic [Fisher] |
| 8944 | Vagueness can involve components (like baldness), or not (like boredom) [Fisher] |
| 10810 | I say that absolutely any things can have a mereological fusion [Lewis] |
| 8941 | We can't explain 'possibility' in terms of 'possible' worlds [Fisher] |
| 8947 | If all truths are implied by a falsehood, then not-p might imply both q and not-q [Fisher] |
| 8949 | In relevance logic, conditionals help information to flow from antecedent to consequent [Fisher] |
| 15142 | Our ability to count objects across possibilities favours the Barcan formulas [Williamson] |
| 15133 | A thing can't be the only necessary existent, because its singleton set would be as well [Williamson] |