O QUE É UMA LÓGICA?
Abstract
Neste artigo pretendemos oferecer uma noção minimamente rigorosa do que seja uma lógica. A ideia central é que uma lógica, estritamente falando é um sistema lógico. Entenderemos um sistema lógico como formado, grosso modo, por um conjunto de fórmulas e um conjunto de regras de inferência. A partir daí veremos duas noções fundamentais: dedutibilidade e consequência lógica.References
Referências
BÉZIAU, J.-Y. 2000. Quine on identity. Principia: an international journal of epistemology,
Florianópolis, v. 7, n. 1-2, p. 1-15.
BRAIDA, C.R.; KRAUSE, D. 2013. Ontologia II. 2 ed. Florianópolis: Universidade Federal
de Santa Catarina.
BUENO, O. 2000. Quasi-truth in quasi-set theory. Synthese, Springer, v. 125, n. 1-2, p. 33-
53.
BUENO, O. 2014. Why identity is fundamental. American Philosophical Quarterly, v. 51, n.
4.
BUENO, O. 2016. Identity in physics and elsewhere. Cadernos de História e Filosofia da
Ciência (no prelo).
CHURCH, A. 1956. Introduction to mathematical logic. Princeton: Princeton University
Press. FRAENKEL, A.A.; BAR-HILLEL, Y.; LEVY, A. 1973. Foundations of set theory. Elsevier. FRENCH, S. 2015. Identity and individuality in quantum theory. In: ZALTA, E.N. (ed.). The Stanford Encyclopedia of Philosophy. Fall 2015.
FRENCH, S.; KRAUSE, D. 2006. Identity and physics: a historical, philosophical and formal analysis. Oxford: Oxford University Press.
FRENCH, S.; KRAUSE, D. 2010. Remarks on the theory of quasi-sets. Studia Logica, v. 95, n. 1-2, p. 101-124.
GRACHER, K. 2016. É a identidade fundamental? Florianópolis. 113p. Dissertação (Mestrado). Universidade Federal de Santa Catarina.
GRACHER, K. Manuscrito. Identidade e sistemas conceituais.
KLEENE, S.C. 2002. Mathematical logic. Courier Corporation.
KORFMACHER, C. 2006. Personal identity. Identity encyclopedia of philosophy.
BÉZIAU, J.-Y. 2000. Quine on identity. Principia: an international journal of epistemology,
Florianópolis, v. 7, n. 1-2, p. 1-15.
BRAIDA, C.R.; KRAUSE, D. 2013. Ontologia II. 2 ed. Florianópolis: Universidade Federal
de Santa Catarina.
BUENO, O. 2000. Quasi-truth in quasi-set theory. Synthese, Springer, v. 125, n. 1-2, p. 33-
53.
BUENO, O. 2014. Why identity is fundamental. American Philosophical Quarterly, v. 51, n.
4.
BUENO, O. 2016. Identity in physics and elsewhere. Cadernos de História e Filosofia da
Ciência (no prelo).
CHURCH, A. 1956. Introduction to mathematical logic. Princeton: Princeton University
Press. FRAENKEL, A.A.; BAR-HILLEL, Y.; LEVY, A. 1973. Foundations of set theory. Elsevier. FRENCH, S. 2015. Identity and individuality in quantum theory. In: ZALTA, E.N. (ed.). The Stanford Encyclopedia of Philosophy. Fall 2015.
FRENCH, S.; KRAUSE, D. 2006. Identity and physics: a historical, philosophical and formal analysis. Oxford: Oxford University Press.
FRENCH, S.; KRAUSE, D. 2010. Remarks on the theory of quasi-sets. Studia Logica, v. 95, n. 1-2, p. 101-124.
GRACHER, K. 2016. É a identidade fundamental? Florianópolis. 113p. Dissertação (Mestrado). Universidade Federal de Santa Catarina.
GRACHER, K. Manuscrito. Identidade e sistemas conceituais.
KLEENE, S.C. 2002. Mathematical logic. Courier Corporation.
KORFMACHER, C. 2006. Personal identity. Identity encyclopedia of philosophy.
Published
2017-05-02
How to Cite
da Costa, N. G. A. (2017). O QUE É UMA LÓGICA?. Virtualia Journal, 1(10). https://doi.org/10.5281/v.j.v1i10.2422
Section
ARTIGOS
Copyright: The texts and images published in the Virtualia Journal are licensed under the Creative Commons Attribution 4.0 International (CC BY 4.0) license. This license allows others to share, adapt, and build upon the published material for any purpose, even commercially, as long as appropriate credit is given to the authors and the journal. To view a copy of this license, visit: https://creativecommons.org/licenses/by/4.0
.jpg)
