Студопедия
Случайная страница | ТОМ-1 | ТОМ-2 | ТОМ-3
АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатика
ИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханика
ОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторика
СоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансы
ХимияЧерчениеЭкологияЭкономикаЭлектроника

Раздел 1. Высказывания

Читайте также:
  1. I. Организационно-методический раздел
  2. II. ПСИХОЛОГО-ПЕДАГОГИЧЕСКИЙ РАЗДЕЛ
  3. III. ОРГАНИЗАЦИОННО-МЕТОДИЧЕСКИЙ РАЗДЕЛ.
  4. IV. РАЗДЕЛ. РЕШЕНИЕ ПЕДАГОГИЧЕСКИХ СИТУАЦИЙ
  5. БЕЗ РАЗДЕЛЕНИЯ НА КАТЕГОРИИ
  6. БЕЗ РАЗДЕЛЕНИЯ НА КАТЕГОРИИ
  7. Без разделения на категории

ЛОГИКА. Предмет логики как науки

 

Логическая схема – это та её сторона, которая не зависит от конкретного содержания, но служит для связи, упорядочения и преобразования его элементов.

Виды логических схем. Рассуждения правильные, рискованные и абсурдные.

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

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

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

Соотношение правильности и истинности

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

Познавательные ошибки в рассуждениях

Познавательные ошибки, связанные с неверными представлениями о действительном положении дел, называются содержательными.

Ошибки, связанные с нарушениями правильности мышления, называются формальными, или логическими. Они делятся на паралогизмы и софизмы.

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

РАЗДЕЛ 1. ВЫСКАЗЫВАНИЯ

Общая характеристика логики высказываний

Высказывание - языковое выражение, о котором можно сказать только одно из двух: истинно оно или ложно.

Высказывания (как и соответствующие им схемы построения) делятся на простые и сложные. Сложное высказывание можно разбить на простые. Простое высказывание на более простые не расчленяется. При построении схем в качестве переменных для простых высказываний обычно используются строчные буквы латинского алфавита: p,q,r,s,…; для любых же (иногда нам безразлично, простое это высказывание или сложное) - прописные буквы этого алфавита: A,B,C,D,...

Схема высказывания принимает логическое значение – «истинно» или «ложно».

Логическое значение сложной схемы высказывания в современной логике ставится в зависимость (является функцией) от логических значений простых схем.

Определения важнейших схем логики высказываний

 

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

Отрицанием A называется схема, обозначаемая выражением ØA (читается: «не-A», «неверно, что A»), которая принимает значение «истинно», если и только если A принимает значение «ложно». Данное определение можно выразить с помощью следующей таблицы (таблицы истинности), где «и» обозначает «истинно», а «л» – «ложно»:

Таблица 1

p Ø p
и л
л и

Конъюнкция A и B - схема, обозначаемая выражением AÙB, которая принимает значение «истинно», если и только если значение «истинно» принимает как A, так и B (см. 3-й столбец табл. 2). Выражение A Ù B читается: «A и B».

Таблица 2

p q p Ù q p Ú q p Ú q p ® q p «q
и и и и л и и
л и л и и и л
и л л и и л л
л л л л л и и

Дизъюнкция слабая p и q - схема, обозначаемая выражением pÚq, которая принимает значение «истинно», если и только если значение «истинно» принимает хотя бы одно из A и B (см. 4-й столбец табл. 2). Выражение A Ú B читается: «A или B».

Дизъюнкциия сильная А и В - схема, обозначаемая выражением A Ú B, которая принимает значение «истинно», если и только если значение «истинно» принимает лишь одно из A и B (см. столбец 5-й табл. 2). Выражение A Ú B читается: «либо A, либо B».

Импликация A и B - схема, обозначаемая выражением A®B, которая принимает значение «ложно», если и только если A принимает значение «истинно», а B – значение «ложно» (см. 6-й столбец табл. 2). Выражение A ® B читается: «Если A, то B».

Эквиваленция A и B – схема, обозначаемая выражением A«B, которая принимает значение «истинно», если и только если логические значения A и B совпадают (см. 7-й столбец табл. 2). Выражение A «B читается: «A тогда и только тогда, когда B».

Алфавит логики высказываний включает символы:

1. p, q, r, s, … – символы, которые обозначают переменные для простых высказываний; A, B, C, D, … - символы, которые обозначают переменные для любых высказываний;

2.Ù, Ú, Ú, ®, «, Ø - символы для обозначения логических союзов;

3.(,) – скобки как указатели совершения логических действий.

Никаких других символов в логике высказываний нет.

Осмысленное выражение языка логики высказываний определяется следующим образом:

1.Всякая переменная есть осмысленное выражение;

2.Если А – осмысленное выражение, то ØA, A Ù B, A Ú B, A Ú B, A®B, A«B - тоже осмысленные выражения;

3.Никаких других осмысленных выражений в логике высказываний нет.

Законы логики высказываний

Для выявления форм, являющихся логическими законами, можно воспользоваться таблицами истинности. Схема, порождающая только истинные сложные высказывания, является ЛОГИЧЕСКИМ ЗАКОНОМ.

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

Закон исключенного третьего – схема A ÚØ Aдва отрицающих друг друга высказывания не являются вместе ложными, выполняется одна из возможностей: если ложно одно из этих высказываний, то истинно его отрицание, а что-либо третье исключено.

Закон противоречия - схема Ø(A Ù Ø A) - два отрицающих друг друга высказывания не являются вместе истинными, одно их них ложно.

Закон тождества – схема A «Aвсякое высказывание является эквивалентным (тождественным) самому себе, следовательно, в правильном рассуждении оно согласуется с самим собой.

Закон удаления двойного отрицания – схема ØØ A ® A - отрицание дважды некоторого высказывание образует его утверждение.

Закон введения двойного отрицания – схема A ® ØØ A - утверждение некоторого высказывание образует его двойное отрицание. Справедливость рассмотренных законов с одной переменной легко проверяется табличным способом (см. таблицу 5).

Таблица 5

 

A A Ú Ø A Ø(A Ù Ø A) A «A ØØ A ® A A ® ØØ A
и и и л и и и
л и и л и и и

ОТНОШЕНИЯ МЕЖДУ ВЫСКАЗЫВАНИЯМИ И ИХ ЛОГИЧЕСКИМИ ФОРМАМИ

Логические формы простых и сложных высказываний (как и сами высказывания) могут находится в определенных отношениях.

Сравнимые логические формы содержат хотя бы одну общую переменную (p, q и т. д. в структуре сложных высказываний), либо одинаковые S и P в структуре простых высказываний.

Несравнимые логические формы не содержат хотя бы одну общую переменную (p, q и т. д. в структуре сложных высказываний) либо состоят из разных S и P в структуре простых высказываний.

ВИДЫ СОВМЕСТИМОСТИ ВЫСКАЗЫВАНИЙ

Полная совместимость (равнозначность) – отношения между высказываниями, логические значения которых при одинаковых значениях составляющих полностью совпадают.

Частичная совместимость (субконтрарность) – отношения между высказываниями, которые могут быть вместе истинными, но не могут быть вместе ложными.

Следование (подчинение) – отношения между высказываниями, при которых одна логическая форма высказывания является истинной, другая логическая форма также принимает истинное значение (И Þ И).

Несовместимые высказывания и их логические формы не содержат ни одного случая одновременной истинности (т. е. не могут быть одновременно истинными).

ВИДЫ НЕСОВМЕСТИМОСТИ ВЫСКАЗЫВАНИЙ

Противоречие (контрадикторность) – отношение между высказываниями и их логическими формами, которые не могут быть вместе истинными, как и не могут быть вместе ложными.

Противность (контрарность) – отношения между высказываниями, которые не могут быть вместе истинными, но могут быть одновременно ложными.


Дата добавления: 2015-08-10; просмотров: 62 | Нарушение авторских прав


Читайте в этой же книге: ПРАВИЛА ДЕЛЕНИЯ | РАЗДЕЛ 3. СИЛЛОГИСТИЧЕСКИЕ ВЫВОДЫ | Логическая структура аргументации | ИНДУКЦИЯ | АБДУКЦИЯ | УСЛОВИЯ ПРАВОМЕРНОСТИ ПРАВДОПОДОБНОЙ АРГУМЕНТАЦИИ | Логические разновидности аргументации: доказательство и опровержение | Правила по отношению к тезису | Правила по отношению к демонстрации | Логико-методологические требования к изложению научных результатов. |
<== предыдущая страница | следующая страница ==>
Молодіжний проект “Сильне Покоління” - 2 сезон /2015 рік| РАЗДЕЛ 2. ИМЕНА

mybiblioteka.su - 2015-2024 год. (0.009 сек.)