17 ideas
10476 | The idea that groups of concepts could be 'implicitly defined' was abandoned [Hodges,W] |
10478 | Since first-order languages are complete, |= and |- have the same meaning [Hodges,W] |
10477 | |= in model-theory means 'logical consequence' - it holds in all models [Hodges,W] |
10474 | |= should be read as 'is a model for' or 'satisfies' [Hodges,W] |
10473 | Model theory studies formal or natural language-interpretation using set-theory [Hodges,W] |
10475 | A 'structure' is an interpretation specifying objects and classes of quantification [Hodges,W] |
10481 | Models in model theory are structures, not sets of descriptions [Hodges,W] |
10480 | First-order logic can't discriminate between one infinite cardinal and another [Hodges,W] |
1590 | The just man does not harm his enemies, but benefits everyone [Plato] |
4058 | Is someone's right to life diminished if they were conceived by a rape? [Thomson] |
4060 | The right to life does not bestow the right to use someone else's body to support that life [Thomson] |
4062 | No one is morally required to make huge sacrifices to keep someone else alive for nine months [Thomson] |
4061 | The right to life is not a right not to be killed, but not to be killed unjustly [Thomson] |
4057 | A newly fertilized ovum is no more a person than an acorn is an oak tree [Thomson] |
4695 | Maybe abortion can be justified despite the foetus having full human rights [Thomson, by Foot] |
4059 | It can't be murder for a mother to perform an abortion on herself to save her own life [Thomson] |
4696 | The foetus is safe in the womb, so abortion initiates its death, with the mother as the agent. [Foot on Thomson] |