O QUE É UMA LÓGICA?
Resumo
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.Referências
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.
Publicado
2017-05-02
Como Citar
da Costa, N. G. A. (2017). O QUE É UMA LÓGICA?. Fundamento, 1(10). Recuperado de https://periodicos.ufop.br/fundamento/article/view/2422
Seção
ARTIGOS INÉDITOS
