Edwin Mares seeks to make 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, accessible to students.
This paper sets out a philosophical interpretation of the model theory of Mares and Goldblatt (The Journal of Symbolic Logic 71, 2006). This interpretation distinguishes between truth conditions and information conditions. Whereas the usual Tarskian truth condition holds for universally quantified statements, their information condition is quite different. The information condition utilizes general propositions . The present paper gives a philosophical explanation of general propositions and argues that these are needed to give an adequate theory of general information.
The quantified relevant logic RQ is given a new semantics in which a formula ∀xA is true when there is some true proposition that implies all x-instantiations of A. Formulae are modelled as functions from variable-assignments to propositions, where a proposition is a set of worlds in a relevant model structure. A completeness proof is given for a basic quantificational system QR from which RQ is obtained by adding the axiom EC of 'extensional confinement': ∀x(A V B) → (A V (...) ∀xB), with x not free in A. Validity of EC requires an additional model condition involving the boolean difference of propositions. A QR-model falsifying EC is constructed by forming the disjoint union of two natural arithmetical structures in which negation is interpreted by the minus operation. (shrink)
This paper sets out two semantics for the relevant logic R based on Dunn's four-valued semantics for first-degree entailments. Unlike Routley's semantics for weak relevant logics, they do not use two ternary accessibility relations. Unlike Restall's semantics, they capture all of R. But there is a catch. Both of the present semantics are neighbourhood semantics, that is, they include sets of propositions in the specification of their frames.
This book introduces the reader to relevant logic and provides it with a philosophical interpretation. The defining feature of relevant logic is that it forces the premises of an argument to be really used ('relevant') in deriving its conclusion. The logic is placed in the context of possible world semantics and situation semantics, which are then applied to provide an understanding of the various logical particles (especially implication and negation) and natural language conditionals. The book ends by examining various applications (...) of relevant logic and presenting some interesting open problems. It will be of interest to a range of readers including advanced students of logic, philosophical and mathematical logicians, and computer scientists. (shrink)
This paper presents a theory of belief revision that allows people to come tobelieve in contradictions. The AGM theory of belief revision takes revision,in part, to be consistency maintenance. The present theory replacesconsistency with a weaker property called coherence. In addition to herbelief set, we take a set of statements that she rejects. These two sets arecoherent if they do not overlap. On this theory, belief revision maintains coherence.
RGLis a version of the modal logic GLbased on the relevant logic R. It is shown that the class of RKframes that verify all theorems of RGLalso verify a scheme that we call (!). If RGLhas (!) as a theorem, however, it is not a relevant logic. I go on to show that not all instances of (!) are theorems of RGL, hence this logic is not complete over any class of RKframes.
In "Doing Well Enough: Toward a Logic for Common Sense Morality", Paul McNamara sets out a semantics for a deontic logic which contains the operator It is supererogatory that. As well as having a binary accessibility relation on worlds, that semantics contains a relative ordering relation, . For worlds u, v and w, we say that u w v when v is at least as good as u according to the standards of w. In this paper we axiomatize logics complete (...) over three versions of the semantics. We call the strongest of these logics DWE for Doing Well Enough. (shrink)
This paper provides an interpretation of the Routley-Meyer semantics for a weak negation-free relevant logic using Israel and Perry's theory of information. In particular, Routley and Meyer's ternary accessibility relation is given an interpretation in information-theoretic terms.
The purpose of this paper is to show that semantics for relevance logic, based on the Routley-Meyer semantics, can be given without using the Routley star operator to treat negation. In the resulting semantics, negation is treated implicationally. It is shown that, by the use of restrictions on the ternary accessibility relation, simplified by the use of some definitions, a semantics can be stipulated over which R is complete.
In this paper we set out a semantics for relevant (counterfactual) conditionals. We combine the Routley-Meyer semantics for relevant logic with a semantics for conditionals based on selection functions. The resulting models characterize a family of conditional logics free from fallacies of relevance, in particular counternecessities and conditionals with necessary consequents receive a non-trivial treatment.
We show that the implicational fragment of intuitionism is the weakest logic with a non-trivial probabilistic semantics which satisfies the thesis that the probabilities of conditionals are conditional probabilities. We also show that several logics between intuitionism and classical logic also admit non-trivial probability functions which satisfy that thesis. On the other hand, we also prove that very weak assumptions concerning negation added to the core probability conditions with the restriction that probabilities of conditionals are conditional probabilities are sufficient to (...) trivialize the semantics. (shrink)
The sentential logic S extends classical logic by an implication-like connective. The logic was first presented by Chellas as the smallest system modelled by contraining the Stalnaker-Lewis semantics for counterfactual conditionals such that the conditional is effectively evaluated as in the ternary relations semantics for relevant logics. The resulting logic occupies a key position among modal and substructural logics. We prove completeness results and study conditions for proceeding from one family of logics to another.
This paper presents ConR (Conditional R), a logic of conditionals based on Anderson and Belnap''s system R. A Routley-Meyer-style semantics for ConR is given for the system (the completeness of ConR over this semantics is proved in E. Mares and A. Fuhrmann, A Relevant Theory of Conditionals (unpublished MS)). Moreover, it is argued that adopting a relevant theory of conditionals will improve certain theories that utilize conditionals, i.e. Lewis'' theory of causation, Lewis'' dyadic deontic logic, and Chellas'' dyadic deontic logic.
The LogicR4 is obtained by adding the axiom (A vB(AvB) to the modal relevant logicNR. We produce a model theory for this logic and show completeness. We also show that there is a natural embedding of a Kripke model forS4 in eachR4 model structure.
Models are constructed for a variety of systems of quantified relevance logic with identity. Models are given for systems with different principles governing the transitivity of identity and substitution, and the relative merits of these principles are discussed. The models in this paper are all extensions of the semantics of Fine's Semantics for Quantified Relevance Logic (Journal of Philosophical Logic 17 (1988)).