Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | ||
|
Введение в формальную логику
Учебное пособие
Для упражнений, помеченных знаком +, в конце даны ответы |
Предмет и основные понятия логики
Основные понятия, которые необходимо усвоить: · рассуждение · умозаключение · структура умозаключения · структура (форма) языкового выражения · параметры выражения · истинностное значение · высказывание · заведомо логически некорректное умозаключение · контрпример к схеме умозаключения · критерий правильности умозаключения · закон логики |
Логику определим так: это наука о правильных – или слабее, допустимых – способах рассуждения.
В литературе можно встретить другие, более широкие, определения логики. Вот несколько примеров.
Логика – это нормативная наука о формах и приемах интеллектуальной познавательной деятельности, осуществляемой с помощью языка. [Бочаров, Маркин 1994]
Логика – наука, изучающая с формальной точки зрения понятия, методы их определения и преобразования, суждения о них и структуры доказательных рассуждений [Непейвода 1997], где понятие характеризуется как языковая единица, имеющая достаточно четко определенный смысл.
Ключевой компонент всякого рассуждения – шаг вывода, выражаемый в русском языке, например, выражениями «следовательно», «поэтому», «таким образом» и синонимичными им. Без шага вывода текст – произнесенный, написанный или помысленный - будет чем угодно, только не рассуждением.
Рассуждение – процедура пошагового обоснования некоторого высказывания путем пошагового его выведения из других высказываний. [Бочаров, Маркин 1994]
Умозаключение – рассуждение, в котором шаг вывода делается один раз.
Вместо шага вывода говорят также о непосредственном переходе от посылок к заключению.
В структуре умозаключения существенны следующие 3 компонента:
· посылки (=гипотезы, допущения, предположения) – высказывания, предшествующие шагу вывода, истинность которых допускается, принимается или доказана;
· шаг вывода;
· заключение (=вывод).
Пример То, чего ты не терял, ты имеешь; ты не терял рогов, стало быть ты имеешь рога.
С точки зрения важнейших составляющих это умозаключение, придуманное в Древней Греции и даже имеющее название ("Рогатый"), имеет вид:
две посылки – шаг вывода – заключение.
" То, чего ты не терял, ты имеешь" – посылка
" Ты не терял рогов" - посылка
"стало быть"- шаг вывода
"Ты имеешь рога" – заключение
Дата публикования: 2014-10-25; Прочитано: 201 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!