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

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

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

Формальная логика, таким образом, является нормативной наукой о формах, законах и приемах интеллектуальной познавательной деятельности. Логический закон – это логическая форма, которая гарантирует истинность высказывания при любом содержании. В данном определении выдвигаются две основные стороны высказывания: содержательная и формальная. С изменением содержания высказывания меняется и содержательная связь, а формальная может повторяться сколь угодно долго. На основе этого положения и выводится понятие логического закона. Формальная связь между мыслями называется также логической связью. Это связи между признаками в понятии и самим понятием, между элементами суждения и самим суждением.

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