7 found
Sort by:
  1. Steve Awodey & Jesse Hughes, The Coalgebraic Dual of Birkhoff's Variety.
    ulations and show that they are definable by a trivial kind of coequation— namely, over one "color". We end with an example of a covariety which is not closed under bisimulations.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  2. Jesse Hughes, Steve Awodey, Dana Scott, Jeremy Avigad & Lawrence Moss, A Study of Categorres of Algebras and Coalgebras.
    This thesis is intended t0 help develop the theory 0f coalgebras by, Hrst, taking classic theorems in the theory 0f universal algebras amd dualizing them and, second, developing an interna] 10gic for categories 0f coalgebras. We begin with an introduction t0 the categorical approach t0 algebras and the dual 110tion 0f coalgebras. Following this, we discuss (c0)a,lg€bra.s for 2. (c0)monad and develop 2. theory 0f regular subcoalgebras which will be used in the interna] logic. We also prove that categories 0f (...)
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  3. Jesse Hughes (2009). An Artifact is to Use: An Introduction to Instrumental Functions. [REVIEW] Synthese 168 (1):179 - 199.
    Because much of the recent philosophical interest in functions has been motivated by their application in biology and other sciences, most of the ensuing discussions have focused on functional explanations to the neglect of the practical role of functional knowledge. This practical role is essential for understanding how users form plans involving artifacts. We introduce the concept of instrumental function which is intended to capture the features of functional claims that are relevant to practical—in particular, instrumental—reasoning. We discuss the four (...)
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  4. Jesse Hughes & Lambèr M. M. Royakkers (2008). Don't Ever Do That! Long-Term Duties in Pd E L. Studia Logica 89 (1):59 - 79.
    This paper studies long-term norms concerning actions. In Meyer's Propositional Deontic Logic (PDₑL), only immediate duties can be expressed, however, often one has duties of longer durations such as: "Never do that", or "Do this someday". In this paper, we will investigate how to amend (PDₑL) so that such long-term duties can be expressed. This leads to the interesting and suprising consequence that the long-term prohibition and obligation are not interdefinable in our semantics, while there is a duality between these (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  5. Jesse Hughes, Peter Kroes & Sjoerd Zwart (2007). A Semantics for Means-End Relations. Synthese 158 (2):207 - 231.
    There has been considerable work on practical reasoning in artificial intelligence and also in philosophy. Typically, such reasoning includes premises regarding means–end relations. A clear semantics for such relations is needed in order to evaluate proposed syllogisms. In this paper, we provide a formal semantics for means–end relations, in particular for necessary and sufficient means–end relations. Our semantics includes a non-monotonic conditional operator, so that related practical reasoning is naturally defeasible. This work is primarily an exercise in conceptual analysis, aimed (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  6. Jesse Hughes, Albert Esterline & Bahram Kimiaghalam (2006). Means-End Relations and a Measure of Efficacy. Journal of Logic, Language and Information 15 (1-2):83-108.
    Propositional dynamic logic (PDL) provides a natural setting for semantics of means-end relations involving non-determinism, but such models do not include probabilistic features common to much practical reasoning involving means and ends. We alter the semantics for PDL by adding probabilities to the transition systems and interpreting dynamic formulas 〈α〉 ϕ as fuzzy predicates about the reliability of α as a means to ϕ. This gives our semantics a measure of efficacy for means-end relations.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  7. Steve Awodey & Jesse Hughes, The Coalegebraic Dual of Birkoff's Variety Theorem.
    Steve Awodey and Jesse Hughes. The Coalegebraic Dual of Birkoff's Variety Theorem.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation