Manuel Bremer

The following essay reconsiders the ontological and logical issues around Frege’s Basic Law (V). If focuses less on Russell’s Paradox, as most treatments of Frege’s Grundgesetze der Arithmetik (GGA)1 do, but rather on the relation between Frege’s Basic Law (V) and Cantor’s Theorem (CT). So for the most part the inconsistency of Naïve Comprehension (in the context of standard Second Order Logic) will not concern us, but rather the ontological issues central to the conflict between (BLV) and (CT). These ontological issues are interesting in their own right. And if and only if in case ontological considerations make a strong case for something like (BLV) we have to trouble us with inconsistency and paraconsistency. These ontological issues also lead to a renewed methodological reflection what to assume or recognize as an axiom.

Traditionally transcendental logic has been set apart from formal logic. Transcendental logic had to deal with the conditions of possibility of judgements, which were presupposed by formal logic. Defined as a purely philosophical enterprise transcendental logic was considered as being a priori delivering either analytic or even synthetic a priori results. In this paper it is argued that this separation from the (empirical) cognitive sciences should be given up. Transcendental logic should be understood as focusing on specific questions. These do not, as some recent analytic philosophy has it, include a refutation of scepticism. And they are not to be separated from meta-logical investigations. Transcendental logic properly understood, and redefined along these theses, should concern itself with the (formal) re-construction of the presupposed necessary conditions and rules of linguistic communication in general. It aims at universality and reflexive closure.

In our dealings with animals at least most of us see them as conscious beings. On the other hand the employment of human categories to animals seems to be problematic. Reflecting on the details of human beliefs, for example, casts serious doubt on whether the cat is able to believe anything at all. These theses try to reflect on methodological issues when investigating animal minds. Developing a theory of animal mentality seems to be a test case of the interdisciplinary research programme in cognitive science. From the philosopher`s perspective the most pressing problem is how to talk about animal minds. Can we just employ the vocabulary of human psychology? If not, exploring animal minds contains the non-trivial task of introducing a terminology that allows to see the distinctness of animal minds and to see its connection to the human case. The treatment of some topic in cognitive science has to reach a reflective equilibrium between our intuitions, a phenomenological approach, philosophical conceptual analysis, various empirical approaches and model building. Reflective equilibrium means in this context that we have to reach a coherent model which incorporates as much of our intuitions concerning animal consciousness and integrates at the same time the findings of the different co-operating sciences. There can be various trade-offs in case of conflict between, say, philosophical definitions of mental terms as to be applied to animals, neurophysiology, our reflected intuitions and ethological model building based on a computational theory of animal minds. The paper gives an example of reflective equilibrium in discussing the case for awareness in vertebrates. It considers the role of evolutionary reasoning. The main focus lays on two examples of comparing our human notions with corresponding abilities in animals, and how an appropriate conceptual apparatus dealing with the abilities of animals could be introduced.

This essay characterizes a version of internal realism. In §1 I will argue that for semantical reasons we should be realists of a strong kind. In §2 I plead for an internalistic setting of realism starting from the thesis that truth is, at least, not a non-epistemic concept. We have to bear the consequences of this in form of a more complicated concept of truth. The ‘internal’ of ‘internal realism’ points to the justification aspect of truth. The ‘realism’ of ‘internal realism’ points to the correspondence aspect. A thesis concerning the irreducibility of the two aspects will be established in §3.

Kant spricht bezüglich der Widerlegung des Idealismus von einem „Beweis”. Das ist sicher der höchste Status, den er bereit ist, einem Argument zuzuschreiben. Diese Notiz hier soll zeigen, daß Kant diesen Anspruch zu Recht erhebt. Dazu reicht eine an der sprachlichen Oberflächenstruktur orientierte Formalisierung. Nun hat Kant natürlich die moderne Prädikatenlogik nicht gekannt, aber für den Gebrauch dieser Logik und ein dem gemäßes Räsonieren bedarf es bekanntlich ja auch nicht der ausdrücklichen Kenntnis eines entsprechenden Kalküls. Es reicht aus, daß es mindestens eine Formalisierung gibt, in die sich Kants Argument bringen läßt, um zu zeigen, daß es formal schlüssig ist.

This essay deals with the concept of truth in the context of a version of internal realism. In §1 I define some variants of realism using a set of realistic axioms. In §2 I will argue that for semantical reasons we should be realists of some kind. In §3 I plead for an internalistic setting of realism starting from the thesis that truth is, at least, not a non-epistemic concept. We have to bear the consequences of this in form of a more complicated concept of truth. The "internal" of "internal realism" points to the justification aspect of truth. The "realism" of "internal realism" points to the correspondence aspect. A thesis concerning the irreducibility of the two aspects will be established in §4.