Interpolation has become one of the standard properties that logicians investigate when designing a logic. In this paper, we provide strong evidence that the presence of interpolants is not only cogent for scientific reasoning but has also important practical implications in computer science. We illustrate that interpolation in general, and uniform splitting interpolants, in particular, play an important role in applications where formality and modularity are invoked. In recognition of the fact that common logical formalisms often lack uniform interpolants, we (...) advocate the need for developing general methods to engineer a specification logic so that some critical uniform interpolants become available. (shrink)

When the social relevance of robotic applications is addressed today, the use of assistive technology in care settings is almost always the first example. So-called care robots are presented as a solution to the nursing crisis, despite doubts about their technological readiness and the lack of concrete usage scenarios in everyday nursing practice. We inquire into this interconnection of social robotics and care. We show how both are made available for each other in three arenas: innovation policy, care organization, and (...) robotic engineering. First, we analyze the discursive “logics” of care robotics within European innovation policy, second, we disclose how care robotics is encountering a historically grown conflict within health care organization, and third we show how care scenarios are being used in robotic engineering. From this diagnosis, we derive a threefold critique of robotics in healthcare, which calls attention to the politics, historicity, and social situatedness of care robotics in elderly care. (shrink)

In this book, T. L. Short places the notorious difficulties of Peirce's important writings in a more productive light, arguing that he wrote philosophy as a scientist, by framing conjectures intended to be refined or superseded in the inquiries they initiate. He argues also that Peirce held that the methods and metaphysics of modern science are amended as inquiry progresses, making metaphysics a branch of empirical knowledge. Additionally, Short shows that Peirce's scientific work expanded empiricism on empirical grounds, grounding his (...) phenomenology and subverting the fact/value dichotomy, and that he understood statistical explanations in nineteenth-century science as reintroducing the idea of final causation, now made empirical. Those innovations underlie Peirce's late ideas of a normative science and of philosophy as a branch of science. Short's rich and original study shows us how to read Peirce's writings and why they are worth reading. (shrink)

This article introduces the notion of duplex elements of the finite rings and corresponding neutrosophic rings. The authors establish duplex ring Dup(R) and neutrosophic duplex ring Dup(R)I)) by way of various illustrations. The tables of different duplicities are constructed to reveal the comparison between rings Dup(Zn), Dup(Dup(Zn)) and Dup(Dup(Dup(Zn ))) for the cyclic ring Zn . The proposed duplicity structures have several algebraic systems with dissimilar consequences. Author’s characterize finite rings with R + R is different from the duplex ring (...) Dup(R). However, this characterization supports that R + R = Dup(R) for some well known rings, namely zero rings and finite fields. (shrink)

Can God create an unliftable stone? Beall & Cotnoir propose that ‘God can create an unliftable stone’ is a truth-value gap (neither true nor false). However, this yields a revenge paradox on whether God can eschew gaps. Can God avoid gappy ascriptions of power? Either way, God’s power seems to have limits. In response, it may be said that ascribing God the power to avoid gaps is itself gappy—it concerns a power that God neither has nor lacks. Yet this ends (...) up being inconsistent, for it implies that God definitely lacks that power. Following Aquinas, perhaps Beall & Cotnoir could accept this lack and still uphold omnipotence, suggesting that the power to avoid gaps is impossible for God. Yet the Aquinian stratagem is enough to block the original paradox, which saps the motivation to proffer truth-value gaps in addition. I conclude that the gappy solution is either inadequate or insufficiently motivated. (shrink)

This paper begins with a problem stemming from Hume regarding credences about credences. Suppose one has a credence of .95 in p, and suppose one assesses the credence to be such. But suppose one’s second-order credence in this assessment is less than 1. Then, by a standard conditionalization rule, one’s credence in p becomes less than .95. Moreover, such “erosion” can iterate by considering one’s, third-, fourth-, fifth-order credences, etc. (In light of this, some have rejected higher-order credences; however, it (...) is argued that Lewis’ “Principal Principle” forbids this.) The paper then offers a partial solution by describing circumstances under which a person has reason to assign credence 1 to a first-order credence. The solution takes the form of a “transparency” view of self-knowledge from Parent (2017, chapter 8). Briefly, it is argued that when one “reflex-like” utters a sentence “The probability of p is n”, then as a matter of psychological law, the utterance is an expression of one’s own judgment. The Principal Principle then necessitates that one’s credence in p is n, assuming one is being rational. Thus, upon perceiving such an utterance, one can thereby have a reason to assign a second-order credence of 1. (shrink)

This text is designed to help students construct and evaluate arguments.

This article discusses textually problematic passages in Catullus 63, a particularly corrupt poem from a particularly corrupt manuscript tradition. It proposes new conjectures and revives several old ones. Throughout there are notes on punctuation, conjecture attribution and an analysis of the structure of Attis’ lament.

The COVID-19 crisis has highlighted the considerable challenge of sourcing expertise and determining which experts to trust. Dissonant information fostered controversy in public discourse and encouraged an appeal to a wide range of social indicators of trustworthiness in order to decide whom to trust. We analyze public discourse on expertise by examining how social indicators inform the reputation of Dr. Didier Raoult, the French microbiologist who rose to international prominence as an early advocate for using hydroxychloroquine to treat COVID-19. To (...) comprehend how these indicators came to inform his reputation, we outline Dr. Raoult's rise to fame based on discourse about hydroxychloroquine. We then discuss why we trust in experts like scientist-practitioners. This is followed by an examination of how social indicators of trust like status, epistemic authority, influence and values have informed Dr. Raoult's reputation. We conclude with recommendations for how to improve the selection and evaluation social indicators of trust and reputations. Our aim here, instead of making a claim about the efficacy of hydroxychloroquine or Dr. Raoult's reputation per se, is to outline through this case study how social indicators of trust inform reputation and the challenge they present to evaluating expertise. (shrink)

This essay argues that normative judgments, in general, and moral judgments, in particular, are "truth apt" and can be objects of belief. Other main claims are: judgments about reasons, if interpreted as true, do not have metaphysical implications that are incompatible with a scientific view of the world. Two kinds of normative claims should be distinguished: substantive claims about what reasons people have and structural claims about what attitudes people must have insofar as they are rational. Employing this distinction, the (...) practical significance of substantive normative judgments is explained, and critical analysis of expressivist and Kantian views on this question is offered. (shrink)

The scientific transformation of the hermeneutic art has been the common goal for the various formalist-structuralist programs of interpretation that have dominated human studies in our century - such as New Criticism in literary analysis, the formalist programs in art history and musicology, the Gestalt and Freudian psychology, structuralism in linguistics and anthropology, etc. In this volume, these formalist-structuralist programs shall be called structural programs of interpretation in Europe and America.

Ethics and school business officials -- Making ethical decisions -- Ethics for school business officials -- Examining personal and professional codes of ethics -- Approaching ethical dilemmas -- Human resource management -- Financial resource management -- Facility, property, and information management -- Ancillary services : transportation.

The present piece is a reply to G. Hoffmann on my infallibilist view of self-knowledge. Contra Hoffmann, it is argued that the view does not preclude a Quinean epistemology, wherein every belief is subject to empirical revision.

The goal of this paper is to introduce a new Gentzen formulation of the modal logic S5. The history of this problem goes back to the fifties where a counter-example to cut-elimination was given for an otherwise natural and straightforward formulation of S5. Since then, several cut-free Gentzen style formulations of S5 have been given. However, all these systems are technically involved, and furthermore, they differ considerably from Gentzen's original formulation of classical logic. In this paper we give a new (...) sequent system for S5 which is a straightforward and technically simple extension of Gentzen's original sequent system for classical logic. A characteristic feature is the notion of a connection in a proof. The new system satisfies cut-elimination as well as the subformula property. Cut-elimination is proved by giving an algorithm for eliminating cuts. The fact that we give an algorithm for eliminating cuts makes it clear that our system is susceptible to a formulae-as-types computational interpretation. (shrink)