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 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.

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 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.

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)

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)

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 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.

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

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.

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?

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

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.

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)

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)

Formal pragmatics plays an important, though secondary, role in modern analytical philosophy of language: its aim is to explain how context can affect the meaning of certain special kinds of utterances. During recent years, the adequacy of formal tools has come under attack, often leading to one or another form of relativism or antirealism. Our aim will be to extend the critique to formal pragmatics while showing that sceptical conclusions can be avoided by developing a different approach to the issues. (...) In particular, we will show that formal pragmatics cannot provide a complete account of how context affects the meaning of utterances, both on its own terms and when faced with evidence of important aspects of natural languages. The focal issue is the relevant kind of context in which pragmatics should examine utterances. Our contention will be that the relevant context of an utterance is determined by the function of that utterance, this function being dependent upon the primary function of language – to convey information. We will argue that the functions of utterances and of language are too broad to be caught by the tools of formal pragmatics of the sort advocated by Montague (1968, 1974), which are an extension the methods of traditional model-theoretic semantics. The particular formal approach we will use as the main example is David Kaplan’s position (1979, 1989), an extension of Montague’s program. (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)

The acceptance of the concept of necessary linguistic cate­gories has given renewed prominence to the subject of ontology in contemporary discussions of language and logic. Jack Kaminsky, Professor of Philosophy at the State University of New York at Binghamton, here contributes an important expo­sition of this school of thought. He examines the views of many philosophers who either admit or deny that ontological com­mitments are necessary, and he raises broad questions and shows why there is a compelling interest in the (...) relation of a formal language to the issue of ontological inquiry. (shrink)

Blumenberg has sometimes described his work as a phenomenology of history. The connection between history and phenomenology is particularly striking in the context of Blumenberg’s contributions to the philosophy of technology. In the course of his analysis of Husserl’s Krisis, Blumenberg develops, as my contribution aims to show, a conception of history in which complete technologization leads to a perfected lifeworld. Blumenberg formulates this partly explicitly within the framework of a three-stage model of history, but there are also implicit insights (...) in Blumenberg’s texts that seem to work with such a structuring of history. (shrink)