Сайти

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.logic.ru/Russian/Books/ContLC4r.html

Содержание книги: Интуитивное понимание многозначной логики и её возникновение. Источники многозначности. Многозначные истинностные таблицы для доказательства независимости аксиом. Логический принцип двузначности (бивалентности). Аристотелевский фаталистический аргумент и его опровержение. Предшественники многозначной логики. Введение в логику третьего истинностного значения Я.Лукасевичем.

[ rus ]

Анализ и синтез дискретных устройств - Russian
URL: http://www.dvgups.ru/METDOC/GDTRAN/YAT/AT/TOAVTOM/A/index.htm

відбирається фільтрами: Публікації

Полнотекстовый учебник по алгебре логики применительно к проектированию релейных схем.

[ rus ]

Journal "SPECTRAL AND EVOLUTIONAL PROBLEMS" - English
URL: http://www.ccssu.crimea.ua/internet/Education/sep.html

Journal contains accounts of lectures and papers of the participants of the Crimean Autumn Mathematical School-Symposiums, which was held by the Crimean Mathematical Foundation. The materials of the Symposiums are devoted to the actual mathematical investigations in the field of spectral and evolutional problems, and to the close questions.

[ eng ]

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

відбирається фільтрами: Публікації

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

[ rus ]

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

відбирається фільтрами: Публікації

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

[ rus ]

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

відбирається фільтрами: Публікації

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 ]

Логика предикатов - Russian
URL: http://www.isu.ru/~slava/do/disc/predlog.htm

відбирається фільтрами: Публікації

Полнотекстовый учебник по математической логике - теория предикатов.

[ rus ]

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

відбирається фільтрами: Організації

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

[ rus ]

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

відбирається фільтрами: Ресурси Інтернет

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

[ eng ]

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

відбирається фільтрами: Ресурси Інтернет

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.

відбирається фільтрами: Ресурси Інтернет

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/

відбирається фільтрами: Ресурси Інтернет

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

[ eng ]

Proof Theory as an alternative to model theory - English
URL: http://www-lp.doc.ic.ac.uk/UserPages/staff/ft/alp/comment/proof.html

відбирається фільтрами: Ресурси Інтернет, Публікації

Short article by Dale Miller, arguing that logic programming languages (`declarative programming languages') should base their semantics on proof theory, not model theory.

[ eng ]

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

відбирається фільтрами: Ресурси Інтернет

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 on the eve of year 2000 - English
URL: http://www-logic.stanford.edu/proofsurvey.html

відбирається фільтрами: Ресурси Інтернет, Освіта

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

[ eng ]

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

відбирається фільтрами: Ресурси Інтернет, Освіта

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/

відбирається фільтрами: Ресурси Інтернет

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/

відбирається фільтрами: Ресурси Інтернет, Освіта, Публікації

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

[ eng ]

Identifying the argument of the essay - English
URL: http://commhum.mccneb.edu/argument/summary.htm

відбирається фільтрами: Ресурси Інтернет, Освіта, Публікації

A good tutorial to reaction on critical essays for selecting argument and conlusion in it.

[ eng ]