Switch to: References

Add citations

You must login to add citations.
  1. Computational Philosophy.Patrick Grim & Daniel Singer - 2024 - Stanford Encyclopedia of Philosophy.
    Computational philosophy is the use of mechanized computational techniques to instantiate, extend, and amplify philosophical research. Computational philosophy is not philosophy of computers or computational techniques; it is rather philosophy using computers and computational techniques. The idea is simply to apply advances in computer technology and techniques to advance discovery, exploration and argument within any philosophical area. -/- After touching on historical precursors, this article discusses contemporary computational philosophy across a variety of fields: epistemology, metaphysics, philosophy of science, ethics and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • On the Legal Status of Human Cerebral Organoids: Lessons from Animal Law.Joshua Jowitt - 2023 - Cambridge Quarterly of Healthcare Ethics 32 (4):572-581.
    This paper will ask whether the legal status presently afforded to nonhuman animals ought to influence regulatory debates concerning human cerebral organoids. The New York Courts recently refused to grant a writ of habeas corpus to Happy the Elephant as she was property rather than a legal person while at the same time accepting that she is a moral patient deserving of rights protection. An undesirable situation has therefore arisen in which the law holds a being with moral status to (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Computer verification for historians of philosophy.Landon D. C. Elkind - 2022 - Synthese 200 (3):1-28.
    Interactive theorem provers might seem particularly impractical in the history of philosophy. Journal articles in this discipline are generally not formalized. Interactive theorem provers involve a learning curve for which the payoffs might seem minimal. In this article I argue that interactive theorem provers have already demonstrated their potential as a useful tool for historians of philosophy; I do this by highlighting examples of work where this has already been done. Further, I argue that interactive theorem provers can continue to (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Assessing contemporary legislative proposals for their compatibility with a natural law case for AI legal personhood.Joshua Jowitt - forthcoming - AI and Society.
    The question of the moral status of AI and the extent to which that status ought to be recognised by societal institutions is one that has not yet received a satisfactory answer from lawyers. This paper seeks to provide a solution to the problem by defending a moral foundation for the recognition of legal personhood for AI, requiring the status to be granted should a threshold criterion be reached. The threshold proposed will be bare, noumenal agency in the Kantian sense. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The Necessity and Possibility of the Use of the Principle of Generic Consistency by the UK Courts to Answer the Fundamental Questions of Convention Rights Interpretation.Benedict Douglas - 2012 - Dissertation, Durham University
    This thesis seeks to engage with and give answers to the fundamental question of rights interpretation confronting the British judiciary under the Human Rights Act 1998. As a premise, it recognises that the textual openness and consequential semantic uncertainty of the requirements of the Convention rights necessitates their interpretation. In determining the approach the courts should apply, this thesis takes as its structural foundation an analysis of the current approach of the domestic courts and the European Court of Human Rights (...)
    Download  
     
    Export citation  
     
    Bookmark