22 ideas
18365 | If truths are just identical with facts, then truths will make themselves true [David] |
18362 | Examples show that truth-making is just non-symmetric, not asymmetric [David] |
18360 | It is assumed that a proposition is necessarily true if its truth-maker exists [David] |
18358 | Two different propositions can have the same fact as truth-maker [David] |
18355 | What matters is truth-making (not truth-makers) [David] |
18354 | Correspondence is symmetric, while truth-making is taken to be asymmetric [David] |
18356 | Correspondence is an over-ambitious attempt to explain truth-making [David] |
18363 | Correspondence theorists see facts as the only truth-makers [David] |
18364 | Correspondence theory likes ideal languages, that reveal the structure of propositions [David] |
18357 | What makes a disjunction true is simpler than the disjunctive fact it names [David] |
18359 | One proposition can be made true by many different facts [David] |
14970 | Normal system K has five axioms and rules [Cresswell] |
14971 | D is valid on every serial frame, but not where there are dead ends [Cresswell] |
14972 | S4 has 14 modalities, and always reduces to a maximum of three modal operators [Cresswell] |
14973 | In S5 all the long complex modalities reduce to just three, and their negations [Cresswell] |
14976 | Reject the Barcan if quantifiers are confined to worlds, and different things exist in other worlds [Cresswell] |
18361 | A reflexive relation entails that the relation can't be asymmetric [David] |
14974 | A relation is 'Euclidean' if aRb and aRc imply bRc [Cresswell] |
14975 | A de dicto necessity is true in all worlds, but not necessarily of the same thing in each world [Cresswell] |
20327 | Modern attention has moved from the intrinsic properties of art to its relational properties [Lamarque/Olson] |
20326 | Early 20th cent attempts at defining art focused on significant form, intuition, expression, unity [Lamarque/Olson] |
20330 | The dualistic view says works of art are either abstract objects (types), or physical objects [Lamarque/Olson] |