58 ideas
| 3879 | Philosophy aims to provide a theory of everything [Scruton] |
| 3891 | If p entails q, then p is sufficient for q, and q is necessary for p [Scruton] |
| 3894 | We may define 'good' correctly, but then ask whether the application of the definition is good [Scruton] |
| 3883 | A true proposition is consistent with every other true proposition [Scruton] |
| 13252 | Some truths have true negations [Beall/Restall] |
| 13247 | A truthmaker is an object which entails a sentence [Beall/Restall] |
| 3884 | The pragmatist does not really have a theory of truth [Scruton] |
| 13249 | (∀x)(A v B) |- (∀x)A v (∃x)B) is valid in classical logic but invalid intuitionistically [Beall/Restall] |
| 13243 | Excluded middle must be true for some situation, not for all situations [Beall/Restall] |
| 13242 | It's 'relevantly' valid if all those situations make it true [Beall/Restall] |
| 13246 | Relevant logic does not abandon classical logic [Beall/Restall] |
| 13245 | Relevant consequence says invalidity is the conclusion not being 'in' the premises [Beall/Restall] |
| 13254 | A doesn't imply A - that would be circular [Beall/Restall] |
| 13255 | Relevant logic may reject transitivity [Beall/Restall] |
| 13250 | Free logic terms aren't existential; classical is non-empty, with referring names [Beall/Restall] |
| 17884 | Mathematical set theory has many plausible stopping points, such as finitism, and predicativism [Koellner] |
| 17893 | 'Reflection principles' say the whole truth about sets can't be captured [Koellner] |
| 13235 | Logic studies consequence; logical truths are consequences of everything, or nothing [Beall/Restall] |
| 13238 | Syllogisms are only logic when they use variables, and not concrete terms [Beall/Restall] |
| 13234 | The view of logic as knowing a body of truths looks out-of-date [Beall/Restall] |
| 13232 | Logic studies arguments, not formal languages; this involves interpretations [Beall/Restall] |
| 13241 | The model theory of classical predicate logic is mathematics [Beall/Restall] |
| 13253 | There are several different consequence relations [Beall/Restall] |
| 13240 | A sentence follows from others if they always model it [Beall/Restall] |
| 13236 | Logical truth is much more important if mathematics rests on it, as logicism claims [Beall/Restall] |
| 17894 | We have no argument to show a statement is absolutely undecidable [Koellner] |
| 13237 | Preface Paradox affirms and denies the conjunction of propositions in the book [Beall/Restall] |
| 3907 | Could you be intellectually acquainted with numbers, but unable to count objects? [Scruton] |
| 17890 | There are at least eleven types of large cardinal, of increasing logical strength [Koellner] |
| 17887 | PA is consistent as far as we can accept, and we expand axioms to overcome limitations [Koellner] |
| 17891 | Arithmetical undecidability is always settled at the next stage up [Koellner] |
| 3908 | If maths contains unprovable truths, then maths cannot be reduced to a set of proofs [Scruton] |
| 3906 | If possible worlds are needed to define properties, maybe we should abandon properties [Scruton] |
| 13244 | Relevant necessity is always true for some situation (not all situations) [Beall/Restall] |
| 3888 | Hume assumes that necessity can only be de dicto, not de re [Scruton] |
| 3903 | The conceivable can't be a test of the possible, if there are things which are possible but inconceivable [Scruton] |
| 3897 | Epistemology is about the justification of belief, not the definition of knowledge [Scruton] |
| 3881 | In the Cogito argument consciousness develops into self-consciousness [Scruton] |
| 3887 | Maybe our knowledge of truth and causation is synthetic a priori [Scruton] |
| 3901 | Touch only seems to reveal primary qualities [Scruton] |
| 3885 | We only conceive of primary qualities as attached to secondary qualities [Scruton] |
| 3910 | If primary and secondary qualities are distinct, what has the secondary qualities? [Scruton] |
| 3899 | The representational theory says perceptual states are intentional states [Scruton] |
| 3898 | My belief that it will rain tomorrow can't be caused by its raining tomorrow [Scruton] |
| 3880 | Logical positivism avoids scepticism, by closing the gap between evidence and conclusion [Scruton] |
| 3878 | Why should you believe someone who says there are no truths? [Scruton] |
| 3892 | Every event having a cause, and every event being determined by its cause, are not the same [Scruton] |
| 3911 | The very concept of a substance denies the possibility of mutual interaction and dependence [Scruton] |
| 13239 | Judgement is always predicating a property of a subject [Beall/Restall] |
| 13248 | We can rest truth-conditions on situations, rather than on possible worlds [Beall/Restall] |
| 13233 | Propositions commit to content, and not to any way of spelling it out [Beall/Restall] |
| 3882 | Wittgenstein makes it impossible to build foundations from something that is totally private [Scruton] |
| 3896 | Any social theory of morality has the problem of the 'free rider', who only pretends to join in [Scruton] |
| 3886 | Membership is the greatest source of obligation [Scruton] |
| 3895 | The categorical imperative is not just individual, but can be used for negotiations between strangers [Scruton] |
| 3890 | 'Cause' used to just mean any valid explanation [Scruton] |
| 3904 | Measuring space requires no movement while I do it [Scruton] |
| 3905 | 'Existence' is not a predicate of 'man', but of the concept of man, saying it has at least one instance [Scruton] |