32 ideas
| 14611 | Metaphysics should avoid talk of past, present or future [Smart] |
| 17070 | Coherence is consilience, simplicity, analogy, and fitting into a web of belief [Smart] |
| 17072 | We need comprehensiveness, as well as self-coherence [Smart] |
| 19125 | If we define truth, we can eliminate it [Halbach/Leigh] |
| 19128 | If a language cannot name all objects, then satisfaction must be used, instead of unary truth [Halbach/Leigh] |
| 19120 | Semantic theories need a powerful metalanguage, typically including set theory [Halbach/Leigh] |
| 19127 | The T-sentences are deductively weak, and also not deductively conservative [Halbach/Leigh] |
| 19124 | A natural theory of truth plays the role of reflection principles, establishing arithmetic's soundness [Halbach/Leigh] |
| 19126 | If deflationary truth is not explanatory, truth axioms should be 'conservative', proving nothing new [Halbach/Leigh] |
| 19129 | The FS axioms use classical logical, but are not fully consistent [Halbach/Leigh] |
| 19130 | KF is formulated in classical logic, but describes non-classical truth, which allows truth-value gluts [Halbach/Leigh] |
| 16062 | A necessary relation between fact-levels seems to be a further irreducible fact [Lynch/Glasgow] |
| 16061 | If some facts 'logically supervene' on some others, they just redescribe them, adding nothing [Lynch/Glasgow] |
| 16060 | Nonreductive materialism says upper 'levels' depend on lower, but don't 'reduce' [Lynch/Glasgow] |
| 16064 | The hallmark of physicalism is that each causal power has a base causal power under it [Lynch/Glasgow] |
| 19121 | We can reduce properties to true formulas [Halbach/Leigh] |
| 19122 | Nominalists can reduce theories of properties or sets to harmless axiomatic truth theories [Halbach/Leigh] |
| 17073 | I simply reject evidence, if it is totally contrary to my web of belief [Smart] |
| 17077 | The height of a flagpole could be fixed by its angle of shadow, but that would be very unusual [Smart] |
| 17078 | Universe expansion explains the red shift, but not vice versa [Smart] |
| 17074 | Explanations are bad by fitting badly with a web of beliefs, or fitting well into a bad web [Smart] |
| 17076 | Deducing from laws is one possible way to achieve a coherent explanation [Smart] |
| 17061 | Explanation of a fact is fitting it into a system of beliefs [Smart] |
| 17071 | An explanation is better if it also explains phenomena from a different field [Smart] |
| 17062 | If scientific explanation is causal, that rules out mathematical explanation [Smart] |
| 17075 | Scientific explanation tends to reduce things to the unfamiliar (not the familiar) [Smart] |
| 22405 | Negative utilitarianism implies that the world should be destroyed, to avoid future misery [Smart] |
| 22404 | Any group interested in ethics must surely have a sentiment of generalised benevolence [Smart] |
| 14613 | Special relativity won't determine a preferred frame, but we can pick one externally [Smart] |
| 17063 | Unlike Newton, Einstein's general theory explains the perihelion of Mercury [Smart] |
| 14615 | If time flows, then 'how fast does it flow?' is a tricky question [Smart] |
| 14614 | The past, present, future and tenses of A-theory are too weird, and should be analysed indexically [Smart] |