Шпаргалка по логике - [8]

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

Если из истинности суждения а следует истинность суждения b, то а будет основанием для b, а b – следствием этого основания.

Связь основания и следствия является отражением в мышлении объективных, в том числе причинно-следственных, связей, которые выражаются в том, что одно явление (причина) порождает другое явление (следствие). Однако это отражение не является непосредственным. В некоторых случаях логическое основание может совпадать с причиной явления (если, например, мысль о том, что число дорожно-транспортных происшествий увеличилось, обосновывается указанием на причину этого явления – гололед на дорогах). Но чаще всего такого совпадения нет. Суждение «Недавно был дождь» можно обосновать суждением «Крыши домов мокрые»; след протекторов автомобильных шин – достаточное основание суждения «В данном месте прошла автомашина». Между тем мокрые крыши и след, оставленный автомашиной, – не причина, а следствие указанных явлений. Поэтому логическую связь между основанием и следствием необходимо отли– 1 чать от причинно-следственной связи.

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

14. МЕТОДЫ В ЛОГИКЕ

Метод – это способ построения системы знания, совокупность приемов и операций теоретического и практического освоения действительности.

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

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

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

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

Более эффективным в логике является использование аксиоматического метода. Это способ построения теории, при котором некоторые положения теории выбираются в качестве исходных, а все остальные ее положения выводятся из них чисто логическим путем с помощью доказательств. Исходные положения называются аксиомами, а положения, доказываемые на их основе, – теоремами. Далее формулируется система правил, позволяющая преобразовывать исходные положения и из ограниченного числа аксиом получать множество доказуемых положений – теорем.

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

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

15. ПОНЯТИЕ КАК ФОРМА МЫШЛЕНИЯ

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

Исходной формой абстрактного человеческого мышления является понятие. Любая мысль выражается посредством понятия.