Sites

The Logical Fallacies - English
URL: http://www.intrepidsoftware.com/fallacy/toc.htm

Table of Contents: Fallacies of Distraction, Appeals to Motives in Place of Support, Changing the Subject, Inductive Fallacies, Fallacies Involving Statistical Syllogisms, Causal Fallacies, Missing the Point, Fallacies of Ambiguity, Category Errors, Syllogistic Errors, Fallacies of Explanation, Fallacies of Definition. Logic Resources.

[ rus | eng ]

Логика - Russian
URL: http://www.inftech.webservis.ru/it/ii/logic/index.html

shown in filters: Publications

Статьи на тему Логика, законы и формы мышления, математические подходы к анализу рассуждений и др. Статьи: Логика естественных рассуждений, С чем идет современная логика в XXI век? О двух “вычислительных вольностях”, огорчающих логика.

[ rus ]

Проект "Реконструкция логических систем Васильева" - Russian
URL: http://www.logic.ru/Russian/RusLogic/Vasiliev/index.html

shown in filters: Publications

Исследовательский проект, посвященный реконструкции средствами современной логики идей выдающегося русского ученого Н.А.Васильева - автора "воображаемой неаристотелевой логики", одного из основоположников неклассических логик. Доступны полные тексты статей по теме проекта.

[ rus ]

Logic - Russian, English
URL: http://www.logic.ru/Russian/index.html

shown in filters: Publications

Department of Logic Moscow State University. Logical Studies. Books. Software. Logic in Russia. Events. Archimed tournament. Links. Department of Logic Inst. of Philosophy, RAS. Journal "Voprosy Filosofii".

[ rus | eng ]

Logic - Russian, English
URL: http://www.logic.ru/

shown in filters: Organizations

"Общественный институт Логики, Когнитологии и Развития Личности при Президиуме Философского Общества CССР". Цель - развитие личности, проведение исследований.

[ rus ]

Infinite Ink: The Continuum Hypothesis by Nancy McGough - English
URL: http://www.ii.com/math/ch/

shown in filters: Web Resources

History, mathematics, metamathematics, and philosophy of Cantor's continuum hypothesis.

[ eng ]

Axiom of Choice - English
URL: http://math.vanderbilt.edu/~schectex/ccc/choice.html

shown in filters: Web Resources

This page gives a brief explanation of the Axiom of Choice and links to other related websites.

[ eng ]

Beginnings of set theory - English
URL: http://www-groups.dcs.st-and.ac.uk/~history/HistTopics/Beginnings_of_set_theory.

shown in filters: Web Resources

Tutorial on set theory.

[ eng ]

Proof theory and semantics of IML - English
URL: http://www.dcs.ed.ac.uk/home/lfcsreps/EXPORT/94/ECS-LFCS-94-308/

shown in filters: Web Resources

Abstract of PhD thesis by Alex Simpson, which discusses the semantics of modal logic in an intuitionistic meta-theory.

[ eng ]

Proof theory and programming - English
URL: http://www.ercim.org/publication/Ercim_News/enw23/galmiche.html

shown in filters: Web Resources

Article by Didier Galmiche describing the applications of proof theory to programming under two paradigms, the `proofs-as-programs' and `proof-search-as-computation' that are influential in functional and logic programming respectively.

[ eng ]

Proof theory - English
URL: http://www.amsta.leeds.ac.uk/~bellin/philo.html

shown in filters: Web Resources

Series of reflections by Gianluigi Bellin on Prawitz's idea that two proofs are identical exactly when they share the same normal form.

[ eng ]

Proof theory on the eve of year 2000 - English
URL: http://www-logic.stanford.edu/proofsurvey.html

shown in filters: Web Resources, Education

Big material about proofs and logical suggestions. All the logics.

[ eng ]

Probabilistic thinking - English
URL: http://www.princeton.edu/~bayesway/

shown in filters: Web Resources, Education

Am I exist? This logical site is fulfilled with tons of such a questions. Probabilistic thinking is a branch of solipsism based on theory of probabilities.

[ eng ]

On the model theory of knowledge - English
URL: http://www-formal.stanford.edu/jmc/model/

shown in filters: Web Resources

Site offers a language for expressing the operator 'knowing that' with axioms and rules of inference and a Kripke type of semantics.

[ eng ]

Mission: critical - English
URL: http://www.sjsu.edu/depts/itl/

shown in filters: Web Resources, Education, Publications

Interactive college-level virtual lab that teaches the basic concepts of critical thinking and informal logic, such as induction, deduction and fallacies.

[ eng ]

Centre for logic and philosophy of science - English
URL: http://logica.rug.ac.be/centrum/

shown in filters: Web Resources, Organizations, Publications

It's homepage of the Centre for Logic and Philosophy of Science, a subdivision of the Philosophy and Moral Science Department at Ghent University, Belgium. Presented members' lists, events, writings and so on.

[ eng ]

Логика в России. История, направления, персоналии - Russian
URL: http://www.logic.ru/Russian/RusLogic/index.html

Здесь показано, что представляет логика в России, даны ее особенности

[ rus ]

Логика и философия в России - Russian
URL: http://www.logic.ru/russian/

Журналы: электронный 'Логические исследования', Вопросы философии. Программы, события, мероприятия. Российское философское общество. Кафедра логики МГУ. Издания и материалы. Турнир Архимеда.

[ rus ]