Although the historian confronts the question of what is not known in the same terms as does any other researcher no matter his or her discipline, the conditions of the debate are different for the historian because of the problematic nature of the science of history. While practically all the other sciences, including the social sciences, struggle against ignorance by seeking to discover and establish laws that will govern the facts, history must always face, in spite of its ever more (...) sophisticated techniques, the contingency of its materials, which are fundamentally human. The materials of history can not—in spite of what some have asserted—be contained within any single, all-encompassing mode of reasoning that would allow for the creation of constitutive abstract models. In spite of this reality the historian persists, like Sisyphus, in organizing knowledge. Man apparently has no choice but to believe that his activities have some logical basis. The historian therefore collates facts in order to develop cognitive and interpretive structures that will be durable. What gives the discipline of history its epistemological originality is the painfully central role it accords to the question, “What do we not know?” Man wants to know, believes he knows. The ignorance of historians thus seems especially upsetting when applied to our own century. How could the methodological progress of the science of history, along with the professionalization of the historian's craft, have led to an actual increase of uncertainty concerning a period so close to us in time? Today's man-in-the-street—endowed only with his memory, which seems so rich in “truths”—finds it hard to believe that any event or structure of the twentieth century could remain unknown. Limiting our inquiry to the twentieth century is not, however, justified solely by the practical consideration of trying to gain a better grasp of our times. Indeed in this brief article devoted to the relationship between ignorance and the history and historiography of the twentieth century, we will not attempt to inventory all the events, persons, mentalities or economic facts which historical knowledge has until now been incapable of explaining. Unlike the other sciences, whose struggle against ignorance is accomplished by a gradual process of nibbling at the margins of the unknown, the discipline of history must always keep in mind that the masses of granite that form the foundation of History are in fact but a body of statements that can only aspire to the status of truth. The aim of our inquiry— without of course claiming to be exhaustive—will therefore be to identify the nature of the obstacles that lie in the historian's path. These problems are of three kinds. The first concerns access to knowledge, and is tied—although not exclusively—to problems of the techniques of historical research. The second concerns the difficulties related to conceptualization and therefore to the uses of knowledge. There can be no knowing without know-how. Finally, the third pertains to the lack of permeability between history and the other human and social sciences, which creates for the historian the challenge of interdisciplinary exchange. (shrink)

Emphatic claims of a “microbiome revolution” aside, the study of the gut microbiota and its role in organismal development and evolution is a central feature of so-called postgenomics; namely, a conceptual and/or practical turn in contemporary life sciences, which departs from genetic determinism and reductionism to explore holism, emergentism and complexity in biological knowledge-production. This paper analyses the making of postgenomic knowledge about developmental symbiosis in Drosophila melanogaster by a specific group of microbiome scientists. Drawing from both practical philosophy of (...) science and Science and Technology Studies, the paper documents epistemological questions of artefactuality and representativeness of model organisms as they emerge in the day-to-day labour producing and being produced by the “microbiome revolution." Specifically, the paper builds on all the written and editorial exchanges involved in the troubled publication of a research paper studying the symbiotic role of the microbiota in the flies’ development. These written materials permit us to delimit the network of justifications, evidence, standards of knowledge-production, trust in the tools and research designs that make up the conditions of possibility of a postgenomic fact. More than reframing the organism as a radically novel multiplicity of reactive genomes, we conclude, doing postgenomic research on the microbiota and symbiosis means producing a story that deviates from the scripts embedded into the sociotechnical experimental systems of post-Human Genome Project life sciences. (shrink)

Continued confinement of those most vulnerable to COVID-19—e.g., the elderly, those with chronic diseases and other risk factors—is presented as an uncontroversial measure when planning exit strategies from lockdown measures. Policies for deconfinement assume that these persons will remain confined even when others will not. This, however, could last quite a long time, and for some this could mean that they will remain in confinement for the rest of their lives.In a policy brief on ethical, legal, and social issues of (...) transition strategies, the Swiss national COVID-19 science task force stated that:Specific interventions should target the risks associated with isolation... (shrink)

Translation of Aristotle's Physics I-II into Portuguese, with commentaries. Tradução para o português dos livros I e II da Física de Aristóteles, com comentários.

This book uses mathematical models of language to explain why there are certain gaps in language: things that we might expect to be able to say but can't. For instance, why can we say I ran for five minutes but not *I ran to the store for five minutes? Why is five pounds of books acceptable, but *five pounds of book not acceptable? What prevents us from saying *sixty degrees of water to express the temperature of the water in a (...) swimming pool when sixty inches of water can express its depth? And why can we not say *all the ants in my kitchen are numerous? The constraints on these constructions involve concepts that are generally studied separately: aspect, plural and mass reference, measurement, and distributivity. In this book, Lucas Champollion provides a unified perspective on these domains, connects them formally within the framework of algebraic semantics and mereology, and uses this connection to transfer insights across unrelated bodies of literature and formulate a single constraint that explains each of the judgments above. (shrink)

This is an introductory handbook for some of the main themes around the notion of predication in Aristotle. It does not aim at being exhaustive, but only sketches some important lines about the subject; it contains an introductory essay, besides the translation (into Portuguese) and commentary of basic texts (such as Posterior Analytics I-22, Categories 1-5, Interpretation 1-6 etc.).

Translation of Aristotle's Posterior Analytics I into Portuguese, with a few notes, experimental glossary and introduction. The translation, which was made at 2003/4, 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.

Translation of Aristotle's Metaphysics IV and VI, with notes. The translation is preliminary and intended as a provisional teaching tool to be also used in seminars and discussions with peers in order to reach a more elaborated version.

This book discusses Aristotle’s notions of essence and substance as they are developed in Metaphysics ZH. I examine Aristotle's argument at length and defends an unorthodox interpretation according to which his motivation is to provide an answer against a conflation between criteria for existential priority (delivering substances as primary beings) and criteria for explanatory priority (delivering essences as primary principles).

Meta-analytic findings have suggested that individual differences are relatively weaker predictors of academic dishonesty than are situational factors. A robust literature on deviance correlates and workplace integrity testing, however, demonstrates that individual difference variables can be relatively strong predictors of a range of counterproductive work behaviors (CWBs). To the extent that academic cheating represents a kind of counterproductive behavior in the work role of "student", employment-type integrity measures should be strong predictors of academic dishonesty. Our results with a college student (...) sample showed that integrity test scores were moderate to strong correlates of self-reported academic cheating and that these relationships persisted even after controlling for a variety of measurement concerns such as item format similarity, concurrent assessment, and socially desirable responding. Implications for institutional honor codes and the broader relations between educational and workplace dishonesty are discussed. (shrink)

Tradução preliminar em pré-print. A Tradução definitiva é a de 2009.

Tradução dos livros Z e H da Metafísica de Aristóteles, com introdução e notas. Translation of Aristotle's Metaphysics Books VII and VIII into Portuguese, with Introduction and Notes.

Aristotle contrasts episteme and doxa through the key notions of universal and necessary. These notions have played a central role in Aristotle’s characterization of scientific knowledge in the previous chapters of APo. They are not spelled out in APo I.33, but work as a sort of reminder that packs an adequate characterization of scientific knowledge and thereby gives a highly specified context for Aristotle’s contrast between episteme and doxa. I will try to show that this context introduces a contrast in (...) terms of explanatory claims: on the one hand, episteme covers those claims which capture explanatory connections that are universal and necessary and thereby deliver scientific understanding; on the other hand, doxa covers the explanatory attempts that fail at doing so. (shrink)

Trata-se de tradução do Hípias Maior de Platão para o Português, com algumas notas de elucidação e justificação das opções.

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.

The issue is obscured by the fact that the word `space' can be used in four different ways. It can be used, first, as a term of pure mathematics, as when mathematicians talk of an `n-dimensional phase-space', an `n-dimensional vector-space', a `three-dimensional projective space' or a `twodimensional Riemannian space'. In this sense the word `space' means the totality of the abstract entities-the `points'-implicitly defined by the axioms. There is no doubt that there exist, iii this sense, non-Euclidean spaces, because all (...) that is claimed by such an assertion is that sets of non-Euclidean axioms constitute possible implicit definitions of abstract entities, that is to say that some sets of non-Euclidean axioms are consistent. If Kant or any other philosopher had denied this, he would have been wrong; but Kant himself took care not to deny it, 2 and there is little reason to suppose that any philosopher concerned about space has been using the word in this, the pure mathematician's, sense. (shrink)

Translation of Aristotle's Metaphysics I-III into Portuguese, with a few notes and introduction. The translation, which was made at 2007, is 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.

I discuss the exact meaning of the thesis according to which the object of scientific knowledge is necessary. The thesis is expressed by Aristotle in the Posterior Analytics, in his definition of scientific knowledge. The traditional interpretation understands this definition as depending on two parallel and independent requirements, the causality requirement and the necessity requirement. Against this interpretation, I try to show, through the examination of several passages that refer to the definition of scientific knowledge, that the necessity requirement specifies (...) more exactly the causality requirement: what cannot be otherwise is the explanatory relation between the explanandum and the cause by which it is what it is. (shrink)

In Posterior Analytics 71b9 12, we find Aristotle’s definition of scientific knowledge. The definiens is taken to have only two informative parts: scientific knowledge must be knowledge of the cause and its object must be necessary. However, there is also a contrast between the definiendum and a sophistic way of knowing, which is marked by the expression “kata sumbebekos”. Not much attention has been paid to this contrast. In this paper, I discuss Aristotle’s definition paying due attention to this contrast (...) and to the way it interacts with the two conditions presented in the definiens. I claim that the “necessity” condition ammounts to explanatory appropriateness of the cause. (shrink)

Gödei's Theorem seems to me to prove that Mechanism is false, that is, that minds cannot be explained as machines. So also has it seemed to many other people: almost every mathematical logician I have put the matter to has confessed to similar thoughts, but has felt reluctant to commit himself definitely until he could see the whole argument set out, with all objections fully stated and properly met. This I attempt to do.

Joint attention customarily refers to the coordinated focus of attention between two or more individuals on a common object or event, where it is mutually “open” to all attenders that they are so engaged. We identify two broad approaches to analyse joint attention, one in terms of cognitive notions like common knowledge and common awareness, and one according to which joint attention is fundamentally a primitive phenomenon of sensory experience. John Campbell’s relational theory is a prominent representative of the latter (...) approach, and the main focus of this paper. We argue that Campbell’s theory is problematic for a variety of reasons, through which runs a common thread: most of the problems that the theory is faced with arise from the relational view of perception that he endorses, and, more generally, they suggest that perceptual experience is not sufficient for an analysis of joint attention. (shrink)

Translation of Aristotle's Metaphysics Lambda into Portuguese.

Translation of passages of Aristotle's De Anima into Portuguese. The passages are these: I.1, I.4 (the 'Rylean passage'); II.1-6; III.1-8. The translation is preliminary.

I discuss what Aristotle means when he say that scientific demonstration must proceed from necessary principles. I argue that, for Aristotle, scientific demonstration should not be reduced to sound deduction with necessary premises. Scientific demonstration ultimately depends on the fully appropriate explanatory factor for a given explanandum. This explanatory factor is what makes the explanandum what it is. Consequently, this factor is also unique. When Aristotle says that demonstration must proceed from necessary principles, he means that each demonstration requires the (...) principle that is the necessary one for the fully appropriate explanation of its explanandum. This picture also provides a key to understand Aristotle's thesis that scientific explanation depends on essences: it is the essence of the attribute to be explained that should be stated as the fully appropriate explanatory factor. (shrink)

Proclus, head of the Philosophy School at Athens for fifty years, was one of the leading philosophical figures in Late Antiquity. Lucas Siorvanes here introduces Proclus to English-language readers, discussing his metaphysics and theory of knowledge and focusing in particular on his Neo-Platonism. Proclus lived in the turbulent fifth century A.D., a time of struggles among Christians, Jews, and pagans, the invasion of Attila the Hun, the fall of the Western Roman Empire, and the rise of the Eastern Roman (...) Empire in Byzantium. While Late Antiquity has been regarded as a time of superstition and forbiddingly complex philosophies, recent scholarship has shown it to be full of cultural and intellectual vigor. During Proclus's tenure as head of the Philosophy School, he systematized Neo-Platonism as the summit of ancient Greek thought, brought it to its peak of influence, and became responsible for the form in which it was transmitted to the Byzantine, Western European, and Islamic civilizations. Siorvanes's extensive original research presents Proclus as much more than just a metaphysician. He surveys all of Proclus's philosophical interests—including religion, physics, astronomy, mathematics, and poetry—revealing the philosopher's central concern with the problems of being and knowledge and relating the ideas of Proclus to those of such other major thinkers as Plato, Aristotle, and Ptolemy. To help the newcomer, Siorvanes supplies more than 200 quotations from Proclus's works. He also traces the impact of Proclus's Neo-Platonism across cultures, religions, and centuries, in such diverse areas as Christian and Islamic theologies, Renaissance art, Kepler's astronomy, Romantic poetry, Emerson's thought, modern philosophy and science, and current popular phrases. (shrink)

I discuss Aristotle's treatment of essence and definition in Metaphysics VII.4. I argue that it is coherent and perfectly in accord with its broader context. His discussion in VII.4 offers, on the one hand, minimal criteria for what counts as definition and essence for whatever kind of object, but also, on the other hand, stronger criteria for a primary sort of definition and essence—and thereby it serves the interest of book VII in pointing to the explanatory power of the essence (...) of composite substances. (shrink)

These are commentaries to the translation into Portuguese of Nicomachean Ethics VI, found in the same volume of Dissertatio.

Tradução para o Português de Ethica Nicomachea VI.

I discuss in this paper the six requirements Aristotle advances at Posterior Analytics A-2, 71b20-33, for the premisses of a scientific demonstration. I argue that the six requirements give no support for an intepretation in terms of “axiomatization”. Quite on the contrary, the six requirements can be consistently understood in a very different picture, according to which the most basic feature of a scientific demonstration is to explain a given proposition by its appropriate cause.

I have two aims in this paper. First, I argue that, in Aristotle’s theory of the four causes, there is a basic and common feature by which all causes are causes: they all work in a triadic framework in which they explain why a given attribute holds of a given underlying thing. Secondly, I argue against a version of “compatibilism” according to which each kind of cause is complete in its own domain and does not compete with any other kind. (...) I claim that there are priority relations according to which some kinds of cause are subordinated to others, even if these relations do not hold in every cases. (shrink)

One of the most fruitful applications of substructural logics stems from their capacity to deal with self-referential paradoxes, especially truth-theoretic paradoxes. Both the structural rules of contraction and the rule of cut play a crucial role in typical paradoxical arguments. In this paper I address a number of difficulties affecting noncontractive approaches to paradox that have been discussed in the recent literature. The situation was roughly this: if you decide to go substructural, the nontransitive approach to truth offers a lot (...) of benefits that are not available in the noncontractive account. I sketch a noncontractive theory of truth that has these benefits. In particular, it has both a proof- and a model-theoretic presentation, it can be extended to a first-order language, and it retains every classically valid inference. (shrink)

At some point in the Incessu Animalium, Aristotle appeals to some geometrical claims in order to explain why animal progression necessarily involves the bending (of the limbs), and this appeal to geometrical claims might be taking as violating the recommendation to avoid “kind-crossing” (as found in the Posterior Analytic). But a very unclear notion of kind-crossing has been assumed in most debates. I will argue that kind-crossing in the Posterior Analytics does not mean any employment of premises from a discipline (...) other than that to which the explanandum belongs. Kind-crossing was meant to cover a specific sort of employment of premises from a different discipline, namely, the case in which premises from a discipline X are taken as the most important explanatory factor that delivers the fullest appropriate explanation of an explanandum within discipline Y. If this is so, the employment of geometrical premises in the Incessu Animalium is not an instance of the prohibited kind-crossing, but something that is in line with the theory of the Posterior Analytics. (shrink)

Collective volume with papers by alumni and students from the Campinas Aristotle Group.

I examine Aristotle’s definition of scientific knowledge in Posterior Analytics 71b 9-12 and try to understand how it relates to the sophistical way of knowing and to "kata sumbebekos knowledge". I claim that scientific knowledge of p requires knowing p by its appropriate cause, and that this appropriate cause is a universal (katholou) in the restricted sense Aristotle proposes in 73b 26-27 ff., i.e., an attribute coextensive with the subject (an extensional feature) and predicated of the subject in itself (an (...) intensional feature). Kata sumbebekos knowledge, on the other hand, can occur even when the predicate of a conclusion is coextensive with its subject and is proved by a convertible meson which is not the most appropriate from an explanatory standpoint. (shrink)

Translation of Aristotle’s Metaphysics IX and X (Theta & Iota) into Portuguese, with a few notes, experimental glossary and introduction. The translation, which was made at 2004, is 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.

Este livro é um 'ancestral' em pré-print do meu livro de 2006, Introdução à Teoria da Predicação em Aristóteles (ISBN 978-85-268-0716-1), publicado pela Editora da Unicamp (ver https://www.academia.edu/6912408/Introdu%C3%A7%C3%A3o_%C3%A0_teoria_da_predica%C3%A7%C3%A3o_em_Arist %C3%B3teles). O ancestral foi felizmente muito citado, mesmo depois da aparição do livro definitivo em 2006. -/- This is an ancestor (in pré-print) of my 2006 Book, 'Introdução à Teoria da Predicação em Aristóteles' (ISBN 978-85-268-0716-1), published by Editora da Unicamp (see https://www.academia.edu/6912408/Introdu%C3%A7%C3%A3o_%C3%A0_teoria_da_predica%C3%A7%C3%A3o_em_Arist %C3%B3teles). The ancestor was cited by many, even after the definitive book (...) appeared in 2006. (shrink)

Translation of Aristotle's Parts of Animals Book I into Portuguese, with full commentaries.

My sights in this paper are trained on facts. Most people think that they know what facts are; that while their friends often, and themselves occasionally, are ignorant of the facts, at least they know what sort of things facts are---they can recognise a fact when they see it. Facts, in the popular philosophy of today, are good, simple souls; there is no guile in them, nor any room for subjective bias, and once we have made ourselves acquainted with them, (...) we have reached the beginning and summit of all wisdom. (shrink)

This chapter argues in favour of three interrelated points. First, I argue that demonstration (as expression of scientific knowledge) is fundamentally defined as knowledge of the appropriate cause for a given explanandum: to have scientific knowledge of the explanandum is to explain it through its fully appropriate cause. Secondly, I stress that Aristotle’s notion of cause has a “triadic” structure, which fundamentally depends on the predicative formulation (or “regimentation”) of the explanandum. Thirdly, I argue that what has motivated Aristotle to (...) choose the syllogism as a demonstrative tool was precisely the fact that syllogisms are apt to express causal relations in their triadic structure. Instead of complaining against Aristotle’s preference for the syllogisms as demonstrative tools, I argue that Aristotle was fully aware of the advantages of regimenting the explanandum into a predication. One of these advantages is to abandon a purely extensional standpoint and to highlight the importance of the notion of relevancy in explanation. (shrink)

The paper generalizes Van McGee's well-known result that there are many maximal consistent sets of instances of Tarski's schema to a number of non-classical theories of truth. It is shown that if a non-classical theory rejects some classically valid principle in order to avoid the truth-theoretic paradoxes, then there will be many maximal non-trivial sets of instances of that principle that the non-classical theorist could in principle endorse. On the basis of this it is argued that the idea of classical (...) recapture, which plays such an important role for non-classical logicians, can only be pushed so far. (shrink)

IT is ungenerous to pick holes in The Concept of Law. It is a great work. Its clarity is luminous, and its argument sustained and convincing. Hart is eminently successful in rescuing the concept of law from the Legal Realists, the Positivists, and the Formalists, who attempt to straitjacket it within schemata which are too narrow or too vague to give an adequate elucidation of it. But sometimes Hart is not carried along by his arguments as far as he should. (...) He makes too many concessions to his opponents, and his own account of the law is, in consequence, too formalist, in spite of having himself adduced cogent considerations elsewhere for rejecting the purely formalist line of argument. The rule of recognition, although important, is not fundamental. We should, rather, see law as a social phenomenon, to be distinguished from other social phenomena, but intelligible only in a social context, and not-as lawyers are too ready to suppose-an autonomous discipline which can be explained and understood entirely in its own terms. (shrink)

I discuss the methodological passage in the begin- ning of Ethica Eudemia I.6 (1216b26-35), which has received attention in connection with Aristotle’s notion of dialectic and his methodology in Ethics. My central focus is not to discuss whether Aristotle is prescribing and using what has been called the method of endoxa. I will focus on how this passage coheres with the remaining parts of the same chapter, which also are advancing methodological remarks. My claim is that the meth- od of (...) Ethica Eudemia I.6 is in agreement with many features of Aristotle’s theory of explanation as presented in the Posterior Analytics: Aristotle’s main concern is a warning against misuses of explanatory arguments. (shrink)

Non‐classical logicians do not typically reject classically valid logical principles across the board. In fact, they sometimes suggest that their preferred logic recovers classical reasoning in most circumstances. This idea has come to be known in the literature as ‘classical recapture’. Recently, classical logicians have raised various doubts about it. The main problem is said to be that no rigorous explanation has been given of how is it exactly that classical logic can be recovered. The goal of the paper is (...) to address this problem. First, I discuss a number of different ways to characterize the idea of classical recapture and I examine how far it can be pushed. Secondly, I argue that a palatable form of classical recapture is given by the thought that classical logic can be retained for statements that are grounded (in Kripke’s sense). To substantiate this view I provide a formal fixed‐point semantics for a language containing a predicate standing for the concept of groundedness and I address a couple of objections that have been deployed against the claim that classical recapture can aid the non‐classical logician’s cause. (shrink)

This paper examines Aristotle’s notion of priority with the specific aim of capturing the sort of priority that characterizes the primacy of substances in his metaphysics. I reject the traditional interpretation, which understands the ontological priority of substances in terms of independent existence. But there are rather two sorts of priority: the ontological priority of substances should be understood in terms of completeness, whereas the ontological priority of “substances-of-something” (the essences) is a causal-explanatory priority. Furthermore, an important piece of Aristotle’s (...) argument against Platonism is that these two sorts of priority – namely, the completeness priority and the causal-explanatory priority – should be kept distinct. (shrink)

I discuss the argument Aristotle ascribes to Parmenides at Physics 186a23-32. I discuss (i) the reasons why Aristotle considers it as eristic and inconclusive and (i) the solution (lusis) Aristotle proposes against it.

This paper attempts to clarify the nature and the importance of a third kind of sophistic argument that is not always found in the classification of those arguments in the secondary literature. An argument of the third kind not only is a valid one, but is also constituted of true propositions. What makes it a sophistic argument is the fact that it produces a false semblance of scientific explanation: its explanation seems to be appropriate to the explanandum without being so. (...) Evidence from this kind of argument comes from Sophistic Refutations 11, and Brison’s attempt to square the circle should be counted as one of its instances. (shrink)

Algorithms, or rather algorithmic actions, are seen as problematic because they are inscrutable, automatic, and subsumed in the flow of daily practices. Yet, they are also seen to be playing an important role in organizing opportunities, enacting certain categories, and doing what David Lyon calls “social sorting.” Thus, there is a general concern that this increasingly prevalent mode of ordering and organizing should be governed more explicitly. Some have argued for more transparency and openness, others have argued for more democratic (...) or value-centered design of such actors. In this article, we argue that governing practices—of, and through algorithmic actors—are best understood in terms of what Foucault calls governmentality. Governmentality allows us to consider the performative nature of these governing practices. They allow us to show how practice becomes problematized, how calculative practices are enacted as technologies of governance, how such calculative practices produce domains of knowledge and expertise, and finally, how such domains of knowledge become internalized in order to enact self-governing subjects. In other words, it allows us to show the mutually constitutive nature of problems, domains of knowledge, and subjectivities enacted through governing practices. In order to demonstrate this, we present attempts to govern academic writing with a specific focus on the algorithmic action of Turnitin. (shrink)

I discuss Aristotle's anomalous terminology in Physics A.1 (involving "universals" and "particulars") and its coherence with Aristotle's notion of scientific demonstration.