Re: Deduction ↑
metanymous в посте Metapractice (оригинал в ЖЖ)
Если сегодня понедельник, тогда я буду посещать кулинарный класс сегодня. Сегодня я не буду посещать кулинарный класс. Поэтому сегодня не понедельник
Two other kinds of inference that are sometimes drawn from conditional propositions are not logically justified. In one such fallacy, https://www.britannica.com/topic/fallacy “affirming the consequent,” the categorical proposition affirms the consequent of the conditional, and the conclusion affirms the antecedent, as in the example:
Два других типа вывода, которые иногда выводятся из условных предложений, не логически оправданы. В одной из таких ошибок, «подтверждая последующее», категорическое предложение подтверждает следствие условного, а заключение подтверждает антецедент, как в примере:
If John is a bachelor, then he is male. John is male. Therefore, John is a bachelor.
In another invalid inference form, “denying the antecedent,” the categorical proposition denies the antecedent of the conditional, and the conclusion denies the conclusion of the conditional:
В другой недействительной форме вывода, «отрицающей антецедент», категориальное предложение отрицает антецедент условного выражения, а вывод отрицает заключение условного:
If Othello is a bachelor, then he is male. Othello is not a bachelor. Therefore, Othello is not male.
Если Отелло - холостяк, то он мужчина. Отелло не холостяк. Поэтому Отелло не муж.
The invalidity of these inference forms is indicated by the fact that in each case it is possible for the premises of the inference to be true while the conclusion is false.
Недействительность этих форм вывода указана тем фактом, что в каждом случае предпосылки для вывода могут быть истинными, а вывод ложным.