Kriterion: Journal of Philosophy 56 (131):253-270 (2015)

Abstract
As a discipline, logic is arguably constituted of two main sub-projects: formal theories of argument validity on the basis of a small number of patterns, and theories of how to reduce the multiplicity of arguments in non-logical, informal contexts to the small number of patterns whose validity is systematically studied . Regrettably, we now tend to view logic 'proper' exclusively as what falls under the first sub-project, to the neglect of the second, equally important sub-project. In this paper, I discuss two historical theories of argument formalization: Aristotle's syllogistic theory as presented in the "Prior Analytics", and medieval theories of supposition. They both illustrate this two-fold nature of logic, containing in particular illuminating reflections on how to formalize arguments . In both cases, the formal methods employed differ from the usual modern technique of translating an argument in ordinary language into a specially designed symbolism, a formal language. The upshot is thus a plea for a broader conceptualization of what it means to formalize. 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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1590/0100-512X2015n13114cdn
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 50,268
Through your library

References found in this work BETA

Summulae de Dialectica.John Buridan - 2001 - Yale University Press.
Aristotle's Prior Analytics and Boole's Laws of Thought.John Corcoran - 2003 - History and Philosophy of Logic 24 (4):261-288.

View all 14 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Stoic Syllogistic.Susanne Bobzien - 1996 - Oxford Studies in Ancient Philosophy 14:133-92.
Reconciling Aristotle and Frege.Alex Orenstein - 1999 - Notre Dame Journal of Formal Logic 40 (3):391-413.
An Intensional Interpretation of Ockham's Theory of Supposition.Catarina Dutilh Novaes - 2008 - Journal of the History of Philosophy 46 (3):pp. 365-393.
Is There a Modal Syllogistic?Adriane A. Rini - 1998 - Notre Dame Journal of Formal Logic 39 (4):554-572.
The Medieval Theory of Consequence.Stephen Read - 2012 - Synthese 187 (3):899-912.
Estruturas, Modelos e os Fundamentos da Abordagem Semântica.Jonas R. Becker Arenhart & Fernando T. F. Moraes - 2010 - Principia: An International Journal of Epistemology 14 (1):15-30.

Analytics

Added to PP index
2015-05-22

Total views
30 ( #321,483 of 2,325,396 )

Recent downloads (6 months)
2 ( #451,872 of 2,325,396 )

How can I increase my downloads?

Downloads

My notes