Логика

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

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

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

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

ЛОГИКА.doc

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

 

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

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

Тесты

  1. Логические характеристики, выражающие структуру понятия – это:
    1. содержание, слово, имя
    2. содержание и объем
    3. смысл и значение
    4. свойства и отношения
  1. Содержание понятия – это:
  1. множество объектов, мыслимых в понятии
  1. множество отличительных признаков
  2. совокупность общих и существенных признаков
  3. то, что мыслится в понятии
      1. Положительные и отрицательные понятия выделяются по:
  1. типу элементов объема
  1. характеру признаков
  2. количественной характеристике объема
      1. Абстрактные понятия – это понятия:
  1. об отношениях и свойствах
  1. о реально несуществующих объектах
  2. об идеальных объектах
  3. математические
      1. Совместимые понятия – это понятия:
  1. содержания которых сходны
  1. объемы которых частично или полностью совпадают
  2. имеющие общие признаки
  3. имеющие одинаковое значение
      1. Отношение соподчинения есть отношение между понятиями:
  1. совместимыми
  1. несовместимыми
  2. сравнимыми
  3. несравнимыми
      1. Логическая операция определения раскрывает:
  1. содержание понятия
  1. объем понятия
  2. связь с другими понятиями
  3. функции понятия
      1. Разновидности родовидовых определений зависят от:
  1. родового признака
  1. видового признака
  2. выполняемых функций
  3. объектов определения
      1. Явные определения отличаются от неявных:
  1. структурой
  1. выполняемыми функциями
  2. языковой формой
  3. предметом определения
      1. В основе каких логических операций лежит закон обратного отношения между содержанием и формой:
  1. деления
  1. определения
  2. обобщения
  3. ограничения
 

упражнения

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

    10. Некто разделил  людей на основании того, что  можно и чего нельзя: одним  можно все, даже то, что нельзя; другим можно все, кроме того, что нельзя; третьим нельзя ничего, кроме того, что можно; четвертым нельзя ничего, даже того, что можно. Какие ошибки он допустил?

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

     

    Г л а в а  III. Суждение

    1. суждение как форма  мышления

    Суждение более  сложная форма мышления, чем понятие. Оно включает понятия в качестве своих составных элементов, но не сводится к нему. Объективную основу понятия составляют сами объекты, обладающие качественной определенностью. Объективной же основой суждений служат связи между объектами, между ними и их признаками. Например, высказывая суждение «Среди студентов встречаются бездельники», выражают имеющую место реальную связь. В суждении «Каждый из родителей старше своих детей» выражают родственные отношения по возрасту. В суждении «Не существует абсолютной повторяемости явлений» отрицается факт абсолютной повторяемости в мире. 

    Всякое суждение описывает определенную ситуацию, что-то утверждая или отрицая о ней, будучи, при этом, истинным или ложным. Суждение рассматривается как истинное, если даваемое им описание соответствует действительности (реальной ситуации), и как ложное, если не соответствует ей. «Истина» и «ложь» называются истинностными значениями суждения и являются основной логической характеристикой суждений.

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

    Обладая определенной структурой, суждения различаются по степени ее сложности. В зависимости  от этого выделяются простые и  сложные суждения. Простое суждение – это суждение, никакая часть которого не является суждением. Например: «Я – человек»; «Ничто человеческое мне не чуждо». Сложное суждение состоит из простых, тем или иным образом связанных между собой. Например, соединив два предыдущих простых суждения союзом «и», получим сложное суждение, выражающее известный афоризм: «Я – человек и ничто человеческое мне не чуждо».

    2. простые суждения. Логическая  структура и виды

    Простые суждения включают в себя в качестве структурных  элементов: субъект, предикат, связку и кванторное слово. Субъектом суждения называется понятие, выражающее предмет суждения, т.е. это то о чем говорится в данном суждении. Обозначается в логике латинской буквой «S». Предикатом суждения называется понятие, выражающее ту или иную информацию о предмете суждения. Обозначается предикат буквой «Р». Субъект и предикат – основные элементы суждения, они называются терминами суждения.

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

    Кванторное  слово (каждый, все, ни один, некоторый и т.д.) указывает: относится ли информация о предикате суждения ко всему объему понятия, выражающему субъект, или к его части. Например, в суждении «Всякое преступление – противоправное деяние» субъектом суждения является понятие «преступление», предикатом – «противоправное деяние», связка выражена знаком тире, а кванторное слово «всякое» указывает, что характеристика «противоправное деяние» относится ко всему объему (к каждому элементу объема) понятия «преступление».

    В самом общем виде простое суждение можно выразить формулой: «S есть (не есть) Р». В современной логике «S» и «Р» называют логическими переменными, т.к. они могут вмещать в себя самое различное содержание. А связка – это логическая постоянная, поскольку в ней заключено неизменное содержание: она всякий раз служит показателем наличия или отсутствия чего-либо у предмета мысли.

    Виды простых  суждений

    По характеру признака, выражаемого предикатом суждения, выделяют три вида простых суждений:

          1. Атрибутивные – суждения, в которых признак связан с наличием или отсутствием свойства. Например: «Москва – столица России», «Студенты, как правило, находчивые люди».
          2. Реляционные или с отношением – это суждения, в которых признак связан с  наличием или отсутствием отношения. Например: «Лето этого года теплее лета прошлого года», «Иван выше Петра», «2 в степени три равно 8».
          3. Экзистенциальные или существования – это суждения, в которых выражено существование или несуществование объектов. Например: «Да, были люди в наше время», «Безвыходных ситуаций нет».

    Особое значение в  логике имеет деление простых  суждений на виды по характеру связки (ее качеству) и характеру субъекта (его количеству, объему).

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

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

    Общие суждения – это суждения, в которых предикат относится ко всему объему субъекта суждения. Показателем количества (объема) субъекта выступает кванторное слово, которое в русском языке для общих суждений выражается словами: «все», «всякий», «каждый» (если суждение утвердительное) или «ни одни», «никто», «никакой» (если суждение отрицательное) и называется квантором общности – « ». Формулы общих суждений: «Все S есть Р», «Ни одно S не есть Р». Например: «Все адвокаты - юристы», «Никто не хотел умирать». В мыслительной практике кванторное слово нередко опускается. В этом случае для определения количественной характеристики суждения его мысленно следует восстановить, поставив перед субъектом слово «каждый», если суждение утвердительное, или слово «ни один», если суждение отрицательное.

    Частные суждения – это суждения, в которых предмет относится лишь к части объема субъекта, лишь к некоторым его элементам. И в этом случае показателем объема субъекта выступает кванторное слово, называемое в современной логике квантором существования и обозначаемое символом « ». В русском языке он выражается такими словами как: некоторые, не все, большинство, часть и т.п. Например: «Некоторые войны справедливы», «Большинство студентов учатся добросовестно».

    Единичные суждения – это суждения, в которых субъект выражен единичным понятием, для которых в русском языке используются собственные имена или слово «это». Например: «Это – картина Шишкина», «Московский Кремль – самый красивый в мире», «Уголовный кодекс РФ давно не пересматривался». Нередко в этих случаях субъект может быть выражен собирательным понятием, например: «Большая медведица – созвездие», «Солнечная система – не единственная планетная система в нашей Галактике».

    Количественная характеристика суждений имеет важное значение для  уточнения, определенности наших мыслей в практике мышления. Не уточнив количество суждения нельзя осуществить ни опровержение, ни доказательство исходного суждения, ибо в зависимости от изменения количественной характеристики суждения изменяются способы его доказательства и опровержения. Так, при использовании в дискуссии, споре суждения «Человек имеет преступные наклонности», необходимо уточнение его количественной характеристики, путем приведения к одному из видов: «Этот человек имеет преступные наклонности», «Некоторые люди имеют преступные наклонности» или «Все люди имеют преступные наклонности». Понятно, что способы доказательства для них будут разными.

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

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

    Возможны четыре вида категорических суждений: общеутвердительные, общеотрицательные, частноутвердительные и частноотрицательные. Еще в средневековье в логике были введены буквенные обозначения этих четырех видов категорических суждений. Они происходят от гласных букв, входящих в латинские слова affirmo – утверждаю и nego – отрицаю. Общеутвердительные суждения получили обозначение А, общеотрицательные – Е, частноутвердительные – J, частноотрицательные – О.

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

    Общеотрицательное суждение (Е) – общее по количеству и отрицательное по качеству, т.е. суждение по форме: «Ни одно S не есть Р». Например: «Ни один студент нашей группы не получает стипендию».

    Частноутвердительное суждение (J) – частное по количеству и утвердительное по качеству, т.е. суждение по форме: «Некоторые S есть Р». Например: «Некоторые студенты нашей группы получают стипендию».

    Частноотрицательное суждение (О) – частное по количеству, отрицательное по качеству, т.е. по форме: «Некоторые S не есть Р». Например: «Некоторые студенты нашей группы не получают стипендию».

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

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