Nonmonotonic reasoning in its broadest sense is reasoning to conclusions on the basis of incomplete information. Given more information, previously drawn inferences may be retracted. Commonsense reasoning has a nonmonotonic component; it has been argued that almost all commonsense inferences are of this sort. From the end of the 1980s to the present there has been an explosion in research in nonmonotonic reasoning. It is now possible to understand more clearly the properties of the major formalisms from a metatheoretical point (...) of view, the relationships among the formalisms and their connection to independently developed proof methods. The goal of this monograph is to make this understanding more accessible. (shrink)

Many of the things we do, we do together with other people. Think of carpooling and playing tennis. In the past two or three decades it has become increasingly popular to analyze such collective actions in terms of collective intentions. This volume brings together ten new philosophical essays that address issues such as how individuals succeed in maintaining coordination throughout the performance of a collective action, whether groups can actually believe propositions or whether they merely accept them, and what kind (...) of evidence, if any, disciplines such as cognitive science and semantics provide in support of irreducibly collective states.The theories of the Big Four of collective intentionality -- Michael Bratman, Raimo Tuomela, John Searle, and Margaret Gilbert -- and the Big Five of Social Ontology -- which in addition to the Big Four includes Philip Pettit -- play a central role in almost all of these essays. Drawing on insights from a wide range of disciplines including dynamical systems theory, economics, and psychology, the contributors develop existing theories, criticize them, or provide alternatives to them.Several essays challenge the idea that there is a straightforward dichotomy between individual and collective level rationality, and explore the interplay between these levels in order to shed new light on the alleged discontinuities between them. These contributions make abundantly clear that it is no longer an option simply to juxtapose analyses of individual and collective level phenomena and maintain that there is a discrepancy. Some go as far as arguing that on closer inspection the alleged discontinuities dissolve. (shrink)

In this paper first order theories for nonmonotone inductive definitions are introduced, and a proof-theoretic analysis for such theories based on combined operator forms a la Richter with recursively inaccessible and Mahlo closure ordinals is given.

Oft wird nur jenes anerkannt, was "wissenschaftlich beweisbar" ist. Ein solches Vorurteil vergisst, dass es auch andere Wirklichkeiten gibt. Ist unsere Welt ein Blick durch ein Kaleidoskop? Wie kann es sein, dass man eine mehr oder minder große Auswahl panoramenhafter Wirklichkeiten vor sich hat? Ist es möglich, solche Wirklichkeiten zu verlassen und in andere überzuwechseln? Anhand konkreter Beispiele wird dieser Wirklichkeits-Pluralismus beleuchtet. Das erste Beispiel, ein astronomisches, zeigt in aller Ausführlichkeit, auf welche Weise Wirklichkeit entstehen kann. Dann ist von anderen (...) naturwissenschaftlichen Wirklichkeiten die Rede, vom Licht und von der Farbe sowie von einer fremden heilkundlichen Wirklichkeit. Ein zentrales Anliegen von Gerhard Fasching ist ein Denken, welches in einen Wirklichkeitspluralismus mündet. Unser monokulturelles Wirklichkeitsverständnis hat nämlich schon viele Wirklichkeiten unserer eigenen Kultur und fremder Kulturen missachtet und dadurch verloren. Unser humanistisches Weltbild benötigt also ein breiteres Fundament. Das Buch findet zu einem überraschenden Ergebnis: Man selbst gehört nicht zur Wirklichkeit, sondern man steht stets außerhalb jeder Wirklichkeit. GERHARD FASCHING. Geb. 1933 in Wien, Univ.-Prof. Dipl.-Ing. Dr. techn., 1966 Habilitation, seit 1970 Ordinarius an der Technischen Universität Wien, Österreich. Er hält Vorlesungen über Aufbau und Eigenschaften der Materie und über Fragen der Erkenntnistheorie. HANS-PETER DÜRR. Em. Univ.-Prof., Direktor em. am Max-Planck-Institut für Physik, München, Deutschland. Träger des Alternativen Nobelpreises. (shrink)

The "Essentials of Gestalt Theoretical Psychotherapy" offer for the first time in English an insight into the guiding ideas of this integrative psychotherapy method, which is consistently anchored in Gestalt psychology (and in this respect also differs substantially from most streams of Gestalt therapy, with which it should not be confused). The anthology includes ten contributions by authors from Austria, Italy, Germany and the USA. These deal with fundamental questions and concepts of any psychotherapy: The role and meaning of consistency (...) in practical life and in psychotherapy; the question of human epistemic possibilities and an epistemology appropriate for psychotherapy; the personality theory of Gestalt Theoretical Psychotherapy; the basic principles of therapeutic relationship and practice; the role of emotions in the example of phenomenal causality of feelings; the task of diagnostics in Gestalt Theoretical Psychotherapy; a clinical example related to anorexia; Gestalt psychological viewpoints for therapy progress; the role of relational determination in intrapsychic and interpersonal experience. (shrink)

Od radykalnego przekładu do radykalnej interpretacji – Quine, Davidson i coś jeszcze Ponad trzydzieści lat począwszy od roku 1970 filozofia Willarda Van Ormana Quine'a i Donalda Davidsona stanowiła dominujący nurt w teorii interpretacji, epistemologii i ontologii. Rekonstruując i analizując tę tradycję w pierwszym kroku zarysowuję zwrot Quine'a od teorii znaczenia ku teorii przekładu. Jest to jednocześnie zwrot w stronę naturalizacji epistemologii, post-empiryzmu w teorii znaczenia i radykalnego przekładu oraz jego teorii bazowej. Post-empiryzm w teorii znaczenia głosi, że przekonania i inne (...) postawy propozycjonalne są nierozerwalnie połączone ze znaczeniem. Epistemologia znaturalizowana twierdzi natomiast, że owo połączenie pęka, jeśli wprowadzi się koncepcję znaczenia jako bodźca. Jednak, jak będę argumentował kolejnym kroku, znaczenie jako bodziec nie wyjaśnia epistemicznych warunków radykalnego przekładu. Następnie, po analizie koncepcji radykalnego przekładu Quine'a przejdę do koncepcji radykalnej interpretacji Davidsona. Przeprowadzę analizę przebudowy modelu radyklanego przekładu na model radykalnej interpretacji, przy jednoczesnym odrzuceniu jego teorii bazowe. W koncepcji Davidsona szczególnie interesujące jest to, czy teoria znaczenia oparta na warunkach prawdziwości oraz zastosowanie zasady życzliwości jako warunków każdej interpretacji mogą załatać epistemiczną przepaść. Zostanie tu wykazane, że wypowiedzi nadawcy nie mogą być rozumiane przez zastosowanie zasady życzliwości jako ogólnego warunku radykalnej interpretacji. Na końcu swoich rozważań zaproponuję alternatywne ramy dla modelu radykalnej interpretacji. (shrink)

This paper deals with: (i) the theory $\mathrm{ID}^{\tt\#}_1$ which results from $\widehat{\mathrm{ID}}_1$ by restricting induction on the natural numbers to formulas which are positive in the fixed point constants, (ii) the theory $\mathrm{BON}(\mu)$ plus various forms of positive induction, and (iii) a subtheory of Peano arithmetic with ordinals in which induction on the natural numbers is restricted to formulas which are $\Sigma$ in the ordinals. We show that these systems have proof-theoretic strength $\varphi\omega 0$.