Логика

Автор работы: Пользователь скрыл имя, 21 Октября 2012 в 23:33, курс лекций

Краткое описание

Формирующееся сегодня информационное общество требует несравненно более высокой, чем прежде, логической культуры, поскольку компьютер как ключевой элемент информатизации, является не чем иным, как логической машиной. Знание логической теории позволяет глубже уяснить основания и возможности формализации нашей мыслительной деятельности, с чем непосредственно связано будущее логических машин, информационных технологий. В этом состоит мировоззренческая значимость логической теории, не случайно она возникла в недрах философии.

Содержимое работы - 1 файл

ЛОГИКА.doc

— 792.00 Кб (Скачать файл)

А

В

А

В

и

и

л

л

л

л

и

л

л

и

л

и

л

и

и

и

л

и

л

л

и

и

и

л


Сравнивая результирующие столбцы (два крайних справа), которые  представляют формулы суждений (1) и (2), видим, что эти суждения не бывают одновременно истинными, значит они несовместимые суждения. Но в первой строке обнаруживаем их совместную ложность, следовательно они находятся в отношении противоположности.

 

КОНТРОЛЬНЫЕ ВОПРОСЫ

              1. Что такое суждение, какова их языковая форма?
              2. В чем отличие суждения от понятия?
              3. Какова логическая форма (структура) простых суждений?
              4. Как различают суждения по характеру предиката суждения?
              5. По каким логическим характеристикам выделяют виды простых суждений?
              6. Что такое количественная и качественная характеристики суждения?
              7. Какие суждения называют категорическими? Назовите  их виды.
              8. Что означает распределенность терминов в суждении?
              9. Какие виды сложных суждений Вы знаете и каковы условия их истинности?
              10. Объясните важность анализа логической формы сложных суждений с использованием символического языка.
              11. Каковы основные виды отношений между суждениями?
              12. Какие разновидности совместимых суждений Вы знаете и каковы их истинностные характеристики?
              13. Чем отличается отношение противоречия от отношения противоположности? Покажите это на анализе какого-либо контекста.
              14. Объясните, как осуществляется логический анализ отношений между простыми суждениями.
              15. Как определяются отношения между сложными суждениями по их истинностным значениям?
 

тесты

  1. Суждения выражаются предложениями:
        1. повествовательными
        2. вопросительными
  1. простыми или сложными
  1. восклицательными
  1. Основной логической характеристикой суждений является:
        1. структура суждения
        2. истинностное значение
        3. языковое выражение
        4. характер связи
  • Качество суждения означает:
        1. объем субъекта
        2. характер связки
        3. объем предиката
        4. нормативная характеристика
    1. Количество суждения означает:
          1. объем субъекта
          2. объем предиката
          3. нормативную характеристику
          4. характер связки
  • К какому виду относятся следующие категорические суждения (выберите правильный ответ):
        1. Ни один гражданин РФ не вправе нарушать закон.

    - общеутвердительное, - общеотрицательное, - частноутвердительное, - частноотрицательное

          1. Разрешено все, что не запрещено.

    - общеутвердительное, - общеотрицательное, - частноутвердительное, - частноотрицательное

          1. Мои стихи живит не ложная свобода:

    - общеутвердительное, - общеотрицательное, - частноутвердительное, - частноотрицательное

    1. Термины в суждении «Никто не хотел умирать» распределены следующим образом:
          1. субъект – да, предикат – нет
          2. субъект – нет, предикат – да
          3. субъект – нет, предикат – нет
          4. субъект – да, предикат – да
  • Сложное суждение – это суждение:
        1. выраженное сложным повествовательным предложением
        2. образованное из простых с помощью логических союзов
        3. имеющее сложный субъект
        4. имеющее сложный предикат
    1. Вид сложного суждения определяется:
          1. характером логической связки
          2. характером простых суждений
          3. структурными элементами
          4. количеством логических связей
  • Какой логический союз дает истинную связь лишь в одном случае – при истинности обеих его элементов:
        1. конъюнкция
        2. дизъюнкция
        3. импликация
        4. эквивалентность
    1. Отношения между суждениями устанавливают по их:
          1. истинностным значениям
          2. количественным характеристикам
          3. качественным характеристикам
          4. по характеру связки
  • Суждения рассматриваются как совместимые, если они:
        1. одновременно могут быть истинными
        2. имеют одинаковые структурные элементы
        3. имеют одинаковые логические союзы
        4. совпадают по содержанию
    1. По логическому квадрату устанавливают отношения между:
          1. простыми категорическими суждениями
          2. сложными суждениями
          3. совместимыми суждениями
          4. несравнимыми суждениями
     

    упражнения

    1. Определите логическую структуру и вид следующих простых суждений:
          1. Законность – неотъемлемая часть демократии
          2. Иглой дороги не измерить
          3. Есть женщины в русских селеньях с спокойною важностью лиц...(А.Н.Некрасов)
          4. Некоторые студенты нашей группы лучше знают немецкий, чем английский
          5. Ошибочно решение о продаже акций
          6. В контрольной работе не было ошибок
          7. «Сияла ночь. Луной был полон сад...» (А.А.Фет)
          8. «Незнание - не довод. Невежество - не аргумент» (Спиноза)
          9. Волк овце - не товарищ.
  • Определите вид категорических суждений (в случае необходимости, приведя их к явной логической форме) и распределенность терминов в них:
        1. Взяточник никогда не бывает честным
        2. «Все модные пороки слывут добродетелями» (Мольер)
        3. Острая шутка не есть окончательный приговор
        4. Бумажные деньги, не обеспеченные товарами, дешевеют
        5. Иногда банки становятся банкротами
        6. Не все предприниматели миллионеры
        7. Многие следственные действия имеют своей целью профилактику нарушений
        8. Истинные ученые, как правило, скромны.
    1. Запишите символически и определите вид и логическую структуру следующих сложных суждений:
          1. Наблюдается спад производства, но нельзя сказать, что высоко выросли цены.
          2. Ценные бумаги, как облигации, так и векселя, этой фирмы обесценились
          3. Суд отказывает в иске истцу, если его исковые требования являются незаконными
          4. В уголовном праве ошибка может быть либо фактическая, либо юридическая
          5. Было бы начало, будет и конец
          6. Кабы молодость да знала,

    Кабы старость да могла,

    Жизнь так часто  не хромала,

    Жизнь бы иначе  пошла (Вяземский)

          1. «Всякое применение власти для своей правомерности должно быть выражением народной воли и результатом действительности или молчаливого согласия» (Ж.Ж.Руссо)
          2. «Если ты сможешь доказать мне свои добрые намерения, то я поверю тебе или же мне придется вызвать полицию и обвинить тебя в лжесвидетельстве» (Г.Каттнер. Источник миров)
    1. Деньги – продукт стихийного развития товарных отношений, а не результат договоренности или какого-либо сознательного акта.
    2. Законы становятся уважаемыми тогда и только тогда, когда созданы законы достойные уважения, а правительство не нарушает их.  
    3. Санкции применяются в государству, когда зафиксированы нарушения им международных обязательств или норм международного права.
    1. Построением истинностных таблиц (используя определение логических союзов) определите значения истинности сложных суждений № 7 – 11 в упражнении III.
    1. Установите с помощью определения истинностных значений, равнозначны ли суждения в каждой из следующих пар:
          1. Платон мне друг, но истина дороже. Неверно, что Платон мне не друг и мне не дорога истина.
          2. Водород бесцветен и не имеет запаха. Неверно, что водород имеет цвет или запах.
          3. Если я устал, то не могу работать. Я устал, но могу еще работать.
          4. Никто не может быть произвольно лишен гражданства или права изменить его. Неверно, что кто-либо может быть лишен произвольно своего гражданства или права изменить его.
  • Выявите совместимость или несовместимость следующих пар суждений, определите их вид (Для простых категорических суждений с помощью логического квадрата, а для сложных суждений – построением истинностных таблиц)
        1. Он не мог не знать, что нарушает закон. Он мог не знать, что нарушает закон.
        2. Каждый человек имеет свой характер. У всех людей разные характеры.
        3. Всяк кулик свое болото хвалит. Нет такого кулика, который бы своего болота не хвалил.
        4. Все головоломки имеют решения. Некоторые головоломки не имеют решения.
        5. Некоторые экономисты – практики. Некоторые экономисты не практики.
        6. Если идет дождь, то крыши мокрые. Дождя нет, а крыши мокрые.
        7. Если болезнь запущена, то ее легко распознать, но трудно излечить. Если болезнь не запущена, то ее трудно распознать, но ее легко излечить.
        8. Неверно, что Мария либо сестра Валентины, либо ее своячница. Мария и не сестра Валентины и не ее своячница.
        9. «Если хочется кому-то маринованного спрута – значит ждет его Калькутта или порт Бордо» (Ю.Ким). Неверно, что не хочется кому-то маринованного спрута и не ждет его Калькутта и Бордо.
    1. В каком отношении находятся следующие высказывания великих философов:
          1. «Мыслю, следовательно, существую» (Декарт)
          2. «Существую, следовательно, существую» (И.Кант)
          3. «Существу, следовательно, желаю» (А.Шопенгауэр)
  • Рассуждая от «противного» при доказательстве теоремы: «Если в многоугольник не вписывается окружность, то он неправильный», студент формулирует нижеследующие допущения (1 – 4). Какое из них верно? Укажите причину ошибок:
        1. Если в многоугольник вписывается окружность, то он правильный
        2. Если многоугольник правильный, то в него вписывается окружность
        3. В многоугольник не вписывается окружность и он правильный
        4. Многоугольник вписывается в окружность и он правильный
    1. Иванов, Петров, Сидоров обвиняются в подделке документов, подлежащих налоговому обложению. Они дают показания:

    Петров: Иванов виноват, а Сидоров не виновен

    Иванов: Если Петров виновен, то виновен Сидоров

    Сидоров: Я не виноват, но хотя бы один из них виноват

    Построив истинностные таблицы полученных суждений, ответьте на следующие вопросы:

          1. Совместимы ли показания всех трех подозреваемых.
          2. Показания одного из подозреваемых следует из показаний другого. Чьи это показания?
          3. Если невиновный говорит правду, а виновный лжет, то кто невиновен, а кто виновен?

     

    Г л а в а IV. УМОЗАКЛЮЧЕНИЕ

    1. Умозаключение как  форма мышления

    Умозаключение более  сложная форма мышления, чем суждение. Оно содержит в своем составе  суждения, следовательно и понятия, но не сводится к ним, а выражает их определенную связь. Именно в умозаключениях (и основанных на них доказательствах) сокрыта «тайна» принудительной силы речей, которая так поразила древних и с постижения которой началась наука логика. Опосредованно, с помощью многообразных видов умозаключений, мы получаем новые знания в повседневной жизни и научных теориях. Без умозаключений процесс мышления невозможен.

    Умозаключение – это форма мышления, посредством  которой осуществляется переход  от известного (имеющегося) знания в  новому знанию. В структуре умозаключения выделяют: (1) посылки – исходное знание, служащее основанием умозаключения; (2) заключение – производное (новое) знание, получаемое из посылок; (3) логическую связь между посылками и заключением, выражающую отношение между ними. Поскольку функции посылок и заключения выполняют суждения, то умозаключение часто определяют как форму мышления, посредством которой из одного или нескольких суждений выводится новое суждение.

    В зависимости от характера  связи между посылками и заключением  – достоверного или вероятного, – а также направленности хода мысли в умозаключении, в логике выделяют дедуктивные и недедуктивные умозаключения.

    Дедуктивные7 умозаключения – это умозаключения, в которых осуществляется переход от более общего знания к менее общему. Дедуктивное умозаключение выступает как средство преобразования знания, оно не расширяет объема знаний: информация, содержащаяся в заключении, составляет часть информации, содержащейся в посылках. Типичный пример дедукции, идущий от древности: Все люди смертны, Сократ – человек, следовательно, он смертен. Этот переход от общего знания к менее общему знанию имеет вид логически необходимого следования заключения из посылок, при котором гарантируется истинность заключения при истинных посылках. При этом, логически необходимое следование основано на необходимой связи структурных элементов умозаключения, т.е. на логическом законе.

    Недедуктивные умозаключения  – это умозаключения, в которых  истинность посылок не гарантирует  истинность заключения, оно всегда предположительно, вероятно. Логическая связь между посылками и заключением в таких умозаключениях не имеет необходимого характера и основана не на логическом законе, а на фактических и психологических данных. К недедуктивным умозаключениям относятся индуктивные8 умозаключения и умозаключения по аналогии. Индуктивные умозаключения – это умозаключения от менее общего знания к более общему. Например, наблюдая за движением каждой из известных планет Солнечной системы, можно сделать вывод: «Все планеты движутся с Запада на Восток».  Умозаключение по аналогии – это умозаключение, в котором осуществляется переход от частного знания к частному. Заключение и посылки здесь одной и той же степени общности. Например: «На Земле есть атмосфера, смена дня и ночи, времена года, есть также и жизнь. На Марсе, подобно Земле, есть атмосфера, смена дня и ночи, времена года. Возможно, что на Марсе тоже есть жизнь». Недедуктивные умозаключения могут расширять наши знания, поэтому часто употребляются в науке, ораторской и обычной практике. Но они не обладают присущей дедуктивным умозаключениям надежностью.

    Каждый из этих типов  умозаключений имеет свои разновидности. Вначале рассмотрим дедуктивные  умозаключения и их наиболее часто  употребляемые в практике мышления виды.

    2. Дедуктивные умозаключения

    Традиционная формальная логика изучает дедуктивные умозаключения. Поскольку в этих умозаключениях логическая связь между посылками и заключением имеет необходимый характер, делая возможным достоверный переход от первого ко второму, то именно в этой связи и сокрыта «тайна» принудительности вывода в таких умозаключениях. Если мы приняли какие-либо посылки, то хотим мы этого или нет, но вынуждены принять и заключение, вытекающее из них, именно из-за имеющейся связи между тем и другим. Связь между посылками и заключением отражается в логике в правилах умозаключения. Логические правила – это своеобразные дедуктивные предписания, базирующиеся на логических законах, выражающих необходимые связи мыслительного процесса. Они позволяют признать истинным заключение, полученное в результате вывода из посылок. Поэтому основная логическая характеристика дедуктивного умозаключения – его правильность. Умозаключение называется правильным, если оно осуществлено в соответствии с объективными законами мышления, выражаемыми соответствующими логическими правилами.

    Дедуктивное умозаключение  ведет к истинному знанию при  выполнении двух условий: (1) если посылки  истинны по содержанию и (2) если умозаключение  правильно. Иными словами, заключение в выводе, как и всякое суждение, может быть истинным или ложным, но определяется это не отношением к действительности, а отношением к посылкам и их связи.

    Правила и вид дедуктивного умозаключения определяются характером посылок, которые могут быть простыми или сложными суждениями. В зависимости же от количества посылок дедуктивные умозаключения бывают непосредственными и опосредованными. Непосредственные умозаключения – это умозаключения из одной посылки. Опосредованные – умозаключения из двух и более посылок. Рассмотрим их по порядку.

    2.1. Непосредственные  умозаключения

    В человеческом общении  люди выражают свои мысли по-разному. Зачастую трудно узнать одну и ту же мысль в «разных одеждах» слова. Но в споре, дискуссии, юридической  практике надо реагировать быстро, уметь узнавать одну и ту же мысль и уметь доказывать, что то, что выдается за разные мысли на самом деле таковыми не являются и наоборот. Например, возьмем суждения разные по форме: (1) «Всякий трансцендентальный синтез является априорным» и (2) «Никакой неаприорный синтез не является трансцендентальным». Выражают они одну и туже мысли или разные? Ответить сразу, возможно, довольно трудно. Поэтому для логики важен вопрос: в каких случаях разные по форме мысли тождественны? Ответ на этот вопрос дается в логике посредством анализа непосредственных умозаключений, которые используются в практике мышления для уточнения смысла суждений.

    В непосредственных умозаключениях связь посылки и  заключения основана на том, что отношение  терминов (субъекта и предиката) в  посылке обуславливает отношение терминов заключения. Поэтому такой вид умозаключения по форме представляет собой структурное преобразование одного суждения (посылки) в другое (заключение). Существует два основных вида преобразований суждений в непосредственных умозаключениях: превращение и обращение, которые можно сочетать в том или ином порядке и получать более сложные преобразования: противопоставление предикату и  противопоставление субъекту. Рассмотрим эти виды непосредственных умозаключений, в которых посылка и заключение выражены простыми категорическим суждениями: А, Е, J, О.

    Непосредственное  умозаключение через превращение состоит в преобразовании посылки путем изменения ее качества и замены предиката на противоречащее понятие. Превращать можно категорические суждения всех видов. При этом проявляются следующие закономерности:

    а) Общеутвердительное суждение (А) превращается в общеотрицательное (Е). Схема превращения: «Все S есть Р»  ├  «Ни одно S не есть не - Р» (Знак «├» обозначает выводимость). Так, суждение: «Все хорошее дается нам недешево» -  по качеству утвердительное. Преобразуем его в отрицательное, но чтобы его смысл не изменился необходимо предикат («недешево») заменить на противоречащий («дешево»), в результате получаем суждение: «Ничто хорошее не дается нам дешево».

    б) Общеотрицательное  суждение (Е) превращается в общеутвердительное (А). Схема превращения: «Ни одно S не есть Р» ├ «Все S есть не - Р». Например: «Ни один человек не является совершенным, следовательно, все люди несовершенны».

    в) Частноутвердительное суждение (J) превращается в частноотрицательное (О). Схема превращения: «Некоторые S есть Р» ├ «Некоторые S  не есть не - Р». Например: «Некоторые свидетели дают верные показания, значит, некоторые свидетели не дают неверных показаний».

    г) Частноотрицательное суждение (О) превращается в частноутвердительное (J). Схема превращения: «Некоторые S не есть Р» ├ «Некоторые S есть не - Р». Например: «Некоторые спортсмены не профессионалы, следовательно, не все спортсмены профессионалы».

    Таким образом, для того, чтобы осуществить превращения исходного суждения (посылки), необходимо:

                1. Заменить связку исходного суждения на противоположную по качеству;
                2. Заменить предикат исходного суждения на понятие противоречащее ему.

    В результате получаем суждение (заключение) эквивалентное исходному.

    Непосредственные умозаключения  через обращение осуществляются перестановкой субъекта и предиката в посылке без изменения качества суждения. При этом должно быть выполнено правило: термин не распределенный в посылке не может быть распределен в заключении. Соблюдение данного правила накладывает ограничение на данную форму преобразования:

    а) Общеутвердительное суждение (А) обращается в частноутвердительное (J), т.е. преобразование осуществляется с ограничением: уменьшением количества исходного суждения (т.е. уменьшением объема субъекта посылки). Обусловлено это тем, что субъект в общеутвердительном суждении распределен, а предикат, как правило, не распределен. Схема обращения: «Все S есть Р» ├ «Некоторые P есть S». Например: «Все адвокаты – юристы, следовательно, некоторые юристы - адвокаты»; «Всякое суждение – предложение, но не всякое предложение - суждение».

    б) Общеотрицательное  суждение (Е) обращается в общеотрицательное (Е). Схема обращения: «Ни одно S не есть Р» ├ «Ни одно Р не есть S». Например: «Ни один человек не является совершенным, следовательно, ни одно совершенное существо не есть человек»; «Ни один свидетель не явился в суд. Значит, ни один явившийся в суд не свидетель».

    в)Частноутвердительное суждение (J) обращается в частноутвердительное (J). Схема обращения: «Некоторые S есть Р» ├ «Некоторые Р есть S». Например: «Некоторые студенты – отличники, следовательно, некоторые отличники - студенты».

    г) Частноотрицательное  суждение (О) не обращается. Это обусловлено тем, что в частноотрицательных суждениях субъект не распределен, поэтому он не может стать в заключении предикатом, которое тоже отрицательное суждение и поэтому в нем предикат должен быть распределен.

    Таким образом, в умозаключении  через обращение, зная отношение S к Р в исходном суждении, мы выясняем обратное отношение: Р к S. Благодаря этому полнее раскрывается связь и отношения между предметами мысли, выражаемыми в суждении. С помощью обращения проверяется правильность определений. Если после перестановки определяемого и определяющего (S и Р) смысл определения не меняется, значит оно правильное. Обращение играет незаменимую роль в проверке правильности юридических определений, от которых требуется особая точность.

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

    Для противопоставления субъекту нужно проделать эти операции в обратном порядке: исходное суждение обращается, а затем полученное заключение превращается.

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

    Информация о работе Логика