A TWO-DIMENSIONAL LOGIC FOR TWO PARADOXES OF DEONTIC MODALITY

被引：0

作者：

Fusco, Melissa ^{[1
]}

Kocurek, Alexander W. ^{[2
]}

机构：

[1] Columbia Univ, Dept Philosophy, New York, NY 10027 USA

[2] Cornell Univ, Sage Sch Philosophy, Ithaca, NY USA

来源：

REVIEW OF SYMBOLIC LOGIC | 2022年 / 15卷 / 04期

关键词：

deontic logic; Ross's puzzle; free-choice permission; two-dimensional logic; diagonalization; ACTUALITY; NECESSITY;

D O I：

10.1017/S1755020320000337

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

In this paper, we axiomatize the deontic logic in Fusco (2015), which uses a Stalnaker-inspired account of diagonal acceptance and a two-dimensional account of disjunction to treat Ross's Paradox and the Puzzle of Free Choice Permission. On this account, disjunction-involving validities are a priori rather than necessary. We show how to axiomatize two-dimensional disjunction so that the introduction/elimination rules for boolean disjunction can be viewed as one-dimensional projections of more general two-dimensional rules. These completeness results help make explicit the restrictions Fusco's account must place on free-choice inferences. They are also of independent interest, as they raise difficult questions about how to "lift" a Kripke frame for a one-dimensional modal logic into two dimensions.

引用

页码：991 / 1022

页数：32

共 50 条

[31] Two-dimensional diffeomorphic model for multi-modality image registration
Ding, Zijuan
Han, Huan
Wang, Huinan
COMPUTATIONAL & APPLIED MATHEMATICS, 2023, 42 (01):
[32] Two-Dimensional Error Estimation in Point Positioning with Fuzzy Logic
Bulbul, Mehmet Akif
Ozturk, Celal
Ilci, Veli
Ozulu, Ibrahim Murat
2018 INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND DATA PROCESSING (IDAP), 2018,
[33] Challenges for Nanoscale CMOS Logic Based on Two-Dimensional Materials
Knobloch, Theresia
Selberherr, Siegfried
Grasser, Tibor
NANOMATERIALS, 2022, 12 (20)
[34] Parallel Logic Operations in Electrically Tunable Two-Dimensional Homojunctions
Chen, Yuliang
Wang, Zhong
Zou, Chongwen
Parkin, Stuart S. P.
NANO LETTERS, 2024, 24 (45) : 14420 - 14426
[35] External, restricted external, and internal negations in a two-dimensional logic
Max, I
NEGATION: A NOTION IN FOCUS, 1996, 7 : 59 - 85
[36] Two-Dimensional Heterostructure Complementary Logic Enabled by Optical Writing
Ali, Ayaz
Schrade, Matthias
Xing, Wen
Vullum, Per Erik
Koybasi, Ozhan
Taniguchi, Takashi
Watanabe, Kenji
Belle, Branson D.
SMALL SCIENCE, 2024, 4 (05):
[37] THE MINIMIZATION OF LOGIC FUNCTIONS UTILIZING TWO-DIMENSIONAL REPRESENTATIONS OF HYPERCUBES
KARTALOPOULOS, SV
INTERNATIONAL JOURNAL OF ELECTRONICS, 1982, 53 (03) : 233 - 245
[38] Two-dimensional mask effects at the 14 nm logic node
Zweber, A. E.
McGuire, A.
Hibbs, M.
Nash, S.
Ballman, K.
Faure, T.
Rankin, J.
Isogawa, T.
Senna, T.
Negishi, Y.
Miller, M.
Barai, S.
Dechene, D. J.
PHOTOMASK TECHNOLOGY 2013, 2013, 8880
[39] A Two-Dimensional Chaotic Logic Gate for Improved Computer Security
Bohl, James
Yan, Lok-Kwong
Rose, Garrett S.
2015 IEEE 58TH INTERNATIONAL MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS (MWSCAS), 2015,
[40] Experimental realization of a two-dimensional to two-dimensional tunnel transistor
Leuther, A
Hollfelder, M
Hardtdegen, H
Luth, H
SEMICONDUCTOR SCIENCE AND TECHNOLOGY, 1996, 11 (05) : 772 - 775

← 1 2 3 4 5 →