Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.
Awesome Lists | Featured Topics | Projects
https://github.com/glennstreet/awesome-philosophy-compsci

A list of resources that cross the disciplines of Computer Science and Philosophy
https://github.com/glennstreet/awesome-philosophy-compsci
List: awesome-philosophy-compsci
computer-science logic philosophy prolog
Last synced: 3 months ago
JSON representation
A list of resources that cross the disciplines of Computer Science and Philosophy
Host: GitHub
URL: https://github.com/glennstreet/awesome-philosophy-compsci
Owner: glennstreet
License: mit
Created: 2019-03-26T23:41:14.000Z (over 5 years ago)
Default Branch: master
Last Pushed: 2023-12-04T03:59:42.000Z (12 months ago)
Last Synced: 2024-05-19T20:00:52.616Z (6 months ago)
Topics: computer-science, logic, philosophy, prolog
Homepage:
Size: 126 KB
Stars: 65
Watchers: 4
Forks: 4
Open Issues: 0
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project

awesome-list - awesome-philosophy-compsci
awesome-bfo - Awesome Philosophy in Computer Science - A list of resources that cross the disciplines of computer science and philosophy. (Related Lists)
README

        
# Table of Contents

1.  [Related Sites](#org7f15358)

    1.  [PhiloComp](#orgb1f9d96)

2.  [Encyclopedia Entries](#orgab6e4a8)

    1.  [Stanford Encyclopedia of Philosophy](#org3d47e91)

        1.  [Category Theory](#orgd24984e)

        2.  [Computability and Complexity](#orge644148)

        3.  [Computation in Physical Systems](#orga2015b6)

        4.  [Computational Complexity Theory](#orgfa84504)

        5.  [Computer and Information Ethics](#org40da37c)

        6.  [Computing and Moral Responsibility](#org02524f0)

        7.  [Information](#orgc56ad51)

        8.  [The Lambda Calculus](#orgf656a42)

        9.  [Logic and Artificial Intelligence](#orgb4035eb)

        10. [Philosophy of Computer Science](#orgb9c14eb)

        11. [Philosophy of Mathematics](#org032543a)

        12. [Philosophy of Technology](#org8b17c2d)

        13. [Recursive Functions](#org98eaa61)

        14. [Semantic Conceptions of Information](#org64dd9fc)

        15. [Set Theory](#org4355134)

    2.  [Internet Encyclopedia of Philosophy](#org9ecf723)

        1.  [Artificial Intelligence](#org2d44874)

        2.  [The Brain in a Vat Argument](#org9b0f778)

        3.  [The Computational Theory of Mind](#org08d8231)

    3.  [Wikipedia](#orgf187bbe)

        1.  [Constraint logic programming](#org908e529)

        2.  [Logic Programming](#org87826fc)

        3.  [Negation as failure](#org090f0c7)

3.  [Bibliographies](#orgf790a34)

    1.  [Philosophy of Computing and Information at PhilPapers](#org09bdbd2)

    2.  [Philosophy of Computer Science at DBLP](#org53825a6)

4.  [Books](#org6bb80c9)

    1.  [Freely available](#orgcf7b368)

        1.  [A review of Logic Courseware and free and open access texts at Daily Nous](#orgc257dd3)

        2.  [Logic in Action](#org524fb3e)

        3.  [Mathematical Logic through Python](#orga6365ab)

        4.  [Think Complexity, Second Edition by Allen Downey](#org1688645)

5.  [Ontology of Philosophy of Computer Science](#org94e51a0)

    1.  [Internet Philosophy Ontology Project](#orgda0a1b0)

6.  [Blogs](#org61084a2)

    1.  [Bartosz Milewski's Programming Cafe](#org53f008a)

    2.  [Gödel's Lost Letter and P=NP](#orge638074)

    3.  [Hillel Wayne's blog](#orgedb49db)

    4.  [The n-Category Café](#org8df9437)

    5.  [Shtetl-Optimized](#orgf6339f6)

    6.  [Theory of Computing Blog Aggregator](#org661fa71)

7.  [Organizations and Societies](#org2cf652d)

    1.  [Association for Logic Programming](#orge4de209)

    2.  [International Association for Computing And Philosophy](#orged5ff12)

8.  [Conferences and Symposia](#org34e6615)

    1.  [ACM/IEEE Symposium on Logic in Computer Science](#org7ce6a9d)

9.  [Logic](#orga6e2391)

    1.  [An Automated Modal Reasoner](#org405c9c6)

    2.  [Arend Theorem Prover](#orgaa84612)

    3.  [Argdown](#org0f95fac)

    4.  [Carnap](#orge546943)

    5.  [Conan- A proof editor for first order logic](#org0340a87)

    6.  [Coq Proof Assistant](#org334b186)

        1.  [GitHub repository](#orgdc30da8)

        2.  [Home page of Wiki](#orgc0a62be)

    7.  [GAPT: General Architecture for Proof Theory](#orgf84999f)

    8.  [List of Computational Tools for Modal Logic](#orgcd092e0)

    9.  [Logic Matters](#org5cf058a)

    10. [Microsoft's Lean](#orgf826d06)

    11. [Open Logic Project](#orga2d7c82)

    12. [Proof General](#org78f294c)

    13. [SymPy Logic Module](#org82425a2)

    14. [Taut](#orga860951)

10. [Programming Languages and Libraries](#org3037667)

    1.  [Metamath](#orgd4c3fae)

    2.  [miniKanren](#org418d492)

    3.  [Lisp](#orgdb41f7a)

        1.  [Common Lisp](#org93d8fd6)

        2.  [Clojure](#orgc816250)

        3.  [Scheme](#org10d382c)

    4.  [Logica](#org8d2f2db)

    5.  [Prolog](#org15d6ed2)

        1.  [Awesome Prolog](#org5f4d752)

        2.  [A. Aaby's Prolog Tutorial](#org1d5d046)

        3.  [J.R. Fisher's Prolog Tutorial](#orgf173113)

        4.  [Metagol](#org501751c)

        5.  [Paizo Prolog](#org991db55)

        6.  [PrologHub](#orgefb9262)

        7.  [SWI-Prolog](#org5cd47a6)

        8.  [Wikibooks Prolog](#orgc5eca3a)

    6.  [Picat](#org3c9bfdb)

    7.  [Python](#orge5b1246)

        1.  [kanren](#orgc879c31)

        2.  [PySWIP](#org902f21f)

        3.  [truths - auto generate truth tables](#orge5e92be)

        4.  [tt - the Boolean expression toolbox](#orgf899994)

11. [Digital Philosophy](#org2c79ee1)

    1.  [Articles tagged "digital humanities" at Daily Nous](#org554e9a7)

    2.  [Chris Alen Sula](#org93292a0)

    3.  [Philosopher's Web](#org67c773d)

    4.  [The Philosophome](#org956fe0c)

    5.  [Spinoza's Ethics 2.0](#orgb650a3a)

        1.  [Digital Spinozism](#org3f58387)

    6.  [Transcribing Bentham](#org61a4a19)

    7.  [Why and How: Exploring the Significance of Digital Humanities for Philosophy](#org99527da)

12. [University Departments and Research Centers](#org14027c3)

    1.  [Philosophy of Computer Science - Utrecht University](#org8b8547b)

13. [Magazines and Newsletters](#org84b3dc1)

    1.  [ACM Transactions on Computational Logic (TOCL)](#org445d014)

    2.  [Newsletter on Philosophy and Computers - American Philosophical Association](#org8cea060)

14. [Individual Philosophers](#orgfdcfdf9)

    1.  [Colin Allen](#org208175c)

    2.  [Margaret A. Boden](#org8634cfa)

    3.  [Peter Bradley](#orgb8c794a)

    4.  [David Chalmers](#orgd9db32d)

    5.  [Jack Copeland](#orgff3dd42)

        1.  [Staff page](#org5053777)

        2.  [Research profile](#org2d63344)

    6.  [Daniel C. Dennett](#orgb18f6f0)

    7.  [Luciano Floridi](#orgd3b6b41)

    8.  [John MacFarlane](#org285c645)

    9.  [Corey Maley](#org508489f)

    10. [Helen Nissenbaum](#org433cdf4)

    11. [Gualtiero Piccinini](#org9f45d4d)

    12. [William J. Rapaport](#org7d6f3ea)

    13. [Aaron Sloman](#orgf5282c9)

    14. [Edward N. Zalta](#org7fa14cf)

15. [Philosophical Networks](#org94e7984)

    1.  [Philosophical Wordnets](#orga3a4b9e)

16. [Software for Philosophers](#org744c263)

    1.  [ArguMap](#org0214b9e)

    2.  [Hypernomicon](#org40633c1)

17. [Textbooks (not free)](#org5cff988)

    1.  [More Precisely: The Math You Need to Do Philosophy – Second Edition - Eric Steinhart](#org230fe5a)

    2.  [Philosophy of Computer Science - William J. Rapaport](#org348a0b3)

    3.  [Philosophy through Computer Science - Daniel Lim](#org208d27a)

**A curated list of awesome resources that bridge Philosophy and Computer Science.**

Last update: **2023-11-25**



# Related Sites



## [PhiloComp](http://philocomp.net)

"The aim of this website is to highlight the many strong links between Philosophy and Computing, for the benefit of students (and potential students) of both disciplines:…"

---



# Encyclopedia Entries



## Stanford Encyclopedia of Philosophy



### [Category Theory](https://plato.stanford.edu/entries/category-theory/)



### [Computability and Complexity](https://plato.stanford.edu/entries/computability/)



### [Computation in Physical Systems](https://plato.stanford.edu/entries/computation-physicalsystems/)



### [Computational Complexity Theory](https://plato.stanford.edu/entries/computational-complexity/)



### [Computer and Information Ethics](https://plato.stanford.edu/entries/ethics-computer/)



### [Computing and Moral Responsibility](https://plato.stanford.edu/entries/computing-responsibility/)



### [Information](https://plato.stanford.edu/entries/information/)



### [The Lambda Calculus](https://plato.stanford.edu/archives/spr2015/entries/lambda-calculus/)



### [Logic and Artificial Intelligence](https://plato.stanford.edu/entries/logic-ai/)



### [Philosophy of Computer Science](https://plato.stanford.edu/entries/computer-science/)



### [Philosophy of Mathematics](https://plato.stanford.edu/entries/philosophy-mathematics/)



### [Philosophy of Technology](https://plato.stanford.edu/entries/technology/)



### [Recursive Functions](https://plato.stanford.edu/entries/recursive-functions/)



### [Semantic Conceptions of Information](https://plato.stanford.edu/entries/information-semantic/)



### [Set Theory](https://plato.stanford.edu/entries/set-theory/)



## Internet Encyclopedia of Philosophy



### [Artificial Intelligence](https://www.iep.utm.edu/art-inte/)



### [The Brain in a Vat Argument](https://www.iep.utm.edu/brainvat/)



### [The Computational Theory of Mind](https://www.iep.utm.edu/compmind/)



## Wikipedia



### [Constraint logic programming](https://en.wikipedia.org/wiki/Constraint_logic_programming)



### [Logic Programming](https://en.wikipedia.org/wiki/Logic_programming)

-   [Abductive logic programming](https://en.wikipedia.org/wiki/Abductive_logic_programming)

-   [Answer set programming](https://en.wikipedia.org/wiki/Answer_set_programming)

-   [Concurrent logic programming](https://en.wikipedia.org/wiki/Concurrent_logic_programming)

-   [Inductive logic programming](https://en.wikipedia.org/wiki/Inductive_logic_programming)



### [Negation as failure](https://en.wikipedia.org/wiki/Negation_as_failure)

---



# Bibliographies



## [Philosophy of Computing and Information at PhilPapers](https://philpapers.org/browse/philosophy-of-computing-and-information)



## [Philosophy of Computer Science at DBLP](https://dblp.uni-trier.de/search?q=philosophy%2520of%2520computer%2520science)

---



# Books



## Freely available



### A [review](https://dailynous.com/2023/07/10/logic-courseware-surveyed/) of Logic Courseware and free and open access texts at Daily Nous



### [Logic in Action](http://www.logicinaction.org)



### [Mathematical Logic through Python](https://www.logicthrupython.org)



### [Think Complexity, Second Edition by Allen Downey](http://greenteapress.com/wp/think-complexity-2e/)

---



# Ontology of Philosophy of Computer Science



## [Internet Philosophy Ontology Project](https://www.inphoproject.org/taxonomy/2301)

---



# Blogs



## [Bartosz Milewski's Programming Cafe](https://bartoszmilewski.com)

“Category Theory, Haskell, Concurrency, C++”



## [Gödel's Lost Letter and P=NP](https://rjlipton.wordpress.com)



## [Hillel Wayne's blog](https://www.hillelwayne.com/post/)

Formal methods, including TLA+ and Alloy.



## [The n-Category Café](https://golem.ph.utexas.edu/category/)

"A group blog on math, physics and philosophy".

There is an associated [wiki](https://ncatlab.org/nlab/show/HomePage).

“The nLab is a collaborative wiki. It grew out of the desire (I, II) to have a place for development (the ’Lab’ in ’nLab’) and indexed archives of the ideas and concepts surrounding the discussions at the The n-Category Café. These discussions primarily are about mathematics, physics and philosophy from the perspective of category theory and higher category theory (the ’n’ in ’nLab’ and nPOV).“



## [Shtetl-Optimized](https://www.scottaaronson.com/blog/)



## [Theory of Computing Blog Aggregator](http://cstheory-feed.org)

---



# Organizations and Societies



## [Association for Logic Programming](https://www.cs.nmsu.edu/ALP/)



## [International Association for Computing And Philosophy](http://www.iacap.org)

---



# Conferences and Symposia



## [ACM/IEEE Symposium on Logic in Computer Science](https://lics.siglog.org)

---



# Logic



## [An Automated Modal Reasoner](https://briantackett.pythonanywhere.com)

"This program takes lists of formalized sentences and checks them for consistency or validity in Propositional Modal Logic (S5 Axiom System)."

Created by [Brian Tackett](https://briantackett.pythonanywhere.com/about/).



## [Arend Theorem Prover](https://arend-lang.github.io/about/)

‘Arend implements a version of [homotopy type theory](https://homotopytypetheory.org) with an interval type, which syntax is similar to [cubical type theory](https://ncatlab.org/nlab/show/cubical+type+theory). This implies several nice properties of path types and allows for a simple and clean definition of higher inductive types (including recursive ones).’



## [Argdown](https://argdown.org)

A variation of markdown that allows one to create argument maps.



## [Carnap](https://carnap.io)

"Carnap is a free and open software framework written in [Haskell](https://www.haskell.org) for teaching and studying formal logic."

[An introductory blog post](http://dailynous.com/2018/11/07/new-free-open-source-multi-purpose-multi-system-logic-software/%20) by the author, [Graham Leach-Krouse](https://philpeople.org/profiles/graham-leach-krouse-1) at [Daily Nous](http://dailynous.com).



## [Conan](https://github.com/nonilole/Conan)- A proof editor for first order logic



## [Coq Proof Assistant](https://coq.inria.fr)

Written in [OCaml](https://ocaml.org), "Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the [certification of properties of programming languages](https://github.com/coq/coq/wiki/List%2520of%2520Coq%2520PL%2520Projects) (e.g. the CompCert compiler certification project, or the Bedrock verified low-level programming library), the formalization of mathematics (e.g. the full formalization of the Feit-Thompson theorem or homotopy type theory) and teaching."



### [GitHub repository](https://github.com/coq/coq)



### Home page of [Wiki](https://github.com/coq/coq/wiki)



## [GAPT: General Architecture for Proof Theory](https://www.logic.at/gapt/)

‘GAPT is a proof theory framework developed primarily at the Vienna University of Technology. GAPT contains data structures, algorithms, parsers and other components common in proof theory and automated deduction. In contrast to automated and interactive theorem provers whose focus is the construction of proofs, GAPT concentrates on the transformation and further processing of proofs.’



## [List of Computational Tools for Modal Logic](http://www.cs.man.ac.uk/~schmidt/tools/)



## [Logic Matters](https://www.logicmatters.net)



## [Microsoft's Lean](https://leanprover.github.io/)

"Lean is an open source theorem prover and programming language being developed at [Microsoft Research](https://www.microsoft.com/en-us/research/). Lean aims to bridge the gap between interactive and automated theorem proving, by situating automated tools and methods in a framework that supports user interaction and the construction of fully specified axiomatic proofs."



## [Open Logic Project](http://openlogicproject.org)



## [Proof General](https://proofgeneral.github.io)

"Proof General is a generic interface for proof assistants (also known as interactive theorem provers), based on the extensible, customizable text editor Emacs."

Since I'm an Emacs user, this has strong appeal.



## [SymPy Logic Module](https://docs.sympy.org/latest/modules/logic.html)

"The logic module for SymPy allows to form and manipulate logic expressions using symbolic and Boolean values."



## [Taut](https://www.taut-logic.com)

"This is a website that contains randomly-generated, self-correcting logic excercises. It runs directly on your browser, so there is no need to download anything. It was designed by [Ariel Roffé](https://sites.google.com/view/ariel-roffe/home) (UBA / UNQ / CONICET), with support from the [BA-Logic](http://ba-logic.com) group"

---



# Programming Languages and Libraries



## [Metamath](http://us.metamath.org/index.html)

‘Metamath is a tiny language that can express theorems in abstract mathematics, accompanied by proofs that can be verified by a computer program.’



## [miniKanren](http://minikanren.org)

"miniKanren is an embedded Domain Specific Language for logic programming."

"miniKanren has been implemented in a growing number of host languages, including Scheme, Racket, Clojure,

Haskell, Python, JavaScript, Scala, Ruby, OCaml, and PHP, among many other languages."



## Lisp



### [Common Lisp](https://common-lisp.net)

1.  [The Common Lisp Cookbook](https://lispcookbook.github.io/cl-cookbook/)

2.  [Practical Common Lisp](http://www.gigamonkeys.com/book/)

    "If you think the greatest pleasure in programming comes from getting a lot done with code that simply and clearly expresses your intention, then programming in Common Lisp is likely to be about the most fun you can have with a computer. You'll get more done, faster, using it than you would using pretty much any other language."



### [Clojure](https://clojure.org)



### [Scheme](https://schemers.org)



## [Logica](https://opensource.googleblog.com/2021/04/logica-organizing-your-data-queries.html)

‘We present Logica, a novel open source Logic Programming language. A successor to Yedalog (a language developed at Google earlier) it is a Datalog-like logic programming language. Logica code compiles to SQL and runs on Google BigQuery (with experimental support for PostgreSQL and SQLite), but it is much more concise and supports the clean and reusable abstraction mechanisms that SQL lacks. It supports modules and imports, it can be used from an interactive Python notebook and it even makes testing your queries natural and easy.’



## Prolog



### [Awesome Prolog](https://github.com/klaussinani/awesome-prolog)

A GitHub repository of Prolog awesomeness.



### [A. Aaby's Prolog Tutorial](http://www.lix.polytechnique.fr/~liberti/public/computing/prog/prolog/prolog-tutorial.html)



### [J.R. Fisher's Prolog Tutorial](https://www.cpp.edu/~jrfisher/www/prolog_tutorial/contents.html)



### [Metagol](https://github.com/metagol/metagol)

‘Metagol is an inductive logic programming (ILP) system based on meta-interpretive learning.

Metagol is written in Prolog and runs with SWI-Prolog.’



### [Paizo Prolog](https://github.com/lf94/paizo-prolog)

'An ergonomic, mobile-first, Prolog playground!'



### [PrologHub](https://prologhub.com/)

"PrologHub is dedicated to bringing together the Prolog community to share ideas and knowledge. Our aim is to encourage the growth and development of the community."



### [SWI-Prolog](https://www.swi-prolog.org)



### [Wikibooks Prolog](https://en.wikibooks.org/wiki/Prolog)



## [Picat](http://www.picat-lang.org)

‘Picat is a simple, and yet powerful, logic-based multi-paradigm programming language aimed for general-purpose applications.’



## Python



### [kanren](https://github.com/logpy/logpy)

"Logic Programming in Python"



### [PySWIP](https://github.com/yuce/pyswip)

"PySWIP is a Python - SWI-Prolog bridge enabling to query SWI-Prolog in your Python programs. It features an (incomplete) SWI-Prolog foreign language interface, a utility class that makes it easy querying with Prolog and also a Pythonic interface."



### [truths - auto generate truth tables](https://github.com/tr3buchet/truths)



### [tt - the Boolean expression toolbox](https://tt.brianwel.ch/en/latest/)

tt (truth table) is a library aiming to provide a Pythonic toolkit for working with Boolean expressions and truth tables.

---



# Digital Philosophy



## [Articles tagged "digital humanities" at Daily Nous](http://dailynous.com/tag/digital-humanities/)



## [Chris Alen Sula](http://chrisalensula.org)

"My work applies visualization and network science to humanities datasets, especially the history of philosophy. I also write on digital humanities and the politics of technology."



## [Philosopher's Web](https://kumu.io/GOliveira/philosophers-web#map-b9Ts7W5r)

A comprehensive map of all influential relationships in philosophy according to Wikipedia.



## [The Philosophome](http://ontology.buffalo.edu/philosophome.org.html)



## [Spinoza's Ethics 2.0](https://ethics.spinozism.org)

Created by [Torin Doppelt](https://www.torindoppelt.com)



### [Digital Spinozism](https://www.torindoppelt.com/#posts)

Accompanying blog to Spinoza's Ethics 2.0



## [Transcribing Bentham](https://blogs.ucl.ac.uk/transcribe-bentham/)



## [Why and How: Exploring the Significance of Digital Humanities for Philosophy](https://digitalscholarship.files.wordpress.com/2013/02/spirowhydhapaphilosophy2013fnal.pdf)

This is a presentation by Lisa Spirohttps://digitalscholarship.wordpress.com)

---



# University Departments and Research Centers



## [Philosophy of Computer Science - Utrecht University](http://www.cs.uu.nl/groups/AD/index-phil.html)

---



# Magazines and Newsletters



## [ACM Transactions on Computational Logic (TOCL)](https://tocl.acm.org)

"For the purposes of ACM Transactions on Computational Logic, the field of computational logic consists of all uses of logic in computer science."



## [Newsletter on Philosophy and Computers](https://www.apaonline.org/page/computers_newsletter) - American Philosophical Association

---



# Individual Philosophers



## [Colin Allen](https://colinallen.dnsalias.org/index.shtml)



## [Margaret A. Boden](http://www.ruskin.tv/maggieb/index.asp)



## [Peter Bradley](http://www.kaley-bradley.com)



## [David Chalmers](http://consc.net)



## Jack Copeland



### [Staff page](https://www.canterbury.ac.nz/arts/contact-us/people/jack-copeland.html)



### [Research profile](https://researchprofile.canterbury.ac.nz/Researcher.aspx?Researcherid=86390)



## [Daniel C. Dennett](https://ase.tufts.edu/cogstud/dennett/index.html)



## [Luciano Floridi](http://www.philosophyofinformation.net/about/)



## [John MacFarlane](https://johnmacfarlane.net)

John is the creator of [Pandoc](https://pandoc.org/index.html).



## [Corey Maley](https://coreymaley.net)



## [Helen Nissenbaum](https://nissenbaum.tech.cornell.edu)



## [Gualtiero Piccinini](http://www.umsl.edu/~piccininig/)



## [William J. Rapaport](https://cse.buffalo.edu/~rapaport/)



## [Aaron Sloman](https://www.cs.bham.ac.uk/~axs/)



## [Edward N. Zalta](http://mally.stanford.edu/zalta.html)

---



# Philosophical Networks



## [Philosophical Wordnets](https://github.com/mboudour/WordNets/tree/master/Philosophical%2520WordNets)

Contributed by [Moses Boudorides](https://github.com/mboudour), a series of Jupyter notebooks showing sentence-co-occurring relationships among concepts. Works analyzed include Heidegger's "The Question Concerning Technology" and Nietzsche's "Thus Spake Zarathustra".

---



# Software for Philosophers



## [ArguMap](https://appsolutelyfun.com/argumap.html)

An iOS app for creating argument maps.



## [Hypernomicon](http://hypernomicon.org)

"Personal philosophy database software," created by [Jason Winning](http://jasonwinning.com).



# Textbooks (not free)



## [More Precisely: The Math You Need to Do Philosophy – Second Edition](https://broadviewpress.com/product/more-precisely-the-math-you-need-to-do-philosophy-second-edition/#tab-description) - Eric Steinhart



## [Philosophy of Computer Science](https://www.wiley.com/en-us/Philosophy+of+Computer+Science%3A+An+Introduction+to+the+Issues+and+the+Literature-p-9781119891925) - William J. Rapaport



## [Philosophy through Computer Science](https://www.routledge.com/Philosophy-through-Computer-Science-An-Introduction/Lim/p/book/9781032221366) - Daniel Lim