Студопедия  
Главная страница | Контакты | Случайная страница

АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатика
ИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханика
ОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторика
СоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансы
ХимияЧерчениеЭкологияЭкономикаЭлектроника

D® B, C®A



CÚA

¾¾¾

DÚB

D® B, C®A Ø DØ ÚB ¾¾¾¾¾ Ø CØ ÚA

 

A B   Ø принцип
и и   Ù первенства
и л   Ú символов
л и   É (по значению в таблице)
л л   º


При табличном построении логики высказываний логические константы определяются посредством таблиц истинности. При этом принимается, что каждое высказывание имеет 1 значение – или “истина”, или “ложь”.

Формула, являющаяся пропозициональной переменной – простая, а формула, содержащая логические константы – сложная. В сложной формуле можно выделить логическую константу, называемую главной логической константой формулы.

Формула, принимающая значение «истина» при любом наборе значений входящих в неё переменных, называется тождественно-истинной, или законом логики, или общезначимой.

Формула, принимающая значение «ложь» при любом наборе значений входящих в неё переменных, называется тождественно-ложной или противоречием

Формула, принимающая значение «истина» хотя бы при некоторых наборах значений переменных, называется выполнимой.


20. Метод исследования рассуждений посредством таблично построенной логики высказываний.

Логика высказывания даёт алгоритм, т.е такое кол-во шагов, в результате которого проверяется правильность суждения.

При табличном построении логики высказываний логические константы определяются посредством таблиц истинности. При этом принимается, что каждое высказывание имеет 1 значение – или “истина”, или “ложь”.

Формула, являющаяся пропозициональной переменной – простая, а формула, содержащая логические константы – сложная. В сложной формуле можно выделить логическую константу, называемую главной логической константой формулы.

Формула, принимающая значение «истина» при любом наборе значений входящих в неё переменных, называется тождественно-истинной, или законом логики, или общезначимой.

Формула, принимающая значение «ложь» при любом наборе значений входящих в неё переменных, называется тождественно-ложной или противоречием

Формула, принимающая значение «истина» хотя бы при некоторых наборах значений переменных, называется выполнимой.

Так вот. Рассуждение считается правильным, если между его посылками и заключением имеет место отношение логического следования.

Для определения правильности рассуждения требуется:

1.обозначить различными символами различные простые высказывания, входящие в рассуждение.

2.перевести на язык логики высказывания посылки и заключение.

3.формулы, являющиеся переводом посылок, последовательно соединить знаком конъюнкции.

4.к полученной формуле присоединить справа знаком импликации формулу, являющуюся переводом заключения.

5.для полученной формулы построить таблицу истинности.

Если формула, являющаяся переводом рассуждения на язык символов, оказывается тождественно-истинной, то можно сделать вывод о том, что рассуждение правильное, если тождественно-ложной, то рассуждение неправильное. Может оказаться, что формула является выполнимой, но не тождественно-истинной


21. Способ установления отношений между суждениями посредством таблично построенной логики высказываний.

Суждение - это мысль, в кот. утверждается наличие или отсутствие к.-л. ситуаций или связей между ситуациями. В языке суждение выраж. повествовательным предл. и может оцениваться в кач. ист. или ложного.

Видами отн.между суж-иями по логич. формам явл.:

 


Способ установления логич. отношения между суждениями заключается в следующем:

- суждения переводятся на язык логики высказываний;

- для формул, соответствующих суждениям, строятся сравнимые истинности;

- устанавливаются виды отношений между суждениями на основе следующих определений:

1) суждения совместимы по истинности, если, и только если, в сравнимых таблицах есть строка, в которой все формулы имеют значение «истина»;

2) суждения совместимы по ложности, если, и только если, в сравнимых таблицах есть строка, в которой все формулы имеют значение «ложь»;

3) из суждений А1, А2, …, Аn следует суждение В, если, и только если, в сравнимых таблицах нет строки, в которой все формулы, соответствующие суждениям А1, А2, …, Аn, имеют значение «истина», а формула, соответствующая суждению В, имеет значение «ложь».

Остальные отношения являются производными по отношению к названным.


24. Категорический силлогизм. Состав, общие правила силлогизма.

Категорический силлогизм – Категорическим силлогизмом является умозаключение в котором из двух атрибутивных суждений выводится третье атрибутивное суждение. В заключении категорического силлогизма связь между терминами устанавливается на основание их отношений к некоторому «третьему» термину в посылках.

Пример: Некоторое поэтические произведения - философские.

Все философские произведения – мировоззренческие.

Некоторые мировоззренческие произведения – поэтические.

В категорическом силлогизме три дескриптивных терминов, являющихся общими или единичными именами. Термины. Входящие в заключение, называются крайними, а термин, входящий в каждую из посылок но не входящий в заключение,- в среднем. В примере средним термином является общее имя «философское произведение». Средний термин обычно обозначается буквой М. Термин, соответствующий субъекту заключения, называется меньшим. Он, как правило, обозначается буквой S. Термин, соответствующий предикату заключения, называется большим и обычно обозначается буквой P.

Структура приведенного выше силлогизма:

Некоторые Р суть М.

Все М суть S.

Некоторые S суть Р.

Одним из способов установления правильности силлогизмов заключается в следующем: нужно проверить, соблюдены ли (общие) правила силлогизма.

Общие правила:

1) по крайней мере одна из посылок должна быть общим суждением;

2) по крайней мере одна из посылок должна быть общим утвердительной;

3) при одной частной посылке заключение должно быть частным;

4) при одной отрицательной посылке заключение должно быть отрицательным;

5) при обеих утвердительных посылках заключение должно быть утвердительным;

6) средний термин должен быть распределен по крайней мере в одной из посылок;

7) термин, не распределенный в посылке, не должен быть распределен в заключении.

Если ни одно из общих правил не нарушено, то силлогизм является правильным. В приведенном выше силлогизме не нарушено не одно из приведенных правил т.е. силлогизм является правильным. Если хотя бы одно из этих правил не соблюдено. то силлогизм не правильный.


25. Категорический силлогизм. Фигуры. Графический способ анализа. Энтимема силлогизма.

Категорический силлогизм – Категорическим силлогизмом является умозаключение в котором из двух атрибутивных суждений выводится третье атрибутивное суждение. В заключении категорического силлогизма связь между терминами устанавливается на основание их отношений к некоторому «третьему» термину в посылках.

Факт неправильности силлогизма можно обнаружить посредством следующего эвристического приема: нужно установить, что какие-то из так называемых правил фигур не соблюдены. (Если правила фигур соблюдены, то еще не означает, что силлогизм является правильным).

Фигуры силлогизма: Фигурами называются типы силлогизмов, выделяемые способов расположения терминов в посылках:




Дата добавления: 2015-01-05; просмотров: 42 | Поможем написать вашу работу | Нарушение авторских прав




lektsii.net - Лекции.Нет - 2014-2024 год. (0.012 сек.) Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав