This book is conceived as an introductory text into the theory of syntactic and semantic information, and information flow.

This book gives an overview of paraconsistent logics - that is logics which allow for inconsistency. Although allowing for inconsistency, paraconsistent logics are worth considering: Logical systems are worth considering in their own right since we can learn about very abstract structural properties of logics and the concepts employed within them such as negation, necessity and consistency. Some non-classical logics are especially of interest from a philosophical perspective since they alone offer the possibility of solving or even stating some philosophical (...) problems. These introductory lectures argue from a philosophical perspective that some paraconsistent logics are of interest or even the best candidates for dealing with specific philosophical problems. Although logic is seen from the point of view of its philosophical use, various formal systems are described, compared and employed. (shrink)

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. (shrink)

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. (shrink)

I consider here several versions of finitism or conceptions that try to work around postulating sets of infinite size. Restricting oneself to the so-called potential infinite seems to rest either on temporal readings of infinity (or infinite series) or on anti-realistic background assumptions. Both these motivations may be considered problematic. Quine’s virtual set theory points out where strong assumptions of infinity enter into number theory, but is implicitly committed to infinity anyway. The approaches centring on the indefinitely large and the (...) use of schemata would provide a work-around to circumvent usage of actual infinities if we had a clear understanding of how schemata work and where to draw the conceptual line between the indefinitely large and the infinite. Neither of this seems to be clear enough. Versions of strict finitism in contrast provide a clear picture of a (realistic) finite number theory. One can recapture standard arithmetic without being committed to actual infinities. The major problem of them is their usage of a paraconsistent logic with an accompanying theory of inconsistent objects. If we are, however, already using a paraconsistent approach for other reasons (in semantics, epistemology or set theory), we get finitism for free. This strengthens the case for paraconsistency. (shrink)

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. (shrink)

The debate around “strong” paraconsistency or dialetheism (the view that there are true contradictions) has – apart from metaphysical concerns - centred on the questions whether dialetheism itself can be definitely asserted or has a unique truth value, and what it should mean, if it is possible at all, to believe a contradiction one knows to be contradictory (i.e. an explicit contradiction). And what should it mean, if it is possible at all, to assert a sentence one knows to be (...) contradictory? (shrink)

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. (shrink)

This paper looks at some aspects of semantic metarepresentation. It is mostly concerned with questions more formal, concerning the representation format in semantic metarepresentations, and the way they are processed. Section 1 distinguishes between metacognition and metarepresentation in a narrow and broad sense. Section 2 reminds the reader of some main areas where metarepresentations have to be used. The main part considers the ways that metarepresentations are built and processed. Section 3 introduces some general ideas how semantic metarepresentations are built (...) and processed. Section 4 looks at some recent theories about ways that semantic metarepresentations are built and processed. (shrink)

The book discusses the fate of universality and a universal set in several set theories.

Within the philosophy of logic there has been an old debate about strengths and weaknesses of so-called “deviant” logics, as compared to standard logic (i.e. First Order Logic with Identity). With the development of a multitude of many-valued and modal logical systems and the various ways they can be employed in various fields of philosophy, linguistics and computer science, former “deviant” logics have become well accepted. Nowadays we seem to have a new and almost contrary debate about whether there is (...) any universal logic at all or only a multitude of systems: logical pluralism. But what does logical pluralism claim? In this paper one prominent version of logical pluralism is the main target of further questions. (shrink)

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. (shrink)

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. (shrink)

In our dealings with our pets, and larger animals in general, at least most of us see them as conscious beings. We say “the cat feels pain” ascribing sensation. We notice “My cat wants to get in the kitchen because she thinks there is some cheese left” ascribing beliefs and desires. Explanations likes these can be employed on a variety of occasions, and usually we are content with what they say. We seem to understand why our cat is doing what (...) she does. 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. Clever as they are none of my cats has the concept of kitchen , because a kitchen is – roughly – a functional part of an artificial dwelling (a house). Since cats do not built houses and do not prepare their food, the place the cat is walking into cannot be conceptualized by the cat as kitchen . Even the concept of cheese in its generality (made out of goat or cow milk, or camel milk …) is beyond the cat. So when we say what our cat believes and wishes we use our concept, in fact express a belief that a human being might have in a similar situation. What, then, does the cat have? Does a cat have beliefs? Or at least something like beliefs? (shrink)

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. (shrink)

There are positive and negative lessons from Sartre: - Taking up some of his ideas one may arrive at a better model of consciousness in the analytic philosophy of mind; representing some of his ideas within the language and the models of a functionalist theory of mind makes them more accessible and inte¬grates them into the wider picture. - Sartre, as any philosopher, errs at some points, I believe; but these errors may be instruc¬tive, especially in as much as they (...) mirror some errors in some current theories of consciousness. This paper, therefore, is not a piece of Sartre scholarship, but an attempt of a “friendly take¬over” of some ideas I ascribe to Sartre into current models in the philosophy of mind. (shrink)

The paper discusses which modal principles should hold for a truth operator answering to the truth theory of internal realism. It turns out that the logic of truth in internal realism is isomorphic to the modal system S4.

In this talk I consider two problems for conceptual atomism. Conceptual atomism can be defended against the criticism that it seems to contend that all concepts are simply innate (even technical concepts to pre-technological humanoids) by specifying the innateness thesis as one of mechanisms of hooking up mental representations (concepts as language of thought types) to properties in the world (§1). This theory faces a problem with non-referring expressions/concepts, it seems. Conceptual atomism can, however, deal with non-referring expressions/concepts (§2). Hooking (...) up concepts with properties raises, further on, broader metaphysical problems of making concepts correspond to (natural) properties. These questions are much harder to answer (§3). (shrink)

Die in Wittgensteins Anfangsthesen des Tractatus formulierte Ansicht, daß Tatsachen die Bausteine der Welt ausmachen, kann auch so interpretiert werden, daß Tatsachen physische Entitäten sind. Die These von der physischen Existenz von Tatsachen wird in der analytischen Philosophie jedoch weitgehend abgelehnt. Hier wird hingegen versucht, diese Position als Tatsachen-Ontologie kohärent zu entwickeln. Vorzüge diese Position wären u.a. eine elegante Deutung der Vielheit verschiedener wahrer Aussagen, eine gute Basis fur eine Korrespondenztheorie der Wahrheit, Referenz auf strukturierte Raum-Zeit-Bereiche, sie wäre Baustein einer (...) realistischen Situationslogik und könnte eine Lösung für David Lewis' Problem der Einermengen liefern. (shrink)

Conceptual atomism of this type is incompatible with many other semantic approaches. One of these approaches is justificationist semantics. This book assumes conceptual atomism.

The book aims to set out in which respects concepts are properly studied in philosophy, what methodological role the study of concepts has in philoso-phy's study of the world. Many of the considerations in this book nowadays are placed under the headline ‘metaphilosophy’. In contrast to paradigmatic ordinary language philosophy the book endorses a representationalist theory of meaning and concepts, thus agreeing with many of its critics in philosophy and the cognitive sciences. In contrast to many of these critics and (...) supposedly the majority of cognitive scientists it endorses the viability of conceptual analysis as one method of philosophy. The book reflects on Frege's theory of concepts, because Frege's theory of sentential unity has barely been super-seded, and the problems arising from Frege's understanding of concepts are still alive. The central part of the book starts by reconsidering the approach and the idea of ordinary language philosophy. Although ordinary language philosophy cannot be the whole of analytic philosophy a proper understanding of conceptual analysis turns out to be one part of analytic philosophy. (shrink)

This paper looks at some aspects of semantic metarepresentation. It is mostly concerned with questions more formal, concerning the representation format in semantic metarepresentations, and the way they are processed. §1 distinguishes between metacognition and metarepresentation in a narrow and broad sense. §2 reminds the reader of some main areas where metarepresentations have to be used. The main part considers the ways that metarepresentations are built and processed. §3 introduces some general ideas how semantic metarepresentations are built and processed. §4 (...) looks at some recent theories about ways that semantic metarepresentations are built and processed. (shrink)

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? (shrink)