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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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.

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)

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)

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)

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)

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 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)

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)

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)

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)

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)

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)

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)

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)