Bases para uma Teoria Geral das Construções Formais

Autores

  • Fábio Salgado de Carvalho Universidade de Brasília

DOI:

https://doi.org/10.15448/1983-4012.2016.1.19917

Palavras-chave:

Formalização, Linguagens formais, Sistemas lógicos, Lógica formal.

Resumo

O termo “formalização” tem sido utilizado de maneira pouco precisa na área filosófica. Há certo fetiche pelos formalismos, especialmente na filosofia analítica, mas não há uma compreensão, de fato, do que eles são. Que é uma formalização? Uma metodologia? Um estilo filosófico? Ela confunde-se com a mera “matematização”? É uma representação simbólica? É o abarcamento por um sistema lógico? Há diferenças entre modelar um conceito, uma inferência ou uma teoria e formalizá-los? O que é objeto de uma formalização? A partir de uma conceituação clara, quais seriam as vantagens e desvantagens do seu uso na Filosofia? Buscaremos fornecer, neste trabalho, as bases para uma teoria geral das formalizações assim como princípios condutores para os filósofos que desejam criar e propor formalizações.

Downloads

Não há dados estatísticos.

Referências

AUDI, R. The Cambridge Dictionary of Philosophy. United Kingdom: Cambridge university press, 1999.

BÉZIAU, J-Y. Universal Logic. Logica ‘94. P. Kolar et V. Svoboda (eds.), Académie des Sciences, Prague, p. 73-93, 1994.

BUNNIN, N.; YU, J. The Blackwell Dictionary of Western Philosophy. USA: Blackwell publishing, 2004.

COSTA-LEITE, A. Construções sistêmicas e leis de interação. Cognitio. São Paulo, vol. 10, n.2, p. 209-220, jul./dez. 2009.

GABBAY, D. (ed.) What is a logical system. Oxford: Clarendon press, 1994.

GOMES, N. G. Lógica Modal (Apostila)

HEGENBERG, L. Dicionário de Lógica. São Paulo: EPU, 1995.

IONESCU, C; BOTTA, N. Proceedings of the Dahlem Conference “Is there a mathematics of social entities?”. Dec. 14-19, 2008.

LONG, A. A.; SEDLEY, D. N. The hellenistic philosophers. Great Britain: Cam- bridge University Press, 1987.

PEREIRA, M. K. F. Sintaxe e semântica universais. Campinas: Unicamp, 2001. (Coleção CLE)

REALE, M. Lições Preliminares de Direito. 27a edição. São Paulo: Saraiva, 2002.

SANZ, W. Falsity preservation. CLE e-Prints (Online), v. 8, p. 2, 2008.

ZACH, R. Hilbert’s program. In: ZALTA, E. N. (ed.). The Stanford Encyclopedia of Philosophy. Disponível em: <http://plato.stanford.edu/archives/spr2009/entries/hilbert-program/>. Acesso em 06 de jan. 2015.

ZHANG, J.; LIU, F. Some Thoughts on Mohist Logic. In: A Meeting of the Minds: Proceedings of the Workshop on Logic, Rationality and Interaction, Johan van Benthem, Shier Ju and Frank Veltman (eds.), London: College Publications, 85–1, 2007.

Downloads

Publicado

2016-03-28

Como Citar

de Carvalho, F. S. (2016). Bases para uma Teoria Geral das Construções Formais. Intuitio, 9(1), 15–27. https://doi.org/10.15448/1983-4012.2016.1.19917

Edição

v. 9 n. 1 (2016)

Seção

Artigos

Licença

Direitos Autorais

A submissão de originais para a Intuitio implica na transferência, pelos autores, dos direitos de publicação. Os direitos autorais para os artigos publicados nesta revista são do autor, com direitos da revista sobre a primeira publicação. Os autores somente poderão utilizar os mesmos resultados em outras publicações indicando claramente a Intuitio como o meio da publicação original.

Licença Creative Commons

Exceto onde especificado diferentemente, aplicam-se à matéria publicada neste periódico os termos de uma licença Creative Commons Atribuição 4.0 Internacional, que permite o uso irrestrito, a distribuição e a reprodução em qualquer meio desde que a publicação original seja corretamente citada.