Логико-семантические парадоксы. Основные теоретические подходы к их разрешению.

Естественный язык является самым необходимым инструментом человека в его интеллектуальной деятельности. однако именно язык часто создает проблемы для тех, кто его использует. эти проблемы заложены в самом языке, они не связаны напрямую с логикой, но для того, чтобы эффективно пользоваться языком как инструментом интеллектуального познания, необходимо выявить, рассмотреть и попытаться устранить возникающие в языке противоречия. если противоречие связано с нарушением какого-либо из перечисленных выше принципов, его можно разрешить, просто исправив допущенную ошибку. однако в языке встречаются и неустранимые противоречия, называемые парадоксами или антиномиями. польский логик отмечал, что естественный язык семантически замкнут – семантические свойства его выражений (истинность, осмысленность, определимость) определяются в нем же самом. например, смысл такого семантического термина как «значение» разъясняется с помощью некоторого набора слов, каждое из которых уже должно иметь какое-то значение. смысл термина «истина» задается с помощью некоторого количества предложений, каждое из которых само уже должно быть истинно, таким образом, возникает замкнутый круг, который как раз и может привести к разнообразным парадоксам. парадокс эвбулида (парадокс лжеца) известен с древнейших времен. рассмотрим предложение: «это предложение ложно». если оно истинно, значит то, что в нем утверждается, – правда, то есть оно на самом деле ложно. но если оно ложно, значит то, что оно утверждает, неверно, то есть оно истинно. парадокс греллинга-нельсона (парадокс гетерологичности). пусть все прилагательные делятся на две категории: автологические – обладающие свойством, про которое говорят, и гетерологические – не обладающие свойством, про которое говорят. слово «понятный» само является понятным, слово «русский» само является русским. это – автологические прилагательные. слово «усатый» само не носит усов, слово «длинный» само не является длинным. это – гетерологические прилагательные. к какому типу относится прилагательное «гетерологический»? если оно автологическое, то должно обладать свойством, про которое говорит, то есть быть гетерологическим. но если это слово гетерологическое, то оно не должно обладать свойством, про которое говорит, то есть должно быть автологическим. парадокс ришара-берри (парадокс определимости). в русском языке числа можно выражать с помощью слов и словосочетаний. пусть k – минимальное число, которое нельзя выразить словосочетанием, состоящим менее чем из ста букв. но сама фраза, выделенная курсивом, состоит менее чем из ста букв (точнее – из 78). и все-таки, она вполне однозначно определяет число k. значит, число k можно выразить словосочетанием, состоящим менее чем из ста букв. Число к: оно подходит под определение -> записанное курсивом->его можно выразить фразой состоящей из 78 букв. Оно не подходит под определение ->записанное курсивом -> существует другое число под это определение. как можно избежать логико-семантических парадоксов? существуют два пути: либо наложить на естественный язык определенные семантические ограничения, либо отказаться от некоторых чисто логических представлений.1) семантический подход. в каждом из приведенных выше парадоксов заметна 1 общая черта: противоречие появляется тогда, когда языковое выражение начинает говорить что-то о самом себе. действительно, самоприменимость – необходимое условие всякого парадокса. значит, чтобы устранить языковые парадоксы, надо разорвать семантическую замкнутость естественного языка, то есть четко разграничить объектный язык – тот язык, который является объектом исследования, и мета-язык – тот, с помощью которого исследуется объектный язык. тогда парадоксы исчезнут сами собой, потому что их невозможно будет сформулировать: «это предложение ложно» говорит и предложении…некого языка…следовательно относится к ….мета-языку…мета-языка-> мета-мета языку…-> мета-мета языка…-> мета-мета-мета языку…и.т.д. вывод: это предложение не истинно и не ложно – оно просто некорректно построено, и, следовательно, бессмысленно. 2) логический подход. во всех приведенных выше парадоксах рассуждения начинались с выделения двух взаимоисключающих альтернатив, которые затем оказывались «замкнуты» друг на друга. а нельзя ли предположить наличие в парадоксальных рассуждениях какого-то третьего варианта? правда, для этого придется отказаться от классического принципа бивалентности (т.е.двузначности) для суждений: «это предложение ложно»: оно истинно и ß > оно ложно.оно «нейтрально». вывод: это предложение не истинно и не ложно, оно «нейтрально».

 

 

7.Деление и классификация. Правила деления. Важными логическими операциями являются деление и классификация понятий. Деление понятия – это логическая операция, в результате которой совершают переход от родового понятия к множеству видовых понятий.Делениенекоторого непустого понятия aВ(a) – это переход от данного понятия к некоторой системе непустых понятий S = {aА₁(a), aА₂(a), …, aА_n(a)}, каждое из которых является видовым по отношению к исходному. В состав деления входят: 1) Делимое понятие – родовое понятие aВ(a), объем которого разбивается на классы. 2) Члены деления – видовые понятия aА₁(a), aА₂(a), …, aА_n(a), полученные в результате такого разбиения. 3) Основание деления – характеристика предметов, входящих в объем делимого понятия, модификация которой и порождает систему членов деления S.В зависимости от выбранного основания деления, различают следующие виды деления: дихотомическое и по видоизменению основания. В случае дихотомического деления родового понятия aВ(a) основанием деления является признак, присущий лишь части предметов, входящих в объем aВ(a). Деление осуществляется по наличию или отсутствию этого признака у предметов делимого понятия. Например, животные делятся на позвоночных и беспозвоночных.

Во втором случае в качестве основания деления используются варьируемые характеристики элементов объема делимого понятия (вес, цвет, объем, форма, величина и т.п.). Например, треугольники делятся на прямоугольные, остроугольные и тупоугольные. правила деления: 1. Деление должно быть соразмерным, т.е. объем делимого понятия должен равняться сумме объемов членов деления. Объединение объемов членов деления должно совпадать с объемом делимого понятия. При нарушении данного правила возникает ошибка под названием «неполное деление». Например, «Женщины делятся на шатенок и блондинок» (пропущены классы брюнеток, рыжих и т.д.). Простейший способ избежать этой ошибки – всегда включать в систему деления категорию «и прочие». 2. Все члены деления должны исключать друг друга, т.е. их объемы не должны иметь общих элементов. При нарушении данного правила возникает ошибка «перекрещивающееся деление». Например, «Войны делятся на «захватнические», «освободительные» и «справедливые». Здесь в объем понятия «справедливые» входит понятие «освободительные». 3. Деление должно осуществляться по одному основанию. При несоблюдении данного правила возникает ошибка «сбивчивое деление». Если деление сбивчивое, оно довольно часто оказывается также неполным или перекрещивающимся. Например, «Студенты делятся на «первокурсников», и «отличников». Здесь деление осуществлено по разным основаниям: по годам обучения и по качеству обучения. 4. Делениедолжно быть непрерывным, т.е. члены деления должны быть однопорядковыми видами. При этом каждое видовое понятие должно быть близким видом данного рода. При нарушении этого правила возникает логическая ошибка «прыжок в делении». Например, «Все экзамены делятся на «устные» и «письменные. В свою очередь письменные могут быть в виде выполнения тестов или письменного ответа на экзаменационные вопросы билета». В данном примере непрерывность деления соблюдена.

Классификация – результат многоуровнего, последовательного деления некоторого понятия на его рода, а родов на виды, а видов на подвиды и т.д. Классификации крайне важны в научных исследованиях, когда требуется привести полученные знания в единую стройную систему. Примеры классификации: периодическая система химических элементов Д. Менделеева. Для построения классификации можно использовать все виды логического деления. Выделяют два вида классификации в соответствии с характером оснований, используемых в операциях делений: искусственную и естественную. Искусственной считается классификация, в которой в качестве оснований деления используются второстепенные, несущественные характеристики предметов. Пример: телефонный справочник. Естественной считается классификация, в которой в качестве оснований деления используются существенные характеристики предметов. Существенными, как правило, называются те характеристики предмета, которые используются для теоретически научного описания этого предмета. Такие характеристики составляют его «сущность».

 

8.Правила определения. Ошибки, связанные с их нарушением. Для того, чтобы определения было логически правильными, они должны отвечать некоторым принципиальным требованиям, правилам. Определение должно быть ясным. Это означает, что термины, из которых состоит определяющая часть, сами должны быть осмысленными выражениями. В противном случае оказывается, что мы определяем непонятное через непонятное. Определение должно быть четким. В определении надо указывать лишь то, что необходимо и достаточно для раскрытия смысла термина. Пример, «золото – это драгоценный металл желтого цвета». Определение не должно содержать в себе круга. Часто бывает так, что одни термины определяются посредством других, а эти другие, в свою очередь, определяются через какие-то истинные термины, и т.д. Подобные системы взаимосвязанных определений не должны содержать порочного круга, то есть не должно возникать ситуаций, когда термин В, посредством которого определяется термин А, в конечном счете сам определяется через термин А. Например, определение «логика – это наука о логическом мышлении». В подобном случае это ведет к тавтологии, или определению «то же через то же». Определение должно быть соразмерным. Это правило распространяется только на прагматически реальные определения. Оно говорит, что объем определяемого выражения должен совпадать с объемом определяющего. Например, «Корова – это крупное рогатое домашнее животное, дающее молоко». Нельзя выдавать номинальные определения за реальные. реальные: семантически(обознач, что-то реально существующее) прагматически(соотв.сложившейся практике словоупотребления). Номинальные: семантически(обознач. Что-то не существующее в реальности) прагматически(предлагает новые цели непривычный способ словоупотребления).

 

9.Противопоставление атрибутивных суждений. Противопоставление – это непосредственное умозаключение, в котором субъект и предикат посылки в заключении меняются местами, и при этом по крайней мере один из них заменяется на противоречащий ему термин. Выделяют три вида противопоставления:

S – PS – PS – P

P – ~S ~P – S ~P – ~S

Каждый из них может быть сведен к комбинации обращения и превращения: Противопоставление субъекту: обращение, затем превращение. Противопоставление предикату: превращение, затем обращение. Противопоставление субъекту и предикату: превращение, обращение, затем снова превращение.

Не все суждения подвергаются противопоставлению. В частности, не существует противопоставления субъекту для частноотрицательных высказываний, т.к их нельзя обращать. Для частноутвердительных высказываний отсутствует противопоставление предикату, т.к при превращении SiP получаем суждение So~P, которое, в свою очередь, не обращается. По той же причине для них отсутствует противопоставление субъекту и предикату.В таблице приведены все правильные способы обращения, превращения и противопоставления. (все S есть P, ни один S не естьP, некоторые S есть P, некоторые S не есть P)

Умозаключение	SaP	SeP	SiP	SoP
Обращение	PiS	PeS	PiS	–
Превращение	Se~P	Sa~P	So~P	Si~P
Противопоставление S	Po~S	Pa~S	Po~S	–
Противопоставление P	~PeS	~PiS	–	~PiS
Противопоставление S и Р	~Pa~S	~Po~S	–	~Po~S

На практике непосредственные умозаключения требуют точности и аккуратности.Пусть у нас есть высказывание «Все богатые люди являются везучими». Какие выводы из него вытекают? Некоторые везучие люди являются богатыми (обр.) Ни один богатый человек не является невезучим (превр.).Некоторые везучие люди не являются бедными (прот. S).Ни один невезучий человек не является богатым (прот. Р).Все невезучие люди являются бедными (прот. S и Р)