Manuel Bremer

The paper deals with the question whether logical truth carry information. On the one hand it seems that we gain new information by drawing inferences or arriving at some theorems. On the other hand the formal accounts of information and information content which are most widely known today say that logical truth carry no information at all. The latter is shown by considering these accounts. Then several ways to deal with the dilemma are distinguished, especially syntactic and ontological solutions. A version of a syntactical solution is favoured.

A theory of the beliefs of non-human animals is not closed to us, only because we do not have beliefs of their kind. Starting from a theory of human beliefs and working on a building block model of propositional attitudes a theory of animal beliefs is viable. Such a theory is an example of the broader conception of a heterophenomenological approach to animal cognition. The theory aims at outlining the crucial differences between human and animal beliefs as well as the relations between these attitudes and theories of them. By this it contributes both to a theory of human cognition and to a theory of the evolutionary origin of human cognition. The capacities of animals can thus be appreciated without making animals minor humans. Human cognition can be seen in its uniqueness without cutting the ties to its evolutionary origin.

In the first part the paper rehearses the main arguments why to be a dialetheist (i.e. why to assume that some contradictions are true). Dialetheism, however, has been criticised as irrational or self-refutating. Therefore the second part of the paper outlines one way to make dialetheism rational assertable. True contradictions turn out to be both believable and assertable. The argument proceeds by setting out basic principles of assertion and denial, and employing bivalent truth value operators.

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.

In the last twenty years analytic philosophy has seen a rising interest in the philosophy of religion in general and in rational reconstructions of religion related arguments and Christian doctrines. In this short note I like to point to a problem that although cosmological arguments play a great role in the present discussion has not received the attention, I believe, it deserves.[1] An old objection to cosmological arguments, named “the Carriage Objection” by Schopenhauer[2], charges them as being arbitrary: the arguments are employed to carry you to the existence of God, but no further (as the carriage carries you to some destination to be dismissed then, therefore the name of the objection). A simple cosmological argument claims the existence of the universe to require explanation, and offers God as the cause of the universe. The Carriage Objection now asks why the principle of sufficient explanation that carried the argument forth to God will not carry us on to a sufficient explanation of God, and then on – ad infinitum . The regress is considered to be vicious. If one was to accept some brute fact (like the existence of God) then why not stop with the brute fact of the existence of the universe?

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

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

A theory of the beliefs of non-human animals is not closed to us, only because we do not have beliefs of their kind. Starting from a theory of human beliefs and working on a building block model of propositional attitudes a theory of animal beliefs is viable. Such a theory is an example of the broader conception of a heterophenomenological approach to animal cognition. The theory aims at outlining the crucial differences between human and animal beliefs as well as the relations between these attitudes and theories of them. By this it contributes both to a theory of human cognition and to a theory of the evolutionary origin of human cognition. The capacities of animals can thus be appreciated without making animals minor humans. Human cognition can be seen in its uniqueness without cutting the ties to its evolutionary origin.

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.

With their book Logical Pluralism, Jc Beall and Greg Restall have elaborated on their previous statements on logical pluralism. Their view of logical pluralism is centred on ways of understanding logical consequence. The essay tries to come to grips with their doctrine of logical pluralism by highlighting some points that might be made clearer, and questioning the force of some of Beall’s and Restall’s central arguments. In that connection seven problems for their approach are put forth: (1) The Informal Common Core Problem, (2) The Formal Common Core Problem, (3) The Superior Judge Problem, (4) The Problem of the Conditional, (6) The Problem of an Unsettled Concept of Consequence, (7) The Methodological Problem, (8) The General Logical Form Problem. It seems that the case for logical pluralism is far from clear. It is even unclear what exactly logical pluralism is and where is stops. It is also unclear if logical pluralism could be stated as it is, if it were true. So far universalism seems to be the better position to take