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.

The volume contains the written versions of all papers given at the workshop, divided into five chapters and followed by Alvin Goldman's replies in the sixth.

According to the paradigm of adaptive rationality, successful inference and prediction methods tend to be local and frugal. As a complement to work within this paradigm, we investigate the problem of selecting an optimal combination of prediction methods from a given toolbox of such local methods, in the context of changing environments. These selection methods are called meta-inductive strategies, if they are based on the success-records of the toolbox-methods. No absolutely optimal MI strategy exists—a fact that we call the “revenge (...) of ecological rationality”. Nevertheless one can show that a certain MI strategy exists, called “AW”, which is universally long-run optimal, with provably small short-run losses, in comparison to any set of prediction methods that it can use as input. We call this property universal access-optimality. Local and short-run improvements over AW are possible, but only at the cost of forfeiting universal access-optimality. The last part of the paper includes an empirical study of MI strategies in application to an 8-year-long data set from the Monash University Footy Tipping Competition. (shrink)

Together with its introduction, Language, Mind and Epistemology examines Davidson's unified stance towards philosophy by joining American and European authors ...

The Diagnostic Understanding of Gestalt Theoretical Psychotherapy: In accordance with the basic thoughts of the Guideline, Gestalt Theoretical Psychotherapy acts on the conviction that diagnostic revelations and therapeutic change processes are inseparable. Even if each of them is related to different functions and thus to particular demands, an efficient patient support requires the professional and proper interplay of discovery and change processes throughout her therapy. Each new discovery is per se related to a change and may set off a series (...) of further changes, which may again trigger off new discoveries. As widely known, this may also happen when this whole process and this cause-and-effect-relation are neither intended, nor planned, nor insightfully administered or understood. The authors of the Guideline are, therefore, right to not only ascertain the fact that discovering and changing in psychotherapy are joint and intertwining processes, but also to postulate that the psychotherapist has to work on this intertwining process consciously and deliberately, guided by and in accordance with her particular scientific-methodological approach. Even in the diagnostic strand of psychotherapeutic work, Gestalt Theoretical psychotherapists let themselves be guided by the “characteristics of working at the living”, as they were elaborated by Wolfgang Metzger (1962) and transferred to psychotherapeutic applications by Hans-Jürgen P. Walter (1977) and his colleagues. Simultaneously, essential anthropological, epistemological and ethical home positions of Gestalt theory are concisely expressed therein. I am going to mention them briefly, reformulating them in reference to the diagnostic remit. By doing so, the accordance with the major viewpoints of the Guideline in the description of diagnostic processes in psychotherapy should become apparent. (shrink)

Einleitung. Die stellung des parlamentes und sein verhältnis zum individuum.--Die moderne demokratie und der gleichheitzbegriff.--Die gleichheit vor dem gesetz.--Das problem der gleichheit der staaten im bundesstaatsrect.

Robert Stalnaker has argued that mathematical information is information about the sentences and expressions of mathematics. I argue that this metalinguistic account is open to a variant of Alonzo Church's translation objection and that Stalnaker's attempt to get around this objection is not successful. If correct, this tells not only against Stalnaker's account of mathematical truths, but against any metalinguistic account of truths that are both necessary and informative.