Автор работы: Пользователь скрыл имя, 27 Июня 2013 в 16:13, шпаргалка
Термин логика происходит от греческого слова «logos», что означает мысль, слово, разум.
Логика – это наука о законах и формах правильного мышления.
Логика: 1.классическая (формальная логика) 2. Неклассическая (пара непротиворечивая, многозначная, интуиционистская, модальная)
Предмет логики-это анализ правильности рассуждения, формулировка законов и принципов соблюдения которых является необходимым условием для получения истинных заключений)
В процессе деления понятия необходимо соблюдать ряд правил, которые обеспечивают четкость и полноту деления.
Правило первое. Деление должно быть соразмерным. Это означает, что общий объем членов деления должен равняться объему делимого родового понятия, т.е. В+С=А.
Правило второе. Деление должно производиться по одному основанию.
Правило третье. Деление должно быть последовательным. Это означает, что делимое понятие должно представлять ближайший род для членов деления, а члены деления должны быть непосредственными видами делимого понятия.
Правило четвертое. Члены деления должны взаимно исключать друг друга. Согласно этому правилу, члены деления должны быть соподчиненными понятиями, их объемы не должны перекрещиваться.
Суждение – это форма мышления, в рамках которой что-либо утверждается или отрицается и которая по содержанию м/б ложной или истинной.
Не все предложения являются суждениями. К суждениям, обычно, не относятся вопросительные и побудительные предложения.
Простые суждения – суждения, в которых нельзя выделить определённую часть, которая, в свою очередь, была бы самостоятельным суждением. Например: «Он – рецидивист» или «Эти люди – рабочие», «Перед смертью Ульянов-Ленин долго болел».
1.По содержанию предиката простые суждения бывают: суждения о свойствах (атрибутивные), суждения об отношениях (релятивные) и суждения о существовании (экзистенциальные).
Атрибутивное суждение - суждение, в котором утверждается или отрицается принадлежность свойства предмету. Например: «Роза красная», «Преступник должен быть наказан» и т. п.
Суждение отношения - суждение, в котором говорится о том, что определенные отношения имеют место (или не имеют места) между элементами двух, трех и т. д. предметов. Таковыми являются, например, суждения: «Москва больше Рязани», «Каждый следователь знает некоторого адвоката лучше, чем некоторого прокурора».
Суждение о существовании (экзистенциальное) указывает на факт наличия или отсутствия того или иного предмета мысли. Например, «Существует объективная реальность», «Не существует абсолютной повторяемости явлений».
2.По объему субъекта
(количеству отображаемых в
Для характеристики соотношения объемов субъекта и предиката используется понятие «распределенность термина». Термин считается распределенным, если его объем полностью включается в объем другого термина или полностью исключается из него. Термин считается нераспределенным, если его объем лишь частично включается в объем другого термина или частично исключается из него.
Рассмотрим, как распределяются субъект и предикат в следующих суждениях.
В общеутвердительном суждении «Все адвокаты (S) есть юристы (Р)» субъект распределен, так как объем понятия «адвокат» полностью входит в объем понятия «юрист», а предикат - не распределен, так как объем понятия «юрист» шире объема понятия «адвокат». Если обозначим распределенное понятие знаком «+», нераспределенное знаком «-», то схематично наше суждение можно представить в виде:
Все S+ есть Р–.
Сложные суждения - такие, которые
состоят из простых суждений, связанных
между собой логическими
Логические связки, или союзы, выражают логические операции.
Отрицание - логическая операция, в результате которой из данного суждения (р) получается новое суждение (не- р), называемое отрицанием исходного суждения.
Конъюнкция - логическая операция, соединяющая два или более высказывания при помощи союза «и» (p q).
Дизъюнкция - логическая операция, соединяющая два или более высказывания при помощи союза «или» (р или q; символически pq). Союз «или» употребляется в естественном языке в двух значениях - соединительно-разделительном и исключающее - разделительном.
Слабая дизъюнкция - логическая операция, соединяющая высказывания при помощи союза «или», употребленного в соединительно-разделительном значении, т. е. когда входящие в сложное суждение составляющие суждения не исключают друг друга. Например, в суждении «Н. - преступник или М. - преступник» утверждается, что преступником может быть Н. или М., или оба вместе (символически: pq).
Строгая дизъюнкция - логическая операция, соединяющая высказывания при помощи союза «или», употребленного в исключающем смысле: либо Н. преступник, либо М. - преступник, но не оба вместе (либо p, либо q; символически: pq).
Импликация - логическая операция, соединяющая высказывания при помощи союза «если.., то» (символически р → q).
Эквивалентность - логическая операция, позволяющая из двух высказываний р и q получить новое высказывание: р эквивалентно q (символически р ≡ q, или р ↔ q).
В зависимости от того, какие логические союзы используются при образовании сложных суждений, последние делятся на следующие виды: отрицательные, соединительные, разделительные, условные и эквивалентные суждения.
Все эти сложные суждения могут быть истинными и ложными. Но их истинность (ложность) зависит от истинности (ложности) простых суждений и смысла логических союзов, с помощью которых они образуются. Точный смысл логических союзов определяется с помощью так называемых таблиц истинности. Рассмотрим каждый их этих видов суждений.
Между суждениями A, E, I, O с одинаковым терминами (с одинаковой материей) существует четыре вида отношений:
Отношение подчинения, в котором находятся суждения A и I, E и O. Суждения А и Е – подчиняющие, а суждения I и O подчинённые. Если общее суждение истинно, то истинно одинаковое и ним по материи и качеству чистое, но не наоборот. Например: суждение общее «Все люди смертны» истинно, то истинно будет и частное суждение «Некоторые люди смертны», обратное же не имеет место;
Отношение противоречия между суждениями E и I, O и A. Здесь суждения E и I, а также O и A относятся друг к другу как утверждение и отрицание. Поэтому в каждом из этих двух суждений одно является обязательно истинным, а другое 0 обязательно ложным. Например, если суждение «Все вещи имеют имя» (А) истинно, то суждение «Некоторые вещи не имеют имени» (О) будет ложным. И обратно: если суждение (О) истинно, то суждение (А) той же материи будет ложно;
Отношение контрарности между суждениями А и Е. В первом из них утверждается определённый вид отношения S к P, а именно, что объём S полностью содержится в P, а во втором, то есть в суждении Е, отрицается как этот вид отношения между S и P, так и отношение перекрещивается между объёмов S и P, то есть отношение противоположности не сводится к отрицанию одного суждения другим. Поэтому противоположные суждения могут быть одновременно ложными. Приведём пример. а) «Все соки представляют собой жидкость» и б) «Ни один сок не является жидкостью». При условии истинности одного суждения (из противоположных (контрарных) суждений) другое обязательство ложно. Другой пример: «Все книги изготовлены из бумаги» (А) и «Ни одна книга не изготовлена из бумаги» (Е). Здесь оба суждения ложны.
Так называемый, «логический квадрат» показывает все рассмотренные отношения между суждениями.
Модальные - это суждения, которые содержат оценку заключенной в них информации.
Пример. «На Марсе, возможно, есть жизнь»; «Каждый человек обязан соблюдать закон»; «Возможно, что существуют внеземные цивилизации»; «Обыск обязательно производится в присутствии понятых»; «Иногда отличные оценки студенты получают на экзаменах случайно».
Модальными являются все суждения, выражающие законы конкретных наук. Утверждая наличие какой-либо связи в формулировках законов науки, мы утверждаем необходимый характер этой связи.
Выделяют несколько типов модальностей, а внутри каждого типа – несколько видов. Виды модальностей соответствуют так называемым модальным операторам – специальным словам, с помощью которых и осуществляется оценка (характеристика) заключенной в суждении информации.
Алетическая модальность. Ее виды: «необходимо», «возможно», «невозможно», «случайно».
Пример. «Завтра возможен дождь».
Деонтическая модальность – это характеристики действий и поступков людей в обществе. Ее виды: «обязательно», «разрешено», «запрещено», «безразлично».
Пример. «Посторонним вход запрещен».
Эпистемическая модальность указывает на научную достоверность содержащейся в суждении информации, т.е. это – характеристики наших знаний. Виды эпистемической модальности: «доказано», «опровергнуто», «возможно» (допустить, что истинно некоторое высказывание), «знает», «верит», «убежден», «сомневается».
Кроме названных, довольно часто встречаются аксиологичес
Вопрос – это логическая форма, направленная на уточнение или дополнение исходного, базисного знания для получения новой информации.
Естественно, что чаще всего вопрос выражается вопросительным предложением, хотя и не всяким.
Виды вопросов.
Ответ это суждение, вызванное вопросом, которое уточняет или дополняет базисное знание вопроса. Ни один ответ не может быть исчерпывающим до конца. Он, в свою очередь, становится основой для новых вопросов, углубляя наши представления о мире. Ответы, как и вопросы, бывают разных видов.
По области поиска ответов различают прямые (из заданной области) и косвенные ответы. К косвенным можно отнести, например, ответы с помощью сказок, притч, когда слушатель сам должен сделать необходимый вывод.
По объему информации встречаются полные и частичные ответы, которые лишь в некоторой степени устраняют недостаток информации. По отношению к действительности ответы могут быть истинными и ложными.
По отношению к вопросу – по существу и не по существу, положительные и отрицательные, подходящие и неподходящие, тавтологичные, (когда ответ лишь повторяет, воспроизводит вопрос, но не дает новой информации). По логической (понятийной) характеристике – точными, определенными, и неточными, неопределенными.
Закон тождества. Любая мысль в процессе рассуждения должна иметь определенное, устойчивое содержание. Это коренное свойство мышления — его определенность — выражает закон тождества: всякая мысль в процессе рассуждения должна быть тождественна самой себе (а есть а, или а=а, где под а понимается любая мысль).
Закон непротиворечия. Противоречия разрушают мысль, затрудняют процесс познания. Требование непротиворечивости мышления выражает формально-логический закон непротиворечия: два несовместимых друг с другом суждения не могут быть одновременно истинными; по крайней мере одно из них необходимо ложно.
Закон исключенного третьего. Закон исключенного третьего действует только в отношении противоречащих (контрадикторных) суждений. Он формулируется следующим образом: два противоречащих суждения не могут быть одновременно ложными, одно из них необходимо истинно: а есть либо Ь,либо не-Ь.
Закон достаточного основания. Высказывая истинную мысль, мы должны обосновать ее истинность, т.е. доказать ее соответствие действительности. Требование доказанности, обоснованности мысли выражает закон достаточного основания: всякая мысль признается истинной, если она имеет достаточное основание. Если есть Ь, то есть и его основание а.
Таким образом, достаточным основанием какой-либо мысли может быть любая другая, уже проверенная и установленная мысль, из которой с необходимостью вытекает истинность данной мысли.
С помощью многообразных видов умозаключений, мы получаем новые знания в повседневной жизни и научных теориях. Без умозаключений процесс мышления невозможен.
Умозаключение – это форма мышления, посредством которой осуществляется переход от известного (имеющегося) знания в новому знанию. В структуре умозаключения выделяют: (1) посылки – исходное знание, служащее основанием умозаключения; (2) заключение – производное (новое) знание, получаемое из посылок; (3) логическую связь между посылками и заключением, выражающую отношение между ними.