виды и свойства сложных суждений

Логика – одна из древнейших наук, имеющая основополагающее значение для самых разнообразных сфер человеческой деятельности. Она широко применяется в психологии и лингвистике, теории управления и педагогике, юриспруденции и этике. Ее формальные разделы являются теоретической основой кибернетики, вычислительной математики и техники, теории информации. Без принципов и законов логики немыслима современная методология познания и общения.
Формальная логика представлена сегодня двумя науками – традиционной и математической (символической) логикой.
Традиционная логика – это первая ступень логики выводного знания. Она изучает общечеловеческие формы мысли (понятия, суждения), формы связи мыслей в рассуждении (умозаключения), зафиксированные в системе формально-логических законов (тождества, противоречия, исключенного третьего и достаточного основания).
Основоположником традиционной логики считается Аристотель (384–322 гг. до н. э.). Ему принадлежит заслуга разработки основных логических категорий и законов, а также систематического и последовательного изложения логического учения.

История логики насчитывает более 2,5 тысяч лет. Еще в древности было замечено важнейшее свойство мышления человека – оно подчиняется некой принудительной силе, каким-то не зависящим от воли и желания человека законам; его результаты во многом предопределены предшествующим знанием и могут быть получены без непосредственного обращения к опыту. Именно эта сторона мышления: формы мыслей и рассуждений, обеспечивающие получение новых истин на основе уже установленных, обоснованность этих форм, а также критериев правильности получаемого знания, и составляет предмет формальной логики.
Вначале Платон, а затем Аристотель сделали детерминированность мышления предметом специального исследования. Аристотель сформулировал основные законы правильного рассуждения, принципыи понятия, фиксирующие знания о человеческом мышлении, а также продемонстрировал практическую значимость созданного понятийного аппарата в науке, общении и в других сферах человеческой деятельности. Современный уровень развития формальной логики характеризуется ее теснейшей связью с математическими исследованиями и математизацией науки вообще. На этом основании закладывается фундамент неклассических разделов формальной логики: многозначных, модальной, вероятностной, интуиционистской и других логик.