Substitutional Validity for Modal Logic

被引：0

作者：

Grossi, Marco ^{[1
]}

机构：

[1] Univ Oxford, New Coll, Dept Philosophy, Oxford OX1 3BN, England

来源：

NOTRE DAME JOURNAL OF FORMAL LOGIC | 2023年 / 64卷 / 03期

关键词：

substitutional validity; axiomatic truth; modal logic; TRUTH; NECESSITY;

D O I：

10.1215/00294527-2023-0007

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

In the substitutional framework, validity is truth under all substitutions of the nonlogical vocabulary. I develop a theory where square is interpreted as substitutional validity. I show how to prove soundness and completeness for common modal calculi using this definition.

引用

页码：291 / 316

页数：26

共 32 条

[1]

[Anonymous], 1990, The concept of logical consequence

[2]

[Anonymous], 1997, Modal Logic

[3]

[Anonymous], 1956, Logic, Semantics, Metamathematics: Papers from 1923 to 1938

[4]

[Anonymous], 2006, Absolute Generality

[5]

Bencivenga E., 1986, HDB PHILOS LOGIC, P373, DOI DOI 10.1007/978-94-009-5203-4_6

[6]

Berlinski D., 1969, Nous, V3, P111, DOI [10.2307/2216260.291, DOI 10.2307/2216260.291]

[7] NOMINALIST PLATONISM [J].

BOOLOS, G .

PHILOSOPHICAL REVIEW, 1985, 94 (03) :327-344

[8] 2ND-ORDER LOGIC [J].

BOOLOS, GS .

JOURNAL OF PHILOSOPHY, 1975, 72 (16) :509-527

[9]

DAVIES MK, 1978, J PHILOS LOGIC, V7, P415

[10] Boolos and the Metamathematics of Quine's Definitions of Logical Truth and Consequence [J].

Eder, Guenther .

HISTORY AND PHILOSOPHY OF LOGIC, 2016, 37 (02) :170-193

← 1 2 3 4 →