Skip to search formSkip to main contentSkip to account menu

Existential generalization

Known as: Existential introduction 
In predicate logic, existential generalization (also known as existential introduction, ∃I) is a valid rule of inference that allows one to move from… 
Wikipedia (opens in a new tab)

Related topics

Related topics

4 relations
Existential quantificationFirst-order logicFitch notationUniversal instantiation

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Existential generalization in TIL
The paper deals with the fundamental rule of extensional logics, namely the rule of Existential Generalization. This rule can be… 
2015
2015
A Demonstrative Analysis of ‘ Open Quotation ’ YITZHAK BENBAJI
A striking feature of Cappelen and Lepore’s Davidsonian theory of quotation is the range of the overlooked data to which it… 
2014
2014
Transparent quantification into hyperintensional objectual attitudes
We demonstrate how to validly quantify into hyperintensional contexts involving non-propositional attitudes like seeking, solving… 
2014
2014
Specificity and Redundant Causation
In this paper I present a metaphysically minimalist but theoretically strong version of fact causation, in which the causal… 
2012
2012
Deduction System for TIL-2010
. The goal of this paper is to introduce a deductive system for Tichý’s Transparent Intensional Logic (TIL). Tichý defined a… 
2011
2011
Referential Opacity and Epistemic Logic
Referential opacity is the failure of substitutivity of identity (SI, for short) and in Quine’s view of existential… 
2010
2010
Phenomenology of Joint Attention
Abstract It is one thing for two or more persons to perceive the same object, and it is quite another for two or more persons to… 
2005
2005
Bisimulation Quantified Logics: Undecidability
In this paper we introduce a general semantic interpretation for propositional quantification in all multi-modal logics based on… 
1993
1993
A General Purpose Reasoner for Abstraction a General Purpose Reasoner for Abstraction
Proof (ii) abstract (i) abs. declare (v) refine (iv) map back (iii) abstract reason Ground Context Abstract Context… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)