O QUE É UMA LÓGICA?

Authors

  • Newton G. A da Costa Universidade Federal de Santa Catarina image/svg+xml

DOI:

10.5281/v.j..v1i10.2422

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.

Author Biography

  • Newton G. A da Costa, Universidade Federal de Santa Catarina

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.

Downloads

Published

2017-05-02

Issue

No. 10 (2015): Fundamento (ISSN 2177-6563)

Section

ARTIGOS

License

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

How to Cite

O QUE É UMA LÓGICA? (2017). Virtualia Journal, 1(10). https://doi.org/10.5281/v.j..v1i10.2422