Combining Texts

All the ideas for 'Proslogion', 'Truth-makers' and 'Models'

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


22 ideas

3. Truth / B. Truthmakers / 2. Truthmaker Relation
Part-whole is the key relation among truth-makers [Mulligan/Simons/Smith]
3. Truth / B. Truthmakers / 5. What Makes Truths / a. What makes truths
Truth-makers cannot be the designata of the sentences they make true [Mulligan/Simons/Smith]
Moments (objects which cannot exist alone) may serve as truth-makers [Mulligan/Simons/Smith]
The truth-maker for a sentence may not be unique, or may be a combination, or several separate items [Mulligan/Simons/Smith]
Despite negative propositions, truthmakers are not logical complexes, but ordinary experiences [Mulligan/Simons/Smith]
3. Truth / C. Correspondence Truth / 3. Correspondence Truth critique
Correspondence has to invoke facts or states of affairs, just to serve as truth-makers [Mulligan/Simons/Smith]
14. Science / B. Scientific Theories / 7. Scientific Models
Theoretical models can represent, by mapping onto the data-models [Portides]
In the 'received view' models are formal; the 'semantic view' emphasises representation [Portides, by PG]
Representational success in models depends on success of their explanations [Portides]
The best model of the atomic nucleus is the one which explains the most results [Portides]
'Model' belongs in a family of concepts, with representation, idealisation and abstraction [Portides]
Models are theory-driven, or phenomenological (more empirical and specific) [Portides]
14. Science / D. Explanation / 2. Types of Explanation / i. Explanations by mechanism
General theories may be too abstract to actually explain the mechanisms [Portides]
28. God / B. Proving God / 2. Proofs of Reason / a. Ontological Proof
An existing thing is even greater if its non-existence is inconceivable [Anselm]
Conceiving a greater being than God leads to absurdity [Anselm]
Even the fool can hold 'a being than which none greater exists' in his understanding [Anselm]
If that than which a greater cannot be thought actually exists, that is greater than the mere idea [Anselm]
A perfection must be independent and unlimited, and the necessary existence of Anselm's second proof gives this [Malcolm on Anselm]
The word 'God' can be denied, but understanding shows God must exist [Anselm]
Guanilo says a supremely fertile island must exist, just because we can conceive it [Anselm]
Nonexistence is impossible for the greatest thinkable thing, which has no beginning or end [Anselm]
28. God / B. Proving God / 2. Proofs of Reason / b. Ontological Proof critique
Anselm's first proof fails because existence isn't a real predicate, so it can't be a perfection [Malcolm on Anselm]