Results for 'Blane Worley'

5 found
Order:
  1. Proof Invariance.Blane Worley - forthcoming - Australasian Journal of Logic.
    We explore depth substitution invariance, or hyperformalism, and extend known results in this realm to justification logics extending weak relevant logics. We then examine the surprising invariance of justifications over formulas and restrict our attention to the substitution of proofs in the original relevant logic. The results of this paper indicate that depth invariance is a recalcitrant feature of the logic and that proof structures in hyperformal logics are quite inflexible.
    Download  
     
    Export citation  
     
    Bookmark  
  2. Logic in the deep end.Graham Leach-Krouse, Shay Allen Logan & Blane Worley - 2024 - Analysis 84 (2):282-291.
    Weak enough relevant logics are often closed under depth substitutions. To determine the breadth of logics with this feature, we show there is a largest sublogic of R closed under depth substitutions and that this logic can be recursively axiomatized.
    Download  
     
    Export citation  
     
    Bookmark  
  3. teaching critical thinking and metacognitive skills through philosophical enquiry. A practitioner's report on experiments in the classroom.Emma Worley & Peter Worley - 2019 - Childhood and Philosophy 15:01-34.
    Although expert consensus states that critical thinking (CT) is essential to enquiry, it doesn’t necessarily follow that by practicing enquiry children are developing CT skills. Philosophy with children programmes around the world aim to develop CT dispositions and skills through a community of enquiry, and this study compared the impact of the explicit teaching of CT skills during an enquiry, to The Philosophy Foundation's philosophical enquiry (PhiE) method alone (which had no explicit teaching of CT skills). Philosophy with children is (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  4. Robustness to Fundamental Uncertainty in AGI Alignment.G. G. Worley Iii - 2020 - Journal of Consciousness Studies 27 (1-2):225-241.
    The AGI alignment problem has a bimodal distribution of outcomes with most outcomes clustering around the poles of total success and existential, catastrophic failure. Consequently, attempts to solve AGI alignment should, all else equal, prefer false negatives (ignoring research programs that would have been successful) to false positives (pursuing research programs that will unexpectedly fail). Thus, we propose adopting a policy of responding to points of philosophical and practical uncertainty associated with the alignment problem by limiting and choosing necessary assumptions (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. Robustness to fundamental uncertainty in AGI alignment.I. I. I. G. Gordon Worley - manuscript
    The AGI alignment problem has a bimodal distribution of outcomes with most outcomes clustering around the poles of total success and existential, catastrophic failure. Consequently, attempts to solve AGI alignment should, all else equal, prefer false negatives (ignoring research programs that would have been successful) to false positives (pursuing research programs that will unexpectedly fail). Thus, we propose adopting a policy of responding to points of metaphysical and practical uncertainty associated with the alignment problem by limiting and choosing necessary assumptions (...)
    Download  
     
    Export citation  
     
    Bookmark