Deduction ↑
metanymous в посте Metapractice (оригинал в ЖЖ)
| britannica.com | |
| https://www.britannica.com/topic/deduction-reason | |
| merriam-webster.com | |
| https://www.merriam-webster.com/dictionary/implicit | |
Дедуктивное рассуждение или дедукция предполагает анализ действительных форм аргументации и выведение заключений, подразумеваемых в их помещениях. Существует несколько различных форм дедуктивного рассуждения, которые используются в различных формах проблем рассуждения.
6 комментариев
сначала старые сначала новые
If today is Monday, then I will attend cooking class today. I will not attend cooking class today. Therefore, today is not Monday.
Если сегодня понедельник, тогда я буду посещать кулинарный класс сегодня. Сегодня я не буду посещать кулинарный класс. Поэтому сегодня не понедельник
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.
Недействительность этих форм вывода указана тем фактом, что в каждом случае предпосылки для вывода могут быть истинными, а вывод ложным.
Если сегодня понедельник, тогда я буду посещать кулинарный класс сегодня. Сегодня я не буду посещать кулинарный класс. Поэтому сегодня не понедельник
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.
Недействительность этих форм вывода указана тем фактом, что в каждом случае предпосылки для вывода могут быть истинными, а вывод ложным.
It is important to realize that in conditional reasoning, and in all forms of deductive reasoning, the validity of an inference does not depend on whether the premises and the conclusion are actually (in the “real world”) true or false. All that matters is whether it is possible to conceive of a situation in which the conclusion would be false and all of the premises would be true. Indeed, there are valid inferences in which one or more of the premises and the conclusion are actually false:
Важно понимать, что в условных рассуждениях и во всех формах дедуктивного рассуждения справедливость умозаключения не зависит от того, действительно ли предпосылки и вывод актуально (в «реальном мире») истинны или ложны. Все, что имеет значение, заключается в том, можно ли представить ситуацию, в которой заключение было бы ложным, и все помещения были бы правдой. Действительно, существуют действительные выводы, в которых одно или несколько из предпосылок и заключение фактически ложны:
Важно понимать, что в условных рассуждениях и во всех формах дедуктивного рассуждения справедливость умозаключения не зависит от того, действительно ли предпосылки и вывод актуально (в «реальном мире») истинны или ложны. Все, что имеет значение, заключается в том, можно ли представить ситуацию, в которой заключение было бы ложным, и все помещения были бы правдой. Действительно, существуют действительные выводы, в которых одно или несколько из предпосылок и заключение фактически ложны:
In conditional reasoning the reasoner must draw a conclusion based on a conditional, or “if…then,” proposition. For example, from the conditional proposition “if today is Monday, then I will attend cooking class today” and the categorical (declarative) proposition “today is Monday,” one can infer the conclusion, “I will attend cooking class today.” In fact, two kinds of valid inference can be drawn from a conditional proposition. In the form of argument known as modus ponens, https://www.britannica.com/topic/modus-ponens the categorical proposition https://www.britannica.com/topic/categorical-proposition affirms the antecedent https://www.merriam-webster.com/dictionary/antecedent of the conditional, and the conclusion affirms the consequent, as in the example just given. In the form known as modus tollens, the categorical proposition denies the consequent of the conditional, and the conclusion denies the antecedent. Thus:
В условных рассуждениях рассудитель должен сделать вывод, основанный на условном или «если ... тогда» суждении. Например, из условного предложения «если сегодня понедельник, то я буду присутствовать на кулинарном классе сегодня», а категориальное (декларативное) предложение «сегодня - понедельник», можно сделать вывод: «Сегодня я буду участвовать в кулинарном классе». факт, два вида действительного вывода могут быть сделаны из условного предложения. В форме аргумента, известного как modus ponens, категорическое предложение подтверждает антецедент условного выражения, а заключение подтверждает последующее, как в приведенном примере. В форме, известной как modus tollens, категориальное предложение отрицает следствие условного, и вывод отрицает антецедент. Таким образом:
В условных рассуждениях рассудитель должен сделать вывод, основанный на условном или «если ... тогда» суждении. Например, из условного предложения «если сегодня понедельник, то я буду присутствовать на кулинарном классе сегодня», а категориальное (декларативное) предложение «сегодня - понедельник», можно сделать вывод: «Сегодня я буду участвовать в кулинарном классе». факт, два вида действительного вывода могут быть сделаны из условного предложения. В форме аргумента, известного как modus ponens, категорическое предложение подтверждает антецедент условного выражения, а заключение подтверждает последующее, как в приведенном примере. В форме, известной как modus tollens, категориальное предложение отрицает следствие условного, и вывод отрицает антецедент. Таким образом:
Either the current pope is married or he is a divorcé. The current pope is not a divorcé. Therefore, the current pope is married.
Либо нынешний папа женат, либо он разведен. Текущий папа - не разведен. Поэтому нынешний папа женат.
This inference is valid because, although the premises and the conclusion are not all true, it is impossible to conceive of a situation in which all of the premises would be true but the conclusion would be false. Examples such as these demonstrate that the validity of an inference depends upon its form or structure, not on its content.
Этот вывод действителен, потому что, хотя предпосылки и заключение не все верно, невозможно представить себе ситуацию, в которой все помещения были бы истинными, но заключение было бы ложным. Примеры, подобные этим, показывают, что справедливость вывода зависит от его формы или структуры, а не от ее содержания.
Либо нынешний папа женат, либо он разведен. Текущий папа - не разведен. Поэтому нынешний папа женат.
This inference is valid because, although the premises and the conclusion are not all true, it is impossible to conceive of a situation in which all of the premises would be true but the conclusion would be false. Examples such as these demonstrate that the validity of an inference depends upon its form or structure, not on its content.
Этот вывод действителен, потому что, хотя предпосылки и заключение не все верно, невозможно представить себе ситуацию, в которой все помещения были бы истинными, но заключение было бы ложным. Примеры, подобные этим, показывают, что справедливость вывода зависит от его формы или структуры, а не от ее содержания.
Reasoning skills are often assessed through problems involving syllogisms, https://www.britannica.com/topic/syllogism which are deductive arguments consisting of two premises and a conclusion. Two kinds of syllogisms are particularly common.
Разумные навыки часто оцениваются через проблемы с участием силлогизмов, которые являются дедуктивными аргументами, состоящими из двух предпосылок и вывода. Особенно распространены два вида силлогизмов.
In a categorical syllogism https://www.britannica.com/topic/syllogism the premises and the conclusion state that some or all members of one category are or are not members of another category, as in the following examples:
В категорическом силлогизме в посыле и заключении говорится, что некоторые или все члены одной категории являются или не являются членами другой категории, как в следующих примерах:
All robins are birds. All birds are animals. Therefore, all robins are animals.
Все малиновки - птицы. Все птицы - животные. Поэтому все малитновки - это животные.
Some bachelors are not astronauts. All bachelors are human beings. Therefore, some human beings are not astronauts.
Некоторые холостяки не космонавты. Все холостяки - это люди. Поэтому некоторые люди не являются астронавтами.
Разумные навыки часто оцениваются через проблемы с участием силлогизмов, которые являются дедуктивными аргументами, состоящими из двух предпосылок и вывода. Особенно распространены два вида силлогизмов.
In a categorical syllogism https://www.britannica.com/topic/syllogism the premises and the conclusion state that some or all members of one category are or are not members of another category, as in the following examples:
В категорическом силлогизме в посыле и заключении говорится, что некоторые или все члены одной категории являются или не являются членами другой категории, как в следующих примерах:
All robins are birds. All birds are animals. Therefore, all robins are animals.
Все малиновки - птицы. Все птицы - животные. Поэтому все малитновки - это животные.
Some bachelors are not astronauts. All bachelors are human beings. Therefore, some human beings are not astronauts.
Некоторые холостяки не космонавты. Все холостяки - это люди. Поэтому некоторые люди не являются астронавтами.
A linear syllogism involves a quantitative comparison in which each term displays either more of less of a particular attribute or quality, and the reasoner must draw conclusions based on the quantification. An example of a reasoning problem based on a linear syllogism is: “John is taller than Bill, and Bill is taller than Pete. Who is tallest?” Linear syllogisms can also involve negations, as in “Bill is not as tall as John.”
Линейный силлогизм включает количественное сравнение, в котором каждый термин отображает либо более менее определенный атрибут, либо качество, и рассуждатель должен делать выводы на основе количественной оценки. Примером проблемы рассуждения, основанной на линейном силлогизме, является: «Джон выше Билла, а Билл выше, чем Пит. Кто самый высокий?» Линейные силлогизмы могут также включать отрицания, как в примере: «Билл не такой высокий, как Джон».
Линейный силлогизм включает количественное сравнение, в котором каждый термин отображает либо более менее определенный атрибут, либо качество, и рассуждатель должен делать выводы на основе количественной оценки. Примером проблемы рассуждения, основанной на линейном силлогизме, является: «Джон выше Билла, а Билл выше, чем Пит. Кто самый высокий?» Линейные силлогизмы могут также включать отрицания, как в примере: «Билл не такой высокий, как Джон».