Мышление
В будений день у общении людей очень часто употребляется термин "логика" но с таким феноменом как человеческое мышление. Всем известные словосочетания "логика мышления", "женская логика", "где же логика"? и тому подобное. В данном случае слово "логика" употребляется для обозначения обоснованности, доказанности положений, которые выдвигает человек. Здесь можно говорить о логике как характеристике человеческого мышления.
Мышление - это умственный процесс, в ходе которого на основе уже имеющихся знаь получают новое знание. Исходные известные высказывания, из которых выводится новое знание, называются основателями мышления. Высказывание, полученное логическим путем из основателей, называется выводом мышления.
Рассмотрим следующий пример, который уже стал классическим, :
1 Все люди являются смертными.
Сократ - человек.
Сократ является смертным.
В этом мышлении высказывания "Все люди являются смертными" и "Сократ - человек" - это предпосылки, а высказывание, которое стоит ниже, - "Сократ является смертным" - это вывод.
На практике люди чаще за все не мыслят по схемам, которые приведены как примеры. Им присуще опускать или предпосылки, или некоторые выводы мышления. Однако для того, чтобы дать логический анализ какого-то мышления, йогго прежде всего необходимо возобновить в полном объеме, то есть выявить все йог предпосылки и выводы.
Мышления бывают правильными и неправильными. В правильном мышлении вывод выплывает из предпосылок с логической необходимостью. Общая схема такого мышления выражает логический закон, в нем следуют всем правилам логики.
Мыслить логично правильно - это значит мыслить в соответствии с правилами и законами логики.
Мышления, в которых допущены логические ошибки в результате несоблюдения законов и правил логики, называются неправильными. Логические ошибки в процессе мышления могут допускаться как неумышленно через незнание, так и преднамеренно, с целью введения в заблуждение оппонента, обоснования неправдивого утверждения, какой-то бессмыслицы и тому подобное. В первом случае логическая ошибка называется паралогизмом, во втором - софизмом. Отличительной чертой софизма является то, что он, будучи неправильным мышлением, выдается за правильное.
Софизмы известны еще из давности. Такими мышлениями широко пользовались в своей практике софисты. Именно от названия этих людей и происходит название "софизм". Некоторые из таких мышлений даже вошли в историю. Да, еще с античных времен известный софизм "Рогат":
-Що ты не терял, то ты имеешь.
-Роги ты не терял.
-Отже, у тебя есть рога.
Это мышление с первого взгляда кажется правильным. Но в нем допущена логическая ошибка, которую человек не знаком с логикой вряд ли сможет сразу изобрести.
Основным заданием логики является анализ правильных мышлений. Специалисты по логике стремятся выявить и исследовать схемы таких мышлений, определить их разные типы и т.п. неправильные мышления в логике анализируются лишь с точки зрения тех ошибок, которые в них допущены.
Характерные черты правильных мышлений
Правильные мышления
- вывод выплывает из предпосылок с логической необходимостью
- общая схема такого мышления выражает логический закон
- в нем следуют всем правилам логики
Принцип логики. Если мышление построено правильно и при этом оно опирается на истинные предпосылки, тогда вывод такого мислення будет всегда безусловно истинным.
Характерные черты неправильных мышлений
Неправильное мышление
- вывод не выплывает из предпосылок с логической необходимостью
- общая схема такого мышления не выражает логический закон
- в нем могут не следовать правилу логики
Неправильные мышления приводят к логическим ошибкам
-паралогизми неумышленные через незнание ошибки
-софизми умышленные ошибки
Следует отметить, что логика не занимается определением истинности и ошибочности предпосылок и выводов мышлений. Но в логике существует такое положение: если мышление построено правильно в соответствии с правилами и законами логики и при этом оно опирается на истинные предпосылки, то вывод такого мышления всегда будет безусловно истинным. В иных случаях истинность вывода не может быть гарантирована.
Да, если мышление построено неправильно, то, даже невзирая на то, что его предпосылки - истинные, вывод такого мышления может быть в одном случае - истинным, а во втором - ошибочным.
Рассмотрим для примера такие два мышления, которые построены по одной неправильной схеме.
1 Логика-наука.
Алхимия - не логика.
Алхимия - не наука.
2 Логика - наука.
Право - не логика.
Право - не наука.
Очевидно, что в первом мышлении вывод является истинным, но во втором - он ошибочен.
Так же нельзя гарантировать истинность вывода мышления, когда хотя бы одна из его предпосылок будет ошибочной, даже если это мышление - правильно.
Само название "формальная логика" подчеркивает тот факт, что эта логика занимается в основном формой мышлений, изучает их структурные аспекты.
Под логической формой мышления понимают способ связи высказываний, которые входят в его состав. С целью ее выявления абстрагируются от содержательного аспекта рассуждения и сосредоточиваются только на тех компонентах, которые представляют его формальный аспект.
Такую разницу между формой и содержанием провести на естественном языке очень сложно, потому что, мысля таким языком, человек не может полностью отвлечься от смысла используемых ею выражений, которые часто расплывчатые, неоднозначные и способные изменяться в процессе выведения. Поэтому с целью вычленения логической формы в явном виде в логике создаются искусственные языки, которые получили название формализированных языков. Такие языки являются "насквозь символическими": выражения естественного языка заменяются в них специальными символами. Мышление при таком подходе превращается в определенную цепочку знаков, построенную по суровым правилам.
Построение модели, в котором содержательным мышлением отвечают их формальные аналоги, в логике получило название "формализации".
Метод формализации является основным методом современной логики.
Этот метод широко применяется также в праве. Однако здесь у него укладывается другой смысл. В правоведении метод формализации значит, что для выражения той же мысли используется один и тот же ряд слов или приемов. Формализм, присущий юридическому тексту, выражается в стереотипности, стандартизации стиля и изложения правоведческих актов и в его унификованости. В этой связи в текстах нормативных документов, как правило, применяются стандартные сроки, фразы и выражения, стабильные языковые конструкции.
Как видно, логическую форму мышления можно представить с помощью специального языка логики. Основными компонентами такого языка являются логические и нелогичные сроки.
Логические сроки обычно в естественном языке выражают с помощью таких слов и словосочетаний, как "всякий", "некоторый", "есть", "если.., тогда."., "..и."., "..или.". и др.
В нелогичных сроках фиксируется определенная информация, о которой идет речь в выражении. Это могут быть как отдельные слова, словосочетание, так и целые предложение.
Как видно, содержание мышления выражается именно в нелогичных сроках. В связи с этим понятие логической формы можно теперь уточнить таким образом.
Логическая форма мышления - это его структура, которая оказывается в результате абстрагирования от значений нелогичных сроков.
Для того, чтобы ее выяснить, можно заменить все нелогичные сроки определенными символами - переменными. Например, рассмотрим такое мышление: "Это должностное лицо совершило преступление, потому что она получила взятку". Возобновим его в полном виде, то есть определим предпосылки и вывод этого мышления. В итоге получим:
-Якщо должностное лицо получает взятку, то она совершает преступление.
-Ця должностное лицо получило взятку.
-Ця должностное лицо совершило преступление.
Заменим простые высказывания, которые входят в состав этого мышления и которые являются нелогичными сроками, соответствующими переменными р и q. Логическим сроком в данном случае является только один сполучник - "если.., тогда.". .
Следовательно, логическую форму нашего мышления можно теперь выразить с помощью такой схемы:
-Якщо р, тогда q
_p_______
-Отже, q
Это схема правильного мышления. Какие бы конкретные высказывания не подставлялись вместо р и q, если предпосылки мышления будут истинными, тогда и его вывод также будет истинным.
