Based at the University of St. Andrews, Arché was founded in 1998, with a mission to foster research of excellence on fundamental questions in analytical metaphysics, formal and philosophical logic, philosophy of language, philosophy of mathematics, and philosophy of mind. The Centre receives funding from the Arts and Humanities Research Council (AHRC) for several major research projects (some ongoing, some now completed): The Logical and Metaphysical Foundations of Classical Mathematics; The Grundgesetze Translation Project; The Metaphysics and Epistemology of Modality; and Vagueness: its Nature and Logic. The site carries detailed descriptions of these projects and invites philosophers to collaborate. Indeed, the centre is proud of its commitment to collaborative work, and regards itself as a focal point for scholars in the field. Information on fellowships, graduate studies and events are all available on the site, as is the Arché Twiki, a forum for discussion and exchange of ideas. Also provided are a small selection of podcasts, photographs and links to relevant websites.
The Argumentation and Critical Thinking Tutorial website is a resource which aims to help students of critical thinking, informal logic or argumentation become familiar with some important terms and concepts. It does this by means of forty interactive tests, which cover the major forms of logical argument. Each section begins with a brief review of the concepts dealt with therein, and then offers the student a choice of multiple choice, true/false, or short answer questions. This is not intended as a stand-alone resource, but rather as a supplement to a course of study in this area, to help fix key concepts in the student's mind. As such, it succeeds, though the rather repetitive nature of some of the questions - a deliberate feature intended to aid learning - can become slightly tedious after a while. But overall, this is a useful resource for those starting to study, or wishing to brush up their knowledge of, logic or critical thinking.
Founded in 1936, the Association for Symbolic Logic (ASL) is an international organisation supporting the presentation, publication, and critical discussion of scholarly work in the field of logic. It includes mathematicians, linguists and computer scientists as well as philosophers. The Association's well-designed website offers information on the ASL's meetings; publications; membership; and its newsletter. It also gives access to the homepages of the Association's three official journals: The Journal of Symbolic Logic; The Bulletin of Symbolic Logic; and The Review of Symbolic Logic. Additional sections contained on the site which may be useful to the student of logic include: Student Travel Awards; and Prizes and Awards. The site is easy to navigate, and contains links to other sites of interest.
The Australasian Journal of Logic (AJL)(ISSN: 1448-5052) is an online peer-reviewed academic journal which focuses on pure and applied logic. It was launched in 2003 and is edited by Greg Restall, an associate professor in the Department of Philosophy at the University of Melbourne. This homepage contains information about the journal's scope, rationale, submission policy and refereeing procedure. It allows access to all materials published in the journal since the first volume was released in July 2003. These are presented as PDF and Adobe Acrobat Reader can be downloaded from the site. The journal is published by the Australasian Association for Logic.
Bertrand is a symbolic logic software program for the Macintosh, which may be downloaded free from this site. It uses a decomposition/instantiation algorithm which drew its inspiration from the "consistency tree" method found in Leblanc and Wisdom's textbook, Deductive Logic. The program solves sets of first-order symbolic logic statements (subject-identity supported) for satisfiability (consistency), validity, and equivalence. It further checks single statements for logical truth and logical falsity, and develops truth-tables for single truth functional statements. Whilst solutions are being found. "status reports" are issued . These can be looked through one at a time, or they can be disabled entirely in order to increase the speed with which a solution is found. The site is maintained by Larry A. Herzberg, an associate professor of philosophy at the University of Wisconsin, Oshkosh.
The British Logic Colloquium (BLC) was formed in 1977 to "support, promote, and foster the study of logic" in Britain. Its emphasis is on mathematical logic, a fundamental tool of contemporary analytic philosophy. The BLC aims to foster greater communication between logicians working in different fields. The well-designed website is broken into several sections, including: aims of the colloquium; grants to members; membership; newsletters; and recent PhD theses in logic. In addition to its other activities, and most importantly for the student of logic, the BLC sponsors both international and national logic meetings. Information about these meetings is available on the website. All information is freely available.
This is the homepage of an AHRC-funded project on 'Causal Understanding: Empirical and Theoretical Foundations for a New Approach'. It is a 4-year project which spanned from 2004 to 2008 and was hosted by the Philosophy Department at the University of Warwick. The initiative had sought to bring together philosophers and psychologists in order to help devise a sound empirical and theoretical framework that would advance research on the nature of causal understanding. This website contains the project statement; a bibliography with a number of links to articles that are available online; and details of the seminars and workshops they organise. The project is directed by Christoph Hoerl and Johannes Roessler of the University of Warwick, and Teresa McCormack of the Queens University of Belfast. A search engine is provided.
This website is devoted to the American philosopher and polymath Charles Sanders Peirce (1839-1914). Active in a great many areas of philosophical research, Peirce is probably best known for his contributions to logic and semiotics, and as one of the fathers of American pragmatism. The website starts with an inadequate biographical sketch of Peirce, although after this the content improves somewhat. There is a selected bibliography of a small number of his published papers, six of which are reproduced in full. These include his well-known 'On a New List of Categories', three essays on cognition, and two 'illustrations of the logic of science'. The third section of the site covers the community of Peirce scholars. It includes links to other related materials on the Web.
This Internet resource is the home page of a computational logic research project based at the University of St. Andrews. The activity of the group focuses on the construction of proof assistants and theorem-provers for various types of logic. The most notable feature of the site is its inclusion of a range of logic software (non-Macintosh and Macintosh compatible), which has been developed within the research group. Among the software available here is: a counter-model generator for intuitionistic propositional logic; decision procedure for intuitionistic propositional logic / propositional Dummett logic; and MacLogic 2.5 and 3. In addition, the site includes a list of recent publications of the research group and details of conferences and events in computational logic and related fields.
Critical Thinking on the Web offers a comprehensive guide to Web resources on critical thinking and related topics, giving well-annotated links to scores of useful sites. It covers argument mapping, definitions of critical thinking, fallacies, and a whole host of other aspects of the subject, and includes everything from complete online courses to brief humorous (though still informative) articles. The site is easy to navigate: the front page gives a list of categories into which the resources are sorted, along with the site's author's top ten recommendations, details of newly added links (the site is updated frequently), and a search function. A valuable resource for anyone studying, teaching, or merely interested in critical thinking.
Critical Thinking Web is an online resource providing over a hundred free tutorials on critical thinking, logic, and reasoning. The tutorials, most of which are fairly short, are suitable for independent use by students. Topics covered include: the nature of critical thinking and how to improve it; analysis of meaning and arguments; sentential (propositional) logic; basic statistics; and fallacies and biases. Additionally, the site offers a downloadable mini-guide to critical thinking, plus a set of exercises suitable for use in class teaching (both available as PDF documents). Compiled by Dr Joe Lau of the University of Hong Kong and Dr Jonathan Chan of Hong Kong Baptist University, this resource is available in English and both traditional and simplified Chinese.
'The Daily Translation' is a website maintained by the University of Northern Colorado. It gives a new translation task each day, from English into formal logic. Each translation exercise is set in the context of a mock newspaper article, often based on actual past news events. The level of logic required is elementary. An archive of previous translations is made available, and involves one or more possible translations of the sentence plus a brief commentary. Each challenge is presented as a GIF format image. This is part of the university's Philosophy website, and links to other pages and external sites of interest to philosophy students can be found, including a 'Primer' on arguments and their evaluations, and an 'Argument Clinic' in which the reader is invited to submit arguments to the faculty for examination and assessment. The Daily Translation would be a useful exercise for undergraduates learning or seeking to maintain basic skills in logic.
This is the home page of Professor Douglas Neil Walton of the University of Windsor in Canada. Walton specialises in informal logic, fallacies (errors of reasoning) and argumentation (the theory behind logical argument). The site features the text of several dozen articles by him (in PDF); a list of his books; the PowerPoint slides of the talks he has given; and a copy of his CV. There are also useful links to research and teaching resources including: the home pages of other academics; the websites of relevant journals; and software.
Existential Graphs is a Web resource offering an introduction to the existential graphs system of logic, originally developed about a century ago by American philosopher Charles S. Pierce. The system offers a way of formalising and analysing logical arguments, including methods for testing proofs, but unlike more conventional formalisation systems, it adopts a graphical approach. Although the method will be unfamiliar to many students of logic, Pierce claimed that it was easier to use than traditional approaches, and this website exists in part to test this claim. The site offers a number of PowerPoint presentations which introduce the alpha and beta parts of the system (which correspond to propositional and predicate logic respectively), and an applet which allows users to experiment with the system for themselves. (There are a number of other tools, but at time of review these were not working properly.) The site was created by Bram van Heuveln of Rensselaer Polytechnic Institute's Department of Cognitive Science.
This is the University of California, Davis, front for the logic page of the arXiv e-print archive.This site allows the user to search or browse e-prints that are contained in the catalogue as well as offering the opportunity to submit e-prints. The latest 12 listings appear along with cross listings and revisions and there is a link to a calendar allowing browsing of listings by date. The e-prints are available for downloading in various formats including DVI, PostScript and PDF.
This is an overlay of the logic section of the mathematics arXiv, which allows logicians and philosophers of mathematics to publish papers online, usually prior to any print appearance. The main site is run out of Cornell University and this, the front site, is maintained at University of California, Davis. It collects and archives the titles and abstracts from the main site weekly, and allows one to browse or search the archive by author, title or words. Papers can be retrieved in PostScript or PDF format. Submissions are monitored, and information on contributing articles is given in the FAQ section. One can also subscribe to an email list in order to be alerted to new articles. The logic branch of the mathematics arXiv is a forum for serious researchers in logic and mathematics to air their recent work, and the site would be of interest to advanced researchers in the field. It is part of the larger mathematics arXiv, which publishes e-prints in many areas of mathematics, computer science, physics and quantitative biology.
'The Future of Humanity Institute' (FHI) describes itself as... "a unique multidisciplinary research institute at the University of Oxford" operating as part of the Oxford Faculty of Philosophy. The Institute seeks to engage in pioneering research in the ethics of areas such as: 'Human enhancement'; 'Global catastrophic risks'; 'Rationality and wisdom' in decision-making; and 'Future technologies'. The FHI website offers a full description of FHI staff, and there are also progress reports to download in PDF format. Video is available for some of the guest lectures at the FHI. The pages that detail each of the main research strands also offer full-text PDF papers for download, and links to FHI weblogs.
This Internet resource is dedicated to the provision of a selection of logic software, including a proof checker, proof builder, client and server side processors which handle Parse trees, alpha graphs relating to the work of C.S. Peirce, Begriffsschrift notation relating to the work of Gottlob Frege, Polish logic notation, truth-tables, normal forms, miscellaneous operations in classical propositional logic and some multi-valued logics. The site is available in both English and German, and would be of interest to advanced students and researchers in formal logic. It is maintained by Christian Gottschall, a programmer at the Acoustics Research Institute of the Austrian Academy of Sciences.
This webpage contains multiple-choice quizzes on a variety of philosophical subjects, including: ethics; logic; philosophy of religion; and various historical and contemporary figures in ethics and analytic philosophy. The exercises, which are generally at an undergraduate introductory level, are designed by Harry J. Gensler of John Carroll University, Cleveland. Each quiz contains some brief introductory material on the topic at hand, and an indication of the specific texts on which the quiz qustions are based, though in many cases the exercises could be tackled by any student with a general familiarity with the subject. This resource would be of interest to undergraduates seeking to test or review their basic knowledge of topics in philosophy.
This is the website of Jape, a tool for teaching formal reasoning, developed at the Oxford University Computing Laboratory. Downloads, documentation and further links to using Jape are available here.Jape provides an editing environment for proofs to be compiled and re-compiled, through which proofs can be reached in a variety of sequences, and can have multiple conclusions. A set of conjectures is provided for those new to logic, giving the premise and conclusion; the student must supply the 'missing' sequences. Proofs can be worked through using forward and backward reasoning. A range of drop-down menus provides access to rules that can be selected. Files can be saved for later use or printed out. Jape contains a set of rules and syntax, supporting the following logics: rules of Barwise and Etchemendy's The Language of First Order Logic, single- and multiple-conclusion sequent calculus, axiomatic set theory, equational reasoning in functional programs, Hindley-Milner polymorphic type assignment and BAN authentication-protocol logic. Jape can be edited to add further logic encodings. A user manual is provided electronically, and can be printed off.
This is the website of the Kurt Gödel Society - an international organisation for the promotion of research in the areas of logic, philosophy, and the history of mathematics. Kurt Gödel (1906-1978) was a leading figure of the Vienna Circle. He is best remembered for his work on logic and mathematics. The site provides a brief biography of Gödel, but is primarily concerned with providing information about Society events, such as conferences, lecture series, and publications. There are links to other Internet resources on Gödel and on logic, as well as details about joining the Society and the Society's mailing list.
'Logic' is part of the Philosophy Pages online resource created by Garth Kemerling. This subsite, based on material from three basic introductory undergraduate texts, provides clear and comprehensive essays which explain the principles and ideas of Elementary Logic. Within each essay, terms that require further definition are hyperlinked to Kemerling's Philosophical Dictionary, also on the site. Essays are arranged under the following headings: logical arguments; uses of language; definition and meaning; fallacies of relevance, presumption, and ambiguity; categorical propositions and immediate inferences; categorical syllogisms and their validity; syllogisms in ordinary language; logical symbols expressing argument form and statement form; rules of inference and replacement to prove validity or invalidity; basics of quantification theory; analogical inferences; causal reasoning; scientific explanation; and probability theory. There is also a short bibliography, with links to an online retailer that sells the recommended books. Undergraduates ought to find this site a helpful study aid.
This is an interactive educational website featuring logic puzzles for students of formal logic, computing science, or critical thinking. It requires subscription and payment of a modest fee in order to access the full set of puzzles, though a sample can be looked at for free. The purpose of the site is to provide a challenging but recreational adjunct to logic learning; this is not an online logic course. The resolution of the problems involves translating the problems into a simple logical language in order that the computer may automatically solve them. It is therefore of interest to computing and philosophy students alike. The site was authored and developed by John Slaney, a member of the Computer Sciences Laboratory based at the Australian National University. Accounts may be set up for individual users or groups and are valid for one year. Non-subscribers can access information, registration details, and a frequently-asked questions section.
'Logic Toolbox' is a website which consists of a number of online tutorials and tools for logic students. Each part of the site consists of interactive exercises that focus on numerous topics within the following applications: Categorical propositions; Propositional logic; and Formal proofs. The site assumes prior knowledge of formal logic, although the various tools are accompanied by User Documentations that explain how they are to be used. The site, maintained by John Saetti, demonstrates how online technology may be used to assist instruction in formal logic.
Logic Tools is a website designed by John Halleck, who is based at the University of Utah. The main Logic Tools page offers a table of contents to other additional subpages. First, the Expression Evaluator page provides a program which employs standard predicate calculus to determine whether or not an expression can be always true, always false, or can be both. Second, there is a three-valued modal logic Expression Evaluator. Third, there is Check Modal System Extensions, intended to aid in the investigation of extensions of modal logics with finite distinct modalities. Fourth, Halleck offers a Logic Calculator which produces axiomatic proofs. In addition to these tools, there is a subsection on Logic System Interrelationships, with detailed information on logic systems, axioms, and rules. Certain other parts of the site remain under construction. The site can be slightly confusing, with various pages hyperlinked in different ways, and some important material embedded in obscure places. Nevertheless, there is a wealth of information here, and explanations are clear. The resource should prove useful to scholars and students working in logic, with some existing background in the area.
The Fallacy Files website provides an extensive set of examples of logical fallacies, or mistakes in reasoning, ordered alphabetically and including alternate names by which specific fallacies are known. The fallacies may also be explored through a taxonomy based on the fallacy/sub-fallacy model. Each fallacy has a page of description and analysis, which includes examples. Each fallacy file includes the 'type', 'form' and sub-fallacies associated with the fallacy being defined, as well as the resource from which this information is drawn. The site includes a selection of fallacy examples found 'in the wild', from newspapers, magazines and other media. A section on Sources and Resources provides information on other web and print-based resources concerning fallacies and informal logic. A weblog for the Fallacy Files website includes email from readers, and further provision and discussion of examples of fallacious thought. The site is easy to navigate. It will be of use to undergraduates studying critical thinking or informal logic, and also to teachers, who may need to brush up on their knowledge of logical fallacies.
This is an online tutorial covering many key concepts in basic logic and critical thinking. The tutorial consists of chapters on topics ranging from definitions, fallacies, and argument structure, through to syllogisms, propositional logic and notation, and statistical analysis. Each chapter contains a discussion, a self-quiz, and a set of interactive multiple-choice practice questions, which allow the user to see the results immediately. The online tutorial was originally designed to accompany a text on reasoning by David E. Kelley, but it is sufficiently robust to stand on its own as an introduction to critical thinking and elementary logic. The self-quiz and practice questions could also serve as useful revision tools for the undergraduate taking a course in this area.
This is a Macintosh Software for Logic website. MacLogic provides a user-friendly environment for teaching and learning first-order logic. It is a shareware program, and can be downloaded from the Web to be used on one's own machine. Using MacLogic, students are guided through the construction of proofs using a variety of logics: classical, intuitionistic, minimal, with/without equality, and with/without rules for modal logics S4 and S5. MacLogic is based on the work of Gerhard Gentzen, and provides two methods for constructing proofs: 'check' mode whereby students can check each line of a proof as it is entered, and 'construct' mode enabling students to work backwards and forwards through the sequence. Proofs are checked automatically, and can be re-edited. A range of tools is available for constructing proofs: symbols can be selected from a drop-down menu, and online help is available (covering the menu items, syntax, rules and tactics of first-order logic). Theorems can be saved, printed off and copied to other applications through the text editor. The program can be edited: further definitions can be added, and the help system, syntax, rules and tactics can be changed to suit local teaching needs. Problem libraries can be built and used as a resource for a course. The program is accompanied by a user-manual in MS-Word 4/5 formats, and can be printed off as necessary. MacLL is a proof assistant for linear logic. It contains a help system, but is otherwise unsupported.
The Medieval Logic and Philosophy website is the work of Paul Vincent Spade (Professor of Philosophy at Indiana University). Through a compilation of PDF-files (often from Spade's own teaching resources), this site offers a solid introduction to major philosophical discussions of the Middle Ages. A wide range of topics are addressed including, but not limited to: universals; metaphysics; and the trinity. Spade also touches upon such authors as: Richard Rufus; Aquinas; and Boethius. Texts by these authors and others (located under 'Stuff to Download') will be of considerable interest to undergraduate students coming to grips with a specific question in medieval philosophy. However, both postgraduates and lecturers may benefit from the many primary resources available or be interested to observe how Spade has structured and selected his own teaching materials.For those really struggling with a particular issue or requiring more information on a particular topic, there is an extensive collection of annotated links on medieval resources and materials. As of March 2007the site will no longer be updated, but the existing information remains available for use.
One of the many results from decades of study and work by Professor L.M. de Rijk (Universiteit Leiden) on logical texts of the Middle Ages, is the Medieval Logical Manuscript website. The database itself contains hundreds of entries listing the incipit, location, title, number of folios, and a host of other details. Searches can be conducted by medieval author, country, library holding, and even by content. The amount of information displayed by each search is at the discretion of the user, who may select from a variety of different fields to suit their needs. It is also possible to quickly scroll through the list of authors available and this method is probably the most efficient in beginning any search. All of this results in a fast and easy to use catalogue that will be of value to anyone conducting advanced studies of medieval philosophy in Latin. The catalogue entries are, of course, primarily limited to the research of Professor de Rijk, and so do not contain every available relevant Latin manuscript. However, the extent and number of entries is so great that it would be unlikely to not find some resource on a given medieval author. Users should take note of the introductory background material, which clarifies certain restrictions, and organizational features of the search facility. Moreover, the database cannot be browsed from the main page.
This is the homepage of 'Mind and Society' - a series of annual symposia organised jointly by the sociology departments of the University of Manchester and Manchester Metropolitan University. The initiative aims to bring together scholars from different disciplines who are interested in the implications of Wittgensteinian philosophy in the studies of science and technology, and social science. This website contains information about all the meetings they have held since the first symposium was organised in 1994. There are details of the board and the participants; and a map of how to get to the symposium. There are also details of recent publications and access to a number of articles. Links are provided to relevant websites.
'Modern Interpretation of Ancient Logics' is a website maintained by Klaus Glashoff, a former professor of mathematics at the University of Hamburg, Germany. He created this website as part of his interest in investigating and interpreting systems of formal logic through the application of modern symbolic logic. The systems in question are: the ancient Greek logic of Aristotle (384-322 BCE); the medieaval Indian Buddhist logic of Dignaga (480-540); and the early modern logic of Gottfried Leibniz (1646-1716). Each of the three logicians is introduced with a brief biography, followed by a series of papers by Glashoff in PDF. Most papers are in English though several are in German. The running theme throughout is the rewards and pitfalls of transcribing the various systems of logic into modern symbolic notation. This site would appeal to advanced students and researchers familiar with modern symbolic logic and with an interest in the history of logic or different logical systems.
The Nizkor Project: Fallacies is based on Dr. Michael C. Labossiere's Macintosh programme Fallacy Tutorial Pro 3.0. The site provides a brief description of what a fallacy is - very briefly, an error of reasoning found in an argument in which the premises do not provide the necessary degree of support for the conclusion. The Nizkor Project: Fallacies is divided into 42 sections, each dealing with a different kind of fallacy. For example, the following fallacies are covered: ad hominem, tu quoque, appeal to novelty, questionable cause, and straw man. Each section is clearly written with a number of examples for clarity of understanding. In all, this is an introduction to some of the more basic fallacies, and may be of interest to beginning undergraduates new to critical thinking. An Italian version of the site is also made available. The Fallacies pages are part of the Nizkor Project website, which is dedicated to providing educational resources on the Holocaust.
The Nordic Journal of Philosophical Logic (NJPL) is an electronic publication (ISSN: 0806-6213) devoted to papers in formal and philosophical logic and the philosophy of language. It is based at and edited by the Department of Philosophy at the University of Oslo. The papers which appear in the journal are written in English and are available in a variety of formats, including HTML, Postcript, and PDF. The papers can be browsed online or downloaded for printing. Users can access all back issues of the journal which date back to May 1996. However, free access is only allowed for volumes published until 2000. Works published after that date are not featured on the site and are accessible only to subscribers. Indeed the site itself does not seem to have been updated since then.
The Paideia Project On-Line is dedicated to the Proceedings of 20th World Congress of Philosophy at Boston University, held between 10 and 15 August 1998. The most substantial aspect of the site is the Paideia Archive, which makes available almost a thousand papers presented at the conference. The archive arranges papers by subject matter in an orderly and user-friendly manner, and the coverage is fairly comprehensive. Beyond the traditional philosophical categories, there are sections on the philosophy of sport, education, children, gender, and literature, plus regional entries focusing on African, Asian, American, and Latin American philosophy. The papers themselves are in printer-friendly HTML format and, with a few exceptions, are in English. They are written by professional philosophers and graduate students who attended the Congress. There is a sophisticated search function for finding particular topics in the archive. This resource will be of primary use to research students and faculty members, especially those investigating the less conventional or widespread areas of philosophy.
The Peirce Edition Project was established in 1976 and is based at Indiana University - Purdue University Indianapolis. The aim of the project is to document the manuscripts of, and produce a scholarly edtition of, the work of Charles S. Peirce (1839-1914). An indirect aim of the project is also to be an international centre of excellence for Peirce studies. The project has published, in printed form, six volumes of Peirce's work. A parallel electronic edition is in the process of being produced. The project's website includes the following sections: an introduction to the life and works of Charles S. Peirce; electronic companions to the printed volumes (the complete text of volume two is online), including a textual apparatus for the two-volume Essential Peirce; electronic versions of the project's newsletter; a guide to the critical methods employed by the project; and information about the staff and research interests.
David Chalmers, professor of philosophy at Australian National University, has compiled a simple, but useful, page listing contemporary philosophers who have made available their research papers online. The materials are organised into different sections, and headings include: philosophy of mind; philosophy of language; metaphysics; epistemology; philosophy of science; philosophy of logic; mathematics; philosophy of religion; applied ethics; philosophy of consciousness; value theory; and history of philosophy. There are also sections on Medieval philosophy; 17th and 18th century philosophy; Asian philosophy; Ancient Greek philosophy; and 19th and 20th century philosophy.
Philosophy and Rhetoric (ISSN: 1527-2079) is a journal which publishes articles and book reviews on the relations between philosophy and rhetoric, in both electronic and print formats. It is published quarterly by Penn State University Press and is available over the Internet as part of Project MUSE. It is edited by Gerard A. Hauser of the University of Colorado at Boulder. Topics receiving coverage include: the relations between rhetoric and logic; philosophical aspects of argumentation; the nature of rhetoric; and the relation of rhetoric to other areas of human culture and thought. All papers and reviews (since 1999) are available in normal HTML format and in printable PDF and can be located via a search facility. Access to the journal is restricted to individual subscribers (subscription details are supplied) and to university networks.
Philosophy Compass (ISSN 1747-9991) is an online scholarly journal which publishes original peer-reviewed surveys of research and other significant works from across the discipline. It fills a gap left by existing guides within the subject by focussing on the most up-to-date development in philosophy. The materials are organised according to Authors' names as well as the following themes: Aesthetics and Philosophy of Art; Continental; Epistemology; Ethics; History of Philosophy; Legal and Political; Logic and Language; Metaphysics; Mind and Cognitive Science; Naturalistic Philosophy; Philosophy of Science; and Philosophy of Religion. While this is a subscription-based journal, free trials are available from this site, together with sample articles and abstracts of all materials published. The site also provides information about its editorial board and on how to subscribe to the journal. This resource is published by Wiley-Blackwell Publishing under the general editorship of Brian Weatherson of Cornell University.
This website is developed and maintained by Dr Curtis Brown to support a Philosophy of Language module offered at Trinity University. In addition to course materials (e.g. syllabus, class schedule and assessment criteria), it offers notes and handouts on different theories and their historical backgrounds, and on the basic distinctions between syntax, semantics and pragmatics. Further, there are abstracts from and analyses of the works of W.V.O. Quine (1908-2000) and A.J. Ayer (1910-1989), and a small table of logic symbols. Links are also provided to a number of online resources that are useful for the study of the philosophy of language.
Principia is a twice-yearly journal on epistemology (ISSN: 1808-1711) based at the Federal University of Santa Catarina, Brazil. English is the dominant language but there are also papers in Portuguese, Spanish and French. The emphasis is on Anglo-Analytic epistemological theory, including aspects of logic, and philosophy of language and science. The print journal has been running since 1997, and free and open access to issues since 2003 are available on line (now the journal's main medium of publication). Included amongst these are special issues on W.V.O. Quine (1908-2000) and Donald Davidson (1917-2003). Abstracts for all pre-2003 issues are made available. Papers are in PDF, and a CD-ROM version of the journal is also offered.
'A Quick Introduction to Logic' is a piece of online courseware designed by Emeritus Professor Scott Lehmann for students in introductory philosophy courses at the University of Connecticut. The course module is in PDF and contains eight sections: arguments; evaluating arguments; uses of reasoning; comparisons of evaluation standards; direct and indirect proofs; forms of arguments; extracting arguments from texts; and testing hypotheses. This is a basic but clear resource, with the final sections implicitly emphasising the need to distinguish the essential meaning of an argument which might use emotive terms or charged language. The site encourages students not to jump to incorrect conclusions but to identify the real premises and conclusions beneath the superficial meaning of the words used. This site should provide instructors with a good teaching tool and undergraduate students with a helpful aid for reading philosophical texts as well as studying logic itself.
The Reasoning Page is a website maintained by Bruce B. Janz of the University of Central Florida. It is devoted to resources for critical thinking, formal reasoning, applied reasoning, and rhetoric. In effect, then, the site is a critical reasoning gateway. The contents are organised into the following main sections: Argumentation/Critical Thinking/Informal Logic; Formal Reasoning; History of Logic; Rhetoric; and Reasoning in Context. The selection of links is vast. Unfortunately, quite a number of these were not working at the time this record was reviewed.
The "Logic in Philosophy" research group is a primarily German association, centred around the University of Constance, and dedicated to the notion that "logic ought to bear in mind the rest of philosophy, and vice versa". The group is concerned with a range of issues including epistemology, metaphysics, the philosophy of language, and the philosophy of mind. Their work is conducted in English, which is also the language of the website, although some papers are in German. The site contains information on the group's members, projects, preprints, conferences, and workshops. Recent projects include research into: the semantic conception of the a priori; cognitive and referential aspects of concepts; believing as deciding; coherence theories of knowledge; and a structural theory of properties. The complete list of preprints stretches to over a hundred papers with many of the papers available online in PDF format. Schedules of forthcoming conferences are also included.
The Sophia Project website, run by the Department of Philosophy at Molloy College, aims to introduce the newcomer to philosophy. Ideally suited to school and FE guided study as well as new undergraduates, the Sophia Project presents philosophy to students in sections including: "What is Philosophy?", "Logic in a Nutshell", and "Reading a Philosophical Work", all of which can be found in the Resources area. Sections on philosophers from Aquinas to Wittgenstein allow the student to access primary texts and commentaries, while a useful further links section acts as a well-annotated gateway for the newcomer to philosophy. The site is well designed and all material is engagingly presented. Highly recommended.
This website contains the full text of 'Steps Toward a Constructive Nominalism', an essay by the philosophers Nelson Goodman (1906-1998) and W.V. Quine (1908-2000), first published in the Journal of Symbolic Logic in1947. The essay is a founding text in twentieth-century Anglophone nominalism (the view that there are no abstract entities), and has repercussions for metaphysics, logic, philosophy of language, and philosophy of mathematics. The essay is divided into the following sections: 1. Renunciation of Abstract Entities; 2. Renunciation of Infinity; 3. The Nominalist's Problems; 4. Some Nominalistic Reductions; 5. Elements of Nominalistic Syntax; 6. Some Auxiliary Definitions; 7. Variables and Quantification; 8. Formulas; 9. Axioms and Rules; 10. Proofs and Theorems; and 11. Conclusion.
This is the home page for Willard Van Orman Quine (1908-2000), the influential American mathematician and philosopher. The page was set up and is maintained by his son, Douglas Boynton Quine. W.V.O. Quine worked on such fields as mathematical logic, the logic of language, set theory, and the philosophy of language. His best known publications include 'The Ways of Paradox', 'Mathematical Logic', 'Set Theory and Its Logic', 'Quiddities', and perhaps the most influential, 'Word and Object'. The website is extensive in scope. It contains a detailed bibliography of Quine's papers and publications, including editions and translations. There is a selection of his book reviews, with links to the texts themselves. Newspaper profiles of Quine, and a number of obituaries, are also included. For the truly obsessive, there is even a list of the many countries that he visited, along with the amount of time spent in each and the year of the visit. The site should prove of interest to scholars studying Quine, although more primary and critical texts would improve it further.