Results 11 to 20 of about 2,496,657 (311)
Definite descriptions and hybrid tense logic [PDF]
Synthese, 2023 We provide a version of first-order hybrid tense logic with predicate abstracts and definite descriptions as the only non-rigid terms. It is formalised by means of a tableau calculus working on sat-formulas.
Andrzej Indrzejczak, Michał Zawidzki
semanticscholar +1 more source
On Free Description Logics with Definite Descriptions [PDF]
Description Logics, 2021 Definite descriptions are phrases of the form ‘the x such that φ’, used to refer to single entities in a context. They are often more meaningful to users than individual names alone, in particular when modelling or querying data over ontologies.
A. Artale +3 more
semanticscholar +1 more source
Kaplan and Marti on definite descriptions [PDF]
Омский научный вестник: Серия "Общество. История. Современность", 2023 Donnellan’s distinction between referential and attributive uses of definite descriptions gave rise to controversy between semantic and pragmatic accounts of referentially used descriptions.
E. V. Borisov
doaj +1 more source
A Binary Quantifier for Definite Descriptions for Cut Free Free Logics [PDF]
Studia Logica: An International Journal for Symbolic Logic, 2021 This paper presents rules in sequent calculus for a binary quantifier I to formalise definite descriptions: Ix[F, G] means ‘The F is G’. The rules are suitable to be added to a system of positive free logic.
Nils Kürbis
semanticscholar +1 more source
Labelled calculi for quantified modal logics with definite descriptions [PDF]
Journal of Logic and Computation, 2020 We introduce labelled sequent calculi for quantified modal logics with definite descriptions. We prove that these calculi have the good structural properties of G3-style calculi.
E. Orlandelli
semanticscholar +1 more source
Definite Descriptions in Intuitionist Positive Free Logic [PDF]
Logic and Logical Philosophy, 2020 This paper presents rules of inference for a binary quantifier $I$ for the formalisation of sentences containing definite descriptions within intuitionist positive free logic. $I$ binds one variable and forms a formula from two formulas. $Ix[F, G]$ means
Nils Kürbis
semanticscholar +1 more source
A Paradox for the Existence Predicate
Bulletin of the Section of Logic, 2022 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.
Uwe Meixner
doaj +1 more source
Corela, 2021 This paper is devoted to a singular use of definite descriptions in the online tabloids. Many definite descriptions, such as Jill Biden's husband to designate Joe Biden and Melania's husband to designate Donald Trump, appear unrelated to the subject ...
Mathilde Salles
doaj +1 more source
A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation [PDF]
Bulletin of the Section of Logic, 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 are formulated.
Nils Kürbis
semanticscholar +1 more source
Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic [PDF]
Bulletin of the Section of Logic, 2019 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'.
Nils Kürbis
semanticscholar +1 more source