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 |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Models in Science.Roman Frigg & Stephan Hartmann - 2006 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. Stanford.
Formalizing Medieval Logical Theories: Suppositio, Consequentiae and Obligationes.Catarina Dutilh Novaes - 2007 - Dordrecht, Netherland: Springer.
Reassessing Logical Hylomorphism and the Demarcation of Logical Constants.Catarina Dutilh Novaes - 2012 - Synthese 185 (3):387 - 410.
Thoughts, Words and Things: An Introduction to Late Mediaeval Logic and Semantic Theory.Paul Vincent Spade - manuscript
View all 14 references / Add more references
Citations of this work BETA
No citations found.
Similar books and articles
Reconciling Aristotle and Frege.Alex Orenstein - 1999 - Notre Dame Journal of Formal Logic 40 (3):391-413.
The Place of Referential Intentions in Linguistic Content.Emma Borg - 2009 - Manuscrito 32 (1):85-122.
An Intensional Interpretation of Ockham's Theory of Supposition.Catarina Dutilh Novaes - 2008 - Journal of the History of Philosophy 46 (3):pp. 365-393.
Theory of Supposition Vs. Theory of Fallacies in Ockham.Catarina Dutilh Novaes - 2007 - Vivarium 45 (s 2-3):343-359.
The Relation Between Formal and Informal Logic.Ralph H. Johnson - 1999 - Argumentation 13 (3):265-274.
General Proper Names in the Context of Stuart Mill´ s Semantic.Lúcio Lourenço Prado - 2005 - Trans/Form/Ação 28 (1):67-83.
Is There a Modal Syllogistic?Adriane A. Rini - 1998 - Notre Dame Journal of Formal Logic 39 (4):554-572.
Exhibiting Interpretational and Representational Validity.Michael Baumgartner - 2014 - Synthese 191 (7).
Aristotle’s Assertoric Syllogistic and Modern Relevance Logic.Philipp Julius6 Steinkrüger - 2015 - Synthese 192 (5):1413-1444.
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.
Teorias físicas inconsistentes e lógicas multidedutivas.Edélcio Gonçalves de Souza - 2000 - Cognitio 1:145-152.
Analytics
Added to PP index
2015-05-22
Total views
35 ( #325,072 of 2,506,017 )
Recent downloads (6 months)
1 ( #416,828 of 2,506,017 )
2015-05-22
Total views
35 ( #325,072 of 2,506,017 )
Recent downloads (6 months)
1 ( #416,828 of 2,506,017 )
How can I increase my downloads?
Downloads