С точки зрения доминирующей сегодня интерпретации теории множеств, быть Геральтом из Ривии (ведьмаком) это то же самое, что быть Джоном Виком (Бабой Ягой). Кто отличает Генри Кавилла от Киану Ривза ставим 👍, кто нет - ставим 👎

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

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

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

Приложение к истории философии. Согласно Гегелевской установке, многократно прописанной и в "Науке логики", и в "Энциклопедии философских наук" и максимально подробно сформулированной в "Лекциях по истории философии" - каждое исторически выступавшее философское учение реализует в качестве своего принципа одну из категорий Логики, а все вместе взятые философские учения - Логику в целом. При этом отдельные философские учения, например, Платона или Аристотеля, воплощают не отдельно взятую категорию Логики, а её некоторый раздел, включающий взаимосвязанную последовательность категорий, тогда как Логика, как раздел системы абсолютного знания самого Гегеля - всю Логику в целом.

Логика одноместных предикатов (силлогистика). #Энтимемы Энтимемой называется простой категорический силлогизм, в котором пропущена одна из посылок или заключение. Энтимема считается правильной, тогда и только тогда, когда она построена по правильному модусу (разновидности) простого категорического силлогизма. Например, Все греки - люди. Следовательно, Сократ - человек. (Пропущена посылка Сократ - грек).

#Полиссиллогизм Полисиллогизмом называется умозаключение, в котором заключение одного простого категорического силлогизма становится посылкой другого. Если заключение становится бОльшей посылкой, то полисиллогизм называется прогрессивным, если меньшей - то регрессивным.

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

Если описывать взаимодействие логической и содержательной теорий в терминах теорий языков, как систем знаков, то можно сказать, что модельно-теоретическое построение логической теории представляет собой семантический аспект изучения её языка. Тогда синтаксический аспект будет состоять в том, что мы ограничимся изучением её: 1) алфавита - набора простейших значимых в данном языке символов, 2) правил образования из этих элементарных выражений их последовательностей, а также 3) правил преобразования одних последовательностей значимых выражений в другие. Такой, как иногда говорят, синтаксический формат представления логической теории ещё называется доказательно-теоретическим, или построением логической теории в теории доказательств.

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

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

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

Задачу сведения формул к совершенным дизъюнктивным и конъюнктивным нормальным формам можно считать общей для элементарной логики высказываний и алгебры высказываний (Булевой алгебры). Однако, если в первой построение СДНФ или СКНФ завершает предшествующее построение таблицы истинности, то во второй оно выступает результатом метода эквивалентных преобразований.

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

До следующего уровня нашего канала (и новых возможностей) осталось всего 2 голоса! Поддержим, у кого есть такая возможность: https://www.tgoop.com/boost/logic_metamathematics (Особое Спасибо Анфисе, которая уже отдала свой голос за наш канал!)

Всем проголосовавшим - огромное спасибо, шагнули на следующий уровень! Теперь с меня сторис 😊

Цвет фона обоев (пурпурный, RGB, 128×0×128) выбран не случайно (возможны изменения темнее-светлее), мотивы проясню попозже...

Формат и контент обоев буду постепенно изменять: в абстрактно-идеальной ситуации в соответствии с темой постов.

Анонсирую свою открытую лекцию "Формальные системы и их значение в истории наук" (Волгоград, ул. Герцена, 10, ауд. 702) 20 ноября в 16.10 (мск). Приглашаю всех, у кого будет желание и возможность.