Портал учебных материалов.
Реферат, курсовая работы, диплом.


  • Архитктура, скульптура, строительство
  • Безопасность жизнедеятельности и охрана труда
  • Бухгалтерский учет и аудит
  • Военное дело
  • География и экономическая география
  • Геология, гидрология и геодезия
  • Государство и право
  • Журналистика, издательское дело и СМИ
  • Иностранные языки и языкознание
  • Интернет, коммуникации, связь, электроника
  • История
  • Концепции современного естествознания и биология
  • Космос, космонавтика, астрономия
  • Краеведение и этнография
  • Кулинария и продукты питания
  • Культура и искусство
  • Литература
  • Маркетинг, реклама и торговля
  • Математика, геометрия, алгебра
  • Медицина
  • Международные отношения и мировая экономика
  • Менеджмент и трудовые отношения
  • Музыка
  • Педагогика
  • Политология
  • Программирование, компьютеры и кибернетика
  • Проектирование и прогнозирование
  • Психология
  • Разное
  • Религия и мифология
  • Сельское, лесное хозяйство и землепользование
  • Социальная работа
  • Социология и обществознание
  • Спорт, туризм и физкультура
  • Таможенная система
  • Техника, производство, технологии
  • Транспорт
  • Физика и энергетика
  • Философия
  • Финансовые институты - банки, биржи, страхование
  • Финансы и налогообложение
  • Химия
  • Экология
  • Экономика
  • Экономико-математическое моделирование
  • Этика и эстетика
  • Главная » Логика. Учебник » 4.1. Свойства, отношения и предикаты

    4.1. Свойства, отношения и предикаты

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

    В традиционной логике свойство отображается в суждении предикатом, а вещь, которой принадлежит это свойство, – субъектом. Следует, однако, различать субъект и предикат в грамматике и логике, подобно тому как мы различаем предложение и суждение (высказывание) Суждения, имеющие субъектно-предикатную структуру, отображают часто встречающиеся в действительном мири связи между вещами, событиями и явлениями, с одной стороны, и их свойствами и признаками, с другой. Именно эти связи и стали предметом изучения традиционной логики.
    Хотя различные виды отношений, такие, как "больше", "меньше", "выше", "ниже", "дальше", "ближе" и т.п.
    , не говоря уже об отношениях родства встречаются часто, но традиционная логика либо совершенно не интересовалась логическим анализом отношений, либо пыталась свести    их к субъектно-предикатной структуре.
    Впервые изучением логики отношений занялись математики, и ее основоположником считается английский математик и логик О. де Морган. Интерес к данной логике со стороны математиков вовсе не случаен, поскольку именно в этой науке встречаются самые разнообразные отношения (равенства, неравенства, подобия, между, включения, конгруэнтности, параллельности    и т.д.). Такие отношения представлены в формулировке аксиом различных математических дисциплин, и поэтому для доказательства теорем необходимы точные определения тех логических операций, которые можно производить над отношениями.

    С логической точки зрения отношения можно рассматривать как обобщение обычного предиката традиционной логики, выражающего свойства предметов. Если этот предикат характеризует один-единственный предмет или, как мы будем говорить в дальнейшем, объект, то в логике отношений он определяет отношение между разными объектами.
    Так, когда мы говорим, что число 5 больше, чем 3, то тем самым устанавливаем между ними отношение "больше" по величине.
    Отношение между двумя объектами называют бинарным, (двучленным), между тремя – тернарным и т.д. Объекты, которые заполняют эти места, характеризуют соответствующий предикат.
    Символически это представляется так:
    Р (x1, x2,..., хn),
    где Р обозначает предикат, a x1, х2,..., хn – соответствующие объекты. Если п = 0, тогда предикат будет нерасчлененным высказыванием, которое рассматривалось в предыдущей главе, при п = 1 предикат представляет свойство, при n = 2 – бинарное отношение, при п = 3 – тернарное отношение и т.д.
    С логико-математической точки зрения предикат можно рассматривать как пропозициональную функцию. В отличие от математических функций, где аргументами служат числа и другие математические объекты, в пропозициональной функции аргументами являются только высказывания. Если такой предикат выражает свойство, например "быть студентом", то, подставив вместо аргумента х фамилии разных лиц, мы получим различные высказывания, истинные и ложные, т.е., если Иванов действительно студент, то он будет удовлетворять функции Р(х), где Р обозначает свойство "быть студентом". Аналогично, если Ч(х) обозначает свойство "быть четным числом", то число 4 удовлетворяет этой функции, а число 5 – нет. Обратите внимание, что в этом случае вместо обычных чисел аргументами служат высказывания о числах.
    Предикат Р(х,у) является пропозициональной функцией от двух аргументов и выражает бинарное отношение между двумя объектами, например "Москва южнее, чем С.-Петербург". В данном случае предикат Р обозначает отношение "быть южнее". Если вместо "Москвы" взять "Мурманск", то получится ложное высказывание. Отсюда становится ясно, что предикат или пропозициональная функция сами по себе не являются высказываниями, и потому не могут считаться ни истинными _ни ложными.
    Они становятся истинными или ложными высказываниями после того, как вместо их аргументов подставляются конкретные высказывания. Такой функциональный подход к предикатам дает возможность обращаться с ними как со специальными видами функций, аргументами которых являются не математические, а логические объекты, а именно высказывания.
    Объектами же рассуждений могут быть самые разнообразные предметы как реального, так и идеального мира, события, явления, процессы. Предикаты, которые их характеризуют, в принципе позволяют выделить класс (или множество) этих объектов. Такой класс в логике называют универсумом рассуждения. Например, универсумом рассуждений в арифметике является множество чисел, в химии– различные химические элементы, простые и сложные вещества, в которые они входят, в биологии – живые организмы, в социальных науках– группы, коллективы, классы людей и соответствующие общественные структуры. Логика не изучает и не определяет универсумы конкретных видов рассуждений. Это составляет задачу конкретных наук. Поэтому в логическом анализе такие универсумы предполагаются заданными.

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

    Об авторах
    Введение
    1 ГЛАВА. Предмет и задачи логики
    1.1. Логика как наука
    1.2. Основные этапы развития логики
    1.3. Логика и другие науки
    1.4. Понятие о логической форме и правильности мышления
    1.5. Логика и язык
    Проверьте себя
    2 ГЛАВА. Понятие как форма мышления
    2.1. Понятие как результат обобщения
    2.2. Определение понятий. Их основные виды
    2.3. Деление понятий и классификация
    2.4. Понимание и аргументация
    3 ГЛАВА. Логика высказываний
    3.1. Высказывание и предложение
    3.2. Логическая структура высказываний
    3.3. Способы образования сложных высказываний
    3.4. Основные логические операции над высказываниями
    3.5. Логическое следование
    3.6. Доказуемость и выводимость
    3.7. Логический анализ рассуждений естественного языка
    3.8. О модальности суждений
    3.9. Непосредственные умозаключения традиционной логики
    4 ГЛАВА. Логика предикатов
    4.1. Свойства, отношения и предикаты
    4.2. Кванторы
    4.3. Исчисление предикатов
    4.4. Логическое следование
    4.5. Выводимость и доказуемость
    4.6. Категорический силлогизм и другие умозаключения дедуктивной логики
    4.7. Логический анализ рассуждений в естественном языке
    5 ГЛАВА. Правдоподобные рассуждения
    5.1. Статистическая и логическая вероятность
    5.2. Основные формы индуктивных рассуждений
    5.3. Методы индукции Бэкона– Милля
    5.4. Причинность, индукция и гипотеза в социально-гуманитарном познании
    5.5. Умозаключения по аналогии
    5.6. Статистические умозаключения
    6 ГЛАВА. Основные законы логики
    6.1. Закон тождества
    6.2. Закон противоречия
    6.3. Закон исключенного третьего
    6.4. Закон достаточного основания
    Часть вторая. Логические основы аргументации
    7 ГЛАВА. Доказательство и опровержение
    7.1. Общее понятие о доказательстве
    7.2. Структура доказательства
    7.3. Основные способы демонстрации тезиса
    7.4. Прямые и косвенные доказательства
    7.5. Опровержение
    7.6. Правила доказательства и опровержения
    7.7. Паралогизмы, софизмы и парадоксы
    8 ГЛАВА. Аргументация и диалог
    8.1. Диалог как форма поиска истины и способ аргументации
    8.2. Спор, дискуссия и полемика
    8.3. Ошибки и уловки, допускаемые в ходе аргументации
    9 ГЛАВА. Общая структура и методы аргументации
    9.1. Графические схемы структуры аргументации
    9.2. Основные стадии процесса аргументации
    9.3. Важнейшие методы аргументации
    10 ГЛАВА. Анализ и оценка данных аргументации
    10.1. Основные виды данных и требования, предъявляемые к ним
    10.2. О природе ценностей в аргументации
    10.3 Доверие как источник убеждения
    Заключение

     

    Похожие работы:

    Воспользоваться поиском

     

    Похожие учебники:

    Педагогика начальной школы

    MySQLi connect error: Connection refused