Switch to: References

Add citations

You must login to add citations.
  1. (1 other version)The Logic of Hyperlogic. Part B: Extensions and Restrictions.Alexander W. Kocurek - 2022 - Review of Symbolic Logic:1-28.
    This is the second part of a two-part series on the logic of hyperlogic, a formal system for regimenting metalogical claims in the object language (even within embedded environments). Part A provided a minimal logic for hyperlogic that is sound and complete over the class of all models. In this part, we extend these completeness results to stronger logics that are sound and complete over restricted classes of models. We also investigate the logic of hyperlogic when the language is enriched (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Counterpossibles, Functional Decision Theory, and Artificial Agents.Alexander W. Kocurek - 2024 - In Fausto Carcassi, Tamar Johnson, Søren Brinck Knudstorp, Sabina Domínguez Parrado, Pablo Rivas Robledo & Giorgio Sbardolini, Proceedings of the 24th Amsterdam Colloquium. pp. 218-225.
    Recently, Yudkowsky and Soares (2018) and Levinstein and Soares (2020) have developed a novel decision theory, Functional Decision Theory (FDT). They claim FDT outperforms both Evidential Decision Theory (EDT) and Causal Decision Theory (CDT). Yet FDT faces several challenges. First, it yields some very counterintuitive results (Schwarz 2018; MacAskill 2019). Second, it requires a theory of counterpossibles, for which even Yudkowsky and Soares (2018) and Levinstein and Soares (2020) admit we lack a “full” or “satisfactory” account. Here, I focus on (...)
    Download  
     
    Export citation  
     
    Bookmark