1. Предмет и значение формальной логики

Форма́льная ло́гика — конструирование и исследование правил преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий. В истории философии — отдельный раздел или направление логики конца XIX—начала XX века.

Термин «формальная логика» введён Аристотелем.

Предмет формальной логики специально реконструировался и критиковался в работах Московского логического кружка ^[7] и затем Московского методологического кружка ^[8]. Критика касалась не уместности разработки формальной логики как таковой или её полезности, а полноты исчерпания ею логической проблематики и её претензий на роль теории мышления.

Согласно реконструкции, проведённой в ММК, логика имеет дело с «языковым мышлением» (или, «языком взятым в функции мышления»), в котором группы определённым образом связанных между собой знаков по определённым законам замещают реальные объекты и друг друга в отношении к действиям:

объективное содержание ────────────── знаки языка

связь значения

Формальная логика - это наука о формах мышления, о формально-

логических законах и других связях между мыслями по их логическим формам.

Формальная логика является наукой о правильном мышлении, исследует и

систематизирует также типичные ошибки, совершаемые в процессе мышления, то

есть типичные алогизмы. При применении средств, вырабатываемых формальной

логикой, можно отвлекаться от развития знания. Формальная логика изучает

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

Рассматривая понятия, она изучает не конкретное содержание различных

понятий, а понятия как форму мышления. Изучая суждения, логика выявляет

общую структуру для различных по содержанию суждений. Формальная логика

изучает законы, обуславливающие логическую правильность мышления, без

соблюдения которой нельзя прийти к результатам, соответствующим

действительности, познать истину. Мышление, не подчиняющееся требованиям

формальной логики, не способно правильно отражать действительность. Поэтому

изучение мышления, его законов и форм нужно начинать с формальной логики.

Формальная логика - одна из древнейших наук. Отдельные фрагменты

логической науки начинают разрабатываться с 6 в. до н. э. в

Древней Греции и Индии.

практическое значение формальной логики.

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

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

В научных дискуссиях логика играет роль «интеллектуального полицейского» в том смысле, что если оппоненты исходят из одних и тех же посылок, но приходят к разным результатам, то это потому, что кто-то из них не соблюдает требования формальной логики.

В письменной и устной речи логика имеет большое значение. Беспорядочные мысли лектора или автора не воспринимаются слушателями и читателями, ибо они несвязны и неорганизованны, они не дают посыла слушателям и читателям самим «оседлать» логику лектора или автора и предвидеть результат рассуждений еще до того, как услышат его из уст лектора или увидят в конце текста. Письменная и устная речь всегда предполагает соучастника в лице читателя или слушателя, а это возможно только тогда, когда речь логически организована.