display all the ideas for this combination of texts
3 ideas
17286 | Logical consequence is verification by a possible world within a truth-set [Fine,K] |
Full Idea: Under the possible worlds semantics for logical consequence, each sentence of a language is associated with a truth-set of possible worlds in which it is true, and then something is a consequence if one of these worlds verifies it. | |
From: Kit Fine (Guide to Ground [2012], 1.10) | |
A reaction: [compressed, and translated into English; see Fine for more symbolic version; I'm more at home in English] |
14352 | '¬', '&', and 'v' are truth functions: the truth of the compound is fixed by the truth of the components [Jackson] |
Full Idea: It is widely agreed that '¬', '&', and 'v' are 'truth functions': the truth value of a compound sentence formed using them is fully determined by the truth value or values of the component sentences. | |
From: Frank Jackson (Conditionals [2006], 'Equiv') | |
A reaction: A candidate for not being a truth function might be a conditional →, where the arrow adds something over and above the propositions it connects. The relationship has an additional truth value? Does A depend on B? |
21777 | Negation of negation doubles back into a self-relationship [Hegel, by Houlgate] |
Full Idea: For Hegel, the 'negation of negation' is negation that, as it were, doubles back on itself and 'relates itself to itself'. | |
From: report of Georg W.F.Hegel (works [1812]) by Stephen Houlgate - An Introduction to Hegel 6 'Space' | |
A reaction: [ref VNP 1823 p.108] Glad we've cleared that one up. |