Description

• Title:
  A Paradox for the Existence Predicate
• Creator:
  Meixner, Uwe
• Contributor:
  University of Augsburg, Faculty of Philosophy and Social Sciences, Universitätsstraße 10, 86159 Augsburg, Germany;
  uwe.meixner@phil.uni-augsburg.de
• Description:
  In this paper, a paradox is shown to arise in the context of classical logic from prima facie highly plausible assumptions for the existence predicate as applied to definite descriptions. There are several possibilities to evade the paradox; all involve modifications in the principles of first-order logic with identity, existence, and definite descriptions; some stay within classical logic, others leave it. The merits of the various "ways out" are compared. The most attractive "way out," it is argued, stays within classical logic, except for the fact that it involves a new logical truth: "There is at least one non-existent object." But this "exit" will certainly not be to everyone's taste and liking. Thus, the paradox defies complete resolution (as every good paradox should).
• Object availability:
  free access
• Rights: https://creativecommons.org/licenses/by-nc-nd/4.0
• Date:
  2022.08.25;
  2022.06.10
• Type:
  Other
• Language:
  English
• Format:
  application/pdf
• Publisher:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relation:
  Bulletin of the Section of Logic;2;
  51
• Subject:
  definite descriptions;
  existence;
  Kripke;
  Russell;
  Frege;
  Meinong
• Identifier:
  0138-0680;
  http://hdl.handle.net/11089/42928 ;
  2449-836X;
  10.18778/0138-0680.2022.05
• Data provider:
  Repozytorium Uniwersytetu Łódzkiego
• Can I use it?:
  check license
• Type:
  other