Операция импликации. Условное высказывание состоит из двух простых высказываний. Условные высказывания употребляются для выражения самых разнообразных отношений между высказываниями

  Вся электронная библиотека >>>

 Логика и аргументация

 

 

 

Логика и аргументация

Учебное пособие для вузов


Раздел: Учебники



 

Импликация

 

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

Условное высказывание состоит из двух простых высказываний. То из них, которое вводится словом "если", называется антецедентом (предыдущим высказыванием), а также основанием, а начинающееся словом "то" – консеквентом (последующим высказыванием) или следствием условного высказывания.

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

В обычной речи часто не проводят различия между основанием и следствием, как логическим отношением, и причиной и следствием, как отношением реального мира. Убедиться в наличии причинной связи можно лишь путем конкретного исследования явлений окружающего нас мира. Если одно явление вызывает или порождает другое явление, то первое из них мы называем причиной, а второе – следствием. Так, нагревание стержня – причина – вызывает его удлинение – следствие. Эту зависимость мы устанавливаем эмпирически – путем наблюдения и измерения. Логическое отношение между основанием и следствием не нуждается в эмпирическом исследовании, так как устанавливается с помощью чисто логических рассуждений. В нашем примере равенство углов равностороннего треугольника выводится как геометрическая теорема.

Условные высказывания употребляются для выражения самых разнообразных отношений между высказываниями, но не во всех случаях при этом учитывается их содержание и смысл. В современной логике обращается внимание исключительно на связь между высказываниями по значению их истинности, потому что задача логики состоит в том, чтобы гарантировать истинность заключения из истинных посылок, а для этого необходимо перенести истинность с посылок на заключение. В связи с этим в логической импликации абстрагируются (отвлекаются) от содержания и смысла и обращают внимание только на связь высказываний по значению их истинности. В результате можно рассматривать импликации, которые выглядят бессмысленными и парадоксальными с точки зрения обычного, здравого смысла. Например, "Если 2 х 2 = 5, то Москва – большой город" считается не только допустимой, но и истинной импликацией.

Например, импликация "Если 2 х 2 = 4, то Москва – небольшой город" является ложной, так как ее антецедент – истинное высказывание, а консеквент – ложное.

Распределение значений истинности высказываний для импликации представлено табл.4, где стрелка обозначает импликацию.

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

 

  

К содержанию:  Логика и аргументация: пособие для вузов

 

Смотрите также:

 

Логика

 

Логика. Принципы логики. Законы формальной логики.

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

 

Логика и научный метод. Систематизация методов построения теорий...

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

 

Формальная и полуинтуитивная логика. Абстрактные критерии. Проблемы...

служит нам основным ориентиром в лабораторной практике. Та полуинтуитивная логика, которой пользуется каждый.

 

...и книги Милля. Основания политической экономии. Система логики....

позитивизма, последователь Огюста Конта. В "Системе логики" (т 1-2,1843) разработал.сменялась логикой, логика математикой, математика языками.

 

...Чарлза Пирса. Основатель семиотики. Американский философ, логик...

Американский философ, логик, математик, естествоиспытатель Родоначальник. прагматизма Выдвинул принцип, согласно которому содержание понятия целиком.

 

Основные логические законы в русском языке. Логические законы.

Поэтому говорят не просто о законах логики, а о законах и правилах логики (см. об этом: Свинцов В.И. Логика.

 

Общий характер философии Аристотеля и сравнение ее с философией...

Этим он оказал величайшую услугу -знанию. Указав философии новую цель, Аристотель дал ей и средства для достижения этой дели, которое заключаются в его логике.

 

Интуиция - что это такое

Довольно часто эти два способа конфронтируют между собой. Логика отвергает интуицию, интуиция задавливает логику.

 

...аспекты философского анализа. Аналитическая философия и логика....

На начальном этапе эти взаимоотношения были максимально тесными (упомянем хотя бы позицию раннего Рассела, считавшего логику "сущностью философии").

 

...Биография и сочинения Гегеля. Феноменология духа, Наука логики...

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

 

Последние добавления:

 

 Педагогика

Деловая психология

Политология

Политология Западная и Восточная традиции