ЭСБЕ/Вывод, в логике

Вывод, в логике
Энциклопедический словарь Брокгауза и Ефрона
Словник: Вааге — Вяхирь. Источник: доп. т. I (1905): Аа — Вяхирь, с. 469—470 ( скан · индекс ) • Даты российских событий указаны по юлианскому календарю.

Вывод или умозаключение — процесс мысли, которым мы убеждаемся в истинности известного суждения при noсредстве других суждений; самый процесс при этом состоит в перенесении одного из основных элементов установленного уже в нашем знании суждения на соответствующее место в другом суждении, на основании некоторого отношения между остальными элементами обоих суждений. В. необходим потому, что суждений, не нуждающихся в доказательстве, весьма немного (аксиомы). В логиках выводом считают, во-1-х, непосредственное умозаключение, т. е. такой процесс вывода суждения, который непосредственно следует из данного суждения без посредства другого, — и во-вторых, силлогизм (см.). Правильность вывода зависит как от правильности посылок, из которых делается вывод, так и от правильности самого выводного процесса. Поэтому в выводе возможны двоякого рода ошибки: материальные, зависящие от неправильности посылок, и формальные, зависящие от неправильностей, допущенных в выводном процессе.