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)

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.

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.

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)

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.

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

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.

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.

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)

Der vorliegende Band bietet die erste Gesamtbibliographie aller deutschsprachigen Veröffentlichungen zu Sren Kierkegaard (1813 - 1855); darüber hinaus werden sämtliche deutschsprachigen Übersetzungen von Kierkegaards veröffentlichten und unveröffentlichten Schriften sowie von seinen Journalen und Aufzeichnungen erfasst. Der Band ist damit ein unverzichtbares Hilfsmittel zur Erforschung der Übersetzungs- und Rezeptionsgeschichte Kierkegaards im deutschen Sprachraum.

This book offers comparative ontologies of both Islam and liberalism as discourses more broadly construed. The author argues that, despite recent efforts to speak of overlapping consensuses and discursive congruence, the fundamental categories that constitute 'Islam' and 'Liberalism' remain very different, and that these differences should be taken seriously. Thus far, no recent scholarly works have explicitly or meticulously broken down where these differences lie. The author rigorously explores questions related to rights, moral epistemologies, the role of religion in the (...) public sphere, and more general approaches to legal discourse, via primary and canonical sources constitutive of both Islam and liberalism. He then goes on to articulate why communitarian modes of thought are better suited for engaging with Islam and contemporary socio-political modes of organization than liberalism. This book will be of great interest to students and scholars of Politics and International Relations, Islam, Liberalism, and Communitarianism. (shrink)

It is argued here that understanding John Dewey's thought as that of a prodigal liberal or a fellow traveller does not capture the complexity of his work. It is also important to recognise the portion of his work that is historie morale. In the very best sense it is epic, encapsulating the hopes and dreams of a history of the American people in the early 1900s. It is a work that simultaneously pursues modernity and the past — for the sake (...) of coping with the present. It also calls attention to an unnoticed element in his work 'inexperience'. (shrink)