Попробуем построить правильный силлогизм по второй фигуре:

Построим правильный силлогизм по второй фигуре с истинными посылками и истинным заключением:

С днём рождения Гегеля, дамы и господа!

Здравствуйте, уважаемые дамы и господа! Всех - с началом учебного года 😁 Некоторые паузы с постами объясняются моим желанием пересмотреть ряд излагаемых положений образовательного курса и их адаптацией к текущим исследованиям в области логики и метаматематики. Приложу все усилия к соблюдению ежедневного регламента, но твердо не обещаю - всё-таки это не рутинный процесс.

Пересдача по логике (и другим дисциплинам, которые я вел) в субботу, 5.09, 13.00-14.20 в 707 аудитории. Кто пересдает, не забудьте зачётные книжки и взять направления заранее.

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

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

#Понятие #ПростоеВысказывание
#ПринципыКлассическойЛогики #КритерийНеправильностиУмозаключений

Вышеприведённая цитата из "Метафизики" Аристотеля показывает, как с помощью чувственного восприятия мы решаем задачи распознавания. Обратим внимание, что зрение даёт возможность одновременной оценки множества предметов, в то время, как классические Машины Тьюринга всегда обрабатывают только одну ячейку бесконечной ленты. Это может означать, что у человека есть преимущества в скорости обработки входных данных по сравнению с цифровым устройством.

Предварительно логику можно определить как науку о формах мышления. К основным формам мышления относятся: 1) понятие, 2) высказывание (суждение) и 3) умозаключение (рассуждение). #Понятие
Понятие есть форма мышления, позволяющая, благодаря указанию на признаки предметов (свойства предметов или их отношение друг к другу), выделять предметы, обладающие этими признаками.
Понятия, преимущественно, выражаются именами существительными, а также именами прилагательными или глаголами или словосочетаниями, в которых главное слово – существительное. Кроме того, собственные имена единичных, уникальных предметов мы также будем рассматривать в качестве понятий (хотя в собственных именах, как правило, не отражаются специфические отличительные или другие существенные признаки). Междометия, предлоги и союзы – это не понятия.

Высказывание - форма мышления, в которой: 1) утверждается либо отрицается что-либо о чем-нибудь, такие высказывания называются простыми; 2) отражается некоторая связь нескольких событий друг с другом, описываемых по крайней мере двумя простыми высказываниями - такие высказывания называются сложными.

Для того, чтобы повествовательное предложение было простым высказыванием, необходимо наличие в нём по крайней мере двух понятий (субъекта и предиката) и связки (утвердительной либо отрицательной). Субъект - это понятие, обозначающее предмет, то о чём идёт речь. Предикат - понятие обозначающее признак (свойство или отношение), приписываемый либо не приписываемый предмету.

Связка - это выражение, посредством которого признак приписывается предмету либо отрицается в отношении него. Поэтому связки существуют двух типов: утвердительная связка ЕСТЬ и отрицательная НЕ ЕСТЬ, с помощью утвердительной мы приписываем признаки, а с помощью отрицательной - отрицаем.

Если свойство (или отношение) приписываемое предмету либо отрицаемое в отношении него в действительности, соответственно, принадлежит либо не принадлежит данному предмету, то такие высказывания называются истинными, в противном случае - ложными. Истина и ложь - это значения высказываний.

Умозаключением (рассуждением) будем называть переход от одного или нескольких высказываний к другому. Исходные высказывания называются посылками, а то, которое получается в результате - заключением.

Например, следующие совокупности высказываний являются примерами умозаключений (рассуждений):

Все греки – люди.
Сократ – грек.
Следовательно, Сократ – человек.

Если идет дождь, то асфальт – мокрый.
Неверно, что асфальт мокрый.
Значит, Неверно, что идет дождь.

Все футболисты – спортсмены.
Все баскетболисты – тоже спортсмены.
Следовательно, Некоторые баскетболисты играют в футбол.

Если идет дождь, то асфальт – мокрый.
Асфальт мокрый.
Таким образом, Идет дождь.

Первые два умозаключения – правильные, а два последних – неправильные.

Во всех вышеперечисленных примерах умозаключений первые два предложения - посылки, а третье - заключение. В первом и третьем примерах обе посылки и заключение - простые высказывания; во втором и четвертом - вторая посылка и заключение - простые высказывания, а первая - сложное. Понятия в первом и третьем: Сократ, грек, человек, футболист, баскетболист, спортсмен; во втором и четвертом - дождь, идёт, асфальт, мокрый.