O QUE É UMA LÓGICA?

Autores

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

DOI:

10.5281/v.j..v1i10.2422

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.

Biografia do Autor

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

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.

Downloads

Publicado

2017-05-02

Edição

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

Seção

ARTIGOS

Licença

Direitos Autorais: Os textos e imagens publicados na Revista Virtualia estão licenciados sob a Creative Commons Atribuição 4.0 Internacional (CC BY 4.0). Esta licença permite que outros compartilhem, adaptem, e criem a partir do material publicado para qualquer fim, inclusive comercial, desde que seja dado o crédito apropriado aos autores e à revista. Para ver uma cópia da licença, visite: https://creativecommons.org/licenses/by/4.0

Como Citar

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