Miscellaneous Electronic Resources

Encyclopedias

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: Arts and 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.

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

Title	URL	Description
Athena	http://www.athenasoft.org/	Athena is a cooperative effort between philosophers and engineers which has allowed philosophical methods of reasoning and argumentation to be 'extracted, elaborated and implemented' in computer programs.
Computational Epistemology Laboratory	http://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	http://www.philocomp.net/ai/elizabeth	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	http://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	http://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.

Website Designed and Built By Jonathan Millican