Лекции по Логике
Подождите немного. Документ загружается.
Делимое – это родовое понятие, объём которого может быть получен через
составляемые виды.
Член деления – виды родового понятия, полученные в результате операции
деления.
Основание деления – признак, по которому производится операция деления.
Деление проводится либо по видоизменению признака, либо путем сечения
(дихотомического деления).
Дихотомическое деление – это деление объёма понятия на два
противоречащих понятия.
Деление по видоизменению признака осуществляется путем деления, в
результате которого объём делимого родового понятия может быть
неисчерпаемым.
На практике часто используется смешанное деление. Логические операции
деления проводятся по правилам, присущим для логики:
Деление проводится по одному основанию.
Деление должно быть исчерпывающим (сумма объёмов членов деления
должна ровняться всему объёму понятия).
Члены деления должны исключать друг друга.
Деление должно быть последовательным и непрерывным.
В логике существует особый вид деления, представляющий собой
распределение различных предметов по группам, каждая из которых имеет
своё определённое место.
Для классификации учитывается следующее:
Деление, или система последовательных делений производится по
признакам, которые являются существенными для решения
теоретических и практических задач.
В ходе классификации параметры распределяются по границам так,
что бы по месту в классификации можно было судить о свойствах.
Классификация, как правило, представляется в виде схем или таблиц.
Классификация возможна по несуществующим признакам. Данная
классификация называется искусственной.
05.12.06.
Логическое суждение.
Суждение – это такая форма мышления, в которой что-либо утверждается
или отрицается о существовании предмета или явлений, о связях между
предметами или явлениями и их свойствами или отношениями между
предметами.
Суждение формируется с помощью понятий. Суждение не может
существовать без понятий, но и понятие не может существовать без
суждений, так как в понятии заложена определённая мысль, которая
11
раскрывается через суждение. На основе суждений, отражающих опыт
человеческого бытия, вырабатываются новые понятия. Таким образом, с
точки зрения формальной логики, суждения выполняют в познании роль
более высокого порядка, чем понятие.
Суждение может быть истинным или ложным. Истинное суждение –
такое, в котором связь понятий правильно отражает реальные свойства в
отношении предмета. Логическое суждение называется ложным, если связь
понятий искажает объективные свойства и отношения предмета мысли.
Языковой формой выражения суждения является предложение. Суждение –
есть мысль, а предложение – выражение мысли словами. В вопросительных и
восклицательных суждениях ничего не утверждается. Они не истинны, не
ложны. Исключения:
Суждение может выражаться риторическим вопросом.
Суждение выражается побудительным предложением.
Между суждениями и выражающими их предложениями нет полного
совпадения. Одно и то же предложение иногда выражает два и более
суждения.
12.12.06.
Виды умозаключений.
Все умозаключения делятся на виды по различным основаниям:
По составу.
По количеству посылок.
По характеристикам логического следования.
По степени общности знаний в посылках и заключении.
По составу все умозаключения делятся на:
Простые – умозаключения, элементы которых не являются
умозаключениями.
Сложные – умозаключения, состоящие из двух или более
простых умозаключений.
По количеству посылок умозаключения делятся на:
Непосредственные (одна посылка).
Опосредованные (две или более посылок).
По характеристикам логического следования все умозаключения делятся
на:
Необходимые (демонстративные) – это такие умозаключения, в
которых истинное умозаключение обязательно следует из
истинных посылок (т. е. логическое следование в таких выводах
представляет собой логический знак). К необходимым
умозаключениям относятся все виды дедуктивных
умозаключений, а так же некоторые виды индуктивных
умозаключений (полная индукция).
12
Правдоподобные (вероятные и недемонстративные).
Умозаключение – это форма мышления или умственное действие,
посредством которого из одного или нескольких связанных суждений
выводится новое суждение. Структура любого умозаключения включает в
себя посылки, заключения и обоснования знания. Посылки суждения
содержат исходные, уже имеющиеся знания.
Заключение – вновь полученное суждение, содержащее и обосновывающее
новое знание. Это знания, объясняющие правомерность перехода от посылок
к заключению (правила умозаключения).
Умозаключение состоит из:
Дедукция.
Индукция.
Аналогия.
Правдоподобное умозаключение – это такое умозаключение, в котором
заключение следует из посылки с большей или меньшей степенью
вероятности.
19.12.06.
Индуктивные умозаключения.
Переход от знания в отдельном к знанию общему в логике осуществляется
с помощью индуктивного умозаключения (индукция в переводе с латинского
значит наведение).
Индуктивным умозаключением называется умозаключение, в котором на
основании принадлежности признака отдельным предметам или частям
некоторого класса, делается вывод о принадлежности к классу в целом.
Посылками индивидуального умозаключения выступают суждения, в
которых фиксируются полученные опытным путем повторяемость признака
П у ряда явлений, принадлежащих классу А. Всем предметам класса К будут
присущи следующие признаки П если:
1. Явление (событие) С1 имеет признаки П, Сн имеет признак П.
2. От С1 до Сн элементы (части) классов К.
В основе индуктивного метода лежит логический переход от посылок к
заключению, с учетом всеобщего характера причинной связи. Проявление
необходимых признаков явлений через устойчивую повторяемость.
Основной функцией индуктивных выводов в процессе познания является
генерализация, т. е. получение общих суждений. По своему содержанию и
познавательному значению эти обобщения могут быть различных
характеров:
Простейшие обобщения.
Эмпирические обобщения (в науке).
Универсальные суждения, которые выражают всеобщие законы.
Различают два вида индуктивных умозаключений:
13
Полная индукция.
Неполная индукция.
Виды индукции определяются полнотой и закономерностью эмпирического
исследования.
26.12.06.
Основные способы доказательства. Доказательные рассуждения.
Доказательные рассуждения различаются по своему отношению и
выдвинутому тезису. Они либо подтверждают, либо опровергают
истинность или ложность. Отсюда вытекают различия между способами
доказательств:
1. Подтверждение тезиса (т. е. обоснование истинности тезиса).
2. Опровержение тезиса (т. е. обоснование ложности тезиса).
По способу обоснования истинности тезиса доказательства делятся на:
1. Прямые.
2. Косвенные.
Прямое доказательство – это непосредственное выведение истинности
данного тезиса из аргументов по определённым правилам умозаключения. В
прямом доказательстве тезис обосновывается аргументами без
использования допущений противоречащих тезису. Прямое логическое
доказательство тезиса осуществляется следующими методами:
Дедуктивное подтверждение тезиса (его сущность состоит в
выведении тезиса из установленных истинных аргументов).
Индуктивное подтверждение тезиса (достигается через полную
или неполную индукцию путем исследования всех возможных
случаев истинности доказанного тезиса и обобщение их в едином
выводе).
Косвенное доказательство – это такое доказательство, в котором тезис не
выводится прямо из аргументов, а обосновывается с помощью допущений, …
с тезисом. Различают два вида косвенных доказательств:
Косвенное апагогическое доказательство – это обоснование
истинности тезиса путем установления ложности антитезиса
(антитезисом называется суждение, противоречащее антитезису). К
косвенным апагогическим доказательствам прибегают в тех случаях,
когда верность тезиса невозможно доказать прямо и непосредственно.
Косвенное разделительное доказательство – состоит в том, что
доказательный тезис рассматривается как одно из альтернативных
предложений, по своей сумме исчерпывающее все возможные
предложения по данному вопросу. Разделительное косвенное
доказательство применяется в тех случаях, когда известно, что
доказываемый тезис является одним из предложений, выдвигаемых по
данному вопросу. Вся совокупность предложений выражается в виде
14
разделительного суждения, состоящего из простых суждений, одним
из которых является доказываемый тезис.
15