I. Disciplina: História da Filosofia Medieval
III (2012/2)
II. Professor: Guilherme Wyllie
III. Horário: Quarta-feira (9h – 13h)
IV. Objetivos: Expor o
sistema lógico proposto por Boécio no De
syllogismo cathegorico. Sucintamente, defenderei que na referida obra Boécio
não só reconhecera a eficácia epistêmica de certos padrões argumentativos, formulando-os
como regras de dedução natural, mas também propora com base na avaliação de
importantes propriedades metalógicas de seu sistema dedutivo um conjunto de
condições formais e epistêmicas para o estabelecimento da noção de necessidade
lógica.
V. Programa:
1.
Apresentação da sintaxe e semântica da linguagem formal proposta no De syllogismo cathegorico;
2. Fixação do
conjunto de regras dedutivas e avaliação da metodologia lógica mediante a qual
Boécio estabelecera tais regras na obra em questão;
3. Discussão
sobre o que Boécio entende por ‘dedutibilidade formal’ e ‘consequência lógica’
para então resumir os principais resultados por ele alcançados em teoria da
prova.
VI. Avaliação: Ao final do curso, o aluno deverá apresentar um trabalho
monográfico, que versará sobre algum tema relacionado com o conteúdo da
disciplina.
VII. Bibliografia básica:
ANGELL,
R. B. Truth-Functional Conditionals and Modern vs. Traditional Syllogistic. Mind, LXCV, 378, 1986, 210-223.
BACON, J.
Syllogistic Without Existence. Notre Dame
Journal of Formal Logic, VIII, 3, 1967.
BOÉCIO.
De syllogsimo cathegorico.
Gothenburg: Acta Universitatis Gothoburgensis, 2008.
CORCORAN,
J. Completeness of an Ancient Logic. The
Journal of Symbolic Logic, XXXVII, 4, 1972.
CORCORAN,
J. A Mathematical Model of Aristotle’s Syllogistic. Archiv für Geschichte der Philosophie, LV , 2, 1973, 191-219.
CORCORAN,
J. Aristotelians Syllogisms: Valid Arguments or True Universalised
Conditionals? Mind, LXXXIII, 330,
1974, 278-281.
DUERLINGER,
J. Aristotle’s Conception of Syllogism. Mind,
LXXVII, 308, 1968,480-499.
McCALL,
S. Connexive Implication and the Syllogism. Mind,
LXXVI, 303, 1967, 346-356.
NOVAK, J.
Some Recent Work on Assertoric Syllogistic. Notre
Dame Journal of Formal Logic, XXI, 2,
1980.
PINZANI, R. La logica di Boezio.
Milão: Franco Angeli, 2003.
SMILEY,
T. J. What is a Syllogism? Journal of
Philosophical Logic, 2, 1973.
SMILEY,
T. J. Syllogism and Quantification. The
Journal of Symbolic Logic, XXVII, 1, 1962.
SMITH, R.
Completeness of an Ecthetic Syllogistic.
Notre Dame Journal of Formal Logic, XXIV, 2, 1983.
WESTERSTÅHL,
D. Aristotelian Syllogisms and Generalized Quantifiers. Studia Logica, XLVIII, 4, 1989, 577-585.
Nenhum comentário:
Postar um comentário