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 lecturers 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.

This book is conceived as an introductory text into the theory of syntactic and semantic information, and information flow. Syntactic information theory is concerned with the information contained in the very fact that some signal has a non-random structure. Semantic information theory is concerned with the meaning or information content of messages and the like. The theory of information flow is concerned with deriving some piece of information from another. The main part will take us to situation semantics as a foundation of modern approaches in information theory. We give a brief overview of the background theory and then explain the concepts of information, information architecture and information flow from that perspective.

The book discusses the fate of universality and a universal set in several set theories. The book aims at a philosophical study of ontological and conceptual questions around set theory. Set theories are ontologies. They posit sets and claim that these exhibit the essential properties laid down in the set theoretical axioms. Collecting these postulated entities quantified over poses the problem of universality. Is the collection of the set theoretical entities itself a set theoretical entity? What does it mean if it is, and what does it mean if it is not? To answer these questions involves developing a theory of the universal set. We have to ask: Are there different aspects to universality in set theory, which stand in conflict to each other? May inconsistency be the price to pay to circumvent ineffability? And most importantly: How far can axiomatic ontology take us out of the problems around universality?

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."