- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Validades Existenciais e Enigmas Relacionados
Dois Pontos 6 (2) (2009)
Abstract
A lógica não contém teoremas puramente existenciais: as únicas sentenças existenciaisválidas são aquelas com análogas universais válidas. Aqui, mostramos que istorealmente é assim quando corretamente interpretado: toda validade ex- istencial possuiuma análoga universal simples, que também é válida. Também caracterizamos validadesuniversais e existenciais em termos de tautologias.Author Profiles
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
A Guide to the Book: God, Truth, and other Enigmas.Mirosław Szatkowski - 2015 - In God, Truth, and Other Enigmas. Berlin: 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
2013-04-12
Downloads
43 (#373,177)
6 months
9 (#320,673)
2013-04-12
Downloads
43 (#373,177)
6 months
9 (#320,673)
Historical graph of downloads
Author Profiles
Citations of this work
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.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c88c7cdf7-5t6bj uwo