Edwin Mares

In recent years many influential philosophers have advocated that philosophy is an a priori science. Yet very few epistemology textbooks discuss a priori knowledge at any length, focusing instead on empirical knowledge and empirical justification. As a priori knowledge has moved centre stage, the literature remains either too technical or too out of date to make up a reasonable component of an undergraduate course. Edwin Mares book aims to rectify this. This book seeks to make accessible to students the standard topics and current debates within a priori knowledge, including necessity and certainty, rationalism, empiricism and analyticity, Quine's attack on the a priori, Kantianism, Aristotelianism, mathematical knowledge, moral knowledge, logical knowledge and philosophical knowledge.

This paper extends the theory of situated inference from Mares to treat two weak relevant logics, B and DJ. These logics are interesting because they can be used as bases for consistent naïve theories, such as naïve set theory. The concepts of a situation and of information that are employed by the theory of situated inference are used to justify various aspects of these logics and to give an interpretation of the notion of set that is represented in the naïve set theories that are based on them.

This paper sets out a semantics for C.I. Lewis's logic S2 based on the ontology of his 1923 paper ‘Facts, Systems, and the Unity of the World’. In that article, worlds are taken to be maximal consistent systems. A system, moreover, is a collection of facts that is closed under logical entailment and conjunction. In this paper, instead of defining systems in terms of logical entailment, I use certain ideas in Lewis's epistemology and philosophy of logic to define a class of models in which systems are taken to be primitive elements but bear certain relations to one another. I prove soundness and completeness for S2 over this class of models and argue that this semantics makes sense of at least a substantial fragment of Lewis's logical theory.

There are a bewildering variety of ways the terms "realism" and "anti-realism" have been used in philosophy and furthermore the different uses of these terms are only loosely connected with one another. Rather than give a piecemeal map of this very diverse landscape, the authors focus on what they see as the core concept: realism about a particular domain is the view that there are facts or entities distinctive of that domain, and their existence and nature is in some important sense objective and mind-independent. The authors carefully set out and explain the different realist and anti-realist positions and arguments that occur in five key domains: science, ethics, mathematics, modality and fictional objects. For each area the authors examine the various styles of argument in support of and against realism and anti-realism, show how these different positions and arguments arise in very different domains, evaluate their success within these fields, and draw general conclusions about these assorted strategies. Error theory, fictionalism, non-cognitivism, relativism and response-dependence are taken as the most important positions in opposition to the realist and these are explored in depth. Suitable for advanced level undergraduates, the book offers readers a clear introduction to a subject central to much contemporary work in metaphysics, epistemology and philosophy of language.

Informational semantics were first developed as an interpretation of the model-theory of substructural (and especially relevant) logics. In this paper we argue that such a semantics is of independent value and that it should be considered as a genuine alternative explication of the notion of logical consequence alongside the traditional model-theoretical and the proof-theoretical accounts. Our starting point is the content-nonexpansion platitude which stipulates that an argument is valid iff the content of the conclusion does not exceed the combined content of the premises. We show that this basic platitude can be used to characterise the extension of classical as well as non-classical consequence relations. The distinctive trait of an informational semantics is that truth-conditions are replaced by information-conditions. The latter leads to an inversion of the usual order of explanation: Considerations about logical discrimination (how finely propositions are individuated) are conceptually prior to considerations about deductive strength. Because this allows us to bypass considerations about truth, an informational semantics provides an attractive and metaphysically unencumbered account of logical consequence, non-classical logics, logical rivalry and pluralism about logical consequence.