Philosophical work on explanation has focused on the following two topics: theories of explanation, intended to enumerate necessary and sufficient conditions for explanation, and inference to the best explanation as the strongest form of justification for ontological or metaphysical claims. I critically examine the most important philosophical work in both of these areas and defend my own conclusions about the connections between explanation and ontology. I argue that all of our inferences about the nature of the world, in (...) class='Hi'>ontology or metaphysics, presuppose criteria for acceptable explanation. I first examine the metaphysics of Plato, Aristotle, and Leibniz, arguing that their metaphysical reasoning was guided by assumptions about the nature of explanation. I also survey some recent work in ontology and find inference to the best explanation offered as the strongest available method of defending existence claims. To conclude this discussion, I offer an original argument for the thesis that all reasoning about existence claims, being nondeductive, presupposes some criteria for acceptable explanations, or a theory of explanation. Carl Hempel and Wesley Salmon have been two of the most influential philosophers offering theories of explanation, and I examine their work with the intention of discovering ontological or metaphysical assumptions shaping their theories of explanation. I argue that Hempel's theory rests on deterministic assumptions, and I argue the Salmon's theory of causality, which he admits supports his theory of explanation, is subject to empiricist criticisms. Theories of explanation typically rest on assumptions about the nature of the world, I argue, and I explain why this is so with an original theory of explanation connecting it to the psychological phenomenon of understanding. We rely on understanding in the identification of explanations, and understanding requires establishing a metaphysical context for an explanandum-event. I end by indicating the possibility of generating vicious justificatory circles through the reciprocal relationship of support between explanation and ontology, and I argue that vicious circles can be avoided only by grounding all ontological reasoning in a fundamental explanatory task of giving order to experience through a system of categories. (shrink)

We present some ideas on logical process descriptions, using relations from the DIO (Drug Interaction Ontology) as examples and explaining how these relations can be naturally decomposed in terms of more basic structured logical process descriptions using terms from linear logic. In our view, the process descriptions are able to clarify the usual relational descriptions of DIO. In particular, we discuss the use of logical process descriptions in proving linear logical theorems. Among the types of reasoning supported by (...) DIO one can distinguish both (1) basic reasoning about general structures in reality and (2) the domain-specific reasoning of experts. We here propose a clarification of this important distinction between (realist) reasoning on the basis of an ontology and rule-based inferences on the basis of an expert’s view. (shrink)

Epistemic reasons are mental states. They are not propositions or non-mental facts. The discussion proceeds as follows. Section 1 introduces the topic. Section 2 gives two concrete examples of how our topic directly affects the internalism/externalism debate in normative epistemology. Section 3 responds to an argument against the view that reasons are mental states. Section 4 presents two problems for the view that reasons are propositions. Section 5 presents two problems for the view that reasons are non-mental facts. Section 6 (...) argues that reasons are mental states. Section 7 responds to objections. (shrink)

The question of how we come to accept new theories is a central area of inquiry in scientonomic discourse. However, there has yet to be a formal discussion of the subjective reasons an agent may have for accepting theories. This paper explores these epistemic reasons and constructs a historically sensitive definition of reason. This formulation takes an abstractionist stance towards the ontology of reasons and makes use of a composite basing relation. The descriptive and normative components of reasons are (...) fully formulated in scientonomic terms through the application of the newly introduced notion of implication, and its separation from the notion of inference. In addition, the paper provides scientonomic definitions for sufficient reason, support, and normative inference. The fruitfulness of this formulation of reasons is illustrated by a few examples. (shrink)

Chains of causes appear when the existence of God is discussed. It is claimed by some that these chains must be finite and terminated by God. But these chains seem endless through our knowledge search. This endlessness for the physical reasons for any world event expresses the greatness and complexity of God’s creation and so the transcendence of God. So, only we can put our hands on physical reasons in an endless forage for knowledge. Yet, the endlessness of the physical (...) causes chains confirms the existence of God, and this is what our paper tries using Zorn’s lemma, an equivalent for one of the most celebrated axioms of mathematics, the Axiom of Choice. (shrink)

The purpose of this paper is to analyze the theoretical commitments of autopoietic enactivism in relation to Errol E Harris’s dialectical holism in the interest of establishing a common metaphysical ground. This will be undertaken in three stages. First, it is argued that Harris’s reasoning provides a means of developing enactivist ontology beyond discussions limited to cognitive science and into domains of metaphysics that have traditionally been avoided by phenomenologists. Here, I maintain enactivist commitments are consistent with Harris’s (...) reasoning from certain synthetic a priori first principles, to his derivation of a teleological anthropic principle, which asserts the necessity of consciousness within the cosmos. Second, it is proposed that Steven Rosen’s long-standing proposal for a topology of phenomenology may provide a common logical foundation for both Harris and enactivists regarding anthropic reasoning. Third, it is argued that a pragmatic approach to process ontology is the most rigorous way of responding to the realism/anti-realism concerns that inevitably follow. If successful, this work will update Harris’s arguments with contemporary scientific and philosophical terminology and extend enactivism from philosophy of mind, into a general phenomenological ontology. (shrink)

Ontological pluralism is the view that there are different ways to exist. It is a position with deep roots in the history of philosophy, and in which there has been a recent resurgence of interest. In contemporary presentations, it is stated in terms of fundamental languages: as the view that such languages contain more than one quantifier. For example, one ranging over abstract objects, and another over concrete ones. A natural worry, however, is that the languages proposed by the pluralist (...) are mere notational variants of those proposed by the monist, in which case the debate between the two positions would not seem to be substantive. Jason Turner has given an ingenious response to this worry, in terms of a principle that he calls ‘logical realism’. This paper offers a counter-response on behalf of the ‘notationalist’. I argue that, properly applied, the principle of logical realism is no threat to the claim that the languages in question are notational variants. Indeed, there seems to be every reason to think that they are. (shrink)

A startling amount of intelligent activity can be controlled without reasoning or thought. By tuning the perceptual system to task relevant properties a creature can cope with relatively sophisticated environments without concepts. There is a limit, however, to how far a creature without concepts can go. Rod Brooks, like many ecologically oriented scientists, argues that the vast majority of intelligent behaviour is concept-free. To evaluate this position I consider what special benefits accrue to concept-using creatures. Concepts are either necessary (...) for certain types of perception, learning, and control, or they make those processes computationally simpler. Once a creature has concepts its capacities are vastly multiplied. (shrink)

A discussion of epistemic reasons, theoretical rationality, and the relationship between them. Discusses the ontology of reasons and evidence, the relationship between reasons (motivating, normative, possessed, apparent, genuine, etc.) and rationality, the relationship between epistemic reasons and evidence, the relationship between rationality, justification, and knowledge, and many other related topics.

Formal ontologies are nowadays widely considered a standard tool for knowledge representation and reasoning in the Semantic Web. In this context, they are expected to play an important role in helping automated processes to access information. Namely: they are expected to provide a formal structure able to explicate the relationships between different concepts/terms, thus allowing intelligent agents to interpret, correctly, the semantics of the web resources improving the performances of the search technologies. Here we take into account a problem (...) regarding Knowledge Representation in general, and ontology based representations in particular; namely: the fact that knowledge modeling seems to be constrained between conflicting requirements, such as compositionality, on the one hand and the need to represent prototypical information on the other. In particular, most common sense concepts seem not to be captured by the stringent semantics expressed by such formalisms as, for example, Description Logics (which are the formalisms on which the ontology languages have been built). The aim of this work is to analyse this problem, suggesting a possible solution suitable for formal ontologies and semantic web representations. The questions guiding this research, in fact, have been: is it possible to provide a formal representational framework which, for the same concept, combines both the classical modelling view (accounting for compositional information) and defeasible, prototypical knowledge ? Is it possible to propose a modelling architecture able to provide different type of reasoning (e.g. classical deductive reasoning for the compositional component and a non monotonic reasoning for the prototypical one)? We suggest a possible answer to these questions proposing a modelling framework able to represent, within the semantic web languages, a multilevel representation of conceptual information, integrating both classical and non classical (typicality based) information. Within this framework we hypothesise, at least in principle, the coexistence of multiple reasoning processes involving the different levels of representation. (shrink)

For Francisco Suárez, beings of reason are non-existent objects that we can think about, objects like goat-stags and round squares. The first section of the fifty-fourth of Suárez’s Metaphysical Disputations is about the ontological status of beings of reason. Suárez’s view has been the subject of disagreement in the literature because he sometimes says that there are beings of reason, and he sometimes says there are not. In this paper, I argue for and explain an ontological pluralist reading of Suárez. (...) Ontological pluralism is the claim that there is more than one way of being. I distinguish between two varieties of ontological pluralism, strict and non-strict, and argue that Suárez endorsed the latter. In the contemporary literature, it is sometimes alleged that ontological pluralism is an idle hypothesis, unintelligible or philosophically vacuous. I argue that Suárez has a response to this objection in his argument against ontological monism. (shrink)

I offer an analysis of the Principle of Sufficient Reason and its relevancy for the scientific endeavour. I submit that the world is not, and cannot be, rational—only some brained beings are. The Principle of Sufficient Reason is not a necessary truth nor a physical law. It is just a guiding metanomological hypothesis justified a posteriori by its success in helping us to unveil the mechanisms that operate in Nature.

Ontology is the philosophical discipline which aims to understand how things in the world are divided into categories and how these categories are related together. This is exactly what information scientists aim for in creating structured, automated representations, called 'ontologies,' for managing information in fields such as science, government, industry, and healthcare. Currently, these systems are designed in a variety of different ways, so they cannot share data with one another. They are often idiosyncratically structured, accessible only to those (...) who created them, and unable to serve as inputs for automated reasoning. This volume shows, in a nontechnical way and using examples from medicine and biology, how the rigorous application of theories and insights from philosophical ontology can improve the ontologies upon which information management depends. (shrink)

What is the role of the principle of sufficient reason in Baruch Spinoza’s ontological proof for God’s existence? Is this role identical within Spinoza’s early work on method, the Treatise on the Emendation of the Intellect, and his magnum opus, the Ethics? This paper argues affirmatively that the methodology employed within the Ethics is consonant with that method found within the Treatise, and this claim is substantiated through an engagement with the influential works of Don Garrett and Aaron Garrett. It (...) is also demonstrated through an original reconstruction of the Treatise itself. In this reconstruction, basic premises are identified which can validly prove Spinoza’s intended conclusion of substance monism. It is finally determined that what the Treatise and the Ethics share, specifically, is a methodology which begins with non-nominal definitions that denote the real, sufficient causes of their respective objects. However, at certain junctures, this methodology is expressed with greater consistency within the Treatise as opposed to within the Ethics. Evidence for this will be provided from the primary texts themselves and from the subsequent analyses of Don Garrett and Aaron Garret as well. (shrink)

Bio-ontologies are essential tools for accessing and analyzing the rapidly growing pool of plant genomic and phenomic data. Ontologies provide structured vocabularies to support consistent aggregation of data and a semantic framework for automated analyses and reasoning. They are a key component of the Semantic Web. This paper provides background on what bio-ontologies are, why they are relevant to botany, and the principles of ontology development. It includes an overview of ontologies and related resources that are relevant to (...) plant science, with a detailed description of the Plant Ontology (PO). We discuss the challenges of building an ontology that covers all green plants (Viridiplantae). Key results: Ontologies can advance plant science in four keys areas: 1. comparative genetics, genomics, phenomics, and development, 2. taxonomy and systematics, 3. semantic applications and 4. education. Conclusions: Bio-ontologies offer a flexible framework for comparative plant biology, based on common botanical understanding. As genomic and phenomic data become available for more species, we anticipate that the annotation of data with ontology terms will become less centralized, while at the same time, the need for cross-species queries will become more common, causing more researchers in plant science to turn to ontologies. (shrink)

According to standard trope nominalism, there are simple tropes that do not have parts or multiply distinct aspects. Douglas Ehring’s reductio ad absurdum against this standard view concludes that there are no simple tropes. In this paper, we provide a response to Ehring defending the standard view. Ehring’s argument may be refuted by (1) distinguishing the ontological form of tropes from their contribution to the ontological content of the world, and (2) construing tropes as having primitive identity. At the same (...) time, standard trope nominalism is elaborated on by distinguishing between ontological form and content, for which there are also independent reasons. (shrink)

I argue that the most promising approach to understanding J.J. Gibson's "affordances" takes affordances themselves as ontological primitives, instead of treating them as dispositional properties of more primitive things, events, surfaces, or substances. These latter are best treated as coalescences of affordances present in the environment (or "coalescences of use-potential," as in Sanders (1994) and Hilditch (1995)). On this view, even the ecological approach's stress on the complementary organism/environment pair is seen as expressing a particular affordance relation between the world (...) and the analyst. That the world is parsed in any way among events and objects, perceivers and worlds, etc., reflects equally features of certain real or possible perspectives on the world and features of the world itself. In section 1, I begin by contending that, contrary to the apparent expectations of some in the field, the bare existence of affordances is surely quite uncontroversial. In section 2, I argue that the most reasonable approach to foundational ontology is a relativistic one. In section 3, I address the claim that affordances must be ontologically complemented by effectivities for the sake of completeness, and I shall argue against that claim on grounds that I take to reflect some of Gibson's most important insights. This work will help to clarify the way affordances are to be used in the fourth and final section, where I argue that ontological work, even within special sciences, should not be merely "regional," and that the most attractive general approach to ontological questions is one that is based on affordances, rather than upon things, events, surfaces, and the like. (shrink)

How does the critical Kant view ontology? There is no shared scholarly answer to this question. Norbert Hinske sees in the Critique of Pure Reason a “farewell to ontology,” albeit one that took Kant long to bid (Hinske 2009). Karl Ameriks has found evidence in Kant’s metaphysics lectures from the critical period that he “was unwilling to break away fully from traditional ontology” (Ameriks 1992: 272). Gualtiero Lorini argues that a decisive break with the tradition of (...) class='Hi'>ontology is essential to Kant’s critical reform of metaphysics, as is reflected in his shift from “ontology” to “transcendental philosophy,” two notions that Lorini takes to be related by mere “analogy” (Lorini 2015). I agree with Lorini that a thorough reform of ontology is a pivotal part of Kant’s critical plan for metaphysics and that ontology somehow “survives within the critical philosophy” (Lorini 2015: 76). To make this case, however, I deem it important to identify “ontology” and “transcendental philosophy” in the sense of extensional equivalence. While we can detect this identification in Kant’s writings, only from his metaphysics lectures can we get a full sense of its historical and philosophical significance. In this chapter I focus on how it represents a definitive turn from as well as notable continuity with traditional treatments of ontology, particularly the Wolffian one. (shrink)

This paper motivates taking seriously the possibility that brains are basically protean: that they make use of neural structures in inventive, on-the-fly improvisations to suit circumstance and context. Accordingly, we should not always expect cognition to divide into functionally stable neural parts and pieces. We begin by reviewing recent work in cognitive ontology that highlights the inadequacy of traditional neuroscientific approaches when it comes to divining the function and structure of cognition. Cathy J. Price and Karl J. Friston, and (...) Colin Klein identify the limitations of relying on forward and reverse inferences to cast light on the relation between cognitive functions and neural structures. There is reason to prefer Klein’s approach to that of Price and Friston’s. But Klein’s approach is neurocentric - it assumes that we ought to look solely at neural contexts to fix cognitive ontology. Using recent work on mindreading as a case study, we motivate adopting a radically different approach to cognitive ontology. Promoting the Protean Brain Hypothesis, we posit the possibility that we may need to look beyond the brain when deciding which functions are being performed in acts of cognition and in understanding how the brain contributes to such acts by adapting to circumstance. (shrink)

If there is something (P) that every possible agent is committed to value, and certain actions or attitudes either enhance or diminish P, then normative claims about a range of intentional actions can be objectively and non-trivially evaluated. I argue that the degree of existence as an agent depends on the consistency of reflexive-relating with other individuals of the agent-kind: the ontological thesis. I then show that in intending to act on a reason, every agent is rationally committed to value (...) ‘above all else’ being an agent, what consists in exercising the capacity to act and having the freedom to discriminate between more or less valuable actions: the transcendental thesis. Since the degree of possession of this personal but non-contingent good depends on relating to other agents in a special way, certain actions and attitudes may be objectively right or wrong for all agents. (shrink)

We describe a prototype ontology-driven information system (ODIS) that exploits what we call Portion of Reality (POR) representations. The system takes both sensor data and natural language text as inputs and composes on this basis logically structured POR assertions. The goal of our prototype is to represent both natural language and sensor data within a single framework that is able to support both axiomatic reasoning and computation. In addition, the framework should be capable of discovering and representing new (...) kinds of situations and thematic roles, (e.g., roles such as agent, patient and instrument), based on new compositions of existing representations. We applied our prototype in an intelligence analysis use case to test the hypothesis that a framework of this sort can produce usefully structured information from combined natural language and sensor data inputs. We further tested our hypothesis by adding an enhanced US Air Force ontology framework to our ODIS in order to (1) process a collection of sensor data, intel reports, and mission plans; (2) build composite POR representations from these data; and (3) machine analyze the fused results to infer mission threats. (shrink)

Software application ontologies have the potential to become the keystone in state-of-the-art information management techniques. It is expected that these ontologies will support the sort of reasoning power required to navigate large and complex terminologies correctly and efficiently. Yet, there is one problem in particular that continues to stand in our way. As these terminological structures increase in size and complexity, and the drive to integrate them inevitably swells, it is clear that the level of consistency required for such (...) navigation will become correspondingly difficult to maintain. While descriptive semantic representations are certainly a necessary component to any adequate ontology-based system, so long as ontology engineers rely solely on semantic information, without a sound ontological theory informing their modeling decisions, this goal will surely remain out of reach. In this paper we describe how Language and Computing nv (L&C), along with The Institute for Formal Ontology and Medical Information Sciences (IFOMIS), are working towards developing and implementing just such a theory, combining the open software architecture of L&C’s LinkSuiteTM with the philosophical rigor of IFOMIS’s Basic Formal Ontology. In this way we aim to move beyond the more or less simple controlled vocabularies that have dominated the industry to date. (shrink)

In recent work, the interrelated questions of whether there is a fundamental level to reality, whether ontological dependence must have an ultimate ground, and whether the monist thesis should be endorsed that the whole universe is ontologically prior to its parts have been explored with renewed interest. Jonathan Schaffer has provided arguments in favour of 'priority monism' in a series of articles (2003, 2004, 2007a, 2007b, forthcoming). In this paper, these arguments are analysed, and it is claimed that they are (...) not compelling: in particular, the possibility that there is no ultimate level of basic entities that compose everything else is on a par with the possibility of infinite 'upward' complexity. The idea that we must, at any rate, postulate an ontologically fundamental level for methodological reasons ( Cameron 2008 ) is also discussed and found unconvincing: all things considered, there may be good reasons for endorsing 'metaphysical infinitism'. In any event, a higher degree of caution in formulating metaphysical claims than found in the extant literature appears advisable. (shrink)

Since 2002 we have been testing and refining a methodology for ontology development that is now being used by multiple groups of researchers in different life science domains. Gary Merrill, in a recent paper in this journal, describes some of the reasons why this methodology has been found attractive by researchers in the biological and biomedical sciences. At the same time he assails the methodology on philosophical grounds, focusing specifically on our recommendation that ontologies developed for scientific purposes should (...) be constructed in such a way that their terms are seen as referring to what we call universals or types in reality. As we show, Merrill’s critique is of little relevance to the success of our realist project, since it not only reveals no actual errors in our work but also criticizes views on universals that we do not in fact hold. However, it nonetheless provides us with a valuable opportunity to clarify the realist methodology, and to show how some of its principles are being applied, especially within the framework of the OBO (Open Biomedical Ontologies) Foundry initiative. (shrink)

Increasingly, the high throughput technologies used by biomedical researchers are bringing about a situation in which large bodies of data are being described using controlled structured vocabularies—also known as ontologies—in order to support the integration and analysis of this data. Annotation of data by means of ontologies is already contributing in significant ways to the cumulation of scientific knowledge and, prospectively, to the applicability of cross-domain algorithmic reasoning in support of scientific advance. This very success, however, has led to (...) a proliferation of ontologies of varying scope and quality. We define one strategy for achieving quality assurance of ontologies—a plan of action already adopted by a large community of collaborating ontologists—which consists in subjecting ontologies to a process of peer review analogous to that which is applied to scientific journal articles. (shrink)

In recent years, there has been an increasing interest in thedevelopment of ontologically well-founded conceptual models for Information Systems in areas such as Service Management, Accounting Information Systems and Financial Reporting. Economic exchanges are central phenomena in these areas. For this reason, they occupy a prominent position in modelling frameworks such as the REA (Resource-EventAction) ISO Standard as well as the FIBO (Financial Industry BusinessOntology). In this paper, we begin a well-founded ontological analysisof economic exchanges inspired by a recent ontological (...) view on the nature of economic transactions. According to this view, what counts asan economic transaction is based on an agreement on the actions thatthe agents are committed to perform. The agreement is in turn based on convergent preferences about the course of action to bring about. This view enables a unified treatment of economic exchanges, regardless the object of the transaction, and complies with the view that all economictransactions are about services. In this paper, we start developing our analysis in the framework of the Unified Foundational Ontology (UFO). (shrink)

This introduction to the second international conference on Formal Ontology and Information Systems presents a brief history of ontology as a discipline spanning the boundaries of philosophy and information science. We sketch some of the reasons for the growth of ontology in the information science field, and offer a preliminary stocktaking of how the term ‘ontology’ is currently used. We conclude by suggesting some grounds for optimism as concerns the future collaboration between philosophical ontologists and information (...) scientists. (shrink)

The essay argues that while there is no general agreement on whether moral realism is true, there is general agreement on at least some of the moral obligations that we have if moral realism is true. Given that moral realism might be true, and given that we know some of the things we ought to do if it is true, we have a reason to do those things. Furthermore, this reason is itself an objective moral reason. Thus, if moral realism (...) might be true, then it is true. (shrink)

The central hypothesis of the collaboration between Language and Computing (L&C) and the Institute for Formal Ontology and Medical Information Science (IFOMIS) is that the methodology and conceptual rigor of a philosophically inspired formal ontology greatly benefits application ontologies. To this end r®, L&C’s ontology, which is designed to integrate and reason across various external databases simultaneously, has been submitted to the conceptual demands of IFOMIS’s Basic Formal Ontology (BFO). With this project we aim to move (...) beyond the level of controlled vocabularies to yield an ontology with the ability to support reasoning applications. Our general procedure has been the implementation of a meta-ontological definition space in which the definitions of all the concepts and relations in LinKBase® are standardized in a framework of first-order logic. In this paper we describe how this standardization has already led to an improvement in the LinKBase® structure that allows for a greater degree of internal coherence than ever before possible. We then show the use of this philosophical standardization for the purpose of mapping external databases to one another, using LinKBase® as translation hub, with a greater degree of success than possible hitherto. We demonstrate how this offers a genuine advance over other application ontologies that have not submitted themselves to the demands of philosophical scrutiny. LinKBase® is one of the world’s largest applications-oriented medical domain ontologies, and BFO is one of the world’s first philosophically driven reference ontologies. The collaboration of the two thus initiates a new phase in the quest to solve the so-called “Tower of Babel”. (shrink)

PLEASE NOTE: This is the corrected 2nd eBook edition, 2021. ●●●●● _Critique of Impure Reason_ has now also been published in a printed edition. To reduce the otherwise high price of this scholarly, technical book of nearly 900 pages and make it more widely available beyond university libraries to individual readers, the non-profit publisher and the author have agreed to issue the printed edition at cost. ●●●●● The printed edition was released on September 1, 2021 and is now available through (...) all booksellers, including Barnes & Noble, Amazon, and brick-and-mortar bookstores under ISBN 978-0-578-88646-6. ●●●●● In light of the length of this book, readers who would like to have a more detailed description of the book's objectives and method may find it helpful to read the detailed and clearly written Wikipedia entry about this work: From the Wikipedia search page, use the search phrase "Critique of Impure Reason". At least at the time of this writing (11/29/2021), the Wikipedia entry is well-researched and accurate. ●●●●● In addition, a "Primer on Bartlett's CRITIQUE OF IMPURE REASON" has been made available by the author. It is available under its title through PhilPapers and other philosophy online archives. ●●●●● COMMENDATIONS OF THIS WORK, from the back cover of the published edition: ●●●●● “I admire its range of philosophical vision.” – Nicholas Rescher, Distinguished University Professor of Philosophy, University of Pittsburgh, author of more than 100 books. ●●●●● “Bartlett’s _Critique of Impure Reason_ is an impressive, bold, and ambitious work. Careful scholarship is balanced by original analyses that lead the reader to recognize the limits of meaning, knowledge, and conceptual possibility. The work addresses a host of traditional philosophical problems, among them the nature of space, time, causality, consciousness, the self, other minds, ontology, free will and determinism, and others. The book culminates in a fascinating and profound new understanding of relativity physics and quantum theory.” – Gerhard Preyer, Professor of Philosophy, Goethe-University, Frankfurt am Main, Germany, author of many books including _Concepts of Meaning_, _Beyond Semantics and Pragmatics_, _Intention and Practical Thought_, and _Contextualism in Philosophy_. ●●●●● “[This work’s] goal is of a unique and difficult species: Dr. Bartlett seeks to develop a formal logical calculus on the basis of transcendental philosophical arguments; in fact, he hopes that this calculus will be the formal expression of the transcendental foundation of knowledge.... I consider Dr. Bartlett’s work soundly conceived and executed with great skill.” – C. F. von Weizsäcker, philosopher and physicist, former Director, Max-Planck-Institute, Starnberg, Germany. ●●●●● “Bartlett has written an American “Prolegomena to All Future Metaphysics.” He aims rigorously to eliminate meaningless assertions, reach bedrock, and place philosophy on a firm foundation that will enable it, like science and mathematics, to produce lasting results that generations to come can build on. This is a great book, the fruit of a lifetime of research and reflection, and it deserves serious attention.” — Martin X. Moleski, former Professor, Canisius College, Buffalo, NY, studies of scientific method, the presuppositions of thought, and the self-referential nature of epistemology. ●●●●● “Bartlett has written a book on what might be called the underpinnings of philosophy. It has fascinating depth and breadth, and is all the more striking due to its unifying perspective based on the concepts of reference and self-reference.” – Don Perlis, Professor of Computer Science, University of Maryland, author of numerous publications on self-adjusting autonomous systems and philosophical issues concerning self-reference, mind, and consciousness. ●●●●● ●●●●● The _Critique of Impure Reason: Horizons of Possibility and Meaning_ comprises a major and important contribution to philosophy. Thanks to the generosity of its publisher, this massive 885-page volume has been published as a free open access eBook (3.75MB) as well as an open access printed edition. It inaugurates a revolutionary paradigm shift in philosophical thought by providing compelling and long-sought-for solutions to a wide range of philosophical problems. In the process, the work fundamentally transforms the way in which the concepts of reference, meaning, and possibility are understood. The book includes a Foreword by the celebrated German philosopher and physicist Carl Friedrich von Weizsäcker. ●●●●● In Kant’s _Critique of Pure Reason_ we find an analysis of the preconditions of experience and of knowledge. In contrast, but yet in parallel, the new _Critique_ focuses upon the ways—unfortunately very widespread and often unselfconsciously habitual—in which many of the concepts that we employ _conflict_ with the very preconditions of meaning and of knowledge. ●●●●● This is a book about the boundaries of frameworks and about the unrecognized conceptual confusions in which we become entangled when we attempt to transgress beyond the limits of the possible and meaningful. We tend either not to recognize or not to accept that we all-too-often attempt to trespass beyond the boundaries of the frameworks that make knowledge possible and the world meaningful. ●●●●● The _Critique of Impure Reason_ proposes a bold, ground-breaking, and startling thesis: that a great many of the major philosophical problems of the past can be solved through the recognition of a viciously deceptive form of thinking to which philosophers as well as non-philosophers commonly fall victim. For the first time, the book advances and justifies the criticism that a substantial number of the questions that have occupied philosophers fall into the category of “impure reason,” violating the very conditions of their possible meaningfulness. ●●●●● The purpose of the study is twofold: first, to enable us to recognize the boundaries of what is referentially forbidden—the limits beyond which reference becomes meaningless—and second, to avoid falling victims to a certain broad class of conceptual confusions that lie at the heart of many major philosophical problems. As a consequence, the boundaries of _possible meaning_ are determined. ●●●●● Bartlett, the author or editor of more than 20 books, is responsible for identifying this widespread and delusion-inducing variety of error, _metalogical projection_. It is a previously unrecognized and insidious form of erroneous thinking that undermines its own possibility of meaning. It comes about as a result of the pervasive human compulsion to seek to transcend the limits of possible reference and meaning. ●●●●● Based on original research and rigorous analysis combined with extensive scholarship, the _Critique of Impure Reason_ develops a self-validating method that makes it possible to recognize, correct, and eliminate this major and pervasive form of fallacious thinking. In so doing, the book provides at last provable and constructive solutions to a wide range of major philosophical problems. ●●●●● CONTENTS AT A GLANCE ▪▪▪▪▪ Preface ▪▪▪▪▪ Foreword by Carl Friedrich von Weizsäcker ▪▪▪▪▪ Acknowledgments ▪▪▪▪▪ Avant-propos: A philosopher’s rallying call ▪▪▪▪▪ Introduction ▪▪▪▪▪ A note to the reader ▪▪▪▪▪ A note on conventions ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART I ▪▪▪▪▪ ▪▪▪▪▪ WHY PHILOSOPHY HAS MADE NO PROGRESS AND HOW IT CAN ▪▪▪▪▪ 1 Philosophical-psychological prelude ▪▪▪▪▪ 2 Putting belief in its place: Its psychology and a needed polemic ▪▪▪▪▪ 3 Turning away from the linguistic turn: From theory of reference to metalogic of reference ▪▪▪▪▪ 4 The stepladder to maximum theoretical generality ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART II ▪▪▪▪▪ THE METALOGIC OF REFERENCE ▪▪▪▪▪ A New Approach to Deductive, Transcendental Philosophy ▪▪▪▪▪ 5 Reference, identity, and identification ▪▪▪▪▪ 6 Self-referential argument and the metalogic of reference ▪▪▪▪▪ 7 Possibility theory ▪▪▪▪▪ 8 Presupposition logic, reference, and identification ▪▪▪▪▪ 9 Transcendental argumentation and the metalogic of reference ▪▪▪▪▪ 10 Framework relativity ▪▪▪▪▪ 11 The metalogic of meaning ▪▪▪▪▪ 12 The problem of putative meaning and the logic of meaninglessness ▪▪▪▪▪ 13 Projection ▪▪▪▪▪ 14 Horizons ▪▪▪▪▪ 15 De-projection ▪▪▪▪▪ 16 Self-validation ▪▪▪▪▪ 17 Rationality: Rules of admissibility ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART III ▪▪▪▪▪ PHILOSOPHICAL APPLICATIONS OF THE METALOGIC OF REFERENCE ▪▪▪▪▪ Major Problems and Questions of Philosophy and the Philosophy of Science ▪▪▪▪▪ 18 Ontology and the metalogic of reference ▪▪▪▪▪ 19 Discovery or invention in general problem-solving, mathematics, and physics ▪▪▪▪▪ 20 The conceptually unreachable: “The far side” ▪▪▪▪▪ 21 The projections of the external world, things-in-themselves, other minds, realism, and idealism ▪▪▪▪▪ 22 The projections of time, space, and space-time ▪▪▪▪▪ 23 The projections of causality, determinism, and free will ▪▪▪▪▪ 24 Projections of the self and of solipsism ▪▪▪▪▪ 25 Non-relational, agentless reference and referential fields ▪▪▪▪▪ 26 Relativity physics as seen through the lens of the metalogic of reference ▪▪▪▪▪ 27 Quantum theory as seen through the lens of the metalogic of reference ▪▪▪▪▪ 28 Epistemological lessons learned from and applicable to relativity physics and quantum theory ▪▪▪▪▪ ▪▪▪▪▪ PART IV ▪▪▪▪▪ HORIZONS ▪▪▪▪▪ 29 Beyond belief ▪▪▪▪▪ 30 _Critique of Impure Reason_: Its results in retrospect ▪▪▪▪▪ ▪▪▪▪▪ SUPPLEMENT ▪▪▪▪▪ The Formal Structure of the Metalogic of Reference ▪▪▪▪▪ APPENDIX I ▪▪▪▪▪ The Concept of Horizon in the Work of Other Philosophers ▪▪▪▪▪ APPENDIX II ▪▪▪▪▪ Epistemological Intelligence ▪▪▪▪▪ References ▪▪▪▪▪ Index ▪▪▪▪▪ About the author. (shrink)

Abstract. As a general theory of reasoning—and as a general theory of what holds true under every possible circumstance—logic is supposed to be ontologically neutral. It ought to have nothing to do with questions concerning what there is, or whether there is anything at all. It is for this reason that traditional Aristotelian logic, with its tacit existential presuppositions, was eventually deemed inadequate as a canon of pure logic. And it is for this reason that modern quantification theory, too, (...) with its residue of existentially loaded theorems and patterns of inference, has been claimed to suffer from a defect of logical purity. The law of non-contradiction rules out certain circumstances as impossible—circumstances in which a statement is both true and false, or perhaps circumstances where something both is and is not the case. Is this to be regarded as a further ontological bias? (shrink)

Parfit denies that the introduction of reasons into our ontology is costly for his theory. He puts forth two positions to help establish the claim: the Plural Senses View and the Argument from Empty Ontology. I argue that, first, the Plural Senses View for ‘exists’ can be expanded to allow for senses which undermine his ontological claims; second, the Argument from Empty Ontology can be debunked by Platonists. Furthermore, it is difficult to make statements about reasons true (...) unless these statements include reference to objects in reality. These arguments show the instability of Parfit’s claimed metaethical advantages over naturalism. [Open access]. (shrink)

Common sense is on the one hand a certain set of processes of natural cognition - of speaking, reasoning, seeing, and so on. On the other hand common sense is a system of beliefs (of folk physics, folk psychology and so on). Over against both of these is the world of common sense, the world of objects to which the processes of natural cognition and the corresponding belief-contents standardly relate. What are the structures of this world? How does the (...) scientific treatment of this world relate to traditional and contemporary metaphysics and formal ontology? Can we embrace a thesis of common-sense realism to the effect that the world of common sense exists uniquely? Or must we adopt instead a position of cultural relativism which would assign distinct worlds of common sense to each group and epoch? The present paper draws on recent work in computer science (especially in the fields of naive and qualitative physics), in perceptual and developmental psychology, and in cognitive anthropology, in order to consider in a new light these and related questions and to draw conclusions for the methodology and philosophical foundations of the cognitive sciences. (shrink)

The central hypothesis of the collaboration between Language and Computing (L&C) and the Institute for Formal Ontology and Medical Information Science (IFOMIS) is that the methodology and conceptual rigor of a philosophically inspired formal ontology will greatly benefit software application ontologies. To this end LinKBase®, L&C’s ontology, which is designed to integrate and reason across various external databases simultaneously, has been submitted to the conceptual demands of IFOMIS’s Basic Formal Ontology (BFO). With this, we aim to (...) move beyond the level of controlled vocabularies to yield an ontology with the ability to support reasoning applications. (shrink)

Discourse carries thin commitment to objects of a certain sort iff it says or implies that there are such objects. It carries a thick commitment to such objects iff an account of what determines truth-values for its sentences say or implies that there are such objects. This paper presents two model-theoretic semantics for mathematical discourse, one reflecting thick commitment to mathematical objects, the other reflecting only a thin commitment to them. According to the latter view, for example, the semantic role (...) of number-words is not designation but rather the encoding of cardinality-quantifiers. I also present some reasons for preferring this view. (shrink)

The orbital debris problem presents an opportunity for inter-agency and international cooperation toward the mutually beneficial goals of debris prevention, mitigation, remediation, and improved space situational awareness (SSA). Achieving these goals requires sharing orbital debris and other SSA data. Toward this, I present an ontological architecture for the orbital debris and broader SSA domain, taking steps in the creation of an orbital debris ontology (ODO). The purpose of this ontological system is to (I) represent general orbital debris and SSA (...) domain knowledge, (II) structure, and standardize where needed, orbital data and terminology, and (III) foster semantic interoperability and data-sharing. In doing so I hope to (IV) contribute to solving the orbital debris problem, improving peaceful global SSA, and ensuring safe space travel for future generations. (shrink)

The article examines Kant's various criticisms of the broadly Cartesian ontological argument as they are developed in the Critique of Pure Reason. It is argued that each of these criticisms is effective against its intended target, and that these targets include—in addition to Descartes himself—Leibniz, Wolff, and Baumgarten. It is argued that Kant's most famous criticism—the charge that being is not a real predicate—is directed exclusively against Leibniz. Kant's argument for this thesis—the argument proceeding from his example of a hundred (...) thalers—although it may seem to beg the question, in fact succeeds against Leibniz. It does so because the charge of begging the question can be rebutted if one makes certain Leibnizian assumptions. (shrink)

The paper argues that digital ontology (the ultimate nature of reality is digital, and the universe is a computational system equivalent to a Turing Machine) should be carefully distinguished from informational ontology (the ultimate nature of reality is structural), in order to abandon the former and retain only the latter as a promising line of research. Digital vs. analogue is a Boolean dichotomy typical of our computational paradigm, but digital and analogue are only “modes of presentation” of Being (...) (to paraphrase Kant), that is, ways in which reality is experienced or conceptualised by an epistemic agent at a given level of abstraction. A preferable alternative is provided by an informational approach to structural realism, according to which knowledge of the world is knowledge of its structures. The most reasonable ontological commitment turns out to be in favour of an interpretation of reality as the totality of structures dynamically interacting with each other. The paper is the first part (the pars destruens) of a two-part piece of research. The pars construens, entitled “A Defence of Informational Structural Realism”, is developed in a separate article, also published in this journal. (shrink)

The ontological argument- proposed by St. Anselm and developed by Descartes, Leibniz, Kant, Hegel, and Marx- furnishes a key to understanding the relationship between thought and reality. In this article, we shall focus on Hegel’s attitude towards the ontological argument as set out in his Science of Logic, where it appears as a paradigm of the relationship between thought and reality. It should be remarked, moreover, that our choice of the subject was not random and that it was selected for (...) the reason that belief in God is a preeminent social reality, inasmuch as faith in God creates His existence. Therefore, an investigation of the concept of God is an inquiry into the most profound recesses of human consciousness. The great opponents of the ontological argument, from Hume down to our day--and even Kant--have based their arguments upon the fundamental empiricist assertion that existential judgments are not analytical. This paper attempts to defend the ontological argument against its opponents. (shrink)

This paper is an opinionated guide to the literature on normative epistemic reasons. After making some distinctions in §1, I begin in §2 by discussing the ontology of normative epistemic reasons, assessing arguments for and against the view that they are mental states, and concluding that they are not mental states. In §3, I examine the distinction between normative epistemic reasons there are and normative epistemic reasons we possess. I offer a novel account of this distinction and argue that (...) we in fact ought to acknowledge a threefold distinction between objective, possessed, and apparent normative epistemic reasons. In §4, I discuss the question of which normative reasons for doxastic attitudes are the epistemic ones, evaluating reasons against a simple evidentialist answer. Finally, in §5, I look at the role of reasons in epistemology, considering challenges to viewing reasons as the building blocks of epistemic normativity and maintaining that the challenges recommend a novel bi-level epistemology rather than a marginalization of reasons in epistemology. (shrink)

The notion of function is indispensable to our understanding of distinctions such as that between being broken and being in working order (for artifacts) and between being diseased and being healthy (for organisms). A clear account of the ontology of functions and functioning is thus an important desideratum for any top-level ontology intended for application to domains such as engineering or medicine. The benefit of using top-level ontologies in applied ontology can only be realized when each of (...) the categories identified and defined by a top-level ontology is integrated with the others in a coherent fashion. Basic Formal Ontology (BFO) has from the beginning included function as one of its categories, exploiting a version of the etiological account of function that is framed at a level of generality sufficient to accommodate both biological and artifactual functions. This account has been subjected to a series of criticisms and refinements. We here articulate BFO’s account of function, provide some reasons for favoring it over competing views, and defend it against objections. (shrink)

The paper is an opinionated tour of the literature on the reasons for which we hold beliefs and other doxastic attitudes, which I call ‘operative epistemic reasons’. After drawing some distinctions in §1, I begin in §2 by discussing the ontology of operative epistemic reasons, assessing arguments for and against the view that they are mental states. I recommend a pluralist non-mentalist view that takes seriously the variety of operative epistemic reasons ascriptions and allows these reasons to be both (...) propositions and truth-making facts. In §3, I turn to consider what it takes for a consideration to be an operative epistemic reason, examining three conditions – the representational, treating, and explanatory conditions – that have been proposed. I offer a novel view about the explanatory condition. In §4, I discuss the special case of inferential operative reasons and examine attempts to understand them in terms of rule-following, sketching a competence-based spinoff of dispositionalism. Finally, in §5, I consider whether there are non-inferential operative reasons, observing that one needn't countenance them to be a foundationalist but then developing a view about what they are and how they do and don't differ from inferential reasons. (shrink)

Notions such as śūnyatā, catuṣkoṭi, and Indra's net, which figure prominently in Buddhist philosophy, are difficult to readily accommodate within our ordinary thinking about everyday objects. Famous Buddhist scholar Nāgārjuna considered two levels of reality: one called conventional reality, and the other ultimate reality. Within this framework, śūnyatā refers to the claim that at the ultimate level objects are devoid of essence or "intrinsic properties", but are interdependent by virtue of their relations to other objects. Catuṣkoṭi refers to the claim (...) that four truth values, including contradiction, are admissible in reasoning. Indra's net refers to the claim that every part of a whole is reflective of the whole. Here we present category theoretic constructions that are reminiscent of these Buddhist concepts. The universal mapping property definition of mathematical objects, wherein objects of a universe of discourse are defined not in terms of their content, but in terms of their relations to all objects of the universe is reminiscent of śūnyatā. The objective logic of perception, with perception modeled as [a category of] two sequential processes (sensation followed by interpretation), and with its truth value object of four truth values, is reminiscent of the Buddhist logic of catuṣkoṭi. The category of categories, wherein every category has a subcategory of sets with zero structure within which every category can be modeled, is reminiscent of Indra's net. Our thorough elaboration of the parallels between Buddhist philosophy and category theory can facilitate better understanding of Buddhist philosophy, and bring out the broader philosophical import of category theory beyond mathematics. (shrink)

The Growing Block Theory of time says that the metaphysical openness of the future should be understood in terms of there not being any future objects or events. But in a series of works, Ross Cameron, Elizabeth Barnes, and Robbie Williams have developed a competing view that understands metaphysical openness in terms of it being indeterminate whether there exist future objects or events. I argue that the three reasons they give for preferring their account are not compelling. And since the (...) notion of “indeterminate existence” suffers conceptual problems, the Growing Block is the preferable view. (shrink)

Part I argues that ontological arguments, like other classical proofs of the existence of God, are parts of larger arguments in which they are embedded. These larger arguments include reasons supporting the proofs’ premises and responses to them, and to the proofs’ claims to validity and non-circularity, since, in the final analysis, our assessment of the proofs will express our best judgment of the cumulative force of all the considerations bearing on their overall adequacy. Part II illustrates these points by (...) examining contemporary defences of, and attacks on, one of the ontological argument’s central premises, namely, that God’s existence is logically possible. (shrink)

The aim of this paper is to address a longstanding concern about the linguistic ‘relativ- ity’ of ontological categories, and resulting limitations in the scope of ontological theo- ries. Given recent evidence on the influence of language on cognitive dispositions, do we have empirical reasons to doubt that there are ontological categories that have uni- versal scope across languages? I argue that this is the case, at least if we retain the stan- dard ‘inferential’ approach within analytical ontology, i.e., (...) if we evaluate ontological interpretations of L-sentences relative to certain material inferences in L. Research in linguistic typology suggests that types of entities postulated for the domain of Indo- European languages cannot capture the ontological commitments of the (much larger group of) non-Indo-European languages. Ontological category theory thus seems to have three options. The first option is to abandon the standard ‘inferential’ approach to ontological category theory. Alternatively, if we stay with the inferential approach, we face the following choice. Either ontology must let go of its ambitions to provide general domain descriptions for any language and settle for the more modest project of reconstructing the ontological commitments of a group of natural languages. Or else analytical ontologists should turn to linguistic typology in order to accommodate the diversity of inferential structures embedded in natural languages. I recommend and ex- plore this third option, illustrating a strategy for how to construct a domain theory that can be used across languages. In a first step I show how linguistic research on the se- mantics of verbs and nouns (studies on so-called “Aktionsarten” and “Seinsarten”) can be used to identify the inferential patterns of ten basic concepts of modes of existence in time and space. In a second step I show how these inferential data can be inter- preted ontologically within General Process Theory, an ontological framework based on nonparticular individuals (“dynamics”). -/- . (shrink)

This is a second Philpapers record for this book which links only to HAL's downloadable copies of the work. Please refer to the main Philpapers entry for this book which can be found by searching under the book's title. ●●●●● PLEASE NOTE: This is the corrected 2nd eBook edition, 2021. ●●●●● _Critique of Impure Reason_ has now also been published in a printed edition. To reduce the otherwise high price of this scholarly, technical book of nearly 900 pages and make (...) it more widely available beyond university libraries to individual readers, the non-profit publisher and the author have agreed to issue the printed edition at cost. ●●●●● The printed edition was released on September 1, 2021 and is now available through all booksellers, including Barnes & Noble, Amazon, and brick-and-mortar bookstores under ISBN 978-0-578-88646-6. ●●●●● In light of the length of this book, readers who would like to have a more detailed description of the book's objectives and method may find it helpful to read the detailed and clearly written Wikipedia entry about this work: From the Wikipedia search page, use the search phrase "Critique of Impure Reason". At least at the time of this writing (11/29/2021), the Wikipedia entry is well-researched and accurate. ●●●●● ●●●●● COMMENDATIONS OF THIS WORK, from the back cover of the published edition: ●●●●● “I admire its range of philosophical vision.” – Nicholas Rescher, Distinguished University Professor of Philosophy, University of Pittsburgh, author of more than 100 books. ●●●●● “Bartlett’s _Critique of Impure Reason_ is an impressive, bold, and ambitious work. Careful scholarship is balanced by original analyses that lead the reader to recognize the limits of meaning, knowledge, and conceptual possibility. The work addresses a host of traditional philosophical problems, among them the nature of space, time, causality, consciousness, the self, other minds, ontology, free will and determinism, and others. The book culminates in a fascinating and profound new understanding of relativity physics and quantum theory.” – Gerhard Preyer, Professor of Philosophy, Goethe-University, Frankfurt am Main, Germany, author of many books including _Concepts of Meaning_, _Beyond Semantics and Pragmatics_, _Intention and Practical Thought_, and _Contextualism in Philosophy_. ●●●●● “[This work’s] goal is of a unique and difficult species: Dr. Bartlett seeks to develop a formal logical calculus on the basis of transcendental philosophical arguments; in fact, he hopes that this calculus will be the formal expression of the transcendental foundation of knowledge.... I consider Dr. Bartlett’s work soundly conceived and executed with great skill.” – C. F. von Weizsäcker, philosopher and physicist, former Director, Max-Planck-Institute, Starnberg, Germany. ●●●●● “Bartlett has written an American “Prolegomena to All Future Metaphysics.” He aims rigorously to eliminate meaningless assertions, reach bedrock, and place philosophy on a firm foundation that will enable it, like science and mathematics, to produce lasting results that generations to come can build on. This is a great book, the fruit of a lifetime of research and reflection, and it deserves serious attention.” — Martin X. Moleski, former Professor, Canisius College, Buffalo, NY, studies of scientific method, the presuppositions of thought, and the self-referential nature of epistemology. ●●●●● “Bartlett has written a book on what might be called the underpinnings of philosophy. It has fascinating depth and breadth, and is all the more striking due to its unifying perspective based on the concepts of reference and self-reference.” – Don Perlis, Professor of Computer Science, University of Maryland, author of numerous publications on self-adjusting autonomous systems and philosophical issues concerning self-reference, mind, and consciousness. (shrink)

Although the last decade has seen a proliferation of ontological approaches to arguments, many of them employ ad hoc solutions to representing arguments, lack interoperability with other ontologies, or cover arguments only as part of a broader approach to evidence. To provide a better ontological representation of arguments, we present the Arguments Ontology (ArgO), a small ontology for arguments that is designed to be imported and easily extended by researchers who work in different upper-level ontology frameworks, different (...) logics, and different approaches to argument evaluation. Unlike most ontological approaches to arguments, ArgO utilizes Basic Formal Ontology (BFO) as an upper-level ontology, and may be used alongside other commonly used ontologies in the BFO framework, including boththe Information Artifact Ontology (IAO), and the Information Entity Ontology (INFO). Critically, our proposal is principled, based on rigorous definitions and formal axioms out of which characterizations of arguments naturally fall. It is our hope that ArgO may assist researchers in many projects, including: integrating heterogeneous sources of evidence, structuring the content of semantic wikis, and enhancing semantic reasoning. (shrink)

Modern philosophy is, for what appear to be good reasons, uniformly hostile to sui generis final causes. And motivated to develop philosophically and scientifically plausible interpretations, scholars have increasingly offered reductivist and eliminitivist accounts of Aristotle's teleological commitment. This trend in contemporary scholarship is misguided. We have strong grounds to believe Aristotle accepted unreduced sui generis teleology, and reductivist and eliminitivist accounts face insurmountable textual and philosophical difficulties. We offer Aristotelians cold comfort by replacing his apparent view with failed accounts. (...) And so we ought to admit Aristotle’s prima facie commitments and deal with — if not accept — the consequences. (shrink)