A Gentzen Calculus for Nothing but the Truth

In their paper Nothing but the Truth Andreas Pietz and Umberto Rivieccio present Exactly True Logic (ETL), an interesting variation upon the four-valued logic for first-degree entailment FDE that was given by Belnap and Dunn in the 1970s. Pietz & Rivieccio provide this logic with a Hilbert-style axiomatisation and write that finding a nice sequent calculus for the logic will presumably not be easy. But a sequent calculus can be given and in this paper we will show that a calculus for the Belnap-Dunn logic we have defined earlier can in fact be reused for the purpose of characterising ETL, provided a small alteration is made—initial assignments of signs to the sentences of a sequent to be proved must be different from those used for characterising FDE. While Pietz & Rivieccio define ETL on the language of classical propositional logic we also study its consequence relation on an extension of this language that is functionally complete for the underlying four truth values. On this extension the calculus gets a multiple-tree character—two proof trees may be needed to establish one proof.     

Analytic Tableaux for all of <Emphasis Type="Italic">SIXTEEN</Emphasis><Subscript>3</Subscript>

In this paper we give an analytic tableau calculus P L _{1 6} for a functionally complete extension of Shramko and Wansing’s logic. The calculus is based on signed formulas and a single set of tableau rules is involved in axiomatising each of the four entailment relations ? _t , ? _f , ? _i , and ? under consideration—the differences only residing in initial assignments of signs to formulas. Proving that two sets of formulas are in one of the first three entailment relations will in general require developing four tableaux, while proving that they are in the ? relation may require six.     

Duties Owed in Serving Students: The Importance of Teaching Moral Reasoning and Theories of Ethical Leadership in Educating Business Students

This article concerns the importance of teaching moral reasoning and ethical leadership to all undergraduate students and in particular makes the case that students in business especially need familiarity with these capacities and theories given the complex world in which they will find themselves. The corollary to this analysis is the claim that content on moral reasoning and ethical leadership be mandatory for all business majors and that all degrees require course material on these subjects.

Obligation as Optimal Goal Satisfaction

Formalising deontic concepts, such as obligation, prohibition and permission, is normally carried out in a modal logic with a possible world semantics, in which some worlds are better than others. The main focus in these logics is on inferring logical consequences, for example inferring that the obligation O q is a logical consequence of the obligations O p and O (p → q). In this paper we propose a non-modal approach in which obligations are preferred ways of satisfying goals expressed in first-order logic. To say that p is obligatory, but may be violated, resulting in a less than ideal situation s, means that the task is to satisfy the goal p ∨ s, and that models in which p is true are preferred to models in which s is true. Whereas, in modal logic, the preference relation between possible worlds is part of the semantics of the logic, in this non-modal approach, the preference relation between first-order models is external to the logic. Although our main focus is on satisfying goals, we also formulate a notion of logical consequence, which is comparable to the notion of logical consequence in modal deontic logic. In this formalisation, an obligation O p is a logical consequence of goals G, when p is true in all best models of G. We show how this non-modal approach to the treatment of deontic concepts deals with problems of contrary-to-duty obligations and normative conflicts, and argue that the approach is useful for many other applications, including abductive explanations, defeasible reasoning, combinatorial optimisation, and reactive systems of the production system variety.     

Sacrifices,Aspirations and Morality: Williams Reconsidered

When a person gives up an end of crucial importance to her in order to promote a moral aim, we regard her as having made a moral sacrifice. The paper analyzes these sacrifices in light of some of Bernard Williams’ objections to Kantian and Utilitarian accounts of them. Williams argues that an implausible consequence of these theories is that that we are expected to sacrifice projects that make our lives worth living and contribute to our integrity. Williams’ arguments about integrity and meaning are shown to be unconvincing when the content of projects is left open. However, a look at his later arguments suggests a reason to be concerned about defensible ethical projects as understood through what he refers to as “the morality system”. The problem for theories of this type turns out to be not merely conflicts between ethical projects and moral demands but making sense of some of the ethically relevant features of these projects. Accommodations to moral theories that leave room for ethical projects may be insufficient to explain such features, for example in cases where agents demand more of themselves than the theories require. Making the theories more demanding is also problematic. Williams’ view about the role ethics plays in our conception of the life we want to lead provides a better account of these cases.

Quantification in Some Non-normal Modal Logics

This paper offers a semantic study in multi-relational semantics of quantified N-Monotonic modal logics with varying domains with and without the identity symbol. We identify conditions on frames to characterise Barcan and Ghilardi schemata and present some related completeness results. The characterisation of Barcan schemata in multi-relational frames with varying domains shows the independence of BF and CBF from well-known propositional modal schemata, an independence that does not hold with constant domains. This fact was firstly suggested for classical modal systems by Stolpe (Logic Journal of the IGPL 11(5), 557–575, 2003), but unfortunately that work used only models and not frames.     

Obstetric Ultrasound and the Technological Mediation of Morality: A Postphenomenological Analysis

This article analyzes the moral relevance of technological artifacts and its possible role in ethical theory, by taking the postphenomenological approach that has developed around the work of Don Ihde into the domain of ethics. By elaborating a postphenomenological analysis of the mediating role of ultrasound in moral decisions about abortion, the article argues that technologies embody morality and help to constitute moral subjectivity. This technological mediation of the moral subject is subsequently addressed in terms of Michel Foucault’s ethical position, in which ethics is about actively co-shaping one’s moral subjectivity. Integrating Foucauldian ethics and postphenomenology, the article argues that the technological mediation of moral subjectivity should be at the heart of an ethical approach that takes the moral dimensions of technology seriously.

Naturalistic Explanations of Apodictic Moral Claims: Brentano’s Ethical Intuitionism and Nietzsche’s Naturalism

In this article (1) I extract from Brentano’s works (three) formal arguments against “genealogical explanations” of ethical claims. Such explanation can also be designated as “naturalism” (not his appellation); (2) I counter these arguments, by showing how genealogical explanations of even apodictic moral claims are logically possible (albeit only if certain unlikely, stringent conditions are met); (3) I show how Nietzsche’s ethics meets these stringent conditions, but evolutionary ethics does not. My more general thesis is that naturalism and intuitionism in ethics need not be mutually incompatible.

From Environmental to Ecological Ethics: Toward a Practical Ethics for Ecologists and Conservationists

Ecological research and conservation practice frequently raise difficult and varied ethical questions for scientific investigators and managers, including duties to public welfare, nonhuman individuals (i.e., animals and plants), populations, and ecosystems. The field of environmental ethics has contributed much to the understanding of general duties and values to nature, but it has not developed the resources to address the diverse and often unique practical concerns of ecological researchers and managers in the field, lab, and conservation facility. The emerging field of “ecological ethics” is a practical or scientific ethics that offers a superior approach to the ethical dilemmas of the ecologist and conservation manager. Even though ecological ethics necessarily draws from the principles and commitments of mainstream environmental ethics, it is normatively pluralistic, including as well the frameworks of animal, research, and professional ethics. It is also methodologically pragmatic, focused on the practical problems of researchers and managers and informed by these problems in turn. The ecological ethics model offers environmental scientists and practitioners a useful analytical tool for identifying, clarifying, and harmonizing values and positions in challenging ecological research and management situations. Just as bioethics provides a critical intellectual and problem-solving service to the biomedical community, ecological ethics can help inform and improve ethical decision making in the ecology and conservation communities.

Learning multiple rules simultaneously: Affixes are more salient than reduplications

Language learners encounter numerous opportunities to learn regularities, but need to decide which of these regularities to learn, because some are not productive in their native language. Here, we present an account of rule learning based on perceptual and memory primitives (Endress, Dehaene-Lambertz, & Mehler, Cognition, 105(3), 577–614, 2007; Endress, Nespor, & Mehler, Trends in Cognitive Sciences, 13(8), 348–353, 2009), suggesting that learners preferentially learn regularities that are more salient to them, and that the pattern of salience reflects the frequency of language features across languages. We contrast this view with previous artificial grammar learning research, which suggests that infants “choose” the regularities they learn based on rational, Bayesian criteria (Frank & Tenenbaum, Cognition, 120(3), 360–371, 2013; Gerken, Cognition, 98(3)B67–B74, 2006, Cognition, 115(2), 362–366, 2010). In our experiments, adult participants listened to syllable strings starting with a syllable reduplication and always ending with the same “affix” syllable, or to syllable strings starting with this “affix” syllable and ending with the “reduplication”. Both affixation and reduplication are frequently used for morphological marking across languages. We find three crucial results. First, participants learned both regularities simultaneously. Second, affixation regularities seemed easier to learn than reduplication regularities. Third, regularities in sequence offsets were easier to learn than regularities at sequence onsets. We show that these results are inconsistent with previous Bayesian rule learning models, but mesh well with the perceptual or memory primitives view. Further, we show that the pattern of salience revealed in our experiments reflects the distribution of regularities across languages. Ease of acquisition might thus be one determinant of the frequency of regularities across languages.     

A Survey of Management Educators’ Perceptions of Unethical Faculty Behavior

To help academic associations in management develop, refine, and implement a code of ethics, we conducted a survey of management educators’ perception of the ethicality of 142 specific behaviors in teaching, research, and service. The results of the survey could be used to inform ethics committees of these associations regarding the level of acceptability of such conduct. The potential value of our study for the Academy of Management or similar management associations lie in our (1) systematically involving the members in building support for the code of ethics, (2) assessing members’ ethical judgments on both cross-sectional and longitudinal bases so as to identify areas needing particular attention in ethical training, (3) providing an extensive list of specific examples of questionable and potentially unethical behaviors so as to make it easier to implement the code, and (4) providing a template survey document for potential use in involving more stakeholder groups in the development of codes of ethics.

Proofs,pictures, and Euclid

Though pictures are often used to present mathematical arguments, they are not typically thought to be an acceptable means for presenting mathematical arguments rigorously. With respect to the proofs in the Elements in particular, the received view is that Euclid’s reliance on geometric diagrams undermines his efforts to develop a gap-free deductive theory. The central difficulty concerns the generality of the theory. How can inferences made from a particular diagrams license general mathematical results? After surveying the history behind the received view, this essay provides a contrary analysis by introducing a formal account of Euclid’s proofs, termed Eu. Eu solves the puzzle of generality surrounding Euclid’s arguments. It specifies what diagrams Euclid’s diagrams are, in a precise formal sense, and defines generality-preserving proof rules in terms of them. After the central principles behind the formalization are laid out, its implications with respect to the question of what does and does not constitute a genuine picture proof are explored.     

Good Ethics Can Sometimes Mean Better Science: Research Ethics and the Milgram Experiments

All agree that if the Milgram experiments were proposed today they would never receive approval from a research ethics board. However, the results of the Milgram experiments are widely cited across a broad range of academic literature from psychology to moral philosophy. While interpretations of the experiments vary, few commentators, especially philosophers, have expressed doubts about the basic soundness of the results. What I argue in this paper is that this general approach to the experiments might be in error. I will show that the ethical problems that would prevent the experiments from being approved today actually have an effect on the results such that the experiments might show less than many currently suppose. Making this case demonstrates two conclusions. The first is that there are good reasons to think that the conclusions of many of Milgram’s commentators might be too strong. The second conclusion is a more general one. The ethics procedures commonly used by North American research ethics boards serve not only to protect human participants in research but also can sometimes help secure, to an extent, the integrity of results. In other words, good ethics can sometimes mean better science.

What’s philosophically interesting about engineering ethics?

What makes a subject philosophically interesting is hard-to-resolve confusion about fundamental concepts. Engineering ethics suffers from at least three such fundamental confusions. First, there is confusion about what the “ethics” in engineering ethics is (ordinary morality, philosophical ethics, special standards, or something else?) Second, there is confusion about what the profession of engineering is (a function, discipline, occupation, kind of organization, or something else?) Third, there is confusion about what the discipline of engineering is. These fundamental confusions in engineering ethics connect with philosophically interesting work in moral theory, political philosophy, and philosophy of science. Work in these areas may help with the philosophical problems of engineering ethics. But, equally important, work in engineering ethics may help with the philosophical problems in these others fields.     

No Plaything: Ethical Issues Concerning Child-pornography

Academic discussion of pornography is generally restricted to issues arising from the depiction of adults. I argue that child-pornography is a more complex matter, and that generally accepted moral judgements concerning pornography in general have to be revised when children are involved. I look at the question of harm to the children involved, the consumers, and society in general, at the question of blame, and at the possibility of a morally acceptable form of child-pornography. My approach involves an objectivist meta-ethics and a utilitarian view of practical ethics, and I bring out the advantages of these theories to the consideration of moral issues such as this one.

A Bayesian approach to estimating variance components within a multivariate generalizability theory framework

In many behavioral research areas, multivariate generalizability theory (mG theory) has been typically used to investigate the reliability of certain multidimensional assessments. However, traditional mG-theory estimation—namely, using frequentist approaches—has limits, leading researchers to fail to take full advantage of the information that mG theory can offer regarding the reliability of measurements. Alternatively, Bayesian methods provide more information than frequentist approaches can offer. This article presents instructional guidelines on how to implement mG-theory analyses in a Bayesian framework; in particular, BUGS code is presented to fit commonly seen designs from mG theory, including single-facet designs, two-facet crossed designs, and two-facet nested designs. In addition to concrete examples that are closely related to the selected designs and the corresponding BUGS code, a simulated dataset is provided to demonstrate the utility and advantages of the Bayesian approach. This article is intended to serve as a tutorial reference for applied researchers and methodologists conducting mG-theory studies.     

Gentzen-Style Sequent Calculus for Semi-intuitionistic Logic

The variety \({\mathcal{SH}}\) of semi-Heyting algebras was introduced by H. P. Sankappanavar (in: Proceedings of the 9th “Dr. Antonio A. R. Monteiro” Congress, Universidad Nacional del Sur, Bahía Blanca, 2008) [13] as an abstraction of the variety of Heyting algebras. Semi-Heyting algebras are the algebraic models for a logic HsH, known as semi-intuitionistic logic, which is equivalent to the one defined by a Hilbert style calculus in Cornejo (Studia Logica 98(1–2):9–25, 2011) [6]. In this article we introduce a Gentzen style sequent calculus GsH for the semi-intuitionistic logic whose associated logic GsH is the same as HsH. The advantage of this presentation of the logic is that we can prove a cut-elimination theorem for GsH that allows us to prove the decidability of the logic. As a direct consequence, we also obtain the decidability of the equational theory of semi-Heyting algebras.     

Admissible Bases Via Stable Canonical Rules

We establish the dichotomy property for stable canonical multi-conclusionrules for IPC, K4, and S4. This yields an alternative proof of existence of explicit bases of admissible rules for these logics.     

Understanding Negation Implicationally in the Relevant Logic R

A star-free relational semantics for relevant logic is presented together with a sound and complete sequent proof theory (display calculus). It is an extension of the dualist approach to negation regarded as modality, according to which de Morgan negation in relevant logic is better understood as the confusion of two negative modalities. The present work shows a way to define them in terms of implication and a new connective, co-implication, which is modeled by respective ternary relations. The defined negations are confused by a special constraint on ternary relation, called the generalized star postulate, which implies definability of the Routley star in the frame. The resultant logic is shown to be equivalent to the well-known relevant logic R. Thus it can be seen as a reconstruction of R in the dualist framework.