Несовершенный означает в данном случае, что заключение выводится правильно, но может быть обобщено.

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

Поясню, здесь (выше) надо выбрать высказывание, которое будет истинным, но умозаключение будет неправильным.

Немного усложним нашу задачу -- построим совершенный силлогизм с ложными посылками и ложным заключением:

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

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

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

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

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

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

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

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

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

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

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

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