Miscellaneous Electronic Resources


There are two excellent online Philosophy encyclopedias, the first of which requires a subscription, but the second of which is free:

Other Resources: Intute

Other resources come in many and various forms, too many to be categorised easily here. Fortunately, there are now straightforward ways of finding many of these resources, thanks to services such as Intute, set up in July 2006 as a development from the previous "Resource Discovery Network", and involving a consortium of seven UK universities (plus a wide range of partners). Intute's aim is to identify, categorise and evaluate relevant web resources, providing a straightforward and accessible framework within which users can find them and be advised regarding their potential. To quote the Intute website, "Our mission is simple – Intute exists to advance education and research by promoting the best of the Web in one easily accessible place, providing access to quality resources through a process of evaluation and collaboration."

Intute: Humanities is led by the University of Oxford in partnership with Manchester Metropolitan University. This provides access to a huge variety of resources relevant to Philosophy and allied disciplines, for example:

Some Resources of Particular Interest

The table below will be used to collect together a few of these many resources that have proved to be of particular interest, but without any pretence to completeness. No judgement is implied regarding those that are not selected, and the collection will be built up over time as particular resources become noticed. The intention is simply to provide an interesting sample, illustrating the range of what is available.

Title URL Description
Computational Epistemology Laboratory cogsci.uwaterloo.ca The Computational Epistemology Laboratory is a cognitive science research facility headed by Paul Thagard, Professor of Philosophy at the University of Waterloo, Canada. The site provides a number of relevant resources, including bibliographies, links, and several free software packages for the analysis of cognitive science data.
Elizabeth www.philocomp.net/ai/elizabeth.htm Elizabeth is a chatbot program hosted by this site, which can be used to provide insights into the Turing Test and automated language processing.
Logic Software from CSLI www-csli.stanford.edu/hp The home of several award-winning text/software packages: Hyperproof, The Language of First-order Logic, Tarski's World and Turing's World, all published by the Center for the Study of Language and Information at Stanford University.
MacLogic fitelson.org/maclogic.htm Branden Fitelson at Berkeley here makes available the MacLogic software developed by Roy Dyckhoff's Computational Logic group at St Andrew's.
Image of Tarski's World program

Screenshot of "Tarski's World" teaching system for first-order logic