Przeglądaj Bulletin of the Section of Logic według tematu "definite descriptions"
Wyświetlanie pozycji 1-3 z 3
-
A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation
(Wydawnictwo Uniwersytetu Łódzkiego, 2019)This paper presents a way of formalising definite descriptions with a binary quantifier ℩, where ℩x[F, G] is read as `The F is G'. Introduction and elimination rules for ℩ in a system of intuitionist negative free logic ... -
A Paradox for the Existence Predicate
(Wydawnictwo Uniwersytetu Łódzkiego, 2022-06-10)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 ... -
Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic
(Wydawnictwo Uniwersytetu Łódzkiego, 2019-12-31)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 ...