Вместе с древнегреческим философами-стоиками 4-3 вв. Хрисиппом, Зеноном (это не тот Зенон, чьи апории о невозможности движения мы обсуждали) и Аркесилаем мы будем считать очевидно неправильным умозаключение, в котором каждая посылка истина, а заключение - ложно.
❤12✍5👍2👏1💅1
Когда подобным образом мы формулируем то, что может быть названо критерием правильности умозаключения (рассуждения), то надо учесть следующее обстоятельство: мы предполагаем, что по крайней мере для того, кто выстраивает это рассуждение, значения посылок и заключения являются очевидными или непосредственно достоверными или уже известными или интуитивно принимаемыми. И в этом случае выстраивающий умозаключение с истинными посылками и ложным заключением рассуждает заведомо неправильно.
❤13✍5👍2👏1💅1
О критерии правильности (неправильности) умозаключения более подробно: #КритерийНеправильностиУмозаключений
❤🔥8✍3👍2💅1
Следующие однопосылочные (непосредственные) умозаключения построены правильно:
Все яблоки - фрукты.
Следовательно,
Некоторые фрукты - яблоки.
Все яблоки - фрукты.
Следовательно,
Некоторые яблоки - фрукты.
Все яблоки - фрукты.
Следовательно,
Все яблоки - фрукты.
Все яблоки - фрукты.
Следовательно,
Ни один предмет, не являющийся фруктом, не есть яблоко.
Все яблоки - фрукты.
Следовательно,
Некоторые фрукты - яблоки.
Все яблоки - фрукты.
Следовательно,
Некоторые яблоки - фрукты.
Все яблоки - фрукты.
Следовательно,
Все яблоки - фрукты.
Все яблоки - фрукты.
Следовательно,
Ни один предмет, не являющийся фруктом, не есть яблоко.
❤13✍3👍2👏2🕊1💅1
Теперь неправильные однопосылочные умозаключения:
Все яблоки - фрукты.
Следовательно,
Все фрукты - яблоки.
Все яблоки - фрукты.
Следовательно,
Ни один фрукт не является яблоком.
Все яблоки - фрукты.
Следовательно,
Все яблоки - растения.
Все яблоки - фрукты.
Следовательно,
Все груши - фрукты.
Все яблоки - фрукты.
Следовательно,
Все фрукты - яблоки.
Все яблоки - фрукты.
Следовательно,
Ни один фрукт не является яблоком.
Все яблоки - фрукты.
Следовательно,
Все яблоки - растения.
Все яблоки - фрукты.
Следовательно,
Все груши - фрукты.
❤13✍3👍2👏1💅1
Об использовании букв и чисел для записи предметных переменных и предметных констант. Для записи предметных переменных, как это и общепринято сегодня, мы будем использовать малые (строчные) буквы латинского алфавита, а для записи предметных констант будем к малым буквам латинского алфавита добавлять в правом нижнем углу число (числовой индекс). Подчеркнём, что предметная переменная может обозначать любой объект рассматриваемой предметной области, а предметная константа - единственный.
✍10❤5👍2👏2
Предметная константа может быть рассмотрена как точное (т.е. уникальное и неповторимое) собственное имя отдельного объекта рассматриваемой предметной области, а предметная переменная - как неопределённое местоимение.
❤🔥9❤4👍2👏2
Формализация первого (правильного) из вышеперечисленных умозаключений с предметными переменными будет выглядеть так:
Всякий объект х, который обладает свойством S (является яблоком), обладает свойством P (есть фрукт).
Следовательно, Некоторые объекты х, которые обладают свойством Р (являются фруктами) есть S (являются яблоками).
Всякий объект х, который обладает свойством S (является яблоком), обладает свойством P (есть фрукт).
Следовательно, Некоторые объекты х, которые обладают свойством Р (являются фруктами) есть S (являются яблоками).
❤13✍3👍2👏1
Когда Гегель в 83 параграфе Энциклопедии философских наук говорит о делении логики на учения о бытии, о сущности и о понятии и идее, то он замечает следующее: "доказать означает в философии показать, как предмет через самого себя и из самого себя делает себя тем, что он есть".
✍11❤🔥5👍4❤2👏2🔥1
В Гегелевской системе абсолютного знания, которая начинается с Логики, предмет, делающий себя из самого себя - это мыслящее само себя мышление. В нашем случае - это мышление, изучающее себя в логических теориях и возвращающееся в заключении рассуждения к своим исходным высказываниям - посылкам. Можно сказать, рекурсивно мыслящее само себя мышление.
❤9✍4👍2🤓2👏1
О счислениях и исчислениях. Система счисления - это перечень символов, используемых для записи чисел, а также совокупность правил, по которым числа будут записываться. В школе, прежде чем приступить к изучению арифметики, мы знакомимся именно со системой счисления - цифрами, которые в дальнейшем будем использовать для записи чисел. Арифметические операторы (например, +, -, :, *) не относятся к системе счисления. При построении исчисления нам также прежде всего предстоит явным образом показать (перечислить) каждый символ, составляющий строящееся исчисление. Если в системах счисления это цифры, то в логических теориях это логические операторы, символы для обозначения выражений, от содержания которых мы отвлекаемся, а также скобки.
✍9❤4👍2👏1
В грамматике мы также поступаем подобным образом, начиная её изучение с алфавита. С точки зрения образовательного процесса это означает, что изучение логических теорий вряд ли целесообразно предпосылать знакомству с алфавитом и цифрами.
✍9❤5👍2👏1
Составление логических задач. Ранее мы установили, что одно из оснований построения логических теорий - доказательство правильности либо неправильности умозаключения (рассуждения). При чем если для доказательства неправильности произвольного умозаключений достаточно привести контрпример умозаключения той же формы, где каждая посылка была бы истинной, а заключение - ложным, то для доказательства правильности требуется построить теорию, в которой будут сформированы определения, положения и приёмы, позволяющие это сделать.
❤🔥5✍3👍1
Такие теории в логике делятся на формальные и содержательные в зависимости от того, обозначают ли их значимые выражения, соответственно, сами себя или объекты любой другой природы.
❤🔥5✍2👍2
Задачи в формальных теориях сводятся к следующим типам: 1) установить, являются ли рассматриваемые в задаче предметы (объекты, символы) значимыми в данной теории - задача на распознавание путём установления тождества совокупности отличительных признаков образцов значимых выражений и рассматриваемых в задаче объектов; например, при построении исчисления предикатов мы говорим, что "предметная константа - это малая (строчная) буква латинского алфавита с числовым индексом в правом нижнем углу" и затем спрашиваем:
✍7❤🔥3👍1
Какое из выражений является предметной константой:
Anonymous Quiz
23%
t
13%
T
36%
t1
9%
2T
19%
Никакое из вышеперечисленных
✍2👍2
Пусть предметная переменная - это малая (строчная) буква без числовых индексов в правом нижнем углу. Тогда:
❤5✍1👍1
Какое из выражений является предметной переменной:
Anonymous Poll
3%
D
20%
я
63%
f
22%
f1
8%
Затрудняюсь ответить
👍9✍1🤡1🐳1
Почему нам так важно особое внимание уделить предметным константам, или индивидным символам, как их называет Клини? Потому, что они обозначают отдельные объекты рассматриваемых предметных областей, которые в рамках соответствующих теорий в дальнейшем не детализируются на другие объекты. Таковы: натуральное число в арифметике, точка в геометрии, материальная точка в классической механике, пропозициональная буква в логике высказываний, уникальные собственные имена в грамматике и особи в теории онтогенеза.
❤7✍6👏2⚡1👍1👎1