more on this theme     |     more from this thinker

Single Idea 15417

[filed under theme 10. Modality / A. Necessity / 6. Logical Necessity ]

Full Idea

Logical necessity is a genus with two species. For classical logic the truth-related notion of validity and the proof-related notion of demonstrability, coincide - but they are distinct concept. In some logics they come apart, in intension and extension.

Gist of Idea

Logical necessity has two sides - validity and demonstrability - which coincide in classical logic

Source

John P. Burgess (Philosophical Logic [2009], 3.3)

Book Ref

Burgess,John P.: 'Philosophical Logic' [Princeton 2009], p.46

A Reaction

They coincide in classical logic because it is sound and complete. This strikes me as the correct approach to logical necessity, tying it to the actual nature of logic, rather than some handwavy notion of just 'true in all possible worlds'.

Related Idea

Idea 15418 Validity (for truth) and demonstrability (for proof) have correlates in satisfiability and consistency [Burgess]

The 28 ideas from 'Philosophical Logic'

15404 Technical people see logic as any formal system that can be studied, not a study of argument validity [Burgess]
15403 Philosophical logic is a branch of logic, and is now centred in computer science [Burgess]
15405 Classical logic neglects the non-mathematical, such as temporality or modality [Burgess]
15407 Formalising arguments favours lots of connectives; proving things favours having very few [Burgess]
15406 'Induction' and 'recursion' on complexity prove by connecting a formula to its atomic components [Burgess]
15408 'Tautologies' are valid formulas of classical sentential logic - or substitution instances in other logics [Burgess]
15409 All occurrences of variables in atomic formulas are free [Burgess]
15411 We only need to study mathematical models, since all other models are isomorphic to these [Burgess]
15412 Models leave out meaning, and just focus on truth values [Burgess]
15413 With four tense operators, all complex tenses reduce to fourteen basic cases [Burgess]
15415 The temporal Barcan formulas fix what exists, which seems absurd [Burgess]
15414 The denotation of a definite description is flexible, rather than rigid [Burgess]
15416 We aim to get the technical notion of truth in all models matching intuitive truth in all instances [Burgess]
15418 Validity (for truth) and demonstrability (for proof) have correlates in satisfiability and consistency [Burgess]
15417 Logical necessity has two sides - validity and demonstrability - which coincide in classical logic [Burgess]
15419 General consensus is S5 for logical modality of validity, and S4 for proof [Burgess]
15420 De re modality seems to apply to objects a concept intended for sentences [Burgess]
15421 Classical logic neglects counterfactuals, temporality and modality, because maths doesn't use them [Burgess]
15422 Three conditionals theories: Materialism (material conditional), Idealism (true=assertable), Nihilism (no truth) [Burgess]
15423 It is doubtful whether the negation of a conditional has any clear meaning [Burgess]
15424 Asserting a disjunction from one disjunct seems odd, but can be sensible, and needed in maths [Burgess]
15426 We can build one expanding sequence, instead of a chain of deductions [Burgess]
15425 The sequent calculus makes it possible to have proof without transitivity of entailment [Burgess]
15427 The Cut Rule expresses the classical idea that entailment is transitive [Burgess]
15428 The Liar seems like a truth-value 'gap', but dialethists see it as a 'glut' [Burgess]
15429 Relevance logic's → is perhaps expressible by 'if A, then B, for that reason' [Burgess]
15430 Is classical logic a part of intuitionist logic, or vice versa? [Burgess]
15431 It is still unsettled whether standard intuitionist logic is complete [Burgess]