Справка

Библиотечка по логике

Обновления Библиотечки

2012

22.03.2012 – Размещены недавно вышедшие статьи 2011 г. "Скобки в математике: логико-семиотический анализ" и "О совместном становлении математики и философии в Древней Греции".

2011

21.03.2011 – Восстановлены некоторые из ранее утерянных ссылок на ресурсы в сети.

14.03.2011 – Обновлена сокращенная версия перевода статьи "Формализация франмента первой части “Этики” Спинозы": добавлены латинские оригиналы формализуемых утверждений и источник в сети с полным латинским текстом Этики Спинозы, добавлены ссылки на описание логического исчисления, близкого к используемому авторами, несколько изменено оформление. В тематические подборки добавлена ссылка на статью "Семиотический анализ логико-математической символики. (О синонимии, полисемии, омонимии, антонимии, конверсии)".

26.02.2011 – Обновления в ссылках на Интернет-ресурсы: добавлен ряд ссылок на библиотеки, видеотеки, журналы и информационные сайты по математике, логике и философии.

2010

8.11.2010 – Обновления в литературе.

7.11.2010 – Правка ссылок на литературу по сравнительному изучению формальных теорий в связи с переносом и переименованием некоторых файлов. Мелкая правка в коллекции Интернет-ссылок.

6.11.2010 – Создан раздел "Формальные реконструкции философских теорий". Временно полностью заблокирован "Справочник по формальным реконструкциям силлогистик".

5.11.2010 – Восстановлены ссылки на перевод статьи А.Блюма и С.Малиновича "Формализация фрагмента первой части "Этики" Спинозы" (версия перевода 2005).

8.09.2010 – В БД исправлены или удалены неработающие ссылки на ресурсы в сети. Исправлен ряд внутренних не работавших ссылок.

2008-2009

• 19-21 ноября 2009. Проведено разделение информационной системы на подпроекты, рубрика "Библиотечка" выделена в отдельный проект, созданы необходимые вспомогательные материалы и проведена необходимая редактура кодов.

26 марта - 8 апреля 2008. На основе материалов Информационной системы по формальным теориям создан раздел "Библиотечка".

• 1-8 апреля 2008. Рубрика "Библиотечка" выделена в отдельный блок. Имеющийся материал разбит на рубрики (пока временные). Модуль ссылок на логические ресурсы в Интернете расширен до 31 ссылки.
• 26-31 марта 2008. Создан раздел "Библиотечка", в который вошли материалы прежнего раздела "Литература" Информационной системы по формальным теориям. Туда же помещены ссылки на различные логические ресурсы в сети.