Свободная воля и законы природы

Нет, еще найти нельзя. Кант доказывает это очень просто, но это такая простота, которая выше гениальности.

Еще в IV-м веке до нашей эры Аристотель удачно описал имеющиеся в распоряжении рассудка формы логических суждений и умозаключений.

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

Например: "Этот нож острый"; "В моем саду растет яблоня"; "Химия – естественная наука", и т.п.

Умозаключение (силлогизм) есть усложненное утверждение. Обычно оно состоит из 3-х частей: большой посылки, малой посылки и вывода. Т.е. это логическая конструкция, позволяющая связать два разных суждения, имеющих общий термин, и вывести из них третье. Большая посылка устанавливает правило, а малая посылка подводит нечто под это правило. Вывод делается с помощью "Аксиомы силлогизма". Ее формулируют по-разному. Сам Аристотель дал такую формулировку[1]:

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

По-другому:

"Признак признака есть признак самой вещи".

В современной терминологии основной закон силлогизма звучит так:

"Если (А) – это (В), то все, что можно сказать о (В), можно сказать и об (А)".

Т.е. если малая посылка утверждает, что (А) – это (В), то тем самым (А) подводится под понятие (В) как его частный случай. Значит, все, что можно сказать в большой посылке о (В), можно сказать и об (А).

(А) может быть не только конкретным объектом, но и понятием. Например, если малая посылка силлогизма утверждает, что автомобиль – это вид транспорта, то все, что можно сказать в большой посылке вообще о транспорте, можно сказать и об автомобиле.

Еще по-другому:

"Если из А следует В, а из В следует С, то из А следует С".

Вот пример логического умозаключения (силлогизма):

Большая посылка: "Каждый российский рабочий имеет право раз в месяц получать зарплату".

Малая посылка: "Иван Петрович Сидоров – российский рабочий".

Прежде чем сделать вывод, Логика строго спрашивает:

– Вы уверены насчет зарплаты? Это точно, что ежемесячно?

– Сложный вопрос, но вообще-то хотелось бы…

– А этот Ваш Сидоров, он в самом деле рабочий? Не тунеядец, не жулик?

– Да кто его знает, я его вообще-то никогда не видел…

– Ну, это Ваши проблемы! Во всяком случае, если Вы ручаетесь за истинность посылок, я могу гарантировать Вам истинность вывода:

Вывод: "Иван Петрович Сидоров имеет право ежемесячно получать зарплату".

За дальнейшими подробностями надо обращаться к учебнику логики.

Кант расположил формы логических суждений оригинальным образом в виде таблицы. Вот эта таблица:

2.17.

––

____Таблица_форм_логических_суждений

_____________________________________

__________1._"Количество"

__________________________

____________Единичные

____________Частные

____________Общие

__2._"Качество"_____3._"Отношение"

___________________________________

__Утвердительные____Категорические

__Отрицательные_____Гипотетические

__Ограничительные___Разделительные

__________4._"Модальность"

___________________________

____________Проблематические

____________Ассерторические

____________Аподиктические

Кант и эту таблицу почти не комментирует, предполагая у читателей полное знакомство с логикой, что очень затрудняет понимание его книги.

Весь комментарий к таблице форм логических суждений – на моей совести.

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

"Она, правда, немного скучновата, но зато очень пользительна".

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