[userpic]

Re: Deduction 

metanymous в посте Metapractice (оригинал в ЖЖ)

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:
Важно понимать, что в условных рассуждениях и во всех формах дедуктивного рассуждения справедливость умозаключения не зависит от того, действительно ли предпосылки и вывод актуально (в «реальном мире») истинны или ложны. Все, что имеет значение, заключается в том, можно ли представить ситуацию, в которой заключение было бы ложным, и все помещения были бы правдой. Действительно, существуют действительные выводы, в которых одно или несколько из предпосылок и заключение фактически ложны: