Resumen: Este escrito aborda la interpretación deleuziana de la sustancia spinozista. Su objetivo es mostrar que el núcleo fundamental de dicha interpretación reside en el señalamiento del carácter único y a la vez múltiple de la sustancia, carácter que Deleuze conceptualiza a través de la categoría de distinción formal, tomada de Duns Scoto. Con este propósito, se caracterizan las nociones de univocidad y de expresión, que nos conducen a plantear que la sustancia, por ser a la vez única y (...) múltiple, consiste en el desarrollo de una contradicción. Esta condición nos permite concluir que la interpretación deleuziana, más allá de su propósito manifiesto, enfatiza una arista del trabajo de Spinoza que lo acerca a la filosofía de Hegel. Lo cual implica que la propia producción de Deleuze ofrece, también, aspectos que la aproximan a la del filósofo alemán.: This paper addresses the Deleuzian interpretation of the Spinozist substance. It aims at showing that the fundamental nucleus of this interpretation lies in pointing out the unique and simultaneously multiple character of the substance, which Deleuze conceptualizes through the category of formal distinction, taken from Duns Scoto. To reach this goal, the notions of univocity and expression are characterized. This leads us to affirm that substance, being both unique and multiple, consists of the development of a contradiction. This character allows us to conclude that the Deleuzian interpretation, beyond its manifest purpose, emphasizes a dimension of Spinoza’s work that brings it closer to Hegel’s philosophy. This implies that Deleuze’s own production also offers aspects that approach it to the German philosopher’s work. (shrink)

Words associated with perceptually salient, highly imageable concepts are learned earlier in life, more accurately recalled, and more rapidly named than abstract words (R. W. Brown, 1976; Walker & Hulme, 1999). Theories accounting for this concreteness effect have focused exclusively on semantic properties of word referents. A novel possibility is that word structure may also contribute to the effect. We report a corpus-based analysis of the phonological and morphological structures of a large set of nouns with imageability ratings (N = (...) 2,023). High- and low-imageability nouns differed by length, etymology, prosody, affixation, phonological neighborhood density, and rates of consonant clustering. On average, nouns denoting abstract concepts were longer, more derivationally complex, and emerged in English from a different distribution of languages than did concrete nouns. We address implications for interactivity of word form and meaning as pertain to theories of word concreteness, lexical acquisition, and word processing. (shrink)

This paper examines Ockham's development of the formal distinction, especially in contrast to Scotus's presentation of the formal distinction. The claim is that the major differences between the two presentations can be accounted for largely from the different uses to which Scotus and Ockhan employ the distinction. Whereas Scotus develops the distinction in an attempt to make comprehensible what appears to be incomprehensible (e.g. the Trinity), Ockham uses the distinction to establish the fundamental (...) incomprehensibility of the same issues (e.g. the Trinity). (shrink)

While Heidegger's earlier phenomenological writings inform much contemporary discourse in the continental philosophy of religion, his 1927 essay on ‘Phenomenology and Theology’ offers a largely uncontested distinction between philosophy and theology on the basis of their possibilities as sciences following ontological difference. This paper reconsiders Heidegger's distinction by invoking spirit and wonder, concepts Jacques Derrida and Mary-Jane Rubenstein have more recently emphasized as central to thought that is open to that which ruptures metaphysical schemas. I contend Heidegger's use (...) of ontological difference as a formal distinction between philosophy and theology distances us from the wonder, spirit, and truth (alētheia) that undoes the binaries behind which we take shelter. However, I temper this critique with the recognition that Heidegger, Derrida, and Rubenstein equally recognize an inescapable repetition of metaphysical thinking in the philosophy of religion. (shrink)

La prima parte dello studio presenta una panoramica sulla vita e l'opera di Wylton, l'indagine poi verte sulla struttura e il contesto dottrinale della quaestio in esame , ed infine sulla dottrina della distinzione formale qui esposta. L'ampia appendice presenta un'edizione della quaestio, tradita nel ms Vat. Borgh. 36.

The degree of realism that Duns Scotus understood his formal distinction to have implied is a matter of dispute going back to the fourteenth century. Both modern and medieval commentators alike have seen Scotus's later, Parisian treament of the formal distinction as less realist in the sense that it would deny any extra-mentally separate formalities or realities. This less realist reading depends in large part on a question known to scholars only in the highly corrupt edition (...) of Luke Wadding, where it is printed as the first of the otherwise spurious Quaestiones miscellaneae de formalitatibus. The present study examines this question in detail. Cited by Scotus's contemporaries as the Quaestio logica Scoti, we establish that it was a special disputation held by Scotus at Paris in response to criticisms of his use of the formal distinction in God, identify its known manuscripts, and provide an analysis based upon a corrected text, showing in particular the total unreliability of the Wadding edition. Our analysis shows that the Logica Scoti does not absolutely prohibit an assertion of formalities as correlates of the formal distinction, even in the divine Person, so long as their non-identity is properly qualified. That is, the positing of formalities does not of itself entail an unqualified or absolute distinction. (shrink)

The first quodlibetal question by William of Alnwick is a reply to John Duns Scotus' Quaestio de Formalitatibus, where the latter clarified his understanding of the formal distinction: ‘formal non-identity’ of the personal properties in God (and of the divine attributes) does not preclude a formal distinction if the latter is conceived as a distinction weakened by the modifier ‘formal’. Whereas Scotus' Quaestio has been subjected to a detailed analysis by Stephen Dumont, “Duns (...) Scotus’ Parisian Question”, there is as yet no such analysis of Alnwick's response. In the present paper his position is explained in detail. Alnwick rejects Scotus' view of ‘formal’ as a weakening modifier; he argues that the formal distinction necessarily is unqualified and may still import too much of unwanted realism in the matter at hand. Both Scotus and Alnwick acknowledge that the formal non-identity reflects the nature of things without falling back to a real distinction. But for Alnwick the right kind of distinction is a qualified distinction that is not a formal distinction. (shrink)

The present paper analyses the topic of scientific discovery and the problem of the existence of a logical framework involved in such endeavour. We inquire how several non-monotonic logic frameworks and other formalisms can account for such a task. In the same vein, we analyse some key aspects of the historical and theoretical debate surrounding scientific discovery, in particular, the context of discovery and context of justification context distinction. We present an argument concerning the weakening of the discovery/justification context (...) dichotomy based on the descriptive accent contained in the non-monotonic logic perspective together with its epistemological concerns. (shrink)

Using formal techniques, Schrodinger's 1935 cat argument is reproduced. Assumptions of the argument are made explicit as axioms and rules of inference; from these a contradiction is derived. The formal statement is then used to elucidate several crucial distinctions, to reject several commonly proposed resolutions, and to sketch an Einsteinian perspective for the argument.

Formal systems of fuzzy logic are well-established logical systems and respected members of the broad family of the so-called substructural logics closely related to the famous logic BCK. The study of fragments of logical systems is an important issue of research in any class of non-classical logics. Here we study the fragments of nine prominent fuzzy logics to all sublanguages containing implication. However, the results achieved in the paper for those nine logics are usually corollaries of theorems with much (...) wider scope of applicability. In particular, we show how many of these fragments are really distinct and we find axiomatic systems for most of them. In fact, we construct strongly separable axiomatic systems for eight of our nine logics. We also fully answer the question for which of the studied fragments the corresponding class of algebras forms a variety. Finally, we solve the problem how to axiomatize predicate versions of logics without the lattice disjunction. (shrink)

Formal topology aims at developing general topology in intuitionistic and predicative mathematics. Many classical results of general topology have been already brought into the realm of constructive mathematics by using formal topology and also new light on basic topological notions was gained with this approach which allows distinction which are not expressible in classical topology. Here we give a systematic exposition of one of the main tools in formal topology: inductive generation. In fact, many formal (...) topologies can be presented in a predicative way by an inductive generation and thus their properties can be proved inductively. We show however that some natural complete Heyting algebra cannot be inductively defined. (shrink)

Exact sciences are described as sciences whose theories are formalized. These are contrasted to inexact sciences, whose theories are not formalized. Formalization is described as a broader category than mathematization, involving any form/content distinction allowing forms, e.g., as represented in theoretical models, to be studied independently of the empirical content of a subject-matter domain. Exactness is a practice depending on the use of theories to control subject-matter domains and to align theoretical with empirical models and not merely a state (...) of a science. Inexact biological sciences tolerate a degree of “mismatch” between theoretical and empirical models and concepts. Three illustrations from biological sciences are discussed in which formalization is achieved by various means: Mendelism, Weismannism, and Darwinism. Frege’s idea of a “conceptual notation” is used to further characterize the notion of a form/content distinction. (shrink)

The General Formal Ontology (GFO) is a top-level ontology that is being developed at the University of Leipzig since 1999. Besides introducing some of the basic principles of the ontology, we expound axiomatic fragments of its formalization and present ontological models of several use cases. GFO is a top-level ontology that integrates objects and processes into a unified framework, in a way that differs significantly from other ontologies. Another unique selling feature of GFO is its meta-ontological architecture, which includes (...) set theory into ontology and which accounts for its specific role in common representation approaches. The second level of that architecture starts from the distinction of categories and individuals, which forms the backbone of the world’s structure. Furthermore, GFO comprises several kinds of categories, among them universals and concepts, and it considers several ontological regions and levels. In the context of this special issue paper, we study five pre-determined use cases from the perspective of GFO. The results of these analyses yield insights into how the ontology treats several important notions. Very abridged, this covers material objects and their composition; roles and social entities; properties with their relations to objects and processes, and their changing; changes of processes, including a functional perspective; and, eventually, the nature and changing of concepts as well as terminology. A final part summarizes application projects that use GFO in various contexts. (shrink)

Section 1 contains a survey of options in constructing a formal system of dialogue rules. The distinction between material and formal systems is discussed (section 1.1). It is stressed that the material systems are, in several senses, formal as well. In section 1.2 variants as to language form (choices of logical constants and logical rules) are pointed out. Section 1.3 is concerned with options as to initial positions and the permissibility of attacks on elementary statements. The (...) problem of ending a dialogue, and of infinite dialogues, is treated in section 1.4. Other options, e.g., as to the number of attacks allowed with respect to each statement, are listed in section 1.5. Section 1.6 explains the concept of a chain of arguments.From section 2 onward four types of dialectic systems are picked out for closer study: D, E, Di and Ei. After a preliminary section on dialogue sequents and winning strategies, the equivalence of derivability in intuitionistic logic and the existence of a winning strategy (for the Proponent) on the strength of Ei is shown by simple inductive proofs. (shrink)

The Limits of the Formal Treatment of Language. Within the philosophy of language, there is a distinction between the natural language philosophers and the ideal language philosophers. The distinction is drawn based on the way these philosophers reflect on language and the world. Natural language philosophers stress the context-based feature of meaning, while the ideal language philosophers emphasize the context-free feature of meaning. In my study I want to show that that even within the formal study (...) of language, in the apparent absence of any context, the notions of valuation and interpretation help us to understand the meaning of sentences. (shrink)

My aim in this note is to address the question of how a context of utterance can figure within a formal, specifically truth-conditional, semantic theory. In particular, I want to explore whether a formal semantic theory could, or should, take the intentional states of a speaker to be relevant in determining the literal meaning of an uttered sentence. The answer I’m going to suggest, contrary to the position of many contemporary formal theorists, is negative. The structure of (...) this note is then as follows: first, I’ll very briefly sketch three distinct forms of semantic theory. One, ‘strong formal semantics’, will be seen to be immediately problematic, leaving us with two other options: use-based theories and what I’ll term ‘moderate formal semantics’. If we opt for the latter position, the question arises of what kinds of appeals to a context of utterance are legitimate given a formal outlook. I’ll suggest that this question arises in two distinct ways and explore the moderate formal semanticist’s position in regard to both. However, the conclusion I will reach is that what is characteristic of formal semantics is that it makes only the most minimal semantic concessions to context. (shrink)

_ Source: _Volume 56, Issue 3-4, pp 241 - 271 William of Ockham and John Buridan provide different accounts of the distinction between formal and material consequences. Some consequences – in particular, enthymemes – that Ockham would classify as formal would be classified as material by Buridan. This paper explains this taxonomical discrepancy. It identifies the root of the discrepancy not in a difference between Ockham’s and Buridan’s notions of propositional hylomorphism but rather in Ockham’s endorsement of (...) relational characterizations of consequences. (shrink)

Faced with the disenchantment and disengagement expressed by their employees, business leaders are considering ways of incorporating more benevolence into managerial practices. Nevertheless, ‘benevolence’—care and concern for the well-being of others—has not yet been studied in an organizational profit-focused context. In this paper, we seek to investigate the emergence and practice of benevolence with an eye on profit and performance. We begin by investigating the main ethical approaches to benevolence—virtue ethical, utilitarian, and deontological. Then, based on an empirical study, we (...) identify two distinct types of benevolence. On the one hand, formal benevolence is defined and monitored by the organizational processes and actions of leaders; it is understood by all concerned to be bounded by organizational performance. On the other hand, informal benevolence exists at the margin of these processes, in interpersonal and discretionary relationships. We set out to analyze these two types of benevolence and the complementarity between them. We also discuss to what extent they can be managed, teasing out some implications for managers and some potential avenues for further research. (shrink)

Scotus’ theory of identity and distinction is a unique and central aspect of his thought, as he applies it throughout his metaphysics. On Scotus’ account of identity, the indiscernibility of identicals fails – i.e. A and B can be identical but not share all the same properties. As Ockham objected, Scotus is now in the difficult position of needing to provide alternative necessary and sufficient conditions for being identical, rather than simply invoking indiscernibility. The secondary literature has argued that (...) the lack of actual or potential separation is both necessary and sufficient for identity. I argue that is incorrect and provide alternative necessary and sufficient conditions for identity and real distinction, along with an analysis of Scotus’ theory of identity and distinction more broadly. Scotus thinks instead that the lack of actual, potential, and proportional separation are necessary and sufficient conditions for identity. The deeper root of this view is that identity corresponds to a certain degree of unity, and is accompanied by a sharing of esse. (shrink)

In this section, we apply the notions obtained above to a famous historical example of a false proof. Our goal is to demonstrate that this proof shows a sufficient degree of distinctiveness for a formalization in a Naproche-like system and hence that automatic checking could indeed have contributed in this case to the development of mathematics. This example further demonstrates that even incomplete distinctivication can be sufficient for automatic checking and that actual mistakes may occur already in the margin between (...) the degree of distinctiveness necessary for formalization and complete distinctiveness. (shrink)

: Descartes' conceptual distinction (or distinctio rationis) is commonly understood to be a distinction created by the mind's activity without a foundation in re. This paper challenges this understanding partially based on a letter to an unknown correspondent in which Descartes claims not to admit distinctions without a foundation. He goes on to claim that his conceptual distinction is not a distinctio rationis ratiocinantis (i.e. a distinction of reasoning reason) but is something like a formal (...) distinction or, more precisely, a distinctio ! rationis ratiocinatae (i.e. a distinction of reasoned reason). This remark is then explored through Descartes' other writings and his scholastic intellectual heritage. I conclude that Descartes' conceptual distinction just is a formal distinction understood as a distinctio rationis ratiocinatae as expressed in the works of Scotus, Suarez and Eustachius, and so it has a foundation in re in very much the same way as a formal distinction. (shrink)

In fields such as medicine, geography, and mechanics, spatial reasoning involves reasoning about entities that may coincide without overlapping. Some examples are: cavities and invading particles, passageways and valves, geographic regions and tropical storms. The purpose of this paper is to develop a formal theory of spatial relations for domains that include coincident entities. The core of the theory is a clear distinction between mereotopological relations, such as parthood and connection, and relative location relations, such as coincidence. To (...) guide the development of the formal theory, I construct mathematical models in which nontrivial relative location relations are defined. (shrink)

We consider the question: under what circumstances can the concept of adaptation be applied to groups, rather than individuals? Gardner and Grafen (2009, J. Evol. Biol.22: 659–671) develop a novel approach to this question, building on Grafen's ‘formal Darwinism’ project, which defines adaptation in terms of links between evolutionary dynamics and optimization. They conclude that only clonal groups, and to a lesser extent groups in which reproductive competition is repressed, can be considered as adaptive units. We re-examine the conditions (...) under which the selection–optimization links hold at the group level. We focus on an important distinction between two ways of understanding the links, which have different implications regarding group adaptationism. We show how the formal Darwinism approach can be reconciled with G.C. Williams’ famous analysis of group adaptation, and we consider the relationships between group adaptation, the Price equation approach to multi-level selection, and the alternative approach based on contextual analysis. (shrink)

This is a thesis in formal semantics. It consists of two parts corresponding to the distinction, due to Richard Montague, between universal grammar and specific semantic theories. The first part concerns universal grammar and is intended to provide a precise and unified conceptual framework within which different theories of formal semantics can be represented and compared. ;The second part of the thesis is concerned with intensional logic, i.e., with the logical analysis of discourse involving so called oblique (...) contexts. These contexts are characterized by the apparent failure of certain classically valid principles of substitutivity. Two kinds of reactions among logicians to the appearance of oblique contexts in natural languages are distinguished: (1) the intensional point of view, according to which oblique contexts are seen as genuine counterexamples to classical logic and to the related semantical principle of extensionality: the principle that the denotation of an expression is a function of the denotations of its parts; and (2) the extensional point of view, according to which the conflict between oblique contexts and classical logic is only apparent. The extensional point of view therefore calls for analyses of oblique contexts that preserve the laws of classical logic and the principle of extensionality. In this thesis, we are concerned with the precise formulation of and comparison between different programs for the formal semantic representation of oblique contexts. In Chapter 5, we are concerned with Church's program of representing oblique contexts within a formal language whose semantics is fully extensional and based on Frege's distinction between sense and denotation. The ambiguity between the "direct" and "indirect" denotation of an expression A is avoided by letting A be replaced in oblique contexts by an expression which denotes A's ordinary sense. We provide a possible-worlds semantics for a version of Church's formal language with the following features: (i) Objectual quantification into oblique constructions is accounted for. The treatment of quantification requires for each entity x an essence of x, by which we mean a sense which determines x in those worlds in which x exists and is undefined in all other worlds. (ii) The variables range over actually existing entities only. It is allowed that entities of certain types are contingent, i.e., the same entity may exist in one world and fail to exist in other worlds. (iii) In order to combine a proper treatment of the cross-world identification of functions with varying domains, partial functions are allowed. (iv) Senses are allowed to be partially defined. For example, the sense of a proper name is undefined in a world in which the denotation of the name does not exist. (v) Senses of functions from objects of type a to objects of type b are identified with functions from senses of objects of type a to senses of objects of type b. In Chapters 6 and 7, we pursue the Russellian Alternative in intensional semantics, where a sense/denotation distinction is avoided. Apparent failures of substitutivity principles for singular terms are explained along the lines of Russell's theory of definite descriptions. Failures of substitutivity of coextensional sentences and predicates are explained by Russell's doctrine that sentences and predicate denote propositions and propositional functions , respectively. Russellian semantics is fully extensional in the sense that the Russellian denotation of a designator is a function of the Russellian denotations of its parts. In Chapter 6, a theory of Russellian propositions is developed within set theory. This theory is then applied in Chapter 7 to the task of providing a set-theoretic semantics for Russellian type theory. (shrink)

Any theory of information needs to comply with what we call the implementation, formalization, and representation constraints. These constraints are justified by basic considerations concerning scientific modelling and methodology. In the first part of this paper, we argue that the implementation and formalization constraints cannot be satisfied because the relation between Shannon information and IIT must be clarified. In the second part of the paper, we focus on the representation constraint. We argue that IIT cannot succeed in satisfying this constraint (...) for semantic contents without offering models for concepts, conceptual roles, and context sensitivity. In the final part of the paper, further complications are raised with respect to the distinction between consciousness and attention, which apply more specifically to the representation constraint. We conclude with some recommendations as to how IIT may succeed in solving these problems, highlighting the advantages and enormous potential of IIT as a scientific theory. (shrink)

To ascertain that a formalization of the intuitive notion of a ‘concept’ is linguistically interesting, one has to check whether it allows to get a grip on distinctions and notions from lexical semantics. Prime candidates are notions like ‘prototype’, ‘stereotypical attribute’, ‘essential attribute versus accidental attribute’, ‘intension versus extension’. We will argue that although the current paradigm of formal concept analysis as an application of lattice theory is not rich enough for an analysis of these notions, a lattice theoretical (...) approach to concepts is a suitable starting point for formalizing them. (shrink)

Andrew Feenberg’s distinction between formal and substantive bias in the design of technology is interrogated. The two dimensions of his definition—inten­tion and the enhancement of specific social interests—are examined and eight logical possibilities arising from his argument are identified. These possibilities are explored through discussion of examples and it is argued that Feenberg has both: a) not broken sufficiently with substantivist philosophies of technology so that he retains ambivalence on technology’s ‘biased essence,’ and b) illegitimately rejected the idea (...) of a technology that is biased in itself. The latter category is important to critical theory of technology and the paper offers a conceptualization of it that draws on Habermas’s discourse ethics. (shrink)

How does one formalize the structure of structures necessary for the foundations of physics? This work is an attempt at conceptualizing the metaphysics of pregeometric structures, upon which new and existing notions of quantum geometry may find a foundation. We discuss the philosophy of pregeometric structures due to Wheeler, Leibniz as well as modern manifestations in topos theory. We draw attention to evidence suggesting that the framework of formal language, in particular, homotopy type theory, provides the conceptual building blocks (...) for a theory of pregeometry. This work is largely a synthesis of ideas that serve as a precursor for conceptualizing the notion of space in physical theories. In particular, the approach we espouse is based on a constructivist philosophy, wherein ``structureless structures'' are syntactic types realizing formal proofs and programs. Spaces and algebras relevant to physical theories are modeled as type-theoretic routines constructed from compositional rules of a formal language. This offers the remarkable possibility of taxonomizing distinct notions of geometry using a common theoretical framework. In particular, this perspective addresses the crucial issue of how spatiality may be realized in models that link formal computation to physics, such as the Wolfram model. (shrink)

Kind representations, concepts like table, triangle, dog, and planet, underlie generic language. Here, we investigate the formal structure of kind representations—the structure that distinguishes kind representations from other types of representations. The present studies confirm that participants distinguish generic‐supporting properties of individuals (e.g., this watch is made of steel) and accidental properties (e.g., this watch is on the nightstand). Furthermore, work dating back to Aristotle establishes that only some generic‐supporting properties bear a principled connection to the kind, that is, (...) are true of an individual by virtue of its being a member of a specific kind (e.g., telling time for a watch). The present studies tested the hypothesis that principled connections are part of the formal structure of kind representations. Specifically, they tested whether they structure a newly learned kind representation. Experiment 1 found that introducing a property of a newly encountered novel kind in any one of four linguistic frames that provide evidence that a property has a principled connection to a kind (e.g., “It has fur because it is a blick”) led participants to infer a different conceptual consequence of principled connections (i.e., “There is something wrong with this blick, which does not have fur”) for which they had no direct evidence. Two introduction frames that provided no evidence for principled connections (e.g., “Almost all blicks have fur”) did not generate the same consequence. Experiment 2 found that all of the targeted properties were generic licensing, irrespective of the introduction frame. That the distinction between properties that bear principled connections to their kinds, and merely generic‐supporting properties structures novel kind representations, provides strong evidence that this distinction is part of the formal structure of kind representations. (shrink)

This paper formalizes part of the cognitive architecture that Kant develops in the Critique of Pure Reason. The central Kantian notion that we formalize is the rule. As we interpret Kant, a rule is not a declarative conditional stating what would be true if such and such conditions hold. Rather, a Kantian rule is a general procedure, represented by a conditional imperative or permissive, indicating which acts must or may be performed, given certain acts that are already being performed. These (...) acts are not propositions; they do not have truth-values. Our formalization is related to the input/ output logics, a family of logics designed to capture relations between elements that need not have truth-values. In this paper, we introduce KL3 as a formalization of Kant’s conception of rules as conditional imperatives and permissives. We explain how it differs from standard input/output logics, geometric logic, and first-order logic, as well as how it translates natural language sentences not well captured by first-order logic. Finally, we show how the various distinctions in Kant’s much-maligned Table of Judgements emerge as the most natural way of dividing up the various types and sub-types of rule in KL3. Our analysis sheds new light on the way in which normative notions play a fundamental role in the conception of logic at the heart of Kant’s theoretical philosophy. (shrink)

Truth is a fundamental objective of adjudicative processes; ideally, substantive as distinct from formal legal truth. But problems of evidence, for example, may frustrate finding of substantive truth; other values may lead to exclusions of probative evidence, e.g., for the sake of fairness. Jury nullification and jury equity. Limits of time, and definitiveness of decision, require allocation of burden of proof. Degree of truth-formality is variable within a system and across systems.

Formal views of autonomy rule out substantive rational capacities (reasons-responsiveness) as a condition of autonomous agency. I argue that such views face a number of underappreciated problems: they have trouble making sense of how autonomous agents could be robustly responsible for their choices, face the burden of explaining why there should be a stark distinction between the importance of factual and evaluative information within autonomous agency, and leave it mysterious why autonomy is the sort of thing that has (...) value and ought to be promoted. Moreover, I argue that the alternative view that includes substantive rational capacities need not have the unacceptable political implications it is sometimes thought to have. (shrink)