Словари :: Словарь по логике

УМОЗАКЛЮЧЕНИЕ 
мыслительный процесс, в ходе которого из одного или нескольких суждений, называемых посылками, вы­водится новое суждение, называемое заключением или следствием. Умозаключения часто подразделяют на дедуктивные (см.: Дедук­ция) и индуктивные (см.: Индуктивная логика, Индуктивное умо­заключение). В дедуктивных У., если посылки истинны и при этом соблюдены соответствующие правила логики, то заключение будет истинным. В индуктивных У. при истинности посылок и при соблю­дении соответствующих логических процедур (напр., правил обоб­щения) заключение в общем случае может оказаться как истин­ным, так и ложным. Современная формальная логика на основе различных логических систем моделирует процессы У., протекаю­щие в мозгу человека. Правила логики выявляются на основе фор­мализации конкретных по содержанию У. В естественном конкретно-содержательном мышлении некоторые посылки часто пропускают­ся, не формулируются в явной форме, тем более не формулируются в явной форме и правила вывода: они применяются человеком на интуитивной основе Это ведет к появлению логических ошибок. Зна­ние всех подразумеваемых посылок, их логической формы, выяв­ляемой на основе формализации, а также правил логики позволяет контролировать использование различных форм умозаключающей деятельности мышления. В процессе рассуждения, представляющего собой сознательный, последовательно осуществляемый мыслитель­ный процесс, в процессе доказательства к.-л. положений мы часто пользуемся цепочками У. (см.: Сорит). Условием правильности та­ких рассуждений и доказательств является не только истинность посылок (аргументов, оснований), но и соблюдение правил логики



Доска объявлений
Добавить объявление
Все объявления
Агрокарта Французская косметика Купить билет в дельфинарий Утеплення

voc.metromir.com © 2004-2006
metromir:  metromir.ru  атлас мира  библиотека  игры  мобильный  недвижимость  новости  объявления  программы  рефераты  словари  справочники  ТВ-программа  ТЕКСТЫ ПЕСЕН  Флеш игры  Флеш карты метро мира