We review evidence regarding Tomasello et al.'s proposal that individuals with autism understand intentions but fail socially because of a lack of motivation to share intentions. We argue that they are often motivated to understand others but fail because they lack the perceptual integration skills that are needed to apply their basically intact theory of mind skills in complex social situations.

Natural deduction (for short: nd-) calculi have not been used systematically as a basis for automated theorem proving in classical logic. To remove objective obstacles to their use we describe (1) a method that allows to give semantic proofs of normal form theorems for nd-calculi and (2) a framework that allows to search directly for normal nd-proofs. Thus, one can try to answer the question: How do we bridge the gap between claims and assumptions in heuristically motivated ways? This informal (...) question motivates the formulation of intercalation calculi. Ic-calculi are the technical underpinnings for (1) and (2), and our paper focuses on their detailed presentation and meta-mathematical investigation in the case of classical predicate logic. As a central theme emerges the connection between restricted forms of nd-proofs and (strategies for) proof search: normal forms are not obtained by removing local "detours", but rather by constructing proofs that directly reflect proof-strategic considerations. That theme warrants further investigation. (shrink)

Thema der vorliegenden Arbeit ist der dialektische Gehalt der wichtigsten bildungstheoretischen Abhandlungen des padagogischen Theoretikers Josef Derbolav. Ergebnis der zum grossten Teil immanent durchgefuhrten Analyse ist der Aufweis, dass Derbolav die dialektische Fassung didaktischer, anthropologischer und handlungstheoretischer Prinzipien aufgrund metaphysischer Denkstrukturen nicht oder nur teilweise gelingt. Inwieweit einige dieser Prinzipien dialektisches Potential enthalten konnten, zeigt der Verfasser anhand der Entwicklung eines eigenen, an der hermeneutischen Philosophie orientierten dialektischen Standpunktes.".

The increasing complexity and ubiquity of autonomously operating artificially intelligent (AI) systems call for a robust theoretical reconceptualization of responsibility and control. The Meaningful Human Control (MHC) approach to the design and operation of AI systems provides such a framework. However, in its focus on accountability and minimizing harms, it neglects how we may flourish in interaction with such systems. In this chapter, I show how the MHC framework can be expanded to meet this challenge by drawing on the ethics (...) of carebots and embodied design. First, I examine how discussions about flourishing with carebots invite us to consider the extent to which we control our moral character Second, I argue that we can understand the cultivation of moral character in terms of embodied virtues arising from operating in particular ecologies. Third, I demonstrate how this analysis fruitfully informs the design of carebots as supporting reciprocity and empathy. (shrink)

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the fifteenth publication in the Lecture Notes in Logic series, collects papers presented at the symposium 'Reflections on the Foundations of Mathematics' held in celebration of Solomon Feferman's 70th birthday (The 'Feferfest') at Stanford University, California in 1988. (...) Feferman has shaped the field of foundational research for nearly half a century. These papers reflect his broad interests as well as his approach to foundational research, which emphasizes the solution of mathematical and philosophical problems. There are four sections, covering proof theoretic analysis, logic and computation, applicative and self-applicative theories, and philosophy of modern mathematical and logic thought. (shrink)

The article concentrates on the possibilities of bringing into dialogue two different theoretical frameworks for conceptualising social reality and power: those proposed by Ernesto Laclau, one of the leading current theorists of hegemony, and Juri Lotman, a path breaking cultural theorist. We argue that these two models contain several concepts that despite their different verbal expressions play exactly the same functional role in both theories. In this article, however, we put special emphasis on the problem of naming for both theorists. (...) We propose to see naming as one of the central translating strategies in the politico-hegemonic discourse. Our main thesis is that through substituting some central categories of Laclau’s theory with those of Lotman’s, it is possible to develop a model of hegemony that is a better tool for empirical study of power relations in given social formations than the model proposed by Laclau, who in his later works tends more and more to ground it in psychoanalytic ontology. (shrink)

In his classic paper On Computable Numbers Turing analyzed what can be done by a human computor in a routine, “mechanical” way. He argued that mechanical op-erations obey locality conditions and are carried out on configurations satisfying boundedness conditions. Processes meeting these restrictive conditions can be shown to be computable by a Turing machine. Turing viewed memory limitations of computors as the ultimate reason for the restrictive conditions. In contrast, Gandy analyzed in his paper Church’s Thesis and Principles for Mechanisms (...) what can be done by “discrete deterministic mechanical devices” and appealed to physical considerations to motivate restrictive principles. These devices include, crucially, ones that carry out parallel processes, e.g., cellular automata. Following Turing’s methodological ways and guided by Conway’s “Game of Life” as a paradigm, Gandy formulated four restrictive principles and proved that devices satisfying them are computationally equivalent to Turing machines. (shrink)

There is a tension between the idea of popular sovereignty and our understanding that basic constitutional rights and liberties have a normative authority which is independent from the results of democratic decision‐making procedures. On the one hand there is the claim that the content of political justice, at least as far as the basic liberties are concerned, is to be fixed solely by substantive moral and political argument, while on the other there is the claim that it is the people (...) who determine the specific scheme of basic liberties that they live under. The apparent tension between the two claims can be resolved by introducing, firstly, a distinction between the concept of justice and the concept of legitimacy and, secondly, between proto‐rights and constitutional rights. Unlike constitutional rights, proto‐rights are moral, not legal, rights, and they are less specific than constitutional rights: one set of proto‐rights allows for various schemes of legal constitutional rights. Proto‐rights are part of the principles of justice and can be established only by substantive argument while constitutional rights have to be established by the procedures of democratic legitimization, and, therefore, they are a result of the exercise of popular sovereignty. The correlated distinctions between justice and legitimacy, and between proto‐rights and constitutional rights, allow us to specify the scope of the two claims and, hence, to affirm both simultaneously. The philosophical and legal relevance of the distinctions made is elucidated by a brief discussion of the constitutional rights of freedom of speech in the US and Germany. (shrink)

Zuerst im 2CV, dann im umgebauten VW-Bus: Das Zürcher Fotografenpaar Margrit und Ernst Baumann, 1929 bzw. 1928 geboren, begann in den 1950er-Jahren rund um den Erdball zu reisen. Ihre Fotografien publizierten sie in Zeitschriften und Zeitungen wie Stern, Neue Zürcher Zeitung oder Das gelbe Heft und brachten so die Welt in die Wohnzimmer. Kosmopolitan und neugierig kamen sie zu Motiven mit Seltenheitswert: Farbporträts von Che Guevara gehören ebenso dazu wie Reportagen über die letzten Kopfjäger im ecuadorianischen Urwald. Ein Schwerpunkt dieser (...) reich bebilderten Doppelmonografie ist ihre Reise entlang der “Panamericana” 1957-1959, die Süd- und Nordamerika verbindet. Sie fotografierten Reportagen, Porträts und Landschaftsbilder und drehten den wohl ersten Farbfilm über den legendären Verkehrsweg. Dieser Film und ein Filporträt über die beiden Fotografen sind dem Buch auf DVD beigefügt. Das Buch präsentiert Funde aus ihrem Fotoarchiv - viele Bilder erstmals im Originalausschnitt - sowie Publikationen in Zeitschriften. Der Historiker und Schriftsteller Wilfried Meichtry erzählt vom ereignisreichen Leben des Paars, das sich zeitlebens als journalistische Handwerker verstanden hat. Der Fotohistoriker Markus Schürpf ordnet ihr Werk in die Foto- und Pressegeschichte ein, Nadine Olonetzky verfasst Begleittexte zu den Bildern. Eine Entdeckung in der Schweizer Fotogeschichte. (shrink)

In this article we give a unifying approach to the theory of fundamental sequences and their related Hardy hierarchies of number-theoretic functions and we show the equivalence of the new approach with the classical one.

The distinction between I- and E-concepts, derived from Chomsky's distinction between I- and E-language, has become an integral part of Jackendoff's conceptual semantics. Where, if at all, are they to be found in the model of the mind proposed in Jackendoff's core paper, i.e., in which of the three rings? How do they relate to the idea of I- and E-values, independently proposed by myself in the framework of a theory of lexical semantics known as conceptual axiology? Where in the (...) mind, if at all, are the latter to be found? I will argue that something is missing both in Jackendoff's conceptual semantics and in his picture of the mind: he fails to distinguish between meanings, values and concepts, and talks instead about "conceptual structure "—which presumably belongs to the conscious mind, and to it alone. In an attempt to bring values and concepts together in a comprehensive picture, I will point to the similarities between sensory and linguistic input, and provide details relating to the act of communication as I have come to see it throughout the years. (shrink)

The distinction between I- and E-concepts, derived from Chomsky's distinction between I- and E-language, has become an integral part of Jackendoff's conceptual semantics. Where, if at all, are they to be found in the model of the mind proposed in Jackendoff's core paper, i.e., in which of the three rings? How do they relate to the idea of I- and E-values, independently proposed by myself in the framework of a theory of lexical semantics known as conceptual axiology? Where in the (...) mind, if at all, are the latter to be found? I will argue that something is missing both in Jackendoff's conceptual semantics and in his picture of the mind: he fails to distinguish between meanings, values and concepts, and talks instead about "conceptual structure "—which presumably belongs to the conscious mind, and to it alone. In an attempt to bring values and concepts together in a comprehensive picture, I will point to the similarities between sensory and linguistic input, and provide details relating to the act of communication as I have come to see it throughout the years. (shrink)

[1] Textteil : Grundlagen, Prozeduren, Evaluation -- [2] Anhang : Interviewleitfaden, Tonbandtranskript und Auswertungsbeispiele.

While the Historische Kulturwissenschaft is introduced as a new way of writing history the question has to be answered what Kultur means or how it should be interpreted. The paper deals primarily with the special German notion of ‘Kultur’. The distinction between ‘intension’ and ‘extension’ is made and contrasted with both the narrow and the wide concept of ‘Kultur’. Writing history as new cultural history is shaped at least by five aspects: space, perspective, language, acting and time which are discussed (...) in this thesis. The intension of ‘Kultur’ in Historische Kulturwissenschaft leads to popularisation. The sense of the popular approach to history emphasizes modality in the conception and writing of history. (shrink)

Using the concept of notations for infinitary derivations we give an explanation of Takeuti's reduction steps on finite derivations (used in his consistency proof for Π1 1-CA) in terms of the more perspicious infinitary approach from [BS88].

Les uns sont fascinés par la hardiesse et la constance de sa pensée, les autres la rejettent au motif que sa métaphysique est extravagante et son raisonnement obscur. Mais alors, quel profit tirer de la lecture de l'œuvre de Plotin? Mieux que tout autre, Plotin réussit à faire le point sur les doctrines philosophiques qui l'ont précédé, y compris le scepticisme. Et il y parvient avec une perspicacité et une originalité exceptionnelles, tout en restant un strict partisan du platonisme. Interpréter (...) Plotin dans sa confrontation avec ses prédécesseurs, c'est prendre part à un passionnant débat et soumettre à une évaluation les acquis et les limites de chacun. Telle est la démarche à laquelle invite ce livre qui est consacré à la théorie du savoir. Après que le doute sceptique ait ébranlé les théories antérieures, Plotin innove en faisant coïncider savoir objectif et connaissance de soi. Ce geste théorique, ses antécédents et ses conséquences sont au cœur de ce travail de recherche"--P. [4] of cover. (shrink)

Wilfried Sieg. Calculations by Man and Machine: Conceptual Analysis.

How should sociologists use the word theory? Gabriel Abend’s recent insistence that this question should be tackled politically raises two important issues: Is sociology political? And if so, what normative implications follow for its organization? Drawing on Wittgenstein’s notion of family resemblance and post-Gramscian theories of hegemony, I argue that Abend’s proposal that semantic questions about theory can be addressed separately from ontological, evaluative, and teleological ones is untenable. Disagreements about the latter are constitutive, not merely supplementary to the meaning (...) of theory. Against Abend’s deliberative-democratically oriented vision, I propose an agonistic politics of theory. In doing so, I consider both the internal inconsistencies of deliberativism and the practical advantages and sociological relevance of agonism. (shrink)

David Hilbert was one of the great mathematicians who expounded the centrality of their subject in human thought. In this collection of essays, Wilfried Sieg frames Hilbert's foundational work, from 1890 to 1939, in a comprehensive way and integrates it with modern proof theoretic investigations.