Limitarianism holds that there is an upper limit to how many resources, such as wealth and income, people can permissibly have. In this article, I examine the conceptual structure of limitarianism. I focus on the upper limit and the idea that resources above the limit are ‘excess resources’. I distinguish two possible limitarian views about such resources: (i) that excess resources have zero moral value for the holder; and (ii) that excess resources do have moral value for the (...) holder but that their claim to such resources is outweighed by other normative concerns. Moreover, I argue that, depending on the values limitarianism seeks to promote, limitarians should care about the number of people with excess resources or the total amount of excess resources (or both), that they can adopt redistributive measures and/or predistributive measures, and that some versions of limitarianism should take into account the distribution of risk among those above the riches line. (shrink)

Where AR is the set of arithmetic Turing degrees, 0 (ω ) is the least member of { $\mathbf{\alpha}^{(2)}|\mathbf{a}$ is an upper bound on AR}. This situation is quite different if we examine HYP, the set of hyperarithmetic degrees. We shall prove (Corollary 1) that there is an a, an upper bound on HYP, whose hyperjump is the degree of Kleene's O. This paper generalizes this example, using an iteration of the jump operation into the transfinite which is (...) based on results of Jensen and is detailed in [3] and [4]. In $\S1$ we review the basic definitions from [3] which are needed to state the general results. (shrink)

How much value can our decisions create? We argue that unless our current understanding of physics is wrong in fairly fundamental ways, there exists an upper limit of value relevant to our decisions. First, due to the speed of light and the definition and conception of economic growth, the limit to economic growth is a restrictive one. Additionally, a related far larger but still finite limit exists for value in a much broader sense due to the physics of information (...) and the ability of physical beings to place value on outcomes. We discuss how this argument can handle lexicographic preferences, probabilities, and the implications for infinite ethics and ethical uncertainty. (shrink)

Ontologies are some of the most central constructs in today's large plethora of knowledge technologies, namely in the context of the semantic web. As their coinage indicates, they are direct heirs to the ontological investigations in the long Western philosophical tradition, but it is not easy to make bridges between them. Contemporary ontological commitments often take causality as a central aspect for the ur-segregation of entities, especially in scientific upper ontologies; theories of causality and philosophical ontological investigations often go (...) hand-in-hand, and were essentially inseparable in medieval thought. This constitutes the foundation for a bridge, and this article analyzes the causality-based ontology of the late medieval philosopher Dietrich of Freiberg from the viewpoint of today's upper-ontology engineering. In this bridging attempt, it offers a translation into English of the first part of Dietrich's De origine (abbreviated title) that is a compromise between traditional scholarly translations of medieval Latin philosophical texts and contemporary ontology. (shrink)

Every domain-specific ontology must use as a framework some upper-level ontology which describes the most general domain-independent categories of reality. In the present paper we sketch a new type of upper-level ontology, and we outline an associated knowledge modelling language called GOL – for: General Ontological Language. It turns out that the upper-level ontology underlying well-known standard modelling languages such as KIF, F-Logic and CycL is restricted to the ontology of sets. In a set theory which allows (...) Urelements, however, there will be ontological relations between these Urelements which the set-theoretic machinery cannot capture. In contrast to standard modelling and representation formalisms, GOL provides a machinery for representing and analysing such ontologically basic relations. GOL is thus a genuine extension of KIF and of similar languages. In GOL entities are divided into sets and Urelements, the latter being divided in their turn into individuals and universals. Foremost among the individuals are things or substances, tropes or moments, and situoids: entities containing facts as components. (shrink)

On March 14-15, 2006, at the US National Institute of Standards and Technology (NIST) in Gaithersburg, MD there took place the first Upper Ontology Summit (UOS). This was a convening of custodians of several prominent upper ontologies, key technology participants, and interested other parties, with the purpose of finding a means to relate the different ontologies to each other. The result is reflected in a joint communiqué, directed to the larger ontology community and the general public, and expressing (...) a joint intent to build bridges among the existing upper ontologies in ways designed to increase and rationalize their utilization and to enhance their semantic interoperability. (shrink)

Let I be a countable jump ideal in $\mathscr{D} = \langle \text{The Turing degrees}, \leq\rangle$ . The central theorem of this paper is: a is a uniform upper bound on I iff a computes the join of an I-exact pair whose double jump a (1) computes. We may replace "the join of an I-exact pair" in the above theorem by "a weak uniform upper bound on I". We also answer two minimality questions: the class of uniform upper (...) bounds on I never has a minimal member; if ∪ I = L α [ A] ∩ ω ω for α admissible or a limit of admissibles, the same holds for nice uniform upper bounds. The central technique used in proving these theorems consists in this: by trial and error construct a generic sequence approximating the desired object; simultaneously settle definitely on finite pieces of that object; make sure that the guessing settles down to the object determined by the limit of these finite pieces. (shrink)

It is well known that the set of algebraic numbers (let us call it A) is countable. In this paper, instead of the usage of the classical terminology of cardinals proposed by Cantor, a recently introduced methodology using ①-based infinite numbers is applied to measure the set A (where the number ① is called grossone). Our interest to this methodology is explained by the fact that in certain cases where cardinals allow one to say only whether a set is countable (...) or it has the cardinality of the continuum, the ①-based methodology can provide a more accurate measurement of infinite sets. In this article, lower and upper estimates of the number of elements of A are obtained. Both estimates are expressed in ①-based numbers. (shrink)

Torben Kjærsgaard’s argues that the term “cognitive enhancement substances” is an inappropriate term considering that stimulants do not enhance cognition, but rather only enhance motivation. Therefore, he concludes that stimulants are best described as “performance maintenance” and not “performance enhancement.” I challenge his conclusion on the grounds that both life’s ordinary, daily activities and life’s extraordinary activities are types of performances necessary for living the kinds of lives that we want to live, which can be enhanced, not just maintained, with (...) the effects of cognitive enhancing substances. “Cognitive enhancing substances” may be a misleading term, but referring to the effects of cognitive enhancing substances as “performance maintenance,” rather than “performance enhancing,” misguidedly minimizes the role that motivation plays into our self-determined lives. (shrink)

In his “Bridging mainstream and formal ontology”, Augusto (2021) gives an excellent analysis of Dietrich von Freiberg’s idea of using causality as a partitioning principle for upper ontologies. For this Dietrich’s notion of extrinsic principles is crucial. The question whether causation can and indeed should be used as a partitioning principle for ontologies is discussed using mathematics and physics as examples.

The students’ academic performance is the key element for both learners and teachers in examining the educational objectives for all subjects. This work is entitled “Factors contributing to Students' Academic Performance in Biology State Examination at Upper Secondary Schools in Gitega commune, Burundi” explores the factors that influence the students’ academic performance in biology national examination, particularly in Gitega commune. All school directors, laboratory, and library staff, and six senior students who did biology national examination over five school years (...) from 2016 to 2020 in all upper secondary schools with Biology-Chemistry and Earth sciences combination formed a study population. The stratified sampling technique to carry out this correlational study for choosing the upper secondary schools from urban and rural school areas. This study covered 12 upper secondary schools, 12 library staff and 3 laboratory staff, and 1961 senior six students who were selected purposively according to the above learning combination six in 1961 senior students over five consecutive school years (2016 to 2020) as a sample. The instruments used for collecting data were questionnaires and the document review checklist. Descriptive statistics, Analysis of variance (ANOVA) and multiple linear Regression test were used to analyze the collected data and the interpretation was guided by a literature review. The findings of this study indicated that teachers’ academic qualifications were inversely associated with the students’ academic performance whereas the teachers’ professional qualifications and students’ academic performance were also negatively linked. Also, there was statistically a significant association between teaching experience and students’ academic performance while professional training of biology Teachers are significantly associated with students’ academic performance. Other contributing factors to students’ academic achievement such as physical facilities (laboratory, library, staff room, computer lab and biology textbooks were significantly and positively linked with students' academic performance. Based on these findings, recommendations were made. (shrink)

Proof uses forcing on perfect trees for 2-quantifier sentences in the language of arithmetic. The result extends to exact pairs for the hyperarithmetic degrees.

The study investigated school characteristics and enrolment trend in upper basic schools in Akwa Ibom State Nigeria from 2008-2016. Two research questions were answered while two null hypotheses were also tested. The study adopted a descriptive survey research design. Census technique was adopted in selecting all the 227 public upper basic schools in the area of study. An instrument tagged “School Characteristics and Enrolment in Upper Basic Schools Checklist (SCEUBSC)” was used for data collection. Descriptive statistics (percentages) (...) was used to summarize data relating to the research questions, bar chart was used for illustrations of the enrolment pattern while independent t-test was used to test the two null hypotheses at .05 alpha level. Findings revealed that enrolment in upper basic schools in Akwa Ibom State was high in single-sex schools and boarding schools, while it was low in mixed-sex schools and day schools. Based on the findings, it was concluded that there was an upward trend in enrolment in all the schools from 2008- 2013 and a downward trend from 2015-2016. It was recommended among others that research allocation in terms of personnel and infrastructures should be evenly distributed across the state as these will reduce rural-urban migration. Keywords:. (shrink)

Objectives: The most principal nutrition source of a bone is nutrient arteries. They are important at every stage of bone development. A nutrient artery enters a bone through the nutrient foramen, the largest hole on the outer surface of the bone. The foramen is important both morphologically and clinically. -/- Methods: A total of 414 adult human dry bones were investigated in this study to identify topographic and morphological features of nutrient foramina in the scapula, clavicle, humerus, radius and ulna. (...) Nutrient foramina were examined with a hand lens. Their dimensions and directions were determined with a 21-gauge needle, and thus major foramina were detected. Positions of nutrient foramina were noted according to surfaces of the bones, and to segments separated as proximal, middle and distal by calculating foraminal index. -/- Results: A single nutrient foramen was found in 71% of our samples. We observed that 94.2% of foramina in the clavicle, 89.3% of foramina in the humerus, 51.3% of foramina in the radius, and 67.7% of foramina in the ulna were located in the middle 1/3 segment of the bones. -/- Conclusion: Our findings were in line with the data in the literature. On account of pathologies associated with the nutrient foramen, our findings may be helpful for surgeons to design applications performed in the region. In addition, we think that our data by contributing to the literature may be a resource for clinicians due to the importance of the nutrient foramen for surgical procedures. (shrink)

Abstract: Minstrels are found in all parts of the world. They perform similar functions in their various societies. They are the custodian of the people’s history, entertainers, educationists, advisers and reconstructionists. The secret behind their success in their roles in the society lies in their ability to impress the audience during their performance. Performance plays an indispensable role in full actualization of the story being told as a full aesthetic experience. In this paper, the writer x-rays the roles of both (...) performance and the context of the play in reconstruction of the society especially in Upper Iweka area of Onitsha town. (shrink)

In this paper we consider conditional random quantities (c.r.q.’s) in the setting of coherence. Based on betting scheme, a c.r.q. X|H is not looked at as a restriction but, in a more extended way, as \({XH + \mathbb{P}(X|H)H^c}\) ; in particular (the indicator of) a conditional event E|H is looked at as EH + P(E|H)H c . This extended notion of c.r.q. allows algebraic developments among c.r.q.’s even if the conditioning events are different; then, for instance, we can give a (...) meaning to the sum X|H + Y|K and we can define the iterated c.r.q. (X|H)|K. We analyze the conjunction of two conditional events, introduced by the authors in a recent work, in the setting of coherence. We show that the conjoined conditional is a conditional random quantity, which may be a conditional event when there are logical dependencies. Moreover, we introduce the negation of the conjunction and by applying De Morgan’s Law we obtain the disjoined conditional. Finally, we give the lower and upper bounds for the conjunction and disjunction of two conditional events, by showing that the usual probabilistic properties continue to hold. (shrink)

Basic Formal Ontology was created in 2002 as an upper-level ontology to support the creation of consistent lower-level ontologies, initially in the subdomains of biomedical research, now also in other areas, including defense and security. BFO is currently undergoing revisions in preparation for the release of BFO version 2.0. We summarize some of the proposed revisions in what follows, focusing on BFO’s treatment of material entities, and specifically of the category object.

Over the years, ethylene-diamine-tetra-acetate (EDTA) has been widely used for many purposes. However, there are inadequate phytoassessment studies conducted using EDTA in Vetiver grass. Hence, this study evaluates the phytoassessment (growth performance, accumulation trends, and proficiency of metal uptake) of Vetiver grass, Vetiveria zizanioides (Linn.) Nash in both single and mixed heavy metal (Cd, Pb, Cu, and Zn)—disodium EDTA-enhanced contaminated soil. The plant growth, metal accumulation, and overall efficiency of metal uptake by different plant parts (lower root, upper root, (...) lower tiller, and upper tiller) were thoroughly examined. The relative growth performance, metal tolerance, and phytoassessment of heavy metal in roots and tillers of Vetiver grass were examined. Metals in plants were measured using the flame atomic absorption spectrometry (F-AAS) after acid digestion. The root-tiller (R/T) ratio, biological concentration factor (BCF), biological accumulation coefficient (BAC), tolerance index (TI), translocation factor (TF), and metal uptake efficacy were used to estimate the potential of metal accumulation and translocation in Vetiver grass. All accumulation of heavy metals were significantly higher (p < 0.05) in both lower and upper roots and tillers of Vetiver grass for Cd + Pb + Cu + Zn + EDTA treatments as compared with the control. The single Zn + EDTA treatment accumulated the highest overall total amount of Zn (8068 ± 407 mg/kg) while the highest accumulation for Cu (1977 ± 293 mg/kg) and Pb (1096 ± 75 mg/kg) were recorded in the mixed Cd + Pb + Cu + Zn + EDTA treatment, respectively. Generally, the overall heavy metal accumulation trends of Vetiver grass were in the order of Zn >>> Cu > Pb >> Cd for all treatments. Furthermore, both upper roots and tillers of Vetiver grass recorded high tendency of accumulation for appreciably greater amounts of all heavy metals, regardless of single and/or mixed metal treatments. Thus, Vetiver grass can be recommended as a potential phytoextractor for all types of heavy metals, whereby its tillers will act as the sink for heavy metal accumulation in the presence of EDTA for all treatments. (shrink)

In earlier work on limitarianism, I argued that setting an upper limit to the amount of wealth that people can permissibly have is justified when decision-makers are unaware of or disagree about the appropriate distributive criterion or if they are unaware of people’s relevant features (or both). Robert Huseby has raised several powerful objections to this presumptive argument for limitarianism. Some of these objections call for a revision of my defence of presumptive limitarianism while others call for clarification, both (...) of which I aim to do in this chapter. I will argue that unless decision-makers have substantive reasons to suggest otherwise, they must act as if there is an upper limit to the amount of wealth that people can permissibly have. (shrink)

Changes in an upper level ontology have obvious conse-quences for the domain ontologies that use it at lower levels. It is therefore crucial to document the changes made between successive versions of ontologies of this kind. We describe and apply a method for tracking, explaining and measuring changes between successive versions of upper level ontologies such as the Basic Formal Ontology (BFO). The proposed change-tracking method extends earlier work on Realism-Based Ontology Versioning (RBOV) and Evolutionary Terminology Auditing (ETA). (...) We describe here the application of this evaluation method to changes between BFO 1.0, BFO 1.1, and BFO 2.0. We discuss the issues raised by this application and describe the extensions which we added to the original evaluation schema in order to account for changes in an ontology of this type. Our results show that BFO has undergone eight types of changes that can be systematically explained by the extended evaluation schema. Finally, we discuss problematic cases, possible pitfalls and certain limits of our study that we propose to address in future work. (shrink)

Throughout the 20th century, market capitalism was defended on parallel grounds. First, it promotes freedom by enabling individuals to exploit their own property and labor-power; second, it facilitates an efficient allocation and use of resources. Recently, however, both defenses have begun to unravel—as capitalism has moved into its “platform” phase. Today, the pursuit of allocative efficiency, bolstered by pervasive data surveillance, often undermines individual freedom rather than promoting it. And more fundamentally, the very idea that markets are necessary to achieve (...) allocative efficiency has come under strain. Even supposing, for argument’s sake, that the claim was true in the early 20th century when von Mises and Hayek pioneered it, advances in computing have rekindled the old “socialist calculation” debate. And this time around, markets—as information technology—are unlikely to have the upper hand. -/- All of this, we argue, raises an important set of governance questions regarding the political economy of the future. We focus on two: How much should our economic system prioritize freedom, and to what extent should it rely on markets? The arc of platform capitalism bends, increasingly, toward a system that neither prioritizes freedom nor relies on markets. And the dominant critical response, exemplified by Shoshana Zuboff’s work, has been to call for a restoration of market capitalism. Longer term, however, we believe it would be more productive to think about how “postmarket” economic arrangements might promote freedom—or better yet, autonomy—even more effectively than markets, and to determine the practical steps necessary to realize that possibility. (shrink)

You are morally permitted to save your friend at the expense of a few strangers, but not at the expense of very many. However, there seems no number of strangers that marks a precise upper bound here. Consequently, there are borderline cases of groups at the expense of which you are permitted to save your friend. This essay discusses the question of what explains ethical vagueness like this, arguing that there are interesting metaethical consequences of various explanations.

Drawing on upper echelon theory, this study investigates the impact of CEOs’ (chief executive officers) demographic characteristics on corporate environmental performance (CEP) in small and medium-sized enterprises (SMEs). We hypothesized that CEO characteristics, including gender, age, basic educational level, professional educational level, political connection, and ethnicity, affect SMEs’ environmental performance. Using the cross-sectional data analysis of 810 Vietnamese SMEs, this study provides evidence that female CEOs and CEOs’ educational level (both basic and professional) are positively related to the probability (...) of CEP. We also find that based on the role of institutional environment on CEP, political connections had a negative effect on CEP in the context of Vietnam. Another finding is that SMEs with chief executives from ethnic minority groups show a higher level of the probability of corporate environmental performance than companies operated by Kinh chief executives. Since CEP is an essential dimension of corporate social responsibility, a strategic decision for SMEs, it is crucial for the company to select appropriate CEOs based on their demographic characteristics. (shrink)

Teleology has a complicated history in the biological sciences. Some have argued that Darwin’s theory has allowed biology to purge itself of teleological explanations. Others have been content to retain teleology and to treat it as metaphorical, or have sought to replace it with less problematic notions like teleonomy. And still others have tried to naturalize it in a way that distances it from the vitalism of the nineteenth century, focusing on the role that function plays in teleological explanation. No (...) consensus has seemed possible in this debate. This paper takes a different approach. It argues that teleology is a perfectly acceptable scientific notion, but that the debate took an unfortunate misstep some 2300 years ago, one that has confused things ever since. The misstep comes in the beginning of Aristotle’s Physics when a distinction is made between two types of teleological explanation. One type pertains to artifacts while the other pertains to entities in nature. For Aristotle, artifacts are guided by something external to themselves, human intentions, while natural entities are guided by an internal nature. We aim to show that there is, in fact, only one type of legitimate teleological explanation, what Aristotle would have considered a variant of an artifact model, where entities are guided by external fields. We begin with an analysis of the differences between the two types of explanation. We then examine some evidence in Aristotle’s biological works suggesting that on account of his natural-artifactual distinction, he encountered difficulties in trying to provide teleological accounts of spontaneous generation. And we show that it is possible to resolve these difficulties with a more robust version of an artifact model of teleology, in other words, with an externalist teleology. This is McShea’s model, in which goal-directed entities are guided by a nested series of upper-level fields. To explain teleological behavior, this account invokes only external physical forces rather than mysterious internal natures. We then consider how field theory differs from other efforts to naturalize teleology in biology. And finally, we show how the account enables us to grapple with certain difficult cases – genes and intentions – where, even in biology today, the temptation to posit internal natures remains strong. (shrink)

Body checking, characterized by the repeated visual or physical inspection of particular parts of one’s own body (e.g. thighs, waist, or upper arms) is one of the most prominent behaviors associated with eating disorders, particularly Anorexia Nervosa (AN). In this paper, we explore the explanatory potential of the Recalcitrant Fear Model of AN (RFM) in relation to body checking. We argue that RFM, when combined with certain plausible auxiliary hypotheses about the cognitive and epistemic roles of emotions, is able (...) to explain key characteristics of body checking, including how body checking behavior becomes habitual and compulsive. (shrink)

While ideal interventions are acknowledged by many as valuable tools for the analysis of causation, recent discussions have shown that, since there are no ideal interventions on upper-level phenomena that non-reductively supervene on their underlying mechanisms, interventions cannot—contrary to a popular opinion—ground an informative analysis of constitution. This has led some to abandon the project of analyzing constitution in interventionist terms. By contrast, this paper defines the notion of a horizontally surgical intervention, and argues that, when combined with some (...) innocuous metaphysical principles about the relation between upper and lower levels of mechanisms, that notion delivers a sufficient condition for constitution. This, in turn, strengthens the case for an interventionist analysis of constitution. (shrink)

Preference relations are intensively studied in Economics, but they are also approached in AI, Knowledge Representation, and Conceptual Modelling, as they provide a key concept in a variety of domains of application. In this paper, we propose an ontological foundation of preference relations to formalise their essential aspects across domains. Firstly, we shall discuss what is the ontological status of the relata of a preference relation. Secondly, we investigate the place of preference relations within a rich taxonomy of relations (e.g. (...) we ask whether they are internal or external, essential or contingent, descriptive or nondescriptive relations). Finally, we provide an ontological modelling of preference relation as a module of a foundational (or upper) ontology (viz. OntoUML). The aim of this paper is to provide a sharable foundational theory of preference relation that foster interoperability across the heterogeneous domains of application of preference relations. (shrink)

Numerous research groups are now utilizing Basic Formal Ontology as an upper-level framework to assist in the organization and integration of biomedical information. This paper provides elucidation of the three existing BFO subcategories of realizable entity, namely function, role, and disposition. It proposes one further sub-category of tendency, and considers the merits of recognizing two sub-categories of function for domain ontologies, namely, artifactual and biological function. The motivation is to help advance the coherent ontological treatment of functions, roles, and (...) dispositions, to help provide the potential for more detailed classification, and to shed light on BFO’s general make-up and use. (shrink)

This chapter reviews several varieties of grounding skepticism as well as responses that have been proposed by grounding enthusiasts to considerations raised by grounding skeptics. Grounding skeptics, as I conceive of them here, are theorists who belong to one of the following two schools of thought. “Old-school” grounding skeptics doubt the theoretical utility of the grounding idiom by denying one of its presuppositions, viz., that this notion is at least intelligible or coherent. “Second-generation” grounding skeptics call into question the theoretical (...) utility of the grounding idiom for other reasons; their skeptical doubts tend to focus on one of the following three purported theoretical virtues grounding enthusiasts ascribe to their idiom: (i) its alleged power to unify an apparently heterogeneous collection of phenomena; (ii) its alleged power to capture and/or elucidate the distinction between the fundamental and the non-fundamental; or (iii) the alleged metaphysical (as opposed to mind-dependent, epistemic, or psychological) utility of grounding claims. Grounding enthusiasts have already formulated responses to many of the objections described in this chapter. At this point, however, it is fair to say that the state of the literature is still evolving, and no conclusive judgment can therefore be reached as of yet as to whether grounding enthusiasts or grounding skeptics have gained the upper hand in these debates. In the meantime, though, grounding skeptics continue to maintain that the classification of factual and/or nonfactual connections under the rubric of grounding does not really help us illuminate the nature of the connections at issue; instead, from the view of the grounding skeptic, we are better off studying these various connections separately and in their own right. (shrink)

Functionalism is the view that being x is to play the role of x. This paper defends a functionalist account of three-dimensional entities in the context of Wave Function Realism (WFR), that can explain in detail how we can recover three-dimensional entities out of the wavefunction. In particular, the essay advocates for a novel version of WFR in terms of a functional reductionist approach in the style of David Lewis. This account entails reduction of the upper entities to the (...) bottom ones, when the latter behave appropriately. As applied to WFR, it shows how the wavefunction can turn out to be identical to three-dimensional objects, provided certain conditions. The first major goal of the paper is thus to put forward an improved and more rigorous version of WFR, which dissolves several extant issues about the theory, and can serve as a starting point for future literature on the topic. Moreover, the second major goal of the article is to take WFR as a case study to demonstrate the pros of functional reductionism, especially in the form defended here, thereby helping to bring this view back in the philosophy of science debate. The positive upshots of this paper suggest a possible application of functional reductionism also to other contexts. (shrink)

This monograph investigates the temporal interpretation of narrative discourse in two parts. The theme of the first part is narrative progression. It begins with a case study of the adverb ‘now’ and its interaction with the meaning of tense. The case study motivates an ontological distinction between events, states and times and proposes that ‘now’ seeks a prominent state that holds throughout the time described by the tense. Building on prior research, prominence is shown to be influenced by principles of (...) discourse coherence and two coherence principles, NARRATION and RESULT, are given a formally explicit characterization. The key innovation is a new method for testing the definitional adequacy of NARRATION and RESULT, namely by an abductive argument. This contribution opens a new way of thinking about how eventive and stative descriptions contribute to the perceived narrative progression in a discourse. -/- The theme of the second part of the monograph is the semantics and pragmatics of tense. A key innovation is that the present and past tenses are treated as scalar alternatives, a view that is motivated by adopting a particular hypothesis concerning stative predication. The proposed analysis accounts for tense in both matrix clauses and in complements of propositional attitudes, where the notorious double access reading arises. This reading is explored as part of a corpus study that provides a glimpse of how tense semantics interacts with Gricean principles and at-issueness. Several cross-linguistic predictions of the analysis are considered, including their consequences for the Sequence of Tense phenomenon and the Upper Limit Constraint. Finally, a hypothesis is provided about how tense meanings compose with temporal adverbs and verb phrases. Two influential analysis of viewpoint aspect are then compared in light of the hypothesis. (shrink)

Although the last decade has seen a proliferation of ontological approaches to arguments, many of them employ ad hoc solutions to representing arguments, lack interoperability with other ontologies, or cover arguments only as part of a broader approach to evidence. To provide a better ontological representation of arguments, we present the Arguments Ontology (ArgO), a small ontology for arguments that is designed to be imported and easily extended by researchers who work in different upper-level ontology frameworks, different logics, and (...) different approaches to argument evaluation. Unlike most ontological approaches to arguments, ArgO utilizes Basic Formal Ontology (BFO) as an upper-level ontology, and may be used alongside other commonly used ontologies in the BFO framework, including boththe Information Artifact Ontology (IAO), and the Information Entity Ontology (INFO). Critically, our proposal is principled, based on rigorous definitions and formal axioms out of which characterizations of arguments naturally fall. It is our hope that ArgO may assist researchers in many projects, including: integrating heterogeneous sources of evidence, structuring the content of semantic wikis, and enhancing semantic reasoning. (shrink)

Previous claims to have resolved the two-envelope paradox have been premature. The paradoxical argument has been exposed as manifestly fallacious if there is an upper limit to the amount of money that may be put in an envelope; but the paradoxical cases which can be described if this limitation is removed do not involve mathematical error, nor can they be explained away in terms of the strangeness of infinity. Only by taking account of the partial sums of the infinite (...) series of expected gains can the paradox be resolved. (shrink)

Affective science conducts interdisciplinary research into the emotions and other affective phenomena. Currently, such research is hampered by the lack of common definitions of te rms used to describe, categorise and report both individual emotional experiences and the results of scientific investigations of such experiences. High quality ontologies provide formal definitions for types of entities in reality and for the relationships between such entities, definitions which can be used to disambiguate and unify data across different disciplines. Heretofore, there has been (...) little effort directed towards such formal representation for affective phenomena, in part because of widespread debates within the affective science community on matters of definition and categorization. We describe our efforts towards developing an Emotion Ontology (EMO) to serve the affective science community. We here focus on conformity to the BFO upper ontology and disambiguation of polysemous terminology. (shrink)

Suppose that you are trying to pursue a morally worthy goal, but cannot do so without incurring some moral costs. At the outset, you believed that achieving your goal was worth no more than a given moral cost. And suppose that, time having passed, you have wrought only harm and injustice, without advancing your cause. You can now reflect on whether to continue. Your goal is within reach. What's more, you believe you can achieve it by incurring—from this point forward—no (...) more cost than it warranted at the outset. If you now succeed, the total cost will exceed the upper bound marked at the beginning. But the additional cost from this point is below that upper bound. And the good you will achieve is undiminished. How do the moral costs you have already inflicted bear upon your decision now? (shrink)

It has been commonly claimed that prehistoric warfare in Japan began in the Yayoi period. Population increases due to the introduction of agriculture from the Korean Peninsula to Japan resulted in the lack of land for cultivation and resources for the population, eventually triggering competition over land. This hypothesis has been supported by the demographic data inferred from historical changes in Kamekan, a burial system used especially in the Kyushu area in the Yayoi period. The present study aims to examine (...) the previous claim by using an expanded dataset of human skeletal remains and Kamekan. First, in order to quantify the intensity of warfare, we developed a database of injured individuals found in the middle phase of the Yayoi period in two large populations in the northern Kyushu area, the Fukuoka plain and the upperand middle-stream of the Homan River. Second, we collected Kamekan data from site reports published after 1990 and constructed a comprehensive database to infer the demography in these areas. Finally, we compared the frequency of injured individuals and the inferred demography. The results suggest that the frequency of injured individuals and the population increase tended to be higher at the upper- and middle-stream of the Homan River than on the Fukuoka plain. Different assumptions of the lifetime of each type of Kamekan can produce mixed results on the relationship between demography and the frequency of injured individuals. They were positively correlated under the traditional assumption of constant time intervals, while there was no correlation using time intervals based on carbon dating by the National Museum of Japanese History. Thus, our results are partially consistent with the previous claim that the population increase and the lack of land and resources due to the introduction of agriculture were causes of warfare in the northern Kyushu area in the middle phase of the Yayoi period. (shrink)

Mental and behavioral disorders represent a significant portion of the public health burden in all countries. The human cost of these disorders is immense, yet treatment options for sufferers are currently limited, with many patients failing to respond sufficiently to available interventions and drugs. High quality ontologies facilitate data aggregation and comparison across different disciplines, and may therefore speed up the translation of primary research into novel therapeutics. Realism-based ontologies describe entities in reality and the relationships between them in such (...) a way that – once formulated in a suitable formal language – the ontologies can be used for sophisticated automated reasoning applications. Reference ontologies can be applied across different contexts in which different, and often mutually incompatible, domain-specific vocabularies have traditionally been used. In this contribution we describe the Mental Functioning Ontology (MF) and Mental Disease Ontology (MD), two realism-based ontologies currently under development for the description of humanmental functioning and disease. We describe the structure and upper levels of the ontologies and preliminary application scenarios, and identify some open questions. (shrink)

The COVID-19 pandemic prompted immense work on the investigation of the SARS-CoV-2 virus. Rapid, accurate, and consistent interpretation of generated data is thereby of fundamental concern. Ontologies––structured, controlled, vocabularies––are designed to support consistency of interpretation, and thereby to prevent the development of data silos. This paper describes how ontologies are serving this purpose in the COVID-19 research domain, by following principles of the Open Biological and Biomedical Ontology (OBO) Foundry and by reusing existing ontologies such as the Infectious Disease Ontology (...) (IDO) Core, which provides terminological content common to investigations of all infectious diseases. We report here on the development of an IDO extension, the Virus Infectious Disease Ontology (VIDO), a reference ontology covering viral infectious diseases. We motivate term and definition choices, showcase reuse of terms from existing OBO ontologies, illustrate how ontological decisions were motivated by relevant life science research, and connect VIDO to the Coronavirus Infectious Disease Ontology (CIDO). We next use terms from these ontologies to annotate selections from life science research on SARS-CoV-2, highlighting how ontologies employing a common upper-level vocabulary may be seamlessly interwoven. Finally, we outline future work, including bacteria and fungus infectious disease reference ontologies currently under development, then cite uses of VIDO and CIDO in host-pathogen data analytics, electronic health record annotation, and ontology conflict-resolution projects. (shrink)

This paper is devoted to present Technique for Order Preference by Similarity to Ideal Solution (TOPSIS) method for multi-attribute group decision making under rough neutrosophic environment. The concept of rough neutrosophic set is a powerful mathematical tool to deal with uncertainty, indeterminacy and inconsistency. In this paper, a new approach for multi-attribute group decision making problems is proposed by extending the TOPSIS method under rough neutrosophic environment. Rough neutrosophic set is characterized by the upper and lower approximation operators and (...) the pair of neutrosophic sets that are characterized by truth-membership degree, indeterminacy membership degree, and falsity membership degree. In the decision situation, ratings of alternatives with respect to each attribute are characterized by rough neutrosophic sets that reflect the decision makers’ opinion. Rough neutrosophic weighted averaging operator has been used to aggregate the individual decision maker’s opinion into group opinion for rating the importance of attributes and alternatives. Finally, a numerical example has been provided to demonstrate the applicability and effectiveness of the proposed approach. (shrink)

'. . . this book will be valuable to upper-division and graduate students interested in the validity of SC theories.'-PERSPECTIVES ON POLITICAL SCIENCE.

Starting from a recent paper by S. Kaufmann, we introduce a notion of conjunction of two conditional events and then we analyze it in the setting of coherence. We give a representation of the conjoined conditional and we show that this new object is a conditional random quantity, whose set of possible values normally contains the probabilities assessed for the two conditional events. We examine some cases of logical dependencies, where the conjunction is a conditional event; moreover, we give the (...) lower and upper bounds on the conjunction. We also examine an apparent paradox concerning stochastic independence which can actually be explained in terms of uncorrelation. We briefly introduce the notions of disjunction and iterated conditioning and we show that the usual probabilistic properties still hold. (shrink)

A woman and a man desire to come together stirred by the primal fire of Kama and the man deposits his egg in the womb of the woman. This egg develops into a human undergoing nine or ten months of evolution. This process is the microscopic replication of the method evolved by God to create the universe. Rigveda (10.121) mentions Hiranyagarbha, the Golden Egg as the source of the creation of the universe. It is said that God, wishing to create (...) the world, produced an egg as big as the cosmos. God meditated for a thousand years sitting inside the egg and when the egg burst, the Lord himself was born out of the egg as the Progenitor of the universe (“He made Himself by Himself.”, Taitiriya Upanishad: 2.7.1). The Rishis called the Egg Brahmanda (the Cosmic Egg), and the Progenitor Manu. Scientists have discovered that the universe has an oval shape. Like the nine months of the evolution of the human egg, the Cosmic Egg also undergoes nine stages of evolution before it gets dissolved during what we call ‘Maha Pralaya’. The Puranas mention that Brahmanda has 14 biospheres, seven nether and seven upper inhabited by different types of souls. If we count from the human world, there are ten dimensions of consciousness. Rishis called these astral biospheres Mandalas/Lokas with different wavelengths and colours. Sri Karunakara Guru referred to them as Avasthas, or spiritual stages. The Buddhists and Hindu esoteric sects such as the Theosophical Society explain these levels of the Absolute in terms of Physical plane, Astral plane, Mental plane, Buddhic plane, Atmic plane, Anupadaka plane, Adi plane and Shiv and Shakti. These Avasthas are related to the expanding consciousness reaching up to the core of the Cosmic Egg, the Paramatma. Like a spider which creates a web around it sitting in the centre, and withdraws it in the end, Paramatma creates and withdraws webbed multi-dimensional universes. Nobody can say when it started and when it will end as it is a beginningless and endless process. (shrink)

On a Parfit-inspired account of culpability, as the psychological connections between a person’s younger self and older self weaken, the older self’s culpability for a wrong committed by the younger self diminishes. Suppose we accept this account and also accept a culpability-based upper limit on punishment severity. On this combination of views, we seem forced to conclude that perpetrators of distant past wrongs should either receive discounted punishments or be exempted from punishment entirely. This article develops a strategy for (...) resisting this conclusion. I propose that, even if the perpetrators of distant past wrongs cannot permissibly be punished for the original wrongs, in typical cases they can permissibly be punished for their ongoing and iterated failures to rectify earlier wrongs. Having set out this proposal, I defend it against three objections, before exploring how much punishment it can justify. (shrink)

Semanticists face substitution challenges even outside of contexts commonly recognized as opaque. Jennifer M. Saul has drawn attention to pairs of simple sentences - her term for sentences lacking a that-clause operator - of which the following are typical: -/- (1) Clark Kent went into the phone booth, and Superman came out. (1*) Clark Kent went into the phone booth, and Clark Kent came out. -/- (2) Superman is more successful with women than Clark Kent. (2*) Superman is more successful (...) with women than Superman. -/- She challenges us to explain why the upper and lower sentences in each pair differ, or at least appear to differ, in their truth-values and hence truth-conditions. This appearance of substitution failure is inherently puzzling. Moreover, it is taken by Saul to generate a dilemma for anyone hostile to direct reference accounts of that-clause constructions. Direct reference theorists regard the appearance of substitution failure in that-clause contexts as mere appearance, to be dealt with pragmatically rather than semantically. -/- Critics of such accounts need to say something about simple-sentence cases. If they choose to allow that intuitions of substitution failure can be over-ridden and explained away pragmatically in simple-sentence cases but not in that-clause cases, they lay themselves open to the charge of operating a double standard. But if they do not choose this option, they must offer a semantic explanation of apparent substitution failure in simple-sentence cases - no easy task, it turns out. Other respondents to Saul's challenge have sought to provide elaborate semantic treatments. In contrast, this paper proposes a far simpler pragmatic explanation of intuitions of substitution failure in simple sentences, an explanation that deploys no more resources than are to be found in Grice's 'Logic and Conversation'. Ironically, this proposal turns out to be incompatible with a direct reference perspective. So if it is, as I maintain, the most plausible treatment of simple-sentence cases available, Saul's initial thought gets turned around 180 degrees: the phenomenon she has drawn attention to ends up representing a challenge to supporters of direct reference theories. (shrink)

This Paper combines interval- valued neutrouphic sets and rough sets. It studies roughness in interval- valued neutrosophic sets and some of its properties. Finally we propose a Hamming distance between lower and upper approximations of interval valued neutrosophic sets.

In his recent The Parmenidean Ascent, Michael Della Rocca develops a regress-theoretic case, reminiscent of F.H. Bradley’s famous argument in Appearance and Reality, against the intelligibility of relations and in favor of a monistic conception of reality. I argue that Della Rocca illicitly supposes that “internal” relations – in one sense of that word – lead to a “chain” regress, a regress of relations relating relations and relata. In contrast, I contend that if “internal” or grounded relations lead to a (...) regress at all, it is a kind of “fission” regress within the relata themselves, and that a chain regress for relations only arises, if at all, for so-called “external” relations, relations not grounded in their relata. In this way, I contend that Della Rocca pursues a regress for so-called “internal” or grounded relations that only arises, if at all, for so-called “external” relations, relations not grounded in their relata. I compare Della Rocca’s case against relations with Bradley’s reasoning in Appearance and Reality, and suggest in this context that Bradley may, perhaps, have the upper hand. (shrink)

This paper addresses the use of dispositions in the Infectious Disease Ontology (IDO). IDO is an ontology constructed according to the principles of the Open Biomedical Ontology (OBO) Foundry and uses the Basic Formal Ontology (BFO) as an upper ontology. After providing a brief introduction to disposition types in BFO and IDO, we discuss three general techniques for representing combinations of dispositions under the headings blocking dispositions, complementary dispositions, and collective dispositions. Motivating examples for each combination of dispositions is (...) given along with a specific use case in IDO. Description logic restrictions are used to formalize statements relating to these combinations. (shrink)

In the culture of ancient Greece, the term Paideia (Greek: παιδεία) referred to the upbringing and education of an ideal member of the polis. However, the period from Homer's epic poetry (9th or 8th century BCE) to the Peloponnesian War (5th century BCE) differs notably, concerning the forms of Hellenistic culture after the emergence of Christianity (especially from 2nd to 9th century AD). For that reason, it is necessary to consider what significance Paideia had in different historical periods of Greek (...) culture. In addition, the discussion of Paideia cannot exist in the abstract form of conceptual analysis without taking into account the real historical figures who contributed to the survival of Greek culture in the Roman and early Christian periods. This paper aims to examine the role of Greek culture in the social life of the early Christian Romans. We will try to achieve this through a detailed analysis of the panegyrics (Greek: πανήγυρις). Panegyrics are eulogies that educated pagan thinkers addressed to Roman emperors. Following the panegyrics, we will examine the influence of the Greek tradition on the distribution of the social roles in the upper classes in the Roman Empire. At the same time, by analyzing panegyric, the socio-cultural context of early Rome, and the demands that social betterment placed on pagan thinkers, we will introduce new elements of Christian Paideia concerning her classical predecessor, thus showing what such a transformation essentially entailed. (shrink)