Человеческое мышление



Логическая форма рассуждения

Определение логической формы. Формализированный язык. Метод формализации

Основными компонентами логической формы рассуждения являются:

логические сроки;

нелогичные сроки.

Логические сроки В Естественному языку обычно выражают с помощью таких слов и словосочетаний : "всякий, "некоторый", "есть, "неверно, что."., "если.., тогда."., "..и."., "..или.". И тому подобное.

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

Как видим, содержание рассуждения выражается именно в нелогичных сроках. В связи с этим можно уточнить понятие логической формы.

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

Для того, чтобы выяснить логическую форму рассуждения, необходимо:

1 возобновить рассуждение в полном виде, то есть выявить все его предпосылки и вывод;

2 выяснить логические сроки, которые входят в состав предпосылок и вывода рассуждения;

3 заменить простые высказывания, которые входят в состав предпосылок и вывода, на определенные символы;

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

! Рассмотрим для примера такое рассуждение: "Это должностное лицо совершило преступление, потому что она получила взятку.

1. Возобновим его в полном виде. В результате имеем:

Если должностное лицо получило взятку,

То она совершила преступление.

Это должностное лицо получило взятку.

Это должностное лицо совершило преступление.

2. В состав первой предпосылки рассуждение входит один логический срок: "если, .. то.

3. Заменим высказывание: "Должностное лицо получило взятку" На переменную Р, А высказывание "Должностное лицо совершило преступление" - на переменную Ц.:

4. Изобразим логическую форму рассуждения с помощью такой схемы; Если Р, Тогда ^.

Р____

Следовательно, Ц

Это схема правильного рассуждения. Какие бы конкретные высказывания не подставлялись вместо Р Но ^, Если предпосылки рассуждения будут истинными, то его вывод также будет истинным.

Логическая форма рассуждения - это способ связи высказываний, которые входят в его состав.

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

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

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

Формализированный язык - Это специальный искусственный язык, в котором высказывания естественного языка заменяются на специальные символы, за которыми закрепляется определенное значение.

Рассуждение при таком подходе превращается в цепочку знаков, построенную по суровым правилам. -

Построение модели, в котором содержательным рассуждением отвечают их формальные аналоги, в логике получило название "формализации. Метод формализации является основным методом современной логики.

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

Формализация - Построение модели, в котором содержательным мыслям и рассуждениям отвечают формальные аналоги.

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

Формализация дает возможность выявить общие структуры мыслей, сформулировать на этой основе общие законы и правила рассуждения, благодаря чему можно заменить любое содержательное рассуждение, фрагмент текста или и целый текст соответствующей системой формул.

Различают естественную разговорный и искусственный языки. Освоение современной логической науки предусматривает ознакомление с такими аспектами языка, как семантика, синтаксис, прагматик.

Семантика в логике - Раздел логики, в котором изучается значение, смысл понятий и суждений.

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

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

Объектами такого изучения является алфавит формальной системы исчисления, которое рассматривается, правила образования выражений формул предметного языка исчисления и правила превращения правила вывода в ней.

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

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

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

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

Языком символов можно выразить лишь общезначимое для всех людей, то есть те связки и отношения действительности, которые не зависят от взглядов, идеалов, чувств людей. Язык символов дает возможность:

-скорочено фиксировать разнообразные соотношения между объектами, которые изучаются;

-видиляти логические связки и отличать их от синтаксических;

-за видом формулы делать вывод о характере отношения между объектами, которые фиксируются в ней при условии знания введенных символов;

-виражати с помощью формул готовый результат и в то же время путь, на котором можно получить этот результат.

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

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

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

1. Все прямоугольные ромбы есть квадраты.

2. Атом делим.

3. Прут есть река.

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

Логические переменные, на место которых подставляют самые разнообразные суждения, которые характеризуются лишь с точки зрения их истинности или ошибочности, будем помечать буквами А, Ь, с И тому подобное. Логические переменные, на место которых подставляют слова, которые фиксируют свойства и отношения, - буквами 5, Р, К. Логические переменные, на место которых подставляют имена, которые означают индивидуальные предметы, будем помечать с помощью символов Х, в, г И тому подобное. Отметим, что понятия, которые отображают свойства и отношения предметов, в логике называют Предикатами.