Шпаргалка по логике

Достаточным основанием мыслей может быть личный опыт человека. Истинность некоторых суждений подтверждается путем их непосредственного сопоставления с фактами действительности. Так, для человека, явившегося свидетелем преступления, обоснованием истинности суждения «Н. совершил преступление» будет сам факт преступления, очевидцем которого он был. Но личный опыт ограничен. Поэтому человеку в своей деятельности приходится опираться на опыт других людей, например на показания очевидцев того или иного события. 3 Истинность законов, аксиом подтверждена практикой человечества и не нуждается поэтому в новом подтверждении. Для подтверждения какого-либо частного случая нет необходимости обосновывать его при помощи личного опыта. Если, например, нам известен закон Архимеда (каждое тело, погруженное в жидкость, теряет в своем весе столько, сколько весит вытесненная им жидкость), то нет никакого смысла погружать в жидкость какой-либо предмет, чтобы выяснить, сколько он теряет в весе. Закон Архимеда будет достаточным основанием для подтверждения любого частного случая.

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

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

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

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

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

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

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

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

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

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

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