Nearly fifty years after the incorporation of the International Society for Knowledge Organization and the introduction of its formal scientific journal Knowledge Organization, a comprehensive encyclopedia of the domain appeared. The practice of domain analysis for knowledge organization, twenty years after its introduction as a core methodology, has created the largest corpus of theoretical knowledge in the domain analysis of knowledge organization itself. A substantial body of research data, therefore, is available in the corpus of articles and conference papers (...) reporting on the epistemological and ontological pillars of the science of knowledge organization. This paper is a report on the evolution of a formal taxonomy of knowledge organization, which is a product of an exhaustive meta-analysis of the KO domain. Our team compiled the corpus of twenty-nine formal published analyses together with key formative historical documents. We then analyzed the corpus thematically, bibliographically, and using co-word analysis to extract key concepts and the underlying faceted conceptual infrastructure. The taxonomy itself is faceted and is linked where possible to published definitions in the KO literature and as well as to the online ISKO Encyclopedia of Knowledge Organization. A dynamic project, the taxonomy will be maintained as linked open data and will grow as emergent research contributes new concepts or generates new facets. (shrink)

This paper introduces current acoustic theories relating to the phenomenology of sound as a framework for interrogating concepts relating to the ecologies of acoustic and landscape phenomena in a Japanese stroll garden. By applying the technique of Formal Concept Analysis, a partially ordered lattice of garden objects and attributes is visualized as a means to investigate the relationship between elements of the taxonomy.

The emerging field of quantum mereology considers part-whole relations in quantum systems. Entangled quantum systems pose a peculiar problem in the field, since their total states are not reducible to that of their parts. While there exist several established proposals for modelling entangled systems, like monistic holism or relational holism, there is considerable unclarity, which further positions are available. Using the lambda operator and plural logic as formal tools, we review and develop conceivable models and evaluate their consistency and (...) distinctness. The main result is an exhaustive taxonomy of six distinct and precise models that both provide information about the mereological features as well as about the entangled property. The taxonomy is well-suited to serve as the basis for future systematic investigations. (shrink)

In this paper, we discern different types of possible relations. We focus on the distinction between internal and external relations and their various possible sub-types. In the first section, we present what is nowadays more or less the standard distinction between internal and external relations. In the second section, we make two contributions to the literature of internal relations: a new taxonomy of internal relations and a novel distinction between formal and material ontological relations. In the third section, (...) we discuss three distinctions among external relations, in particular the distinction between relata-specific and relata-unspecific relations. We argue that relata-specific external relations are a promising but incomplete solution to the vexed problem of Bradley’s relation regress. (shrink)

This essay examines the ambition to taxonomize law and the different methods a legal taxonomer might employ. Three possibilities emerge. The first is a formal taxonomy that classifies legal materials according to rules of order and clarity. Formal taxonomy is primarily conventional and has no normative implications for judicial decision-making. The second possibility is a function-based taxonomy that classifies laws according to their social functions. Function-based taxonomy can influence legal decision-making indirectly, as a gatekeeping (...) mechanism, but it does not provide decisional standards for courts. Its objective is to assist in analysis and criticism of law by providing an overview of the body of legal doctrine. The third possibility is a reason-based taxonomy that classifies legal rules and decisions according to the moral principles or “legal principles” thought to justify them. Reason-based taxonomy of this type offers courts a set of high-level decisional rules drawn from legal data. Its objective is to guide courts in deciding new cases and evaluating precedents. A predominantly formal taxonomy facilitates legal analysis and communication. A functional taxonomy can assist those who make and apply law by providing a purposive overview of the field. Reason-based taxonomy may be useful to lawmakers but is unhelpful when offered as a guide to adjudication of disputes. (shrink)

In the era of “big data,” science is increasingly information driven, and the potential for computers to store, manage, and integrate massive amounts of data has given rise to such new disciplinary fields as biomedical informatics. Applied ontology offers a strategy for the organization of scientific information in computer-tractable form, drawing on concepts not only from computer and information science but also from linguistics, logic, and philosophy. This book provides an introduction to the field of applied ontology that is of (...) particular relevance to biomedicine, covering theoretical components of ontologies, best practices for ontology design, and examples of biomedical ontologies in use. After defining an ontology as a representation of the types of entities in a given domain, the book distinguishes between different kinds of ontologies and taxonomies, and shows how applied ontology draws on more traditional ideas from metaphysics. It presents the core features of the Basic Formal Ontology (BFO), now used by over one hundred ontology projects around the world, and offers examples of domain ontologies that utilize BFO. The book also describes Web Ontology Language (OWL), a common framework for Semantic Web technologies. Throughout, the book provides concrete recommendations for the design and construction of domain ontologies. (shrink)

In this paper we propose a formal theory of partitions (ways of dividing up or sorting or mapping reality) and we show how the theory can be applied in the geospatial domain. We characterize partitions at two levels: as systems of cells (theory A), and in terms of their projective relation to reality (theory B). We lay down conditions of well-formedness for partitions and we define what it means for partitions to project truly onto reality. We continue by classifying (...) well-formed partitions along three axes: (a) degree of correspondence between partition cells and objects in reality; (b) degree to which a partition represents the mereological structure of the domain it is projected onto; and (c) degree of completeness and exhaustiveness with which a partition represents reality. This classification is used to characterize three types of partitions that play an important role in spatial information science: cadastral partitions, categorical coverages, and the partitions involved in folk categorizations of the geospatial domain. (shrink)

The paper presents a thorough exploration of the problem of persistence in a relativistic context. Using formal methods such as mereology, formal theories of location and the so called intrinsic formulation of special relativity we provide a new, more rigorous and more comprehensive taxonomy of persisting entities. This new taxonomy differs significantly from the ones that are present in the recent literature.

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)

“Pick a card, any card. This has to be a completely free choice.” the magician tells you. But is it really? Although we like to think that we are using our free will to make our decisions, research in psychology has shown that many of our behaviours are automatic and unconsciously influenced by external stimuli (Ariely, 2008; Bargh & Chartrand, 1999; Newell & Shanks, 2014; Nisbett & Wilson, 1977), and that we are often oblivious to the cognitive mechanisms that underpin (...) our decision (Wegner, 2002, 2003). Magicians have exploited this illusory sense of agency for a long time, and have developed a wide range of techniques to influence and control spectators’ choices of such things as card, word, or number (Annemann, 1933; Banachek, 2002a; Jones, 1994; Turner, 2015). These techniques are instances of what is called forcing. -/- Many forces are extremely effective, illustrating various weaknesses in our sense of control over decisions and their outcomes. Researchers have started to investigate them in various ways (Kuhn, Pailh s, & Lan, 2020; Olson, Amlani, Raz, & Rensink, 2015; Pailhes & Kuhn, 2020b, 2020c; Shalom et al., 2013) and are beginning to obtain valuable insights into decision-making processes as well as a better understanding of the cognitive mechanisms that lead people to experience an illusory sense of free will and of agency. -/- Although magicians have acquired large amounts of knowledge in covertly controlling people’s choices, much of this knowledge is only discussed in the context of individual magic tricks, or in books that are not readily accessible to non-magicans. As we and others have argued elsewhere (Ekroll, Sayim, & Wagemans, 2017; Kuhn, 2019; Kuhn, Amlani, & Rensink, 2008; Kuhn, Caffaratti, Teszka, & Rensink, 2014; Macknik et al., 2008; Olson et al., 2015; Olson, Landry, Appourchaux, & Raz, 2016; Shalom et al., 2013; Thomas, Didierjean, Maquestiaux, & Gygax, 2015), a particularly effective way of making this knowledge more available is via the creation of taxonomies centered around psychological mechanisms (Rensink & Kuhn, 2015). For example, the psychologically based taxonomy of misdirection (Kuhn et al., 2014) helps draw links between misdirection and formal theories of perception and cognition. -/- Our aim here is to apply a similar process to the knowledge magicians have about forcing. The present paper develops a psychologically based taxonomy of forcing techniques with two goals in mind. Firstly, it should help uncover the various psychological mechanisms that underlie forcing techniques. Secondly, it should facilitate knowledge transfer between magicians and psychologists. Among other things, this knowledge will allow researchers to gain new insights into the mechanisms underlying decision-making, and the feeling of free will and of agency over choice. We start by defining the magician’s force and then look at some of the past classifications of forcing. (shrink)

Many types of part-whole relations have been proposed in the literature to aid the conceptual modeller to choose the most appropriate type, but many of those relations lack a formal specification to give clear and unambiguous semantics to them. To remedy this, a formal taxonomy of types of mereological and meronymic part-whole relations is presented that distinguishes between transitive and intransitive relations and the kind of entity types that are related. The demand to use it effectively brings (...) afore new requirements for automated reasoning over a hierarchy of relations. To ensure logically and ontologically correct inferencing over both the class and role hierarchy, the new reasoning service RBox compatibility for Description Logics reasoners is introduced. The proposed combination of formal semantics and the new reasoning service will improve the representation of the application domain when using part-whole relations in conceptual models and ontologies. (shrink)

We undeniably live in an information age—as, indeed, did those who lived before us. After all, as the cultural historian Robert Darnton pointed out: ‘every age was an age of information, each in its own way’ (Darnton 2000: 1). Darnton was referring to the news media, but his insight surely also applies to the sciences. The practices of acquiring, storing, labeling, organizing, retrieving, mobilizing, and integrating data about the natural world has always been an enabling aspect of scientific work. Natural (...) history and its descendant discipline of biological taxonomy are prime examples of sciences dedicated to creating and managing systems of ordering data. In some sense, the idea of biological taxonomy as an information science is commonplace. Perhaps it is because of its self-evidence that the information science perspective on taxonomy has not been a major theme in the history and philosophy of science. The botanist Vernon Heywood once pointed out that historians of biology, in their ‘preoccupation with the development of the sciences of botany and zoology… [have] diverted attention from the role of taxonomy as an information science’ (Heywood 1985: 11). More specifically, he argued that historians had failed to appreciate how principles and practices that can be traced to Linnaeus constituted ‘a change in the nature of taxonomy from a local or limited folk communication system and later a codified folk taxonomy to a formal system of information science [that] marked a watershed in the history of biology’ (ibid.). A similar observation could be made about twentieth-century philosophy of biology, which mostly skipped over practical and epistemic questions about information management in taxonomy. The taxonomic themes that featured in the emerging philosophy of biology literature in the second half of the twentieth century were predominantly metaphysical in orientation. This is illustrated by what has become known as the ‘essentialism story’: an account about the essentialist nature of pre- Darwinian taxonomy that used to be accepted by many historians and philosophers, and which stimulated efforts to document and interpret shifts in the metaphysical understanding of species and (natural) classification (Richards 2010; Winsor 2003; Wilkins 2009). Although contemporary debates in the philosophy of taxonomy have moved on, much discussion continues to focus on conceptual and metaphysical issues surrounding the nature of species and the principles of classification. Discussions centring on whether species are individuals, classes, or kinds have sprung up as predictably as perennials. Raucous debates have arisen even with the aim of accommodating the diversity of views: is monism, pluralism, or eliminativism about the species category the best position to take? In addition to these, our disciplines continue to interrogate what is the nature of these different approaches to classification: are they representational or inferential roles of different approaches to classification (evolutionary taxonomy, phenetics, phylogenetic systematics)? While there is still much to learn from these discussions—in which we both actively participate—our aim with this topical collection has been to seek different entrypoints and address underexposed themes in the history and philosophy of taxonomy. We believe that approaching taxonomy as an information science prompts new questions and can open up new philosophical vistas worth exploring. A twenty-first century information science turn in the history and philosophy of taxonomy is already underway. In scientific practice and in daily life it is hard to escape the imaginaries of Big Data and the constant threats of being ‘flooded with data’. In the life sciences, these developments are often associated with the socalled bioinformatics crisis that can hopefully be contained by a new, interdisciplinary breed of bioinformaticians. These new concepts, narratives, and developments surrounding the centrality of data and information systems in the biological and biomedical sciences have raised important philosophical questions about their challenges and implications. But historical perspectives are just as necessary to judge what makes our information age different from those that preceded us. Indeed, as the British zoologist Charles Godfray has often pointed out, the piles of data that are being generated in contemporary systematic biology have led to a second bioinformatics crisis, the first being the one that confronted Linnaeus in the mid-18th century (Godfray 2007). Although our aim is to clear a path for new discussions of taxonomy from an information science-informed point of view, we continue where others in the history, philosophy, and sociology of science have already trod. We believe that an appreciation of biological taxonomy as an information science raises many questions about the philosophical, theoretical, material, and practical aspects of the use and revision of biological nomenclatures in different local and global communities of scientists and citizen scientists. In particular, conceiving of taxonomy as an information science directs attention to the temporalities of managing an accumulating data about classified entities that are themselves subject to revision, to the means by which revision is accomplished, and to the semantic, material, and collaborative contexts that mediate the execution of revisions. (shrink)

Axiomatic Formal Ontology is a fairly comprehensive systematic treatise on general metaphysics. The axiomatic method is applied throughout the book. Its main theme is the construction of a general non-set-theoretical theory of intensional entities. Other important matters discussed are the metaphysics of modality, the nature of actual existence, mereology and the taxonomy of entities.

The taxonomy and analysis of fallacies in Aristotle's Sophistical Refutations pre-date the formal logic of his Prior Analytics A4-6. Of the 64 fully described examples of ?sophistical refutations? which are fallacious because they are only apparently valid, 49 have the wrong number of premisses or the wrong form of premiss or conclusion for analysis by the Prior Analytics theory of the categorical syllogism. The rest Aristotle either frames so that they do not look like categorical syllogisms or analyses (...) in a quite different way than by categorical syllogistic. (shrink)

This is a response to Stephen Maitzen’s paper. ‘Moral Conclusions from Nonmoral Premises’. Maitzen thinks that No-Ought-From-Is is false. He does not dispute the formal proofs of Schurz and myself, but he thinks they are beside the point. For what the proponents of No-Ought-From-Is need to show is not that you cannot get SUBSTANTIVELY moral conclusions from FORMALLY non-moral premises but that you cannot get SUBSTANTIVELY moral conclusions from SUBSTANTIVELY non-moral premises. And he believes that he can derive substantively (...) moral conclusions from FORMALLY moral but SUBSTANTIVELY nonmoral premises. However his argument relies on what I call ‘taxonomic essentialism’, the thesis that sentences do not change their semantic characters from context to context or from world to world. In particular, they do not change their META-ETHICAL status from context to context or world to world. If a sentence is non-moral at one world it is non-moral at all the rest. This thesis leads to contradictions (with some propositions as both moral and non-moral) and even if (as is perhaps possible) these contradictions can be avoided, it leads to further consequences that are palpably absurd. Thus It may be possible to derive substantively moral conclusions from premises that are not substantively moral, but if it is, Maitzen has failed to prove the point. (shrink)

Although there has been little written to date that speaks directly to problems of religious luck, described in other terms these problems have a long history. Contemporary contributors to the literature have referred to “soteriological luck” (Anderson 2011) “salvific luck” (Davidson 1999) and “religious luck” (Zagzebski 1994). Using “religious” as the unifying term, Part I of this monograph begins with the need a more comprehensive taxonomy. Serious philosophic interest in moral and epistemic luck took hold only after comprehensive taxonomies (...) for those kinds of luck were introduced, but this has not yet been done for religious luck. Even if incomplete, the more comprehensive taxonomy, as introduced in Chapter One enables better diagnostic questions to be raised for researchers. Emerging questions about potentially ‘luck leaning’ attributions of good/bad religious luck, and of the possibility and desirability of “luck free theologies,” are questions which I hope to motivate as of central interest to researchers in philosophy of religion, both secular and religious. The taxonomy highlights why we should take two concerns — with the concept of religious luck and with asymmetric or sharply differential ascriptions of religious value — to be inextricably connected. The connection between attributing good/bad luck and violating inductive norms is easy to see upon reflection. One related distinction common in recent work on epistemic luck is that between benign evidential luck (‘benign’ because consistent with justified belief and knowledge), and malign (positive epistemic status undercutting) veritic luck. How, philosophically, this distinction should be understood is an especially acute problem when it comes to testimonial trust, and to intellectually virtuous or vicious ways of assessing testimonial claims, and sources of claims. So the chapter concludes with development of the case of Tess, as an example of testimonial environmental veritic luck. The Tess case is constructed to be formally analogous to the environmental veritic luck operating in fake barn cases (where visual perception rather than reception of testimony is the source of the agent’s belief). There does seem to be an intrinsic connection between epistemic assessment of the agent’s beliefs and the inductive context in which their own and their religious community’s inquiry takes place. This will allow for some potentially powerful thought experiments in successive chapters, about luck, risk, and questions of epistemic in/justice as they pertain to religious faith ventures. (shrink)

BACKGROUND: Ontologies play a major role in life sciences, enabling a number of applications, from new data integration to knowledge verification. SNOMED CT is a large medical ontology that is formally defined so that it ensures global consistency and support of complex reasoning tasks. Most biomedical ontologies and taxonomies on the other hand define concepts only textually, without the use of logic. Here, we investigate how to automatically generate formal concept definitions from textual ones. We develop a method that (...) uses machine learning in combination with several types of lexical and semantic features and outputs formal definitions that follow the structure of SNOMED CT concept definitions. RESULTS: We evaluate our method on three benchmarks and test both the underlying relation extraction component as well as the overall quality of output concept definitions. In addition, we provide an analysis on the following aspects: How do definitions mined from the Web and literature differ from the ones mined from manually created definitions, e.g., MeSH? How do different feature representations, e.g., the restrictions of relations' domain and range, impact on the generated definition quality?, How do different machine learning algorithms compare to each other for the task of formal definition generation?, and, What is the influence of the learning data size to the task? We discuss all of these settings in detail and show that the suggested approach can achieve success rates of over 90%. In addition, the results show that the choice of corpora, lexical features, learning algorithm and data size do not impact the performance as strongly as semantic types do. Semantic types limit the domain and range of a predicted relation, and as long as relations' domain and range pairs do not overlap, this information is most valuable in formalizing textual definitions. CONCLUSIONS: The analysis presented in this manuscript implies that automated methods can provide a valuable contribution to the formalization of biomedical knowledge, thus paving the way for future applications that go beyond retrieval and into complex reasoning. The method is implemented and accessible to the public from: https://github.com/alifahsyamsiyah/learningDL. (shrink)

Genera, typically hand-in-hand with their branching species, are essential elements of vocabulary-based information constructs, in particular scientific taxonomies. Should they also feature in formal ontologies, the highest of such constructs? I argue in this article that the answer is “Yes” and that the question posed in its title also has a Yes-answer: The way medieval ontologists sliced up the world into genera does matter to formal ontology. More specifically, the way Dietrich of Freiberg, a Latin scholastic, conceived and (...) applied strictly generic criteria to slice up the world into its entities can provide some guidelines to the field of formal ontology with respect to not only its contents, but also its scope. In particular, Dietrich's information criterion plays here a central role. (shrink)

The linear model often serves as a starting point for applying statistics in psychology. Often, formal training beyond the linear model is limited, creating a potential pedagogical gap because of the pervasiveness of data non-normality. We reviewed 61 recently published undergraduate and graduate textbooks on introductory statistics and the linear model, focusing on their treatment of non-normality. This review identified at least eight distinct methods suggested to address non-normality, which we organize into a new taxonomy according to whether (...) the approach: (a) remains within the linear model, (b) changes the data, and (c) treats normality as informative or as a nuisance. Because textbook coverage of these methods was often cursory, and methodological papers introducing these approaches are usually inaccessible to non-statisticians, this review is designed to be the happy medium. For the purpose of promoting best practice in the application of the linear model, we provide a relatively non-technical review of advanced methods which can address non-normality. We also present three empirical examples to highlight distinctions between these methods' motivations and results. It is anticipated that our taxonomy will provide a useful overview and starting place for researchers interested in extending their knowledge in approaches developed to address non-normality from the perspective of the linear model. (shrink)

A discussion of work formalising Hohfeld's classic taxonomy of rights relations between two parties.

This article discusses an approach to characterizing movement patterns (paths/trajectories) of individual agents that allows for relating aspects of cognitive conceptualization of movement patterns with formal spatial characterizations. To this end, we adopt a perspective of characterizing movement patterns on the basis of perceptual and conceptual invariants that we term movement choremes (MCs). MCs are formally grounded by behaviorally validating qualitative spatio-temporal calculi. Relating perceptual and cognitive aspects of space and formal theories of spatial information has shown promise (...) to foster understanding of the semantics of movement patterns. Specifically, we discuss our approach in relation to existing qualitative formalisms such as the region connection calculus and the Egenhofer’s intersection formalisms. We show that the MC approach is compatible with these approaches but offers additional opportunities to improve the cognitive adequacy of these formalisms. We summarize this paper using a movement taxonomy that also provides guidance for future research. (shrink)

Kinship systems are best explained functionally, in terms of the conflicting needs of the society concerned, rather than in terms of universal constraints, whether Optimality Theory or other; but OT is particularly unsuitable as it rules out taxonomies. A conceptual analysis of kinship terminology shows, not that extends to kinship, but that general cognition has the formal power to handle grammar.

The study of some real reasonings (observed in the Humanities) reveals the very heterogeneous nature of the arguments used in the building of scientific knowledge and the complexity of their overall architecture. The building of a formal theory of the trace of these mental processes on the classical grounds of logic seems quite impossible. Instead, we propose a flexible methodology based on some local formal models, integrated in a global strategy. This strategy allows an empirical, but systematic, description (...) of the process of reasoning as a whole.The local models can be very different, from plausible inference to conditional transitivity. Their integration is based on some argumentative markers or structures (topoï). We propose a procedural semantics for some of them.This paper is based on the AVEROES Project, a study of the sea-borne trade in the Occidental Mediterranean Sea during the Roman Empire. (shrink)

Formal epistemologists criticise the Conciliatory View of peer disagreement for being non-commutative with conditionalisation, path dependent and does not preserve the independence between propositions. Failing to commute with conditionalisation, one may switch the order between conciliating and conditionalising and obtain different outcomes. Failing to be path independent, the outcome of conciliation varies with the order of the acquisition of new testimonies. Failing to preserve the independence between propositions, one may suffer from a sure-loss and hence be deemed irrational. The (...) three formal deficiencies urge people to abandon the Conciliatory View. This paper aims to show that one may save the Conciliatory View by conciliating with nonlinear functions. Research in the study of opinion pooling shows that the three deficiencies are not problems of the Conciliatory View, but problems of linear averaging. Hence, one can get rid of these formal deficiencies by making conciliation with nonlinear averaging functions. After showing how the three deficiencies can be avoided, I will explore the features of nonlinear averaging functions and argue that they have properties that correctly capture people’s intuition concerning disagreement. The conclusion, therefore, is to suggest epistemologists develop a more fine-grained taxonomy for cases of disagreement. With a deliberate categorisation of different kinds of disagreement, epistemologists can pick the proper averaging rule to apply in each specific case, and get rid of possible formal deficiencies. (shrink)

In the era of “big data,” science is increasingly information driven, and the potential for computers to store, manage, and integrate massive amounts of data has given rise to such new disciplinary fields as biomedical informatics. Applied ontology offers a strategy for the organization of scientific information in computer-tractable form, drawing on concepts not only from computer and information science but also from linguistics, logic, and philosophy. This book provides an introduction to the field of applied ontology that is of (...) particular relevance to biomedicine, covering theoretical components of ontologies, best practices for ontology design, and examples of biomedical ontologies in use. After defining an ontology as a representation of the types of entities in a given domain, the book distinguishes between different kinds of ontologies and taxonomies, and shows how applied ontology draws on more traditional ideas from metaphysics. It presents the core features of the Basic Formal Ontology (BFO), now used by over one hundred ontology projects around the world, and offers examples of domain ontologies that utilize BFO. The book also describes Web Ontology Language (OWL), a common framework for Semantic Web technologies. Throughout, the book provides concrete recommendations for the design and construction of domain ontologies. (shrink)

We present a new “reason-based” approach to the formal representation of moral theories, drawing on recent decision-theoretic work. We show that any moral theory within a very large class can be represented in terms of two parameters: a specification of which properties of the objects of moral choice matter in any given context, and a specification of how these properties matter. Reason-based representations provide a very general taxonomy of moral theories, as differences among theories can be attributed to (...) differences in their two key parameters. We can thus formalize several distinctions, such as between consequentialist and non-consequentialist theories, between universalist and relativist theories, between agent-neutral and agent-relative theories, between monistic and pluralistic theories, between atomistic and holistic theories, and between theories with a teleological structure and those without. Reason-based representations also shed light on an important but under-appreciated phenomenon: the “underdetermination of moral theory by deontic content”. (shrink)

In this essay, I argue for the rejection of Vihvelin's ‘Three-fold Classification’ , a nonstandard taxonomy of free-will compatibilism, incompatibilism, and impossibilism. Vihvelin is right that the standard taxonomy of these views is inadequate, and that a new taxonomy is needed to clarify the free-will debate. Significantly, Vihvelin notes that the standard formal definition of ‘incompatibilism’ does not capture the historically popular view that deterministic laws pose a threat to free will. Vihvelin's proposed solution is to (...) redefine ‘incompatibilism.’ However, Vihvelin's formal definition of ‘incompatibilism’ is flawed according to her own arguments. In addition, Vihvelin's characterization of ‘compatibilism’ is incomplete, and at least two important free-will views are missing from her proposed taxonomy. Given the problems with Vihvelin's arguments for 3-FC, her novel view of the dialectic between the major free-will views lacks support. (shrink)

We argue that the mathematization of science should be understood as a normative activity of advocating for a particular methodology with its own criteria for evaluating good research. As a case study, we examine the mathematization of taxonomic classification in systematic biology. We show how mathematization is a normative activity by contrasting its distinctive features in numerical taxonomy in the 1960s with an earlier reform advocated by Ernst Mayr starting in the 1940s. Both Mayr and the numerical taxonomists sought (...) to formalize the work of classification, but Mayr introduced a qualitative formalism based on human judgment for determining the taxonomic rank of populations, while the numerical taxonomists introduced a quantitative formalism based on automated procedures for computing classifications. The key contrast between Mayr and the numerical taxonomists is how they conceptualized the temporal structure of the workflow of classification, specifically where they allowed meta-level discourse about difficulties in producing the classification. (shrink)

The aim of this paper is to grasp the relevant distinctions between various ways in which models and simulations in Artificial Intelligence (AI) relate to cognitive phenomena. In order to get a systematic picture, a taxonomy is developed that is based on the coordinates of formal versus material analogies and theory-guided versus pre-theoretic models in science. These distinctions have parallels in the computational versus mimetic aspects and in analytic versus exploratory types of computer simulation. The proposed taxonomy (...) cuts across the traditional dichotomies between symbolic and embodied AI, general intelligence and symbol and intelligence and cognitive simulation and human/non-human-like AI. -/- According to the taxonomy proposed here, one can distinguish between four distinct general approaches that figured prominently in early and classical AI, and that have partly developed into distinct research programs: first, phenomenal simulations (e.g., Turing’s “imitation game”); second, simulations that explore general-level formal isomorphisms in pursuit of a general theory of intelligence (e.g., logic-based AI); third, simulations as exploratory material models that serve to develop theoretical accounts of cognitive processes (e.g., Marr’s stages of visual processing and classical connectionism); and fourth, simulations as strictly formal models of a theory of computation that postulates cognitive processes to be isomorphic with computational processes (strong symbolic AI). -/- In continuation of pragmatic views of the modes of modeling and simulating world affairs, this taxonomy of approaches to modeling in AI helps to elucidate how available computational concepts and simulational resources contribute to the modes of representation and theory development in AI research—and what made that research program uniquely dependent on them. (shrink)

A ‘duality’ is a formal mapping between the spaces of solutions of two empirically equivalent theories. In recent times, dualities have been found to be pervasive in string theory and quantum field theory. Naïvely interpreted, duality-related theories appear to make very different ontological claims about the world—differing in e.g. space-time structure, fundamental ontology, and mereological structure. In light of this, duality-related theories raise questions familiar from discussions of underdetermination in the philosophy of science: in the presence of dual theories, (...) what is one to say about the ontology of the world? In this paper, we undertake a comprehensive and non-technical survey of the landscape of possible ontological interpretations of duality-related theories. We provide a significantly enriched and clarified taxonomy of options—several of which are novel to the literature. (shrink)

Taxonomies of the passions have long claimed to serve a quest for self-knowledge, by specifying conditions under which certain passions arise, formal objects they possess, and qualities essential to their particular feelings. I argue that David Hume's theory of the passions provides resources for a different kind of self-knowledge – a sceptical self-knowledge depending on our ability to articulate how the passions feel rather than always identifying our passions as tokens of an identifiable passion-type. These resources are distinctions between (...) four qualitative aspects that passions may possess – pleasantness or painfulness, calmness or violence, invigoration or softening, and directedness or lack thereof towards specific actions. Reflection on these aspects produces a more accurate understanding of the nature of our emotions and chastens our judgmental tendencies in ways that benefit both self and others. (shrink)

The Foundational Model of Anatomy (FMA) symbolically represents the structural organization of the human body from the macromolecular to the macroscopic levels, with the goal of providing a robust and consistent scheme for classifying anatomical entities that is designed to serve as a reference ontology in biomedical informatics. Here we articulate the need for formally clarifying the is-a and part-of relations in the FMA and similar ontology and terminology systems. We diagnose certain characteristic errors in the treatment of these relations (...) and show how these errors can be avoided through adoption of the formalism we describe. We then illustrate how a consistently applied formal treatment of taxonomy and partonomy can support the alignment of ontologies. (shrink)

Standard epistemic logic actually formalizes folk-psychology. The problem of logical omniscience shows that this logic is not adequate in a cognitivist setting. In order to describe realistic information-processing believers, we need both an ontology of particulars and a hyper-intensional taxonomy of representations. From this point of view, sub-structural logics, which do not overlook the syntaxic details of the processing of information, are an interesting alternative to possible worlds semantics.

This paper formally explores the common ground between mild versions of epistemological coherentism and infinitism; it proposes—and argues for—a hybrid, coherentist–infinitist account of epistemic justification. First, the epistemological regress argument and its relation to the classical taxonomy regarding epistemic justification—of foundationalism, infinitism and coherentism—is reviewed. We then recall recent results proving that an influential argument against infinite regresses of justification, which alleges their incoherence on account of probabilistic inconsistency, cannot be maintained. Furthermore, we prove that the Principle of Inferential (...) Justification has rather unwelcome consequences—formally resembling the Sorites paradox—as soon as it is iterated and combined with a natural Bayesian perspective on probabilistic inferences. We conclude that strong versions of foundationalism and infinitism should be abandoned. Positively, we provide a rough sketch for a graded formal coherence notion, according to which infinite regresses of epistemic justification will often have more than a minimal degree of coherence. (shrink)

Throughout the history of the Western world, science has possessed an extraordinary amount of authority and prestige. And while its pedestal has been jostled by numerous evolutions and revolutions, science has always managed to maintain its stronghold as the knowing enterprise that explains how the natural world works: we treat such legendary scientists as Galileo, Newton, Darwin, and Einstein with admiration and reverence because they offer profound and sustaining insight into the meaning of the universe. In The Intelligibility of Nature (...) , Peter Dear considers how science as such has evolved and how it has marshaled itself to make sense of the world. His intellectual journey begins with a crucial observation: that the enterprise of science is, and has been, directed toward two distinct but frequently conflated ends—doing and knowing. The ancient Greeks developed this distinction of value between craft on the one hand and understanding on the other, and according to Dear, that distinction has survived to shape attitudes toward science ever since. Teasing out this tension between doing and knowing during key episodes in the history of science—mechanical philosophy and Newtonian gravitation, elective affinities and the chemical revolution, enlightened natural history and taxonomy, evolutionary biology, the dynamical theory of electromagnetism, and quantum theory—Dear reveals how the two principles became formalized into a single enterprise, science, that would be carried out by a new kind of person, the scientist. Finely nuanced and elegantly conceived, The Intelligibility of Nature will be essential reading for aficionados and historians of science alike. (shrink)

The paper explores the distinction between two doctrines, both of which inform theory construction in much of modern cognitive psychology: the representational theory of mind and the computational theory of mind. According to the former, propositional attitudes are to be construed as relations that organisms bear to mental representations. According to the latter, mental processes have access only to formal (nonsemantic) properties of the mental representations over which they are defined.The following claims are defended: (1) That the traditional dispute (...) between “rational” and “naturalistic” psychology is plausibly viewed as an argument about the status of the computational theory of mind. Rational psychologists accept a formality condition on the specification of mental processes; naturalists do not. (2) That to accept the formality condition is to endorse a version of methodological solipsism. (3) That the acceptance of some such condition is warranted, at least for that part of psychology which concerns itself with theories of the mental causation of behavior. This is because: (4) such theories require nontransparent taxonomies of mental states; and (5) nontransparent taxonomies individuate mental states without reference to their semantic properties. Equivalently, (6) nontransparent taxonomies respect the way that the organism represents the object of its propositional attitudes toitself, and it is this representation which functions in the causation of behavior.The final section of the paper considers the prospect for a naturalistic psychology: one which defines its generalizations over relations between mental representations and their environmental causes, thus seeking to account for the semantic properties of propositional attitudes. Two related arguments are proposed, both leading to the conclusion that no such research strategy is likely to prove fruitful. (shrink)