1. Предмет и значение логики

Вид материала

Подобный материал:

Логика.

1.Предмет и значение логики.

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

2.Мышление и язык. Знак и его виды. Естественные и искусственные языки.

Мышление – один из способов познания реальной действительности.

Познание: рациональное (абстрактное), чувственное.

Основные формы мышления:

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

форма мышления связывает несколько суждений..

Знак (языковой) представляет собой материальный объект, который заменяет другой материальный объект.

Знаки: языковые и не языковые.

Не языковые знаки существуют вне систем.

Знаки: сигналы; символы; языковые; не языковые.

Группы:

естественные языки. (русский, немецкий…)

В этих языках слово является знаком.

искусственные языки

языки созданные человеком для каких нибудь целей (языки программирования)

3.Понятие как форма мысли. Понятие и слово. Содержание и объем понятия.

Понятие – это форма мышления в которой на основе некоторой совокупности отличительных признаков предмета или их группы эти предметы обобщаются и выделяются из других предметов.

Понятия выражаются словом или словосочетанием.

Структура:

содержание - совокупность признаков с помощью которых проводится обобщение и выделение предметов,..
объём - совокупность предметов (мыслей).

4.Виды понятия в зависимости от содержания и объема.

В зависимости от содержания и объёма все понятия делятся на виды:

по содержанию различают абстрактные и конкретные понятия, положительные и отрицательные и безотносительные, соотнесённые и просто относительные.

Конкретные – понятия в которых мыслятся отдельные предметы этих классов.

Абстрактные – в которых мыслятся свойства или отношения.

Положительные – утверждается наличие какого либо признака.

Отрицательные – указывается на отсутствие признака.

Относительные, соотносительные – понятия в которых мыслятся отношения или само понятие мыслится с другими…

По объёму понятия делятся: на пустые и не пустые, на собирательные и не собирательные.

Не пустые делятся: на единичные и общие.

5.Отношения между понятиями.

Сравнительные (имеют общий признак).

Совместимые

равнозначные
подчинённые
пересечённые

Не совместимые

Соподчинённые
противоположные
притиворечущие

Далёкие понятия, не сравнимые.

6.Логические операции с понятиями: обобщение и ограничение понятий.

Обобщение – это логическая операция с помощью которой переходят от понятия с меньшим объёмом к понятию с большим объёмом.

Ограничение – логическая операция обратная обобщению, в процессе которой осуществляется переход от понятия с большим объёмом к понятию с меньшим объёмом.

7.Логические операции с понятиями: Деление и его виды. Правила деления.

Деление понятий – процесс распределения объёма исходного понятия на группы в зависимости от некоторого признака называется основным делением.

Правила деления:

правило соразмерности

по первому основанию
члены деления не должны иметь общих элементов.
деление (не) должно последовательным и не прерывным.

8.Логические операции с понятиями: классификация и ее виды.

9.Логические операции с понятиями: определение. Виды определений.

Определение – логическая операция в ходе которой устанавливаются признаки класса предметов мыслимых понятий позволяющих выделить этот класс из других предметов.

реальные и померальные (описательные).
явные и неявные

явные – перечисляют отличительные признаки определённого класса предметов.

Неявные – содержат определённые понятия, устанавливается опосредно через понятия на основе контекста и т.д.

Явные:

родовидовое определение
генетическое определение
операциональное определение

Не явные:

контекстуальные определения (контекст)
аксиоматические
индуктивные (от 1 предмета переходят к целому классу)

10.Логические операции с понятиями: правила и ошибки определения.

Приём исходного определения:

демонстрация (естественное определение)
описание
характеристика
сравнение

Ошибки:

правило соразмерности

правило «запрета круга», в определении не должно быть «круга» (нет однокоренных слов);тавтология
правило запрета отрицания
правило ясности

11.Суждение как форма мысли. Суждение и предложение. Суждение и высказывание. Простое и сложное высказывание. Логическая структура суждения.

Суждение – это форма мышления в которой, что либо утверждают или отрицают о предметах действительности.

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

Истинным называется суждение содержание которое соответствует реальной действительности.

Суждения – все повествовательные предложения и риторические вопросы.

12.Простое суждение и его виды в зависимости от количественной и качественной характеристики. Объединенная классификация простых суждений.

Все суждения делятся на виды:

суждения существования
суждения с отношением, об отношении
атрибутивные (суждения свойства) категорическое суждение

Структура простых категорических суждений

Состав:

S – субъект суждения, это предмет мысли
P – предикат
есть/не есть – связка

S есть/не есть P

Данное S есть P - единичные

Данное S есть P

Все S есть P - общие

Ни одно S не есть P

Некоторые S есть P - частные

Некоторые S не есть P

Разделяются:

общеутвердительные суждения - A
общеотрицательные - E
частноутвердительные - I
частноотрицательные - O

Единичные суждения относятся к общим суждениям.

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

	S	P
A	+	+ -
E	+	+
I	-	- +
O	_	+

13.Отношения между простыми суждениями по их истинности. Логический квадрат.

Сравнимые суждения – суждения, в которых одинаковые субъекты или предикаты.

Сравнимые суждения: совместимые и не совместимые.

Совместимые суждения:

равнозначащее

подчинённые суждения

субконтрарные

Несовместимые суждения:

контрарные суждения

противоречащие

Логический квадрат:

14.Сложные суждения. Способы их образования. Табличное определение Формальной истинности сложного суждения.

И – истинное

Л – ложное

Табличка определения истинности сложных суждений.

p	q	p q	p q	p q	p q	p q
И	И	И	И	Л	И	И
И	Л	Л	И	И	Л	Л
Л	И	Л	И	И	И	Л
Л	Л	Л	Л	Л	И	И

p q

основание следствие

P	_ P
и	л
л	и

Выполнимая формула – формула, которая может принимать значение как истинно, так и ложно. Если формула при любых значениях переменных принимает значение только «истинно», то эта формула называется тождественно-истинной формулой законов логики или тавтологией. Если формула при любых значениях переменных, входя в ёё состав, всегда принимает значение «ложно» - называется тождественно-ложной функцией.

15.Отрицание сложных суждений.

А	_ А
и	л
л	и

Отрицанием сложных суждений А называется такое суждение не-А, которое при одних и тех же значениях переменных входящих в состав обеих формул принимают противоположное значение истинности по отношению к А.

16.Умозаключение как форма мышления. Структура умозаключения. Дедуктивные и недедуктивные умозаключения.

Умозаключение – форма мышления в которой на основе 1 или нескольких посылок получается новое суждение, новое знание.

Умозаключения: дедуктивные и недедуктивные.

Недедуктивные умозаключения:

индукция
аналогия

Дедуктивное умозаключение в основе которой лежит 1 посылка называется посредственным, а в которой лежит 2 и более посылки называется опосредованнием.

Дедуктивные умозаключения:

если имеется хотя бы 1сложная посылка:

условные умозаключения;
разделительные;
условно-разделительные.

построены на основе простых умозаключений.

См в тетр..

17.Простой категорический силлогизм. Структура. Фигура и модус.

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

M P

Все студенты – учащиеся.

S M

Иванов – студент

S P

Иванов – учащийся.

S - Меньший

P – Больший

M (медиа) – Средний

M – P

S – M

S – P

Фигура силлогизма – разновидность в зависимости от места положения среднего термина.

M P P M M P P M

S M S M M S M S

S P S P S P S P

1 фигура 2 фигура 3 фигура 4 фигура

Общее правило силлогизма:

1группа:

Правило по отношению к терминам

в силлогизме должно быть только три термина.
средний термин должен быть распределён хотя бы в одной посылке.
если крайний термин (S или P) не распространён в посылке, то он не может быть распределён в заключении.

2группа:

Правило посылок

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

Модус силлогизма – его разновидность в зависимости от вида суждений входящих в его состав.

Фигуры:

1я 2я 3я 4я

AAA EAE AAI AAI

EAE AEE IAI AEO

EIO EIO AII IAI

AII AOO EAO EAO

OAO EIO

EIO

18.Простой категорический силлогизм. Способы установления правильности.

19.Условные и разделительные умозаключения. Правила вывода.

20.Условно-разделительные умозаключения. Дилемма и ее виды.

дилемма – выбор из двух вариантов.
трилемма – выбор из трёх вариантов.
полилемма – выбор из множества вариантов (больше 3х).

21.Индуктивные умозаключения. Полная и неполная индукции.

Индуктивное умозаключение – рассуждение, в котором заключается о свойствах всех элементов некоторого множества, класса, делается на основе изучения свойств отдельных элементов этого класса.

22.Популярная индукция. Условия повышения степени вероятности ее выводов.

23.Научная индукция и ее виды. Методы установления причинно-следственных связей.

24.Умозаключение по аналогии. Виды аналогии. Условия, повышающие степень достоверности выводов по аналогии.

Аналогия – не дедуктивное умозаключение, в котором заключение о свойствах или отношениях делается на основе сравнения двух объектов, при котором наличие иных общих признаков является основанием для заключения о наличие некоторого признака обнаруженного у о одного из них, у второго.

Объект A имеет признаки p, q, w, l, m, n

Объект B имеет признаки p, q, w, l. M

Возможно, что B (n)

Условия, повышающие степень вероятности заключений по аналогии:

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

25.Аргументация и ее виды. Структура аргументации.

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

Рациональные аргументы:

доказательство
опровержение

26.Доказательство и его виды.

Доказательство – разновидность рациональной аргументации, в процессе которой показывается истинность или обоснованность некоторого положения.

Доказательство:

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

27.Опровержение. Способы опровержения.

Опровержение – рассуждение о рациональности аргумента процесс которой является показ несостоятельности, необоснованности или ложности.

Способы:

критика тезиса
критика аргумента
критика аргументации

28.Правила доказательства и опровержения. Ошибки в доказательствах и опровержениях.

Ошибки аргументации:

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

29.Аргументация в диалоге. Аргументация и полемика. Виды полемики.

30.Гипотеза. Структура и виды гипотез. Версия как разновидность гипотезы.

Гипотеза – это обоснованное предположение, о существование какого либо объекта, о его связях и отношениях, о его свойствах.

Гипотеза:

общая
частная
единичная

Разновидность гипотезы – версия.

31.Способы подтверждения и опровержения гипотез.

Blog

1. Предмет и значение логики