Studia Logica 108 (4):751-778 (2020)

Ted Shear
University of Colorado, Boulder
John Quiggin
University of Queensland
Justification logics are a family of modal logics whose non-normal modalities are parametrised by a type-theoretic calculus of terms. The first justification logic was developed by Sergei Artemov to provide an explicit modal logic for arithmetical provability in which these terms were taken to pick out proofs. But, justification logics have been given various other interpretations as well. In this paper, we will rely on an interpretation in which the modality \ is read ‘S accepts \ as justification for \’. Since it is often important to specify just how much confidence agents have in propositions on the basis of justifications, the logic will need to be extended if it is to provide a sufficiently general account. The primary purpose of this paper is to extend justification logic with the expressive resources to needed to do so. Thus, we will construct the justification logic with confidence ). While \ will be extremely general, capable of accommodating a wide range of interpretations, we provide motivation in terms of the notion of confidence deriving recent work by Paul and Quiggin :363–382, 2018). Under this understanding, confidence must only correspond to a partial ordering. We axiomatise \ and provide a sound and complete semantics.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/s11225-019-09874-1
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,231
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

Risk and Rationality.Lara Buchak - 2013 - Oxford University Press.
A Mathematical Theory of Evidence.Glenn Shafer - 1976 - Princeton University Press.
How to Be a Fallibilist.Stewart Cohen - 1988 - Philosophical Perspectives 2:91-123.
Contemporary Theories of Knowledge.John Pollock - 1986 - British Journal for the Philosophy of Science 39 (1):131-140.
Knowledge and Evidence.Paul K. Moser - 1989 - Cambridge University Press.

View all 23 references / Add more references

Citations of this work BETA

Real World Problems.L. A. Paul & John Quiggin - 2018 - Episteme 15 (3):363-382.

Add more citations

Similar books and articles

Probabilistic Justification Logic.Joseph Lurie - 2018 - Philosophies 3 (1):2-0.
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.
The Topology of Justification.Sergei Artemov & Elena Nogina - 2008 - Logic and Logical Philosophy 17 (1-2):59-71.
Labeled Sequent Calculus for Justification Logics.Meghdad Ghari - 2017 - Annals of Pure and Applied Logic 168 (1):72-111.
The Logic of Justification.Sergei Artemov - 2008 - Review of Symbolic Logic 1 (4):477-513.
Pavelka-Style Fuzzy Justification Logics.Meghdad Ghari - 2016 - Logic Journal of the IGPL 24 (5):743-773.
Justifications for Common Knowledge.Samuel Bucheli, Roman Kuznets & Thomas Studer - 2011 - Journal of Applied Non-Classical Logics 21 (1):35-60.
A New Framework for Justification Logic.Alessandro Giordani - 2015 - Journal of Applied Non-Classical Logics 25 (4):308-323.
Tracking Reasons with Extensions of Relevant Logics.Shawn Standefer - 2019 - Logic Journal of the IGPL 27 (4):543-569.


Added to PP index

Total views
22 ( #515,459 of 2,518,150 )

Recent downloads (6 months)
3 ( #206,034 of 2,518,150 )

How can I increase my downloads?


My notes