Вместе с древнегреческим философами-стоиками 4-3 вв. Хрисиппом, Зеноном (это не тот Зенон, чьи апории о невозможности движения мы обсуждали) и Аркесилаем мы будем считать очевидно неправильным умозаключение, в котором каждая посылка истина, а заключение - ложно.

Когда подобным образом мы формулируем то, что может быть названо критерием правильности умозаключения (рассуждения), то надо учесть следующее обстоятельство: мы предполагаем, что по крайней мере для того, кто выстраивает это рассуждение, значения посылок и заключения являются очевидными или непосредственно достоверными или уже известными или интуитивно принимаемыми. И в этом случае выстраивающий умозаключение с истинными посылками и ложным заключением рассуждает заведомо неправильно.

О критерии правильности (неправильности) умозаключения более подробно: #КритерийНеправильностиУмозаключений

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

Все яблоки - фрукты.
Следовательно,
Некоторые фрукты - яблоки.

Все яблоки - фрукты.
Следовательно,
Некоторые яблоки - фрукты.

Все яблоки - фрукты.
Следовательно,
Все яблоки - фрукты.

Все яблоки - фрукты.
Следовательно,
Ни один предмет, не являющийся фруктом, не есть яблоко.

Теперь неправильные однопосылочные умозаключения:

Все яблоки - фрукты.
Следовательно,
Все фрукты - яблоки.

Все яблоки - фрукты.
Следовательно,
Ни один фрукт не является яблоком.

Все яблоки - фрукты.
Следовательно,
Все яблоки - растения.

Все яблоки - фрукты.
Следовательно,
Все груши - фрукты.

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

Предметная константа может быть рассмотрена как точное (т.е. уникальное и неповторимое) собственное имя отдельного объекта рассматриваемой предметной области, а предметная переменная - как неопределённое местоимение.

Пример

Формализация первого (правильного) из вышеперечисленных умозаключений с предметными переменными будет выглядеть так:
Всякий объект х, который обладает свойством S (является яблоком), обладает свойством P (есть фрукт).
Следовательно, Некоторые объекты х, которые обладают свойством Р (являются фруктами) есть S (являются яблоками).

Когда Гегель в 83 параграфе Энциклопедии философских наук говорит о делении логики на учения о бытии, о сущности и о понятии и идее, то он замечает следующее: "доказать означает в философии показать, как предмет через самого себя и из самого себя делает себя тем, что он есть".

В Гегелевской системе абсолютного знания, которая начинается с Логики, предмет, делающий себя из самого себя - это мыслящее само себя мышление. В нашем случае - это мышление, изучающее себя в логических теориях и возвращающееся в заключении рассуждения к своим исходным высказываниям - посылкам. Можно сказать, рекурсивно мыслящее само себя мышление.

О счислениях и исчислениях. Система счисления - это перечень символов, используемых для записи чисел, а также совокупность правил, по которым числа будут записываться. В школе, прежде чем приступить к изучению арифметики, мы знакомимся именно со системой счисления - цифрами, которые в дальнейшем будем использовать для записи чисел. Арифметические операторы (например, +, -, :, *) не относятся к системе счисления. При построении исчисления нам также прежде всего предстоит явным образом показать (перечислить) каждый символ, составляющий строящееся исчисление. Если в системах счисления это цифры, то в логических теориях это логические операторы, символы для обозначения выражений, от содержания которых мы отвлекаемся, а также скобки.

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

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

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

Задачи в формальных теориях сводятся к следующим типам: 1) установить, являются ли рассматриваемые в задаче предметы (объекты, символы) значимыми в данной теории - задача на распознавание путём установления тождества совокупности отличительных признаков образцов значимых выражений и рассматриваемых в задаче объектов; например, при построении исчисления предикатов мы говорим, что "предметная константа - это малая (строчная) буква латинского алфавита с числовым индексом в правом нижнем углу" и затем спрашиваем:

Пусть предметная переменная - это малая (строчная) буква без числовых индексов в правом нижнем углу. Тогда:

Почему нам так важно особое внимание уделить предметным константам, или индивидным символам, как их называет Клини? Потому, что они обозначают отдельные объекты рассматриваемых предметных областей, которые в рамках соответствующих теорий в дальнейшем не детализируются на другие объекты. Таковы: натуральное число в арифметике, точка в геометрии, материальная точка в классической механике, пропозициональная буква в логике высказываний, уникальные собственные имена в грамматике и особи в теории онтогенеза.