Manuel Bremer

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.

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.

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.

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.

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.

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)

In his recent paper in History and Philosophy of Logic, John Kearns argues for a solution of the Liar paradox using an illocutionary logic (Kearns 2007 ). Paraconsistent approaches, especially dialetheism, which accepts the Liar as being both true and false, are rejected by Kearns as making no ?clear sense? (p. 51). In this critical note, I want to highlight some shortcomings of Kearns' approach that concern a general difficulty for supposed solutions to (semantic) antinomies like the Liar. It is not controversial that there are languages which avoid the Liar. For example, the language which consists of the single sentence ?Benedict XVI was born in Germany? lacks the resources to talk about semantics at all and thus avoids the Liar. Similarly, more interesting languages such as the propositional calculus avoid the Liar by lacking the power to express semantic concepts or to quantify over propositions. Kearns also agrees with the dialetheist claim that natural languages are semantically closed (i.e. are able to talk about their sentences and the semantic concepts and distinctions they employ). Without semantic closure, the Liar would be no real problem for us (speakers of natural languages). But given the claim, the expressive power of natural languages may lead to the semantic antinomies. The dialetheist argues for his position by proposing a general hypothesis (cf. Bremer 2005 , pp. 27?28): ?(Dilemma) A linguistic framework that solves some antinomies and is able to express its linguistic resources is confronted with strengthened versions of the antinomies?. Thus, the dialetheist claims that either some semantic concepts used in a supposed solution to a semantic antinomy are inexpressible in the framework used (and so, in view of the claim, violate the aim of being a model of natural language), or else old antinomies are exchanged for new ones. One horn of the dilemma is having inexpressible semantic properties. The other is having strengthened versions of the antinomies, once all semantic properties used are expressible. This dilemma applies, I claim, to Kearns' approach as well

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.

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.

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.