Conservativeness and Eliminability for Anti-Realistic Definitions. Towards a Global View of the Meaning of Logical Constants
type: Dataset
description: According to the Polish logician S. Leśniewski, definitions give the whole meaning of the symbol they define and nothing more if, and only if, they respect two criteria: conservativeness and eliminability. These criteria were formulated in a way that suits realistic definitions. In this paper we will see in what way these two criteria should be reformulated if we want them to fit anti-realistic definitions (of logical constants). We will then show the consequences that these reformulations involve in the framework of the sequent calculus. Finally, in the light of the previous results, we will analyse the case of anti-realistic definitions for the modal operator box.
issued: 2026-05-15T07:44:47.509876
language: en
modified: 2026-05-15T07:44:47.509881
contact point: Organization
  fn: CCSD
keyword: book-sections
keyword: infoeu-reposemanticsbookpart
keyword: logic
keyword: shshisphilsohumanities-and-social-scienceshistory-philosophy-and-sociology-of-sciences
landing page: (Anti)-Realism. The Realism-Antirealism Debate in the Age of Alternative Logics

Conservativeness and Eliminability for Anti-Realistic Definitions. Towards a Global View of the Meaning of Logical Constants
type: Distribution
format: HTML
issued: 2026-05-15T07:44:47.523592
modified: 2026-05-15T07:44:47.499645
access URL: https://shs.hal.science/halshs-00775813

test_moissonnage_selune
type: Agent