Документ 821045

1. основные этапы логики
логика – наука о законах и формах познающего мышления. Логика рассматривает мышление которое
направлено на обретение истины. Логику интересует форма наших мыслей, а не их содержание.
Выделяют 2 этапа: 1- от возникновения до 19 века (работы по логике возникают с 5 века до нашей эры
– это труды демокрита, которые до нас не дошли, разработка эристики у софистов), Платон вносит
свой вклад в логику, логику создает Аристотель (сформулировал первые три закон логики), его
система дорабатывается Цицероном, в начале 17 века возникает идея создать новую логику у Бэкона, 2
этап – начался во второй половине 19 века, новая логика тесно связана с математикой, она является
логикой по предмету и математикой по методу, наиболее яркие представители – Парецкий, Буль, де
Морган, Рассел.
2. понятие как форма мышления
Понятие является формой мышления. Понятие – это выражение языка, обозначающее отдельный
предмет, совокупность сходных предметов, свойства, отношение и прочее Объем понятия –
совокупность предметов, обладающих признаками понятии. Содержание понятия – совокупность
существенных признаков одноэлементного класса или класса однородных предметов, отображенных в
этом понятии. По объему все понятия делятся на единичные (объем состоит их одного объекта –
автор романа война и мир, луна), общие ( объем состоит из множества предметов – батарея) нулевые
(не входит ни один реально существующий объект – сонет Гомера, родной сын). Понятия делятся на
конкретные(понятия о предметах), абстрактные (понятия о свойствах и отношениях – белизна).
Выделяют абсолютные понятия (стол, книга) и относительные. Каждое относительное понятие
имеет в своем содержании признак, фиксирующий отношение одного предмета к другому.
3.диаграмма Эйлера Венна для понятий
в логике используются схемы, диаграммы – изображают отношения между понятиями с помощью
круговых схем – круги Эйлера или диаграммы Эйлера Венна. Кругом изображаются понятия.
4. объемное отношение между понятиями
типы совместимости понятий: 1. равнозначность – понятия имеют равные объемы
шахматисты, В – филологи, С – люди;
объемы понятия частично совпадают
А –
А – автор романа Идиот, В – Достоевский. 2. пересечение –
А – студент, В – спортсмен. 3.подчинение – объем одного
понятия полностью входит в объем другого понятия
А – цветок, В – роза. Типы несовместимости
понятий: 1. соподчинение – отношение между объемами двух или более понятий исключающих друг
друга, но принадлежащих некоторому более общему родовому понятию
; 2. Противоположность
– контрарность – объемы понятий, которые являются видами одного и того же рода, при этом одно из
них содержит какие то признаки, а другое эти признаки не только отрицает, но и заменяет их
противоположными
(карлики и великаны).3. противоречие – понятия являются видами одного и
того же рода, при этом одно понятие указывает на некоторые признаки, а другое их отрицает, не
заменяя никакими другими.
( глубокое озеро, неглубокое озеро).
5.ограничение и обощение понятий, соотношение между объемом и содержанием
Операции над понятиями: обобщение и ограничение понятий. Обобщить понятие значит
сформулировать понятие с более широким объемом, родовое по отношению к данному (собакаживотное-живое существо). Пределом обобщения являются наиболее общие категории философии и
науки (бытие, время). Ограничить понятие значит сформулировать понятие с меньшим объемом,
видовое по отношению к данному (автомобиль – иномарка – Мерседес).пределом ограничения
является единичное понятие. Закон обратного отношения между объемами и содержанием
понятий: чем шире объем понятия, тем уже его содержание и наоборот (река – большой объем,
маленькое содержание)
6. определение понятий его виды и его правила.
Определение понятий – логическая операция, раскрывающая содержание имени. Определения
бывают явные и неявные. Явные имеют форму равенства, совпадения двух понятий (S есть Р).
Неявные определения не имеют формы равенства двух имен. Неявные делятся на контекстные и
экстенсивные. Экстенсивные определения – определения путем показа. С одной стороны не
являются точными, они связывают слова с действительностью. Правила определения: 1.
определяемое и определяющее понятия должны быть взаимозаменяемыми, то есть не должны
расходиться по объему, 2. нельзя допускать круга в определении, 3. определение должно быть ясным,
то есть в определяющей части должны использоваться знакомые понятия, не должно быть метафоры.
7. логическое деление и его правила
Деление – операция распределения на группы тех предметов, которые мыслятся в исходном понятии.
Признак по которому производится деление – основание деления. Правила деления:1. деление
должно вестись только по одному признаку. Неверно делить людей на высоких, низких и рыжих, 2.
деление должно быть соразмерным или исчерпывающим, то есть сумма членов деления должна быть в
точности равна объему делимого понятия, 3. члены деления должны взаимоисключать другдруга, 4.
деление должно быть непрерывным, незакончиы деление родового понятия, нельзя переходить к
делению видовых.
8. классификация и типология
Классификация – многоступенчатое разветвленное деление. Естественная классификация –
деление на основании существенных признаков. Есть еще и вспомогательная классификация –
деление на основании несущественных признаков, например по алфавиту, хронологии.
Классификация - распределение вещей по классам согласно сходству между ними. Учение о
классификации, упорядочении и систематизации называется типологией. Типологией называется
также результат процедуры классификации - некоторая система типов.
9. суждение как форма мышления, виды суждений
Суждение всегда имеет дело с какой-либо объективной реальностью. Суждением называется форма
мысли, в которой утверждается или отрицается что-либо относительно предметов и явлений, их свойств,
связей и отношений и которая обладает свойством выражать либо истину, либо ложь. Примеры суждений:
«Железо есть элемент». В любом суждении есть субъект, предикат, связка и кванторное слово. Все S
есть P.( S - субъект P-предикат, все – квантор). Выделяют ассерторические суждения(в них
констатируется какое либо явление – сегодня холодно) и модальные суждения (характеризуют связь
между объектами с помощью выражений необходимо, возможно…). Ассерторические делятся на
простые и сложные. Простые делятся на утвердительные и отрицательные. Утвердительные на
общие и частные. Отрицательные тоже на общие и частные.
10. простое категорическое суждение и его деление
Простым суждением называется суждение, состоящее из одного субъекта и одного предиката; в нем
утверждается /или отрицается/ принадлежность какого-либо признака предмету; простым суждением
можно назвать суждение, выражающее связь двух понятий: «Дом есть здание». Все S есть P.( S субъект P-предикат, все – квантор). Они делятся по качеству и количеству. По качеству –
1.утвердительные со связкой «есть» 2. отрицательные со связкой «не есть». По количеству 1.общие (квантор «все» или «не один»), 2.частные (квантор – некоторые). Поэтому выделяют 4 вида
простых суждений: Все S есть Р (общеутвердительное А), Некоторые S есть Р (частноутверд – I),
Ниодно S не есть Р (общеотрицат –E), Некоторые S не есть Р (частноотрицат – P).
11.диаграмма Эйлера Венна для простых категорических суждений. Что такое распределенность
терминов суждений.
Диаграммы Эйлера Венна используются для изображения простых категорич.суждений. Термин
считается распределенным, если его объем целиком входит в объем другого термина или целиком
исключается из него /«Ни один из учащихся нашего класса не поступил в институт»/. Термин не
распределен, если его объем лишь частично входит в объем другого термина или частично
исключается из объема другого термина /некоторые выпускники нашего института отправились
работать на село»/. Например, в общеутвердительном суждении субъект распределен, а предикат может
быть распределенным и нераспределенным. В первом случае предикат берется в полном объеме, а во
втором — не в полном объеме. «Только квадраты являются равносторонними прямоугольниками» —
пример первого рода. «Все менеджеры есть руководители» — пример второго рода.
12.Законы тождества и достаточного основания
Закон тождества может быть назван законом постоянства мысли. Смысл его в том, что каждая
мысль, которой мы пользуемся в логических операциях, при повторении должна иметь одно и то
же определенное, устойчивое содержание. Если, к примеру, мы в качестве исходных понятий взяли
«рынок», «товар», «деньги», то в процессе последующих рассуждений нельзя подменять их совсем
другими, пусть даже сходными но смыслу терминами: «базар», «изделие», «золото» и т. п. Формула
закона тождества: А есть А А = А. Четвёртый закон мышления называется «законом достаточного
основания». Этот закон обыкновенно определяется так: «мы все должны мыслить на достаточном
основании», т. е. всякая мысль, всякое суждение должно иметь определённое логическое
обоснование. Если у нас есть суждение, истинность которого для нас не непосредственно очевидна, то
мы должны найти основание для этого суждения, мы должны дать логическое обоснование его.
13.законы непротиворечия и исключенного третьего
В современной интерпретации закон противоречия формулируется следующим образом: два
противоположных суждения не могут быть истинными в одно и то же время и в одном и том же
отношении. Закон записывается так:
Не могут быть одновременно истинными, например, следующие нары мыслей: «Этот товар дорогой» и
«Этот то-нар дешевый».
Закона исключительного третьего: из двух противоречащих высказываний в одно и то же время и в
одном и том же отношении одно непременно истинно; из двух противоречащих суждений одно
истинно, другое ложно, а третьего не дано; если два суждения построены так, что одно из них
является логическим отрицанием второго, то одно из них выражает истину. Записывается так:
14.сложное суждение. Основные логические союзы.
Сложным суждением называется суждение, состоящее из нескольких субъектов и предикатов:
«Васильев и Орлов — совладельцы магазина товаров бытовой химии». Сложные суждения в логике
высказываний представляют собой простые суждения соединенные союзами. Союзы: 1. конъюнкция
союз»И», a и b(в корзине у Ани лежали яблоки и груши) , 2. простая дизъюнкция a или b (у больного
растяжение связок или ушиб). 3.строгая дизъюнкция «либо a либо b» , 4.импликация если a то b ,
5.эквиваленция «a если и только если b»
человек умер если у него не функционировал мозг), 6.отрицание «не а»
группы 1 лентяи).
(неверно что студенты
15.умозаключение и его виды
Логическая операция, посредством которой из некоторого количества исходных суждений получается
новое суждение, определенным образом связанное с исходными, называется мозаключением.
Все товары обладают потребительной и меновой стоимостью.
Нефть — товар. ____________________
Нефть обладает потребительной и меновой стоимостью.
Умозакл. делятся на индуктивные и дедуктивные и ум-ия по аналогии. Дедуктивные на
опосредованные (индукция и дедукция) и непосредственные. Ум.могут быть логически
необходимыми, то есть давать истинное заключение, и вероятностными, или правдоподобными.
Правдоподобные дают ум.лишь с определенной степенью вероятности при этом в качестве посылок
могут быть и ложные суждения.
16.непосредственные умозаключения
непосредственные умозаключения – это дедуктивные умозаключения, которые делаются из одной
посылки, являющиеся категорическими суждениями. 1. Превращение - процесс состоит в изменении
формы суждений: утвердительные суждения превращаются в отрицательные, и наоборот; при этом
смысл суждения не изменяется. Изменяется качество посылки без изменения количества. S есть Р/S не
сеть не Р например, А / Все S суть Р/ -* Е / Ни одно S не есть не -Р/. Пример: «Все дороги ведут в
Рим» -> «Ни одна дорога не ведет мимо Рима». 2. обращение – вид непосред.ум.когда вывод происходит
с помощью перемены мест субъекта и предиката при сохранении качества посылки. S есть P / P есть S
например, Е /Ни одно S не есть Р/ -> Е /Ни одно Р не есть S/. Пример: «Ни одна трапеция не является
равносторонней фигурой» - * «Ни одна равносторонняя фигура не является трапецией» /обращение без
ограничения/. Частноотрицательное не обращается. 3.противопоставление предикатов –
непосредст.умозкал.в котором предикатом становится субъект, субъектом – понятие противоположное
предикату и связка меняется на противоположную. S есть Р / не Р не есть S например, А /Все S суть
Р/ ~» Е /Ни одно не -Р не есть S/. Пример: «Всякое малое предприятие регистрируется» "^ «Ни одно
незарегистрированное предприятие не относится к малому предприятию».
17.простой категорический силлогизм и его части.
-это дедуктивное ум-ие, состоящее из 2 посылок и 1 выводного суждения. И посылки и вывод
являются простыми категорическими суждениями. Например, Все растения есть организмы. Сосны
есть растения.Из них следует, что «сосны есть организмы». В состав силлогизма входят три термина:
Р — больший термин, который является предикатом первой посылки и заключения, S — меньший
термин, который является субъектом второй посылки и заключения, М — средний термин, который
является субъектом первой и предикатом второй посылки, однако его нет в заключении. В зависимости
от наименования термина различают большую посылку, в которой содержится больший термин, и
меньшую посылку, в которой содержится меньший термин.
18.фигуры и модусы силлогизма
19.энтимема
Энтимема - это сокращенный силлогизм, в котором нет одной из посылок или заключения, но они
подразумеваются. Например, это человек глуп, потому что он не знает логики. Пропущенная посылка
– всякий человек не знающий логики глуп. Вторая посылка – этот человек не знает логики, и
заключение – этот человек глуп.
20.чисто условный и условно категорический силлогизм.
Условное умозаключение - опосредованное умозаключение, в котором обе посылки условные
суждения. Если а то б/ если б, то с/если а то с. (если студент не ходит на лекции, то он не имеет
прочных знаний. Если он не имеет прочных знаний то он не будет хорошим специалистом.вывод –
если студент не ходит на лекции, то он не будет хорошим специалистом. Условно-категорическое
умозаключение – имеет 2 посылки, одна из которых условное суждение, вторая и вывод – простое
категорическое суждение. Оно имеет 2 модуса. 1. праивльный модус – утверждающий:если а то б /
а/вывод: б. например, если у человека повышена температура, то он болен / у чел.повышена
температура / этот чел.болен. 2. отрицающий модус. Если а то б / не б / не а.
21.разделительно-категорический силлогизм и условно-разделительный силлогизм.
Разделительное ум-ие – дедуктивное умозаключение,в котором одна или несколько посылок
разделительные и дезъюнктивные суждения. В чисто разделительном силлогизме все посылки
разделительные. S есть А, или B, или С / А есть А1, или А2 / S есть А1, А2, В, С. Например,
предложения бывают простыми или сложными / сложные бываю сл/соч или сл/под. / предложения
бывают сл/соч, сл/под, простые. Разделительно категорические ум-ия – 1 посылка разделительная, 2
– категорическое суждение.
Например,внимание бывет произвольным или непроизвольным / это внимание произвольное / это
внимание не явл нерпоизвольным. Условно-разделительное ум-ие(лемма) – одна посылка состоит из
двух и более условных суждений, а вторая является разделительным суждением. Могут быть
дилеммой – 2 условных посылки, трилеммой – 3 усл.посылки и полелеммой.
22.индукция и ее виды.
Это ум-ие о меньшей степени ощзности к новому знанию к большей степени общности (от частного к
общему). Впервые индукция описана Френсисом Бэконом. Виды индукции: Принято делить индукцию
на полную и неполную. Полной индукцией называется вид индуктивного умозаключения, в процессе
которого делается общий вывод о всем классе каких-либо предметов на основании знания о всех без
исключения предметах этого класса. Достоинство полной индукции в том, что она дает дос товерное
заключение. Это требует выполнения следующих условий. Необходимо, во-первых, точно знать число
предметов или явлений, которые мы исследуем. Во-вторых, следует убедиться, что свойство
принадлежит каждому предмету группы /класса/. Количество предметов изучаемой группы — третье
условие — должно быть ограничено. Неполной индукцией называется вид индуктивного
умозаключения, в процессе которого получается вывод о всем классе предметов на основании
исследования лишь некоторых однородных предметов данного класса. Неполная индукция делится на
популярную и научную. По одному из оснований выделяют еще математическую индукцию.
23. умозаключение по аналогии
Умозаключение но аналогии — это логическая операция, в процессе которой достигается знание о
признаках одного предмета на основании того, что этот предмет имеет сходство с другими предметами.
(от частного к частному). Аналогия не может ничего дать кроме вероятности. Формула аналогии
такова:
А имеет признаки а, Ь, с, х
Б имеет признаки а, Ь, с
Вероятно, Б имеет признак х.
Степень вероятности зависит от: количества сходств между вещами, от количества известных не
сходств между ними, от объема нашего знания о вещах.
24. доказательство, опровержение и их виды.
Теория аргументации включает в сеябя доказательство и опровержение. Доказательством называется
логическое действие, в процессе которого истинность какой-либо мысли обосновывается с помощью
других мыслей. Структура имеет три элемента: тезис(суждение, истинность которого доказывается),
аргументы /основания/(истинное суждение которым пользуемся при доказательстве) и
демонстрацию9способ логической связи между тезисом и аргументом).доказательстов бывает
прямое и косвенное. Опровержение - логическая операция, направленная на разрушение доказательства
путем установления ложности или необоснованности какого-либо тезиса. Суждение, которое надо
опровергнуть, называется тезисом опровержения. Суждения, с помощью которых опровергается тезис,
называются аргументами опровержения.
Опровержение может быть выполнено тремя способами: 1/ критикой тезиса; 2/ критикой аргументов; 3/
критикой демонстрации.
25.правила доказательного рассуждения, софизмы, антиномии, парадоксы.
Правило доказательного рассуждения – 1. тезис должен быть точным, определимым, ясным, 2. тезис
должен оставаться тождественным на протяжении всего доказательства, 3. расширение и сужение
тезиса. Те ошибки, которые совершаются преднамеренно, для того чтобы ввести кого-либо в
заблуждение, называются софизмами. Софизм «лгун». Вполне возможно, что лгун сознается в том,
что он лгун. В таком случае он скажет правду. Но тот, который говорит правду, не есть лгун.
Следовательно, возможно, что лгун не есть лгун.
В широком смысле парадокс — это положение, резко расходящееся с общепринятыми, устоявшимися,
ортодоксальными мнениями. Парадокс в более узком и специальном значении — это два
противоположных, несовместимых утверждения, для каждого из которых имеются кажущиеся
убедительными аргументы. Наиболее резкая форма парадокса — антиномия, рассуждение,
доказывающее эквивалентность двух утверждений, одно из которых является отрицанием другого.
26. убеждение и аргументация
Аргументация – это приведение доводов, или аргументов, с намерением вызвать или усилить
поддержку другой стороны (аудитории) к выдвинутому положению. "Аргументацией" называют
также совокупность таких доводов. Цель аргументации – принятие аудиторией выдвигаемых
положений. В аргументации различают тезис – утверждение (или система утверждений), которое
аргументирующая сторона считает нужным внушить аудитории, и довод, или аргумент, – одно или
несколько связанных между собою утверждений, предназначенных для поддержки тезиса.
Аргументация представляет собой речевое действие, включающее систему утверждений,
предназначенных для оправдания или опровержения какого-то мнения. Убеждение — способ
вербального (словесного) влияния, который включает в себя систему доводов, соотносящихся по
законам формальной логики и обосновывающих выдвигаемый индивидом тезис. Теория аргументации
исследует многообразные способы убеждения аудитории с помощью речевого воздействия.