81 ideas
19648 | Since Kant we think we can only access 'correlations' between thinking and being [Meillassoux] |
19674 | The Copernican Revolution decentres the Earth, but also decentres thinking from reality [Meillassoux] |
19657 | In Kant the thing-in-itself is unknowable, but for us it has become unthinkable [Meillassoux] |
19675 | Since Kant, philosophers have claimed to understand science better than scientists do [Meillassoux] |
19649 | Since Kant, objectivity is defined not by the object, but by the statement's potential universality [Meillassoux] |
19666 | If we insist on Sufficient Reason the world will always be a mystery to us [Meillassoux] |
19656 | Non-contradiction is unjustified, so it only reveals a fact about thinking, not about reality? [Meillassoux] |
13252 | Some truths have true negations [Beall/Restall] |
13247 | A truthmaker is an object which entails a sentence [Beall/Restall] |
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] |
19663 | We can allow contradictions in thought, but not inconsistency [Meillassoux] |
19664 | Paraconsistent logics are to prevent computers crashing when data conflicts [Meillassoux] |
19665 | Paraconsistent logic is about statements, not about contradictions in reality [Meillassoux] |
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] |
13237 | Preface Paradox affirms and denies the conjunction of propositions in the book [Beall/Restall] |
19677 | What is mathematically conceivable is absolutely possible [Meillassoux] |
19659 | The absolute is the impossibility of there being a necessary existent [Meillassoux] |
19662 | It is necessarily contingent that there is one thing rather than another - so something must exist [Meillassoux] |
19654 | We must give up the modern criterion of existence, which is a correlation between thought and being [Meillassoux] |
13244 | Relevant necessity is always true for some situation (not all situations) [Beall/Restall] |
19660 | Possible non-being which must be realised is 'precariousness'; absolute contingency might never not-be [Meillassoux] |
19671 | The idea of chance relies on unalterable physical laws [Meillassoux] |
4266 | Having beliefs involves recognition, expectation and surprise [Scruton] |
4265 | If an animal has beliefs, that implies not only that it can make mistakes, but that it can learn from them [Scruton] |
19651 | Unlike speculative idealism, transcendental idealism assumes the mind is embodied [Meillassoux] |
4264 | Perception (which involves an assessment) is a higher state than sensation [Scruton] |
19647 | The aspects of objects that can be mathematical allow it to have objective properties [Meillassoux] |
19652 | How can we mathematically describe a world that lacks humans? [Meillassoux] |
19668 | Hume's question is whether experimental science will still be valid tomorrow [Meillassoux] |
4271 | There is consciousness whenever behaviour must be explained in terms of mental activity [Scruton] |
4272 | Our concept of a person is derived from Roman law [Scruton] |
19650 | The transcendental subject is not an entity, but a set of conditions making science possible [Meillassoux] |
4267 | Conditioning may change behaviour without changing the mind [Scruton] |
4269 | An emotion is a motive which is also a feeling [Scruton] |
4270 | Do we use reason to distinguish people from animals, or use that difference to define reason? [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] |
4284 | All moral life depends ultimately on piety, which is our recognition of our own dependence [Scruton] |
4273 | Kant's Moral Law is the rules rational beings would accept when trying to live by agreement [Scruton] |
4274 | The modern virtues are courage, prudence, wisdom, temperance, justice, charity and loyalty [Scruton] |
4286 | Only just people will drop their own self-interests when faced with an impartial verdict [Scruton] |
4283 | Sympathy can undermine the moral order just as much as crime does [Scruton] |
4290 | That which can only be done by a callous person, ought not to be done [Scruton] |
4285 | As soon as we drop self-interest and judge impartially, we find ourselves agreeing about conflicts [Scruton] |
4287 | Utilitarianism merely guides us (by means of sympathy) when the moral law is silent [Scruton] |
4282 | Morality is not a sort of calculation, it is what sets the limits to when calculation is appropriate [Scruton] |
4281 | Utilitarianism says we can't blame Stalin yet, but such a theory is a sick joke [Scruton] |
4280 | Utilitarianism is wrong precisely because it can't distinguish animals from people [Scruton] |
4296 | Brutal animal sports are banned because they harm the personality of the watcher [Scruton] |
4295 | We favour our own animals over foreign ones because we see them as fellow citizens [Scruton] |
4268 | Animals command our sympathy and moral concern initially because of their intentionality [Scruton] |
4291 | Letting your dog kill wild rats, and keeping rats for your dog to kill, are very different [Scruton] |
4263 | Many of the stranger forms of life (e.g. worms) interest us only as a species, not as individuals [Scruton] |
4276 | An animal has individuality if it is nameable, and advanced animals can respond to their name [Scruton] |
4277 | I may avoid stepping on a spider or flower, but fellow-feeling makes me protect a rabbit [Scruton] |
4278 | Lucky animals are eaten by large predators, the less lucky starve, and worst is death by small predators [Scruton] |
4279 | We can easily remove the risk of suffering from an animal's life, but we shouldn't do it [Scruton] |
4289 | Sheep and cattle live comfortable lives, and die an enviably easy death [Scruton] |
4292 | Concern for one animal may harm the species, if the individual is part of a bigger problem [Scruton] |
4294 | Animals are outside the community of rights, but we still have duties towards them [Scruton] |
4288 | Many breeds of animals have needs which our own ancestors planted in them [Scruton] |
4293 | Introducing a natural means of controlling animal population may not be very compassionate [Scruton] |
19667 | If the laws of nature are contingent, shouldn't we already have noticed it? [Meillassoux] |
19670 | Why are contingent laws of nature stable? [Meillassoux] |
19653 | The ontological proof of a necessary God ensures a reality external to the mind [Meillassoux] |
19658 | Now that the absolute is unthinkable, even atheism is just another religious belief (though nihilist) [Meillassoux] |