Предмет и значение логики. Базовые логические законы. Логика. Теория аргументации

1.

Предмет и значение логики.
Базовые логические законы.
Логика. Теория аргументации.

2.

Предмет, законы и функции логики
Сущность и предмет логики
Законы логики
Закон тождества
Закон (запрета) противоречия
Закон исключённого третьего
Закон достаточного основания
Формы мышления в традиционной логике
• Понятие
• Суждение
• Умозаключение

3.

Сущность и предмет логики
Логика
(греч. λογική, наука о мышлении,
от λόγος, слово, понятие) –
наука о законах, формах, приёмах и правилах
мыслительной познавательной деятельности.
Следует иметь в виду, что, хотя принципы (законы), формы, методы
и правила мышления, изучаемые логикой, могут быть выявлены
в практике мышления, предшествовавшей созданию логики,
в своих развитых формах они самой логикой и создаются.
Логика – это особый, искусственный язык,
специально созданный и приспособленный
для нужд теоретического мышления.

4.

Сущность и предмет логики
Теория –
в более узком и специальном смысле –
высшая, самая развитая форма организации научного знания,
дающая целостное представление
о закономерностях и существенных связях
определённой области действительности –
объекта данной теории.
По своему строению теория представляет
внутренне дифференцированную, но целостную систему знания,
которую характеризуют
логическая зависимость одних элементов от других,
выводимость содержания теории из некоторой совокупности
утверждений и понятий – исходного базиса теории.
В. С. Швырёв. Теория // Новая философская энциклопедия

5.

Сущность и предмет логики
Знание
(οἶδα)
Дотеоретическое
(практическое) знание
Теоретическое
(умозрительное) знание
Знание
единичного
Неиспользующее память
Чувственное
восприятие
(αἴσθησις)
Знание
общего
Опирающееся
на память
Опыт
(ἐμπειρία)
Искусство
(τέχνη)
Наука
(ἐπιστήμη)
Философия
(φιλοσοφία)

6.

Законы логики
Первые три закона логики: тождества, запрета противоречия
и исключённого третьего – сформулировал создатель логики
Аристотель в IV в. до н. э.
Аристотель
(384 – 322 до н. э.)

7.

Законы логики
Закон тождества
Законы логики
Закон
тождества
Логические выводы
надёжны лишь при условии,
что все понятия (термины)
в пределах рассуждения
имеют один и тот же смысл.
A есть А.

8.

Законы логики
Закон тождества
Несомненно, что те,
кто намерен участвовать в беседе,
должны сколько-нибудь
понимать друг друга.
Если это не достигается, то
как можно беседовать друг с другом?
Поэтому каждое слово должно быть
понятно и обозначать что-то,
и именно не многое, а только одно;
если же оно имеет несколько значений,
то надо разъяснять,
в каком из них оно употребляется.
Аристотель.
«Метафизика».

9.

Законы логики
Закон тождества
Если в пределах одного рассуждения понятия (термины)
употреблять в разных смыслах, будут получаться
нелепые выводы, вроде нижеследующих:
Все слоны имеют хобот.
Шахматные фигуры, занимающие в начальном положении
третьи от вертикальных краёв шахматной доски клетки
в крайних горизонтальных рядах, суть слоны.
Следовательно,
шахматные фигуры, занимающие в начальном положении
третьи от вертикальных краёв шахматной доски клетки
в крайних горизонтальных рядах, имеют хобот.
Все люди – братья.
Все дети разбежались.
Мои сёстры – люди.
Вася – ребёнок.
Следовательно,
мои сёстры – братья.
Следовательно,
Вася разбежался.

10.

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

11.

Законы логики
Закон запрета противоречия
Законы логики
Закон
тождества
Закон [запрета]
противоречия
Логические выводы
Не могут быть
надёжны лишь при условии, одновременно истинными
что все понятия (термины)
два противоречащих
в пределах рассуждения
высказывания об
имеют один и тот же смысл. одном и том же предмете.
A есть А.
Неверно, что A и не-A.

12.

Законы логики
Закон запрета противоречия
А самое достоверное из всех начал –
то, относительно которого невозможно ошибиться,
ибо такое начало должно быть наиболее очевидным
(ведь все обманываются в том, что не очевидно)
и свободным от всякое предположительности.
Действительно, начало, которое необходимо знать
всякому постигающему что-либо из существующего,
не есть предположение; а то, что необходимо
уже знать тому, кто познаёт хоть что-нибудь,
он должен иметь, уже приступая к рассмотрению.
Таким образом, ясно, что именно такое начало есть
наиболее достоверное из всех; а что это за начало,
укажем теперь. А именно: невозможно, чтобы одно и
то же в одно и то же время было и не было присуще
одному и тому же в одном и том же отношении (и всё
другое, что мы могли бы ещё уточнить, пусть будет
уточнено во избежание словесных затруднений) –
это, конечно, самое достоверное из всех начал,
к нему подходит данное выше определение.
Аристотель.
«Метафизика».

13.

Законы логики
Закон запрета противоречия
А самое достоверное из всех начал –
то, относительно которого невозможно ошибиться,
ибо такое начало должно быть наиболее очевидным
(ведь все обманываются в том, что не очевидно)
и свободным от всякое предположительности.
Действительно, начало, которое необходимо знать всякому
постигающему что-либо из существующего, не есть предположение;
а то, что необходимо уже знать тому, кто познаёт хоть что-нибудь,
он должен иметь, уже приступая к рассмотрению.
Таким образом, ясно, что именно такое начало есть наиболее
достоверное из всех; а что это за начало, укажем теперь. А именно:
невозможно, чтобы одно и то же
в одно и то же время
было и не было присуще
одному и тому же
в одном и том же отношении
(и всё другое, что мы могли бы ещё уточнить, пусть будет уточнено
во избежание словесных затруднений) –
это, конечно, самое достоверное из всех начал, к нему подходит
данное выше определение.

14.

Законы логики
Закон запрета противоречия
Невозможно, чтобы
одно и то же
в одно и то же время
было и не было присуще
одному и тому же
в одном и том же отношении.
Аристотель.
«Метафизика».

15.

Законы логики
Закон исключённого третьего
Законы логики
Закон
тождества
Закон [запрета]
противоречия
Логические выводы
Не могут быть
надёжны лишь при условии, одновременно истинными
что все понятия (термины)
два противоречащих
в пределах рассуждения
высказывания об
имеют один и тот же смысл. одном и том же предмете.
A есть А.
Неверно, что A и не-A.
Закон исключённого
третьего
Не могут быть
одновременно ложными
два противоречащих
высказывания об
одном и том же предмете.
Либо A, либо не-A.

16.

Законы логики
Закон исключённого третьего
Равным образом
не может быть ничего
промежуточного между
двумя членами противоречия,
а относительно чего-то одного
необходимо что бы то ни было одно
либо утверждать, либо отрицать.
Аристотель.
«Метафизика».

17.

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

18.

Законы логики
Закон исключённого третьего
Закон исключённого третьего представляет собой аксиому
двузначных логик, т. е. логических систем, в которых
допускаются лишь два значения истинности: «истинно» и
«ложно».
К таким системам относятся, например, классическая
(традиционная) формальная логика и классические исчисления
математической логики: исчисление высказываний и исчисление
предикатов.
В многозначных логиках, в которых допускается много (более
двух) или даже бесконечно много значений истинности,
традиционные же «истинно» и «ложно», если вообще
используются, оказываются лишь частными случаями таких
значений, аксиома исключённого третьего не используется.

19.

Законы логики
Первые три закона логики: тождества, запрета противоречия
и исключённого третьего – сформулировал создатель логики
Аристотель в IV в. до н. э.
В XVII в. немецкий философ Лейбниц
добавил к ним ещё один –
закон достаточного
основания
Аристотель
(384 – 322 до н. э.)
Лейбниц
(1646 – 1716)
Должно быть достаточное основание для существования
и свойств всего, что можно помыслить несуществующим.
Для всего, что может существовать, но не существует, требуется нечто
необходимое, в силу которого возможное становится действительным.

20.

Законы логики
Закон достаточного основания
… ни одно явление
не может оказаться
истинным или действительным,
ни одно утверждение справедливым
без достаточного основания,
почему именно дело обстоит так,
а не иначе,
хотя эти основания
в большинстве случаев
вовсе не могут быть нам известны.
Лейбниц.
«Монадология».

21.

Законы логики
Законы логики не следует понимать и трактовать онтологически, хотя
такие трактовки имели место и возможность такой интерпретации
просматривается в некоторых формулировках, цитированных выше.
Тем не менее, важно помнить, что законы логики представляют собой
правила пользования языком логики, а не утверждения о свойствах
реальности, посредством этого языка описываемой.
Закон тождества не значит, что предметы понятий не претерпевают
никаких изменений, оставаясь всегда тождественными себе.
Закон запрета противоречия не значит, что реальность лишена
противоречий.
Закон исключённого третьего не значит, что в реальности «третьего
не дано» и в любой ситуации выбор есть лишь между двумя
альтернативами.
Сложнее обстоит дело с законом достаточного основания. Этот закон,
строго говоря, не принадлежит логике в собственном смысле слова и
не формализуется, но устанавливает общеметодологический
принцип, в соответствии с которым логика существует не ради себя
самой, не есть чистая игра мысли, а есть орудие (средство) познания
внелогической действительности.

22.

Формы мышления,
выделяемые традиционной логикой
Формы мышления
Понятие
Грек
Человек
Суждение
Все
греки
Умозаключение
Все
люди
смертны
Все
греки
люди
люди
Суждение –
След.,
смертны
форма мышления,
Понятие –
все греки
выражающая
форма мышления,
логическое отношение
отражающая предметы
Умозаключение –
в их общих, существенных между понятиями (простое
форма мышления,
суждение) или между
и необходимых признаках.
простыми суждениями посредством которой из одних
суждений выводятся другие.
(сложное суждение).

23.

Вопросы?