«Вывод»

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

в логике, рассуждение, в ходе которого из каких-либо исходных суждений (высказываний (См. Высказывание)), посылок или предпосылок В., получается суждение, логически вытекающее из посылок. См. Дедукция, Индукция.

1. вы́вод;
2. вы́воды;
3. вы́вода;
4. вы́водов;
5. вы́воду;
6. вы́водам;
7. вы́вод;
8. вы́воды;
9. вы́водом;
10. вы́водами;
11. вы́воде;
12. вы́водах.

ВЫ́ВОД, -а, муж.

1. см. вывести 1.

2. Умозаключение, то, что выведено (см. вывести 1 в 5 знач.). Важный в. Сделать необходимые выводы.

3. Провод, устройство, выходящее или выводящее что-н. наружу (спец.).

| прил. выводной, -ая, -ое (к 3 знач.).

-а, м.

1.

Действие по глаг. вывести—выводить (в 1, 2, 3, 4, 5 и 6 знач.).

Вывод войск из населенного пункта. Вывод математической формулы. Вывод птенцов. Вывод молодняка.

□

В начале девятнадцатого столетия князь продал имение соседу Юматову, а крестьян взял на вывод. Гарин-Михайловский, Несколько лет в деревне.

2.

Логический итог рассуждения; умозаключение.

Правильный вывод. Прийти к новому выводу.

□

[Капитан Татаринов] успел сделать выводы из своих наблюдений. Каверин, Два капитана.

Этот вывод он проверил в следующем своем крупном испытании. Б. Полевой, Рождение эпоса.

3. тех.

Провод, приспособление, выходящие откуда-л. или выводящие что-л. наружу.

ВЫ́ВОД, вывода, муж.

1. только ед. Действие по гл. выводить в 1 знач. Вывод войск из города. Вывод крестьян на поселение (ист.).

2. Умозаключение, итог, получающийся как следствие рассуждений, вычислений. Из этого сделали неправильный вывод. Окончательный вывод. Поспешный вывод (недостаточно обоснованный). Прийти к какому-нибудь выводу.

3. Провод, приспособление, выходящее, выведенное откуда-нибудь наружу (тех.).

I

м.

1.

процесс действия по гл. выводить I, выводиться I 1.

2.

Результат такого действия.

II

м.

1.

процесс действия по гл. выводить II 1., выводиться II 1.

2.

Результат такого действия; логический итог рассуждения, исследования и т.п.

отт. Переход от посылок к следствиям (заключениям) по правилам логики.

3.

Мнение кого-либо о ком-либо или о чём-либо, оценка чего-либо, выражение отношения к чему-либо.

III

м.

Процесс выдачи данных из основной памяти компьютера во внешнее устройство (принтер, дисплей).

IV

м.

Типографский набор в виде нескольких вертикальных столбцов текста или цифр, отделенных друг от друга пробелами.

V

м.

Приспособление, выведенное откуда-либо или выводящее что-либо наружу.

VI

м. местн.

1.

Детёныши птиц или животных, выведенные одной самкой и держащиеся вместе; выводок 1..

2.

перен. разг.

Большое количество детей в семье; выводок 2. (обычно с оттенком шутливости).

ВЫВОД - переход от посылок к следствиям (заключениям) по правилам логики (см. также Дедукция).

муж.
1) (удаление) withdrawal
2) (заключение) conclusion, inference;
deduction научн.;
(комиссии) мн. finding ложный вывод ≈ false conclusion неправильный вывод ≈ wrong conclusion поспешный вывод ≈ hasty conclusion сделать вывод ≈ to draw a conclusion, conclude, infer прийти в выводу ≈ to come to a conclusion, to arrive at a conclusion поспешить с выводом ≈ to jump to a conclusion
3) мат. derivation
4) электр. outlet, leading-out wireм.
1. (увод) withdrawal;
(удаление) removal;

2. (умозаключение) conclusion, inference;
поспешить с ~ом jump to a conclusion;
прийти к ~у come* to a conclusion;

3. (выращивание) rearing, breeding;

4. (высиживание) hatching;

5. (истребление) extermination;

6. эл. outlet.

derivation, bushing, conclusion, contact электрон.,(формулы) development матем., output electrode, feedthrough,(на орбиту) injection, lead, leading-out, leg, outlet, output, readout, roll-out, terminal screw, out stroke, tab,(сейсмической косы) takeout,(электронного прибора) connection terminal, lead terminal, terminal, termination

вывод— conclusion

m.conclusion, deduction, inference, derivation; withdrawal; делать вывод, v., conclude, draw a conclusion; делать поспешный вывод, jump to a conclusion; вывод данных, data output

м

1)(удаление) Entfernung f; Zurückziehen n

вывод войск — der Abzug der Truppen

2)(заключение) Schluß m (умл.) (-ss-), Folgerung f, Schlußfolgerung f

неправильный вывод — falscher Schluß, Trugschluß m

сделать выводы — die Konsequenzen ziehen(непр.)

мы пришли к выводу, что... — wir kamen zum Schluß, daß...

вывод м 1. (удаление) Entfernung f c; Zurückziehen n 1 вывод войск der Abzug der Truppen 2. (заключение) Schluß m 1a* (-ss-), Folgerung f c, Schlußfolgerung f неправильный вывод falscher Schluß, Trugschluß m сделать выводы die Konsequenzen ziehen* мы пришли к выводу, что... wir kamen zum Schluß, daß...

м.

1)(удаление) évacuation f, retrait m

вывод войск — évacuation f des troupes

2)(заключение) conclusion f; мат., филос. déduction f

сделать вывод — tirer une conclusion(или une conséquence), conclure vt

прийти к выводу — en venir à la conclusion

м.

1)(удаление) retirada f, evacuación f

вы́вод войск — retirada de las tropas

2)(умозаключение) conclusión f; мат., филос. deducción f

прийти́ к вы́воду — llegar a una conclusión; hacer una inferencia

сде́лать вы́воды — sacar conclusiones

м.

1)(заключение) conclusione f, deduzione f

сделать вывод, прийти к выводу (о чем-л.) — arrivare / giungere alla conclusione (che)...; trarre / tirare la conclusione (che)...

2)(удаление) ritiro (тж. войск)

вывод из эксплуатации — messa fuori servizio

3)тех. terminale; output m англ.; attacco эл.

вывод на орбиту — messa in orbita

结果, 结论, 推论

ВЫВОД

в (традиционной) логике — рассуждение, в ходе которого из некоторых исходных высказываний (суждений), называемых посылками, с помощью логических правил получают новое высказывание, называемое заключением. Напр., из высказываний «Все полноправные граждане Афин были греками» и «Фемистокл был полноправным гражданином Афин» с помощью правил категорического силлогизма можно вывести высказывание: «Фемистокл был греком». В. иногда также называют процесс выведения нового высказывания из посылок или само это высказывание.

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

ВЫ́ВОД -а; м.

1. к Вы́вести и Вы́вестись. В. войск. В. предприятия за пределы города. В. из состава комиссии. В. молодняка. В. спутника на орбиту. В. данных из компьютера.

2. Логический итог рассуждения; умозаключение. Обосновать, подтвердить свой в. Прийти к какому-л. выводу. Выводы исследования. Правильный в. Сделать далеко идущие выводы.

3. Техн. Провод, приспособление, выходящие откуда-л. или выводящие наружу что-л.

◁ Выводно́й (см.).

* * *

вы́вод

переход от посылок к следствиям (заключениям) по правилам логики (см. также Дедукция).

* * *

ВЫВОД

ВЫ́ВОД, переход от посылок(см. ПОСЫЛКА) к следствиям (заключениям) по правилам логики (см. также Дедукция(см. ДЕДУКЦИЯ)).

Вывод

см. Оценка

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

При зафиксированных аксиомах и правилах логических переходов (см. Вывода правило).говорят, что последовательность формул является выводом (своего последнего члена А).из гипотез , если каждый член последовательности либо является аксиомой или одной из гипотез, либо получается из предыдущих формул последовательности по одному из правил. Это записывается в виде при этом формула Аназ. выводимой из A₁,..., A_n. В случае n=0 запись означает, что Авыводимо в рассматриваемом исчислении без к.-л. допущений; применяется также запись означающая, что "допущения ведут к противоречию" (в большинстве изучавшихся систем влечет выводимость из этих гипотез любой формулы). Напр., в исчислении, содержащем аксиому и правило модус поненс, последовательность является выводом из Свойствами логической выводимости являются: если если если (здесь Аи В - формулы, Г и Г'- списки формул, - формула или пустое слово). Эти свойства позволяют существенно преобразовывать списки гипотез и, наряду с правилами введения и удаления логических символов (см. Выводимое правило), сближают системы со знаком с Генцена формальными системами. Для исчислений, основанных на классич. логике, характерно свойство . Для, интуиционистской логики (конструктивной логики) в широких предположениях удается доказывать принципы брауэровского понимания выводимости: 1) если , то имеет место одна из вы-водимостей или ; 2) если , то, для некоторого терма t,. (упомянутые предположения во всяком случае выполнены при пустом Г). Возможности избавления от допущений, включая переход к выводам без гипотез, регулируются дедукции теоремой.

Формирование понятия В. (и систем, в терминах к-рых это понятие получает смысл) знаменовало собой возникновение современной математич. логики. Новое, более строгое понимание аксиоматич. метода, при к-ром формализации подлежат не только аксиомы, но и логические средства, открыло возможность математич. определения понятия доказательства и изучения доказательств математнч. методами (см. Доказательств теория). Поня-. тие формального В. оказалось хорошим приближением к понятию математич. истины (см. Гёделя теорема о полноте, Гёделя теорема о неполноте). Искусственная формализация понятия логической выводимости в дальнейшем существенно сблизилась с реальными способами содержательного математич. рассуждения (см. Естественный логический вывод).

Лит.:[1] Клини С. К., Введение в метаматематику, пер. с англ., М., 1957; [2] Математическая теория логического вывода, сб. переводов, М., 1967. С. Ю. Маслов.

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