Switch to: References

Add citations

You must login to add citations.
  1. Anti-Realist Truth and Truth-Recognition.Gabriele Usberti - 2012 - Topoi 31 (1):37-45.
    I will be concerned with the following question: are there compelling arguments for postulating a distinction between the truth of a statement and the recognition of its truth, when truth is conceived along the lines of a suitable generalization of the intuitionistic idea that it should be characterized as the existence of a proof? I will argue that the distinction is not necessary within the conceptual framework of intuitionism by replying to two arguments to the contrary, one based on the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • The Ontology of Justifications in the Logical Setting.Sergei N. Artemov - 2012 - Studia Logica 100 (1-2):17-30.
    Justification Logic provides an axiomatic description of justifications and delegates the question of their nature to semantics. In this note, we address the conceptual issue of the logical type of justifications: we argue that justifications in the logical setting are naturally interpreted as sets of formulas which leads to a class of epistemic models that we call modular models . We show that Fitting models for Justification Logic naturally encode modular models and can be regarded as convenient pre-models of the (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  • Intuitionistic epistemic logic.Sergei Artemov & Tudor Protopopescu - 2016 - Review of Symbolic Logic 9 (2):266-298.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   11 citations