34 found
Sort by:
Disambiguations:
Edwin D. Mares [32]Edwin David Mares [2]
  1. Edwin D. Mares (2013). Information, Negation, and Paraconsistency. In. In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer. 43--55.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. David R. Gilbert & Edwin D. Mares (2012). Completeness Results for Some Two-Dimensional Logics of Actuality. Review of Symbolic Logic 5 (2):239-258.
    We provide a Hilbert-style axiomatization of the logic of , as well as a two-dimensional semantics with respect to which our logics are sound and complete. Our completeness results are quite general, pertaining to all such actuality logics that extend a normal and canonical modal basis. We also show that our logics have the strong finite model property and permit straightforward first-order extensions.
    No categories
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  3. Edwin David Mares (2011). A Priori. Acumen.
    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.
     
    My bibliography  
     
    Export citation  
  4. Edwin D. Mares (2009). General Information in Relevant Logic. Synthese 167 (2):343 - 362.
    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.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  5. Edwin D. Mares (2007). The Fact Semantics for Ramified Type Theory and the Axiom of Reducibility. Notre Dame Journal of Formal Logic 48 (2):237-251.
    This paper uses an atomistic ontology of universals, individuals, and facts to provide a semantics for ramified type theory. It is shown that with some natural constraints on the sort of universals and facts admitted into a model, the axiom of reducibility is made valid.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  6. Edwin D. Mares (2006). A Note on Aristotelian Theories. Logique Et Analyse 49:43-53.
     
    My bibliography  
     
    Export citation  
  7. Edwin D. Mares & Robert Goldblatt (2006). An Alternative Semantics for Quantified Relevant Logic. Journal of Symbolic Logic 71 (1):163-187.
    The quantified relevant logic RQ is given a new semantics in which a formula for all 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': for all x(A V (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  8. Edwin D. Mares (2004). “Four-Valued” Semantics for the Relevant Logic R. Journal of Philosophical Logic 33 (3):327-341.
    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.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  9. Edwin D. Mares (2004). Semantic Dialetheism. In Graham Priest, J. C. Beall & Bradley Armour-Garb (eds.), The Law of Non-Contradiction. Clarendon Press.
    No categories
     
    My bibliography  
     
    Export citation  
  10. Edwin David Mares (2004). Relevant Logic: A Philosophical Interpretation. Cambridge Univeristy Press.
    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 (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  11. Edwin D. Mares (2002). Review: Marcus Kracht, Maarten de Rijke, Heinrich Wansing, Michael Zakharyaschev, Advances in Modal Logic. [REVIEW] Bulletin of Symbolic Logic 8 (1):95-97.
  12. Edwin D. Mares (2002). Advances in Modal Logic, Volume 1, Edited by Kracht Marcus, de Rijke Maarten, Wansing Heinrich, and Zakharyaschev Michael, CSLI Lecture Notes, No. 87, Center for the Study of Language and Information, Stanford 1998, Also Distributed by Cambridge University Press, New York, Xvi+ 392 Pp. [REVIEW] Bulletin of Symbolic Logic 8 (1):95-97.
    Direct download  
     
    My bibliography  
     
    Export citation  
  13. Edwin D. Mares (2002). A Paraconsistent Theory of Belief Revision. Erkenntnis 56 (2):229 - 246.
    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.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  14. Edwin D. Mares & Robert K. Meyer (2001). Relevant Logics. In Lou Goble (ed.), The Blackwell Guide to Philosophical Logic. Blackwell Publishers. 280--308.
    No categories
     
    My bibliography  
     
    Export citation  
  15. Edwin D. Mares (2000). Ce is Not a Conservative Extension of E. Journal of Philosophical Logic 29 (3):263-275.
    The logic CE (for "Classical E") results from adding Boolean negation to Anderson and Belnap's logic E. This paper shows that CE is not a conservative extension of E.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  16. Edwin D. Mares (2000). Even Dialetheists Should Hate Contradictions. Australasian Journal of Philosophy 78 (4):503 – 516.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  17. Edwin D. Mares (2000). Truth and Meaning. Dialogue 39 (2):412-413.
     
    My bibliography  
     
    Export citation  
  18. Edwin D. Mares (2000). Truth and Meaning: An Introduction to the Philosophy of Language Kenneth Taylor Maiden, MA: Blackwell, 1998, Xv + 399 Pp., $27.95 Paper. [REVIEW] Dialogue 39 (02):412-.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  19. Edwin D. Mares (2000). The Incompleteness of RGL. Studia Logica 65 (3):315-322.
    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.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  20. Edwin D. Mares (1997). Who's Afraid of Impossible Worlds? Notre Dame Journal of Formal Logic 38 (4):516-526.
    A theory of ersatz impossible worlds is developed to deal with the problem of counterpossible conditionals. Using only tools standardly in the toolbox of possible worlds theorists, it is shown that we can construct a model for counterpossibles. This model is a natural extension of Lewis's semantics for counterfactuals, but instead of using classical logic as its base, it uses the logic LP.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  21. Edwin D. Mares & Paul McNamara (1997). Supererogation in Deontic Logic: Metatheory for DWE and Some Close Neighbours. [REVIEW] Studia Logica 59 (3):397-415.
    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 (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  22. Edwin D. Mares (1996). Relevant Logic and the Theory of Information. Synthese 109 (3):345 - 360.
    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.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  23. Edwin D. Mares (1996). Special-Issue Book Review. Philosophia Mathematica 4 (2):198-202.
  24. Edwin D. Mares (1995). A Star-Free Semantics for R. Journal of Symbolic Logic 60 (2):579 - 590.
    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.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  25. Edwin D. Mares (1995). A Star-Free Semantics for $Mathbf{R}$. Journal of Symbolic Logic 60 (2):579-590.
    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 $\mathbf{R}$ is complete.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  26. Edwin D. Mares & André Fuhrmann (1995). A Relevant Theory of Conditionals. Journal of Philosophical Logic 24 (6):645 - 665.
    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.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  27. Charles G. Morgan & Edwin D. Mares (1995). Conditionals, Probability, and Non-Triviality. Journal of Philosophical Logic 24 (5):455-467.
    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 (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  28. André Fuhrmann & Edwin D. Mares (1994). On S. Studia Logica 53 (1):75 - 91.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  29. Edwin D. Mares (1994). Why We Need a Relevant Theory of Conditionals. Topoi 13 (1):31-36.
    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.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  30. Edwin D. Mares (1993). Classically Complete Modal Relevant Logics. Mathematical Logic Quarterly 39 (1):165-177.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  31. Edwin D. Mares & Robert K. Meyer (1993). The Semantics Ofr. Journal of Philosophical Logic 22 (1):95 - 110.
    The Logic R4 is obtained by adding the axiom □(A v B) → (◇A v □B) to the modal relevant logic NR. We produce a model theory for this logic and show completeness. We also show that there is a natural embedding of a Kripke model for S4 in each R4 model structure.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  32. Edwin D. Mares (1992). Andersonian deontic logic. Theoria 58 (1):1-2.
    Translate to English
    | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  33. Edwin D. Mares (1992). Semantics for Relevance Logic with Identity. Studia Logica 51 (1):1 - 20.
    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)).
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  34. Edwin D. Mares & Robert K. Meyer (1992). The Admissibility of $\Gamma$ in ${\Rm R}4$. Notre Dame Journal of Formal Logic 33 (2):197-206.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation