This paper proposes a modal extension of the substitutional approach to the analysis of logical consequence put forward in [\textit{V. Halbach}, ``The substitutional analysis of logical consequence, Noûs 54, 431--450 (2020)]. This approach is axiomatic, and using it one can show that logical truths are true and that validity preserves truth simply by looking at the definitions. Validity is taken to be truth under all substitutions of the nonlogical vocabulary. Here, the \(\Box\) operator is interpreted as substitutional validity, providing a way of talking about what is substitutionally valid. For other interpretations of modality, such as deontic or doxastic, the substitutional account is not an alternative to the Kripke-style semantics. The language used in this work is that of Zermelo-Fraenkel set theory, enriched with a satisfaction operator and the modal one. The substitutions used to define validity have some restrictions. For example, they are not allowed to rename free variables or add modal operators. A concept of satisfaction under assignments is used to define simple truth. By changing the sets of considered substitutions, different theories of truth are defined some of which are proven to be inconsistent. The derived consequence relation is analyzed by means of defining an accessibility relation between formulas whenever one is a substitution of the other. Soundness and completeness theorems are given for different extensions of modal logic with respect to their corresponding theories of truth.
- scientific article; zbMATH DE number 3487529
- scientific article; zbMATH DE number 3080938
- scientific article; zbMATH DE number 3407754
- Eine Bemerkung zum Satz von Vitali über Konvergenz von Funktionenfolgen: Dem stets hilftsbereiten Herrn Kollegen H. L. Schmid, gewidmet
- scientific article; zbMATH DE number 1839786
- Holomorphic mappings of complex manifolds
- scientific article; zbMATH DE number 5593209
- On \(\varepsilon\)-representations
- scientific article; zbMATH DE number 3148394
- Absolute generality
- Axiom schemata of strong infinity in axiomatic set theory
- Boolos and the metamathematics of Quine's definitions of logical truth and consequence
- Formal notes on the substitutional analysis of logical consequence
- scientific article; zbMATH DE number 1003731 (Why is no real title available?)
- scientific article; zbMATH DE number 3124827 (Why is no real title available?)
- scientific article; zbMATH DE number 51086 (Why is no real title available?)
- scientific article; zbMATH DE number 1028821 (Why is no real title available?)
- scientific article; zbMATH DE number 1550339 (Why is no real title available?)
- scientific article; zbMATH DE number 1550341 (Why is no real title available?)
- scientific article; zbMATH DE number 5238362 (Why is no real title available?)
- scientific article; zbMATH DE number 3273156 (Why is no real title available?)
- Kripke incomplete logics containing KTB
- Modal logic and truth
- Necessity and truth theories
- On Some Completeness Theorems in Modal Logic
- On the Substitutional Characterization of First-Order Logical Truth
- Outline of a Theory of Truth
- Principles of reflection and second-order logic
- Reflecting on incompleteness
- Toward a theory of second-order consequence
- Weak necessity and truth theories
This page was built for publication: Substitutional validity for modal logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6187414)
