Логика формальная

         Аристотель (382-322 гг. до н.э.) родился в городе Стагира, что граничил и македонским царством. Поэтому часто учение Аристотеля называют стагиритом. Отец Аристотеля был придворным врачом Филиппа второго, отца Александра Македонского. Впоследствии это обстоятельство сыграет важную роль в жизни самого Аристотеля. Будучи 17- летним юношей Аристотель переезжает в Афины и поступает в платоновскую Академию. В ней Аристотель пробудет долгих 20 лет, до конца жизни Платона.
          Составными частями философии Аристотеля являются логика, учение о причинах бытия, метафизика, учение о государстве.     

                                                Логика формальная.

        Это название закрепилось за ней потому, что она возникла и развивалась как наука о формах мышления. Ее называют также традиционной, или аристотелевской, логикой.

        Формальная логика тесно связано с учением о бытии, с теорией истины, так как в логических формах Аристотель видел вместе с тем формы бытия.

Разработка Аристотелем теоретической, формальной логики отделяет его от всех предшественников. Если прежде греческие философы, в том числе Платон и Сократ, предпринимали только предварительные попытки объяснить и раскрыть природу познания, или «науки», прежде чем браться за изложение самой науки, то Аристотель снабдил мир полномасштабной и продуманной до мельчайших деталей системой форм и правил научного мышления, предварив им свои исследования в других отраслях знания.

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

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

Аристотель считается основателем Формальной логики. Он сформулировал три из четырех законов формальной логики. К ним относятся закон тождества, закон непротиворечия, закон исключения третьего. Первый закон гласит, что понятие всегда должно употребляться в одном и том же значении, то есть неопределенностей не должно быть. Второй закон гласит, что два суждения не должны противоречить друг другу. Третий закон утверждает, что суждение либо является истинным, либо ложным, третьего не дано.

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