69 ideas
13395 | If an analysis shows the features of a concept, it doesn't seem to 'reduce' the concept [Jubien] |
10775 | The axiom of choice now seems acceptable and obvious (if it is meaningful) [Tharp] |
10766 | Logic is either for demonstration, or for characterizing structures [Tharp] |
13378 | It is a mistake to think that the logic developed for mathematics can clarify language and philosophy [Jubien] |
10767 | Elementary logic is complete, but cannot capture mathematics [Tharp] |
10769 | Second-order logic isn't provable, but will express set-theory and classic problems [Tharp] |
10762 | In sentential logic there is a simple proof that all truth functions can be reduced to 'not' and 'and' [Tharp] |
13402 | We only grasp a name if we know whether to apply it when the bearer changes [Jubien] |
13405 | The baptiser picks the bearer of a name, but social use decides the category [Jubien] |
13399 | Examples show that ordinary proper names are not rigid designators [Jubien] |
13398 | We could make a contingent description into a rigid and necessary one by adding 'actual' to it [Jubien] |
10776 | The main quantifiers extend 'and' and 'or' to infinite domains [Tharp] |
13392 | Philosophers reduce complex English kind-quantifiers to the simplistic first-order quantifier [Jubien] |
10774 | There are at least five unorthodox quantifiers that could be used [Tharp] |
10777 | Skolem mistakenly inferred that Cantor's conceptions were illusory [Tharp] |
10773 | The Löwenheim-Skolem property is a limitation (e.g. can't say there are uncountably many reals) [Tharp] |
10765 | Soundness would seem to be an essential requirement of a proof procedure [Tharp] |
10763 | Completeness and compactness together give axiomatizability [Tharp] |
10770 | If completeness fails there is no algorithm to list the valid formulas [Tharp] |
10771 | Compactness is important for major theories which have infinitely many axioms [Tharp] |
10772 | Compactness blocks infinite expansion, and admits non-standard models [Tharp] |
10764 | A complete logic has an effective enumeration of the valid formulas [Tharp] |
10768 | Effective enumeration might be proved but not specified, so it won't guarantee knowledge [Tharp] |
13404 | To exist necessarily is to have an essence whose own essence must be instantiated [Jubien] |
13386 | If objects are just conventional, there is no ontological distinction between stuff and things [Jubien] |
13403 | The category of Venus is not 'object', or even 'planet', but a particular class of good-sized object [Jubien] |
13375 | The idea that every entity must have identity conditions is an unfortunate misunderstanding [Jubien] |
13393 | Any entity has the unique property of being that specific entity [Jubien] |
13388 | It is incoherent to think that a given entity depends on its kind for its existence [Jubien] |
13384 | Objects need conventions for their matter, their temporal possibility, and their spatial possibility [Jubien] |
13385 | Basically, the world doesn't have ready-made 'objects'; we carve objects any way we like [Jubien] |
13383 | If the statue is loved and the clay hated, that is about the object first qua statue, then qua clay [Jubien] |
13400 | If one entity is an object, a statue, and some clay, these come apart in at least three ways [Jubien] |
13401 | The idea of coincident objects is a last resort, as it is opposed to commonsense naturalism [Jubien] |
13380 | Parts seem to matter when it is just an object, but not matter when it is a kind of object [Jubien] |
13376 | We should not regard essentialism as just nontrivial de re necessity [Jubien] |
13381 | Thinking of them as 'ships' the repaired ship is the original, but as 'objects' the reassembly is the original [Jubien] |
13382 | Rearranging the planks as a ship is confusing; we'd say it was the same 'object' with a different arrangement [Jubien] |
13379 | If two objects are indiscernible across spacetime, how could we decide whether or not they are the same? [Jubien] |
13394 | Entailment does not result from mutual necessity; mutual necessity ensures entailment [Jubien] |
13391 | Modality concerns relations among platonic properties [Jubien] |
13374 | To analyse modality, we must give accounts of objects, properties and relations [Jubien] |
13389 | The love of possible worlds is part of the dream that technical logic solves philosophical problems [Jubien] |
13390 | Possible worlds don't explain necessity, because they are a bunch of parallel contingencies [Jubien] |
13396 | Analysing mental concepts points to 'inclusionism' - that mental phenomena are part of the physical [Jubien] |
13377 | First-order logic tilts in favour of the direct reference theory, in its use of constants for objects [Jubien] |
23616 | Legal excuses are duress, ignorance, and diminished responsibility [McMahan] |
23606 | Liberty Rights are permissions, and Claim Rights are freedom from intervention [McMahan] |
23620 | A person or state may be attacked if they are responsible for an unjustified threat [McMahan] |
23598 | You (e.g. a police officer) are not liable to attack just because you pose a threat [McMahan] |
23594 | Wars can be unjust, despite a just cause, if they are unnecessary or excessive or of mixed cause [McMahan] |
23597 | Just war theory says all and only persons posing a threat are liable to attack [McMahan] |
23595 | The worst unjustified wars have no aim at all [McMahan] |
23619 | A defensive war is unjust, if it is responding to a just war [McMahan] |
23600 | Proportionality in fighting can't be judged independently of the justice of each side [McMahan] |
23603 | Can an army start an unjust war, and then fight justly to defend their own civilians? [McMahan] |
23611 | Soldiers cannot freely fight in unjust wars, just because they behave well when fighting [McMahan] |
23612 | The law of war differs from criminal law; attacking just combatants is immoral, but legal [McMahan] |
23617 | If the unjust combatants are morally excused they are innocent, so how can they be killed? [McMahan] |
23599 | You don't become a legitimate target, just because you violently resist an unjust attack [McMahan] |
23596 | If all combatants are seen as morally equal, that facilitates starting unjust wars [McMahan] |
23604 | Volunteer soldiers accept the risk of attack, but they don't agree to it, or to their deaths [McMahan] |
23608 | If being part of a big collective relieves soldiers of moral responsibility, why not the leaders too? [McMahan] |
23610 | If soldiers can't refuse to fight in unjust wars, can they choose to fight in just wars? [McMahan] |
23613 | Equality is both sides have permission, or both sides are justified, or one justified the other permitted [McMahan] |
23615 | Fighting unjustly under duress does not justify it, or permit it, but it may excuse it [McMahan] |
23605 | Soldiers cannot know enough facts to evaluate the justice of their war [McMahan] |
23602 | Innocence implies not being morally responsible, rather than merely being guiltless [McMahan] |
23618 | Unconditional surrender can't be demanded, since evil losers still have legitimate conditions [McMahan] |