Формальная логика: понятие, структура, функции

1.Формальная  логика: понятие,  структура, функции.

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

Формальная  логика одна из древнейших наук. Отдельные  фрагменты логической науки начинают разрабатываться с 6 века до нашей  эры в Древней Греции и Индии. Индейская логическая традиция распространилась позднее в Китае, Японии, Тибете, Монголии, на Цейлоне и в Индонезии, а греческая- в Европе и на Ближнем Востоке.

В Древней  Греции проблемы логики исследовали  Демокрит ( ок 460 – ок 370 до н э ), Сократ ( 469-399 до н э ), Платон ( 427-347 до н э ). Однако основателем науки логики по праву считается величайший мыслитель древности, ученик Платона – Аристотель ( 384 -322 до н э ) Аристотель впервые обстоятельно систематизировал логические формы и правила мышления. Он написал ряд сочинений по логике, которые впоследствии были объединены  под общим названием «Органон».

Логика, основанная на учении Аристотеля, существовала до начала 20 века. Она носит название традиционной формальной логики.

Формальная  логика в своем развитии прошла два основных этапа:

Первый  этап – это связь с работами Аристотеля, в которых дано систематическое  изложение логики. Основным содержанием  логики Аристотеля является теория дедукции, также содержаться элементы математической логики. Аристотель сформулировал основные законы мышления: тождества, противоречия и исключённого третьего, описал  важнейшие логические операции, разработал теорию понятия и суждения, обстоятельно исследовал дедуктивное умозаключение. Учение о силлогизме составило основу одного из направлений современной математической логики – логике предикатов. Дополнением к этому учению была логика античных стоиков. Логика стоиков- основа другого направления математической логики – логики высказываний.                                              3    

Следующим кто развил учение Аристотеля, следует  назвать Галена; Порфирия, который  разработал схему, отображающую отношения  между понятиями; Боэция, сочинения которого были логическими пособиями. Логика развивалась и в средние века, однако схоластика исказила учение Аристотеля, приспособив его для обоснования религиозной догматики.

Мышление  человека происходит не хаотично, а подлежит определенным логическим законам. Основными законами формальной логики являются: закон тождества, закон достаточного основания, закон противоречия, закон исключенного третьего. Законы логики выражают такие существенные, общие, непременные свойства мышления, как определенность, последовательность, обоснованность.

Закон тождества формулируется так: любая  мысль о предмете в процессе данного  рассуждения тождественна сама себе , сколько бы раз она не повторялась. Закон тождества в виде формулы:

А есть А  или  А =А

Закон противоречия твердит: два противоположные  высказывания не являются одновременно истинными; в крайнем случае один из них непременно ошибочно. Закон  противоречия не действует, если в суждениях  речь идет об одном и том же предмете, но предмет взят в разное  время.

Закон достаточного основания формулируется  так : любая истинная мысль имеет  достаточное основание. Из закона достаточного основания следует такое его  требование: любая мысль может  быть истинной только тогда , когда  она обоснована. Закон достаточного основания является отражением  необходимой взаимосвязи, существующей между предметами и явлениями окружающего мира, а именно: отражением причинно-следственных отношений, генетических связей и т  д. 
 
 
 
 
 
 
 
 
 
 
 
 
 

                                                                                                                                   4