Лекции-презентации по дисциплине "Основы философии"
презентация к уроку

Слайд 1

Основы философии Лекция 9 Философия Аристотеля Логика

Слайд 2

Логика Аристотеля Законы мышления Закон [ запрета ] противоречия Закон исключённого третьего Закон тождества Формы мышления Понятие Суждение Умозаключение Непосредственные умозаключения Силлогизм Модальная логика

Слайд 3

Логика Аристотеля Органон Категории Об истолковании Первая аналитика Вторая аналитика Топика О софистических опровержениях Аристотель ( 384-322 до н.э.) Основные сочинения

Слайд 4

Логика Аристотеля Логика ( греч . λογική , наука о мышлении, от λόγος , слово, понятие) – наука о законах, формах и приёмах мыслительной познавательной деятельности. (Термин «логика» ввели, по-видимому, стоики. Сам Аристотель своё логическое учение называл «аналитикой»).

Слайд 5

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

Слайд 6

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

Слайд 7

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

Слайд 8

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

Слайд 9

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

Слайд 10

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

Слайд 11

Формы мышления Бузина растение Киев город Гаврила хлебопёк Луна спутник Земли Киев столица Украины Шекспир автор «Отелло» В огороде бузина В Киеве дядька В Москве дождь

Слайд 12

Формы мышления Формы мышления Понятие Суждение Умозаключение Лошадь Животное Лошадь животное Луна Спутник Луна спутник Земли Все животные нуждаются в пище Лошади животные След., лошади нуждаются в пище

Слайд 13

Формы мышления Понятие В понятии, по Аристотелю, мыслятся общие свойства предметов какого-то вида или рода. Понятие применяется, таким образом, к множеству предметов. На языке логики это множество именуется классом; мощность множества (число элементов) характеризует объём понятия. Если с точки зрения объёма, понятие относится к совокупности предметов ( предицируется им), то с точки зрения содержания, его можно охарактеризовать как совокупность признаков ( предицируемых данному понятию). Чем больше признаков мыслится в понятии, тем меньше его объём, т.е. тем меньше элементов в классе, обозначаемом данным понятием, и наоборот.

Слайд 14

Кошка Чёрная кошка Московская чёрная кошка Понятие «кошка» характеризуется неким набором признаков и объёмом. К числу признаков кошки добавляем признак «чёрная». Получаем понятие «чёрная кошка», характеризуемое б ó льшим числом признаков и меньшим объёмом. К числу признаков «чёрной кошки» добавляем признак «московская». Получаем понятие «московская чёрная кошка», характеризуемое ещё б ó льшим числом признаков и ещё меньшим объёмом. Формы мышления Понятие

Слайд 15

В понятии, по Аристотелю, мыслятся общие свойства предметов какого-то вида или рода. Понятие применяется, таким образом, к множеству предметов. На языке логики это множество именуется классом; мощность множества (число элементов) характеризует объём понятия. Если с точки зрения объёма, понятие относится к совокупности предметов ( предицируется им), то с точки зрения содержания, его можно охарактеризовать как совокупность признаков ( предицируемых данному понятию). Чем больше признаков мыслится в понятии, тем меньше его объём, т.е. тем меньше элементов в классе, обозначаемом данным понятием, и наоборот. Отвлекаясь (абстрагируясь) от каких-то признаков, мы получаем более общее понятие; эта операция называется «обобщением». Формы мышления Понятие

Слайд 16

Кошка Чёрная кошка Московская чёрная кошка В понятии «московская чёрная кошка» мыслятся, помимо признаков, свойственных всем кошкам, ещё и специфический цвет шерсти и место проживания. Отвлекаясь от последнего, получаем понятие «чёрная кошка», характеризуемое меньшим числом признаков, но б ó льшим объёмом. Отвлекаясь от цвета шерсти, получаем общее понятие «кошка », характеризуемое ещё меньшим числом признаков и ещё б ó льшим объёмом. Формы мышления Понятие

Слайд 17

Формы мышления Понятие В понятии, по Аристотелю, мыслятся общие свойства предметов какого-то вида или рода. Понятие применяется, таким образом, к множеству предметов. На языке логики это множество именуется классом; мощность множества (число элементов) характеризует объём понятия. Если с точки зрения объёма, понятие относится к совокупности предметов ( предицируется им), то с точки зрения содержания, его можно охарактеризовать как совокупность признаков ( предицируемых данному понятию). Чем больше признаков мыслится в понятии, тем меньше его объём, т.е. тем меньше элементов в классе, обозначаемом данным понятием, и наоборот. Отвлекаясь (абстрагируясь) от каких-то признаков, мы получаем более общее понятие; эта операция называется «обобщением». Обратная операция, заключающаяся в добавлении признаков к общему понятию, именуется «ограничением понятия». Операция предицирования лежит в основе формы мышления, именуемой суждением.

Слайд 18

Формы мышления Суждение Суждение – это такая форма мысли, в которой утверждается или отрицается что-либо относительно предметов и явлений, их свойств, связей и отношений. Элементарное суждение можно представить в виде формулы: Суждение выражает (с точки зрения соответствия его содержания действительности) либо истину, либо ложь. (не) есть S P

Слайд 19

Формы мышления Суждение Имена же и глаголы сами по себе подобны мысли без связывания или разъединения, например «человек» или «белое»; когда ничего не прибавляется, нет ни ложного, ни истинного, хотя они и обозначают что-то: ведь и « козлоолень » что-то обозначает, но ещё не истинно и не ложно, когда не прибавлен [ глагол ] «быть» или «не быть» – либо вообще, либо касательно времени. Аристотель. «Об истолковании».

Слайд 20

Формы мышления Суждение Суждение – это такая форма мысли, в которой утверждается или отрицается что-либо относительно предметов и явлений, их свойств, связей и отношений. Элементарное суждение можно представить в виде формулы: Суждение выражает (с точки зрения соответствия его содержания действительности) либо истину, либо ложь. С точки зрения формы, Аристотель делит суждения на: утвердительные и отрицательные (классификация по качеству ) ; общие, частные и неопределённые (классификация по количеству ) . (не) есть S P

Слайд 21

Формы мышления Суждение Общей я называю [ посылку ] о присущем всем или не присущем ни одному, частной – о присущем или не присущем некоторым или присущем не всем, неопределённой – о присущем или не присущем без указания того, общая ли она или частная, как, например, < … > удовольствие не есть благо. Аристотель. «Первая аналитика».

Слайд 22

Формы мышления Суждение Суждение – это такая форма мысли, в которой утверждается или отрицается что-либо относительно предметов и явлений, их свойств, связей и отношений. Элементарное суждение можно представить в виде формулы: Суждение выражает (с точки зрения соответствия его содержания действительности) либо истину, либо ложь. С точки зрения формы, Аристотель делит суждения на: утвердительные и отрицательные (классификация по качеству ) ; общие, частные и неопределённые (классификация по количеству ) . Эти подразделения важны для уяснения следующей формы мышления – умозаключения. (не) есть S P

Слайд 23

P P Соотношения между объёмами понятий и основные типы суждений S S P S S P Все S суть P (Всякий S есть P ) (общеутвердительное суждение) Все S не суть P (Ни один S не есть P ) (общеотрицательное суждение) Некоторые S суть P (Существуют S , которые суть P ) ( частноутвердительное суждение) Некоторые S не суть P (Существуют S , которые не суть P ) ( частноотрицательное суждение)

Слайд 24

Формы мышления Умозаключение Умозаключение – это такое логическое действие, в результате которого из одного или нескольких – определённым образом связанных – суждений (именуемых посылками ) получается новое суждение (вывод), в котором содержится новое знание. Элементарное умозаключение исходит из одной посылки (такое умозаключение называется непосредственным ).

Слайд 25

не суть суть не суть суть не суть не есть суть животные Некоторые лошади суть животные Все лошади Ни одна лошадь птица Некоторые лошади птицы Умозаключение подчинения Умозаключение подчинения Все лошади животные Неверно, что некоторые лошади животные Неверно, что все лошади гнедые Некоторые лошади гнедые Умозаключение контрадикторности Умозаключение контрадикторности Формы мышления Непосредственные умозаключения

Слайд 26

суть не-птицы Все лошади не есть птица Ни одна лошадь не суть не- животные суть животные Все лошади Все лошади не есть не есть суть лошади Некоторые животные суть животные Все лошади Формы мышления Непосредственные умозаключения Ни одна лошадь птица Ни одна птица лошадь Обращение суждения (с ограничением) Обращение суждения (простое) Превращение суждения Превращение суждения

Слайд 27

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

Слайд 28

Формы мышления Умозаключение Теперь мы можем сформулировать основное правило логического вывода: Если термин не распределён в посылке, он не может быть распределён в выводе. Именно поэтому при обращении обще утвердительного суждения «Все лошади – животные» получается частно утвердительное суждение «Некоторые животные – лошади», тогда как общеотрицательное суждение «Ни одна лошадь не есть птица» обращается без ограничения.

Слайд 29

Формы мышления Умозаключение Умозаключение – это такое логическое действие, в результате которого из одного или нескольких – определённым образом связанных – суждений (именуемых посылками ) получается новое суждение (вывод), в котором содержится новое знание. Элементарное умозаключение исходит из одной посылки (такое умозаключение называется непосредственным ). Но главной своей заслугой в логике Аристотель считал разработку учения о силлогизме.

Слайд 30

Учение об умозаключении Силлогизм Силлогизм ( греч . συλλογισμός ) – разновидность умозаключения, посредством которого устанавливается логическое отношение между двумя понятиями на основании их отношения к некоему третьему понятию.

Слайд 31

есть есть есть есть Учение об умозаключении Силлогизм S P Следовательно, средний термин P S M M Б ó льший термин (предикат вывода) Мен ьший термин (субъект вывода) Средн ий термин Средн ий термин Б ó льшая посылка Мен ьшая посылка

Слайд 32

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

Слайд 33

Простой категорический силлогизм Фигуры и модусы силлогизма Фигура силлогизма – форма силлогизма, определяемая положением среднего термина в посылках. Модус силлогизма – разновидность силлогизма, определяемая качеством и количеством суждений (посылок и вывода). Средний термин присутствует в обеих посылках и в каждой может занимать одну из двух позиций: субъекта или предиката. Всего возможны четыре варианта (2х2), соответственно, имеются четыре фигуры силлогизма: первая, вторая, третья и четвёртая.

Слайд 34

Простой категорический силлогизм Фигуры и модусы силлогизма Фигура силлогизма – форма силлогизма, определяемая положением среднего термина в посылках. Модус силлогизма – разновидность силлогизма, определяемая качеством и количеством суждений (посылок и вывода). Каждое из трёх суждений, составляющих силлогизм (две посылки и вывод), может быть либо общеутвердительным, либо общеотрицательным, либо частноутвердительным , либо частноотрицательным . Всего возможны 64 сочетания суждений (4х4х4) для каждой из четырёх фигур силлогизма, т.е. в общей сложности 256 вариантов. Из них только 19 не противоречат правилам силлогизма и считаются модусами. Модусы обозначаются искусственными трёхсложными латинскими именами, гласные которых ( A, E, I, O ) указывают на качество и количество трёх составляющих силлогизм суждений. Модусы с одинаковым сочетанием суждений, относящиеся к разным фигурам и, соответственно, различающиеся по положению среднего термина, обозначаются именами с одинаковыми наборами гласных, но с разными согласными .

Слайд 35

есть есть есть есть Фигуры силлогизма Первая фигура S P Следовательно, средний термин Если три термина так относятся между собой, что последний термин целиком содержится в среднем, а средний целиком содержится в первом или вовсе не содержится в нём, то для этих крайних терминов необходимо имеется совершенный силлогизм. M P S M Аристотель. Первая аналитика Крайние термины занимают в посылках те же позиции, что и в выводе.

Слайд 36

есть есть есть есть Фигуры силлогизма Правила первой фигуры Меньшая посылка должна быть суждением утвердительным. Большая посылка должна быть суждением общим. B A RB A R A C E L A R E NT D A R II F E R IO S P Следовательно, средний термин M P S M Имена модусов не принадлежат Аристотелю. Они были предложены в XIII в. философом-схоластиком Петром Испанским (папой Иоанном XXI) .

Слайд 37

Фигуры силлогизма Доказательства правил первой фигуры Меньшая посылка должна быть утвердительным суждением. Допустим, что меньшая посылка – отрицательное суждение . Тогда (по правилу отрицательной посылки) отрицательным будет и вывод. Следовательно, б ó льший термин ( по определению – предикат вывода) в выводе будет распределён. В этом случае он должен (по правилу крайних терминов) быть распределён и в посылке ( по определению – б ó льшей ). Но в первой фигуре б ó льший термин является (по определению фигуры) предикатом б ó льшей посылки, предикаты же распределены в отрицательных суждениях. Следовательно, б ó льшая посылка должна быть отрицательным суждением. Но тогда обе посылки окажутся отрицательными суждениями, что противоречит правилу утвердительной посылки. Следовательно, исходное допущение неверно и меньшая посылка не может быть отрицательным суждением.

Слайд 38

P P M Фигуры силлогизма Модусы первой фигуры M S P M M S S B A RB A R A C E L A R E NT D A R II F E R IO S P

Слайд 39

Смертные Греки Люди Фигуры силлогизма Модусы первой фигуры Люди Греки Бессмертные Афиняне Греки Греки Поэты B A RB A R A C E L A R E NT D A R II F E R IO Китайцы Поэты

Слайд 40

(не) есть (не) есть не есть Фигуры силлогизма Вторая фигура S P Следовательно, Если же одно и то же одному всему присуще, а другому вовсе не присуще или и тому и другому всему присуще или вовсе не присуще, то такую фигуру я называю второй. P M S M средний термин не есть Аристотель. Первая аналитика Средний термин является предикатом в обеих посылках.

Слайд 41

(не) есть (не) есть не есть Фигуры силлогизма Правила второй фигуры S P Следовательно, P M S M средний термин Одна из посылок должна быть отрицательной. Следовательно, отрицательным будет и вывод. Большая посылка должна быть суждением общим. C E S A R E C A M E STR E S F E ST I N O B A R O K O Имена модусов не принадлежат Аристотелю. Они были предложены в XIII в. философом-схоластиком Петром Испанским (папой Иоанном XXI) .

Слайд 42

Греки Рыба Фигуры силлогизма Модусы второй фигуры Птица C E S A R E C A M E STR E S F E ST I N O B A R O K O Афиняне Рыба Галка Галка Щука Китайцы Греки Поэты Поэты

Слайд 43

есть есть есть Фигуры силлогизма Третья фигура Некоторые S P Следовательно, Если же одному и тому же одно присуще всему, а другое вовсе не присуще или и то и другое присущи ему всему или вовсе не присущи, то такую фигуру я называю третьей. M P M S средний термин есть Аристотель. Первая аналитика Средний термин является субъектом в обеих посылках.

Слайд 44

есть есть есть Фигуры силлогизма Правила третьей фигуры Некоторые S P Следовательно, M P M S средний термин Меньшая посылка должна быть утвердительным суждением. Вывод – частное суждение. D A R A PT I D I S A M I S D A T I S I F E L A PT O N B O C A RD O F E R I S O N Имена модусов не принадлежат Аристотелю. Они были предложены в XIII в. философом-схоластиком Петром Испанским (папой Иоанном XXI) .

Слайд 45

Белые Гуси Люди Греки Фигуры силлогизма Модусы третьей фигуры Люди Смертные Греки Греки Поэты Цветы Люди Розы Поэты D A R A PT I F E L A PT O N D I S A M I S B O C A RD O Птицы Белые Гуси D A T I S I F E R I S O N Камни Слоны

Слайд 46

К четырём модусам первой фигуры ученик Аристотеля Теофраст добавил ещё пять модусов, впоследствии выделенных в самостоятельную, четвёртую, фигуру. Фигуры силлогизма Назначение фигур S P M P S M S P P M S M S P M P M S S P P M M S I II III IV

Слайд 47

Назначение третьей фигуры – доказательство исключений из общего правила и необоснованности тех или иных обобщений. Назначение четвёртой фигуры – обоснование умозаключений в тех случаях, когда «связь идей» обратна «связи вещей» (например, обоснование целесообразности). Назначение второй фигуры – отвержение ложного подчинения, в том числе обоснование неправомерности подведения данного случая под данное правило. Назначение первой фигуры – обоснование подчинения, в том числе правомерности подведения данного случая под данное правило. Фигуры силлогизма Назначение фигур S P M P S M S P P M S M S P M P M S S P P M M S I II III IV

Слайд 48

Модальная логика Модальные суждения Суждение – это такая форма мысли, в которой утверждается или отрицается что-либо относительно предметов и явлений, их свойств, связей и отношений. Элементарное суждение можно представить в виде формулы: Суждение выражает (с точки зрения соответствия его содержания действительности) либо истину, либо ложь. С точки зрения формы, Аристотель делит суждения на: утвердительные и отрицательные (классификация по качеству ) ; общие, частные и неопределённые (классификация по количеству ) . аподиктические (необходимости), ассерторические (действительности) и проблематические (возможности) (классификация по модальности ) . (не) есть S P

Слайд 49

Аподиктическое суждение – суждение , в котором утверждается или отрицается принадлежность признака предмету при любых условиях, Ассерторическое суждение – суждение , в котором утверждается или отрицается принадлежность признака предмету при имеющихся условиях, Проблематическое суждение – суждение, в котором утверждается или отрицается принадлежность признака предмету при каких-нибудь условиях, S необходимо (не) есть P Необходимо, что S (не) есть P S (не) есть P S может (не) быть P Возможно, что S (не) есть P т.е. утверждается необходимость наличия или отсутствия у предмета того или иного признака. т.е. констатируется наличие или отсутствие у предмета того или иного признака. т.е. утверждается возможность наличия или отсутствия у предмета того или иного признака. Модальная логика Модальные суждения

Слайд 50

не есть может не быть может быть есть необходимо есть есть S P S P Следовательно, необходимо не есть не есть S P S P Следовательно, необходимо есть может быть S P S P Следовательно, необходимо не есть может не быть S P S P Следовательно, Модальная логика Алетическое умозаключение подчинения S S S S P P P P Следовательно, Следовательно,

Слайд 51

Вопросы?