The study of biodiversity spans many disciplines and includes data pertaining to species distributions and abundances, genetic sequences, trait measurements, and ecological niches, complemented by information on collection and measurement protocols. A review of the current landscape of metadata standards and ontologies in biodiversity science suggests that existing standards such as the Darwin Core terminology are inadequate for describing biodiversity data in a semantically meaningful and computationally useful way. Existing ontologies, such as the Gene Ontology and others in the Open (...) Biological and Biomedical Ontologies (OBO) Foundry library, provide a semantic structure but lack many of the necessary terms to describe biodiversity data in all its dimensions. In this paper, we describe the motivation for and ongoing development of a new Biological Collections Ontology, the Environment Ontology, and the Population and Community Ontology. These ontologies share the aim of improving data aggregation and integration across the biodiversity domain and can be used to describe physical samples and sampling processes (for example, collection, extraction, and preservation techniques), as well as biodiversity observations that involve no physical sampling. Together they encompass studies of: 1) individual organisms, including voucher specimens from ecological studies and museum specimens, 2) bulk or environmental samples (e.g., gut contents, soil, water) that include DNA, other molecules, and potentially many organisms, especially microbes, and 3) survey-based ecological observations. We discuss how these ontologies can be applied to biodiversity use cases that span genetic, organismal, and ecosystem levels of organization. We argue that if adopted as a standard and rigorously applied and enriched by the biodiversity community, these ontologies would significantly reduce barriers to data discovery, integration, and exchange among biodiversity resources and researchers. (shrink)

We present a case study of grammatical constructions and how their function in a single language can be captured through semantic and syntactic classification. Since 2016 an on-going joint project of UiT The Arctic University of Norway and the National Research University Higher School of Economics in Moscow has been collecting and analyzing multiword grammatical constructions of Russian. The main product is the Russian Constructicon, which, with over two thousand two hundred constructions, is arguably the largest openly available constructicon resource (...) for any language. The combination of this large size with depth of analysis, containing both syntactic and semantic tags, makes it possible to view the interrelation of constructions as families and to discover trends in their behavior. Our annotation includes 53 semantic tags of varying frequency, with three tags that are by far more frequent than all the rest, accounting for 30% of the entire inventory of the Russian Constructicon. These three semantic types are Assessment, Attitude, and Intensity, all of which convey a speaker’s evaluation of a topic, in contrast to most of the other tags. Assessment and Attitude constructions are investigated in greater detail in this article. Secondary semantic tags reveal that negative evaluation among these two semantic types is more than twice as frequent as positive evaluation. Examples of negative evaluations are: for Assessment VP tak sebe, as in Na pianino ja igraju tak sebe “I play the piano so-so [lit. thus self]”; for Attitude s PronPers-Gen xvatit/xvatilo, as in S menja xvatit “I’m fed up [lit. from me enough].” In terms of syntax, the most frequent syntactic types of constructions in the Russian Constructicon are clausal constructions [constituting an independent clause like s PronPers-Gen xvatit/xvatilo ] and constructions with the anchor in the role of adverbial modifier. Our semantic and syntactic classification of this large body of Russian constructions makes it possible to postulate patterns of grammatical constructions constituting a radial category with central and peripheral types. Classification of large numbers of constructions reveals systematic relations that structure the grammar of a language. (shrink)

This volume examines the notion of an analytic proof as a natural deduction, suggesting that the proof's value may be understood as its normal form--a concept with significant implications to proof-theoretic semantics.

This paper focuses on how revolts against caste-based oppression in India have been made invisible due to conceptual legacies in European social and political theory. Weber’s and Arendt’s conceptualization of Pariah agency is a case in point. Arendt’s main understanding of Pariah agency is individualized and inadequate to study freedom struggles among untouchable castes. This article argues that one not only needs to move away from analyzing individual to collective action, but it is also crucial to foreground how collective mobilization (...) among excluded groups has focused on contingencies that embed a system of domination. Dr. Bhimrao Ambedkar’s critique of caste-based domination in India is noteworthy in this regard; he foregrounds how the distinction between “Touchables” and “Untouchables” in the caste system is both embedded and contingent. Focusing on untouchability in India, Ambedkar offers insights into hegemonic analyses of social exclusion, human rights articulations before the Universal Declaratio... (shrink)

The aim of Reverse Mathematics (RM for short) is to find the minimal axioms needed to prove a given theorem of ordinary mathematics. These minimal axioms are almost always equivalent to the theorem, working over the base theory of RM, a weak system of computable mathematics. The Big Five phenomenon of RM is the observation that a large number of theorems from ordinary mathematics are either provable in the base theory or equivalent to one of only four systems; these five (...) systems together are called the ‘Big Five’. The aim of this paper is to greatly extend the Big Five phenomenon as follows: there are two supposedly fundamentally different approaches to RM where the main difference is whether the language is restricted to second-order objects or if one allows third-order objects. In this paper, we unite these two strands of RM by establishing numerous equivalences involving the second-order Big Five systems on one hand, and well-known third-order theorems from analysis about (possibly) discontinuous functions on the other hand. We both study relatively tame notions, like cadlag or Baire 1, and potentially wild ones, like quasi-continuity. We also show that slight generalizations and variations of the aforementioned third-order theorems fall far outside of the Big Five. (shrink)

An inference can be seen as a speech act, in which one passes from a number of assertions called premisses to another assertion, the conclusion, which is presented as supported or justified by the premisses. To justify the assertion that appears as conclusion is the characteristic aim of an inference. Here, we confine ourselves to deductive inferences where the justification is taken to be conclusive. A short, natural explanation of what it is for a (deductive) inference to be valid is (...) to say that it is valid if it succeeds in its aim, that is, if its premisses do (conclusively) justify the conclusion, given that premisses are justified. The paper is concerned with developing this explanation further. (shrink)

WeingartnerPaul and LeebHans-Peter, eds, Kreisel’s Interests: On the Foundations of Logic and Mathematics. Tributes; 41. London: College Publications, 2020. Pp. viii + 171. ISBN: 978-1-84890-330-2.

This collection of 38 papers gives a cross-section of ongoing research in philosophy of science and philosophical logic. The papers, written by active researchers in the field and published here for the first time, are drawn from around 650 papers that were contributed to the 9th International Congress of Logic, Methodology and Philosophy of Science in Uppsala, Sweden, 1991. Some of the speakers whose contributions attracted special interest were invited to contribute their papers to this volume. A few papers appear (...) here more or less as they were presented at the Congress, whereas others are expansions or elaborations of the talks given. There is one section with five papers on philosophical logic. The other papers deal with many different aspects of philosophy of science, including general methodological questions, problems of probability, induction and decision theory, and ethics of science and technology, as well as foundational problems about particular sciences. Five special sections are concerned with logic, mathematics and computer science, the physical sciences, the biological sciences, cognitive science, and linguistics, respectively. Finally, there is one section on the history of logic, methodology and philosophy of science. The book will be of interest to philosophers of science and logicians, as well as to all researchers interested in the foundations of their disciplines. (shrink)

La philosophie de Jean-Paul Sartre dans L'être et le néant et Critique de la raison dialectique garde toujours sa validité comme élucidation de notre liberté située. Néanmoins, il faut la critiquer – au double sens de limiter et corriger – sur deux thèmes : 1) l'interprétation sartrienne de la matière et de la science de la physique ressemble à celle des positivistes logiques , dont on sait la faiblesse ; 2) les relations sociales analysées par Sartre non seulement avec profondeur, (...) mais aussi avec brillance, mettent à coté ou ignorent une socialité plus fondamentale et anonyme, dont il faut aussi rendre compte. Les contributions néo-kantiennes de l'École de Marbourg, en particulier celles de Ernst Cassirer, peuvent suppléer ou rectifier la philosophie sartrienne, en en faisant un situationnisme critique. (shrink)

Ethics in business and economics is often attacked for being too superficial. By elaborating the conclusions of two such critics of business ethics and welfare economics respectively, this article will draw the attention to the ethics behind these apparently well-intended, but not always convincing constructions, by help of the fundamental ethics of Emmanuel Levinas. To Levinas, responsibility is more basic than language, and thus also more basic than all social constructions. Co-operation relations in organizations, markets and value networks are generated (...) from personal relations and personal responsibilities. It is not sufficient to integrate ethics in an impersonal, rational system, neither in business organizations nor in the world economy. Ethics has its source not in rationality, but in the personal. (shrink)

By a valid inference is here understood an inference that succeeds in its aim to justify its conclusion given that its premisses are already justified. For an inference to be valid it is thus not enough that the sentence asserted in the conclusion is a logical consequence of the sentences asserted in the premisses. A proof is understood as a succession of valid inferences that is closed (i.e. all its assumptions are discharged and all its free variables are bound by (...) some of the inferences). On the other hand, in mathematics the justification of an assertion has traditionally been taken to consist in a proof of it, which gives rise to an explanatory circle.In an attempt to avoid this circle, I have in previous works tried to explain the notion of ground for an assertion without referring to valid inferences. However, it turns out that the resulting notion of ground has unwanted consequences like the notion of proof in the so-called BHK-interpretation of intuitionistic logic. For instance, one is guaranteed a ground or a proof of an implication A → B as soon as there is in fact no ground or proof of A, regardless of whether one really knows this fact, and hence without having a real justification of the assertion of the implication.In the absence of a non-circular explanation of the notions of valid inference and proof, I suggest that we should try to formulate a number of principles of how these two epistemic notions depend on each other. A more careful explanation of the validity of an inference results in what I call a heuristic idea about the validity of inference, which is used as a guide to formulate precise principles. One such principle generalizes Gentzen’s idea that his introduction rules define the meaning of the logical constants. Another principle generalizes a previously noted property of Gentzen’s elimination rules that I have called that of satisfying the inversion principle. It results in a notion that I call non-creativity, which implies validity. (shrink)

Levinas did not present any new ethical theories; he did not even give any normative recommendations. But his phenomenological investigations help us to understand how the idea of ethics emerges and how we try to cope with it. The purpose of this paper is to suggest some implications from a reading of Levinas on how ethical challenges are handled within a management perspective. The paper claims that management, both in theory and in practice, is necessarily egocentric and thus ethically biased. (...) Therefore, ethics, defined as the idea that it is possible to do otherwise than pursue one's own interest, must have its source outside the scope of management. Levinas identifies this source as the call for responsibility from the Other, beyond the reach of managerial control. He also suggests how this idea of ethics is put into practice, especially in economic life: the existence of money makes it both possible and necessary to compare unique and incomparable others. Management tools may be used in the service of always more justice, as it also may be used for the opposite purpose. Instead of trying to draw a normative conclusion from Levinas, we may distinguish between two ways of experiencing reality: one through language and knowledge, covering both descriptive and normative knowledge, including business ethics, and the other through the particular events of encounters, from where this knowledge is continuously questioned through the call for responsibility, and thereby may provide possibilities for continuous improvements towards always more justice. (shrink)

In terms of Arabic philology, the concept of reason performs the function of bonding and is a key to terms such as wisdom, goodness, duty, and autonomy. By using the reason in its proper place, morality that regulates the self (nafs) emerges. The reason, which is seen as the source of spiritual values, has given human beings the quality of being the subject of trust (amana). In Islamic Wisdom, human beings are distinguished from animals by the characteristics of carrying the (...) Trust and having morality. Morality is not a factual but a spiritual value produced by the self. Thus, having reason also requires being moral. Reason, which is related to both matter and meaning, must move in parallel like a clock with morality, which is related to ideas and deeds. The unity of reason and morality is like the two boat oars that must be pulled in order to navigate the boat at the sea. The disruption of this balance leads to the disruption of the order. Islamic wisdom emphasizes that when this dual plane is well established, order and dynamism arise, and when it is disrupted, chaos and stagnation occur. In this paper, the unity of reason and morality relationship in Islamic wisdom is discussed. (shrink)

Dag Prawitz The Bulletin of Symbolic Logic, Volume 19, Issue 1, Page 119-122, March 2013.

This article explains and discusses the relationship between traditional legislative processes and the development of automated government decision-making systems. The juridical aspects of systems development should be regarded as invisible quasi-legislation. The author investigates and discusses possible ways of changing the legislative process with a view to increasing and improving political involvement in processes today often regarded as mere implementation, and thereby safeguard that important parts of the law of our computerised society is situated in the public domain.

Justice is an important concept in philosophy since ancient times and a key phenomenon in human life (in societies). First a judge at a court, two sides, their witnesses, Lawyer-A and Lawyer-B are considered in this quasi-essay inquiry. Then pointed out that, which lawyer better develops his/her arguments, his/her side will be advantageous. Reality conceals on the one side, truth (and rightness) stands on the other. However this will be risky in social life; it may be understood by an ordinary (...) man (or someone who doesn’t have a proper philosophical insight) as “who - obeying the rules- better diverts reality and shows that (s)he is right, his/her side wins.” Not only knowledge, but also philosophy itself loses prestige in such a tableau. Stemming from ‘Gettier-pictures,’ a “murderingevent” is presented thereafter. By help of pseudo-philosophers Prof. Truth, Prof. Reality and E.G. (“eyeglasser”) some perspectives related to “knowledge” and “knowing” are discussed while trying to analyze the mentioned event. At the end, (reflecting in the place of me) E.G. states some features (which are important for him) concerning knowledge. In this paper, ‘subject-dependency’ and internalizability (or better, interiorizability) of knowledge will be traced somehow; in addition to a search towards ‘relevant’, ‘valuable’, ‘illicit’, and ‘proper’ kinds. (shrink)

We prove that the Kleene schemes for primitive recursion relative to the μ-operator, relativized to some nondeterministic objects, have the same power to express total functionals when interpreted over the partial continuous functionals and over the Kleene-Kreisel continuous functionals. Relating the former interpretation to Niggl's ℳω we prove Nigg's conjecture that ℳω is strictly weaker than Plotkin's PCF + PA.

The category of heroic action is important in both everyday life and the wider social context. This article argues that interest in the notion of heroic actions and heroic defeats also brings out an important set of sociological problems, such as disagreements on identity, norms, and rational choice explanations. Illustrations are provided from recent analyses of union militancy in Britain and Italy, and of the student movement in Beijing. Different versions of the critique of rational choice theory often take norm-guided (...) action as a point of departure. Another version of this critique is represented by theories of new social movements and identity maintenance. The article suggests that rational choice theory is more useful than some of its opponents would have it; yet the general argument favors a mixed motivation approach. The discussion points out some of the strengths and limitations of different explanatory perspectives, and some of the links between them. (shrink)