Combining Texts

All the ideas for 'Principles of Theoretical Logic', 'A Defense of Abortion' and 'Truth-making and Correspondence'

expand these ideas     |    start again     |     specify just one area for these texts


21 ideas

3. Truth / A. Truth Problems / 2. Defining Truth
If truths are just identical with facts, then truths will make themselves true [David]
3. Truth / B. Truthmakers / 2. Truthmaker Relation
Examples show that truth-making is just non-symmetric, not asymmetric [David]
3. Truth / B. Truthmakers / 4. Truthmaker Necessitarianism
It is assumed that a proposition is necessarily true if its truth-maker exists [David]
3. Truth / B. Truthmakers / 5. What Makes Truths / a. What makes truths
Two different propositions can have the same fact as truth-maker [David]
3. Truth / B. Truthmakers / 5. What Makes Truths / b. Objects make truths
What matters is truth-making (not truth-makers) [David]
3. Truth / B. Truthmakers / 11. Truthmaking and Correspondence
Correspondence is symmetric, while truth-making is taken to be asymmetric [David]
Correspondence is an over-ambitious attempt to explain truth-making [David]
Correspondence theorists see facts as the only truth-makers [David]
3. Truth / C. Correspondence Truth / 1. Correspondence Truth
Correspondence theory likes ideal languages, that reveal the structure of propositions [David]
3. Truth / C. Correspondence Truth / 2. Correspondence to Facts
One proposition can be made true by many different facts [David]
What makes a disjunction true is simpler than the disjunctive fact it names [David]
4. Formal Logic / C. Predicate Calculus PC / 1. Predicate Calculus PC
The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki]
8. Modes of Existence / A. Relations / 4. Formal Relations / a. Types of relation
A reflexive relation entails that the relation can't be asymmetric [David]
25. Social Practice / F. Life Issues / 3. Abortion
Is someone's right to life diminished if they were conceived by a rape? [Thomson]
No one is morally required to make huge sacrifices to keep someone else alive for nine months [Thomson]
It can't be murder for a mother to perform an abortion on herself to save her own life [Thomson]
A newly fertilized ovum is no more a person than an acorn is an oak tree [Thomson]
Maybe abortion can be justified despite the foetus having full human rights [Thomson, by Foot]
The foetus is safe in the womb, so abortion initiates its death, with the mother as the agent. [Foot on Thomson]
The right to life does not bestow the right to use someone else's body to support that life [Thomson]
The right to life is not a right not to be killed, but not to be killed unjustly [Thomson]