Translation of Aristotle's Posterior Analytics II into Portuguese, with a few notes, experimental glossary and introduction. The translation, which was made at 2002 (with a new printing in 2004), was preliminary and its publication was intended to provide a didactic tool for courses as well as a provisional resource in research seminars. It needs some revision. I am currently working (slowly...) on the revision of the translation and a new revised one will surely appear at some point.

We present a memorial summary of the professional life and contributions to logic of John Corcoran. We also provide a full list of his many publications.Courtesy of Lynn Corcoran.

A pesar del hecho de que Aristóteles critica frecuentemente las teorías de Platón -en especial su teoría de la reminiscencia- algunas de sus explicaciones sobre el conocimiento humano parecen presentar importantes similitudes. Algunos textos del Menón y del De memoria et reminiscentia muestran uno de estos interesantes paralelismos.

This paper provides an interpretation of Aristotle’s criticism to the solution to Meno’s Paradox suggested by Plato. According to Aristotle, when Plato says that reminiscence (anámnēsis) is achieved, what is actually achieved is induction (epagōgê). Our interpretation is based on two aspects: (1) semantic criticism, since Plato’s use of the term anámnēsis is unusual; and (2) the theory is not able to give an adequate explanation of the effective discovery.

Since the time of Aristotle's students, interpreters have considered Prior Analytics to be a treatise about deductive reasoning, more generally, about methods of determining the validity and invalidity of premise-conclusion arguments. People studied Prior Analytics in order to learn more about deductive reasoning and to improve their own reasoning skills. These interpreters understood Aristotle to be focusing on two epistemic processes: first, the process of establishing knowledge that a conclusion follows necessarily from a set of premises (that is, on the (...) epistemic process of extracting information implicit in explicitly given information) and, second, the process of establishing knowledge that a conclusion does not follow. Despite the overwhelming tendency to interpret the syllogistic as formal epistemology, it was not until the early 1970s that it occurred to anyone to think that Aristotle may have developed a theory of deductive reasoning with a well worked-out system of deductions comparable in rigor and precision with systems such as propositional logic or equational logic familiar from mathematical logic. When modern logicians in the 1920s and 1930s first turned their attention to the problem of understanding Aristotle's contribution to logic in modern terms, they were guided both by the Frege-Russell conception of logic as formal ontology and at the same time by a desire to protect Aristotle from possible charges of psychologism. They thought they saw Aristotle applying the informal axiomatic method to formal ontology, not as making the first steps into formal epistemology. They did not notice Aristotle's description of deductive reasoning. Ironically, the formal axiomatic method (in which one explicitly presents not merely the substantive axioms but also the deductive processes used to derive theorems from the axioms) is incipient in Aristotle's presentation. Partly in opposition to the axiomatic, ontically-oriented approach to Aristotle's logic and partly as a result of attempting to increase the degree of fit between interpretation and text, logicians in the 1970s working independently came to remarkably similar conclusions to the effect that Aristotle indeed had produced the first system of formal deductions. They concluded that Aristotle had analyzed the process of deduction and that his achievement included a semantically complete system of natural deductions including both direct and indirect deductions. Where the interpretations of the 1920s and 1930s attribute to Aristotle a system of propositions organized deductively, the interpretations of the 1970s attribute to Aristotle a system of deductions, or extended deductive discourses, organized epistemically. The logicians of the 1920s and 1930s take Aristotle to be deducing laws of logic from axiomatic origins; the logicians of the 1970s take Aristotle to be describing the process of deduction and in particular to be describing deductions themselves, both those deductions that are proofs based on axiomatic premises and those deductions that, though deductively cogent, do not establish the truth of the conclusion but only that the conclusion is implied by the premise-set. Thus, two very different and opposed interpretations had emerged, interestingly both products of modern logicians equipped with the theoretical apparatus of mathematical logic. The issue at stake between these two interpretations is the historical question of Aristotle's place in the history of logic and of his orientation in philosophy of logic. This paper affirms Aristotle's place as the founder of logic taken as formal epistemology, including the study of deductive reasoning. A by-product of this study of Aristotle's accomplishments in logic is a clarification of a distinction implicit in discourses among logicians--that between logic as formal ontology and logic as formal epistemology. (shrink)

Demonstrative logic, the study of demonstration as opposed to persuasion, is the subject of Aristotle's two-volume Analytics. Many examples are geometrical. Demonstration produces knowledge (of the truth of propositions). Persuasion merely produces opinion. Aristotle presented a general truth-and-consequence conception of demonstration meant to apply to all demonstrations. According to him, a demonstration, which normally proves a conclusion not previously known to be true, is an extended argumentation beginning with premises known to be truths and containing a chain of reasoning showing (...) by deductively evident steps that its conclusion is a consequence of its premises. In particular, a demonstration is a deduction whose premises are known to be true. Aristotle's general theory of demonstration required a prior general theory of deduction presented in the Prior Analytics. His general immediate-deduction-chaining conception of deduction was meant to apply to all deductions. According to him, any deduction that is not immediately evident is an extended argumentation that involves a chaining of intermediate immediately evident steps that shows its final conclusion to follow logically from its premises. To illustrate his general theory of deduction, he presented an ingeniously simple and mathematically precise special case traditionally known as the categorical syllogistic. (shrink)

According to the standard and largely traditional interpretation, Aristotle’s conception of nous, at least as it occurs in the Posterior Analytics, is geared against a certain set of skeptical worries about the possibility of scientific knowledge, and ultimately of the knowledge of Aristotelian first principles. On this view, Aristotle introduces nous as an intuitive faculty that grasps the first principles once and for all as true in such a way that it does not leave any room for the skeptic to (...) press his skeptical point any further. Thus the tradi- tional interpretation views Aristotelian nous as having an internalist justificatory role in Aristotelian epistemology. In contrast, a minority (empiricist) view that has emerged recently holds the same internalist justificatory view of nous but rejects its internally certifiable infallibility by stressing the connection between nous and Aristotelian induction. I argue that both approaches are flawed in that Aristotle’s project in the Posterior Analytics is not to answer the skeptic on internalist justificatory grounds, but rather lay out a largely externalist explication of scientific knowledge, i.e. what scientific knowledge consists in, without worrying as to whether we can ever show the skeptic to his satisfaction that we do ever possess knowledge so defined. (shrink)

A revisionist account of how philosophical induction was conceived in the ancient world and how that conception was transmitted, altered, and then rediscovered. I show how philosophers of late antiquity and then the medieval period came step-by-step to seriously misunderstand Aristotle’s view of induction and how that mistake was reversed by humanists in the Renaissance and then especially by Francis Bacon. I show, naturally enough then, that in early modern science, Baconians were Aristotelians and Aristotelians were Baconians.

Pretendemos averiguar como Aristóteles concebe a passagem do nosso conhecimento prévio do mundo ao conhecimento científico, avaliando os pressupostos e consequências de sua resposta ao paradoxo de Mênon e atentando para a metodologia científica defendida nos Segundos Analíticos. Quanto ao conhecimento preliminar necessário à edificação da ciência, procuraremos caracterizar seus tipos e também os meios pelos quais ele pode vir a ser adquirido por nós. Buscaremos estabelecer também as propriedades que o conhecimento científico deve possuir em relação à sua necessidade, (...) universalidade e caráter explanatório. Buscaremos marcar, com precisão, a natureza da conclusão científica segundo a teoria científica aristotélica, argumentando que, nas conclusões, o atributo demonstrado, em relação com seu substrato, representa uma propriedade por si concomitante. Pretendemos averiguar como os diferentes tipos de demonstração e definição respondem a diferentes estágios de organização do saber prévio e a diferentes estágios na estruturação das demonstrações propriamente científicas, e, por conseguinte, como esses se organizam de modo a responder as quatro perguntas que toda investigação científica deve abarcar em seus dois estágios. (shrink)

Our purpose is to study Aristotle?s solution, in the second book of the Posterior Analytics, for the problem of the apprehension of the principles of science. We attend to the relations between the concepts of induction (epagoge) and intelligence (nous) found in the chapter 19, which seems to confirm that the acquisition of the principles is reached by a process of empirical observation. We examine the method, proposed in chapters 13 to 17, for the right formulation of definitions, which seems (...) to attribute to dialectics the task of finding the principles. Aristotle seems to indicate two different methods ? on one hand, the empirical observation followed by intelligence, on other, the dialectics ? for the apprehension of the principles. Our purpose is to study possible solutions for the problem of the concurrence between these two methods in order to refute as much a strictly empiricist interpretation as a strictly dialectical one. (shrink)

Aristotle's cognitive ideal is a form of understanding that requires a sophisticated grasp of scientific first principles. At the end of the Analytics, Aristotle tells us that we learn these principles by induction. But on the whole, commentators have found this an implausible claim: induction seems far too basic a process to yield the sort of knowledge Aristotle's account requires. In this paper I argue that this criticism is misguided. I defend a broader reading of Aristotelian induction, on which there's (...) good sense to be made of the claim that we come to grasp first principles inductively, and show that this reading is a natural one given Aristotle's broader views on scientific learning. (shrink)