Щаз начну помаленьку, сколько успею.
Значит, что такое импликация. Это суждение вида "если - то".
Если пойдет дождь, я промокну.
Фишка в том, что само по себе это суждение может быть истинным или ложным (ложно в случае "я сижу дома"), но законы, по которым оно будет жить (сейчас покажу), одинаковы и для истинных, и для ложных импликаций, потому что содержательную часть эта область логики не рассматривает.
Импликацию, интуитивно воспринимаемую как истинное суждение, можно сделать из общеутвердительного высказывания, например, все коты - млекопитающие. Тогда импликация будет выглядеть так:
Если это кот, то это млекопитающее. А -> Б. А здесь антецедент ("если это кот"), Б - консеквент (это млекопитающее).
Мы принимаем импликацию за истину, то есть считаем доказанным, что все коты млекопитающие, и это больше не обсуждаем, мы это постулировали. Вопрос, интересующий нас, таков: что можно из этой импликации сделать, если видоизменять антецедент или консеквент.
Так вот, из импликации есть выход только на два правильных модуса рассуждения.
1. Modus ponens (модус утверждения)
A -> Б А Следовательно, Б.
То есть: если он кот, он млекопитающее. Барсик - кот. Следовательно, он млекопитающее.
2. Modus tollens (модус отрицания)
A -> Б не Б Следовательно, не А.
Если он кот, он млекопитающее. Кузя - змея. Следовательно, он не кот.
Всё. Больше модусов нету.
Все самые распространенные логические ошибки связаны с непониманием импликации.
- Те, кто обижает животных - сволочи. - Ну знаешь, фашисты очень любили животных!
Это попытка построить такое рассуждение: Если А, то Б Не А, следовательно .... ?????
Ничего не следовательно. Из "не А" может следовать что угодно, это никак не выводимо из импликации.
То есть: Все коты - млекопитающие. Ну знаешь, у меня есть собака, и она, между прочим, тоже млекопитающее, хотя и не кот!
Эти пары высказываний ("Все, кто обижает животных, сволочи" - "А фашисты не обижали животных") и ("Все коты - млекопитающие" - "А вот у меня не кот, а собака") никак не связаны между собой логически, то есть вообще никак, совсем. Поэтому последующие выводы "что же, по-твоему, фашисты не сволочи" и "что же, по-твоему, мой кот не млекопитающее" говорят только об отсутствии логики у аргументирующего.
_________________ Все мои тексты, настоящие, будущие и прошлые, посвящаются Кепочке, моей музе, а отныне также и ангелу-хранителю
|