Dois Pontos 6 (2) (2009)
| Abstract |
Logic does not have purely existential theorems: the only existential sentences that are valid are those with valid universal analogues. Here, we show indeed this is so, when properly interpreted: every existential validity has a simple universal analogue, which is also valid. We also characterize existential and universal validities in terms of tautologies
|
| Keywords | validades existenciais quantificação quantification tautologias existential validities universal validities tautologies validades universais Logic Lógica |
| Categories | (categorize this paper) |
| DOI | 10.5380/dp.v6i2.17336 |
| Options |
Mark as duplicate
Export citation
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 68,916
External links
(no proxy) Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
No references found.
Citations of this work BETA
On What There Must Be: Existence in Logic and Some Related Riddles.Paulo A. S. Veloso, Luiz Carlos Pereira & E. Hermann Haeusler - 2012 - Disputatio 4 (34):889-910.
Similar books and articles
A Guide to the Book: God, Truth, and Other Enigmas.Mirosław Szatkowski - 2015 - In Miroslaw Szatkowski (ed.), God, Truth, and Other Enigmas. De Gruyter.
Bergson leitor de lucrécio: as implicações existenciais do determinismo.Jonas Gonçalves Coelho - 2003 - Trans/Form/Ação 26 (1):129-140.
Legal Enigmas—Antonio de Nebrija, The Da Vinci Code and the Emendation of Law.Peter Goodrich - 2010 - Oxford Journal of Legal Studies 30 (1):71-99.
On What There Must Be: Existence in Logic and Some Related Riddles.Paulo A. S. Veloso, Luiz Carlos Pereira & E. Hermann Haeusler - 2012 - Disputatio 4 (34):889-910.
Review of Robin Le Poidevin Travels in Four Dimensions: The Enigmas of Space and Time (Oxford University Press, 2003). [REVIEW]Nicholas J. J. Smith - 2004 - Australasian Journal of Philosophy 82 (3):527-30.
Introdução ao Sistema Beta dos Grafos Existenciais de CS Peirce.Lafayette de Moraes & João Queiroz - 2004 - Cognitio 5 (1):28-43.
Grafos existenciais de CS Peirce: uma introdução ao sistema alfa.Lafayette de Moraes & João Queiroz - 2001 - Cognitio 2:112-133.
Why is This a Proof? Festschrift for Luiz Carlos Pereira.Edward H. Haeusler, Wagner Sanz & Bruno Lopes (eds.) - 2015 - College Publications.
Dasein como unidade e finitude: os existenciais do cuidado e do ser-para-morte.José Reinaldo Felipe Martins Filho - 2010 - Revista Inquietude 1 (2):4-19.
An Infinitary Extension of Mall−.Luiz Carlos Pd Pereira & Edward Hermann Haeusler - 1999 - Bulletin of the Section of Logic 28 (4):225-233.
NUL-Natural Deduction for Ultrafilter Logic.Christian Jacques Renterıa, Edward Hermann Haeusler & Paulo As Veloso - 2003 - Bulletin of the Section of Logic 32 (4):191-199.
The Rules-as-Types Interpretation of Schroder-Heister's Extension of Natural Deduction.Edward Hermann Haeusler & Luiz Carlos Pd Pereira - 1999 - Manuscrito 22 (2):149.
Analytics
Added to PP index
2013-04-12
Total views
31 ( #365,776 of 2,497,803 )
Recent downloads (6 months)
1 ( #428,301 of 2,497,803 )
2013-04-12
Total views
31 ( #365,776 of 2,497,803 )
Recent downloads (6 months)
1 ( #428,301 of 2,497,803 )
How can I increase my downloads?
Downloads
