Понятие логической формы

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

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

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

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

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

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

Лгать я не умею: либо говорю правду, либо ничего не говорю.
Если сказать ей правду, она рассердится.
Если ничего не сказать, то тем более рассердится.
Она рассердится в любом случае.

Отвлекаясь от смысла входящих в это рассуждение простых высказываний и обозначая их буквами А, В, С, мы получаем:

Либо А, либо В.
Если А, то С.
Если В, то С.
С

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

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

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

Упражнение 3. Определите, какая информация является логически существенной в следующих задачах, и найдите их решение.

  • а)    Двое подошли к реке. У пустынного берега стояла лодка, вмещающая только одного человека. Оба они переправились на этой лодке через реку и продолжили свой путь. Как они это сделали?
  • б)    Сын отца бухгалтера убил отца сына бухгалтера. Однако бухгалтер здесь ни при чем - это и не убийца, и не убитый. Как это может быть? В каких родственных отношениях находятся преступник и его жертва?
  • в)    Мужчина продавал попугая и уверял покупателя, что этот попугай будет повторять на любом языке каждое услышанное слово. Обрадованный покупатель приобрел чудо-птицу. Но дома он обнаружил, что попугай «нем, как рыба». Тем не менее, продавец не лгал. Как это объяснить?
  • г)    В городе А есть всего два парикмахера, у каждого из которых своя парикмахерская. Заглянув в первую, вы видите, что в салоне грязно, сам мастер неряшливо одет, небрежно подстрижен и плохо выбрит. В салоне другой парикмахерской идеально чисто, сам мастер изысканно одет, безукоризненно подстрижен и выбрит. У какого мастера лучше подстричься и почему?

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

Ключевые слова: Законы логики
Источник: Горбатов В.В. Логика / Московский международный институт эконометрики, информатики, финансов и права. - М., 2004. - 92 с.
Материалы по теме
Модус поненс и модус толленс
Логика. Теория и практика: учеб, пособие для бакалавров / А. А. Ивин. — 4-е изд., испр. и...
Утверждающе-отрицающий и отрицающе-утверждающий модусы
Логика. Теория и практика: учеб, пособие для бакалавров / А. А. Ивин. — 4-е изд., испр. и...
Конструктивная и деструктивная дилеммы
Логика. Теория и практика: учеб, пособие для бакалавров / А. А. Ивин. — 4-е изд., испр. и...
Закон Клавия
Логика. Теория и практика: учеб, пособие для бакалавров / А. А. Ивин. — 4-е изд., испр. и...
О так называемых основных законах логики
Логика. Теория и практика: учеб, пособие для бакалавров / А. А. Ивин. — 4-е изд., испр. и...
Силлогистика
Логика. Теория и практика: учеб, пособие для бакалавров / А. А. Ивин. — 4-е изд., испр. и...
Логические законы как тавтологии
Логика. Теория и практика: учеб, пособие для бакалавров / А. А. Ивин. — 4-е изд., испр. и...
Логическое следование и логическая истинность
Горбатов В.В. Логика / Московский международный институт эконометрики, информатики, финансов...
Комментарии
Материал еще никто не прокомментировал. Станьте первым, кто это сделает!
Оставить комментарий