Автор работы: Пользователь скрыл имя, 21 Октября 2012 в 23:33, курс лекций
Формирующееся сегодня информационное общество требует несравненно более высокой, чем прежде, логической культуры, поскольку компьютер как ключевой элемент информатизации, является не чем иным, как логической машиной. Знание логической теории позволяет глубже уяснить основания и возможности формализации нашей мыслительной деятельности, с чем непосредственно связано будущее логических машин, информационных технологий. В этом состоит мировоззренческая значимость логической теории, не случайно она возникла в недрах философии.
А |
В |
~А |
~В |
~А |
А |
и |
и |
л |
л |
л |
л |
и |
л |
л |
и |
л |
и |
л |
и |
и |
и |
л |
и |
л |
л |
и |
и |
и |
л |
Сравнивая результирующие столбцы (два крайних справа), которые представляют формулы суждений (1) и (2), видим, что эти суждения не бывают одновременно истинными, значит они несовместимые суждения. Но в первой строке обнаруживаем их совместную ложность, следовательно они находятся в отношении противоположности.
КОНТРОЛЬНЫЕ ВОПРОСЫ |
|
тесты |
|
|
|
|
- общеутвердительное, - общеотрицательное, - частноутвердительное, - частноотрицательное
- общеутвердительное, - общеотрицательное, - частноутвердительное, - частноотрицательное
- общеутвердительное, - общеотрицательное, - частноутвердительное, - частноотрицательное |
|
|
|
|
|
|
|
упражнения |
|
|
Кабы старость да могла, Жизнь так часто не хромала, Жизнь бы иначе пошла (Вяземский)
|
|
|
|
|
|
Петров: Иванов виноват, а Сидоров не виновен Иванов: Если Петров виновен, то виновен Сидоров Сидоров: Я не виноват, но хотя бы один из них виноват Построив истинностные таблицы полученных суждений, ответьте на следующие вопросы:
|
Умозаключение более сложная форма мышления, чем суждение. Оно содержит в своем составе суждения, следовательно и понятия, но не сводится к ним, а выражает их определенную связь. Именно в умозаключениях (и основанных на них доказательствах) сокрыта «тайна» принудительной силы речей, которая так поразила древних и с постижения которой началась наука логика. Опосредованно, с помощью многообразных видов умозаключений, мы получаем новые знания в повседневной жизни и научных теориях. Без умозаключений процесс мышления невозможен.
Умозаключение – это форма мышления, посредством которой осуществляется переход от известного (имеющегося) знания в новому знанию. В структуре умозаключения выделяют: (1) посылки – исходное знание, служащее основанием умозаключения; (2) заключение – производное (новое) знание, получаемое из посылок; (3) логическую связь между посылками и заключением, выражающую отношение между ними. Поскольку функции посылок и заключения выполняют суждения, то умозаключение часто определяют как форму мышления, посредством которой из одного или нескольких суждений выводится новое суждение.
В зависимости от характера
связи между посылками и
Дедуктивные7 умозаключения – это умозаключения, в которых осуществляется переход от более общего знания к менее общему. Дедуктивное умозаключение выступает как средство преобразования знания, оно не расширяет объема знаний: информация, содержащаяся в заключении, составляет часть информации, содержащейся в посылках. Типичный пример дедукции, идущий от древности: Все люди смертны, Сократ – человек, следовательно, он смертен. Этот переход от общего знания к менее общему знанию имеет вид логически необходимого следования заключения из посылок, при котором гарантируется истинность заключения при истинных посылках. При этом, логически необходимое следование основано на необходимой связи структурных элементов умозаключения, т.е. на логическом законе.
Недедуктивные умозаключения – это умозаключения, в которых истинность посылок не гарантирует истинность заключения, оно всегда предположительно, вероятно. Логическая связь между посылками и заключением в таких умозаключениях не имеет необходимого характера и основана не на логическом законе, а на фактических и психологических данных. К недедуктивным умозаключениям относятся индуктивные8 умозаключения и умозаключения по аналогии. Индуктивные умозаключения – это умозаключения от менее общего знания к более общему. Например, наблюдая за движением каждой из известных планет Солнечной системы, можно сделать вывод: «Все планеты движутся с Запада на Восток». Умозаключение по аналогии – это умозаключение, в котором осуществляется переход от частного знания к частному. Заключение и посылки здесь одной и той же степени общности. Например: «На Земле есть атмосфера, смена дня и ночи, времена года, есть также и жизнь. На Марсе, подобно Земле, есть атмосфера, смена дня и ночи, времена года. Возможно, что на Марсе тоже есть жизнь». Недедуктивные умозаключения могут расширять наши знания, поэтому часто употребляются в науке, ораторской и обычной практике. Но они не обладают присущей дедуктивным умозаключениям надежностью.
Каждый из этих типов умозаключений имеет свои разновидности. Вначале рассмотрим дедуктивные умозаключения и их наиболее часто употребляемые в практике мышления виды.
Традиционная формальная
логика изучает дедуктивные
Дедуктивное умозаключение ведет к истинному знанию при выполнении двух условий: (1) если посылки истинны по содержанию и (2) если умозаключение правильно. Иными словами, заключение в выводе, как и всякое суждение, может быть истинным или ложным, но определяется это не отношением к действительности, а отношением к посылкам и их связи.
Правила и вид дедуктивного умозаключения определяются характером посылок, которые могут быть простыми или сложными суждениями. В зависимости же от количества посылок дедуктивные умозаключения бывают непосредственными и опосредованными. Непосредственные умозаключения – это умозаключения из одной посылки. Опосредованные – умозаключения из двух и более посылок. Рассмотрим их по порядку.
В человеческом общении люди выражают свои мысли по-разному. Зачастую трудно узнать одну и ту же мысль в «разных одеждах» слова. Но в споре, дискуссии, юридической практике надо реагировать быстро, уметь узнавать одну и ту же мысль и уметь доказывать, что то, что выдается за разные мысли на самом деле таковыми не являются и наоборот. Например, возьмем суждения разные по форме: (1) «Всякий трансцендентальный синтез является априорным» и (2) «Никакой неаприорный синтез не является трансцендентальным». Выражают они одну и туже мысли или разные? Ответить сразу, возможно, довольно трудно. Поэтому для логики важен вопрос: в каких случаях разные по форме мысли тождественны? Ответ на этот вопрос дается в логике посредством анализа непосредственных умозаключений, которые используются в практике мышления для уточнения смысла суждений.
В непосредственных
умозаключениях связь посылки и
заключения основана на том, что отношение
терминов (субъекта и предиката) в
посылке обуславливает отношени
Непосредственное
умозаключение через превращени
а) Общеутвердительное суждение (А) превращается в общеотрицательное (Е). Схема превращения: «Все S есть Р» ├ «Ни одно S не есть не - Р» (Знак «├» обозначает выводимость). Так, суждение: «Все хорошее дается нам недешево» - по качеству утвердительное. Преобразуем его в отрицательное, но чтобы его смысл не изменился необходимо предикат («недешево») заменить на противоречащий («дешево»), в результате получаем суждение: «Ничто хорошее не дается нам дешево».
б) Общеотрицательное суждение (Е) превращается в общеутвердительное (А). Схема превращения: «Ни одно S не есть Р» ├ «Все S есть не - Р». Например: «Ни один человек не является совершенным, следовательно, все люди несовершенны».
в) Частноутвердительное суждение (J) превращается в частноотрицательное (О). Схема превращения: «Некоторые S есть Р» ├ «Некоторые S не есть не - Р». Например: «Некоторые свидетели дают верные показания, значит, некоторые свидетели не дают неверных показаний».
г) Частноотрицательное суждение (О) превращается в частноутвердительное (J). Схема превращения: «Некоторые S не есть Р» ├ «Некоторые S есть не - Р». Например: «Некоторые спортсмены не профессионалы, следовательно, не все спортсмены профессионалы».
Таким образом, для того, чтобы осуществить превращения исходного суждения (посылки), необходимо:
В результате получаем суждение (заключение) эквивалентное исходному.
Непосредственные
а) Общеутвердительное суждение (А) обращается в частноутвердительное (J), т.е. преобразование осуществляется с ограничением: уменьшением количества исходного суждения (т.е. уменьшением объема субъекта посылки). Обусловлено это тем, что субъект в общеутвердительном суждении распределен, а предикат, как правило, не распределен. Схема обращения: «Все S есть Р» ├ «Некоторые P есть S». Например: «Все адвокаты – юристы, следовательно, некоторые юристы - адвокаты»; «Всякое суждение – предложение, но не всякое предложение - суждение».
б) Общеотрицательное суждение (Е) обращается в общеотрицательное (Е). Схема обращения: «Ни одно S не есть Р» ├ «Ни одно Р не есть S». Например: «Ни один человек не является совершенным, следовательно, ни одно совершенное существо не есть человек»; «Ни один свидетель не явился в суд. Значит, ни один явившийся в суд не свидетель».
в)Частноутвердительное суждение (J) обращается в частноутвердительное (J). Схема обращения: «Некоторые S есть Р» ├ «Некоторые Р есть S». Например: «Некоторые студенты – отличники, следовательно, некоторые отличники - студенты».
г) Частноотрицательное суждение (О) не обращается. Это обусловлено тем, что в частноотрицательных суждениях субъект не распределен, поэтому он не может стать в заключении предикатом, которое тоже отрицательное суждение и поэтому в нем предикат должен быть распределен.
Таким образом, в умозаключении через обращение, зная отношение S к Р в исходном суждении, мы выясняем обратное отношение: Р к S. Благодаря этому полнее раскрывается связь и отношения между предметами мысли, выражаемыми в суждении. С помощью обращения проверяется правильность определений. Если после перестановки определяемого и определяющего (S и Р) смысл определения не меняется, значит оно правильное. Обращение играет незаменимую роль в проверке правильности юридических определений, от которых требуется особая точность.
Противопоставление предикату – производная логическая операция, которая состоит в том, что вначале осуществляется превращение исходного суждения, а затем результат обращается.
Для противопоставления субъекту нужно проделать эти операции в обратном порядке: исходное суждение обращается, а затем полученное заключение превращается.
Для проверки правильности непосредственных умозаключений сначала нужно определить вид непосредственного умозаключения. Увидеть превращение или обращение не сложно по определению. При противопоставлении предикату следует иметь в виду, что в заключении на месте субъекта оказывается понятие, противоречащее предикату посылки, а на месте предиката – субъект исходного суждения. Умозаключение через противопоставление предикату, в котором выявляется смысл исходного суждения через отношение не – Р к S имеет вид правильного преобразования, если: