display all the ideas for this combination of texts
8 ideas
| 21388 | The causes of future true events must exist now, so they will happen because of destiny [Chrysippus, by Cicero] |
| Full Idea: True future events cannot be such as do not possess causes on account of which they will happen; therefore that which is true must possess causes: and so, when the [true future events] happen they will have happened as a result of destiny. | |
| From: report of Chrysippus (fragments/reports [c.240 BCE]) by M. Tullius Cicero - On Fate ('De fato') 9.23-8 | |
| A reaction: [exact ref unclear] Presumably the current causes are the truthmakers for the future events, and so the past is the truthmaker of the future, if you are a determinist. |
| 20780 | Graspable presentations are criteria of facts, and are molded according to their objects [Chrysippus, by Diog. Laertius] |
| Full Idea: Of presentations, some are graspable, some non-graspable. The graspable presentation, which they say is the criterion of facts [pragmata], is that which comes from an existing object and is stamped and molded in accordance wth the existing object itself. | |
| From: report of Chrysippus (fragments/reports [c.240 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 07.46 | |
| A reaction: [in lost Physics Bk 2] The big modern anguish over truth-as-correspondence is how you are supposed to verify the 'accordance'. This idea seems to blur the ideas of truth and justification (the 'criterion'), and you can't have both as accordance. |
| 20793 | How could you ever know that the presentation is similar to the object? [Sext.Empiricus on Chrysippus] |
| Full Idea: One cannot say that the soul grasps the externally existing objects by means of the states of the senses on the basis of the similarity of these states to the externally existing objects. For on what basis will it know the similarity? | |
| From: comment on Chrysippus (fragments/reports [c.240 BCE]) by Sextus Empiricus - Outlines of Pyrrhonism 2.74 | |
| A reaction: This exactly the main modern reason for rejecting the correspondence theory of truth. You are welcome to affirm a robust view of truth, but supporting it by claiming a correspondence or resemblance is dubious. |
| 15327 | Kripke's semantic theory has actually inspired promising axiomatic theories [Kripke, by Horsten] |
| Full Idea: Kripke has a semantic theory of truth which has inspired promising axiomatic theories of truth. | |
| From: report of Saul A. Kripke (Outline of a Theory of Truth [1975]) by Leon Horsten - The Tarskian Turn 01.2 | |
| A reaction: Feferman produced an axiomatic version of Kripke's semantic theory. |
| 15343 | Kripke offers a semantic theory of truth (involving models) [Kripke, by Horsten] |
| Full Idea: One of the most popular semantic theories of truth is Kripke's theory. It describes a class of models which themselves involve a truth predicate (unlike Tarski's semantic theory). | |
| From: report of Saul A. Kripke (Outline of a Theory of Truth [1975]) by Leon Horsten - The Tarskian Turn 02.3 | |
| A reaction: The modern versions explored by Horsten are syntactic versions of this, derived from Feferman's axiomatisation of the Kripke theory. |
| 14966 | The Tarskian move to a metalanguage may not be essential for truth theories [Kripke, by Gupta] |
| Full Idea: Kripke established that, contrary to the prevalent Tarskian dogma, attributions of truth do not always force a move to a metalanguage. | |
| From: report of Saul A. Kripke (Outline of a Theory of Truth [1975], 5.1) by Anil Gupta - Truth | |
| A reaction: [Gupta also cites Martin and Woodruff 1975] |
| 14967 | Certain three-valued languages can contain their own truth predicates [Kripke, by Gupta] |
| Full Idea: Kripke showed via a fixed-point argument that certain three-valued languages can contain their own truth predicates. | |
| From: report of Saul A. Kripke (Outline of a Theory of Truth [1975]) by Anil Gupta - Truth | |
| A reaction: [Gupta also cites Martin and Woodruff 1975] It is an odd paradox that truth can only be included if one adds a truth-value of 'neither true nor false'. The proposed three-valued system is 'strong Kleene logic'. |
| 16328 | Kripke classified fixed points, and illuminated their use for clarifications [Kripke, by Halbach] |
| Full Idea: Kripke's main contribution was …his classification of the different consistent fixed points and the discussion of their use for discriminating between ungrounded sentences, paradoxical sentences, and so on. | |
| From: report of Saul A. Kripke (Outline of a Theory of Truth [1975]) by Volker Halbach - Axiomatic Theories of Truth 15.1 |