This paper explores spatial justice in urban environments through immersive art and design, focusing on Amsterdam and Houston. It presents a case study from the Venice Biennale 2023, showcasing art's potential in fostering inclusive urban spaces. The study delves into the socio-political complexities of urban areas, highlighting often-ignored liminal spaces and their tensions and possibilities. Immersive art emerges as a transformative medium, capable of challenging and reshaping perceptions of space, and addressing systemic socio-economic disparities. Adopting a transdisciplinary approach, the research (...) combines insights from various fields to enrich discussions on spatial justice and inspire urban transformations. By examining liminal spaces and the 'phygital' nexus, the paper challenges conventional urban narratives and advocates for more inclusive and equitable urban strategies. (shrink)

Most models of generational succession in sexually reproducing populations necessarily move back and forth between genic and genotypic spaces. We show that transitions between and within these spaces are usually hidden by unstated assumptions about processes in these spaces. We also examine a widely endorsed claim regarding the mathematical equivalence of kin-, group-, individual-, and allelic-selection models made by Lee Dugatkin and Kern Reeve. We show that the claimed mathematical equivalence of the models does not hold. *Received January 2007; revised (...) April 2008. †To contact the authors, please write to: Elisabeth Lloyd, Department of History and Philosophy of Science, 130 Goodbody Hall, Indiana University, Bloomington, IN 47405; e-mail: [email protected]; Richard Lewontin, Department of Organismic and Evolutionary Biology, Harvard University, 26 Oxford Street, Cambridge, MA 02138; Marcus Feldman, Department of Biological Sciences, Stanford University, Stanford, CA 94305; e-mail: [email protected]. (shrink)

The present discussion takes up an issue raised in Section 5 of Ross Brady and Penelope Rush’s paper ‘Four Basic Logical Issues’ concerning the (claimed) triviality – in the sense of automatic availability – of soundness and completeness results for a logic in a metalanguage employing at least as much logical vocabulary as the object logic, where the metalogical behaviour of the common logical vocabulary is as in the object logic. We shall see – in Propositions 4.5–4.7 – that this (...) triviality claim faces difficulties in the face of Halldén incompleteness, for essentially the same reasons that Halldén thought this phenomenon raised seman- tic difficulties for the modal logics of C. I. Lewis exhibiting it. To counter any inclination to dismiss the phenomenon as providing at best a marginal range of counterexamples to the triviality claim, a Postscript assembles some reminders of the extent of – and the varied considerations favouring – Halldén incompleteness. (shrink)

This article discusses various dangers that accompany the supposedly benign methods in behavioral evoltutionary biology and evolutionary psychology that fall under the framework of "methodological adaptationism." A "Logic of Research Questions" is proposed that aids in clarifying the reasoning problems that arise due to the framework under critique. The live, and widely practiced, " evolutionary factors" framework is offered as the key comparison and alternative. The article goes beyond the traditional critique of Stephen Jay Gould and Richard C. Lewontin, to (...) present problems such as the disappearance of evidence, the mishandling of the null hypothesis, and failures in scientific reasoning, exemplified by a case from human behavioral ecology. In conclusion the paper shows that "methodological adaptationism" does not deserve its benign reputation. (shrink)

A reading of Feyerabend in Against Method, and a comparison of C.S. Peirce.

Christopher Columbus Langdell has not only damaged the study of law with his three follies: his legal formalism, his redacted appellate case method, and his notion that legal practice taints the professor of law. His three follies have also impaired character development critical for legal actors. This Article focuses on four such critical character traits and virtues impaired by Langdell: (i) imagination, (ii) empathy, (ii) balance, and (iv) integrity. -/- This Article also calls out potential character issues with two professor (...) types inspired by Langdell: (v) the hazing professor who confuses intellectual rigor with intense discomfort and who uses the redacted appellate case method to inflict such discomfort at the expense of better pedagogy, and (vi) the professor without substantial practice experience who is substantially paid to teach what she has never practiced. -/- Agreeing with C.S. Pierce that the best argument is a cable rather than a chain, I end by weaving in a Langdell villanelle. I hope such a cable can help lift Langdell and his follies from legal education and the world. (shrink)

The hermeneutic pragmatism explored in this article timely examines how “post-truth” claims over-estimate semantic freedoms while at the same time underestimating semantic and pre-semantic restraints. Such pragmatism also timely examines how formalists err by committing the reverse errors. Drawing on insights from James, Peirce, Putnam, Rorty, Gadamer, Derrida, and others, such hermeneutic pragmatism explores (1) the necessary role of both internal and objective experience in meaning, (2) the resulting instrumental nature of concepts required to deal with such experience, (3) the (...) related need for workability to apply to the “the collectivity of experience’s demands, nothing being omitted,” (4) the inherent role of morality and other norms in measuring such workability, (5) the semantic as well as experiential nature of our workable realities, (6) the semantic freedoms involved in constructing, framing, and retaining our workable realities and concepts, and (7) the semantic, pre-semantic, and other restraints on constructing, framing, and retaining our workable realities and concepts. -/- Such hermeneutic pragmatism also introduces Eunomia, a real-world alternative to Dworkin’s superhuman judge Hercules. Named after the Greek goddess of good order, the human Eunomia represents the reasonable judge excellently versed in (among other things) legal theory, legal practice, linguistics, and philosophy of language. Additionally, in its appendices, this article surveys the pragmatic restraints of “implementives” and provides a detailed overview of pragmatic “workability” restraints for both law and fact. -/- (By “sense” the title of this article means not only “meaning conveyed or intended” but also “capacity for effective application of the powers of the mind as a basis for action or response.” See Sense, MERRIAM-WEBSTER’S COLLEGIATE DICTIONARY (11th ed. 2014) “Workable” has the broad meaning discussed in Sections II, IV, and Appendix C of the Article, and "good" is further explored in the section on Eunomia, namesake of the Greek goddess of good order.) -/- Keywords: Pragmatism, Hermeneutic, Truth, Rule of Law, William James, C.S. Peirce, Hilary Putnam, Richard Rorty, Gadamer, Habermas, Derrida, Lon Fuller, H.L.A. Hart, Post-truth, Postmodernism, Trump, Rhetoric, Meaning, Interpretation, Metaphor, Category, Lifeworld, Formalism, Framing, Deconstruction. (shrink)

With insights from philosophy of language and semiotics, this article addresses judicial choices and semantic errors involved in United States v. Stevens, 130 S.Ct. 1577 (2010) (refusing to read “killing” and “wounding” to include cruelty and thus striking down a federal statute outlawing videos of animal cruelty), and Snyder v. Phelps, 131 S.Ct. 1207 (2011) (finding a First Amendment right to picket military funerals and verbally attack parents of dead soldiers as part of purportedly-public expression). -/- This article maintains that (...) a better understanding of semiotics (the theory of signs) exposes the flaws in both decisions and bolsters the arguments of the lone dissenter in both cases, Justice Alito. Such a better understanding of semiotics involves grasping (a) how expression involves signs, (b) how signs work in general, and (c) the differences between three basic kinds of signs (indexes, icons and symbols). This article maintains that the expression involved in Stevens and in Phelps was a type of indexical or quasi-indexical expression that, for reasons similar to those involved in child pornography cases, should have no First Amendment protection. -/- This article also notes shifting interpretive positions in the Court that cry out for reform. Although Chief Justice Roberts uses a textualist approach in his majority opinion striking down the animal cruelty statute in Stevens, his majority opinion in National Federation of Independent Business v. Sebelius, 132 S.Ct. 2566 (2012), has no trouble finding a “penalty” a “tax,” upholding the Affordable Care Act, and chastising the dissent for voting to strike down a statute simply because “. . . Congress used the wrong labels.” Id. at 2597. -/- This article attempts to expose such gamesmanship in “textualism” and attempts to lay out a better semiotic path for the Court. It calls for more forthright judicial decision-making in constitutional and statutory interpretation; calls for rejecting mechanical notions of law that conceal judicial choice involved in constitutional and statutory interpretation; and calls for rejecting claims that dictionaries can settle constitutional or statutory interpretation issues without reference to constitutional and statutory goals. -/- Keywords: interpretation, construction, meaning, plain meaning, originalism, original intent, canon, semiotics, signs, signals, symbol, icon, index, signifier, signified, ordinary meaning, freedom of speech, freedom of expression, animal cruelty, first amendment, statutes. (shrink)

What methodological approaches do research programs use to investigate the world? Elisabeth Lloyd’s Logic of Research Questions (LRQ) characterizes such approaches in terms of the questions that the researchers ask and causal factors they consider. She uses the Logic of Research Questions Framework to criticize adaptationist programs in evolutionary biology for dogmatically assuming selection explanations of the traits of organisms. I argue that Lloyd’s general criticism of methodological adaptationism is an artefact of the impoverished LRQ. My Ordered Factors (...) Proposal extends the LRQ to characterize approaches with sequences of questions and factors. I highlight the importance that ordering one’s investigation plays in approaches at the level of adaptationism by analyzing two research programs in community ecology: competitionists and neutralists. Competitionists and neutralists take opposed starting points and use explanatory and developmental heuristics to consider more factors in due time. On the Ordered Factors Proposal, these approaches are not only the ecological factors they are open to considering but also the order in which they will consider them. My disagreement with Lloyd’s over how to characterize methodological approaches reflects different views about methodological monism and pluralism. (shrink)

The common use of Shannon’s information, specified for the needs of telecommunications, gives rise to many misunderstandings outside of this context. (e.g. in conceptions of such well-known theorists as C.F. Weizsäcker and J. A. Wheeler). This article shows that the terms of the general definition of information meet the structural information, and Shannon’s information is a special case of it. Similarly, complexity is misunderstood today as exemplified by the concepts of reputable computer scientists, such as S. Lloyd, S. Wolfram (...) and J. Schmidhuber. These theorists use an algorithmic definition of complexity and the so-called logical depth, neither of which meets the intuitive criterion of complexity. Hence, their misconceptions of beauty, art and the universe. It will be shown that the intuitive criterion is met by Abstract Complexity Definition. This definition also fulfils the criterion for a general complexity definition, as it defines complexity of the most general/abstract structure of our reality, that is, binary structure. It also explains such fundamental issues of information theory as the information–energy relationship and the value of information, which are still discussed and need to be clarified. (shrink)

How should we determine the distribution of psychological traits—such as Theory of Mind, episodic memory, and metacognition—throughout the Animal kingdom? Researchers have long worried about the distorting effects of anthropomorphic bias on this comparative project. A purported corrective against this bias was offered as a cornerstone of comparative psychology by C. Lloyd Morgan in his famous “Canon”. Also dangerous, however, is a distinct bias that loads the deck against animal mentality: our tendency to tie the competence criteria for cognitive (...) capacities to an exaggerated sense of typical human performance. I dub this error “anthropofabulation”, since it combines anthropocentrism with confabulation about our own prowess. Anthropofabulation has long distorted the debate about animal minds, but it is a bias that has been little discussed and against which the Canon provides no protection. Luckily, there is a venerable corrective against anthropofabulation: a principle offered long ago by David Hume, which I call “Hume’s Dictum”. In this paper, I argue that Hume’s Dictum deserves a privileged place next to Morgan’s Canon in the methodology of comparative psychology, illustrating my point through a discussion of the debate over Theory of Mind in nonhuman animals. (shrink)

"Understanding Scientific Progress constitutes a potentially enormous and revolutionary advancement in philosophy of science. It deserves to be read and studied by everyone with any interest in or connection with physics or the theory of science. Maxwell cites the work of Hume, Kant, J.S. Mill, Ludwig Bolzmann, Pierre Duhem, Einstein, Henri Poincaré, C.S. Peirce, Whitehead, Russell, Carnap, A.J. Ayer, Karl Popper, Thomas Kuhn, Imre Lakatos, Paul Feyerabend, Nelson Goodman, Bas van Fraassen, and numerous others. He lauds Popper for advancing beyond (...) verificationism and Hume’s problem of induction, but faults both Kuhn and Popper for being unable to show that and how their work could lead nearer to the truth." —Dr. LLOYD EBY teaches philosophy at The George Washington University and The Catholic University of America, in Washington, DC "Maxwell's aim-oriented empiricism is in my opinion a very significant contribution to the philosophy of science. I hope that it will be widely discussed and debated." – ALAN SOKAL, Professor of Physics, New York University "Maxwell takes up the philosophical challenge of how natural science makes progress and provides a superb treatment of the problem in terms of the contrast between traditional conceptions and his own scientifically-informed theory—aim-oriented empiricism. This clear and rigorously-argued work deserves the attention of scientists and philosophers alike, especially those who believe that it is the accumulation of knowledge and technology that answers the question."—LEEMON McHENRY, California State University, Northridge "Maxwell has distilled the finest essence of the scientific enterprise. Science is about making the world a better place. Sometimes science loses its way. The future depends on scientists doing the right things for the right reasons. Maxwell's Aim-Oriented Empiricism is a map to put science back on the right track."—TIMOTHY McGETTIGAN, Professor of Sociology, Colorado State University - Pueblo "Maxwell has a great deal to offer with these important ideas, and deserves to be much more widely recognised than he is. Readers with a background in philosophy of science will appreciate the rigour and thoroughness of his argument, while more general readers will find his aim-oriented rationality a promising way forward in terms of a future sustainable and wise social order."—David Lorimer, Paradigm Explorer, 2017/2 "This is a book about the very core problems of the philosophy of science. The idea of replacing Standard Empiricism with Aim-Oriented Empiricism is understood by Maxwell as the key to the solution of these central problems. Maxwell handles his main tool masterfully, producing a fascinating and important reading to his colleagues in the field. However, Nicholas Maxwell is much more than just a philosopher of science. In the closing part of the book he lets the reader know about his deep concern and possible solutions of the biggest problems humanity is facing."—Professor PEETER MŰŰREPP, Tallinn University of Technology, Estonia “For many years, Maxwell has been arguing that fundamental philosophical problems about scientific progress, especially the problem of induction, cannot be solved granted standard empiricism (SE), a doctrine which, he thinks, most scientists and philosophers of science take for granted. A key tenet of SE is that no permanent thesis about the world can be accepted as a part of scientific knowledge independent of evidence. For a number of reasons, Maxwell argues, we need to adopt a rather different conception of science which he calls aim-oriented empiricism (AOE). This holds that we need to construe physics as accepting, as a part of theoretical scientific knowledge, a hierarchy of metaphysical theses about the comprehensibility and knowability of the universe, which become increasingly insubstantial as we go up the hierarchy. In his book “Understanding Scientific Progress: Aim-Oriented Empiricism”, Maxwell gives a concise and excellent illustration of this view and the arguments supporting it… Maxwell’s book is a potentially important contribution to our understanding of scientific progress and philosophy of science more generally. Maybe it is the time for scientists and philosophers to acknowledge that science has to make metaphysical assumptions concerning the knowability and comprehensibility of the universe. Fundamental philosophical problems about scientific progress, which cannot be solved granted SE, may be solved granted AOE.” Professor SHAN GAO, Shanxi University, China . (shrink)

The chapter discusses the principle of conservatism and traces how the general principle is related to the specific one. This tracing suggests that the principle of conservatism needs to be refined. Connecting the principle in cognitive science to more general questions about scientific inference also allows us to revisit the question of realism versus instrumentalism. The framework deployed in model selection theory is very general; it is not specific to the subject matter of science. The chapter outlines some non-Bayesian ideas (...) that have been developed in model selection theory. The principle of conservatism, like C. Lloyd Morgan's canon, describes a preference concerning kinds of parameters. It says that a model that postulates only lower-level intentionality is preferable to one that postulates higher-level intentionality if both fit the data equally well. The model selection approach to parsimony helps explain why unification is a theoretical virtue. (shrink)

Predication is a lingual relation. We have this relation when a term is said (λέγεται) of another term. This simple definition, however, is not Aristotle’s own definition. In fact, he does not define predication but attaches his almost in a new field used word κατηγορεῖσθαι to λέγεται. In a predication, something is said of another thing, or, more simply, we have ‘something of something’ (ἓν καθ᾿ ἑνὸς). (PsA. , A, 22, 83b17-18) Therefore, a relation in which two terms are posited (...) to each other in a way that one is said (predicated) of the other is a predication. The term of which the other term is said is called a subject (ὑποκειμένον) and the other, which is said about the subject, is called the predicate. Thus, in a predication the predicate is predicated of the subject; given that being predicated is almost as the same as being said. The relation between being said and being predicated is so close that ‘if something is said of a subject both its name and its definition are necessarily predicated of the subject.’ (Cat., 5, 2a19-26) This, however, is true only about the second genera and not the accidents. a) Nature of relation in predication What is Aristotle’s theory about the nature of the relation in a predication? How does he fundamentally understand this relation? Phil Corkum distinguishes between predication logic and traditional term logic and argues that the relation between subject and predicate in Aristotle is of the latter kind. While in predicate logic, subjects and predicates have distinct roles, they have the same role in traditional term logic. In predication logic, subjects refer, but predicates characterize. Thereupon, a sentence expresses a truth if the object to which the subject refers is correctly characterized by the predicate. In traditional term logic, both subjects and predicates refer and a sentences expresses a truth if both name one and the same thing. He concludes that Aristotle ‘problematically conflates prediction and identity claims’ because while he thinks both subjects and predicates refer, he would deny that a sentence is true just in case the subject and the predicate name one and the same thing. Based on this, Corkum believes that Aristotle’s core semantic is not identity but the weaker relation of constitution, which is a mereological interpretation: ‘All men are mortal’ is true just in case the mereological sum of humans is part of the mereological sum of mortals. b) Aristotle’s theory of predication: one or two theories? Frank Lewis finds an inconsistent gap between the theory of predication in the Categories and that in the later books of the Metaphysics VII, 6. So too Joan Kung, Terry Irwin, Daniel Graham. c) Distinction of ‘being said of’ and ‘being in’ Owen enumerates the texts in which Aristotle’s distinction between ‘being said of’ and ‘being in’ is asserted: OI. 11b38-12a17; To., 127b1-4; Cat. 1a20-b9; 2a11-14; 2a27-b6; 2b15-17; 3a7-32; 9b22-24 d) Predication in Aristotle and the standard ‘S is P’ Marie De Rijk Lambertus thinks that the ‘S is P’ pattern is misleading when it comes to express predication in Aristotle. In his view, ‘The Aristotelian procedure should be described in terms of appositively assigning an attribute (κατηγορούμενον) to a substrate (ὑποκείμενον), rather than ascribing a predicate to a subject by means of a copula…. The comment should be considered an attribute which is said to fall to a substrate, without understanding this procedure in terms of sentence predication.’ e) Aristotle’s predication: bipartite or tripartite? It is a difficulty to make Aristotle’s theories of name-verb predication and tripartite predication consistent. The reason is that tripartite is not consistant with his name-verb structure based on which he says that the predicate term is the ‘verb.’ (20a31; 20b1-2; 16a13-5) The problem is that in a tripartite form like ‘Socrates is white’ we cannot take ‘is white’ as the verb because, based on Aristotle himself, no part of a verb can be significant itself. (16b6-7) However, his assertions about the equivalences between the two structures (OI. 12, 21b9-10; PrA. 51b13-16; Met., 1017b22-30) must mean that they are not inconsistent in his own view. Thus, as Allen Bāck points, ‘Aristotle seems to think that he has a single, consistent theory.’ The sense of saying or speaking as the root sense of rhema makes the relation between predication (saying something of something) and verb more interesting. The use of rhema in the sense of a long expression approves this. In Plato’s work (399ac) where Socrates claims that the name anthropos derives from anthron ha opopen (‘he who examines what he has seen’) we have an onoma from, or in place of, a rhema. 1) Subject The subject (ὑποκειμένον) is that of which another term is said or predicated. Aristotle’s own definition is of a much more philosophical value: ‘By subject I mean that which is expressed by an affirmative term (λέγω δὲ ὑποκείμενον τὸ κάταφάσει δηλούμενον).’ (Met., K, 1067b18) Throughout Aristotle’s work, three kinds of subjects can be found: possible, prime and absolute subject. a) Possible subject Those things that can take the position of a subject in a predication we call possible subjects, no matter they can or cannot take the position of predicate in any predication. All terms except the ultimate predicates are possible subjects because they can take the position of subject. b) Prime subject Those that in any predication can only take the position of a subject and not the position of a predicate are prime subjects. (Cat., 5, 3a36-b2; Met., Z, 1028b36-1029a1) This is the truest sense of subject and belongs only to substances. (Met., Z, 1029a1-2) In fact, ‘that which is not predicated of a subject, but of which all else is predicated’ is a substance. (Met., Z, 1029a7-9) In Categories, besides primary substances (Cat., 2, 1b3-6), individual qualities are also said not to be able to be said of anything else. (Cat., 2, 1a23-29) Aristotle’s examples are a certain ‘knowledge-of-grammar’ (τὶς γράμματικὴ) and ‘an individual white’ (τὸ τὶ λευκὸν). Thus, although substances are indeed in the truest sense individuals and, thereby, in the truest sense primary subjects, other individuals can take the position of subject as well. c) Absolute subject While substances are prime subjects of all other things, there is still something of which substances can be predicated and this predication is not an accidental predication: matter. (Met., Z, 1029a21-24) This predication is, indeed, the predication of a ‘form or this’ on matter and material substance. (Met., Θ, 1049a34-36) The only thing that is absolutely a subject, therefore, and can be a predicate is prime matter (πρώτη ὓλη). (Met., Θ, 1049a24-27) d) Subject and substance The most important thing in being a substance is being a subject: ‘It is because the primary substances are subjects for all the other things and all the other things are predicated of them or are in them, that they are called substances most of all.’ (Cat., 5, 2b15-17) And what is nearer to this position is more a substance as a species is more a substance than a genus.’ (Cat., 5, 2b7-8) e) Primary versus accidental subject A subject is a primary subject in a predication when the predicate is predicated of it as itself. In such a case, the subject is the subject of the predicate qua itself and not qua something else. A subject, on the one hand, is an accidental subject when it is not the primary subject of the predicate that is predicated on it. It means that a subject is an accidental subject when the predicate is predicated of it not qua itself but qua something else. An accidental subject is, therefore, anything other than a substance. 2) Predicate as universal It is evident from our discussion of kinds of subjects that except matter, primary substances (if we ignore both accidental predication and cases of absolute subjects) and other individuals, everything else can take the position of a predicate. Since primary substances are individuals, it results that everything except matter and individuals are capable to take the position of predicate. The immediate consequence of this is that the predicate must be a universal. When individuals cannot take the position of predicate, this position cannot be taken by any particular. Therefore, only universals can be predicated of others. Moreover, albeit universals can be a simple subject (for another universal), they are not prime subjects. The closeness of universal and predicate is to the extent that Aristotle differentiates universal from subject. (Met., Θ, 1049a27-30) 3) Categories or classes of predicates Aristotle distinguishes ten highest classes into one of which each predicate must necessarily fall: substance (or what a thing is), quality, quantity, relation, place, time, position, state, activity and passivity. (Cat., 4, 1b25-27; To., I, 9, 103b20- ; PsA., A, 22, 83b13-23) The substance counted among predicates must refer to secondary and not primary substances not only because Aristotle insists that primary substances cannot be predicated but also from his own examples of the category of substance: man and animal. (To., I, 9, 103b25) However, if a predicate be asserted of itself or its genus be asserted of it, the predicate signifies substance or what is; but if ‘one kind of predicate is asserted of another kind,’ it signifies one of the other nines. (To., I, 9, 103b30) These categories are so comprehensive that no predicate can remain outside them so that even non-being has as many senses as categories. (Met., M, 1089a26-30) a) That whether Aristotle’s categories are merely linguistic or fundamentally ontological is a so much controversial dispute. Some like G. E. R. Lloyd believe that ‘categories are primarily intended as a classification of reality … rather than of the signifying terms themselves.’ b) Although Aristotle’s categories have been historically regarded as a classification of predications, there are some recent commentators like Jonathan Barnes that think it is classifying predicates and not predications. 4) Kinds of predicates In his introduction of Categories, as J. W. Thorp truly points out , Aristotle distinguishes between the category of substance and the other categories using μὲν ... δὲ construction. This construction illustrates that beside tenfold classification of categories, there is an even more crucial differentiation between two kinds of predicates: substance or what is on the one hand and the other nine ones on the other hand: the distinction between what is predicated of the subject as what it is and what is predicated of it as an accident. Therefore, we have three kinds of classification - a twofold, a fourfold and a tenfold-complicatedly classifying the same thing, viz. the predicate. Predicates can be divided also to four kinds: property, definition, genus and accident. (To., I, 4, 101b11-20) A property is that predicate that is convertible with its subject and does not signify its essence. A definition is that predicate that is convertible with its subject and signifies its essence. It is a genus if it is not predicated convertibly and is contained in the definition of its subject. And it is an accident if it is neither convertible nor contained in the definition of its subject. (To., I, 8, ^103b3) All of these four kinds are among categories. (To., I, 9, 103b20) It seems that there might be some kind of relation between the twofold and the fourfold distinction: whereas genus and definition are predicated as what it is, accidents are not so predicated. There seems to be some rules that determine to each of these four kinds each predicate belongs. At To., IV, 123b30ff. Aristotle asserts: ‘If B has a contrary and A does not, then B does not belong to A as its genus.’ There is a dispute around per se accidents (τὰ καθ’ αὑτὰ συμβεβηκότα) (Topics., 102a18) whether they must be regarded as either of the four kinds or as a fifth kind. Barnes (1970) argued that they ‘do not fit at all neatly into the fourfold classification.’ He argues that based on the definition of accidents at A, 5, 102b4-5, they must be accidents but based on another definition, A, 5, 102b6-7, they cannot be accidents. He also defends the view that they are not properties. Barnes concludes: ‘This shows that the two definitions are not equivalent, and hence that the ‘predicables’ are not well-defined.’ Demetris J. Hadgopoulos defends the view that the two definitions of accidents are equivalent and per se accidents are properties. 5) Five types of predications We have five kinds of predications based on our division of subjects and our discussion of predicates: simple, primary (itself divided to substantial and accident), accidental (itself divided to primary and secondary), aoincidental and absolute predication. a) Simple predication. This is a predication in which a universal is predicated of either a particular or a universal subject. This sense of predication includes all other senses except the first kind of accidental predication. b) Primary predication. This is a predication in which a universal is predicated of a primary subject, namely a substance. A primary predication is of two kinds: i) Substantial predication. A primary predication in which the predicate is part of, or is included in, the definition of the subject. The universal that is the predicate here is the definition or the genus or the species or the diferentia of the subject. It is this predication that Aristotle calls a unity: ‘A statement may be called a unity … because it exhibits a single predicate as inhering not accidentally in a single subject.’ (PsA., B, 10, 93b35-37) It is only substantial predicates that can be predicated of each other: ‘Predicates which are not substantial are not predicated of one another.’ (PsA., A, 22, 83b18-19) Aristotle defines a substantial predication also in another way. A predication in which a higher genus is predicated on a lower genus, species, a substance or an individual, (or a species is predicated on an individual) is a substantial predication. Therefore, a substantial predication is a predication in a series that has individuals on one of its ends and a general category on its other end. In fact, only substantial predicates can be predicated of one another. (PsA., A, 22, 83b17-19) This series cannot be an infinite series because otherwise not only substances would not be definable but also a genus would be equal to one of its own species. (PsA., A, 22, 83b7-10) -/- ii) Accident predication. A primary predication in which the predicate is not part of, or is not included in, the definition of its subject. The universal that is the predicate here is the property or the accident of the subject. c) Accidental predication. This is a predication in which the subject is not a primary subject and its predicate is a substance. This predication is of two kinds: i) Primary accidental predication. This is a predication in which an accident is predicated of substance. Such a predication can go ad infinitum, which is inferable from Aristotle’s assertion that the secondary accidental predication cannot go ad infinitum. ii) Secondary accidental predication. It is a predication in which an accident is predicated of another accident. Such a predication, Aristotle asserts, cannot go ad infinitum because even more than two accidents cannot be combined. Now what is the meaning of Aristotle’s assertion that we cannot continue this ad infinitum? Does it mean that we cannot continue the predication ‘The musician is white’ and say ‘The white is Athenian?’ But why not? Or maybe he means that by adding any predication, we are still in a condition of predicating two accidents of a substance on each other. -/- As primary subjects, substances can also take the position of predicate though not essentially but accidentally. In propositions like ‘the white is a log’ or ‘That big thing is a log’ we observe substance taking the position of predicate but this is only accidentally: ‘When I affirm ‘the white is a log,’ I mean that something which happens to be white is a log- not that white is the subject in which log inheres (οὐχ ὡς τὸ ὑποκείμενον τῷ ξύλῳ τὸ λευκόν ἐστι), for it was not qua white or qua a species of white that the white (thing) came to be a log (οὔτε λευκὸν ὄν οὔθ᾿ ὃπερ λευκόν τι ἐγἐνετο ξύλον), and the white (thing) is consequently not a log except incidentally.’ (PsA., 22, 83a3-9) Aristotle compares this accidental use of substance in the position of predicate with the substantial use of it in the place of a subject: ‘On the other hand, when I affirm ‘the log is white,’ I do not mean that something else, which happens to be a log, is white (οὐχ ὃτι ἓτερόν τί ἐστι λευκόν, ἐκείνῳ δὲ συμβέβηκε ξύλῳ εἶναι), (as I should if I said ‘the musician is white,’ which would mean ‘The man who happens also to be a musician is white’); on the contrary, log is here the subject- the subject which actually came to be white, and did so qua wood or qua a species of wood and qua nothing else.’ (PsA., 22, 83a8-14) Aristotle asks us not to call propositions like ‘The white is a log’ a predication at all or at least call them accidental predication instead of simple (ἁπλως) predication. (PsA., A, 22, 83a14-17) An accidental predication, in which we have a substance in the place of predicate, is different from an essential predication in that while the subject of an accidental predication is said to be the predicate not by itself but as something different with which it coincides, the subject of an essential predicate is said to be the predicate by itself and not because it is something else: ‘Since there are attributes which are predicated of a subject essentially and not accidentally- not, that is, in the sense in which we say ‘That white (thing) is a man,’ which is not the same mode of predication as when we say ‘The man is white’: the man is white not because he is something else but because he is man, but the white is man because ‘being white’ coincides with ‘humanity’ within one subject. Therefore, there are terms such as are essentially subjects of predicates. (PsA., A, 19, 81a24-29) This capability of ‘non-essentially and only accidentally’ being a subject does belong, in fact, to all sensible things. (PsA., A, 27a32-36) d) Coincidental predication. this is a predication in which none of the subject and predicate are a substance or an individual. In this predication, one of the accidents of a substance or individual is predicated of one of the other accidentals of the same substance or individual. For example, when it is said that ‘The white is musical,’ there is an individual, say Socrates, for which both of white and musical are accidents. e) Absolute predication. This is a predication in which a form or a substance is predicated of a matter or a material substance. Some commentators like Loux and Lewis regarded this predication as close to accident predication, both based on inherence. As R.M. Dancy points out, these predications make Aristotle’s theory of predication immanentist: not only accident predications are explained by the immanence of accidents in substances, some of the substantial predications, which were not explained in Categories, are also explained by the immanence of form in matter. It is interesting that in this kind of predication, it is the predicate and not the subject, which is in the strictest sense substance. As the central books of Metaphysics claim, the form is the substance. Thus, in this predication, substance gets away from the sense of ὑποκείμενον. Corkum mentiones 68a19 as the only instance where Aristotle explicitly claims that a term may be predicated of itself, a passage that is, in Corkum’s view, problematic. 6) Demonstrable predicates Those predicates are demonstrable that are so related to their subjects that there are other predicates prior to them predicable of their subjects (ἔτι δ᾿ ἄλλος, εἰ ὧν πρότερα ἄττα κατηγορεῖται). (PsA., A, 22, 83b32-34) 7) Series of predications Since it is possible for a predicate to be itself the subject of another predication, we can have a series of predications in which the predicate of a predication is the subject of the next predication. This series has the following features: a) It has a limit (in number) (PsA., A, 22, 83b14-16) on the side of subjects: there are subjects that cannot themselves be predicated (PsA., A, 27, 43a39-41), which are, as we noted, prime subjects: particulars, i.e. prime substances and other individuals. (PsA., A, 19-22) Aristotle calls them ultimate (ὓστατον). (PsA., 21, 82a36-b1) b) It has a limit (in number of kinds) (PsA., A, 22, 83b14-16) also on the side of predicates: there must be predicates that cannot be subjects. (PsA., A, 19-22; PsA., A, 27, 43a36-39) Aristotle calls them primary (πρῶτον). (PsA., A, 21, 82b1-4) These are the highest categories or the highest genera of categories. (PsA., A, 22, 83b14-16) c) The series has an escalating shape from mere subjects at its downside to mere predicates at its upside. It is Aristotle himself whos uses the words up and down in this sense. (e.g. PsA., A, 22, 83b2-3) d) The predications that lie between lowest and highest ones must be finite in number. (PsA., A, 19-22 especially: 20, 82a21-35) These have subjects and predicates, each capable of both of the roles of being subject and being predicated. A result of this fitness is that neither demonstration can go to infinity nor everything is demonstrable, the two points Aristotle always insist on. e) The upward side includes the more universal ones and the downward the more particular ones. (PsA., 20, 82a21-23) f) It follows from the above features that ‘neither the ascending nor the descending series of predications … are infinite.’ (PsA., A, 22, 83b24-25) g) Reciprocation and convertibility. Except in case of terms (i.e. subjects and predicates) that are at each of the ends of series of predications, namely ultimates and primaries, it is possible to reciprocate (ἀντιστρέφειν) terms and convert the predication. (PsA., A, 19, 82a15-20) h) Antipredication. Antipredication means that in a predication (S is P), the subject becomes the predicate of its predicate (P is S) in the same category its predicate was predicated on it. For example, if P is in the category of quality, antipredication means that S be predicated of P in the category of quality. In other words, P is a quality of S and S is a quality of P. Aristotle rejects this. (PsA., A, 22, 83a36-b3) i) Self-predication versus other-predication. Aristotle distinguishes between a predication in which a term is said of itself and a predication in which a term is said of another. (Phy., Δ, 2, 209a31-33) j) Predicablity (Cat., 5, 3a36-b2): 1) Primary substances and individuals are not predicable. 2) Secondary substances are of two kinds: genus and species i) Genus is predicable able both of the species and of the individuals. ii) Species is predicable of the individual. 3) Differentiae are predicable both of the species and of the individuals. 8) Predication as classification a) Richard Patterson believes that Aristotle’s so repeated construction using hoper (estin A hoper B) in Topics (120a23 sq., 122b19, 26sq., 123a, 124a18, 125a29, 126a21, 128a35. Also in Posterior Analytics (83a24-30) (Brunschwig’s list. ‘expresses the fact that A is a kind of B (esti A B tis), that A is a species of the genus B.’ 9) Universal predication Aristotle defines universal predication (κατὰ παντὸς κατηγορεῖσθαι) as such: ‘wherever no instance of the subject (τῶν τοῦ ὑποκειμέμνου) can be found of which the other term cannot be asserted.’ (PrA., A, 24b27-29) In this predication, the subject is included in another as in a whole (ἐν ὃλῳ εἶναι) and the predicate is predicated of all of the subject (κατὰ παντὸς κατηγορεῖσθαι). (PrA., A, 24b26-27) Attach another discussion we had about ἐν ὃλῳ here. 10) Quantity of predication A predication, truly stated, has a quantity, which is the number of objects under the name of the subject of which the predicate is predicated. The quantity of subject can be stated in four ways: a. Indefinite: when the predicate belongs or does not belong to the subject without any mark to show to haw many of the particulars under the name of the subject it does or does not belong. E.g. ‘Man is white’; ‘Man is not white.’ (PrA., A, 24a20; OI., I, 7, 17b8-12) b. Universal quantity: When the predicate belongs to all or none of the subject. E.g. ‘Every man is animal’; ‘No man is animal.’ (PrA., A, 24a18-19; OI., I, 7, 17b5-6) The contrary of a predication of a universal quality is a predication of a universal quality. E.g. the contrary of ‘Every man is white’ is ‘No man is white.’ (OI., I, 7, 17b20-23) c. Particular quantity: When the predicate belongs (or does not belong) to some of the subject. E.g. ‘Some men are white’; ‘Some men are not white.’ (PrA., A, 24a19-20) d. Single quantity: when the subject is a proper name of only one object. E.g. ‘Socrates is white’; ‘Socrates is not white.’ The contrary of this predication is of a single quantity: ‘Socrates is not white.’ (OI., I, 7, 17b38-18a4) 11) Convertibility of predication. Some predications are convertible, that is, it is possible to change the place of subject and predicate in a true proposition so that the converted proposition remains true. This is supposed to mean that given the truth of a predication, the truth of the converted predication is inferable. The convert form of a predication depends on its quantity. a. Indefinite quantity: This predication has no strictly true convert because its quantity is not stated. b. Universal quantity: It can be converted in two ways: i) A negative universal can be converted to a negative universal in which the terms are changed. E.g. ‘No pleasure is good’ can be converted to ‘No good is pleasure.’ (PrA., A, 2, 25a5-8 and a14-19) ii) An affirmative universal can be converted to an affirmative particular in which the terms are changed. E.g. ‘Every pleasure is good’ can be converted to ‘Some good is pleasure.’ (PrA., A, 2, 25a7-9) c. Particular quantity: If it is negative, it cannot be converted but if it is affirmative, it can be converted to an affirmative predication with particular quantity. E.g. ‘Some pleasure is good’ can be converted to ‘Some good is pleasure.’ (PrA., A, 2, 25a10-13 and a20-24) d. Single quantity: It cannot be converted. 12) Characteristics of relations between subject and predicate 1. A predicate is of a wider range than its subject. It is based on this fact that Aristotle: a) Prevents individuals to be predicate because there is nothing of which an individual be of a wider range. In other words, it is due to the fact that since an individual is only ‘one particular’ thing and, thus, cannot be of a wider extent than anything that Aristotle prevents them of being a predicate. Matthews, however, thinks we cannot use Socrates, a substance and an individual, in the place of predicate and say it of Socrates because ‘Socrates does not classify Socrates: it names him.’ b) Prevents differentia, species and things under species to be predicated of genus. (To., Z, 6, 144a27-) c) Prevents the species and the things under it to be predicated of the differentia. (To., Z, 6, 144b1-4) d) Also about the effect because it is wider than its subject. (PsA., B, 17, 99a) e) Each attribute is wider than every individual it is predicated on, though several attributes, collectively considered, might not be wider but exactly the substance of a thing. (PsA., B, 13, 96a32-b1) 2. The predicate of a predicate of a subject will be predicated of the subject too: ‘whenever one thing is predicated of another as of a subject, all things said of what is predicated will be said of the subject too.’ (Cat., 3, 1b10-15) In fact, it is due to its predication of the subject that it is predicated of its predicate. (Cat., 5, 2a36-b1) Moreover, what is not predicated of the predicate of a subject cannot be predicated of it as well. (PrA., A, 27, 43b22-27) Thus, what, for example, is not predicated of animal, cannot be predicated of man. 3. The predicate of a subject can be predicated of its predicates as well. (Cat., 5, 3a1-6) For example, you call the individual man grammatical and, thence, you call both a man and an animal grammatical. Nonetheless, the predicate of a subject belongs to it more properly than to its higher predicates. (PrA., A, 27, 43a27-32) 4. It is only the subject that can be distributed and not the predicate. (PrA., A, 27, 43b16-22; OI, I, 7, 17b12-16) Therefore, we can say e.g. ‘Every man is animal’ but we cannot say ‘Every man is every animal.’ 5. It is the reason of the relation between subjects and predicates, that is the reason of predication, which is the subject of inquiry. (Met., Z, 1041a20-24) In other words, since it is a meaningless inquiry to ask why a thing is itself (Met., Z, 1041a14-15), the only remaining meaningful inquiry is to ask why something is something else, i.e. to ask about the reason of predication. 6. A subject cannot categorize its predicate in the same category in which it is categorized by it. If e.g. A is a quality of B, B cannot be a quality of A. Therefore, there is no reciprocation in the same category. (PsA., A, 22, 83a36-39) 13) Characteristics of series of predications 1. A series of secondary accidental predication cannot go ad infinitum for not even more than two terms can be comnbined. For an accident is not an accident of an accident, unless it be because both are accidents of the same subject. (Met., Γ, 1007b1-4) 2. Infinite series cannot be traversed in thought. (PsA., A, 22, 83b6-7) 3. The predications of genera on each other must be ended and cannot go to infinity because otherwise not only substances would not be definable but also a genus would be equal to one of its own species. (PsA., A, 22, 83b7-10) Therefore, a series of predication of genera on each other must be limited on both sides. There must be an upward limit in general categories as well as a downward limit in individual because they cannot be predicated of others. Whatever lies between these limits can both be predicated of others and others be predicated of them. (PrA., A, 27, 43a36-43) 4. The order of predicates matters: it makes a difference whether the series be ABC or BAC. (PsA., B, 13, 96b25-32) . (shrink)

The following are the characteristics of a genus: 1. Those to which the same figure of predication applies are one in genus. (Met. , Δ, 1016b32-35) 2. Things that are one in genus are all one by analogy while things that are one by analogy are not all one in genus. (Met, Δ, 1016b35-1017a3) 3. A genus includes contraries. (Met., Δ, 1018a25-31) 4. All the intermediates are in the same genus as one another and as the things they stand between. (...) (Met., I, 1057a18-30; 1057b31-34) 5. Not every predicate is a genus of what it is predicated on; for this would equate a genus with one of its own species. (PsA., A, 22, 83b7-10) 6. The opposite of the genus should always be the genus of the opposite. (To., Δ, 4, ^125a27-29) 7. A genus divides the object from other things. (To., Z, 3, 140a^24) 8. None of unity and being is a genus. (Met., B, 998b22-27; Met., K, 1059b31-34; PsA., B, 7, 92b12-14) 9. There is no necessity or even no possibility that things that are the same specifically or generically should be numerically the same. (To., H, I, 152b30-) 10. To be called one due to having one genus is in a way similar to be one due to having the same matter. (Met., Δ, 1016a24-28) 11. The substance of a thing involves its genus, and thereby all the higher genera are predicated of the lower. (To., Z, 5, 143a^20- ) 12. Being falls immediately into genera. (Met., Γ, 1004a4-6) A. Characteristics of relations between genera The characteristics of relations between genera, the relations between genera and species excluded, are as follows: 1. Genus is not an element in the composition of things. (Met., I, 1057b20-22) 2. Things resulting from the same division of the same genus are simultaneous by nature. (Cat., 13, 15a3-4) 3. Processes of proof cannot pass from one genus to another. (PsA., A, 23, 84b14-18) 4. It is not necessary for subordinate genera to have different accounts. (To., I, 15, ^107a19-) E.g. when we say a raven is a bird, we also say it is a certain kind of animal. 5. It is necessary for genera that are not subordinate one to the other to have different accounts. (To., I, 15, ^107a27-30) E.g. whenever we call a thing an engine, we do not call it an animal, nor vice versa. 6. If one of the genera is predicated in what it is, all of them, both higher and lower than this one, if predicated at all of the species, will be predicated of it in what it is; so that what has been given as genus is also predicated in what it is. (To., Δ, 2, ^122a10) 7. The same object cannot occur in two genera of which neither contains the other. (To., Z, 139b32-140a2) 8. Those to which the same figure (σχῆμα) of predication applies, are the same in genus. (Met., Δ, 1016b32-35) 9. Attributes that inhere always in each several things can be divided to two groups: those that are wider in extent but not wider than its genus and those wider than its genus. (PsA., B, 13, 96a24-27) 10. The relation between A and B must be extendable in respect of all the genera of A. Thus, if A is double of B, it must also be in excess, the genus of double, to B. Aristotle accepts, however, that this may be objectable in some cases: while knowledge is called knowledge of an object of knowledge, it cannot be called a state and disposition (which is the genus of knowledge) of an object of knowledge. In fact, it is a state and disposition of the soul. (To., Δ, 4, 124b28-34) B. Characteristics of species The following are the characteristics of species: 1. Things are said to be other in species if they are of the same genus but are not subordinate the one to the other. (Met., Δ, 1018a38-b2; Met., I, 1057b35-37) 2. Contraries are other than one another in species. (Met., Δ, 1018b5-7; Met., I, 1058b26-) 3. It is not sufficient for a difference to be the basis of distinguishing species in a genus because it belongs to the genus in virtue of its nature as, e.g., the difference between men and women belongs to animal in virtue of its nature. It must also be a modification peculiar to the genus (οἰκεῖα πάθη τοῦ γένους) in the strongest sense. (Met., I, 1058a29-37) Thus, contraries which are in the formula (ἐν τῷ λόγῳ) make a difference in species, but those which are in the compound material thing do not make one as e.g. being male and female is a difference in matter. (Met., I, 1058a37-b23) 4. Some things are peculiar to the species as distinct from genus: there are attributes peculiar to each distinct species. (PrA., A, 27, 43b27-29) 5. There is no necessity or even no possibility that things that are the same specifically should be the same numerically. (To., H, I, 155b30-) C. Characteristics of relations between genera and species The following are the characteristics of relations between genera and their species: 1. Although species predicated of individuals seem to be principles rather than the genera, it is hard to say, Aristotle asserts, in what sense species are to be taken as principles. (Met., B, 999a14-21) 2. Things that are one in species are all one in genus, while things that are one in genus are not all one in species. (Met., Δ, 1016b35a1) 3. The relation of a species to its genus is like the relation of primary substance to all others: the species is a subject for the genus (ὑπόκειται γὰρ τὸ εἴδος τῷ γένει) and the genera are predicated of the species but the species are not predicated of them. (Cat., 5, 2b17-22) 4. Of the species themselves- those which are not genera- one is no more a substance than another: a certain horse is no more a substance than another horse. (Cat., 5, 2b22-26) 5. Genera are prior to species since they do not reciprocate as to implication of existence (κατὰ τὴν τοῦ εἶναι ἀκολούθησιν). For example, if there is a fish there is an animal, but if there is an animal there is not necessarily a fish. (Cat., 13, 15a4-7) 6. What belongs both to a species and to its genus, it belongs to the species more properly indeed than to the genus. (PrA., A, 27, 43b29-32) 7. A predicate drawn from the genus is never ascribed to the species in a derived form and as its genus. Thus, e.g. coloured cannot be a genus of ‘white’ when we say ‘white is coloured.’ (To., B, I, ^109b1-5) 8. Genera are predicated of their species synonymously because the species take on both the name and the account of their genera. (To., B, I, ^109b3-6) 9. All the attributes that belong to the species belong to the genus as well but there is no necessity that all the attributes that belong to the genus should belong also to the species. (To., B, 4, 111a20-32) 10. Those things of which the genus is predicated must also of necessity have one of its species predicated of them. (To., B, 4, 111a33-) 11. The higher genus should be predicated of the species in what it is. (To., Δ, 2, ^122a6) 12. The species, or any of the things which are under the species, is not predicated of the genus because the genus is the term with the widest range of all. (To., Z, 6, 144a27f.) 13. The same species cannot be in two genera neither of which contains the other. (To., Z, 6, 144b14f.) 14. None of the species of a genus is prior or posterior to other species but they are thought to be simultaneous by nature. (Cat., 13, 14b38-15a1) 15. Daniel W. Graham points that sometimes Aristotle speaks of species as classes (Cat., 5, 2a14-17) and sometimes as properties or a certain character (ποιόν τι) of substances, which is difficult to be distinguished from the category of quality. (Cat., 3b13-22) D. Characteristics of differentia 1. The last differentia will be the substance, the definition and the form of the thing. (Met., Z, 1038a18-28) 2. If we divide according to accidental qualities, there will be as many differentiae as there are processes of division. (Met., Z, 1038a25-28) 3. The differentia divides the object from any of the things contained in the same genus. (To., Z, 3, 140a24-) 4. A. C. Lloyd argues that Aristotle’s logic of classification contains a vicious circle because: ‘For a genus to be predicated unequivocally and essentially of a species the specific differentiae have to be ‘appropriate’; but in order to know whether a proposed differentia is appropriate we have to know whether the genus is predicable essentially of the species thus defined.’ The predication of differentia on primary substance seems to make difficulties in Aristotle’s system, as Terence Irwin points out. It seems to violate the distinction of strong predication and inherence, a distinction between predication of count-nouns and predication of characterizing adjectives. Irwin says that this violation is only apparent because although the differentia-term is an adjective, its gender agrees with the gender of the understood genus-term and not with that of the subject term. ‘Man is biped’ is indeed ‘Man is a biped animal.’ This shows, Irwin asserts, ‘why Aristotle can still mention that strong predication is nominal and inherence is adjectival.’ Differentiae are not, however, secondary substances, as Aristotle himself insists. A differentia does not say what the thing is, as secondary substances do, but only what it is like or what sort it is. (ποιον: To., 122b12-17; 128a20-29; 139a28-31; 142b25-29) Nonetheless, differentiae are not qualities because they are not inherent. Thus, they cannot be regarded in any of the ten categories. Irwin thinks that this anomaly is unnecessary because Aristotle could give good reasons for taking differentiae to be second substances. E. Characteristics of relations between differentia and genera or species 1. It is not possible for the genus to be predicated of the differentia taken apart from the species. (Met., B, 998b23-25; Met., K, 1059b31-33; To., VI, 6, 144a32-b1) 2. It is not possible for the species of the genus to be predicated of the proper differentiae of the genus. (Met., B, 998b24-26) 3. Where the differentia is present, the genus accompanies it, but where the genus is, the differentia is not always present. (Met., Δ, 1014b12-14) 4. The number of species are equal to the number of differentiae. (Met., Z, 1038a15-18) 5. The differentiae of genera which are different and not subordinate one to the other are themselves different in kind. (Cat., 3, 1b16-20; To., I, 15, ^107b19-) 6. There is nothing to prevent genera subordinate one to the other from having the same differentia. (Cat., 3, 1b20-22) 7. Since the higher genera are predicated of the genera below them, all differentiae of the predicated genus will be differentia of the subject also. (Cat., 3, 1b21-24) 8. The definition of the differentia is predicated of that of which the differentia is said. (Cat., 5, 3a25-28) 9. In giving what a thing is it is more fitting to state the genus than the differentia. For example, anyone who says that man is an animal shows what man is better than who describes him as terrestrial. (To., Δ, 6, ^128a24-27) 10. The differentia always signifies a quality of the genus, but the genus does not do this of the differentia. (To., Δ, 6, 128a27-29; To., Z, 6, 144a20-23) 11. A specific differentia, along with the genus, always makes a species. (To., Z, 6, 143b^1-) 12. A genus is always divided by the differentiae that are co-ordinate with it in a division and the differentiae that are co-ordinate in a division are all true of the genus. (To., Z, 6, 143b^1-) 13. Differentia cannot be predicated of the genus because genus is the term with the wider range. (To., Z, 6, 144a27-) In fact, genus is predicated, not of the differentia, but of the object of which the differentia is predicated. (To., Z, 6, 144a^31-b3) 14. Neither species nor the objects under it can be predicated of the differentia because the differentia is a term with a wider range than the species. (To., Z, 6, 144b4-) 15. The differentia is posterior to genus but prior to the species. (To., Z, 6, 144b^9-) 16. The same differentia cannot be used of two genera neither of which contains the other and if they do not both fall under the same genus. Otherwise, the same species will be in two genera neither of which contains the other, which is impossible. (To., Z, 6, 144b14-) 17. Genus and differentia are prior to and more familiar than the species: ‘For annul the genus and the differentia; and the species too is annulled, so that they are prior to the species. They are also more familiar; for if the species is known, the genus and differentia must of necessity be known as well (for anyone who knows what a man is knows also what animal and terrestrial are), whereas if the genus or the differentia is known it does not follow of necessity that the species is known as well; thus the species is less intelligible.’ (To., Z, 4, 141b15-) F. Characteristics of relations in series of classes 1. Mutually exclusive series. If no term in the series ACD… is predicable of any term in the series BEF…, and if G- a term in the former series- is the genus of A, clearly G will not be the genus of B; since, if it were, the series would not be mutually exclusive. (PsA., A, 15, 79b6-11) 2. Atomic disconnection of series. Of two mutually exclusive series ACD and BEF, if neither A nor B has a genus and A does not inhere in B, this disconnection must be atomic. (PsA., A, 15, 79b6-14) G. Characteristics of relations of individuals 1. No individual in a species is more substance than another individual in another species. (Cat., 5, 2b26-28) An individual man, for instance, is no more a substance than an individual ox. 2. Each attribute is wider than every individual it is predicated on, though several attributes, collectively considered, might not be wider but exactly the substance of a thing. (PsA., B, 13, 96a32-b1) 3. Not distinguishing between class membership and class inclusion? Some commentators like Vlastos and Ackrill (1963, 76) criticized Aristotle because he, they believe, did not distinguish between class membership (between species and particulars) and class inclusion (between genera and their species). Having accepted this point, Daniel W. Graham believes it is ‘question-begging in a curious way.’ Phil Corkum thinks that Aristotle employs mereological notions. (This criticism seems so strange because all the Aristotle’s point in distinguishing species 2 from genera is strictly the distinction of class membership and class inclusion as they call them so. (shrink)

In 1753, the Berlin Academy announced that the focus of the prize essay contest of 1755 would be optimism, with entrants required (among other things) ‘to put forward arguments that will be thought most fitting to confirm or destroy this system’. In line with these instructions, entrants submitted essays that were either pro- or anti-optimism. This was to the dismay of one of the judges of the contest, André-Pierre Le Guay de Prémontval (1716–1764), who had, by his own admission, surreptitiously (...) attempted to influence the entrants by sketching out a ‘middle point’ between the polarized pro- and anti-optimist positions in a series of books published between 1754 and 1755, namely Thoughts on Freedom, The Diogenes of d’Alembert, and On Chance under the Rule of Providence. The aim of this essay is to elucidate and historically contextualize Prémontval’s highly original ‘middle point’, as outlined implicitly in the aforementioned books and much more explicitly in a series of essays published after the essay contest had concluded. (shrink)

The focus of this paper is a suite of Latin papers from 1685, some of which are still unpublished, in which Leibniz writes in the guise of a Catholic in order to defend Catholicism and counter Protestant objections, and this despite him being a lifelong Lutheran. After providing an overview of these writings (which I refer to as Leibniz’s “Catholic” writings) and the grounds for dating them to May–June 1685, I consider their purpose, arguing against the claim that they were (...) intended to support Church reunion and suggesting instead that they were apologetic in nature, intended as a reactivation or reimagining of Leibniz’s earlier “Catholic Demonstrations” project. I identify the patron Leibniz had in mind for these writings as Landgrave Ernst von Hessen-Rheinfels and support this by a detailed comparison of the “Catholic” writings with the Leibniz-Landgrave correspondence and the Landgrave’s still-unpublished essays. This reveals that the Protestant arguments Leibniz uses in the “Catholic” writings are the very ones that he himself used when writing to the Landgrave, and that the responses Leibniz gives to these arguments are the very ones that the Landgrave used. I also consider the context of the writings, suggesting they were crafted during a period of personal uncertainty for Leibniz and possibly aimed at securing a position under the Landgrave. (shrink)

Gottfried Wilhelm Leibniz (1646–1716) was a universal genius, making original contributions to law, mathematics, philosophy, politics, languages, and many areas of science, including what we would now call physics, biology, chemistry, and geology. By profession he was a court counselor, librarian, and historian, and thus much of his intellectual activity had to be fit around his professional duties. Leibniz’s fame and reputation among his contemporaries rested largely on his innovations in the field of mathematics, in particular his discovery of the (...) calculus in 1675. Another of his enduring mathematical contributions was his invention of binary arithmetic, though the significance of this was not recognized until the 20th century. These days, a good proportion of scholarly interest in Leibniz is focused on his philosophy. Among his signature philosophical doctrines are the pre-established harmony, the theory of monads, and the claim that ours is the best of all possible worlds, which forms the central plank of his theodicy. For Leibniz, philosophy was not the discovery of deep truths of interest only to other philosophers, but a practical discipline with the means to increase happiness and well-being. Philosophical truths, he believed, revealed the beauty and rational order of the universe, and the justice and wisdom of its creator, and accordingly could inspire contentment and peace of mind. Leibniz’s other intellectual projects were likewise geared toward the improvement of the human condition. He lobbied tirelessly for the establishment of scientific societies, devised measures to improve public health, and was actively engaged in projects to unite the churches and so end the religious strife that marred the Europe of his day. He was also engaged in politics for much of his career, and often took on a diplomatic role, sometimes officially and other times not. In the political sphere, Leibniz did not wield true power but was a man with influence, obtained in no small part by his cultivation of relationships with leaders and sovereigns both inside and outside Germany. The sheer range of Leibniz’s interests, projects, and activities can make him a difficult figure to study, and the vast quantity of his writings only compounds the problem (around fifty thousand of his writings survive). Nevertheless, even a sampling of Leibniz’s work is enough to get a sense of his vision, originality, and intellectual depth, and good secondary literature will only enhance this. The items in this bibliography were chosen with this in mind. (shrink)

Artificial intelligence (AI) and robotics are digital technologies that will have significant impact on the development of humanity in the near future. They have raised fundamental questions about what we should do with these systems, what the systems themselves should do, what risks they involve, and how we can control these. - After the Introduction to the field (§1), the main themes (§2) of this article are: Ethical issues that arise with AI systems as objects, i.e., tools made and used (...) by humans. This includes issues of privacy (§2.1) and manipulation (§2.2), opacity (§2.3) and bias (§2.4), human-robot interaction (§2.5), employment (§2.6), and the effects of autonomy (§2.7). Then AI systems as subjects, i.e., ethics for the AI systems themselves in machine ethics (§2.8) and artificial moral agency (§2.9). Finally, the problem of a possible future AI superintelligence leading to a “singularity” (§2.10). We close with a remark on the vision of AI (§3). - For each section within these themes, we provide a general explanation of the ethical issues, outline existing positions and arguments, then analyse how these play out with current technologies and finally, what policy consequences may be drawn. (shrink)

Edward Feser defends the ‘Aristotelian proof’ for the existence of God, which reasons that the only adequate explanation of the existence of change is in terms of an unchangeable, purely actual being. His argument, however, relies on the falsity of the Existential Inertia Thesis, according to which concrete objects tend to persist in existence without requiring an existential sustaining cause. In this article, I first characterize the dialectical context of Feser’s Aristotelian proof, paying special attention to EIT and its rival (...) thesis—the Existential Expiration Thesis. Next, I provide a more precise characterization of EIT, after which I outline two metaphysical accounts of existential inertia. I then develop new lines of reasoning in favor of EIT that appeal to the theoretical virtues of explanatory power and simplicity. Finally, I address the predominant criticisms of EIT in the literature. (shrink)

Philosophical discussions of gentrification have tended to focus on residential displacement. However, the prevalence of residential displacement is fiercely contested, with many urban geographers regarding it as quite uncommon. This lends some urgency to the underexplored question of how one should evaluate other forms of gentrification. In this paper, I argue that one of the most important harms suffered by victims of displacement gentrification is loss of access to the goods conferred by membership in a thriving local community. Leveraging the (...) social scientific literature, I go on to argue that non-displacement gentrification also often damages local communities. One can hence extend existing philosophical critiques of displacement gentrification to argue that non-displacement gentrification likewise poses a threat to relational equality, and often violates certain basic occupancy rights. Focusing on the value that inheres in thriving local communities also suggests some new possibilities for critiquing gentrification. For instance, existing occupancy rights critiques focus on incumbent land users’ interests in stability. However, one can also argue in a Lockean mode that incumbent land users’ occupancy rights are at least partially grounded in their community having laboured together to create objects of value. An extension of Michael Walzer’s theory of justice to incorporate community goods as a separate ‘sphere’ might also have widespread appeal. Taken together, these arguments constitute a sustained and theoretically ecumenical case for the pro tanto moral objectionability of gentrification. (shrink)

The first collection of Leibniz's key writings on the binary system, newly translated, with many previously unpublished in any language. -/- The polymath Gottfried Wilhelm Leibniz (1646–1716) is known for his independent invention of the calculus in 1675. Another major—although less studied—mathematical contribution by Leibniz is his invention of binary arithmetic, the representational basis for today's digital computing. This book offers the first collection of Leibniz's most important writings on the binary system, all newly translated by the authors with many (...) previously unpublished in any language. Taken together, these thirty-two texts tell the story of binary as Leibniz conceived it, from his first youthful writings on the subject to the mature development and publication of the binary system. -/- As befits a scholarly edition, Strickland and Lewis have not only returned to Leibniz's original manuscripts in preparing their translations, but also provided full critical apparatus. In addition to extensive annotations, each text is accompanied by a detailed introductory “headnote” that explains the context and content. Additional mathematical commentaries offer readers deep dives into Leibniz's mathematical thinking. The texts are prefaced by a lengthy and detailed introductory essay, in which Strickland and Lewis trace Leibniz's development of binary, place it in its historical context, and chart its posthumous influence, most notably on shaping our own computer age. (shrink)

The paper offers a solution to the generality problem for a reliabilist epistemology, by developing an “algorithm and parameters” scheme for type-individuating cognitive processes. Algorithms are detailed procedures for mapping inputs to outputs. Parameters are psychological variables that systematically affect processing. The relevant process type for a given token is given by the complete algorithmic characterization of the token, along with the values of all the causally relevant parameters. The typing that results is far removed from the typings of folk (...) psychology, and from much of the epistemology literature. But it is principled and empirically grounded, and shows good prospects for yielding the desired epistemological verdicts. The paper articulates and elaborates the theory, drawing out some of its consequences. Toward the end, the fleshed-out theory is applied to two important case studies: hallucination and cognitive penetration of perception. (shrink)

This paper defends the claim that mere temporal proximity always and without exception strengthens certain moral duties, including the duty to save – call this view Robust Temporalism. Although almost all other moral philosophers dismiss Robust Temporalism out of hand, I argue that it is prima facie intuitively plausible, and that it is analogous to a view about special obligations that many philosophers already accept. I also defend Robust Temporalism against several common objections, and I highlight its relevance to a (...) number of practical policy debates, including longtermism. My conclusion is that Robust Temporalism is a moral live option, that deserves to be taken much more seriously in the future. (shrink)

A fresh translation and in-depth commentary of Leibniz's seminal text, the Monadology. -/- Written in 1714, the Monadology is widely considered to be the classic statement of Leibniz's mature philosophy. In the space of 90 numbered paragraphs, totalling little more than 6000 words, Leibniz outlines - and argues for - the core features of his philosophical system. Although rightly regarded as a masterpiece, it is also a very condensed work that generations of students have struggled to understand. -/- Lloyd (...) Strickland presents a new translation of the Monadology, alongside key parts of the Theodicy, and an in-depth, section-by-section commentary that explains in detail not just what Leibniz is saying in the text but also why he says it. The sharp focus on the various arguments and other justifications Leibniz puts forward makes possible a deeper and more sympathetic understanding of his doctrines. (shrink)

Leave logic at the door and prepare to test your creative thinking skills with these 100 brand new lateral thinking puzzles. Each puzzle describes a situation which at first sounds odd or unlikely, and you have to work your way to the answer using creativity, imagination, and intuition. To cater for all ability levels, the 100 puzzles are arranged into Easy, Moderate, and Difficult categories, and a series of hints is provided for each puzzle to help you along if you (...) get stuck. As lateral thinking puzzles are fun, engaging, and make good icebreakers, they are a perennial favourite at dinner parties, break times, and social evenings. (shrink)

This paper is concerned with Leibniz’s Egypt Plan, written in 1671 and 1672, when Leibniz was in the service of the Elector of Mainz. One of the aims of this paper is to offer a more balanced and plausible reading of the religious benefits of war that Leibniz outlines in his Egypt plan.

In this commentary, I critique three aspects of Emily Walsh's proposal to reduce the moral and legal weight of advance directives: (1) the ambiguity of its initial thesis, (2) its views about the ethics and legality of clinical practice, and (3) its interpretation and application of Ronald Dworkin’s account of advance directives and L.A. Paul's view on transformative experience. I also consider what Walsh’s proposal would mean for people facing the prospect of dementia. I conclude that our reasons to honor (...) many advance directives survive the move to a transformative experience framework. (shrink)

Functional decomposition is an important goal in the life sciences, and is central to mechanistic explanation and explanatory reduction. A growing literature in philosophy of science, however, has challenged decomposition-based notions of explanation. ‘Holists’ posit that complex systems exhibit context-sensitivity, dynamic interaction, and network dependence, and that these properties undermine decomposition. They then infer from the failure of decomposition to the failure of mechanistic explanation and reduction. I argue that complexity, so construed, is only incompatible with one notion of decomposition, (...) which I call ‘atomism’, and not with decomposition writ large. Atomism posits that function ascriptions must be made to parts with minimal reference to the surrounding system. Complexity does indeed falsify atomism, but I contend that there is a weaker, ‘contextualist’ notion of decomposition that is fully compatible with the properties that holists cite. Contextualism suggests that the function of parts can shift with external context, and that interactions with other parts might help determine their context-appropriate functions. This still admits of functional decomposition within a given context. I will give examples based on the notion of oscillatory multiplexing in systems neuroscience. If contextualism is feasible, then holist inferences are faulty—one cannot infer from the presence of complexity to the failure of decomposition, mechanism, and reductionism. (shrink)

This article offers an extensive study of the idea of an animal afterlife in seventeenth-century England. While some have argued that the idea of an animal afterlife became prevalent at the time due to increased awareness of animals’ mental abilities, others have suggested it was due to greater sensitivity to animal suffering and the perceived need to square this suffering with divine justice. I show that both views are incorrect, and that seventeenth-century thinking about an animal afterlife was first and (...) foremost grounded in, and shaped by, speculations about end times and the restored creation based on a literal reading of a key passage in Paul’s letter to the Romans (8:19–22), which thus served as the sedes doctrinae throughout the seventeenth century. Lastly, I show that those who entertained a future life for beasts also supposed that animals would have a functional role therein, considering animals as being present in the restored creation to serve some spiritual end rather than as being true beneficiaries in their own right. (shrink)

In my article "Even if the fetus is not a person, abortion is immoral: The impairment argument" (this journal), I defended what I called “The impairment argument” which purports to show that abortion is immoral. Bruce Blackshaw (2019) has argued that my argument fails on three accounts. In this article, I respond to his criticisms.

Deception, like coercion, can invalidate the moral force of consent. In the sexual domain, when someone is deceived about some feature of their partner, knowledge of which would be dispositive of their decision to have sex – a dealbreaker – the moral validity of their consent is undermined. I argue that in order to determine whether someone has discharged their duties of disclosure in the sexual domain, we should ask whether, upon receiving a token of consent to sex, they have (...) a justified belief that their partner would consent to the sexual encounter given all the features that it has. I argue that whether an agent has a justified belief in this proposition is a function of the agent’s body of evidence and which alternatives uneliminated. (shrink)

Long-standing neglect of the chemical senses in the philosophy of perception is due, mostly, to their being regarded as ‘lower’ senses. Smell, taste, and chemically irritated touch are thought to produce mere bodily sensations. However, empirically informed theories of perception can show how these senses lead to perception of objective properties, and why they cannot be treated as special cases of perception modelled on vision. The senses of taste, touch, and smell also combine to create unified perceptions of flavour. The (...) nature of these multimodal experiences and the character of our awareness of them puts pressure on the traditional idea that each episode of perception goes one or other of the five senses. Thus, the chemical senses, far from being peripheral to the concerns of the philosophy of perception, may hold important clues to the multisensory nature of perception in general. (shrink)

Moral latitude is only ever a matter of coincidence on the most popular decision procedure in the literature on moral uncertainty. In all possible choice situations other than those in which two or more options happen to be tied for maximal expected choiceworthiness, Maximize Expected Choiceworthiness implies that only one possible option is uniquely appropriate. A better theory of appropriateness would be more sensitive to the decision maker’s credence in theories that endorse agent-centred prerogatives. In this paper, we will develop (...) and defend a modified version of this view that allows for agent-centred prerogatives and supererogation as part of its verdicts about appropriateness. (shrink)

Inspired by recent breakthroughs in predictive modeling, practitioners in both industry and government have turned to machine learning with hopes of operationalizing predictions to drive automated decisions. Unfortunately, many social desiderata concerning consequential decisions, such as justice or fairness, have no natural formulation within a purely predictive framework. In efforts to mitigate these problems, researchers have proposed a variety of metrics for quantifying deviations from various statistical parities that we might expect to observe in a fair world and offered a (...) variety of algorithms in attempts to satisfy subsets of these parities or to trade o the degree to which they are satised against utility. In this paper, we connect this approach to fair machine learning to the literature on ideal and non-ideal methodological approaches in political philosophy. The ideal approach requires positing the principles according to which a just world would operate. In the most straightforward application of ideal theory, one supports a proposed policy by arguing that it closes a discrepancy between the real and the perfectly just world. However, by failing to account for the mechanisms by which our non-ideal world arose, the responsibilities of various decision-makers, and the impacts of proposed policies, naive applications of ideal thinking can lead to misguided interventions. In this paper, we demonstrate a connection between the fair machine learning literature and the ideal approach in political philosophy, and argue that the increasingly apparent shortcomings of proposed fair machine learning algorithms reflect broader troubles faced by the ideal approach. We conclude with a critical discussion of the harms of misguided solutions, a reinterpretation of impossibility results, and directions for future research. (shrink)

Artificial intelligence research and regulation seek to balance the benefits of innovation against any potential harms and disruption. However, one unintended consequence of the recent surge in AI research is the potential re-orientation of AI technologies to facilitate criminal acts, term in this article AI-Crime. AIC is theoretically feasible thanks to published experiments in automating fraud targeted at social media users, as well as demonstrations of AI-driven manipulation of simulated markets. However, because AIC is still a relatively young and inherently (...) interdisciplinary area—spanning socio-legal studies to formal science—there is little certainty of what an AIC future might look like. This article offers the first systematic, interdisciplinary literature analysis of the foreseeable threats of AIC, providing ethicists, policy-makers, and law enforcement organisations with a synthesis of the current problems, and a possible solution space. (shrink)

There is a widespread belief that for their own safety and for the protection of wildlife, cats should be permanently kept indoors. Against this view, I argue that cat guardians have a duty to provide their feline companions with outdoor access. The argument is based on a sophisticated hedonistic account of animal well-being that acknowledges that the performance of species-normal ethological behavior is especially pleasurable. Territorial behavior, which requires outdoor access, is a feline-normal ethological behavior, so when a cat is (...) permanently confined to the indoors, her ability to flourish is impaired. Since cat guardians have a duty not to impair the well-being of their cats, the impairment of cat flourishing via confinement signifies a moral failing. Although some cats assume significant risks and sometimes kill wild animals when roaming outdoors, these important considerations do not imply that all cats should be deprived of the opportunity to access the outdoors. Indeed, they do not, by themselves, imply that any cat should be permanently kept indoors. (shrink)

Libertarianism—and classical liberalism generally—entails (or presupposes) a specific, but implicit, conception of liberty. Imagine two lists of property-rights: one list is all those that currently appear to be libertarian (self-ownership, property acquired by use of natural resources, property acquired by consensual exchange, etc.); the other list is all those that currently appear not to be libertarian (aggressively imposed slavery, property acquired by theft or fraud, property acquired by coerced transfers due to welfare claims, etc.). What determines into which list a (...) property-right is to be assigned? If libertarianism is really about liberty, then the determining factor must be whether the property-right somehow fits what liberty is in a more abstract sense than property. It greatly clarifies matters to have an explicit theory of this entailed conception of abstract liberty and how it relates to its practical application and to morality. (shrink)

Traditionally, logic has been the dominant formal method within philosophy. Are logical methods still dominant today, or have the types of formal methods used in philosophy changed in recent times? To address this question, we coded a sample of philosophy papers from the late 2000s and from the late 2010s for the formal methods they used. The results indicate that the proportion of papers using logical methods remained more or less constant over that time period but the proportion of papers (...) using probabilistic methods was approximately three times higher in the late 2010s than it was in the late 2000s. Further analyses explored this change by looking more closely at specific methods, specific levels of technical engagement, and specific subdisciplines within philosophy. These analyses indicate that the increasing proportion of papers using probabilistic methods was pervasive, not confined to particular probabilistic methods, levels of sophistication, or subdisciplines. (shrink)

The use of the symbol ∨for disjunction in formal logic is ubiquitous. Where did it come from? The paper details the evolution of the symbol ∨ in its historical and logical context. Some sources say that disjunction in its use as connecting propositions or formulas was introduced by Peano; others suggest that it originated as an abbreviation of the Latin word for “or,” vel. We show that the origin of the symbol ∨ for disjunction can be traced to Whitehead and (...) Russell’s pre-Principia work in formal logic. Because of Principia’s influence, its notation was widely adopted by philosophers working in logic (the logical empiricists in the 1920s and 1930s, especially Carnap and early Quine). Hilbert’s adoption of ∨ in his Grundzüge der theoretischen Logik guaranteed its widespread use by mathematical logicians. The origins of other logical symbols are also discussed. (shrink)