Philosophies 3 (1):2-0 (2018)

Authors
Joseph Andrew Lurie
University of Connecticut
Abstract
Justification logics are constructive analogues of modal logics. They are often used as epistemic logics, particularly as models of evidentialist justification. However, in this role, justification logics are defective insofar as they represent justification with a necessity-like operator, whereas actual evidentialist justification is usually probabilistic. This paper first examines and rejects extant candidates for solving this problem: Milnikel’s Logic of Uncertain Justifications, Ghari’s Hájek–Pavelka-Style Justification Logics and a version of probabilistic justification logic developed by Kokkinis et al. It then proposes a new solution to the problem in the form of a justification logic that incorporates the essential features of both a fuzzy logic and a probabilistic logic.
Keywords justification logic  probabilistic logic  fuzzy logic  evidentialism  modal logic
Categories (categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

The Logic of Paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219 - 241.
A Primer of Probability Logic.Ernest Adams - 1998 - Stanford: Csli Publications.
Explicit Provability and Constructive Semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.

View all 12 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Pavelka-Style Fuzzy Justification Logics.Meghdad Ghari - 2016 - Logic Journal of the IGPL 24 (5):743-773.
Temporal Justification Logic.S. Bucheli, M. Ghari & T. Studer - 2017 - Proceedings of the Ninth Workshop on Methods for Modalities (M4M9 2017), Indian Institute of Technology, Kanpur, India, 8th to 10th January 2017, Electronic Proceedings in Theoretical Computer Science 243, Pages 59–74.
Labeled Sequent Calculus for Justification Logics.Meghdad Ghari - 2017 - Annals of Pure and Applied Logic 168 (1):72-111.
Distributed Knowledge Justification Logics.Ghari Meghdad - 2014 - Theory of Computing Systems 55 (1):1--40.
The Logic of Justification.Sergei Artemov - 2008 - Review of Symbolic Logic 1 (4):477-513.
A New Framework for Justification Logic.Alessandro Giordani - 2015 - Journal of Applied Non-Classical Logics 25 (4):308-323.
Justification Logic, Inference Tracking, and Data Privacy.Thomas Studer - 2011 - Logic and Logical Philosophy 20 (4):297-306.
The Topology of Justification.Sergei Artemov & Elena Nogina - 2008 - Logic and Logical Philosophy 17 (1-2):59-71.
Relating Logics of Justification and Evidence.Igor Sedlár - 2014 - In Vít Punčochář & Michal Dančák (eds.), The Logica Yearbook 2013. College Publications. pp. 207-222.

Analytics

Added to PP index
2018-03-02

Total views
67 ( #140,608 of 2,343,167 )

Recent downloads (6 months)
10 ( #62,573 of 2,343,167 )

How can I increase my downloads?

Downloads

My notes