Formalisms such as description logics (DL) are sometimes expected to help terminologies ensure compliance with sound ontological principles. The objective of this paper is to study the degree to which one DL-based biomedical terminology (SNOMED CT) complies with such principles. We defined seven ontological principles (for example: each class must have at least one parent, each class must differ from its parent) and examined the properties of SNOMED CT classes with respect to these principles. Our major results are: 31% of (...) the classes have a single child; 27% have multiple parents; 51% do not exhibit any differentiae between the description of the parent and that of the child. The applications of this study to quality assurance for ontologies are discussed and suggestions are made for dealing with multiple inheritance. (shrink)

Attempts to unify Marxist and feminist social critique have been vexed by the fact that ‘patriarchy’ predates the advent of capitalism (its transhistorical status). Feminists within the Marxist, socialist, and materialist traditions have responded to this point by either granting patriarchy a certain autonomy relative to capitalism (the ‘dual/triple systems’ approach), or by suggesting that patriarchal relations have a foundational and necessary status in the history of capitalist development (which we term the ‘origins-subsistence’ approach). This paper offers an alternative account (...) of the relationship between capitalism and the transhistorical status of ‘patriarchy’. In aid of a ‘unitary theory’ of Marxist Feminism, we argue that the transhistorical status of patriarchy is better understood through an application of Marx’s concepts of formal and real subsumption. A modified version of these concepts can illuminate not only capitalist appropriation of antecedent social and economic forms, but also its capacity to produce new forms of gendered exploitation and oppression. (shrink)

The thesis that subsumption is sufficient for explanation is dying out, but the thesis that it is necessary is alive and well. It is difficult to attack this thesis: non-subsumptive counter-examples are declared incomplete, or mere promissory notes. No theory, it is thought, can be explanatory unless it resorts to subsumption at some point. In this paper I attack this thesis by describing a theory that (1) would explain every event it could describe, (2) does not explain by (...) subsumption, and (3) is fundamental in that it is understood to be irreducible (hence there are no unstated laws waiting in the wings). (shrink)

Formalisms based on one or other flavor of Description Logic (DL) are sometimes put forward as helping to ensure that terminologies and controlled vocabularies comply with sound ontological principles. The objective of this paper is to study the degree to which one DL-based biomedical terminology (SNOMED CT) does indeed comply with such principles. We defined seven ontological principles (for example: each class must have at least one parent, each class must differ from its parent) and examined the properties of SNOMED (...) CT classes with respect to these principles. Our major results are: 31% of these classes have a single child; 27% have multiple parents; 51% do not exhibit any differentiae between the description of the parent and that of the child. The applications of this study to quality assurance for ontologies are discussed and suggestions are made for dealing with the phenomenon of multiple inheritance. The advantages and limitations of our approach are also discussed. (shrink)

In Marx’s posthumously published manuscripts from 1857–1863, we find a systematic exposition of his concept of subsumption. Though much has been written about it, significant interpretative gaps persist. In this article, I begin filling these gaps by examining the emergence of Marx’s concept of subsumption. I will argue that in the Grundrisse Marx brings together distinct but complementary elements from Hegel’s theories of judgment and teleology to coin two new and well delineated concepts of subsumption that prefigure (...) his later concepts of formal and real subsumption. These two concepts may be defined as: (a) the process of acquiring the social relational property of being a means to an end; (b) the process by which changes in non-relational properties occur in something due to this acquisition – and occur to better suit said end. (shrink)

Kant’s distinction between the determining and reflecting power of judgment in the third Critique is not well understood in the literature. A mainstream view unifies these by making determination the telos of all acts of judgment (Longuenesse 1998). On this view, all reflection is primarily in the business of producing empirical concepts for cognition, and thus has what I call a determinative ideal. I argue that this view fails to take seriously the independence and autonomy of the ‘power of judgment’ (...) [Urteilskraft] as a higher cognitive faculty in its own right with its own a priori principle. Instead of seeing merely reflecting judgments as failed or incomplete acts of judgment, I argue that these are in fact paradigmatic of the activity of the power of judgment. More precisely, the reflecting power of judgment just is the power of judgment. Accordingly, reflecting judgment takes precedence over determining judgment; while the former operates according to a law that it gives itself, the latter requires another higher cognitive faculty to provide its principle. On my view, reflecting judgment should be understood as the capacity for purposive subsumption—most clearly seen in the activity of mere reflection. (shrink)

In the current “second reception” of Althusser, the concept of the capitalist mode of production as explored in Reading Capital and On the Reproduction of Capitalism has been relatively underdiscussed. The concept, however, remains an important component of larger discussions in Marxist theory. This paper rereads Althusser and Balibar’s early contributions to the concept of the mode of production alongside Marx and contemporary thinkers such as Jairus Banaji. In so doing, preliminary connections are made between Althusser’s second reception and important (...) recent interdisciplinary work on subsumption and heterogenous development. (shrink)

According to one large family of views, scientific explanations explain a phenomenon (such as an event or a regularity) by subsuming it under a general representation, model, prototype, or schema (see Bechtel, W., & Abrahamsen, A. (2005). Explanation: A mechanist alternative. Studies in History and Philosophy of Biological and Biomedical Sciences, 36(2), 421–441; Churchland, P. M. (1989). A neurocomputational perspective: The nature of mind and the structure of science. Cambridge: MIT Press; Darden (2006); Hempel, C. G. (1965). Aspects of scientific (...) explanation. In C. G. Hempel (Ed.), Aspects of scientific explanation (pp. 331–496). New York: Free Press; Kitcher (1989); Machamer, P., Darden, L., & Craver, C. F. (2000). Thinking about mechanisms. Philosophy of Science, 67(1), 1–25). My concern is with the minimal suggestion that an adequate philosophical theory of scientific explanation can limit its attention to the format or structure with which theories are represented. The representational subsumption view is a plausible hypothesis about the psychology of understanding. It is also a plausible claim about how scientists present their knowledge to the world. However, one cannot address the central questions for a philosophical theory of scientific explanation without turning one’s attention from the structure of representations to the basic commitments about the worldly structures that plausibly count as explanatory. A philosophical theory of scientific explanation should achieve two goals. The first is explanatory demarcation. It should show how explanation relates with other scientific achievements, such as control, description, measurement, prediction, and taxonomy. The second is explanatory normativity. It should say when putative explanations succeed and fail. One cannot achieve these goals without undertaking commitments about the kinds of ontic structures that plausibly count as explanatory. Representations convey explanatory information about a phenomenon when and only when they describe the ontic explanations for those phenomena. (shrink)

Bu tez, Kant'ın şematizm olarak adlandırdığı, düşünsel kavramların duyusal görünümlere nasıl uygulanabileceğini açıklamaya çalıştığı edimi konu edinmektedir. Şematizm, düşünürler tarafından genellikle eleştirilmiş veya anlaşılmaz bulunmuştur ancak eleştirel felsefenin oldukça önemli bir yönünü oluşturur. Söz konusu çalışmada, şematizmin temsiller arasındaki geçişlerle nasıl anlaşılabileceği; duyusallık ile anlama yetisi ve anlama yetisi ile akıl arasındaki ilişkiyi nasıl oluşturduğu gösterilecektir. Bu ilişki, anlama yetisinin duyusallıktan gelen malzemeyi nasıl kurduğu, aklın ise anlama yetisinden gelen bilgileri nasıl düzenlediğiyle ilgilidir. Bununla birlikte, temsiller arasındaki olası geçişlerin farklı (...) (gidimli, belirleyici, düşünümsel, benzetimli) şematizm türlerine nasıl olanak sağladığı gösterilmeye çalışılacaktır. Göreceğiz ki şematizm, matematiği ve fizyolojiyi (fizik ve metafizik) zamansallığa dayanarak temellendirir. -/- This thesis deals with the act that Kant calls schematism, the way of applying intellectual concepts to sensible appearances. Schematism has been generally criticized or deemed incomprehensible by thinkers, but it constitutes a vitally important aspect of the critical philosophy. In this study, I will attempt to show how schematism provides transitions between representations and establishes the relation between sensibility and understanding, also between understanding and reason. The relation is about how the understanding constructs the material of sensibility, and how the reason regulates the cognitions of the understanding. In this respect, I will also show that possible transitions between representations (discursive, determinative, reflexive and analogical) enable different ways of schematism. It will be shown that schematism grounds mathematics, and physiology (physics and metaphysics) based on temporality. (shrink)

The precise nature of the relation between cognition and aesthetic judgment is clearly central to an understanding of Kant’s theory of taste in the “Critique of Aesthetic Judgment.” The Critique of Judgment itself is necessary, Kant says, because judgment constitutes a cognitive power in its own right, and its critique is therefore necessarily a part of the overall critique of pure reason. More particularly, however, the connection between cognition and aesthetic judgment plays a crucial role in Kant’s deduction of judgments (...) of taste: That deduction is intended to vindicate the claim to intersubjective validity implicit in the judgment of taste. This claim can only be justified, Kant thinks, if the judgment of taste has as its “determining ground” some form or aspect of cognition, for “[n]othing... can be communicated universally except cognition, as well as presentation insofar as it pertains to cognition.” The “purposiveness without purpose” exhibited by the beautiful object must therefore be purposiveness for “cognition in gener¬al.”[Erkenntnis überhaupt, V:217] But this use of cognition to establish the intersubjective validity of judgments of taste is also the source of the most serious problem with Kant’s theory. Kant clearly holds the view that to judge an object to be beautiful is to judge that it is in some sense suited for cognition. The theory of knowledge presented in the Critique of Pure Reason, however, concludes that all objects of experience are cognizable in the sense of being susceptible of subsumption under pure concepts of the understanding. If to say that an object is beautiful is to say that it is cognizable, and all objects are cognizable, then Kant’s theory has the consequence that all objects are beautiful. Furthermore, this connection between beauty and cognition threatens to make beauty a determinate concept, like the concepts of ‘cause’ or ‘chair.’ The result is that dealing with what I will call the problem of ugliness has become, in the words of one commentator, the “pre-eminent task” of interpretation of the third Critique. I will argue that this problem is best solved if we recognize a connection between Kant’s need in both the first and third Critiques for a defense of reason, and his claim, at the end of the “Critique of Aesthetic Judgment” that “beauty is the symbol of the morally good.”[V:353] The latter claim is the culmination of the “Critique of Aesthetic Judgment,” the argument of which is intended by Kant to show that every rational being must view at least some objects in nature as being suited for inclusion in a philosophical system organized around ideas of pure reason. In this system moral reason and theoretical understanding are related in a harmonious whole, with moral reason taking the leading role. The cognizability which is claimed for the object in the judgment of taste does not consist in the object’s being susceptible of subsumption under a concept. Rather, to say that an object is suited for “cognition in general” is to attribute to it the more specific property of being subsumable under a concept which can in turn be included in a unified philosophical system. At the same time, the relation between beauty and morality is only “indirect,” which is why beauty is the symbol but not the schema of the morally good. A key aspect of this reading will be the claim that from an epistemological standpoint the relation between natural beauty and the idea of the morally good is just the same as that between appearances and ideas of pure reason if the systematization of cognition is to be possible– the existence of beauty in nature serves to “establish the reality” of these ideas. Adopting this reading of the argument of the “Critique of Aesthetic Judgment” not only allows us to avoid saddling Kant with the view that all objects are beautiful, but also makes clear the hitherto less than clear relation between the published Introduction to the Critique of Judgment, in which Kant is primarily concerned with the concept of a philosophical system, and the “Critique of Aesthetic Judgment,” which centers on the seemingly unrelated notion of beauty as “purposiveness without purpose.”. (shrink)

The aim of the Schematism chapter of the Critique of Pure Reason is to solve the problem posed by the “inhomogeneity” of intuitions and categories: the sensible properties of objects represented in intuition are of a different kind than the properties represented by categories. Kant's solution is to introduce what he calls “transcendental schemata,” which mediate the subsumption of objects under categories. I reconstruct Kant's solution in terms of two substantive premises, which I call Subsumption Sufficiency (i.e., that (...) subsuming an object under a transcendental schema is sufficient to subsume it under the corresponding category) and Real Possibility (i.e., that it is really possible to subsume objects under each of the transcendental schemata). These two principles, together with a trivial modal one (the Subsumption-Possibility Link), entail that it is possible to subsume objects under categories; in other words, the argument of the Schematism is valid. The main work of the paper consists in reconstructing Kant's arguments for, and explanations of, these premises. I argue that they hinge on Kant's claim that transcendental schemata are “time-determinations,” which I interpret to mean: rules for reflexively representing the temporal relations among our own representational states. On the basis of this reading, I reconstruct Kant's argument for Subsumption Sufficiency, category by category. I also explain why Real Possibility follows almost immediately. Granting Kant the argument up to this point in the Critique, the argument of the Schematism is sound. (shrink)

Within Michel Foucault’s own conceptualization of governmentality, there is little room for something like ‘ungovernable life’. The latter seems to hint at a form of social conduct beyond power-relations, which would offend Foucault’s basic philosophical postulates. I argue that this identification between governmentality and power as such demonstrates a one-sided focus on the history of Western power-relations. By opposing Foucault’s genealogy of governmentality to Ivan Illich’s critical history of government, I delineate indigenous struggles against governmentalization as a form of ungovernable (...) counter-conduct. Throughout his books from the 1970s to 1990s, Illich wrote a critical history of government surprisingly similar to Foucault’s, from the pastorate to modern political economy. However, rather than merely describing this history, Illich argued governmentalization alienated human beings from their autonomy. As a former missionary priest, he criticized the Church’s and modern governments’ attempts to subsume populations under a conduct of conducts. He advocated anticolonial resistance to subsumption under Western governmental regimes. In Illich’s appreciation of decolonized life, an ungovernable form of life can be discovered, which I defend with the example of Zapatismo and indigenous self-government through mandar obedeciendo. (shrink)

A parallel can be drawn between organic processes of death and decay of a living body and an artificial counterpart engendered by dominant philosophies that preach self-sufficiency. While the former involves the natural fading and cessation of living organisms, the latter entails the subsumption and subsequent mortification of bodies in a quest for self-fulfillment. In both scenarios, life is constrained and ultimately extinguished, but in the later, unnecessarily and prematurely. This paper aims to explore a philosophical response to decay (...) that endangers life. Originating from the fear of natural demise, isolation fostering discourses compromise the capacity for organic relationality and accountability. Nonetheless, resistance persists within body-centered perspectives, as the acknowledgement of differences and vulnerability require a more responsible way of living. (shrink)

This paper argues against the common justification for the necessity of the state through the particular difficulty of private property right. Instead, I argue that the necessity of the state is internal to the concept of right in general. In order to show this, I point out how Kants adoption of hylomorphic language for the concept of right, where there is a formal and material aspect of right, allows us to understand the Rechtslehre as progressing through a syllogistic deduction from (...) innate right (major), private right (minor) to public right (conclusion). Material right is made necessary through its subsumption under formal right in the civil condition. (shrink)

This article builds on C. S. Peirce’s suggestive blueprint for an inclusive outlook that grants reality to his three categories. Moving away from the usual focus on (contentious) cosmological forces, I use a modal principle to partition various ontological layers: regular sign-action (like coded language) subsumes actual sign-action (like here-and-now events) which in turn subsumes possible sign-action (like qualities related to whatever would be similar to them). Once we realize that the triadic sign’s components are each answerable to this asymmetric (...) subsumption, we obtain the means to track at which level of complexity semiosis finds itself, in a given case. Since the bulk of such a “trinitarian” metaphysics would be devoted to countenancing uninterpreted phenomena, I argue that current misgivings about sign-based ontologies are largely misplaced. (shrink)

The unity of consciousness has so far been studied only as a relation holding among the many experiences of a single subject. I investigate whether this relation could hold between the experiences of distinct subjects, considering three major arguments against the possibility of such ‘between-subjects unity’. The first argument, based on the popular idea that unity implies subsumption by a composite experience, can be deflected by allowing for limited forms of ‘experience-sharing’, in which the same token experience belongs to (...) more than one subject. The second argument, based on the phenomenological claim that unified experiences have interdependent phenomenal characters, I show to rest on an equivocation. Finally, the third argument accuses between-subjects unity of being unimaginable, or more broadly a formal possibility corresponding to nothing we can make sense of. I argue that the familiar experience of perceptual co-presentation gives us an adequate phenomenological grasp on what between-subjects unity might be like. (shrink)

Why is there something concrete rather than nothing? There are many suggestions to explain the existence of our world. But a suggestion can rule out all others that leave no concrete thing unexplained and throw up no further why question. One such ultimate explanation may only be found in something that can carry its own explanation within itself. In this article, I attempt to find one such explanation for all existence. A variant of self-explanation, namely self-subsumption—obtaining of a fact (...) literally in virtue of itself—may succeed in offering an ultimate explanation. One suggestion for a self-subsuming principle is that all possible worlds exist; however, it cannot satisfy us in our deep convictions concerning inductive inferences. Thus, I construct a self-subsuming ultimate explanation that is sufficient to fulfil the latter convictions. My hypothesis is based on the Axiological explanation and suggests that all intrinsically valuable possible worlds are required to exist; the latter fact also obtains as one of those intrinsically valuable possibilities and therefore is required to exist. (shrink)

Biomedical research is increasingly a matter of the navigation through large computerized information resources deriving from functional genomics or from the biochemistry of disease pathways. To make such navigation possible, controlled vocabularies are needed in terms of which data from different sources can be unified. One of the most influential developments in this regard is the so-called Gene Ontology, which consists of controlled vocabularies of terms used by biologists to describe cellular constituents, biological processes and molecular functions, organized into hierarchies (...) via the relation of class subsumption. Here we seek to provide a rigorous account of the logic of classification that underlies GO and similar biomedical ontologies. Drawing on Aristotle, we develop a system of axioms and definitions for the treatment of biological classes and instances. (shrink)

To discover affects within Husserl’s texts designates a difficult investigation; it points to a theme of which these texts were forced to speak, even as they were explicitly speaking of regional ontologies and the foundations of sciences. For we may at first wonder: where can affection find a positive role in the rigor of a pure philosophy that seeks to account for its phenomena from within the immanence of consciousness? Does this not mean that the very passivity and foreignness of (...) affect will be overlooked; will it not be continually linked to a Vorstellung that issues as a ray of the pure ego? That is, will the phenomenological account of affect be reduced to the cognition of an object, as Emmanuel Levinas suggests? Yet there are affects in Husserl’s texts that maintain their autonomy and resist subsumption to an objectivating intentionality.We may see this in the Lectures On the Phenomenology of the Consciousness of Internal Time: in the longitudinal intentionality of retention, through which consciousness becomes aware of its elapsed phases without making them into objects—a passive synthesis that gives the flow of time-constituting consciousness the form of a continually deferred auto-affection.1We find it again as early as the fifth Logical Investigation, 2 providing us with the impetus to radicalize Husserlian phenomenology. (shrink)

The Logic of Analogy is a study of the valid logical forms of qualitative and quantitative analogical argument, and the rules pertaining to them. It investigates equally valid conflicting arguments, statistics-based arguments and their utility in science, arguments from precedent used in law-making or law-application, and examines subsumption in analogical terms. Included for purposes of illustration is a large section on Talmudic use of analogical reasoning.

When in doubt, for the embryo. New arguments on the moral status of human embryos. - In the first part of our essay we distinguish the philosophical from the legal and political level of the embryo debate and describe our indirect justification strategy. It consists in renouncing a determination of the dignity-giving φ-properties and instead starting from premises that are undoubted by all discussion partners. In the second part we reconstruct and criticize the species, continuum, identity and potentiality arguments. The (...) species argument only has a certain plausibility, if at all, as a critical argument. From the continuum argument and identity argument we take over the idea of numerical identity (NI) and link it with the core idea of the potentiality argument (P). So we come to the NIP argument: -/- (NIP) -/- (1) Every living human body that is the bearer of (or has) potential φ-properties has dignity. (2) Every viable human embryo is a living human body that is the bearer of (or has) potential φ properties. Therefore, (3) Every viable human embryo has dignity. -/- Reversibly comatose people and newborns are protected because they have the potential to have actual personal characteristics in the future; our thesis is that embryos that are capable of development also have the same potential in moral terms. The basic idea of numerical identity, with which we support the second premise, is that every human being, from embryonic existence to adulthood, forms a physical unity. In a detailed part, we deal with the crown princess, gametes, parthenogenesis, somatic cell, pronuclear stage, biological heteronome early embryo, multiple, fusion, Siamese twin, hydatidiform mole and finally trophoblast problems. In a third part, the indirect argument is supplemented by a metatheoretical cautionary argument. It states that in situations where there is doubt as to whether a being falls within the scope of a moral norm, but there are sufficiently strong reasons for this subsumption, it must be assumed that this is the case if the contrary assumption and the positive effects it may have are in no acceptable proportion to the moral harm that would result if that subsumption were not made. The main result of our considerations is therefore: When in doubt, for the embryo. (shrink)

This thesis contributes to a better conceptual understanding of how self-organized control works. I begin by analyzing the control problem and its solution space. I argue that the two prominent solutions offered by classical cognitive science (centralized control with rich commands, e.g., the Fodorian central systems) and embodied cognitive science (distributed control with simple commands, such as the subsumption architecture by Rodney Brooks) are merely two positions in a two-dimensional solution space. I outline two alternative positions: one is distributed (...) control with rich commands, defended by proponents of massive modularity hypothesis; the other is centralized control with simple commands. My goal is to develop a hybrid account that combines aspects of the second alternative position and that of the embodied cognitive science (i.e., centralized and distributed controls with simple commands). Before developing my account, I discuss the virtues and challenges of the first three. This discussion results in a set of criteria for successful neural control mechanisms. Then, I develop my account through analyzing neuroscientific models of decision-making and control with the theoretical lenses provided by formal decision and social choice theories. I contend that neural processes can be productively modeled as a collective of agents, and neural self-organization is analogous to democratic self-governance. In particular, I show that the basal ganglia, a set of subcortical structures, contribute to the production of coherent and intelligent behaviors through implementing “democratic" procedures. Unlike the Fodorian central system—which is a micro-managing “neural commander-in-chief”—the basal ganglia are a “central election commission.” They delegate control of habitual behaviors to other distributed control mechanisms. Yet, when novel problems arise, they engage and determine the result on the basis of simple information (the votes) from across the system with the principles of neurodemocracy, and control with simple commands of inhibition and disinhibition. By actively managing and taking advantage of the wisdom-of-the-crowd effect, these democratic processes enhance the intelligence and coherence of the mind’s final "collective" decisions. I end by defending this account from both philosophical and empirical criticisms and showing that it meets the criteria for successful solution. (shrink)

According to the PubMed resource from the U.S. National Library of Medicine, over 750,000 scientific articles have been published in the ~5000 biomedical journals worldwide in the year 2007 alone. The vast majority of these publications include results from hypothesis-driven experimentation in overlapping biomedical research domains. Unfortunately, the sheer volume of information being generated by the biomedical research enterprise has made it virtually impossible for investigators to stay aware of the latest findings in their domain of interest, let alone to (...) be able to assimilate and mine data from related investigations for purposes of meta-analysis. While computers have the potential for assisting investigators in the extraction, management and analysis of these data, information contained in the traditional journal publication is still largely unstructured, free-text descriptions of study design, experimental application and results interpretation, making it difficult for computers to gain access to the content of what is being conveyed without significant manual intervention. In order to circumvent these roadblocks and make the most of the output from the biomedical research enterprise, a variety of related standards in knowledge representation are being developed, proposed and adopted in the biomedical community. In this chapter, we will explore the current status of efforts to develop minimum information standards for the representation of a biomedical experiment, ontologies composed of shared vocabularies assembled into subsumption hierarchical structures, and extensible relational data models that link the information components together in a machine-readable and human-useable framework for data mining purposes. (shrink)

Many eminent philosophers of religion and theologians have postulated metaphorical understanding of religious dogmas instead of a literal one. Despite differences all have been sympathetic to Christian moral tradition and to religion in general. They proclaim a "third way" beyond traditional theism and atheism. The metaphorical approach to religious beliefs has gathered momentum in the context of the processes of globalization. The Church however defends traditional, literal interpretation of its dogmas. First, the difference between literal and metaphorical understanding of religious (...) dogmas is explained. Then reasons for and against each position are examined with a conclusion that instead of the “subsumption” of the one paradigm by another, for the undefinite future both should be treated as a justified and autonomous discourses remaining in a dialogue. (shrink)

Cohen’s hostility to Rawls’ justification of the Difference Principle by social facts spawned Cohen’s general thesis that ultimate principles of justice and morality are fact-insensitive, but explain how any fact-sensitive principle is grounded in facts. The problem with this thesis, however, is that when facts F ground principle P, reformulating this relation as the "fact-insensitive" conditional “If F, then P” is trivial and thus explanatorily impotent. Explanatory, hence justificatory, force derives either from subsumption under more general principles, or precisely (...) exhibiting value in light of relevant (actual or hypothetical) facts. In examples where no subsumption occurs, actual facts trivially become hypothetical facts in "fact-insensitive" conditionals, an empty formalism. Indeed, Rawls’ grounding of principles of justice in “conditions of life” can easily be reformulated as a conditional principle “sensitive” only to hypothetical such conditions, and thus formally fact-insensitive in Cohen's sense, for all Cohen’s ire against Rawls’s grounding.Moreover, any plausible “ultimate fact-insensitive principle” must be intricately qualified, which tacit ceteris paribus clauses mask. Each qualification implies prioritisation of one principle over another in conceivable circumstances, and wherever the now qualified principle is given scope, that too implies prioritisation over competing principles in typical circumstances. Any principle is thus sensitive to conceivable circumstances of application, as recognised by more sophisticated intuitionisms. Non-trivial ultimate principles – luck egalitarianism, act utilitarianism, etc. - require defense, which inevitably involves showing how they best interpret and respond to facts about human needs, goals, and capacities in predictable circumstances. Finally, the substantive debate between Rawls and Cohen about which facts are relevant to the DP is only obscured by the doctrine of fact-insensitivity. (shrink)

Photomechanical reprint of papers & review articles from 1974 to 1992 mostly in German, some in Swedish or Danish: AUFSÄTZE ‘Beiträge zu den Beziehungen zwischen Gustav Radbruch & Georg Lukács’ [1979] / ‘Die Entwicklung des rechtstheoretischen Denkens in der Ungarischen Räterepublik’ [1969] / ‘Die Kodifikation & ihr Verfall in der Entwicklungsgeschichte der bürgerlichen Demokratie’ [1978] / ‘Rationalitet och rättens objektifiering’ [1975] / ‘Utopi og Kodifikation’ [1976] / ‘Historisches Wesen & aktuelle Bedeutung der Kodifikation’ [1977] / ‘Rechtssetzung als Objektivationsprozesses’ [1979] / (...) ‘Die ministerielle Begründung in rechtsphilosophischer Sicht’ [1977] / ‘Moderne Staatlichkeit & modernes formales Recht’ [1982] / ‘Leibniz & die Frage der rechtlichen Systembildung’ [1973] / ‘Der Systemcharacter des Rechts’ [1979] / ‘Die grundlegende Gesellschaftlichkeit der Rechtsanwendung’ [1978] / ‘Über die Rechtsanwendung (Ontologische Überlegungen)’ [1986] / ‘Recht & Rechtsverwirklichung (»Juristischer Weltbild«, Subsumption & Manipulation)’ [1979] / ‘Hans Kelsens Rechtsanwendungslehre (Entwicklung, Mehrdeutigkeiten, offene Probleme, Perspektiven)’ [1986] / ‘Geltung des Rechts – Wirksamkeit des Rechts’ [1978] / ‘Heterogeneität & Geltung des Rechts’ [1979] / ‘Hans Kelsens’ Reine Rechtslehre – gestern, heute, morgen’ [1988] / ‘Für die Selbständigkeit der Rechtspolitik’ [1985] / ‘Die Gewaltenteilung (Ideologie & Utopie im politischen Denken)’ [1984] / ‘Rechtskultur – Denkkultur’ [1988] // ZUSAMMENFASSUNGEN / REZENSIONEN [by & on the author]. (shrink)

This thesis studies the formation of rules of experience in Weberian methodology and its adequacy to scientific validation criteria. It was sought to investigate, in the first part of the work, a proposal of justification for the so-called eligibility criteria. It was also tried to explain the meaning used in this research of the term “reason”, which is based on the theoretical conception of the operative reason exposed by Newton da Costa. Again, with the help of the writings of the (...) same author, we have examined those, so named by him, pragmatic principles of scientific reason. The second section of this study presented the three eligibility criteria, namely: i) the difference between to be (sein) and to ought to be (sollen); ii) the possibility of subsumption of individual action; iii) the construction of concepts as ideal types. In the third part of this work, rationally correct action was justified as an anticipated conjecture for a reflexive operation. However, it was supported that there is a significant difference in relation to the rules of experience when applied for the construction of the agent’s actions and in their use for validating the imputation of causal links between social phenomena. In order to validate the results of the research, the rules of experience must be cleverly designed to be general propositions of the experiment, and for this, the characterization of these rules was based in the so-called “Fermi solution”. Subsequent to this methodological proposal, we pondered how the scientist conducts a thought experiment in the empirical sciences of action and the judgment of objective possibility as a counterfactual proposition was logically structured. Thus, we tried to demonstrate the logical structure of the validation mode of knowledge produced in the empirical sciences of action from Weberian pattern. (shrink)

By transcendental aesthetic, Kant means “the science of all principles of a priori sensibility” (A 21/B 35). These, he argues, are the laws that properly direct our judgments of taste (B 35 – 36 fn.), i.e. our aesthetic judgments as we ordinarily understand that notion in the context of contemporary art. Thus the first part of the Critique of Pure Reason, entitled the Transcendental Aesthetic, enumerates the necessary presuppositions of, among other things, our ability to make empirical judgments about particular (...) works of art. These presuppositions are sensible rather than intellectual because on Kant's view, all intellection that considers objects of any kind, whether abstract or concrete, must at base connect to actual, material objects with which we come into direct contact; and this we can do only through sensibility (A 19/B 33). Thus the following discussion explores what Kant claims must be true of us in order to make the sorts of aesthetic judgments we make, rather than any particular class or quality of aesthetic judgments itself. On Kant's view, what must be true of us in order to make aesthetic judgments is not different from what must be true of us in order to make any other kind of judgment about empirical objects. This last point is worth emphasizing, in order to correct an interpretation of Kant's account of aesthetic judgment in the Critique of Judgment that wrongly reads Kant as claiming that aesthetic judgments do not have to satisfy the same basic requirements of judgment that any other kind of judgment also must satisfy, such as the synthetic subsumption of such objects under certain necessary and hard-wired concepts of understanding, the internal coherence of such judgments with other, non-aesthetic ones of a more abstract and comprehensive character, the unified consciousness within which such judgments are intelligibly made, and the like. Of course Kant recognizes the special character of aesthetic judgments and unpacks it in the... (shrink)

In 1931, Evgeny Pashukanis, the distinguished Soviet jurist, author of “The General Theory of Law and Marxism”, following an invitation to celebrate the centenary of Hegel’s death, published an assay entitled “Hegel, the State and Law” (Гегель. Государство и право) aimed to demistify, through a brief retrospective of Hegelian’s philosophy, its specific use, something achieved through the bourgeois ideology which, at some point in history, abandoned Kantism and its followers to embrace Neo-Hegelianism as a philosophy of domination and social control. (...) In this unpublished text, Pashukanis reflects, from a Marxist and Leninist point of view, on the ability to use Hegel as a bourgeois defense tool, when a particular society, specifically the one from the 1920s to the 1930s, began to be affected by the fear of communism and by the crises that endanger its very survival. From this angle, the capitalist interest - following Pashukanisian interpretation of Hegel - will only develop in the terms of a scientific elimination of all those subversive potentials that the economic crisis is destined to produce, thus reformulating the notions of State and Law which, in between obedience, discipline and defense of the homeland, come to assert the official recognition of the inexorably crushed proletariat in a condition in which all relations of production and social reproduction are transferred to the realm of exploitation, as its definitive subsumption to capital. (shrink)

This paper investigates the prospects of Rodney Brooks’ proposal for AI without representation. It turns out that the supposedly characteristic features of “new AI” (embodiment, situatedness, absence of reasoning, and absence of representation) are all present in conventional systems: “New AI” is just like old AI. Brooks proposal boils down to the architectural rejection of central control in intelligent agents—Which, however, turns out to be crucial. Some of more recent cognitive science suggests that we might do well to dispose of (...) the image of intelligent agents as central representation processors. If this paradigm shift is achieved, Brooks’ proposal for cognition without representation appears promising for full-blown intelligent agents—Though not for conscious agents. (shrink)

This article draws on several crucial and unpublished manuscripts from the Scholem Archive in exploration of Gershom Scholem's youthful statements on mathematics and its relation to extra-mathematical facts and, more broadly, to a concept of history that would prove to be consequential for Walter Benjamin's own thinking on "messianism" and a "futuristic politics." In context of critiquing the German Youth Movement's subsumption of active life to the nationalistic conditions of the "earth" during the First World War, Scholem turns to (...) mathematics for a genuine and self-consistent theory of action. In the concept of actual infinity (in Cantor and Bolzano) he finds an explanation of how mathematics relates to "the physical" without reducing the former to an "image" of the latter, and without relying on the concept of geometric intuition. This explanation, insofar as it relies on the notion of actual infinity, provides Scholem with a conception of mathematics (and the history of mathematics) that reconciles freedom and necessity—remarks on which he outlines in his diaries and communicates to Benjamin in early March 1916. (shrink)

Some patterns call out for explanation, in the sense that we have a pro tanto reason to reject theories that do not give them an appropriate explanation. I argue that certain modal patterns call out for explanation in this way—and this provides a reason to reject certain theories of modality that fail to explain such patterns. However, I also consider a response to this argument, which claims that the modal patterns do not need explanation. This response might be viable but (...) it involves some substantial commitments about the nature of explanation. (shrink)

In the domain of ontology design as well as in Knowledge Representation, modeling universals is a challenging problem.Most approaches that have addressed this problem rely on Description Logics (DLs) but many difficulties remain, due to under-constrained representation which reduces the inferences that can be drawn and further causes problems in expressiveness. In mathematical logic and program checking, type theories have proved to be appealing but, so far they have not been applied in the formalization of ontologies. To bridge this gap, (...) we present in this paper a theory for representing ontologies in a dependently typed framework which relies on strong formal foundations including both a constructive logic and a functional type system. The language of this theory defines in a precise way what ontological primitives such as classes, relations, properties, etc., and thereof roles, are. The first part of the paper details how these primitives are defined and used within the theory. In a second part, we focus on the formalization of the role primitive. A review of significant role properties leads to the specification of a role profile and most of the remaining work details through numerous examples, how the proposed theory is able to fully satisfy this profile. It is demonstrated that dependent types can model several non-trivial aspects of roles including a formal solution for generalization hierarchies, identity criteria for roles and other contributions. A discussion is given on how the theory is able to cope with many of the constraints inherent in a good role representation. (shrink)