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

«Логика» (от греч. Логос) означает «понятие», «разум», «рассуждение». Сейчас это слово имеет следующие значения: 1) Объективная логика – закономерности в изменении и развитии вещей и явлений объективного мира. 2) Субъективная логика – особые закономерности в связях и развитии мыслей. 3) Логика, то, что мы изучаем – наука о закономерностях в связях и развитии мыслей. Логика – наука о формах мыслей и об отношениях между мыслями по формам.

Предмет изучения логики. Познание – отражение объективной реальности в сознании человека. Оно не зеркально. Познание = 1) чувственное познание (первая ступень); 2) абстрактное мышление, или логическое познание (вторая ступень). Сущность вещей и явлений понимается на уровне абстрактного мышления. Абстрактное мышление (особенности): 1)При его помощи, т.е. путем логической переработки чувственных данных, мы можем познавать то, чего не наблюдаем непосредственно. 2) Это обобщенное мышление, выделяются общие свойства в предметах и явлениях и на их основе обобщают и выделяют предметы некоторого типа, в результате чего образуются понятия об этих предметах. 3) Мышление неразрывно связано с языком. Язык – средство формирования мыслей. Особенности мышления обусловлены применением особых логических средств и приемов познания, отражением мира в определенных логических формах. Логика и изучает эти формы мыслей, формы развития знания, особые приемы и методы познания, применяемые на ступени абстрактного мышления, а также особые законы мышления.

Логические термины – термины, которые связаны с мышлением (и (конъюнкция); или (дизъюнкция); если то (импликация); все, некоторые (кванторы); неверно что; суть (есть); следовательно; если только если (эквивалентность)). Унарная связка – отрицание, все остальные бинарные.

Процесс выявления логической формы мысли заключается в отвлечении от смысла нелогических терминов, входящих в словосочетание, выражающее эту мысль. Сделать это можно так: 1. В словосочетании опустить нелогические термины и поставить вместо них многоточие, штриховые линии. 2. Замена нелогических терминов особыми символами (переменными). Логическая форма мысли – это ее структура, выявляемая в результате частичного отвлечения от смыслов и значений нелогических терминов, входящих в словосочетание, выражающее эту мысль (этот процесс мышления). Частичность заключается в том, что сохраняется информация о типе терминов, от которых произошло отвлечение, и о том, где находится один и тот же термин, а где – разные. Пример: Все преступники подлежат привлечению к уг ответ-сти. Некоторые жители Чикаго – преступники. Следовательно некоторые жители Чикаго подлежат привлечению к уг ответ-сти. (Все М суть S. Некоторые Р суть М. Следовательно нек. Р суть S).

Логический закон (формально-логический закон) - связи между мыслями, при которых истинность одних из этих мыслей обуславливает истинность других. Если такая связь между посылками есть, то умозаключение правильное, истинное. Чтобы установить является ли связь логическим законом, нужно вместо нелогических терминов подставлять в эти высказывания произвольные термины тех же типов и при этом всякий раз выяснять, окажется ли истинным получаемое высказывание при истинности исходных. Если находится контрпример, то закономерной связи нет, и рассуждение является неправильным. Рассуждение «Судья – юрист. Следовательно, умный судья - умный юрист» является неправильным. Контрпримером для этого суждения является – «Муха – животное. Следовательно, крупная муха – крупное животное».