The Power of Generalized Clemens Semantics

In this paper, we elaborate on the ordered-pair semantics originally presented by Matthew Clemens for LP (Priest's Logic of Paradox).For this purpose, we build on a generalization of Clemens semantics to the case of n-tuple semantics, for every n.More concretely, i) we deal with the case of a language with quantifiers, and ii) we consider philosophical implications of the semantics.The latter includes, first, a reading of the semantics in epistemic terms, involving multiple agents.Furthermore, we discuss the proper understanding of many-valued logics, namely LP and K3 (Kleene strong 3valued logic), from the perspective of classical logic, along the lines suggested by Susan Haack.We will also discuss some applications of the semantics to issues related to informative contradictions, i.e. contradictions involving quantification over different respects a vague predicate may have, as advanced by Paul gr, and also to the mixed consequence relations, promoted by Pablo Cobreros,

Authors

Institutions

Publication Details

Journal
Electronic Proceedings in Theoretical Computer Science
Published
2024-12-28
DOI
https://doi.org/10.4204/eptcs.415.21
Primary Topic
Semantic Web and Ontologies
Type
article
Field-Weighted Citation Impact
0.00

Funders

Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

The Power of Generalized Clemens Semantics

Hitoshi Omori, Jonas R. Becker Arenhart
Electronic Proceedings in Theoretical Computer Science
Semantic Web and Ontologies
article

The Power of Generalized Clemens Semantics

Hitoshi Omori, Jonas R. Becker Arenhart
article en

Abstract

In this paper, we elaborate on the ordered-pair semantics originally presented by Matthew Clemens for LP (Priest's Logic of Paradox).For this purpose, we build on a generalization of Clemens semantics to the case of n-tuple semantics, for every n.More concretely, i) we deal with the case of a language with quantifiers, and ii) we consider philosophical implications of the semantics.The latter includes, first, a reading of the semantics in epistemic terms, involving multiple agents.Furthermore, we discuss the proper understanding of many-valued logics, namely LP and K3 (Kleene strong 3valued logic), from the perspective of classical logic, along the lines suggested by Susan Haack.We will also discuss some applications of the semantics to issues related to informative contradictions, i.e. contradictions involving quantification over different respects a vague predicate may have, as advanced by Paul gr, and also to the mixed consequence relations, promoted by Pablo Cobreros,

Electronic Proceedings in Theoretical Computer ScienceVol. 415
Tohoku University (JP), Universidade Federal de Santa Catarina (BR)
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Openalex Percentile: Top 78%
Semantic Web and Ontologies
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

The Power of Generalized Clemens Semantics — Hitoshi Omori, Jonas R. Becker Arenhart · Electronic Proceedings in Theoretical Computer Science (2024) | TGRS Research Map | TGRS