eprintid: 10093859
rev_number: 21
eprint_status: archive
userid: 608
dir: disk0/10/09/38/59
datestamp: 2020-04-29 18:32:33
lastmod: 2021-10-06 22:56:09
status_changed: 2020-04-29 18:32:33
type: article
metadata_visibility: show
creators_name: Kürbis, N
title: Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic
ispublished: pub
divisions: UCL
divisions: B03
divisions: C01
divisions: F16
keywords: definite descriptions, binary quantifier, term forming operator, Lambert's Law, intuitionist negative free logic, natural deduction
note: This work is licensed under a Creative Commons Attribution-Non Commercial-No Derivatives 4.0 International License.
abstract: Sentences containing definite descriptions, expressions of the form `The F', can be formalised using a binary quantier that forms a formula out of two predicates, where ℩x[F;G] is read as `The F is G'. This is an innovation over the usual formalisation of definite descriptions with a term forming operator. The present paper compares the two approaches. After a brief overview of the system INF℩ of intuitionist negative free logic extended by such a quantier, which was presented in [4], INF℩ is first compared to a system of Tennant's and an axiomatic treatment of a term forming ℩ operator within intuitionist negative free logic. Both systems are shown to be equivalent to the subsystem of INF℩ in which the G of ℩x[F;G] is restricted to identity. INF℩ is then compared to an intuitionist version of a system of Lambert's which in addition to the term forming operator has an operator for predicate abstraction for indicating scope distinctions. The two systems will be shown to be equivalent through a translation between their respective languages. Advantages of the present approach over the alternatives are indicated in the discussion.
date: 2019-12-31
date_type: published
publisher: Uniwersytet Lodzki (University of Lodz)
official_url: https://doi.org/10.18778/0138-0680.48.4.04
oa_status: green
full_text_type: pub
language: eng
primo: open
primo_central: open_green
verified: verified_manual
elements_id: 1773333
doi: 10.18778/0138-0680.48.4.04
lyricists_name: Kurbis, Nils
lyricists_id: NKURB54
actors_name: Waragoda Vitharana, Nimal
actors_id: NWARR44
actors_role: owner
full_text_status: public
publication: Bulletin of the Section of Logic
volume: 48
number: 4
pagerange: 299-317
issn: 2449-836X
citation:        Kürbis, N;      (2019)    Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic.                   Bulletin of the Section of Logic , 48  (4)   pp. 299-317.    10.18778/0138-0680.48.4.04 <https://doi.org/10.18778/0138-0680.48.4.04>.       Green open access   
 
document_url: https://discovery.ucl.ac.uk/id/eprint/10093859/1/Kurbis_6274-Article%20Text-17503-3-10-20200211.pdf