A uniform theory of conditionals is one which compositionally captures the behavior of both indicative and subjunctive conditionals without positing ambiguities. This paper raises new problems for the closest thing to a uniform analysis in the literature (Stalnaker, Philosophia, 5, 269–286 (1975)) and develops a new theory which solves them. I also show that this new analysis provides an improved treatment of three phenomena (the import-export equivalence, reverse Sobel-sequences and disjunctive antecedents). While these results concern central issues in the study (...) of conditionals, broader themes in the philosophy of language and formal semantics are also engaged here. This new analysis exploits a dynamic conception of meaning where the meaning of a symbol is its potential to change an agent’s mental state (or the state of a conversation) rather than being the symbol’s content (e.g. the proposition it expresses). The analysis of conditionals is also built on the idea that the contrast between subjunctive and indicative conditionals parallels a contrast between revising and consistently extending some body of information. (shrink)

This paper defines the form of prior knowledge that is required for sound inferences by analogy and single-instance generalizations, in both logical and probabilistic reasoning. In the logical case, the first order determination rule defined in Davies (1985) is shown to solve both the justification and non-redundancy problems for analogical inference. The statistical analogue of determination that is put forward is termed 'uniformity'. Based on the semantics of determination and uniformity, a third notion of "relevance" is defined, both (...) logically and probabilistically. The statistical relevance of one function in determining another is put forward as a way of defining the value of information: The statistical relevance of a function F to a function G is the absolute value of the change in one's information about the value of G afforded by specifying the value of F. This theory provides normative justifications for conclusions projected by analogy from one case to another, and for generalization from an instance to a rule. The soundness of such conclusions, in either the logical or the probabilistic case, can be identified with the extent to which the corresponding criteria (determination and uniformity) actually hold for the features being related. (shrink)

The pessimistic induction is built upon the uniformity principle that the future resembles the past. In daily scientific activities, however, scientists sometimes rely on what I call the disuniformity principle that the future differs from the past. They do not give up their research projects despite the repeated failures. They believe that they will succeed although they failed repeatedly, and as a result they achieve what they intended to achieve. Given that the disuniformity principle is useful in certain cases (...) in science, we might reasonably use it to infer that present theories are true unlike past theories. Hence, pessimists have the burden to show that our prediction about the fate of present theories is more likely to be true if we use the uniformity principle than if we use the disuniformity principle. (shrink)

Philosophers often make exotic-sounding modal claims, such as: “A timeless world is impossible”, “The laws of physics could have been different from what they are”, “There could have been an additional phenomenal colour”. Otherwise popular empiricist modal epistemologies in the contemporary literature cannot account for whatever epistemic justification we might have for making such modal claims. Those who do not, as a result of this, endorse scepticism with respect to their epistemic status typically suggest that they can be justified but (...) have yet to develop some distinct, workable theory of how. That is, they endorse a form of non-uniformism about the epistemology of modality, according to which claims about philosophically interesting modal matters need to be justified differently from e.g. everyday or scientific modal claims, but they fail to provide any more detail. This article aims to fill this gap by outlining how such a non-uniformist view could be spelled out and what story about philosophically interesting modal justification it could contain. (shrink)

This paper presents a uniform general account of regress problems in the form of a pentalemma—i.e., a set of five mutually inconsistent claims. Specific regress problems can be analyzed as instances of such a general schema, and this Regress Pentalemma Schema can be employed to generate deductively valid arguments from the truth of a subset of four claims to the falsity of the fifth. Thus, a uniform account of the nature of regress problems allows for an improved understanding of specific (...) regress objections or arguments, and, correspondingly, of the general logical geography of the debate about infinite regresses. This uniform approach is illustrated by a treatment of the classical epistemological problem of justification, but it encompasses a whole variety of cases including explanation and ontological grounding. Furthermore, this general account is compared and contrasted with the existing literature discussing argument schemata for regress objections, particularly with the work of Jan Willem Wieland. It is shown how such other schemata can be incorporated and superseded by the general Regress Pentalemma Schema. (shrink)

In this paper, we propose a new concept named the uniform single valued neutrosophic graph. An illustrative example and some properties are examined. Next, we develop an algorithmic approach for computing the complement of the single valued neutrosophic graph. A numerical example is demonstrated for computing the complement of single valued neutrosophic graphs and uniform single valued neutrosophic graph.

Non-uniformed combat morally infringes on civilians’ fundamental right to immunity and exacts an impermissible form of unofficial conscription that is morally prohibited even if the civilians knowingly consent to it. It is often argued that revolutionary groups burdened by resource disparities relative to the state or who claim alternative sources of political legitimacy (such as national self-determination or the constitution of a political collective) are justified in using unconventional tactics such as non-uniformed combat. Neither those reasons nor the provision of (...) public goods, however, are sufficient to justify such rights violations and this form of conscription, and it calls into question the suitability of current international legal protections for the non-uniformed. (shrink)

We propose a natural definition of what it means in a constructive context for a Banach space to be reflexive, and then prove a constructive counterpart of the Milman-Pettis theorem that uniformly convex Banach spaces are reflexive.

Since Saul Kripke’s and Hilary Putnam’s groundbreaking work in the Seventies, the idea has emerged that natural kind terms are semantically special among common nouns. Stephen P. Schwartz, for example, has argued that an artifactual kind term like “pencil” functions very differently from a natural kind term like “tiger.” This, however, blatantly violates a principle that I call Semantic Uniformity. In this paper, I defend the principle. In particular, I outline a picture of how natural kind terms function based (...) on Kripke’s and Putnam’s considerations, and I use it to rebut Schwartz’s arguments, showing that if it works for natural kind terms, it can work for artifactual kind terms too, or at least that Schwartz did not provide good enough reasons to the contrary. (shrink)

This chapter reviews fundamental ethical controversy surrounding the ongoing effort to revise the Uniform Determination of Death Act in the United States. Instead of focusing on the process of the revision itself, the chapter explores the underlying ethical debate over brain death that has been ongoing for many decades and finally culminated in this revision. Three issues are focused: the requirement for consent and personal exemptions before applying brain death for the diagnosis of death; redefining the areas of the brain (...) that have ceased to function in the definition of brain death; and codifying the American Academy of Neurology as the authority to issue the standards of the diagnosis of brain death. The chapter concludes that allowing the personal choice of death determination gives a pragmatic compromise to the disputed definition and practice of diagnosing brain death. So long as all risks and imperfections of the diagnosis are accepted through the consenting process, there is nothing ethically objectionable to continuing the current practice of diagnosing brain death as a successful tool to facilitate heart-beating organ donation without violating the dead-donor rule. By contrast, precluding personal choice and imposing legal restrictions to consent and exemptions would further erode public trust. (shrink)

We introduce a framework that allows for the construction of sequent systems for expressive description logics extending ALC. Our framework not only covers a wide array of common description logics, but also allows for sequent systems to be obtained for extensions of description logics with special formulae that we call "role relational axioms." All sequent systems are sound, complete, and possess favorable properties such as height-preserving admissibility of common structural rules and height-preserving invertibility of rules.

The Uniform Determination of Death Act (UDDA) provides that “an individual who has sustained either (1) irreversible cessation of circulatory and respiratory functions or (2) irreversible cessation of all functions of the entire brain, including the brain stem, is dead.” We show that the UDDA contains two conflicting interpretations of the phrase “cessation of functions.” By one interpretation, what matters for the determination of death is the cessation of spontaneous functions only, regardless of their generation by artificial means. By the (...) other, what matters is the cessation of both spontaneous and artificially supported functions. Because each UDDA criterion uses a different interpretation, the law is conceptually inconsistent. A single consistent interpretation would lead to the conclusion that conscious individuals whose respiratory and circulatory functions are artificially supported are actually dead, or that individuals whose brain is entirely and irreversibly destroyed may be alive. We explore solutions to mitigate the inconsistency. (shrink)

Cognitivists and non-cognitivists in contemporary meta-ethics tend to assume that moral judgments are semantically uniform. That is, they share the assumption that either all moral judgments express beliefs, or they all express non-beliefs. But what if some moral judgments express beliefs and others do not? Then moral judgments are not semantically uniform and the question “Cognitivist or non-cognitivist?” poses a false dilemma. I will question the assumption that moral judgments are semantically uniform. First, I will explain what I mean by (...) the assumption (section 2). I will call this assumption SUM, the semantic uniformity of moral judgments. Second, I will provide some examples in order to illustrate that SUM cannot be taken for granted (section 3). Third, I will try to understand, using ideas from Wittgenstein, why SUM has nevertheless so often been taken for granted (section 4). Fourth, I will discuss some authors in contemporary meta-ethics who have noted the false dilemma between cognitivism and non-cognitivism and evaluate the solutions they propose for overcoming it (section 5). Fifth, I will indicate, again with some help from Wittgenstein, how meta-ethical research about moral judgments is possible without the assumption that morality is semantically uniform (section 6). (shrink)

Michael Gill has argued that contemporary metaethics proceeds on the assumption that morality is uniform. I apply Gill’s diagnosis to the debate between cognitivism and non-cognitivism. I argue, on the basis of examples, that there is good reason to question the assumption that morality is semantically uniform. I describe the assumption as a symptom of what Wittgenstein has called the philosopher’s “craving for generality‘. I discuss several recent metaethical positions in which the question “Cognitivism or non-cognitivism?‘ appears as a false (...) dilemma. I conclude that these positions are still subject to the craving for generality. I defend a more radically Wittgensteinian approach to metaethics, in which the idea of family resemblances and an emphasis on differences between moral judgments are particularly important If morality is not necessarily to be thought of as semantically uniform, at least one important consequence follows. An omnipresent way of arguing in metaethics, namely arguing for cognitivism by arguing against non-cognitivism, becomes unavailable to the metaethicist. (shrink)

I argue that it is not acceptable to restrict the claim that linguistic types are concrete entities (type-concretism) to some categories of linguistic types (such as words or proper names), while at the same time conceding that other categories of linguistic types (such as sentence types) are abstract entities. Moreover, I suggest a way in which type-concretism can be extended to every linguistic type, thereby responding to the so-called productivity objection to type-concretism, according to which, whenever tokens of a type (...) t are produced in different, causally isolated circumstances, then t needs to be identified by a certain form or structure. This extension of type-concretism detaches type-concretism from so-called originalism and gives rules a prominent role in type-concretism. (shrink)

Prezentowany artykuł zajmuje się dwoma dziennikami Маха Frischa, które opisują przeżycia pisarza w czasie jego służby wojskowej w okresie II wojny światowej: Blätter aus dem Brotsack (Kartki z plecaka) pisane w 1939 r. i Dienstbüchlein (Książeczka wojskowa) z 1974 r. Na podstawie porównania obu utworów można prześledzić rozwój światopoglądowy Frischa. Solidarność z grupą, nie komentujące posłuszeństwo wobec przełożonych, patriotyzm i wiara w sens służby wojskowej charakteryzują zapiski Frischa z młodości. Wspomnienia pisane w latach siedemdziesiątych odznaczają się krytycznym dystansem do własnej (...) młodzieńczej naiwności, a przede wszystkim do instytucji armii, która według Frischa swą istotą przeczy idei demokracji. Przeciwko uniformizacji, kolektywnemu myśleniu i zatarciu indywidualności zwraca się Frisch, podobnie jak w Dienstbüchlein, w większości powojennych utworów. (shrink)

This paper explores the possibility of a standard legal language (e.g. English) for a principled evolution of law in line with technological development. In doing so, reference is made to blockchain networks and smart contracts to emphasise the discontinuity with the liberal legal tradition when it comes to decentralisation and binary code language. Methodologically, the argument is built on the underlying relation between law, semiotics and new forms of media adding to natural language; namely: code and symbols. In what follows, (...) I will concentrate on the study of factors that explain why such approach can be fruitful for the future of law and innovation. I have three reasons for selecting this topic. The first is a more pragmatic reason, based on my current research of law as a linguistic phenomenon. Secondly, the topic does also touch the matter on binary code language, rivalrous to legal alphabetic language. Lastly, the study aims at emphasizing the pivotal role of the jurist as an interpreter in a changing society accommodating diverging realms of reality. The study is structured as follows. Firstly, a quick exam of the traits of blockchain networks would provide the contextual link to establish the arguments in support of the need of a standard legal language. Secondly, a comparison between liberal legal institutions and theory of semiotics is set to perceive their functioning and ascertain their limits in the light of todays unprecedented changes. Thirdly, a summary on blockchain networks’ legal features would constitute the thrust behind the idea of a uniform legal language. Methodologically, the argument does also establish some relations with classical laws of physics and philosophy of media. Its aim is to demonstrate how the suggested legal interpretation and semiotic-based approach can contribute to overcome existing stumbling blocks including, but not limited to, the lack of cooperation at the international level as well as the gap in State norms when it comes to innovation. In this sense, the proposed strategies do not intend to replace current advances in the legal thought. In contrast, it seeks to harmonise their results providing a methodical approach that can concur to inform a new technique to address new controversial issues. In practice, the proposed method regarding the adoption of a uniform legal language would lower transactive costs in terms of normative coordination in the matter of international cooperation and in the definition of applicable law among different legal systems. Alternatively, it might contribute to the convergence of legal systems and/or their underlying concepts. Differently put, article’s contribution can be envisaged in fostering juridical consistency with regards to different forms of languages’ coexistence. (shrink)

Henrich et al.'s conclusion that psychologists ought not assume uniformity of psychological phenomena depends on their descriptive claim that there is no pattern to the great diversity in psychological phenomena. We argue that there is a pattern: uniformity of learning processes (broadly construed), and diversity of (some) mental contents (broadly construed).

In this paper, we introduce the notion of single-valued neutrosophic soft uniform spaces as a view point of the entourage approach. We investigate the relationship among single-valued neutrosophic soft uniformities, single-valued neutrosophic soft topologies and single-valued neutrosophic soft interior operators. Also, we study several single-valued neutrosophic soft topologies induced by a single-valued neutrosophic soft uniform space.

The goal of this short paper is to show that esthetic adjectives—exemplified by “beautiful” and “elegant”—do not pattern stably on a range of linguistic diagnostics that have been used to taxonomize the gradability properties of adjectives. We argue that a plausible explanation for this puzzling data involves distinguishing two properties of gradable adjectives that have been frequently conflated: whether an adjective’s applicability is sensitive to a comparison class, and whether an adjective’s applicability is context-dependent.

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)

Abstract -/- The indistinction between repose and uniform movement exposed in the principle of inertia marks one of the most famous dissertations: the discussion between Newton and Leibniz. Through their respective conceptions of space, both seek to solve the problem of indistinction. The relational space of Leibniz, supported by the principle of sufficient reason and the identity of indiscernibles leads to the kinematic solution of the problem of inertia. The objective of this paper is to show the contribution of Leibniz, (...) in terms of relations of order, by distinguishing between equality by identity and equality by equivalence. Under a philosophical approach we link identity, equivalence and equality as relations of order with the indiscernibility between different states of movement. We expose first the principle of sufficient reason and the identity of indiscernibles. Under Bernoulli's principle of indifference, we argue that we distinguish between equality in abstract and equality in concrete. As a third part, we present the relationship between the identity of the indiscernibles and the predicate of equality under logical analysis. Finally we present the conclusions. -/- . (shrink)

In this paper, I argue that the temporal connective prima (‘before’) is a comparative adverb. The argument is based on a number of grammatical facts from Italian, showing that there is an asymmetry between prima and dopo (‘after’). On the ground of their divergent behaviour, I suggest that dopo has a different grammatical status from prima. I propose a semantic treatment for prima that is based on an independently motivated analysis of comparatives which can be traced back to Seuren (in: (...) Kiefer and Ruwet (eds.) Generative grammar in Europe, 1973). Dopo is analyzed instead as an atomic two-place predicate which contributes a binary relation over events to the sentence meaning. The different semantic treatments of the two connectives provide an explanation for the grammatical asymmetries considered at the outset; interestingly, they also shed some light on other asymmetries between prima and dopo, which are known to hold for the English temporal connectives before and after as well: these asymmetries are related to the veridicality properties, the distribution of NPIs, and the logical properties of these connectives first described in Anscombe (Philos Rev 73:3–24, 1964). (shrink)

There is a common assumption in the semantics of modal auxiliaries in natural language; in utterances of MOD φ , where MOD is a modal and φ is the prejacent, context determines the particular flavor of modality expressed by the modal. Such is the standard contextualist semantics of Kratzer and related proposals. This winds up being a problem, because there is a significant class of modals which have constraints on the admissible modal flavor that are not traceable to context. For (...) example, in MUST φ , subsentential properties of φ, like the aspectual class of the predicate in the prejacent, can affect the flavor of MUST. By encoding the above assumption into the semantics, such contextualist accounts fail to be able to explain, much less to predict, this pattern. Worse yet, attempts to exploit the resources of the theory in service of an explanation run afoul of important commitments of the view, like the hypothesis that modals have a uniform semantics. Given these circumstances, these data might seem like a justification for dispensing with the uniformity hypothesis. The present paper lays out the above problem in detail. Against the pessimistic view, I argue that the the contextualist account can in fact explain and predict these patterns while preserving the uniformity hypothesis. This requires adopting an amendment to the semantics of modals based on the work of Valentine Hacquard. Aside from maintaining the contextualist paradigm and preserving uniformity, the proposal also clarifies the role of context in the interpretation of modals. As it will turn out, the role of context ought to be circumscribed in its flavor-determining role for modals. (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.

Different forms and transformations of philosophy in the modern world are analyzed according to the view of the Croatian philosopher Vanja Sutlić (1925-1989). A key aspect is the "realization of philosophy" in "work science", which encompasses the entire "world of work" established in modern times. This universal and real science is also an important precondition for "historical thinking". The uniformity of this science, problematized by Sutlić, can be found today in refined logical and semantic structures, which allow for a (...) renewed and richer articulation of philosophical concepts than was traditionally possible. (shrink)

From the second half of the last century, there has been a widespread view in the Anglophone world that Kant’s transcendental deduction (aka TD) aims to vindicate our common-sense view of the world as composed of public and objective particulars against some unqualified forms of skepticism. This widespread assumption has raised serious doubt not only about the success of TD but also about the very nature of its argument in both editions of the Critique. Yet, if there is a connection (...) between TD and global skepticism, the intriguing question is: Who is this skeptic? According to Strawson, “the skeptic” is a hypothesis of a purely sense-datum experience. In contrast, the fact that TD turns on the key notion of self-consciousness has induced several other scholars to assume that the skeptic is no none but a Cartesian external-world skeptic. None of those readings find textual support or are compatible with the very structure of the first Critique. The question is: Does this mean that TD aims only to undermine empiricism, as Guyer suggests? I do not believe so. I am pretty convinced that TD addresses a peculiar form of global skepticism, namely “Hume’s challenge to reason.” Assuming that we cognize (erkennen) and experience (erfahren) appearances as objects as a requirement of Newtonian physics, TD aims to provide a justification of the principle that nature is uniform that is superior to Hume’s justification. (shrink)

A uniform construction for sequent calculi for finite-valued first-order logics with distribution quantifiers is exhibited. Completeness, cut-elimination and midsequent theorems are established. As an application, an analog of Herbrand’s theorem for the four-valued knowledge-representation logic of Belnap and Ginsberg is presented. It is indicated how this theorem can be used for reasoning about knowledge bases with incomplete and inconsistent information.

Inductive conclusions rest upon the Uniformity Principle, that similar events lead to similar results. The principle derives from three fundamental axioms: Existence, that the observed object has an existence independent of the observer; Identity, that the objects observed, and the relationships between them, are what they are; and Continuity, that the objects observed, and the relationships between them, will continue unchanged absent a sufficient reason. Together, these axioms create a statement sufficiently precise to be falsified. -/- Simple enumeration of (...) successful observations is ineffective to support an inductive conclusion. First, as its analytical device, induction uses the contrapositive form of the hypothesis; a successful observation merely represents the denial of the antecedent, from which nothing follows. Second, simple enumeration uses an invalid syllogism that fails to distribute its middle term. -/- Instead, the inductive syllogism identifies its subject by excluding nonuniform results, using the contrapositive form of the hypotheses. The excluded data allows an estimate of the outer boundaries of the subject under examination. But an estimate of outer boundaries is as far as the inductive process may proceed; an affirmative identification of the content of the subject never becomes possible. (shrink)

Given the sharp distinction that follows from Hume’s Fork, the proper epistemic status of propositions of mixed mathematics seems to be a mystery. On the one hand, mathematical propositions concern the relation of ideas. They are intuitive and demonstratively certain. On the other hand, propositions of mixed mathematics, such as in Hume’s own example, the law of conservation of momentum, are also matter of fact propositions. They concern causal relations between species of objects, and, in this sense, they are not (...) intuitive or demonstratively certain, but probable or provable. In this article, I argue that the epistemic status of propositions of mixed mathematics is that of matters of fact. I wish to show that their epistemic status is not a mystery. The reason for this is that the propositions of mixed mathematics are dependent on the Uniformity Principle, unlike the propositions of pure mathematics. (shrink)

Tennis champion Maria Sharapova has a habit of grunting when she plays on the court. Assume that she also has a habit of hitting the ball in a certain way in a certain situation. The habit of on-court grunting might be bad, but can the habit of hitting the ball in a certain way in a certain situation be classified as intelligent? The fundamental questions here are as follows: What is habit? What is the relation between habit and skill? Is (...) there such a thing as intelligent habit? In this paper I expound the nature of habit by developing and defending a Rylean conception of habit, according to which an acquired disposition is a habit if and only if the manifestation of the disposition is repeated, automatic, and uniform. One implication of this conception is that there is no such thing as intelligent habit. A practical application in athletic expertise is that sport coaches can help athletes go beyond repeated, automatic, and uniform dispositions in sport. (shrink)

In a recent article Yvonne Chiu argues that nonuniformed combat is impermissible. However, her argument that by fighting without uniforms nonuniformed guerillas coerce civilians into participating in the armed conflict and thus into surrendering their immunity (their right not to be attacked) fails: there is no coercion, no participation, and no surrendering of immunity. Yet even if this argument of hers were correct, it would still not show that such “coercion” would amount to a rights infringement. Moreover, even if it (...) did, there are examples that show that such an infringement would sometimes be perfectly justified. Finally, if she were right that forcing civilians into a moral position that they have not accepted or chosen is absolutely wrong, then this would affect the moral status of uniformed combatants no less than it would affect the moral status of nonuniformed ones. (shrink)

Uniformity in human actions and attitudes incumbent with the ceteris paribus clause of folk psychology lucidly transits moral thoughts into the domain of subject versus object-centric explorations. In Zettel, Wittgenstein argues, “Concepts with fixed limits would demand uniformity of behaviour, but where I am certain, someone else is uncertain. And that is the fact of nature.” (Wittgenstein 2007, 68). Reflecting on the moral principle of “ethical giving” revives a novel stance in modern moral philosophy. An “ethical giving” is (...) a moral position that looks at giving from the context of harmonizing the changing demands of situations with normative ethical principles. Despite giving more prominence to the query of intuition, the chapter brings up the justification of normative moral principles pertaining to their applications and purports. Human activities aimed at decision-making goals conducted by the moral compass are nothing but the sanction of certain ethical norms and rules. In this context, two principles, the normative aspect and the perspective aspect need to be expounded in parallel. The perspective-based principle seeks practical guides to action, whereas the normative aspect principle looks for the concrete moral justification behind it. Normatively based moral decisions hinge on the probabilities and interests of agents that can sometimes lead towards a better choice. Thomas Nagel’s thought sounds more appealing, since his idea of practical conflict bends towards “...conflict between values which are incomparable for reasons apart from uncertainty about the facts.” (Nagel 2013, 128). Positions on moral personality and equality of justice collide with the conception of verities of the agents’ reason that cogitate a minimal aspect on the morally significant properties (range properties), which can hardly be possessed by all human beings equally. This argument sounds reasonable in light of Singer’s thought of “the principle of equal consideration of interests.” (Singer 2003, 21–22) The concern of this section is deliberative about how an agent could balance the demand of moral situations and the spirit of the moral principle devoid of being close to the relative truth. The conception of the moral decision remains capricious in line with the agent’s mood, time, and situation. The germane queries are: (a) How could one get the simpliciter of moral balance in “ethical giving” or offering help to the poor, orphans, and so on, who need helps from the agents and society? (b) Can we find any universalized principle in defense of ethical giving? (shrink)

This paper presents a uniform semantic treatment of nonmonotonic inference operations that allow for inferences from infinite sets of premises. The semantics is formulated in terms of selection functions and is a generalization of the preferential semantics of Shoham (1987), (1988), Kraus, Lehman, and Magidor (1990) and Makinson (1989), (1993). A selection function picks out from a given set of possible states (worlds, situations, models) a subset consisting of those states that are, in some sense, the most preferred ones. A (...) proposition α is a nonmonotonic consequence of a set of propositions Γ iff α holds in all the most preferred Γ-states. In the literature on revealed preference theory, there are a number of well-known theorems concerning the representability of selection functions, satisfying certain properties, in terms of underlying preference relations. Such theorems are utilized here to give corresponding representation theorems for nonmonotonic inference operations. At the end of the paper, the connection between nonmonotonic inference and belief revision, in the sense of Alchourrón, Gärdenfors, and Makinson, is explored. In this connection, infinitary belief revision operations that allow for the revision of a theory with a possibly infinite set of propositions are introduced and characterized axiomatically. (shrink)

Uniformity in human actions and attitudes incumbent with the ceteris paribus clause of folk psychology lucidly transits moral thoughts into the domain of subject versus object-centric explorations. In Zettel, Wittgenstein argues, “Concepts with fixed limits would demand uniformity of behaviour, but where I am certain, someone else is uncertain. And that is the fact of nature.” (Wittgenstein 2007, 68). Reflecting on the moral principle of “ethical giving” revives a novel stance in modern moral philosophy. An “ethical giving” is (...) a moral position that looks at giving from the context of harmonizing the changing demands of situations with normative ethical principles. Despite giving more prominence to the query of intuition, the chapter brings up the justification of normative moral principles pertaining to their applications and purports. Human activities aimed at decision-making goals conducted by the moral compass are nothing but the sanction of certain ethical norms and rules. In this context, two principles, the normative aspect and the perspective aspect need to be expounded in parallel. (shrink)

The article presents a pluralistic model of value change, emphasizing the interplay between technology and societal values. It critiques the Simple Change Model, which suggests a uniform transition from one dominant value scheme to another, arguing instead for emergent and differential value change. Emergent value change occurs when new values arise within specific contexts without displacing existing ones, often influenced by generational experiences with technology and niches where new technologies are introduced. Differential value change highlights how distinct groups may adopt (...) different value schemes based on their unique contexts and experiences, sometimes leading to societal polarization and the need to reconcile incompatible value schemes. The article stresses the importance of individual experiences of ethical uncertainty and disruption in understanding these changes. By integrating these complexities, the model offers a rich, non-deterministic framework for analyzing how values evolve in response to technological advancements. (shrink)

Fictional names pose a difficult puzzle for semantics. We can truthfully maintain that Frodo is a hobbit, while at the same time admitting that Frodo does not exist. To reconcile this paradox I propose a way to formalize the interpretation of fiction as ‘prescriptions to imagine’ (Walton 1990) within an asymmetric semantic framework in the style of Kamp (1990). In my proposal, fictional statements are analyzed as dynamic updates on an imagination component of the interpreter’s mental state, while plain assertions (...) are updates on a belief component. Proper names – regular, empty, or fictional – are uniformly analyzed as presupposition triggers. The possibility of different attitude components referentially depending on each other is what ultimately allows us to account for the central paradox mentioned above. (shrink)

We describe on-going work on IAO-Intel, an information artifact ontology developed as part of a suite of ontologies designed to support the needs of the US Army intelligence community within the framework of the Distributed Common Ground System (DCGS-A). IAO-Intel provides a controlled, structured vocabulary for the consistent formulation of metadata about documents, images, emails and other carriers of information. It will provide a resource for uniform explication of the terms used in multiple existing military dictionaries, thesauri and metadata registries, (...) thereby enhancing the degree to which the content formulated with their aid will be available to computational reasoning. (shrink)

Is knowledge a uniform kind? If not, what relation do the different kinds of knowledge bear to one another? Is there a central notion of knowledge which other kinds of knowledge must be understood in terms of? In this paper, I use Aristotle’s theory of homonyms as a framework to make progress on these questions. I argue that knowledge is not a uniform kind but rather a core-dependent homonym. To demonstrate this, I focus on knowledge by acquaintance. I argue that (...) the principles that govern propositional knowledge cannot govern knowledge by acquaintance. I then develop analogue principles for knowledge by acquaintance and show why, despite their different modal profiles, knowledge by acquaintance is nevertheless a form of knowledge. I then show that the analysis of propositional knowledge fundamentally depends on knowledge by acquaintance. (shrink)

Neil Tennant was the first to propose a proof-theoretic criterion for paradoxicality, a framework in which a paradox, formalized through natural deduction, is derived from an unacceptable conclusion that employs a certain form of id est inferences and generates an infinite reduction sequence. Tennant hypothesized that any derivation in natural deduction that formalizes a genuine paradox would meet this criterion, and he argued that while the liar paradox is genuine, Russell's paradox is not. -/- The present paper delves into Tennant's (...) conjecture for genuine paradoxes and suggests that to validate the conjecture, one of two issues must be addressed. The first issue is the need for a philosophical consensus on the identification of a genuine paradox in an informal sense. The second issue is the requirement for a uniform approach to formalize paradoxes in natural deduction. If either of these issues is addressed, the conjecture could be validated, or at the very least, it could hold philosophical importance in delineating the proof-theoretic features of paradoxicality. (shrink)

From the comparison of time in inertial frames, possible types of transformations between inertial frames are deduced. This elementary deduction directly relates the properties of time with the type of transformations. When all inertial frames measure the same time (time is absolute), the transformations are Galilean. When each inertial frame has its own time, different from the times of other inertial frames (time is not invariant) the transformations are Lorentz-like with the same positive parameter k. The parameter k is the (...) supremum of possible velocities in an inertial frame, the same for all inertial frames. Einstein's postulate about the invariance of the speed of light says more: there is a uniform motion with the supremum k, which is exactly the motion of light. At the end of the article, attempts to reduce the special theory of relativity to the principle of relativity are criticized. (shrink)

A comprehensive theory of agency will encompass not just acting but also omitting to act and refraining from acting. Some theorists maintain that a causal theory can be applied to acting, omitting, and refraining in a perfectly uniform manner, for each omission or instance of refraining can be identified with some garden-variety action. Here it is argued that in plenty of cases this strategy fails. Sufficient conditions for omitting or refraining are offered that do not require there to be, in (...) every case, anything that is an omission or act of refraining. Disjoining these with a causal theory of action would leave us with a view of agency that is less uniform than what might have been preferred; but diversity in the subject matter, it is suggested, might preclude any more uniform theory. (shrink)

Several studies in experimental philosophy and semantics have shown that a substantial number of English speakers consider a statement true even if it does not align with the facts, as long as it is justified from the speaker's perspective. These findings challenge the prevailing view among philosophers that truth is uniformly based on a statement's correspondence to reality and suggest that for some speakers truth is sensitive to epistemic perspectives. In this study, we show that this behavior depends on how (...) the critical question assessing the statement's truth is phrased. When participants were asked whether the proposition itself is true (e.g., "Is it true that [the uttered proposition]?"), almost everyone answered negatively. It is when the original speaker was mentioned in the question (e.g., "Is what [the speaker] said true?" or "Is [the speaker]’s answer true?") that around half of the participants answered positively. We explore four possible explanations for this behavior: (1) "true" might be ambiguous between a basic correspondence sense and a coherence sense, which may be activated in some people by the explicit mentioning of the speaker; (2) "true" could be a context-sensitive expression with an implicit perspective parameter such that some speakers shift to the speaker’s perspective when prompted by the question; (3) those who select "true" might ad hoc relativize the term to the speaker’s perspective; (4) those who select "true" might unconsciously substitute it with "truthful". In addition, we discuss the implications of the findings for other philosophical discussions concerning norms of assertion, sincerity, and the theory of reference. (shrink)

In a recent paper in Astrophysics and Space Science Vol. 364 no. 11 (2019), S. Ershkov & D. Leschenko presented a new solving procedure for Euler-Poisson equations for solving momentum equations of the CR3BP near libration points for uniformly rotating planets having inclined orbits in the solar system with respect to the orbit of the Earth. The system of equations of the CR3BP has been explored with regard to the existence of an analytic way of presentation of the approximated solution (...) in the vicinity of libration points. A new and elegant ansatz has been suggested in their publication whereby, in solving, the momentum equation is reduced to a system two coupled Riccati ODEs. In this paper, we presented a numerical solution of such coupled Riccati ODEs using Mathematica software package. (shrink)

Regulation is nothing without enforcement. This particularly holds for the dynamic field of emerging technologies. Hence, this article has two ambitions. First, it explains how the EU´s new Artificial Intelligence Act (AIA) will be implemented and enforced by various institutional bodies, thus clarifying the governance framework of the AIA. Second, it proposes a normative model of governance, providing recommendations to ensure uniform and coordinated execution of the AIA and the fulfilment of the legislation. Taken together, the article explores how the (...) AIA may be implemented by national and EU institutional bodies, encompassing longstanding bodies, such as the European Commission, and those newly established under the AIA, such as the AI Office. It investigates their roles across supranational and national levels, emphasizing how EU regulations influence institutional structures and operations. These regulations may not only directly dictate the structural design of institutions but also indirectly request administrative capacities needed to enforce the AIA. (shrink)

Epistemic terms of various syntactic categories can uniformly be used to do the same thing—to hedge. This essay clarifies hedging as a phenomenon and explains how hedging happens by advancing the positional theory. The guiding idea is that, in uttering declaratives, speakers signal what their epistemic position is towards the content put into play by the declarative. The default signal is that the speaker knows. But when an epistemic term hedges, the term overrides the default. The non-default signal sent is (...) that the speaker or someone else occupies the position indicated by the term. To make that idea precise, the positional theory treats hedging as a discourse function. Terms hedge because of how a declarative containing an epistemic term is situated within a discourse. (shrink)

Several studies in experimental philosophy and semantics have shown that a substantial number of English speakers consider a statement true even if it does not align with the facts, as long as it is justified from the speaker's perspective. These findings challenge the prevailing view among philosophers that truth is uniformly based on a statement's correspondence to reality and suggest that for some speakers truth is sensitive to epistemic perspectives. In this study, we show that this behavior depends on how (...) the critical question assessing the statement's truth is phrased. When participants were asked whether the proposition itself is true (e.g., "Is it true that [the uttered proposition]?"), almost everyone answered negatively. It is when the original speaker was mentioned in the question (e.g., "Is what [the speaker] said true?" or "Is [the speaker]’s answer true?") that around half of the participants answered positively. We explore four possible explanations for this behavior: (1) "true" might be ambiguous between a basic correspondence sense and a coherence sense, which may be activated in some people by the explicit mentioning of the speaker; (2) "true" could be a context-sensitive expression with an implicit perspective parameter such that some speakers shift to the speaker’s perspective when prompted by the question; (3) those who select "true" might ad hoc relativize the term to the speaker’s perspective; (4) those who select "true" might unconsciously substitute it with "truthful". In addition, we discuss the implications of the findings for other philosophical discussions concerning norms of assertion, sincerity, and the theory of reference. (shrink)

Driven by technological innovations, newborn screening (NBS) panels have been expanded and the development of genomic NBS pilot programs is rapidly progressing. Decisions on disease selection for NBS are still based on the Wilson and Jungner (WJ) criteria published in 1968. Despite this uniform reference, interpretation of the WJ criteria and actual disease selection for NBS programs are highly variable. A systematic literature search [PubMED search “Wilson” AND “Jungner”; last search 16.07.22] was performed to evaluate the applicability of the WJ (...) criteria for current and future NBS programs and the need for adaptation. By at least two reviewers, 105 publications (systematic literature search, N = 77; manual search, N = 28) were screened for relevant content and, finally, 38 publications were evaluated. Limited by the study design of qualitative text analysis, no statistical evaluation was performed, but a structured collection of reported aspects of criticism and proposed improvements was instead collated. This revealed a set of general limitations of the WJ criteria, such as imprecise terminology, lack of measurability and objectivity, missing pediatric focus, and absent guidance on program management. Furthermore, it unraveled specific aspects of criticism on clinical, diagnostic, therapeutic, and economical aspects. A major obstacle was found to be the incompletely understood natural history and phenotypic diversity of rare diseases prior to NBS implementation, resulting in uncertainty about case definition, risk stratification, and indications for treatment. This gap could be closed through the systematic collection and evaluation of real-world evidence on the quality, safety, and (cost-)effectiveness of NBS, as well as the long-term benefits experienced by screened individuals. An integrated NBS public health program that is designed to continuously learn would fulfil these requirements, and a multi-dimensional framework for future NBS programs integrating medical, ethical, legal, and societal perspectives is overdue. (shrink)