Моргунова Анастасия, 3 курс (очно-заочное) 1. Логика ( определение, предмет, цель, задачи). Основные этапы развития логики. 2. Понятие ( определение, логическая форма). Виды деления понятий. 3. Суждение ( определение, логическая форма). Виды простых суждений. 4. Основные законы логики. Логика. Основные этапы развития. Логика — «наука о правильном мышлении», «способность к рассуждению»; — нормативная наука о законах, формах и приёмах интеллектуальной деятельности. Предмет логики – это сложная система, объединяющая всеобщие, обеспечивающие истинность мышления, условия, которые необходимо соблюдать независимо от содержания мыслей. Предметом логики служат законы и формы, приемы и операции мышления, с помощью которых человек познает окружающий мир. Основная цель логики, и её функция сохранить в неизменном виде законы выведения последующих утверждений из предыдущих. При этом истинность выводов, зависят только от истинности входящих в вывод утверждений, и от правильной их связи между собой. Изучая, как одни мысли следуют из других, логика выявляет законы мышления. Главная задача логики как науки заключается в изолировании правильных способов умозаключения от неправильных. Правильное рассуждение строится следующим образом: из правильного или истинного рассуждения вытекает обоснованное следствие. Основные этапы развития логики: 1. Античная логика (около 500 л. до н. э. — нач. н. э.) Основателем формальной логики как науки считается древнегреческий философ Аристотель (384 - 322 гг. до н. э.). Он обобщил и развил достигнутое в философии и логике в предшествующий период. Основные сочинения Аристотеля в области логики получили в дальнейшем название “Органон”, куда включены: “Категории”, “Об истолковании”, “Первая аналитика”, “Вторая аналитика”, “Топика”, “О софистических опровержениях”. Аристотель показал, что правильные рассуждения подчиняются небольшому числу законов, независимых от частной природы объектов, о которых идёт речь. Аристотель сформулировал законы тождества, противоречия и исключённого третьего. Ему принадлежит заслуга разработки учения о силлогизме. 2. Логика нового времени (кон. VI — нач. XiX вв.). Основные направления развития философской мысли этого времени — рационализм и эмпиризм. Представителем (и основателем) первого направления считается Р.Декарт (1596 — 1650 гг.), который считал, что существуют два достоверных источника знания — интуиция (понимание ясного и внимательного ума) и дедукция. Декарт не писал каких-либо специальных сочинений по логике, но его сочинения “Правила для руководства ума”, “Рассуждения о методе” оказали значительное влияние на развитие этой науки. В частности последователи Р.Декарта А.Арно (1612 — 1694 гг.) и П.Николь (1625 — 1695 гг.) написали книгу “Логика, или Искусство правильно мыслить”, ставшую впоследствии одним из наиболее известных учебников по логике. Логическая концепция, изложенная в этой книге получила название “логика Пор-Рояля”. Согласно этой концепции, логика является методологией всех других наук и как научная дисциплина разделяется на четыре части: учение об идеях (понятиях), учение о суждениях, учение об умозаключениях, учение о правилах и методах доказательства. Такое понимание логики весьма близко к современному. 3. Современная символическая (математическая логика) (XiX — XX вв.). Математическая логика применяет математический аппарат для исследования мыслительных процессов, то есть является попыткой представить мысли в виде формализованного языка, а рассуждение — в виде исчисления. Основы математической логики заложил немецкий философ Готфрид Вильгельм Лейбниц (1646 — 1716 гг.), который указал на необходимость создания универсального формального языка логики. (Кроме того, Г.В. Лейбниц сформулировал закон достаточного основания.) Лишь во второй половине XIX века логические идеи Г.В.Лейбница получили широкое признание. В этот период закладываются основы всеобщего универсального формального логического языка. С созданием такого языка логика становится точной наукой и вступает на качественно новый уровень — этап современной математической логики. Понятие. Виды деления понятий. Понятие — есть понятие вида, объединяемого с другими родственными видами под общим родовым признаком, и отделяемого от других родственных видов специфическим признаком. Логическая форма — это способ связи составных частей содержания мысли в отличие от самого этого содержания, результат отвлечения от содержания мысли, то есть от того, какие именно индивиды, свойства, отношения, классы, ситуации и тому подобное являются предметами данной мысли. Виды деления понятий: По объёму По объёму понятия можно разделить на единичные, общие и пустые. 1. В объём единичного понятия входит один-единственный объект (одноэлементный класс) — например, «русский писатель Антон Павлович Чехов», «столица Дании». 2. В объём общего понятия входит более одного объекта (например, «дерево», «химический элемент»). 3. Объём пустого понятия представляет собой пустое множество (например, «вечный двигатель», «круглый квадрат»). Объем общего понятия может быть конечным или бесконечным. Так, понятие «простое число» имеет бесконечный объем, а «простое число, меньше 20» — конечный объем (2, 3, 5, 7, 11, 13, 17, 19). Кроме того, уменьшая объем общего понятия, мы можем прийти к понятию единичному (х — простое число, 36<х<38; получим единичное понятие — число 37). По содержанию 1. Положительные понятия фиксируют наличие у предмета какого-либо признака (например, «опрятный человек»), отрицательные указывают на отсутствие этого признака у предмета («неопрятный человек»). Если отрицание «не» или «без» («бес») стало частью слова и без него это слово не употребляется («нездоровится»), такое понятие также считается положительным. 2. Относительное понятие обозначает предмет, существование которого подразумевает существование некоторого другого предмета («ученик» — «учитель»). Безотносительное понятие обозначает предмет, существующий вне подобной зависимости («человек», «дерево»). 3. Собирательным называется понятие, обозначающее множество однородных предметов, которое мыслится как единое целое («стая», «флот»). То, что утверждается в собирательном понятии относится ко всему собранию предметов, обозначаемых данным понятием, но не может быть приложимо к отдельным предметам, входящим в это целое. Собирательные понятия могут быть общими («лес») или единичными («Созвездие Волопаса»). В отличие от собирательного, несобирательное (разделительное) понятие указывает не на группу, а на отдельный предмет («дерево», «звезда»). 4. Понятие называется конкретным, если оно относится к предмету или классу предметов (например, «дом»), и абстрактным, если оно отражает свойства, признаки предмета, взятые отдельно от него самого (например, «белизна», «доброта»), или отношения между предметами (например, «равенство»). 5. Эмпирические понятия есть понятия о наблюдаемых объектах и их свойствах, а теоретические — о ненаблюдаемых объектах. Если эмпирические понятия вырабатываются на основе непосредственного сравнения общих свойств некоторого класса наличествующих (доступных для изучения) объектов или явлений, то теоретические — на основе опосредованного анализа некоторого класса объектов или явлений при помощи ранее выработанных понятий, концепций и формализмов. Суждение. Виды простых суждений. Суждение — мысль, в которой утверждается наличие или отсутствие каких-либо положений дел. Логическая форма суждения состоит из четырех элементов. Это субъект, или то, о чем говорится в данном суждении. Обозначается символом S. Затем это предикат – то, что говорится о субъекте. Обозначается символом P. Субъект и предикат – это термины суждения. Поскольку их содержание зависит от темы нашего высказывания, они относятся к логическим переменным. Субъект суждения — это мысль о каком-то предмете, понятие о предмете суждения (логическое подлежащее). Предикат суждения — мысль об известной части содержания предмета, которое рассматривается в суждении (логическое сказуемое). Логическая связка — мысль об отношении между предметом и выделенной частью его содержания (иногда только подразумевается). Квантор — указывает, относится ли суждение ко всему объёму понятия, выражающего субъект, или только к его части: «некоторые», «все» и т. п. В традиционной логике простые суждения делятся по характеру отношений между субъектом и предикатом на три вида: 1) суждения свойства (атрибутивные); 2) суждения отношения (релятивные); 3) суждения существования (экзистенциальные). В атрибутивных суждениях утверждается или отрицается принадлежность предмету некоторого признака. Релятивные суждения отражают отношения между предметами. Это могут быть отношения равенства, неравенства, родства, пространственные, временные, причинно-следственные и другие отношения. В экзистенциальных суждениях выражается сам факт существования или несуществования предмета суждения. Основные законы логики. В логике можно выделить четыре основных закона, которые выражают коренные свойства логического мышления – его определенность, непротиворечивость, последовательность, обоснованность. К данным законам относятся: закон тождества, непротиворечия, исключенного третьего, достаточного основания. Они действуют в любом рассуждении, в какой бы логической форме оно ни протекало и какую бы логическую операцию ни выполняло. Наряду с основными логика изучает законы двойного отрицания, контрапозиции, де Моргана и т.д., которые также действуют в мышлении, обусловливая правильную связь мыслей в процессе рассуждения. 1. Закон тождества. Любая мысль в процессе рассуждения должна иметь определенное, устойчивое содержание. Это коренное свойство мышления – его определенность – выражает закон тождества: всякая мысль в процессе рассуждения должна быть тождественна самой себе (А есть А, или А = А, где А – любая мысль). Нельзя отождествлять различные мысли, нельзя тождественные мысли принимать за нетождественные. Нарушение этого требования в процессе рассуждения часто бывает связано с различным выражением одной и той же мысли в языке. С другой стороны, употребление многозначных слов может привести к ошибочному отождествлению различных мыслей. Отождествление различных мыслей часто связано с различиями в профессии, образовании и др. Отождествление различных понятий представляет собой логическую ошибку – подмену понятий, которая может быть как неосознанной, так и преднамеренной. 2. Закон непротиворечия. Логическое мышление характеризуется непротиворечивостью. Противоречия разрушают мысль, затрудняют процесс познания. Требование непротиворечивости мышления выражает формальнологический закон непротиворечия: два несовместимых друг с другом суждения не могут быть одновременно истинными; по крайней мере одно из них необходимо ложно. Данный закон формулируется следующим образом: неверно, что А и не-А (не могут быть истинными две мысли, одна из которых отрицает другую). Закон непротиворечия действует в отношении всех несовместимых суждений. 3. Закон исключенного третьего. Данный закон действует только в отношении противоречащих (контрадикторных) суждений. Он формулируется следующим образом: два противоречащих суждения не могут одновременно быть ложными, одно из них необходимо истинно: А есть либо В, либо не-В. Истинно либо утверждение некоторого факта, либо его отрицание. Противоречащие суждения – это суждения, в одном из которых что-либо утверждается (или отрицается) о каждом предмете некоторого множества, а в другом – отрицается (утверждается) о некоторой части этого множества. Эти суждения не могут быть одновременно ни истинными, ни ложными: если одно из них истинно, то другое ложно и наоборот. Противоречащими являются также два суждения об одном предмете, в одном из которых что-либо утверждается, а в другом то же самое отрицается. 4. Закон достаточного основания. Требование доказанности, обоснованности мысли выражает данный закон: всякая мысль признается истинной, если она имеет достаточное основание. Если есть В, то есть и его основание А. Достаточным основанием мыслей может быть личный опыт человека. Истинность некоторых суждений подтверждается путем их непосредственного сопоставления с фактами действительности. Истинность законов, аксиом подтверждена практикой человечества и не нуждается поэтому в новом подтверждении. Для подтверждения какого-либо частного случая нет необходимости обосновывать его при помощи личного опыта. Достаточным основанием какой-либо мысли может быть любая другая, уже проверенная и установленная мысль, из которой с необходимостью вытекает истинность данной.
