Scientificity is essentially methodology. The use of information technology as methodological instruments in science has been increasing for decades, this raises the question: Does this transform science? This question is the subject of the Special Issue in Minds and Machines “The epistemological significance of methods in computer simulation and machine learning”. We show that there is a technological change in this area that has three methodological and epistemic consequences: methodological opacity, reproducibility issues, and altered forms of justification.

We deal with the modal logic of cluster-decomposable Kripke interpretations, present an axiomatization, and prove some additional results regarding this logic.

It is shown that the expressive power of second-order propositional modal logic whose modalities are S4.2 or weaker is the same as that of second-order predicate logic.

We motivate and formalize the idea of sameness by default: two objects are considered the same if they cannot be proved to be different. This idea turns out to be useful for a number of widely different applications, including natural language processing, reasoning with incomplete information, and even philosophical paradoxes. We consider two formalizations of this notion, both of which are based on Reiter’s Default Logic. The first formalization is a new relation of indistinguishability that is introduced by default. We (...) prove that the corresponding default theory has a unique extension, in which every two objects are indistinguishable if and only if their non-equality cannot be proved from the known facts. We show that the indistinguishability relation has some desirable properties: it is reflexive, symmetric, and, while not transitive, it has a transitive “flavor.” The second formalization is an extension (modification) of the ordinary language equality by a similar default: two objects are equal if and only if their non-equality cannot be proved from the known facts. It appears to be less elegant from a formal point of view. In particular, it gives rise to multiple extensions. However, this extended equality is better suited for most of the applications discussed in this paper. (shrink)

In some presentations of classical and intuitionistic logics, the objectlanguage is assumed to contain (two) truth-value constants: ⊤ (verum) and ⊥ (falsum), that are, respectively, true and false under every bivalent valuation. We are interested to define and study analogical constants ‡, 1 ≤ i ≤ n, that in an arbitrary multi-valued logic over truth-values V = {v1,..., vn} have the truth-value vi under every (multi-valued) valuation. As is well known, the absence or presence of such constants has a significant (...) deductive impact on the logics studied. We define such constants proof-theoretically via their associated I/E-rules in a natural-deduction proof system. In particular, we propose a generalization of the notions of contradiction and explosiveness of a logic to the context of multi-valued logics. (shrink)

We present a number of equivalent calculi for many-valued logics and prove soundness and strong completeness theorems. The calculi are obtained from the truth tables of the logic under consideration in a straightforward manner and there is a natural duality among these calculi. We also prove the cut elimination theorems for the sequent-like systems.

We show that the relational semantics of the Lambek calculus, both nonassociative and associative, is also sound and complete for its extension with classical propositional logic. Then, using filtrations, we obtain the finite model property for the nonassociative Lambek calculus extended with classical propositional logic.

Infants can see someone pointing to one of two buckets and infer that the toy they are seeking is hidden inside. Great apes do not succeed in this task, but, surprisingly, domestic dogs do. However, whether children and dogs understand these communicative acts in the same way is not yet known. To test this possibility, an experimenter did not point, look, or extend any part of her body towards either bucket, but instead lifted and shook one via a centrally pulled (...) rope. She did this either intentionally or accidentally, and did or did not address her act to the subject using ostensive cues. Young 2-year-old children but not dogs understood the experimenter’s act in intentional conditions. While ostensive pulling of the rope made no difference to children’s success, it actually hindered dogs’ performance. We conclude that while human children may be capable of inferring communicative intent from a wide variety actions, so long as these actions are performed intentionally, dogs are likely to be less flexible in this respect. Their understanding of communicative intention may be more dependent upon bodily markers of communicative intent, including gaze, orientation, extended limbs, and vocalisations. This may be because humans have come under selective pressure to develop skills for communicating with absent interlocutors – where bodily co-presence is not possible. (shrink)

The paper presents a generalization of pregroup, by which a freely-generated pregroup is augmented with a finite set of commuting inequations, allowing limited commutativity and cancelability. It is shown that grammars based on the commutation-augmented pregroups generate mildly context-sensitive languages. A version of Lambek’s switching lemma is established for these pregroups. Polynomial parsability and semilinearity are shown for languages generated by these grammars.

We present sound and complete semantics and a sequent calculus for the Lambek calculus extended with intuitionistic propositional logic.

Entscheidungen verweisen in einem begrifflichen Sinne auf Gründe. Entscheidungssysteme bieten eine probabilistische Verlässlichkeit als Rechtfertigung von Empfehlungen an. Doch nicht für alle Situationen mögen Verlässlichkeitsgründe auch angemessene Gründe sein. Damit eröffnet sich die Idee, die Güte von Gründen von ihrer Angemessenheit zu unterscheiden. Der Aufsatz betrachtet an einem Beispiel, einem KI-Lügendetektor, die Frage, ob eine (zumindest aktuell nicht gegebene) hohe Verlässlichkeit den Einsatz rechtfertigen kann. Gleicht er nicht einem Richter, der anhand einer Statistik Urteile fällen würde?

The paper provides a proof-theory for a negative presentation of classical logic based on a single primitive of exclusion, generalizing the known presentation via the binary ‘nand. The completeness is established via deductive equivalence to Gentzens NK/LK systems.

We study structural rules in the context of multi-valued logics with finitely-many truth-values. We first extend Gentzen’s traditional structural rules to a multi-valued logic context; in addition, we propos some novel structural rules, fitting only multi-valued logics. Then, we propose a novel definition, namely, structural rules completeness of a collection of structural rules, requiring derivability of the restriction of consequence to atomic formulas by structural rules only. The restriction to atomic formulas relieves the need to concern logical rules in the (...) derivation. (shrink)

It is shown that de re formulas are eliminable in the modal logic S5 extended with the axiom scheme □∃xφ ⊃ ∃x□φ.

We present an embedding of the Lambek–Grishin calculus into an extension of the nonassociative Lambek calculus with negation. The embedding is based on the De Morgan interpretation of the dual Grishin connectives.

It is shown that both classical and intuitionistic propositional logics of an associative binary modality are undecidable. The proof is based on the deduction theorem for these logics.

We present an axiomatization of the non-associative Lambek calculus extended with classical negation for which the frame semantics with the classical interpretation of negation is sound and complete.

In this paper, we propose an extension of free pregroups with lower bounds on sets of pregroup elements. Pregroup grammars based on such pregroups provide a kind of an algebraic counterpart to universal quantification over type-variables. In particular, we show how our pregroup extensions can be used for pregroup grammars expressing natural-language coordination and extraction.

Spiel und Arbeit gelten oft als Gegensätze: Das Spiel als freie Betätigung menschlicher Vermögen, die Arbeit als deren Subordination unter einen äußeren Zweck. Die Festlegung des Spiels auf konsequenzlose Wiederholbarkeit hat ihm den Ruf des Unernsten eingetragen, während das Abzwecken der Arbeit auf die Nützlichkeit ihres Resultats im Bund mit der Sorge ums Dasein steht. Auf einen zweiten Blick scheint dieser Gegensatz jedoch, gerade in den hochentwickeltsten Ausprägungen beider Tätigkeitsformen, zu verschwinden. So kann eine hochgradige Rationalisierung von Spielpraktiken in Arbeit (...) umschlagen, wie etwa im Leistungssport, oder ein komplexer Arbeitsvorgang selbstzweckhafte Momente und Eigendynamiken gewinnen, die ihm Spielcharakter verleihen. Auch andere technologische Entwicklungen geben Anlass dazu, das Verhältnis von Spiel und Arbeit noch einmal grundsätzlich zu bedenken, etwa im Hinblick auf: adaptive Systeme in der Robotik, serious games, Kreativitätstechniken in Unternehmenskulturen, wissenschaftliche Experimentalanordnungen, Online-Rollenspiele oder die Kommodifizierung nicht-zweckrationaler Lebensvollzüge, die traditionell vom Begriff produktiver Arbeit ausgeschlossen waren – einschließlich der Spielräume, die durch neue Umwelt- und Biotechniken erschlossen werden. Die Beschaffenheit der jeweils zum Einsatz kommenden Mittel und Verfahren sowie die Setzung, Variation oder Preisgabe von Zwecken können den Charakter von Spiel und Arbeit sowie ihr Verhältnis zueinander bestimmen oder verändern. Mit Beiträgen von Francesco Amigoni, Andreas Brenneis, Petra Gehring, Armin Grunwald, Florian Heßdörfer, Wolfram Ette, Christoph Hubig, Andreas Kaminski, Nicole C. Karafyllis, Christian Klager, Alexander Kluge, Uwe Küster, Oliver Laas, Hildrun Lampe, Pieter Lemmens, Stefan Meißner, Alfred Nordmann, Felix Raczkowski, Markus Rautzenberg, Michael Resch, Nicole J. Saam, Viola Schiaffonati, Alexander Schmidl, Jan C. Schmidt und G. Günter Voß. (shrink)

According to the received account of guilt in the philosophical literature, one cannot feel guilt unless one takes oneself to have done something morally wrong. But ordinary people feel guilt in many cases in which they do not take themselves to have done anything morally wrong. In this paper, I focus on one kind of guilt without perceived wrongdoing, guilt about being merely causally responsible for a bad state-of-affairs. I go on to present a novel account of guilt that explains (...) guilt about mere causal responsibility, according to which guilt represents part of the self as bound up with what is bad. (shrink)

Excerpt from Die Ethik des Aristoteles: In Ihrer Systematischen Einheit und in Ihrer Geschichtlichen Stellung Untersucht 1. Die Tapferkeit. Keine systematische Anordnung der Tugenden Die sittliche Gesinnung als Motiv der Tapferkeit - die Tapferkeit als richtiges Masshalten. About the Publisher Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing (...) imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works.". (shrink)

Concepts and Cases in Nursing Ethics is an introduction to contemporary ethical issues in health care, designed especially for Canadian audiences. The book is organized around six key concepts: beneficence, autonomy, truth-telling, confidentiality, justice, and integrity. Each of these concepts is explained and discussed with reference to professional and legal norms. The discussion is then supplemented by case studies that exemplify the relevant concepts and show how each applies in health care and nursing practice. This new fourth edition includes an (...) added chapter on end-of-life issues, and it is revised throughout to reflect the latest developments on topics such as global health ethics, cultural competence, social media, and palliative sedation. (shrink)

Machine learning algorithms pervade contemporary society. They are integral to social institutions, inform processes of governance, and animate the mundane technologies of daily life. Consistently, the outcomes of machine learning reflect, reproduce, and amplify structural inequalities. The field of fair machine learning has emerged in response, developing mathematical techniques that increase fairness based on anti-classification, classification parity, and calibration standards. In practice, these computational correctives invariably fall short, operating from an algorithmic idealism that does not, and cannot, address systemic, Intersectional (...) stratifications. Taking present fair machine learning methods as our point of departure, we suggest instead the notion and practice of algorithmic reparation. Rooted in theories of Intersectionality, reparative algorithms name, unmask, and undo allocative and representational harms as they materialize in sociotechnical form. We propose algorithmic reparation as a foundation for building, evaluating, adjusting, and when necessary, omitting and eradicating machine learning systems. (shrink)

Our aim in this paper is to present the distinct ways in which Wolff, Baumgarten, and Kant understand the relationship between necessitation, constraint, and reluctant action in an effort to illustrate the subtle ways in which their conceptions of obligation differ from each another. Whereas Wolff conceives of natural or moral obligation as incompatible with constraint, Baumgarten holds that constraint and reluctant action are, in some instances, compatible with natural obligation. Kant departs from Baumgarten by conceiving of obligation as necessarily (...) involving constraint: as Kant’s reply to Schiller’s famous objection reveals, obligation must take on the character of constraint to reluctant action on account of the fact that human beings possess inclinations that always threaten to impel them in directions that oppose morality. (shrink)

Call "radical moral theorizing" the project of developing a moral theory that not only tries to conform to our existing moral intuitions, but also manifests various theoretical virtues: consistency, simplicity, explanatory depth, and so on. Many moral philosophers assume that radical moral theorizing does not require any particular metaethical commitments. In this paper, I argue against this assumption. The most natural justification for radical moral theorizing presupposes moral realism, broadly construed; in contrast, there may be no justification for radical moral (...) theorizing if moral anti-realism is true. (shrink)

This a clear and concise introduction to Danish philosopher Soren Kierkegaard.ichael Watts uses Kierkegaard's own writings to introduce his theoriesbout living a truthfu; and spiritual life, while explaining the enormousnfluence of the philosopher's personal life on his work and beliefs. As theounder of 20th century existentialism, and the first philosopher to definehe idea of angst, Kierkegaard's profound influence on modern life is clearlyefined in accessible terms in this guide for students and general readers.

Commentators disagree about the extent to which Kant’s ethics is compatible with consequentialism. A question that has not yet been asked is whether Kant had a view of his own regarding the fundamental difference between his ethical theory and a broadly consequentialist one. In this paper I argue that Kant does have such a view. I illustrate this by discussing his response to a well-known objection to his moral theory, namely that Kant offers an implicitly consequentialist theory of moral appraisal. (...) This objection was most famously raised by Mill and Schopenhauer, but also during Kant’s time by Pistorius and Tittel. I show that Kant’s response to this objection in the second Critique illustrates that he sees the fundamental difference between his moral theory and a broadly consequentialist one to be one that concerns methodology. (shrink)