Философский словарь - вывод
Вывод
вывод
в логике рассуждение, в ходе которого из определенных исходных суждений, высказываний, посылок или предпосылок получается заключение (вывод) – суждение, вытекающее из посылок. См. также Дедукция, Индукция. .Рейтинг статьи:
См. в других словарях
1.
ВЫВОД ВЫВОД в (традиционной) логике — рассуждение, в ходе которого из некоторых исходных высказываний (суждений), называемых посылками, с помощью логических правил получают новое высказывание, называемое заключением. Напр., из высказываний «Все полноправные граждане Афин были греками» и «Фемистокл был полноправным гражданином Афин» с помощью правил категорического силлогизма можно вывести высказывание: «Фемистокл был греком». В. иногда также называют процесс выведения нового высказывания из посылок или само это высказывание.В символической логике В. определяется более строго — как последовательность высказываний или формул, состоящая из аксиом, посылок и ранее доказанных формул (теорем). Последняя формула данной последовательности, выведенная как непосредственное следствие предшествующих формул по одному из правил В., принятых в рассматриваемой аксиоматической теории, представляет собой выводимую формулу. Поскольку каждая формальная система имеет свои собственные аксиомы и правила В., постольку понятие В. приобретает относительный характер и должно определяться особо для каждой конкретной системы. ...Философская Энциклопедия
Вопрос-ответ:
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 848 | |
2 | 754 | |
3 | 734 | |
4 | 653 | |
5 | 581 | |
6 | 533 | |
7 | 525 | |
8 | 506 | |
9 | 502 | |
10 | 492 | |
11 | 473 | |
12 | 460 | |
13 | 447 | |
14 | 443 | |
15 | 441 | |
16 | 437 | |
17 | 421 | |
18 | 418 | |
19 | 417 | |
20 | 415 |