CALCULEMUS
LogBank Title Page LogBank Main Menu


LOGIC & PHILOSOPHY OF SCIENCE

12th Century Logic HomePage
http://iwakuma.ecn.fpu.ac.jp/

This page, maintained by IWAKUMA Yukio (yukio@fpu.ac.jp), provides access to various papers and resources in Medieval Logic.

Alonzo Church Archive
http://www.alonzo.org/

From this site you can browse and download photographs and scanned images of holograph manuscripts, letters, and original publications. Eventually the site will contain the collected works of Alonzo Church which are soon to be published by MIT Press. The maintainer of the site can be contacted at webmaster@alonzo.org

Association for Symbolic Logic
http://www.math.uiuc.edu/~asl/

This site provides information on the association, as well as meetings, conferences and announcements, and a link to the Bulletin of Symbolic Logic. The site is maintained by adam@math.uiuc.edu.

Association for the Foundations of Science
http://pespmc1.vub.ac.be/AFOS/

AFOS (afos@plearn.edu.pl) is an international professional association of working scientists, theorists of science, linguists and logicians that was founded in 1993. This site provides detailed information on AFOS and links to its mailing list.

Australian Logic Home Page
http://www.cse.unsw.edu.au/~ksg/AusLogic/

This site, maintained by Maurice Pagnucco (morri@cse.unsw.edu.au) provides links to a variety of logic resources, and information on Australian events for logicians and students of logic.

Beginner's Guide to Research in the History of Science
http://www.kaiwan.com/~lucknow/horus/guide/tp1.html

From Ronald Tobey (lucknow@kaiwan.com), this is an online version of a book published in 1995, and provides information and advice for students of the history of science.

Bertrand
http://www.humnet.ucla.edu/humnet/phil/grads/herzberg/Bertrand.html

Bertrand is symbolic logic software for the Macintosh, which may be downloaded from this site. Using a decomposition/instantiation algorithm inspired by the "consistency tree" method found in Leblanc and Wisdom's textbook "Deductive Logic", Bertrand solves sets of first-order symbolic logic statements (subject-identity supported) for satisfiability (consistency), validity, and equivalence. It also checks single statements for "logical truth" and "logical falsity," and produces truth-tables for single truth-functional statements. The site is maintained by Larry Herzberg (herzberg@humnet.ucla.edu).

British Logic Colloquim
http://www-theory.dcs.st-and.ac.uk/~rd/blc/

The BLC aims to advance the education of the public within Great Britain and Northern Ireland in the study of formal or mathematical logic and other subjects in so far as they relate to such logic. This web site provides information on the activities of the BLC, links to logic-related resources, and is maintained by Roy Dyckhoff (rd@dcs.st-and.ac.uk).

British Society for Philosophy of Science
http://www.dur.ac.uk/~dfl0www/bsps/BSPSHome.html

This site provides information on the activities of the BSPS which publishes the British Journal for Philosophy of Science. This page is maintained by Ginny Watkins.

Category Theory
http://math.rutgers.edu/~mauri/categories.html

This site, maintained by Luca Mauri (mauri@math.rutgers.edu ), provides resources and information on category theory including links to Theory and Applications of Categories (an electronic journal) American Mathematical Society preprint server for category theory, abstracts and papers, events relevant to the topic, mailing list information, links to people and departments working on category theory, and links to other pages with relevant information.

Christian Gottschall's Gateway to Logic
http://www.gew.univie.ac.at/~chris/formular-uk.html

This page, in German and English versions, provides access to logic software including a proof checker, proof builder and client and server side processors which handle Parse trees, alpha graphs (Peirce), Begriffsschrift notation (Frege), Polish notation, truth tables, normal forms, miscellaneous operations in classical propositional logic and some multi-valued logics. Christian can be contacted at chris@gewiwuerg.gew.univie.ac.at

Computational Logic, St. Andrews
http://www-theory.dcs.st-and.ac.uk/Groups/logic.html

This research project, headed by Roy Dyckhoff (rd@dcs.st-and.ac.uk), comprises the development of proof assistants and theorem-provers for various logics. The site lists recent publications of the project staff, and provides access to logic software, the Logic Work Bench Project at Bern, the AI repository as CMU, and the Computational Logic Network.

Critical Thinking Core Concepts
http://www.kcmetro.cc.mo.us/longview/ctac/corenotes.htm

From Longview Community College, this site provides an excellent introduction to basic logic, including a short history of logic, a discussion of symbolic vs. informal logic, and an introduction to logical vocabulary.

Description Logics
http://www.ida.liu.se/labs/iislab/people/patla/DL/index.html

This site provides access to resources for those interested in or doing research in description logics. The site is maintained by Patrick Lambrix (patla@ida.liu.se).

Ethics & Genetics: A Global Conversation
http://www.med.upenn.edu/~bioethic/genetics.html

What do you think about genetic testing, genetic enhancement, gene therapy, genetic engineering? This "electric conversation" lets you post your comments instantly and engage in live conversation with any of the hundreds who visit our site every week. 10 researchers in the field serve as discussants, posting remarks, papers, and comments upon which visitors can comment. The site is maintained by Glenn McGee (mcgee@mail.med.upenn.edu).

Evolution, Complexity & Philosophy
http://www.sepa.tudelft.nl/webstaf/hanss/evolu.htm

This site provides links to resources in biological evolutionary and ecological theory, artificial intelligence, chaos theory, memetics, and related areas of philosophy. It is maintained by Hans-Cees A.M. Speel (hanss@sepa.tudelft.nl).

Fuzzy Logic FAQ
http://www.cs.cmu.edu/Web/Groups/AI/html/faqs/ai/fuzzy/part1/faq.html

From the newsgroup com.ai.fuzzy, this list of Frequently Asked Questions (and their answers), provides an extensive source of information on fuzzy logic.

History of Science Society
http://weber.u.washington.edu/~hssexec/index.html

This site provides information on the society's activities, meetings, and membership, and provides links to research tools, information on employment and research opportunities, and various competitions. The Executive of HSS can be contacted at hssexec@u.washington.edu.

History of Science, Technology and Medicine
http://www.asap.unimelb.edu.au/hstm/hstm_ove.htm

This page which is part of the WWW Virtual Library series, contains a range of information including: bibliographies, organisations and conferences, specialised collections and documents, women scientists, biographical dictionary, historical directory of scientific institutions and organisations, museums, exhibitions and images, electronic journals, email discussion lists and news groups. The page is maintained by Tim Sherratt (Tim.Sherratt@asap.unimelb.edu.au).

Hypertext Bibliography of Measures of Complexity
http://www.fmb.mmu.ac.uk/~bruce/combib

This is a bibliography produced by Bruce Edmonds (B.Edmonds@mmu.ac.uk) covering some of the philosophical and practical references to the concept and measurement of Complexity. It does not attempt to cover all the new sciences that might come under the "Complexity" banner, unless they are relevant to the idea of Complexity per se.

Indiana University: Program in Pure and Applied Logic
http://www.phil.indiana.edu/~iulg/iulg.html

Information about the IU course in pure and applied logic can be found at this site. Enquiries can be directed to iulg@phil.indiana.edu.

Informal Fallacies
http://www.drury.edu/faculty/Ess/Logic/Informal/Overview.html

From Charles Ess (DRU001D@vma.smsu.edu), this site provides a guide to logical fallacies, grouped into three sections: fallacies of relevance, fallacies of presumption, and additional fallacies, and written as a guide for undergraduate students.

Institute for Logic, Language and Computation
http://www.fwi.uva.nl/research/illc/

The Institute (illc@fwi.uva.nl) is located at the University of Amsterdam and its web page provides information on courses and syllabi, research conducted at the Institute, newsletters and publications, and information on forthcoming events relevant to the work of the Institute.

Kurt Goedel Society
http://www.logic.tuwien.ac.at/kgs/home.html

An international organisation for the promotion and research in all areas of logic, in philosophy, and in history of mathematics. Access information about the activities of the society, and information on membership. The Society can be contacted through its secretary Karin Horwein (karin@logic.tuwien.ac.at).

Laboratory for Applied Logic
http://lal.cs.byu.edu/

The Laboratory for Applied Logic is a research unit of the Department of Computer Science at Brigham Young University. The laboratory specialises in applying mathematical methods to problems in computer dependability. This page includes section on formal methods, research projects (modelling abstract hardware components, verified computer systems, and WWW technologies), papers and technical reports. The site is maintained by Paul Black (black@cs.byu.edu).

Linear Logic
http://www.csl.sri.com/linear/sri-csl-ll.html

This site, maintained by Patrick Lincoln (Lincoln@csl.sri.com), provides an introduction to linear logic, and papers, bibliographies and course materials for those researching or teaching linear logic.

Logic
http://people.delphi.com/gkemerling/lg/

The treatment of elementary logic on this site, from Garth Kemerling (gkemerling@delphi.com), closely follows the structure, content, and nomenclature of Copi and Cohen, Introduction to Logic (9th Ed.) (New York: Macmillan, 1994). It includes discussion of: Logical Arguments, Language and Logic, Informal Fallacies, Definition and Meaning, Categorical Propositions, Categorical Syllogisms, Syllogistic in Ordinary Language, Symbolic Representation, Proving Validity and Invalidity, Quantification Theory, Analogical Argument, Causal Reasoning, Scientific Explanation, and Probability.

LogicAL: Logic, Philosophy, and Artificial Life Resources
http://uu-gna.mit.edu:8001/~napoli/LAMBDA/logical.html

A comprehensive site with links to resources divided into the following categories: Logic through History, Logic and Philosophy, Logic and Education, Logic and Mathematics, Logic and Computation, Fuzzy Logic, Automata and Systems, and Meetings and Conferences. The site is maintained by S. Kritikos (napoli@sturgeon.mit.edu).

The Logic Daemon
http://logic.tamu.edu/

Enter a sequent to prove, then enter your proof, press a button, and watch the Colin Allen's (colin-allen@tamu.edu) logic daemon do its thing checking the validity of your proofs. This site will no doubt be of enormous help to logic students. An alternative service via email to logic@tam2000.tamu.edu is also offered.

Logic Group Preprint Series
http://www.phil.ruu.nl:80/home/marco/preprints.html

This page, maintained at the University of Utrecht Philosophy Department by Marco Hollenberg (hollenb@phil.ruu.nl), provides access to a series of preprints in logic.

Logic, Language, and Reasoning Web
http://medlar.doc.ic.ac.uk/

The Logic, Language and Reasoning Web page is sponsored by the research group on Language and Reasoning Agents whose active research interests include logics of practical reasoning, natural language processing and multi-agent systems. Enquiries about the page can be directed to rjc@doc.ic.ac.uk.

Logic Notation on the Web
http://www.earlham.edu/suber/writing/logicsym.htm

So far HTML does not support most of the symbols which make up standard logic notation. On this page, Peter Suber (peters@earlham.edu), provides links to information about the development of HTML to support logic notation, and pages which provide alternative solutions.

Logic Puzzles
http://einstein.et.tudelft.nl/~arlet/puzzles/logic.html

From Arlet Ottins (arlet@dutecai.et.tudelft.nl), this page provides some fun logic puzzles and their solutions.

MacTutor History of Mathematics Archive: Great Mathematicians
http://www-groups.dcs.st-and.ac.uk:80/~history/BiogIndex.html

This site provides biographies as well as links to further information on a number of great thinkers in the field of mathematics. The information can be searched alphabetically or chronologically. The sites creators are John O'Connor (joc@st-andrews.ac.uk) and Edmund Robertson (efr@st-andrews.ac.uk).

Mathematical Logic Around the World
http://www.uni-bonn.de/logic/world.html

This site, created by Boris Piwinger (3.14@Uni-Bonn.de), links to logic resources, projects and teaching at various universities and centres around the world. The site also provides a logic preprint service.

Medieval Logic and Philosophy
http://www.phil.indiana.edu/~spade/

This page, from Paul Vincent Spade (spade@indiana.edu), provides links to resources in medieval logic and philosophy. It includes email addresses of others working in this field, a section called 'Questions and Requests' where Paul provides a place to post requests for information so that others visiting the site might offer assistance, the obligatory page of links, and a variety of papers which can be downloaded and read with the Adobe Acrobat reader.

Minnesota Centre for Philosophy of Science
http://www.umn.edu/mcps/center/mcps.html

The University of Minnesota houses the Minnesota Center for Philosophy of Science (MCPS)--the oldest centre for philosophy of science in the world. Founded by Herbert Feigl in 1953 the Centre is a research unit whose members include faculty from a variety of units on the Twin Cities campus. It is the source of the series Minnesota Studies in the Philosophy of Science, published by the University of Minnesota Press. Overall, the Minnesota Centre for Philosophy of Science represents one the world's largest concentrations of resources for the study of philosophy of science. This site, maintained by Steve Lelchuk (mcps@maroon.tc.umn.edu), provides information on the activities of the centre and links to resources in philosophy of science.

New Foundations
http://math.idbsu.edu/~holmes/holmes/nf.html

This page, by Randall Holmes (holmes@math.idbsu.edu), provides information and resources related to the set theory "New Foundations", first introduced by W. V. O. Quine in 1937.

Paul Wong's Logic Page
http://www.sfu.ca/philosophy/paulwong.htm#Logic

Paul Wong's (wongas@arp.anu.edu.au) page provides extensive links to logic and related resources, as well as more general philosophy links. The page can also be found at http://arp.anu.edu.au/~wongas/#Logic

Philosophy of Science & Information Technology:
A Tribute to Thomas Kuhn
http://www.brint.com/kuhn.htm

This site presents a collection of online papers influenced by the work of Thomas Kuhn.

Philosophy of Science and Mathematics: Events in Britain
http://www.herts.ac.uk/humanities/philosophy/philsci.html

From this site, maintained by Brendan Larvor (B.P.Larvor@HERTS.AC.UK), access information on events in philosophy of science in Britain and abroad. Access to information pertaining to the British Society for Philosophy of Science, the British Society for Philosophy of Mathematics, and lists of philosophy of science resources is also provided.

Philosophy of Science Association
http://scistud.umkc.edu/psa/

This site, maintained by George Gale (ggale@cctr.umkc.edu) and Elam O'Renick (eorenick@umkc.edu ), provides links to the association's mailing list, journal, and newsletter.

Philosophy of Science Society, Japan
http://cogsci.l.chiba-u.ac.jp/PSSJ/pssj.html

This site provides access to the Society's mailing list and journal (in Japanese), as well as links to philosophy of science resources.

Paradoxes, Valdosta State University
gopher://catfish.valdosta.peachnet.edu:70/11/ccr/subjv/phi/paradoxes

From this gopher site, you can access a variety of puzzles and Paradoxes including: logic puzzles, induction puzzles, black hole paradox, and Newcomb paradox. Enquiries about the site can be made to Ron Barnette (rbarnett@grits.valdosta.peachnet.edu).

Quadralay's Fuzzy Logic Archive
http://www.quadralay.com/Fuzzy

This site, provided by Quadralay (WebMistress@quadralay.com), provides access to fuzzy logic FAQs, brief course in fuzzy logic, fuzzy logic for beginners, fuzzy logic international, Erick Horskotte on fuzzy logic, and the fuzzy email server.  

Stephen's Guide to Logical Fallacies
http://www.assiniboinec.mb.ca/user/downes/fallacy/fall.htm

The point of an argument is to give reasons in support of some conclusion. An argument commits a fallacy when the reasons offered do not support the conclusion. These pages, by Stephen Downes (downes@adminnet.assiniboinec.mb.ca), describe the known logical fallacies, and are an excellent teaching resource.


Monash University Personal Page Disclaimer

This is a personal page published by the author. The ideas and information expressed on it have not been approved or authorised by Monash University either explicitly or impliedly. In no event shall Monash University be liable for any damages whatsoever resulting from any action arising in connection with the use of this information or its publication, including any action for infringement of copyright or defamation.


This is no original source but just quoting tha data downloaded.