Тюрин, С. Ф. Метод резолюций и аристотелевская силлогистика в преподавании математической логики [Текст] / С. Ф. Тюрин, Ю. А. Аляев, Ю. В. Чаукин> // Открытое образование. - 2005. - N 6. - С. . 54-57. - s, 2005, , rus. - RUMARS-otob05_000_006_0054_1. - Научная библиотека Западно-Казахстанского аграрно-технического университета им. Жангир хана. - N 6. - С. 54-57. - otob05_000_006_0054_1, 6, 54-57
Рубрики: Образование. Педагогика--Организация образования--Применение вычислительной техники в педагогике Российская Федерация РФ Россия Москва Кл.слова (ненормированные): студенты -- математическая модель -- преподавание -- аристотелевская силлогистика -- методы резолюции -- логика Аннотация: Новая информационная цивилизация характеризуется возрождением преподавания логики на многих специальностях и направлениях высших учебных заведений, причем часто логика рассматривается как единая наука, как сплав традиционной логики и символической логики. Доп.точки доступа: Аляев, Ю. А.; Чаукин, Ю. В. Нет сведений об экземплярах (Источник в БД не найден) |
Задорин, В. В. (канд. филос. наук). 16 двухтерминных модельных схем аристотелевской силлогистики [Текст] / В. В. Задорин> // Вестник Волгоградского государственного университета. Сер. 7, Философия. Социология и социальные технологии. - 2010. - N 1 (11). - С. 46-50 : Ил.: 1 табл. - Библиогр.: с. 50 (1 назв. ) . - ISSN 1998-9946
Рубрики: Логика Общие вопросы логики Кл.слова (ненормированные): силлогистика -- аристотелевская силлогистика -- простое категорическое высказывание -- высказывания (логика) -- субъекты высказывания -- предикаты высказывания -- универсумы рассуждения -- неуниверсальные термины -- универсальные термины -- непустые термины -- пустые термины -- логики Аннотация: Представлены 16 возможных модельных схем, описывающих все возможные отношения между субъектом и предикатом простого категорического высказывания. Для одной из них, наличие которой имеет полемический характер, приведены доводы логического и метафизического характера. Доп.точки доступа: Бочаров, В. А.; Маркин, В. И. Нет сведений об экземплярах (Источник в БД не найден) |
Задорин, Вячеслав Владимирович (кандидат философских наук). Доказательство методом аналитических таблиц "слабых" модусов аристотелевской силлогистики [Текст] / В. В. Задорин> // Вестник Волгоградского государственного университета. Сер. 7, Философия. Социология и социальные технологии. - 2011. - N 1 (13). - С. 76-79. - Библиогр.: с. 79 (5 назв. ) . - ISSN 1998-9946
Рубрики: Логика Общие вопросы логики Кл.слова (ненормированные): силлогистика -- силлогизм -- метод аналитических таблиц -- аналитические таблицы -- доказательства -- аристотелевская силлогистика -- логика предикатов -- простой категорический силлогизм -- простое категорическое высказывание -- модусы -- высказывания (логика) -- логики Аннотация: Утверждается, что однокванторная запись простых категорических высказываний позволяет методом аналитических таблиц доказать правильность всех 24 модусов простого категорического силлогизма аристотелевской силлогистики, что является новым для логических исследований. Доп.точки доступа: Бочаров, В. А.; Маркин, В. И. Нет сведений об экземплярах (Источник в БД не найден) |
Кузнецов, Валерий Григорьевич (доктор философских наук; профессор). Интенсиональная силлогистика Г. В. Лейбница и ее роль в истории логики [Текст] / В. Г. Кузнецов> // Вестник Московского университета. Сер. 7, Философия . - 2017. - № 4. - С. 3-18. - Библиогр.: с. 17-18 . - ISSN 0201-7385
Рубрики: Философия Всемирная история философии Логика Общие вопросы логики Кл.слова (ненормированные): аристотелевская силлогистика -- высказывания -- интенсиональная силлогистика -- история логики -- немецкая философия -- объем термина -- понятия -- силлогистика -- содержание термина -- традиционная силлогистика -- универсальный язык -- философы Аннотация: Рассматривается концепция содержательной интерпретации традиционной силлогистики. Целью Лейбница является создание универсального языка для записи и проверки рассуждений. Основой такого языка должна стать новая логика. Обсуждаются семантические проблемы новой интенсиональной силлогистики. Доп.точки доступа: Лейбниц, Г. В. (немецкий философ; математик ; 1646-1716); Аристотель (древнегреческий философ ; 384-322 до н. э.) Нет сведений об экземплярах (Источник в БД не найден) |