It is argued that the preservation of truth by an inference relation is of little interest when premiss sets are contradictory. The notion of a level of coherence is introduced and the utility of modal logics in the semantic representation of sets of higher coherence levels is noted. It is shown that this representative role cannot be transferred to first order logic via frame theory since the modal formulae expressing coherence level restrictions are not first order definable. Finally, an inference (...) relation, calledyielding, is introduced which is intermediate between the coherence preservingforcing relation introduced elsewhere by the authors and the coherence destroying, inference relation of classical logic. (shrink)

In In Contradiction, Graham Priest shows, as clearly as anything like this can be shown, that it is coherent to maintain that some sentences can be both true and false at the same time. As a consequence, some contradictions are true, and an appreciation of this possibility advances our understanding of the nature of logic and language.

This paper first offers a standard modal extension of dialetheic logics that respect the normal semantics for negation and conjunction, in an attempt to adequately model absolutism, the thesis that there are true contradictions at metaphysically possible worlds. It is shown, however, that the modal extension has unsavoury consequences for both absolutism and dialetheism. While the logic commits the absolutist to dialetheism, it commits the dialetheist to the impossibility of the actual world. A new modal logic AV is then proposed (...) which avoids these unsavoury consequences by invalidating the interdefinability rules for the modal operators with the use of two valuation relations. However, while using AV carries no significant cost for the absolutist, the same isn't true for the dialetheist. Although using AV allows her to avoid the consequence that the actual world is an impossible world, it does so only on the condition that the dialetheist admits that she cannot give a dialetheic solution to all self-refe.. (shrink)

This dictionary introduces undergraduate and post-graduate students in philosophy, mathematics, and computer science to the main problems and positions in philosophical logic. Coverage includes not only key figures, positions, terminology, and debates within philosophical logic itself, but issues in related, overlapping disciplines such as set theory and the philosophy of mathematics as well. Entries are extensively cross-referenced, so that each entry can be easily located within the context of wider debates, thereby providing a valuable reference both for tracking the connections (...) between concepts within logic and for examining the manner in which these concepts are applied in other philosophical disciplines. Roy T. Cook is Assistant Professor in the Department of Philosophy at the University of Minnesota and an Associate Fellow at Arché, the Philosophical Research Centre for Logic, Language, Metaphysics and Epistemology at the University of St Andrews. He works primarily in the philosophy of logic, language, and mathematics, and has also published papers on seventeenth century philosophy. (shrink)

Book synopsis: The philosophy of modality investigates necessity and possibility, and related notions--are they objective features of mind-independent reality? If so, are they irreducible, or can modal facts be explained in other terms? This volume presents new work on modality by established leaders in the field and by up-and-coming philosophers. Between them, the papers address fundamental questions concerning realism and anti-realism about modality, the nature and basis of facts about what is possible and what is necessary, the nature of modal (...) knowledge, modal logic and its relations to necessary existence and to counterfactual reasoning. The general introduction locates the individual contributions in the wider context of the contemporary discussion of the metaphysics and epistemology of modality. (shrink)