What does it look like when a group of scientists set out to re-envision an entire field of biology in symbolic and formal terms? I analyze the founding and articulation of Numerical Taxonomy between 1950 and 1970, the period when it set out a radical new approach to classification and founded a tradition of mathematics in systematic biology. I argue that introducing mathematics in a comprehensive way also requires re-organizing the daily work of scientists in the field. Numerical taxonomists (...) sought to establish a mathematical method for classification that was universal to every type of organism, and I argue this intrinsically implicated them in a qualitative re-organization of the work of all systematists. I also discuss how Numerical Taxonomy’s re-organization of practice became entrenched across systematic biology even as opposing schools produced their own competing mathematical methods. In this way, the structure of the work process became more fundamental than the methodological theories that motivated it. (shrink)

A set of parameters for classifying composition operations is introduced. These parameters determine whether a composition operation is 1) universal, 2) determinate, 3) whether there is a difference between possible and actual compositions, 4) whether there can be singleton compositions, 5) whether they give rise to a hierarchy, and 6) whether components of compositions can be repeated. Philosophical implications of these parameters (in particular in relation to set theory) and mereology are discussed.

If I take a free decision, how does this express itself physically? If God acts in this world, how does he do so? The answers to those two questions may be different or the same. Here we sketch a typology of possible answers, including Transcendent Compatibility. It turns out that in an open universe, freedom is the timewise mirror image of causality.

This paper defends an ontology of weak entity realism for homeostatic property cluster (HPC) theories of natural kinds, adapted from Bird’s (Synthese 195(4):1397–1426, 2018) taxonomy of such theories. Weak entity realism about HPC kinds accepts the existence of natural kinds. Weak entity realism denies two theses: that (1) HPC kinds have mind-independent essences, and that (2) HPC kinds reduce to entities, such as complex universals, posited only by metaphysical theories. Strong entity realism accepts (1) and (2), whereas moderate entity (...) realism accepts only (1). Given its commitment to (2), strong entity realism is more theoretically complex than weak entity realism, with little explanatory payoff. Given their commitment to (1), moderate and strong entity realisms cannot explain how the identity conditions of HPC kinds are to be straightforwardly knowable. I argue that weak entity realism avoids such epistemic difficulties. I further rebut two plausible criticisms of weak entity realism, namely that weak entity realism cannot account for quantification over kinds, and that weak entity realism cannot provide identity conditions for HPC kinds which are both scientifically useful and objective. Given the theoretical costs of strong and moderate entity realism, and weak entity realism’s adequate response to its most plausible challenges, weak entity realism about HPCs is to be preferred, especially for biological and chemical kinds. (shrink)

We discuss the one–many problem as it appears in the Philebus and find that it is not restricted to the usually understood problem about the identity of universals across particulars that instantiate them (the Hylomorphic Dispersal Problem). In fact some of the most interesting aspects of the problem occur purely with respect to the relationship between Forms. We argue that contemporary metaphysicians may draw from the Philebus at least three different one–many relationships between universals themselves: instantiation, subkind and part, and (...) thereby construct three new ‘problems of the one and the many’ (an Eidetic Dispersal Problem, a Genus–Species Problem, and an Eidetic Combination Problem), which are as problematic as the version generally discussed. We then argue that this taxonomy sheds new and interesting light on certain discussions of higher-order universals in recent Australian analytic philosophy. (shrink)

The text discusses Linnaeus’ binominal classification and the idea of mathesis unversalis of Leibniz in the ground of Michel Foucault’s conception of ‘epistema’ as well the connexion of XVIII century’s representation of universal order with viewpoints of Descartes (Rules for the Direction of the Mind) and Kant (The Critique of Pure Reason, The Critique of (the Power of) Judgment).

Review of OUP volume on collective emotions which provides a taxonomy of the different theories, raising potential objections for each.

Nostalgia and food are intertwined universals in human experience. All of us have experienced nostalgia centered on food, and all of us have experienced food infused with nostalgia. To explore the links between nostalgia and food, I start with a rough taxonomy of nostalgic foods, and illustrate it with examples. Despite their diversity, I argue that there is a psychological commonality to experiencing nostalgic foods of all kinds: imagination. On my account, imagination is the key to understanding the cognitive, (...) conative, affective, and perceptual aspects of experiencing nostalgic foods. In turn, the recognition of imagination’s centrality in experiencing nostalgic foods reveals how food can produce aesthetic experiences comparable to those produced by literature and painting. (shrink)

Freedom of speech in universities is currently an issue of widespread concern and debate. Recent empirical findings in the UK shed some light on whether speech is unduly restricted in the university, but it suffers from two limitations. First, the results appear contradictory. Some studies show that the issue of free speech is overblown by media reportage, whilst others track serious concerns about free speech arising from certain university policies. Second, the findings exclude important issues concerning restrictions to speech on (...) campus that fall outside of the traditional debate around violations to free speech rights. This is particularly the case when certain voices are excluded from important policy conversations, and in issues around diversifying the curriculum. This paper overcomes these two limitations by developing a novel conceptual framework within which to situate current debates concerning speech related matters in universities. It does so by developing a taxonomy around the concept of ‘silencing’. It then considers the current issue of speech matters in universities within this framework to determine whether, and to what extent, speech is indeed unduly restricted, and where this is a concern for free speech violations, and where it falls outside of this issue. (shrink)

This paper aims to argue for, else illustrate the epistemological significance of the use of non transitive similarity relations, mapping only to "types", as methodologically being on a par with the use of transitive similarity relations (equivalence relations), mapping as well to "predicates". -/- In this paper the sketch of an exact but simple geometrical model of the above construct is followed by mentioning respective use cases for non transitive similarity relations from science and humanities. A well known metaphysics example (...) is elaborated along these lines to some extent. (shrink)

Rule-Consequentialism faces “the problem of partial acceptance”: How should the ideal code be selected given the possibility that its rules may not be universally accepted? A new contender, “Calculated Rates” Rule-Consequentialism claims to solve this problem. However, I argue that Calculated Rates merely relocates the partial acceptance question. Nevertheless, there is a significant lesson from this failure of Calculated Rates. Rule-Consequentialism’s problem of partial acceptance is more helpfully understood as an instance of the broader problem of selecting the ideal code (...) given various assumptions—assumptions about who will accept and comply with the rules, but also about how the rules will be taught and enforced, and how similar the future will be. Previous rich discussions about partial acceptance provide a taxonomy and groundwork for formulating the best version of Rule-Consequentialism. (shrink)

According to the normative approach, speech acts are governed by certain norms. Interestingly, the same is true for classes of speech acts. This paper considers the normative treatment of constatives, consisting of such classes as assertives, predictives, suggestives, and more. The classical approach is to treat these classes of illocutions as species of constatives. Recently, however, Simion (Shifty Speech and Independent Thought: Epistemic Normativity in Context, Oxford University Press, 2021) has proposed that all constatives (i) are species of assertion, and (...) (ii) are governed by the knowledge norm. I defend the classical treatment of constatives and show that Simion’s conclusion is untenable. No taxonomy of speech acts can accommodate such a view. More importantly, we can test whether a particular speech act is an assertion or not. I propose five tests of assertion, the passing of which is a necessary condition for being an assertion. Some constative speech acts fail these tests. Thus, contrary to Simion, not all constatives can be regarded as species of assertion. (shrink)

The paper lays the foundations for a duty of sustainable property use based on Kant’s Doctrine of Right. In doing so, it contributes to the project of extending the application of Kant’s philosophy to environmental issues so as to include his legal-political philosophy. After providing some context, focusing in particular on Kant’s property argument, I present and critically evaluate a recent argument for a duty of sustainable property use, put forward by Attila Ataner. Then, I draw on Reinhard Brandt’s and (...) Katrin Flikschuh’s interpretation of Kant’s permissive law in order to develop my own argument. According to my account, the duty of sustainable property use is rooted in Kant’s property argument, it is best construed in terms of interpersonal freedom, and it has a structure resembling that of duties of distributive justice. Unlike Ataner’s, my argument proceeds entirely within the domain of interpersonal freedom; it focuses clearly on the normative sense of usability; it does not overgenerate obligations; and it categorises the duty of sustainable property use within Kant’s taxonomy of duties. It thus constitutes a promising starting point to further investigate the connection between sustainability, Kant’s property argument and its use of a permissive law, and the Universal Principle of Right. (shrink)

Background Retraction is a mechanism for alerting readers to unreliable material and other problems in the published scientific and scholarly record. Retracted publications generally remain visible and searchable, but the intention of retraction is to mark them as “removed” from the citable record of scholarship. However, in practice, some retracted articles continue to be treated by researchers and the public as valid content as they are often unaware of the retraction. Research over the past decade has identified a number of (...) factors contributing to the unintentional spread of retracted research. The goal of the Reducing the Inadvertent Spread of Retracted Science: Shaping a Research and Implementation Agenda (RISRS) project was to develop an actionable agenda for reducing the inadvertent spread of retracted science. This included identifying how retraction status could be more thoroughly disseminated, and determining what actions are feasible and relevant for particular stakeholders who play a role in the distribution of knowledge. -/- Methods These recommendations were developed as part of a year-long process that included a scoping review of empirical literature and successive rounds of stakeholder consultation, culminating in a three-part online workshop that brought together a diverse body of 65 stakeholders in October–November 2020 to engage in collaborative problem solving and dialogue. Stakeholders held roles such as publishers, editors, researchers, librarians, standards developers, funding program officers, and technologists and worked for institutions such as universities, governmental agencies, funding organizations, publishing houses, libraries, standards organizations, and technology providers. Workshop discussions were seeded by materials derived from stakeholder interviews (N = 47) and short original discussion pieces contributed by stakeholders. The online workshop resulted in a set of recommendations to address the complexities of retracted research throughout the scholarly communications ecosystem. -/- Results The RISRS recommendations are: (1) Develop a systematic cross-industry approach to ensure the public availability of consistent, standardized, interoperable, and timely information about retractions; (2) Recommend a taxonomy of retraction categories/classifications and corresponding retraction metadata that can be adopted by all stakeholders; (3) Develop best practices for coordinating the retraction process to enable timely, fair, unbiased outcomes; and (4) Educate stakeholders about pre- and post-publication stewardship, including retraction and correction of the scholarly record. -/- Conclusions Our stakeholder engagement study led to 4 recommendations to address inadvertent citation of retracted research, and formation of a working group to develop the Communication of Retractions, Removals, and Expressions of Concern (CORREC) Recommended Practice. Further work will be needed to determine how well retractions are currently documented, how retraction of code and datasets impacts related publications, and to identify if retraction metadata (fails to) propagate. Outcomes of all this work should lead to ensuring retracted papers are never cited without awareness of the retraction, and that, in public fora outside of science, retracted papers are not treated as valid scientific outputs. (shrink)

The aim of this doctoral thesis is to bridge the gap between theoretical ideals of authenticity and practical authenticity-related problems in healthcare. In this context, authenticity means being "genuine," "real," "true to oneself," or similar, and is assumed to be closely connected to the autonomy of persons. The thesis includes an introduction and four articles related to authenticity. The first article collects various theories intended to explain the distinction between authenticity and inauthenticity in a taxonomy that enables oversight and (...) analysis. It is argued that (in-)authenticity is difficult to observe in others. The second article offers a solution to this difficulty in one theory of authenticity. It is proposed that under certain circumstances, it is morally justified to judge that the desires underlying a person's decisions are inauthentic. The third article incorporates this proposition into an already established theory of personal autonomy. It is argued that the resulting conceptualization of autonomy is fruitful for action-guidance in authenticity-related problems in healthcare. The fourth article collects nine cases of possible authenticity-related problems in healthcare. The theory developed in the third article is applied to the problems, when this is allowed by the case-description, to provide guidance with regard to them. It is argued that there is not one universal authenticity-related problem but many different problems, and that there is thus likely not one universal solution to such problems but various particular solutions. (shrink)

Worker well-being is a hot topic in organizations, consultancy and academia. However, too often, the buzz about worker well-being, enthusiasm for new programs to promote it and interest to research it, have not been accompanied by universal enthusiasm for scientific measurement. Aim to bridge this gap, we address three questions. To address the question ‘What is worker well-being?’, we explain that worker well-being is a multi-facetted concept and that it can be operationalized in a variety of constructs. We propose (...) a four-dimensional taxonomy of worker well-being constructs to illustrate the concept’s complexity and classify ten constructs within this taxonomy. To answer the question ‘How can worker well-being constructs be measured?’, we present two aspects of measures: measure obtrusiveness (i.e., the extent to which obtaining a measure interferes with workers’ experiences) and measure type (i.e., closed question survey, word, behavioral and physiological). We illustrate the diversity of measures across our taxonomy and uncover some hitherto under-appreciated avenues for measuring worker well-being. Finally, we address the question ‘How should a worker well-being measure be selected?’ by discussing conceptual, methodological, practical and ethical considerations when selecting a measure. We summarize these considerations in a short checklist. It is our hope that with this study researchers – working in organizations, in academia or both – will feel more competent to find effective strategies for the measurement worker well-being and eventually make policies and choices with a better understanding of what drives worker well-being. (shrink)

Let us start by some general definitions of the concept of complexity. We take a complex system to be one composed by a large number of parts, and whose properties are not fully explained by an understanding of its components parts. Studies of complex systems recognized the importance of “wholeness”, defined as problems of organization (and of regulation), phenomena non resolvable into local events, dynamics interactions in the difference of behaviour of parts when isolated or in higher configuration, etc., in (...) short, systems of various orders (or levels) not understandable by investigation of their respective parts in isolation. In a complex system it is essential to distinguish between ‘global’ and ‘local’ properties. Theoretical physicists in the last two decades have discovered that the collective behaviour of a macro-system, i.e. a system composed of many objects, does not change qualitatively when the behaviour of single components are modified slightly. Conversely, it has been also found that the behaviour of single components does change when the overall behaviour of the system is modified. There are many universal classes which describe the collective behaviour of the system, and each class has its own characteristics; the universal classes do not change when we perturb the system. The most interesting and rewarding work consists in finding these universal classes and in spelling out their properties. This conception has been followed in studies done in the last twenty years on second order phase transitions. The objective, which has been mostly achieved, was to classify all possible types of phase transitions in different universality classes and to compute the parameters that control the behaviour of the system near the transition (or critical or bifurcation) point as a function of the universality class. This point of view is not very different from the one expressed by Thom in the introduction of Structural Stability and Morphogenesis (1975). It differs from Thom’s program because there is no a priori idea of the mathematical framework which should be used. Indeed Thom considers only a restricted class of models (ordinary differential equations in low dimensional spaces) while we do not have any prejudice regarding which models should be accepted. One of the most interesting and surprising results obtained by studying complex systems is the possibility of classifying the configurations of the system taxonomically. It is well-known that a well founded taxonomy is possible only if the objects we want to classify have some unique properties, i.e. species may be introduced in an objective way only if it is impossible to go continuously from one specie to another; in a more mathematical language, we say that objects must have the property of ultrametricity. More precisely, it was discovered that there are conditions under which a class of complex systems may only exist in configurations that have the ultrametricity property and consequently they can be classified in a hierarchical way. Indeed, it has been found that only this ultrametricity property is shared by the near-optimal solutions of many optimization problems of complex functions, i.e. corrugated landscapes in Kauffman’s language. These results are derived from the study of spin glass model, but they have wider implications. It is possible that the kind of structures that arise in these cases is present in many other apparently unrelated problems. Before to go on with our considerations, we have to pick in mind two main complementary ideas about complexity. (i) According to the prevalent and usual point of view, the essence of complex systems lies in the emergence of complex structures from the non-linear interaction of many simple elements that obey simple rules. Typically, these rules consist of 0–1 alternatives selected in response to the input received, as in many prototypes like cellular automata, Boolean networks, spin systems, etc. Quite intricate patterns and structures can occur in such systems. However, what can be also said is that these are toy systems, and the systems occurring in reality rather consist of elements that individually are quite complex themselves. (ii) So, this bring a new aspect that seems essential and indispensable to the emergence and functioning of complex systems, namely the coordination of individual agents or elements that themselves are complex at their own scale of operation. This coordination dramatically reduces the degree of freedom of those participating agents. Even the constituents of molecules, i.e. the atoms, are rather complicated conglomerations of subatomic particles, perhaps ultimately excitations of patterns of superstrings. Genes, the elementary biochemical coding units, are very complex macromolecular strings, as are the metabolic units, the proteins. Neurons, the basic elements of cognitive networks, themselves are cells. In those mentioned and in other complex systems, it is an important feature that the potential complexity of the behaviour of the individual agents gets dramatically simplified through the global interactions within the system. The individual degrees of freedom are drastically reduced, or, in a more formal terminology, the factual space of the system is much smaller than the product of the state space of the individual elements. That is one key aspect. The other one is that on this basis, that is utilizing the coordination between the activities of its members, the system then becomes able to develop and express a coherent structure at a higher level, that is, an emergent behaviour (and emergent properties) that transcends what each element is individually capable of. (shrink)

Proceedings of the papers presented at the Symposium on "Revisiting Turing and his Test: Comprehensiveness, Qualia, and the Real World" at the 2012 AISB and IACAP Symposium that was held in the Turing year 2012, 2–6 July at the University of Birmingham, UK. Ten papers. - http://www.pt-ai.org/turing-test --- Daniel Devatman Hromada: From Taxonomy of Turing Test-Consistent Scenarios Towards Attribution of Legal Status to Meta-modular Artificial Autonomous Agents - Michael Zillich: My Robot is Smarter than Your Robot: On the Need (...) for a Total Turing Test for Robots - Adam Linson, Chris Dobbyn and Robin Laney: Interactive Intelligence: Behaviour-based AI, Musical HCI and the Turing Test - Javier Insa, Jose Hernandez-Orallo, Sergio España - David Dowe and M.Victoria Hernandez-Lloreda: The anYnt Project Intelligence Test (Demo) - Jose Hernandez-Orallo, Javier Insa, David Dowe and Bill Hibbard: Turing Machines and Recursive Turing Tests — Francesco Bianchini and Domenica Bruni: What Language for Turing Test in the Age of Qualia? - Paul Schweizer: Could there be a Turing Test for Qualia? - Antonio Chella and Riccardo Manzotti: Jazz and Machine Consciousness: Towards a New Turing Test - William York and Jerry Swan: Taking Turing Seriously (But Not Literally) - Hajo Greif: Laws of Form and the Force of Function: Variations on the Turing Test. (shrink)

Compare two conceptions of validity: under an example of a modal conception, an argument is valid just in case it is impossible for the premises to be true and the conclusion false; under an example of a topic-neutral conception, an argument is valid just in case there are no arguments of the same logical form with true premises and a false conclusion. This taxonomy of positions suggests a project in the philosophy of logic: the reductive analysis of the modal (...) conception of logical consequence to the topic-neutral conception. Such a project would dispel the alleged obscurity of the notion of necessity employed in the modal conception in favour of the clarity of an account of logical consequence given in terms of tractable notions of logical form, universal generalization and truth simpliciter. In a series of publications, John Etchemendy has characterized the model-theoretic definition of logical consequence as truth preservation in all models as intended to provide just such an analysis. In this paper, I will argue that Aristotle intends to provide an account of a modal conception of logical consequence in topic-neutral terms and so is engaged in a project comparable to the one described above. That Aristotle would be engaged in this sort of project is controversial. Under the standard reading of the Prior Analytics, Aristotle does not and cannot provide an account of logical consequence. Rather, he must take the validity of the first figure syllogisms (such as the syllogism known by its medieval mnemonic ‘Barbara’: A belongs to all B; B belongs to all C; so A belongs to all C) as obvious and not needing justification; he then establishes the validity of the other syllogisms by showing that they stand in a suitable relation to the first figure syllogisms. I will argue that Aristotle does attempt to provide an account of logical consequence—namely, by appeal to certain mereological theorems. For example, he defends the status of Barbara as a syllogism by appeal to the transitivity of mereological containment. There are, as I will discuss, reasons to doubt the success of this account. But the attempt is not implausible given certain theses Aristotle holds in semantics, mereology and the theory of relations. (shrink)

Ethnobiology has a long tradition of metaphysical debates about the “naturalness,” “objectivity”, “reality”, and “universality” of classifications. Especially the work of Brent Berlin has been influential in developing a “convergence metaphysics” that explains cross-cultural similarities of knowledge systems through shared recognition of objective discontinuities in nature. Despite its influence on the development of the field, convergence metaphysics has largely fallen out of favor as contemporary ethnobiologists tend to emphasize the locality and diversity of classificatory practices. The aim of this article (...) is twofold: First, I provide a historical account of the rise and fall of convergence metaphysics in ethnobiology. I show how convergence metaphysics emerged as an innovative theoretical program in the wake of the “cognitive revolution” and the “modern evolutionary synthesis” but failed to incorporate both theoretical insights and political concerns that gained prominence in the 1980s and 1990s. Second, I develop a positive proposal of how to engage with metaphysical issues in ethnobiology. By integrating traditional research on convergence of classifications with more nuanced accounts of distinctly local categories, a revamped metaphysics of ethnobiological classification can make substantial contributions to debates about ontological difference in anthropology and about the relation between applied and theoretical ethnobiology. (shrink)

The ethos of Justin Smith’s Nature, Human Nature, & Human Difference is expressed in the narrative of Anton Wilhelm Amo (~1703-53), an African-born​ slave who earned his doctoral degree in Philosophy at a European university and went on to teach at the Universities of Jena and Halle. Smith identifies Amo as a time-marker for diverging interpretations of race: race as inherently tethered to physical difference and race as inherited essential difference. Further, these interpretations of race are fastened to the discourse (...) of science and human diversity within modern Europe. Smith’s thesis maintains that the rise of the concept of race in philosophy begins with a divorcing of the soul from human nature and a movement to a naturalistic classification of human beings through taxonomies (e.g. botany, mineralogy and zoology), which dissolved into this dichotomy: an essential difference between people of reason and people of nature. (shrink)

Considering the war context and the emergence of the avant-garde in the early twentieth century, I base on this work the reasons why the presence of the concept of nivola, attributed by Miguel de Unamuno to refer to the literary technique used in his novel Mist (1914), provokes a possible confrontation between universes composed of elements of reality and the virtual. In that sense, it will be appropriate to explain the procedure that originates that collision of established plans. For this, (...) I will resort to literary categories that support the theories of fiction, according to the perception of Thomas Pavel and Marie-Laure Ryan. (shrink)

Canada, as one of the three Allied nations collaborating on atomic energy development during the Second World War, had an early start in applying its new knowledge and defining a new profession. Owing to postwar secrecy and distinct national aims for the field, nuclear engineering was shaped uniquely by the Canadian context. Alone among the postwar powers, Canadian exploration of atomic energy eschewed military applications; the occupation emerged within a governmental monopoly; the intellectual content of the discipline was influenced by (...) its early practitioners, administrators, scarce resources, and university niches; and a self-recognized profession coalesced later than did its American and British counterparts. This paper argues that the history of the emergence of Canadian nuclear engineers exemplifies unusually strong shaping of technical expertise by political and cultural context. (shrink)

Abstract: What follows is a contribution to the field of user modeling for adaptive teaching and learning programs especially in the medical field. The paper outlines existing approaches to the problem of extracting user information in a form that can be exploited by adaptive software. We focus initially on the so-called stereotyping method, which allocates users into classes adaptively, reflecting characteristics such as physical data, social background, and computer experience. The user classifications of the stereotyping method are however ad hoc (...) and unprincipled, and they can be exploited by the adaptive system only after a large number of trials by various kinds of users. We argue that the remedy is to create a database of user ontologies from which readymade taxonomies can be derived in such a way as to enable associated software to support a variety of different types of users. (shrink)

This paper concerns two topics which, I hope to show, are vitally connected. One is the distinctive importance of appellate adjudication in the legal system of United States. The other is the workings of entangled concepts in the law. That appellate adjudication is important in some sense may seem obvious to everybody (to a few it will seem obvious that appellate adjudication is unimportant). My point will be that via appellate adjudication courts engineer entangled legal concepts, and it is this (...) aspect of appellate adjudication that is both crucial and unique to it, at least in the U.S. legal system. Entangled concepts intertwine description and evaluation; entangled legal concepts facilitate and constrain legal reasoning and legal judgments, in ways that distinguish legal adjudication from pure politics or the implementation of public policy. In the paper itself, I demonstrate more fully what it is for a legal concept to be an entangled one and how entanglement supplies guidance in adjudication. I also broach how entanglement in legal concepts and engineered entanglement have significance for legal pedagogy; appellate adjudication; the respective roles of the judiciary, the legislature, and administrative agencies; the erosion of the distinction between so-called public law and so-called private law; and our understanding of the fact/value distinction. -/- Understanding more specifically the nature of the entanglement at work in appellate adjudication requires much closer scrutiny of appellate opinions than we usually give. I examine carefully the background to MacPherson v. Buick and Justice Benjamin Cardozo’s particular re-engineering of ‘negligence’ and ‘duty,’ entangled concepts belonging to the same legal taxonomy. Via this scrutiny, I demonstrate the flaws in the engineering of some concepts in the buildup to MacPherson, and how these flaws led to those concepts’ collapse and ultimately to Cardozo’s re-engineering of ‘negligence’ and ‘duty.’ I also explain why careful understanding of the engineering of entangled legal concepts can make us appreciate that even the most successful of such concepts have within in them the grounds for their own obsolescence. -/- To show that conceptual engineering of entangled concepts occurs outside the context of state common law, I also examine how the U.S. Supreme Court has engineered ‘commerce’, itself an entangled concept. The recent decision regarding the individual mandate in the Affordable Care Act makes this example particularly timely. This secondary example also clarifies the nature of entanglement and engineering it. -/- This article concerns appellate adjudication in any area of law. I maintain that whether we are dealing with private law or public law, common law or statutory law or Constitutional law, the defining feature of appellate adjudication is its continuous engineering and reengineering of entangled legal concepts. The merger of fact and value in these concepts explains both the fertility of appellate adjudication and the constraints judges work with when they work with legal concepts that entangle fact and value. (shrink)

This paper sought to investigate the fundamental differences in mathematics education through a comparison of curriculum of 2 countries—Singapore and Canada (as represented by Ontario)—in order to discover what the Ontario education system may learn from Singapore in terms of mathematics education. Mathematics curriculum were collected for Grades 1 to 8 for Ontario, and the equivalent in Singapore. The 2 curriculums were textually analyzed based on both the original and the revised Bloom’s taxonomy to expose their foci. The difference (...) in focus was then compared and discussed to find the best ways to improve the Ontario mathematics curriculum. With one of the best education systems in North America, the Ontario mathematics curriculum would only need to refocus its attention towards a more balanced approach, with greater focus on understanding through practices. Ontario would benefit greatly from a deeper research into the Singaporean math curriculum. (shrink)

In this paper, I argue that there are universals. I begin (Sect. 1) by proposing a sufficient condition for a thing’s being a universal. I then argue (Sect. 2) that some truths exist necessarily. Finally, I argue (Sects. 3 and 4) that these truths are structured entities having constituents that meet the proposed sufficient condition for being universals.

Như thế, hôm nay chính là ngày đầu tiên bước sang tuổi lên 7 của ISR, mặc dù nếu đếm năm, thì đã sang năm thứ 7 kể từ 1-1-2023 rồi.

This paper provides an axiomatic formalization of a theory of foundational relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the is-a relation among universals and the part-of relation among individuals as well as cross-category relations such as instance-of, member-of, and partition-of. We show that an adequate understanding of the formal properties of such relations – in particular their behavior with respect to time – is critical (...) for formal ontology. We provide examples to support this thesis from the domain of biomedicine. (shrink)

"Is research in social sciences in Vietnam lagging behind?" is the big question that Prof. Vuong Quan Hoang from NVSSH, a network of researchers in social sciences and humanities under Phenikka University, and his co-workers conducted a survey to find why this had occurred.

Structural universals are a kind of complex universal. They have been put to work in a variety of philosophical theories but are plagued with problems concerning their compositional nature. In this article, we will discuss the following questions. What are structural universals? Why believe in them? Can we give a consistent account of their compositional nature? What are the costs of doing so?

Scientific journal presented by Bogdan Khmelnitsky Melitopol State Pedagogical University, Ukraine, Melitopol. Main points: 1. Actual Problems of Modern Philosophy 2. Researches in Philosophy connected with natural components, sociological aspects and self - identity development.

We discuss a well-known puzzle about the lexicalization of logical operators in natural language, in particular connectives and quantifiers. Of the many logically possible operators, only few appear in the lexicon of natural languages: the connectives in English, for example, are conjunction _and_, disjunction _or_, and negated disjunction _nor_; the lexical quantifiers are _all, some_ and _no_. The logically possible nand (negated conjunction) and Nall (negated universal) are not expressed by lexical entries in English, nor in any natural language. (...) Moreover, the lexicalized operators are all upward or downward monotone, an observation known as the Monotonicity Universal. We propose a logical explanation of lexical gaps and of the Monotonicity Universal, based on the dynamic behaviour of connectives and quantifiers. We define update potentials for logical operators as procedures to modify the context, under the assumption that an update by \( \phi \) depends on the logical form of \( \phi \) and on the speech act performed: assertion or rejection. We conjecture that the adequacy of update potentials determines the limits of lexicalizability for logical operators in natural language. Finally, we show that on this framework the Monotonicity Universal follows from the logical properties of the updates that correspond to each operator. (shrink)

Universals appear to be as central in today's computational-based ontology as they were in medieval ontological investigations. As the author of a recent work on the history of universals (Pinzani, 2018), I was asked for a commentary on Augusto’s article “Bridging Mainstream and Formal Ontology” (Augusto, 2021), which aims at showing that medieval ontological investigations can be relevant for contemporary ontology engineering. In this commentary, I begin by saying something about my way of reading 12th-century logical literature and then offer (...) some modest considerations on the general theme addressed in Augusto's article. (shrink)

Both philosophers of perception and analytic metaphysicians apply the tropes/universals distinction when considering the ontological status of visual properties. One way of arguing in favor of the trope interpretation of visual properties is to claim that the way in which we visually experience properties makes it plausible to characterize them as tropes. In this paper, I argue for a different position, namely that the way in which we visually experience properties provides a serious challenge for the trope interpretation, but not (...) for an interpretation in terms of universals. More specifically, I claim that the trope interpretations of visual properties have problems accounting for the fact that ordinary, veridical visual experiences can present the properties of two objects as strictly similar. (shrink)

Transnational, global trades, investments, and travels, amongst other drivers of globalization, helps to reverberate the deadly coronavirus pandemic from Wuhan, China, across the world like whirl fire. In order to contain the infectious spread of the pandemic, and mitigate its negative effects on macro-economic variables, the World Health Organization, (WHO) designed Covid-19 protocols that are being enforced by governments and people of the world. Based on the above account, the study examined the Second wave effect of Covid’19 pandemic on transportation (...) business: Keke-napep and Motorcycle transport systems in Asaba metropolis, Nigeria. The main objective is to empirically determine the real impact of the pandemic on rural land transport business. The study employed structured questionnaire and interview methods to generate data from the 250 respondents selected using the census sampling technique. Out of the 250 sets of questionnaires administered, 235 (94%) were retrieved while 15 (6%) were rejected. The statistical tools used for analyzing data were correlation and multiple regression techniques. Findings were that covid’19 pandemic negatively affected rural land transport business. The study concludes that, the coronavirus pandemic caused a contraction in transport business. It is therefore recommended that, there is a need for government to relax the stringent covid’19 protocols to allow economic activities to resume again. Campaigns on safety and hygiene should be intensified so that the populace will imbibe the culture of general cleanliness and personal hygiene, amongst others. (shrink)

Presented here is an argument for the existence of universals. Like Church's translation- test argument, the argument turns on considerations from intensional logic. But whereas Church's argument turns on the fine-grained informational content of intensional sentences, this argument turns on the distinctive logical features of 'that'-clauses embedded within modal contexts. And unlike Church's argument, this argument applies against truth-conditions nominalism and also against conceptualism and in re realism. So if the argument is successful, it serves as a defense of full (...) ante rem realism. The argument emphasizes the need for a unified treatment of intensional statements -- modal statements as well as statements of assertion and belief. The larger philosophical moral will be that ante rem universals are uniquely suited to carry a certain kind of modal information. Linguistic entities, mind-dependent universals, and instance-dependent universals are incapable of serving that function. (shrink)

This paper shows how the universals of category theory in mathematics provide a model (in the Platonic Heaven of mathematics) for the self-predicative strand of Plato's Theory of Forms as well as for the idea of a "concrete universal" in Hegel and similar ideas of paradigmatic exemplars in ordinary thought. The paper also shows how the always-self-predicative universals of category theory provide the "opposite bookend" to the never-self-predicative universals of iterative set theory and thus that the paradoxes arose from (...) having one theory (e.g., Frege's Paradise) where universals could be either self-predicative or non-self-predicative (instead of being always one or always the other). (shrink)

The integration of postmodern thinking in the sciences, especially in biology, has been subject to harsh criticism. Contrary to Enlightenment ideals of objectivity and neutrality in the scientific method, the postmodern stance holds that truth is relative, not universal, and therefore progress is ambiguous. The effect of postmodern thought has ramifications that extend from the distrust of preexisting scientific conclusions to questions about the impact of progress in society. It also reflects skepticism about the scientific endeavor. Especially when postmodern (...) ideas are considered to have gained traction, the anti-postmodern critique has become harsher. At stake is whether postmodern notions are indeed irrelevant, and—even more important—whether they compromise scientific progress. The conditional significance of universals in biology and the role of historicity in the evolutionary process makes biology different from the other natural sciences and subjects it to the postmodern critique. This article argues that rather than being viewed as a science that seeks universals, biology should be viewed as a construct, more relevant to a technology, aiming to attain functionalities. Such recognition may fuel progress and assist biology in attaining its ultimate goal, which is to address the most intricate questions about the living world. (shrink)

The Aristotelian view of universals, according to which each universal generically depends for its existence on its instantiations, has recently come under attack by a series of ground-theoretic arguments. The last such arguments, presented by Raven, promises to offer several significant improvements over its predecessors, such as avoiding commitment to the transitivity of ground and offering new reasons for the metaphysical priority of universals over their instantiations. In this paper, we argue that Raven's argument does not effectively avoid said (...) commitment and that Raven's new reasons fail. Moreover, we present a novel ground-theoretic interpretation of the Aristotelian view, referred to as strong immanence, and introduce a new argument against the Aristotelian view, intended to sidestep any commitment to the transitivity of ground. (shrink)

The concepts of particular and universal have grown so familiar that their significance has become difficult to discern, like coins that have been passed back and forth too many times, worn smooth so their values can no longer be read. On the Genealogy of Universals seeks to overcome our sense of over-familiarity with these concepts by providing a case study of their evolution during the late nineteenth century and early twentieth century, a study that shows how the history of (...) these concepts is bound up with the origins and development of analytic philosophy itself. Understanding how these concepts were taken up, transfigured, and given up by the early analytic philosophers, enables us to recover and reanimate the debate amongst them that otherwise remains Delphic. This book begins from the early, originating texts of analytic philosophy that have hitherto baffled commentators, including Moore's early papers, and engages afresh with the neglected contributions of philosophical figures that historians of analytic philosophy have mostly since forgotten, including Stout and Whitehead. This sheds new light upon the relationships of Moore to Russell, Russell to Wittgenstein, and Wittgenstein to Ramsey. (shrink)

According to a well-known argument against dispositional essentialism, the nature of unmanifested token powers leaves dispositional essentialists with an objectionable commitment to the reality of non-existent entities. The idea is that, because unmanifested token powers are directed at their non-existent token manifestations, they require the reality of those manifestations. Arguably the most promising response to this argument works by claiming that, if properties are universals, dispositional directedness need only entail the reality of actually existing manifestation types. I argue that this (...) response fails, because no version of the response can adequately accommodate dispositions of the sort that follow from Coulomb’s law. This result both defeats an important argument that dispositional essentialists ought to be realists about universals and appears to leave dispositional essentialists with a problematic commitment to either non-relational connections or a Meinongian ontology. (shrink)

This paper argues for an ontological distinction between two kinds of universals, 'kinds of tropes' such as 'wisdom' and properties such as 'the property of being wise'. It argues that the distinction is parallel to that between two kinds of collections, pluralities such as 'the students' and collective objects such as 'the class'. The paper argues for the priortity of distributive readings with pluralities on the basis of predicates of extent or shape, such 'large' or 'long'.

This paper summarizes and extends the transmodal argument for the existence of universals (developed in full detail in "Universals"). This argument establishes not only the existence of universals, but also that they exist necessarily, thereby confirming the ante rem view against the post rem and in re views (and also anti-existentialism against existentialism). Once summarized, the argument is extended to refute the trope theory of properties and is also shown to succeed even if possibilism is assumed. A nonreductionist theory of (...) universals and properties is then outlined, and it is sketched how to reap the benefits of possibilism and Meinongianism in an actualist setting. (shrink)

In the ontology of music the Aristotelian theory of musical works is the view that musical works are immanent universals. The Aristotelian theory (hereafter Musical Aristotelianism) is an attractive and serviceable hypothesis. However, it is overlooked as a genuine competitor to the more well-known theories of Musical Platonism and nominalism. Worse still, there is no detailed account in the literature of the nature of the universals that the Aristotelian identifies musical works with. In this paper, I argue that the best (...) version of Musical Aristotelianism identifies musical works with structural universals. I first motivate the view by outlining its explanatory benefits. I then argue that Musical Aristotelianism is preferable to Musical Platonism and present a novel account of musical works as structural universals by developing D. M. Armstrong’s theory of structural universals. I discuss the consequences of Musical Aristotelianism with respect to on-going issues in debates about musical works and defend the view against an influential objection, concluding that Musical Aristotelianism is a genuine competitor in debates about the nature of musical works. (shrink)

In the latter half of the 19th century, economic thought in the Germanspeaking world was dominated, both intellectually and academically, by the so-called historical school, from Wilhelm Roscher to Gustav Schmoller and others. In 1871, the Austrian Carl Menger published his Grun&tze der Volkswirtschaftslehre (Menger, 1976 (1871)), customarily referred to as one of the three simultaneous discoveries of marginalist economics-the other two marginalist ‘revolutionaries’ being Jevons in England and Walras in France. Twelve years later, in 1883, Menger published a major (...) methodological treatise entitled Untersuchungen iiber die Methode der Socialwissenschaften und der Politischen Oekonomie insbesondere (Menger, 1963 (1883)). This book included criticisms of some of the historicist principles of doing economics. In the same year, Schmoller, leader of the German historicists, wrote a critical review of Menger’s book (Schmoller, 1883). Menger reacted forcefully with a more straightforwardly polemical small book, Die Irrthiimer des Historismus in der deutschen National6konomie (Menger, 1884). Commentaries by others appeared in later years, but this brief episode amounted to what has thereafter been called the Methodenstreit between Menger and Schmoller. It has been established as perhaps the most famous methodological controversy in the history of the social sciences. (shrink)

Today it would be considered "bad Platonic metaphysics" to think that among all the concrete instances of a property there could be a universal instance so that all instances had the property by virtue of participating in that concrete universal. Yet there is a mathematical theory, category theory, dating from the mid-20th century that shows how to precisely model concrete universals within the "Platonic Heaven" of mathematics. This paper, written for the philosophical logician, develops this category-theoretic treatment of (...) concrete universals along with a new concept to abstractly model the functions of a brain. (shrink)

Universals are putative objects like wisdom, morality, redness, etc. Although we believe in properties (which, we argue, are not a kind of object), we do not believe in universals. However, a number of ordinary, natural language constructions seem to commit us to their existence. In this paper, we provide a fictionalist theory of universals, which allows us to speak as if universals existed, whilst denying that any really do.

The article proposes a new solution to the long-standing problem of the universality of essences in Spinoza's ontology. It argues that, according to Spinoza, particular things in nature possess unique essences, but that these essences coexist with more general, mind-dependent species-essences, constructed by finite minds on the basis of similarities that obtain among the properties of formally-real particulars. This account provides the best fit both with the textual evidence and with Spinoza's other metaphysical and epistemological commitments. The article offers new (...) readings of how Spinoza understands not just the nature of essence, but also the nature of being, reason, striving, definitions, and different kinds of knowledge. (shrink)