PROOF-THEORETIC SEMANTICS AND HYPERINTENSIONALITY

被引：3

作者：

Pezlar, Ivo ^{[1
]}

机构：

[1] Masaryk Univ, Fac Arts, Dept Philosophy, Arne Novaka 1, Brno 60200, Czech Republic

来源：

LOGIQUE ET ANALYSE | 2018年 / 242期

关键词：

Proof-theoretic semantics; Hyperintensionality; Semantic finegrainedness; Granularity of meaning; Inferentialism; Hyperintensional logic;

D O I：

10.2143/LEA.242.0.3284748

中图分类号：

B81 [逻辑学（论理学）];

学科分类号：

010104 ; 010105 ;

摘要：

In his recent book The Impossible: An Essay on Hyperintensionality (2014) Jago states that proof-theoretic semantics (PTS) does not easily deliver hyperintensional contents. I argue against this claim and show that, on the contrary, hyperintensionality is one of the basic features of PTS approaches.

引用

页码：151 / 161

页数：11

共 50 条

[1] Proof-Theoretic Semantics
Pezlar, Ivo
MIND, 2017, 126 (501) : 296 - 302
[2] Proof-theoretic semantics
Catta, Davide
BULLETIN OF SYMBOLIC LOGIC, 2019, 25 (03) : 360 - 362
[3] Proof-theoretic Semantics
Peregrin, Jaroslav
ORGANON F, 2016, 23 (04) : 551 - 555
[4] Views of proof-theoretic semantics: reified proof-theoretic meanings
Francez, Nissim
JOURNAL OF LOGIC AND COMPUTATION, 2016, 26 (02) : 479 - 494
[5] Bilateralism in Proof-Theoretic Semantics
Nissim Francez
Journal of Philosophical Logic, 2014, 43 : 239 - 259
[6] Categorical Proof-theoretic Semantics
Pym, David
Ritter, Eike
Robinson, Edmund
STUDIA LOGICA, 2024, 113 (1) : 125 - 162
[7] A Proof-Theoretic Semantics for Exclusion
Nissim Francez
Michael Kaminski
Logica Universalis, 2017, 11 : 489 - 505
[8] Introduction: Proof-theoretic semantics
Kahle, R
Schroeder-Heister, P
SYNTHESE, 2006, 148 (03) : 503 - 506
[9] A Proof-Theoretic Semantics for Exclusion
Francez, Nissim
Kaminski, Michael
LOGICA UNIVERSALIS, 2017, 11 (04) : 489 - 505
[10] Proof-Theoretic Semantics and Feasibility
Fichot, Jean
CONSTRUCTIVITY AND COMPUTABILITY IN HISTORICAL AND PHILOSOPHICAL PERSPECTIVE, 2014, 34 : 135 - 158

← 1 2 3 4 5 →