ложной посылке (условии, антецеденте). История с импликацией давняя. Еще Филон
Мегарский (III в. до н.э.) «определил условное предложение как такое предложение,
которое ложно тогда и только тогда, когда его антецедент (условие) истинен, а консеквент
посылке подвергается сомнению. Даже предлагается в этом случае считать ее
неопределённой или вовсе бессмысленной .
В парадоксальной форме это толкование импликации подается в виде известной
фразы: «Если 2
×
2
= 5, то существуют ведьмы». Такое «странное» соглашение об
импликации требуется как-то пояснить ученикам. Раньше рассуждали, например, так.
Суждение «если
A
, то
B
» означает, что «если нет
A
, то нет и
B
». Но если
A
вообще
нет, то
B
тем более нет .
Ученикам я иллюстрирую истинность импликации при ложной посылке на примерах.
Говорю фразу: «Если у меня есть свободное время, то я гуляю». А затем спрашиваю: «В
каком случае я вас обманул?» Ответ ясен: когда свободное время было, а гулять я не
пошел. Во всех прочих случаях я не обманывал, т.е. говорил правду. Любопытен и такой
пример. Скажем: «Если сегодня среда, то завтра четверг» и зададимся вопросом – в какой
день недели это высказывание верно? Ясно, что в любой. Не только в среду, а, к примеру,
во вторник, т.е. тогда, когда условие ложно.
Импликация – это «полбеды». «Беда» поджидает нас дальше, когда мы начинаем
разговор об отношении следования и произносим «из
A
следует
В
» или «ещё хуже» –
«если
A
, то
B
», приплетая сюда терминологию импликации.
В обычной речи следование подразумевает наличие причинно-следственной связи (из
того, что идёт дождь, следует, что улицы мокрые), логической связи (из того, что Сократ –
человек, следует, что он смертен, ибо все люди смертны), содержательной связи
(следствия из формул). Тем самым, на практике из ложного условия не может следовать
верное предложение.
Но если отношение следования имеет форму импликации, что происходит при
использовании союза «если – то», то ситуация запутывается. А когда ещё говорят нечто
эпатирующее, вроде «изо лжи следует все, что угодно», в головах учеников наступает
окончательное помутнение.
В формальной логике ситуация такова. На множестве высказываний
Достарыңызбен бөлісу: