Онтологія античності Аристотеля
Роботами мислителя зацікавилися вчені, коли стали використовувати в своїх інтерпретаціях методи Слинина Я. А. “Символічна логіка” – це підручник, написаний ученим і випущений в Санкт-Петербурзі. У книзі представлені теорії класичної та модальної логіки. Важливою частиною концепції ставало приведення до КНФ в символічній логіці формули логіки висловлювання. Скорочення означає кон’юнкцію або диз’юнкцію змінних.
Слинин Я. А. припустив, що складні заперечення, які вимагає неодноразового приведення формул, повинні перетворитися в подформулу. Таким чином він перетворював деякі значення у понад мінімальні і розв’язував задачі в скороченому варіанті. Робота з запереченнями зводилася до формули де Моргана. Закони, які носять ім’я де Моргана, являють собою кілька пов’язаних один з одним теорем, які роблять можливим перетворення тверджень і формул в альтернативні і часто більш зручні. Закони полягають у наступному:
- Заперечення (або суперечливість) диз’юнкції одно об’єднанню заперечення альтернатив – p або q одно не p і не q або символічно ~ (p ⊦ q) ≡ ~p · ~q.
- Заперечення кон’юнкції одно заперечення диз’юнкції вихідних конъюнктов, тобто не (p і q) одно не p або не q, або символічно ~ (p · q) ≡ ~p ⊦ ~q.
Завдяки цим вихідним даним багато математики стали застосовувати формули для вирішення складних логічних задач. Багатьом відомо, що є курс лекцій, де вивчається область перетину функцій. І матрична інтерпретація також базується на формулах логічності. У чому ж суть логіки в алгебраїчної зв’язку? Це рівнева лінійна функція, коли на одну чашу можна поставити науку про числа та філософію як «бездушну» і не рентабельну сферу міркувань. Хоча Кант Е. вважав інакше, будучи математиком і філософом. Він відзначав, що філософія є ніщо, поки не доведено інше. А доказ має бути науково обґрунтованим. Так і вийшло, що філософія стала мати значимість завдяки поєднанню з цією природою чисел і обчислень.
