DeepAI AI Chat
Log In Sign Up

Definite Descriptions in Intuitionist Positive Free Logic

08/04/2021
by   Nils Kürbis, et al.
0

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 `The F is G'. The system is shown to have desirable proof-theoretic properties: it is proved that deductions in it can be brought into normal form. The discussion is rounded up by comparisons between the approach to the formalisation of definite descriptions recommended here and the more usual approach that uses a term-forming operator ι, where ι xF means `the F'.

READ FULL TEXT

page 1

page 2

page 3

page 4

08/09/2021

Proof-Theory and Semantics for a Theory of Definite Descriptions

This paper presents a sequent calculus and a dual domain semantics for a...
08/04/2021

Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic

Sentences containing definite descriptions, expressions of the form `The...
02/18/2021

Semantics and Axiomatization for Stochastic Differential Dynamic Logic

Building on previous work by André Platzer, we present a formal language...
12/24/2017

Semi-automatic definite description annotation: a first report

Studies in Referring Expression Generation (REG) often make use of corpo...
02/12/2020

Labelled calculi for quantified modal logics with definite descriptions

We introduce labelled sequent calculi for quantified modal logics with d...
06/18/2014

Typed Hilbert Epsilon Operators and the Semantics of Determiner Phrases (Invited Lecture)

The semantics of determiner phrases, be they definite de- scriptions, in...