THE FORMAL AND THE FORMALIZED: THE CASES OF SYLLOGISTIC AND SUPPOSITION THEORY
AUTOR(ES)
Novaes, Catarina Dutilh
FONTE
Kriterion
DATA DE PUBLICAÇÃO
2015-06
RESUMO
Pode-se dizer que, enquanto disciplina, a lógica é caracterizada por dois subprojetos: teorias formais da validade de argumentos, baseadas em um número reduzido de esquemas e padrões formais, e teorias de como reduzir a multiplicidade de argumentos em contextos informais, não lógicos, ao pequeno número de padrões formais cuja validade é estudada de maneira sistemática no âmbito do primeiro subprojeto. O segundo subprojeto corresponde à noção de formalização de argumentos. Infelizmente, a tendência atual é de considerar como sendo a lógica propriamente dita exclusivamente o que se encaixa no primeiro subprojeto, em detrimento do segundo subprojeto, igualmente importante. Neste artigo, duas teorias históricas sobre a formalização de argumentos são analisadas: a teoria da silogística apresentada por Aristóteles nos "Primeiros Analíticos" e teorias medievais da suposição. Ambas ilustram o caráter duplo da lógica, que envolve dois subprojetos distintos, e contêm reflexões sofisticadas sobre como formalizar argumentos. Em ambos os casos, os métodos formais utilizados se diferenciam dos métodos atuais de tradução de um argumento em linguagem vernacular para um simbolismo especialmente formulado, ou seja, uma linguagem formal. Em conclusão, o artigo pode ser visto como a defesa de uma conceitualização mais abrangente do que significa 'formalizar' um argumento.
ASSUNTO(S)
silogística aristóteles teoria da suposição formalização
Documentos Relacionados
- The Theory of Formal Phage Genetics for Circular Maps
- Health Practice Research and Formalized Managerial Methods
- Modelling and Integrating Formal Models: from Test Cases and Requirements Models
- MATERIAL CAUSE AND SYLLOGISTIC NECESSITY IN POSTERIOR ANALYTICS II 11
- Short Notes and Clinical Cases: THE QUESTION OF SILVER CELLS AS PROOF OF THE SPIROCHÆTAL THEORY OF DISSEMINATED SCLEROSIS*