роголошується задум побудова деякої «трансцендентальної дедукції», здатної віходити за Межі Законів формальної логікі. Нарешті, напрікінці 19 століття в роботах англійського вченого Джорджа Буля Суворов формулюється ідея логічної змінної и логічніх рівнянь, поступово оформляється нова структура, ськладової алгебру думки и Отримала Назву «булевої алгебри» на ім »я свого першовідкрівача. У 20-му столітті дедуктивно логіка становится Розділом математики и почінає назіватіся «математичность логікою». Основні ідеї та методи дедуктивного підходу одержують зовсім Суворов вирази засобой мови математики. З цього годині ПОЧИНАЄТЬСЯ бурхливих ріст математичної логікі як нового напряму математичного Знання, що получил Назву «метаматематика». Такий бурхливих и успішній Розвиток дедуктівної логікі прізвело до формулювання Поняття формальної дедуктівної (аксіоматічної) системи, до РОЗГЛЯДУ структурованих Якої ми нижчих коротко и звернемося. Дедуктивного система - це область мислення и мови, у Високому Ступені оброблено засобой дедуктівної логікі и отрімує у зв'язку з ЦІМ Певний закінченій и організованій вигляд.
качанів (посилка) дедукції є аксіомі <# «justify"> . Розділово-категорічні умовиводи
умовиводів, в якіх одна з передумов є розділовім суджень <# «justify">
(Тут нужно строго розділову суджень). Тоб: перша посилка: або A, або B, або C ..., друга посилка: B; Висновок (Висновок): отже, що не A, що не C ....
2.Отріцающе-який стверджує модус (лат. <# «justify">.
тоб: перша посилка: A або B або C ..., друга посилка: чи не A, що не C ...; Висновок (Висновок): отже, B.
. Умовні умовиводи
умовиводи, посилки и Висновки якіх - Умовні суджень <# «justify"> · контрапозиции:
.
тоб: посилка: Якщо A, то B; ВИСНОВОК: отже, Якщо не B, то чи не A.
· Складна контрапозиции:
.
тоб: посилка: Якщо A и B, то C; ВИСНОВОК: отже, ЯКЩО A и НЕ C, то чи не B.
· Транзітівність:
.
тоб: перша посилка: Якщо A, то B, друга посилка: Якщо B, то C; ВИСНОВОК: отже, ЯКЩО A, то C.
. Ділема
Особливий вид умовіводів з двох умовних суджень и одного розділового <# «justify"> Віді правильних Ділема:
· конструктівні:
(тоб: перша посилка: Якщо A, то C, друга посилка: Якщо B, то C, а третіна посилка: A або B; ВИСНОВОК: отже, C);
(Складна)
(тоб: перша посилка: Якщо A, то B, друга посилка: Якщо C, то D, а третіна посилка: A або C; ВИСНОВОК: отже, B або D);
· деструктівні:
(тоб: перша посилка: Якщо A, то B, друга посилка: Якщо A, то C, а третіна посилка: чи не B б або не C; ВИСНОВОК: отже, що не A);
(Складна)
(тоб: перша посилка: Якщо A, то B, друга посилка: Якщо C, то D, а третіна посилка: чи не B б або не D; ВИСНОВОК: отже, що не A б або не C).
Загальна схема організації дедуктивного систе...
