Add to ORKG'Quantified pure existentials' are sentences (e.g., 'Some things do not exist') which meet these conditions: (i) the verb EXIST is contained in, and is, apart from quantificational BE, the only full (as against auxiliary) verb in the sentence; (ii) no (other) logical predicate features in the sentence; (iii) no name or other sub-sentential referring expression features in the sentence; (iv) the sentence contains a quantifier that is not an occurrence of EXIST. Colin McGinn and Rod Girle have alleged that standard first-order logic cannot adequately deal with some such existentials. The article defends the view that it can
In this article, a syntactical proof of decidability ofmonadic first-order logic (and of its complet...
National audienceThe most common philosophical view about the notion of existence is that it is a se...
Propositional Gödel logic can be extended by quantifiers in different ways, in partic-ular by first-...
‘Quantified pure existentials’ are sentences (e.g., ‘Some things do not exist’) which meet...
Abstract ‘Quantified pure existentials’ are sentences (e.g., ‘Some things do not exist’) which meet ...
Existential claims are widely held to be grounded in their true instances. However, this principle i...
This paper deals with the logical form of quantified sentences. Its purpose is to elucidate one plau...
First-order formalisations are often preferred to propositional ones because they are thought to und...
We examine an objection to analysing the epistemic ‘might’ and ‘may’ as existential quantifiers over...
This paper explores different perspectives on the predicative nature of “existence” in contemporary ...
In this paper, I motivate a cut free sequent calculus for classical logic with first order quantific...
. It is well-known that many relevant aspects of everyday reasoning based on natural language cannot...
To a first approximation, ontology is concerned with what exists, metaontology with what it means to...
The analysis to be proposed has two notable consequences. First, it indicates that while presupposit...
PONTES, André Nascimento. A forma lógica de sentenças de existência: uma avaliação da abordagem quan...
In this article, a syntactical proof of decidability ofmonadic first-order logic (and of its complet...
National audienceThe most common philosophical view about the notion of existence is that it is a se...
Propositional Gödel logic can be extended by quantifiers in different ways, in partic-ular by first-...
‘Quantified pure existentials’ are sentences (e.g., ‘Some things do not exist’) which meet...
Abstract ‘Quantified pure existentials’ are sentences (e.g., ‘Some things do not exist’) which meet ...
Existential claims are widely held to be grounded in their true instances. However, this principle i...
This paper deals with the logical form of quantified sentences. Its purpose is to elucidate one plau...
First-order formalisations are often preferred to propositional ones because they are thought to und...
We examine an objection to analysing the epistemic ‘might’ and ‘may’ as existential quantifiers over...
This paper explores different perspectives on the predicative nature of “existence” in contemporary ...
In this paper, I motivate a cut free sequent calculus for classical logic with first order quantific...
. It is well-known that many relevant aspects of everyday reasoning based on natural language cannot...
To a first approximation, ontology is concerned with what exists, metaontology with what it means to...
The analysis to be proposed has two notable consequences. First, it indicates that while presupposit...
PONTES, André Nascimento. A forma lógica de sentenças de existência: uma avaliação da abordagem quan...
In this article, a syntactical proof of decidability ofmonadic first-order logic (and of its complet...
National audienceThe most common philosophical view about the notion of existence is that it is a se...
Propositional Gödel logic can be extended by quantifiers in different ways, in partic-ular by first-...