Міністерство освіти і науки Російської Федерації
Федеральне державне бюджетне освітня установа
Контрольна робота
Логіка і дедукція
2014р.
Зміст
Вступні положення
I. Безпосередні умовиводи
.1 Безпосередні умовиводи з простих суджень
.2 Безпосередні умовиводи із складних суджень
II. Опосередковані умовиводи з простих суджень
.1 Простий категоричний силогізм
.2 Складний категоричний силогізм
.3 несилогістичних дедуктивні опосередковані умовиводи (з суджень про відносини)
III. Опосередковані умовиводи із складних суджень
.1 Умовне умовивід
.2 Розділове умовивід
Бібліографія
умовивід судження силогізм дедуктивний
Вступні положення
Висновок - міркування, в ході якого з к.-л. вихідних суджень - посилок - за допомогою логічних правил отримують висновок - нове судження. Напр., З суджень Всі люди смертні і Кай - людина ми можемо вивести за допомогою правил простого категоричного силогізму нове судження: Кай смертний .
У символічній логіці висновок визначається більш строго - як послідовність висловлювань або формул, що складається з аксіом, посилок і раніше доведених формул (теорем). Остання формула даної послідовності, виведена як безпосередній наслідок попередніх формул по одному з правил виводу, прийнятих у розглянутій аксіоматичної теорії, являє собою виведену формулу. Оскільки кожна формальна система має свої власні аксіоми і правила виводу, остільки у всякій системі поняття виведення носить специфічний характер.
Умовивід - розумовий процес, в ході якого з одного або декількох суджень, званих посилками, виводиться нове судження, зване висновком або слідством. Умовиводи часто підрозділяють на дедуктивні та індуктивні. У дедуктивних У., якщо посилки істинні і при цьому дотримані відповідні правила логіки, то висновок буде істинним. У індуктивних У. при істинності посилок і при дотриманні відповідних логічних процедур (напр., Правил узагальнення) укладення в загальному випадку може виявитися як істинним, так і помилковим. Сучасна формальна логіка на основі різних логічних систем моделює процеси У., що протікають в мозку людини. Правила логіки виявляються на основі формалізації конкретних за змістом У. У природному конкретно-змістовному мисленні деякі посилки часто пропускаються, що не формулюються в явній формі, тим більше не формулюються в явній формі і правила виводу: вони застосовуються людиною на основі інтуїтивно Це веде до появи логічних помилок. Знання всіх увазі посилок, їх логічної форми, що виявляється на основі формалізації, а також правил логіки дозволяє контролювати використання різних форм умозаключаем діяльності мислення. У процесі міркування, що представляє собою свідомий, послідовно здійснюваний розумовий процес, в процесі докази к.-л. положень ми часто користуємося ланцюжками У. (див .: Смітить). Умовою правильності таких міркувань і доказів є не тільки істинність посилок (аргументів, підстав), але й дотримання правил логіки
Дедукція- перехід від посилок до висновку, що спирається на логічний закон, в силу чого висновок з логічною необхідністю випливає з прийнятих посилок. Характерна особливість Д. полягає в тому, що від істинних посилок вона завжди веде тільки до істинного висновку.
I. Безпосередні умовиводи
Залежно від числа посилок, з яких можна зробити той чи інший висновок, дедуктивні умовиводи підрозділяються, насамперед, на безпосередні та опосередковані.
Безпосередні умовиводи - це такі, які робляться з однієї посилки.
Опосередковані умовиводи - ті, які робляться з декількох (двох і більше) посилок.
. 1 Безпосередні умовиводи з простих суджень
Безпосередні умовиводи можна отримати, насамперед, з простих суджень - як атрибутивних, так і реляційних. Стосовно до атрибутивною судженням це досягається двояким шляхом: 1) через перетворення суджень і 2) через відношення суджень (в логічному квадраті ). Безпосередні умовиводи через перетворення суджень. Перетворення суджень відбувається у формах звернення і перетворення, на основі поєднання яких можливі протиставлення суб'єкту і протиставлення предикату.
У силу чого можливо тут умовивід? В силу того, що нам відомо ставлення суб'єкта (S) судження до предикату (P). На цій основі можна вивести...
