Manuel Bremer

The paper argues against a commitment to metaphysical necessity, semantic modalities are enough. The best approaches to elucidate the semantic modalities are (still) versions of lingustic ersatzism and fictionalism, even if only developed in parts. Within these necessary properties and the difference between natural and semantic laws can be accounted for. The proper background theory for this is an updated version of Logical Empiricism, which is congenial to recent trends in Structural Realism. The anti-metaphysical attitude of Logical Empiricism deserves revitalization. Another target besides metaphysical necessity are substantial forms of iterated modalities, as used, for instance, in the philosophy of religion.

Was ist Philosophische Semantik? Bedarf es neben der Linguistik uberhaupt noch einer "philosophischen" Semantik? Welche Rolle spielt diese Semantik fur die Philosophie im Allgemeinen? Welche methodische Rolle spielt die Klarung von "Bedeutung" fur die Sprachanalytische Philosophie? Tritt die philosophische Semantik an die Stelle der Erkenntnistheorie? In welchem Verhaltnis steht sie zur Ontologie und zur Philosophie des Geistes? Diesen Fragen geht das vorliegende Buch nach. In einem zentralen Verstandnis von Philosophischer Semantik ist das Wesentliche die Beziehung zwischen Bedeutungstheorie und Erkenntnistheorie (vermittels der Rechtfertigung von Satzverwendungen). Eine so verstandene Semantik hat z.T. einen eigenen Ansatz, der einen zentralen Stellenwert fur eine Philosophie in der Analytischen Tradition besitzt. Man kann diese Philosophische Semantik als eine "Erste Philosophie" ansehen."

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 metarepresen- tation 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 metarep- resentations are built and processed.

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.

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.

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.