Материалы размещены исключительно с целью ознакомления учащихся ВУЗов, техникумов, училищ и школ.
Главная - Справочная литература - Словари
Ивин А.А. - Словарь по логике

Скачать книгу
Вся книга на одной странице (значительно увеличивает продолжительность загрузки)
Всего страниц: 44
Размер файла: 889 Кб
Страницы: «« « 20   21   22   23   24   25   26   27   28  29   30   31   32   33   34   35   36   37   38  » »»

   Наряду с О. существуют также антиобразцы. Задача последних - дать отталкивающие примеры поведения и тем самым отвратить от такого поведения. Воздействие антиобразца в случае некоторых людей оказывается даже более эффективным, чем воздействие О. В качестве факторов, определяющих поведение, О. и антиобразец не вполне равноправны. Не все, что может быть сказано об О., в равной мере приложимо также к антиобразцу, который является, как правило, менее определенным и может быть правильно истолкован только при сравнении его с определенным
[237]
О.: что значит не походить в своем поведении на Санчо Пансу, понятно лишь тому, кому известно поведение Дон Кихота.
   Рассуждение, апеллирующее к О., по своей структуре напоминает рассуждение, обращающееся к примеру: "Если должно быть первое, то должно быть второе; второе должно быть; значит, должно быть первое". Это рассуждение от утверждения следствия условного высказывания к утверждению его основания не является правильным дедуктивным умозаключением, оно представляет собой индуктивное умозаключение. Чаще всего рассуждение, использующее О., протекает по схеме: "Если всякое S должно быть Р, то S1 должно быть Р, S1 должно быть Р и т. д.; Si должно быть Р, S2 должно быть Р и т. д.; значит, всякое 5 должно быть Б".
   Аргументация к О. обычна в художественной литературе. Здесь она носит, как правило, непрямой характер: О. предстоит выбрать самому читателю по косвенным указаниям автора.
   Наряду с О. человеческих действий имеются также О. иных вещей: предметов, событий, ситуаций и т. д. Первые О. принято называть идеалами, вторые - стандартами. Для всех объектов, с которыми регулярно сталкивается человек, будь то молотки, часы, лекарства и т. д., существуют свои стандарты, говорящие о том, какими должны быть объекты данного рода. Ссылка на эти стандарты - частый прием аргументации в поддержку оценок. Стандарт, касающийся предметов определенного типа, обычно учитывает типичную их функцию; помимо функциональных свойств он может включать также некоторые морфологические признаки. Напр., никакой молоток не может быть назван хорошим, если с его помощью нельзя забивать гвозди; он не будет также хорошим, если он, позволяя забивать гвозди, имеет все-таки плохую рукоятку.
   ОБРАЩЕНИЕ (лат. conversio)
    - в традиционной логике вид непосредственного умозаключения, в котором вывод получается путем постановки предиката посылки на место субъекта, а субъекта посылки - на место предиката. Общая схема О. выглядит следующим образом:
S есть Р.
Р есть S.
Напр., из суждения "Птицы есть позвоночные" мы путем О. получаем вывод "Позвоночные есть птицы". Общеутвердительные суждения "Все S есть Р" (типа A) обращаются в частноутвердительные "Некоторые Р есть S" (типа I), напр., суждение "Все рыбы дышат жабрами" обращается в суждение "Некоторые дышащие жабрами есть рыбы"; общеотрицательные суждения "Ни одно S


[238]
не есть Р" (типа Е) обращаются в общеотрицательные "Ни одно Р не есть S" (типа Е), напр., суждение "Ни один кит не является рыбой" обращается в суждение "Ни одна рыба не есть кит"; частноутвердительные суждения "Некоторые S есть P" (типа I) обращаются в частноутвердительные "Некоторые Р есть S", напр., суждение "Некоторые металлы - жидкости" обращается в суждение "Некоторые жидкости - металлы"; наконец, из частноотрицательного суждения нельзя сделать вывод путем О.
ОБЩЕЕ ПОНЯТИЕ, см.: Понятие.
ОБЩЕЕ СУЖДЕНИЕ, см.: Суждение.
   ОБЪЕДИНЕНИЕ (СЛОЖЕНИЕ) КЛАССОВ (МНОЖЕСТВ)
    - логическая операция, позволяющая из исходных классов образовывать новый класс (множество), в который войдут все элементы каждого из исходных классов. Так, в результате О. к. спортсменов (А) и класса студентов (В) мы получим класс людей, состоящий

из студентов, не являющихся спортсменами, из спортсменов, не являющихся студентами, и из тех людей, которые одновременно являются и студентами, и спортсменами. Вся заштрихованная поверхность рисунка будет представлять собой О. к. студентов и спортсменов. Символически полученный результат объединения записывают в виде выражения A ? В (см.: Круги Эйлера).
   ОБЪЕКТИВНОСТЬ
    - независимость от человеческого сознания, от воли и желаний людей, от их субъективных вкусов и пристрастий. Свойством О. обладает внешний по отношению к сознанию мир, который является причиной самого себя и развивается в силу присущих ему законов, порождая на определенной ступени своего развития человека и человеческое сознание, представляющее собой отображение объективного мира.
   В методологии научного познания свойство О. приписывают научным теориям и законам, вообще любому истинному знанию. Истина объективна в том смысле, что, будучи адекватным отображением объективной действительности, не зависит от того, признают ее люди или нет. Напр., утверждение о том, что Земля вращается вокруг Солнца, было истинно и в те времена, когда в общественном сознании господствовала геоцентрическая система Птолемея и никто не считал это утверждение истинным. Конеч-

[239]
но, понятия и суждения создаются людьми, однако будет ли то или иное суждение адекватно воспроизводить черты действительности или искажать их, зависит не от людей, а от самой действительности. И в этом смысле истина объективна.
   Аналогично научные теории и законы несут в себе объективную истину независимо от того, признает их научное сообщество или отвергает. Иногда под О. понимают интерсубъективность - общепонятность, общепризнанность. Однако общепризнанность и общеупотребительность к.-л. понятий, утверждений, теорий, хотя и свидетельствует об их независимости от индивидуальных вкусов того или иного конкретного ученого, все-таки не тождественна О.: несмотря на свою интерсубъективность, признанные законы и теории могут оказаться объективно ложными (см.: Истина).
   ОБЪЕКТНЫЙ (ПРЕДМЕТНЫЙ) ЯЗЫК
    - язык, выражения которого относятся к некоторой области объектов, их свойств и отношений. Напр., язык механики описывает свойства механического движения материальных тел и взаимодействия между ними; язык арифметики говорит о числах, об их свойствах, операциях над числами; язык химии - о химических веществах и реакциях и т. д. Вообще любой язык обычно используется прежде всего для того, чтобы говорить о каких-то внеязыковых объектах, и в этом смысле каждый язык является объектным. Однако в семантическом анализе приходится говорить о самом языке, и тогда мы вынуждены проводить различие между двумя языками - О. я. и метаязыком, с помощью которого мы говорим о терминах и выражениях О. я. Конечно, в естественном языке О. я. и метаязык соединены: мы говорим на этом языке как о предметах, так и о самих выражениях языка. Такой язык называется семантически замкнутым. Языковая интуиция обычно помогает нам избегать парадоксов, к которым приводит семантическая замкнутость естественного языка. Но при построении формализованных языков тщательно следят за тем, чтобы О. я. был четко отделен от метаязыка.
   ОБЪЯСНЕНИЕ
    - одна из важнейших функций научной теории и науки в целом. Понятие О. используется и в повседневном языке - объяснить к.-л. явление означает сделать его ясным, понятным для нас. В своем стремлении понять окружающий мир люди создавали мифологические системы, объясняющие события повседневной жизни и явления природы. В течение последних столетий функция О. окружающего мира постепенно перешла к науке.
   В настоящее время именно наука делает для нас понятными встречающиеся явления, поэтому научное О. служит образцом



 [240]
для всех сфер человеческой деятельности, в которых возникает потребность О.
   В современной методологии научного познания наиболее широкой известностью и почти всеобщим признанием пользуется дедуктивно-номологическая модель научного О. Допустим, мы наблюдаем, что нить, к которой подвешен груз в 2 кг, разрывается. Возникает вопрос: почему нить порвалась? Ответ на этот вопрос дает О., которое строится следующим образом. Нам известно общее положение, которое можно считать законом: "Для всякой нити верно, что если она нагружена выше предела своей прочности, то она разрывается". Представим данное общее утверждение в символической форме: "x(P(x)->Q(x)). Нам известно также, что данная конкретная нить, о которой идет речь, нагружена выше предела ее прочности, т. е. истинно единичное предложение "Данная нить нагружена выше предела ее прочности" (символически Р(а)). Из общего утверждения, говорящего обо всех нитях, и единичного утверждения, описывающего наличную ситуацию, мы делаем вывод: "Данная нить разрывается" (символически Q(a)). Теперь это рассуждение можно представить в символической форме:

" x(P(x)-> Q(х))

Р(а)
Q(a)
   Это и есть дедуктивно-номологическое О. Оно представляет собой логический вывод, посылки которого называются экспланансом, а следствие - экспланандумом. Эксплананс должен включать в себя по крайней мере одно общее утверждение, а экспланандум должен логически следовать из эксплананса. Мы привели простейший вариант дедуктивно-номологического О. Оно допускает разнообразные модификации и обобщения. В общем случае в эксплананс может входить несколько общих и единичных утверждений, а вывод - представлять собой цепочку логических умозаключений. На месте экспланандума может находиться как описание отдельного события, так и общее утверждение, и даже теория. Дедуктивно-номологическое О. можно представить в виде схемы.
   Дедуктивно-номологическая схема подводит объясняемое явление под закон природы - в этом состоит О. Оно показывает необходимый характер объясняемого явления. При дедуктивно-номологическом О. некоторого события мы указываем причину или условия существования этого события, и если причина имеет место, то с естественной необходимостью должно существовать и ее следствие.
[241]


  Если для О. природных событий и фактов используется дедуктивно-номологическая модель, то для общественных наук, имеющих дело с О. человеческих действий предлагаются иные формы О. Так, было показано, что в области истории используется рациональное объяснение. Суть этого О. заключается в следующем. При О. поступка некоторой исторической личности историк старается вскрыть те мотивы, которыми руководствовался действующий субъект, и показать, что в свете этих мотивов поступок был рациональным (разумным). Напр., почему граф Пален организовал убийство Павла I? Потому, что он считал это убийство разумным. Рациональное О. сталкивается с существенными трудностями, ограничивающими сферу его применимости. Во-первых, не ясно понятие рациональности, на которое должен опираться историк при О. поступков исторических личностей. Историк не может руководствоваться тем стандартом рациональности, который принят в его время. Он должен реконструировать представления о рациональности людей изучаемой им эпохи, более того, ему нужно установить, какими представлениями о рациональности руководствовался тот самый индивид, поступок которого требуется объяснить. А это весьма сложная задача. Во-вторых, люди чаще всего действуют без всякого расчета - под влиянием импульса, желания, страсти. Поэтому модель рационального О. может быть использована для О. сравнительно небольшого числа человеческих поступков, которые были предприняты после серьезного размышления.
   Гораздо большую сферу охватывает телеологическое, или интенциональное, О. Интенциональное О. указывает не на рациональность действия, а просто на его интенцию, на цель, которую преследует индивид, осуществляющий действие. Напр., мы видим бегущего человека и хотим объяснить, почему он бежит.


[242]
О. состоит в указании цели, которую преследует индивид: скажем, он хочет успеть на поезд. При этом нет речи об оценке рациональности его поступка, и мы не спрашиваем даже, считает ли он сам, что поступает рационально. Для О. достаточно отметить, в чем заключается его цель, или интенция.
   Логической формой интенционального О. является т.наз. "практический силлогизм". Одна из посылок практического вывода говорит о некотором желаемом результате, или о цели, другая посылка указывает средства достижения этой цели. Выводное суждение представляет собой описание действия. Поэтому силлогизм и называется "практическим". Примерная схема практического силлогизма выглядит следующим образом:
Н. намеревается (желает, стремится) получить а.
Н. считает (полагает, осознает), что для получения а нужно совершить действие b.
Н. совершает действие b.
   Эту схему можно усложнять, вводя в посылки указание на время, на отсутствие помех для действия, на отсутствие у действующего лица других целей в данный момент и т. п. Однако все характерные особенности О. данного типа представлены уже в этой простой схеме.
   В работах по методологии научного познания дедуктивно-номологическая схема О. иногда провозглашается единственной научной формой О. Однако это неверно, она нуждается в дополнении другими видами О., особенно когда речь идет об общественных науках. При О. крупных исторических событий - войн, восстаний, революций, падений государств - историк обычно опирается на законы общественного развития. Каждое значительное историческое событие представляет собой единство необходимого и случайного. Необходимая, глубинная сторона общественных событий и процессов получает дедуктивно-номологическое О., включающее ссылку на социальные законы. Даже действия отдельных личностей - в той мере, в какой эти личности представляют определенные общественные слои и группы, - могут быть объяснены посредством дедуктивно-номологической схемы как действия, типичные для данного слоя и вытекающие из его коренных экономических интересов. Такие О. могут выглядеть следующим образом: "Всякий продавец стремится дороже продать свой товар. Н. - продавец. Поэтому он также стремится дороже продать свой товар". Однако сведение истории к выявлению только необходимой, закономерной стороны событий прошлого было бы непра-

[243]
вомерным. История не только говорит о том, что должно было случиться, но и показывает, как это реально случилось. Ее интересует не только необходимая сторона исторических процессов, но и те случайности необходимого. Поэтому историк не может отвлечься от конкретных исторических личностей, деятельность которых была включена в то или иное историческое событие, от их мыслей и чувств, целей и желаний. При О. же поведения отдельных личностей дедуктивно-номологическая схема неприменима. В этих случаях О. достигается с помощью рациональной или интенциональной модели.
   ОГРАНИЧЕНИЕ ПОНЯТИЯ
    - логическая операция перехода от понятия с большим объемом к понятию с меньшим объемом, от рода к виду. Этот переход осуществляется за счет добавления к содержанию исходного понятия дополнительных признаков, принадлежащих лишь части предметов, входящих в объем исходного понятия. Напр., добавив к содержанию понятия "треугольник" свойство "быть прямоугольным", мы получим понятие "прямоугольный треугольник", которое является видовым по отношению к исходному понятию.
   ОМОНИМИЯ (от греч. homos - одинаковый, опута - имя)
    - свойство языковых выражений иметь несколько значений или выражать несколько понятий, никак не связанных между собой; напр., слово "лук" может выражать как понятие о растении, так и понятие об оружии. О. характерна для естественных языков и способна приводить к ошибкам в рассуждениях, поэтому при создании научной терминологии стремятся к однозначности языковых выражений и исключению О.
   ОПЕРАТОР (от лат. operator - действующий)
    - одна из категорий исходных символов искусственного (формализованного) языка, наряду с константой, переменной, связкой и др. категориями. Обычно О. определяется как выражение, связывающее переменные.
   Примером простого О. может служить О. дескрипции, или О. описания. Приписывание его к некоторой переменной х дает выражение, содержание которого можно передать как "тот х, который". Вместе с предикатом, скажем, "тяжелый" оно дает выражение "Тот х, который является тяжелым".
   Особое значение среди О. имеют кванторы: "для всех х" - квантор общности и "существует х такой, что" - квантор существования. Связывание кванторами переменных в предикате дает истинное или ложное высказывание.
   Пусть в выражении "х > 5" переменная х представляет действительные числа. Применив к этому выражению квантор общности,


[244]
получаем ложное высказывание: "Для каждого такого числа верно, что оно больше пяти". Применив к этому же выражению квантор существования, получаем истинное высказывание: "Существует такое действительное число, которое больше пяти".
ОПИСАНИЕ, см.: Высказывание дескриптивное.
   ОПИСАНИЕ СОСТОЯНИЯ (англ. state description)
    - термин, введенный австрийским логиком Р. Карнапом для обозначения одного из возможных распределений истинностных значений атомарных высказываний некоторого языка. Рассмотрим, напр., сложное конъюнктивное высказывание "A & В". В него входят два атомарных высказывания "A" и "В", каждое из которых может быть либо истинным, либо ложным. Для двух атомарных высказываний возможны всего четыре комбинации распределения истинностных значений: 1) А истинно, В истино; 2) А истинно, В ложно; 3) A ложно, В истинно; 4) A ложно, В ложно. Каждая такая комбинация и называется О. с. Наше сложное высказывание будет истинным в О. с. (1) и ложным во всех остальных О. с.
   Можно взять все атомарные высказывания некоторого языка с некоторым распределением истинностных значений между ними - тогда мы получим полное О. с. для данного языка. Всего таких О. с. будет 2n, если число атомарных высказываний равно п. Понятие О. с. представляет собой конкретизацию идеи возможного мира: возможный мир - это как раз тот мир, который задан определенным О. с. Одно из О. с. соответствует реальному миру. Понятие О. с. используется для определения важных логических понятий, например для определения понятий логической и фактической истинности: высказывание называется логически истинным, если оно истинно во всех О. с.; высказывание лишь фактически истинно, если имеются О. с., в которых оно ложно.
   ОПИСАТЕЛЬНОЕ ВЫСКАЗЫВАНИЕ, см.: Высказывание дескриптивное.
   ОПИСАТЕЛЬНО-ОЦЕНОЧНОЕ ВЫСКАЗЫВАНИЕ, см.: Высказывание дескриптивное, Оценочное высказывание.
   ОПРЕДЕЛЕНИЕ (лат. definitio)
    - логическая операция, раскрывающая содержание понятия. Напр., обычное О. термометра указывает, что это, во-первых, прибор и, во-вторых, именно тот, с помощью которого измеряется температура. О. понятия "термин" говорит, что это слово или сочетание слов, имеющее точное значение и применяемое в науке, технике или искусстве. Важность О. подчеркивал еще Сократ, говоривший, что он продолжает дело своей матери, акушерки, и помогает родиться истине в споре. Ана-

[245]
лизируя вместе со своими оппонентами различные случаи употребления конкретного понятия, он стремился прийти в конце концов к его прояснению и О.
  О. решает две задачи. Оно отличает и отграничивает определяемый предмет от всех иных: приведенное О. термометра позволяет однозначно отграничить термометры от всех предметов, не являющихся приборами, и отделить термометры по присущим только им признакам от всех иных приборов. Далее, О. раскрывает сущность определяемых предметов, указывает те основные признаки, без которых они не способны существовать и от которых в значительной мере зависят все иные их признаки. Напр., О. человека как животного с мягкой мочкой уха или как существа, способного смеяться, отграничивает людей от всех иных животных, но не раскрывает сколь-нибудь глубокой сущности человека. Более удачным в этом смысле является О. человека как разумного животного или как животного, производящего орудия труда. О. может быть более глубоким и менее глубоким, и его глубина зависит прежде всего от уровня знаний об определяемом предмете. Необходимо также учитывать известную относительность сущности: существенное для одной цели может оказаться второстепеным с точки зрения другой цели. Напр., в геометрии могут использоваться разные, не совпадающие между собой О. понятия "линия", и вряд ли можно сказать, что одно из них раскрывает более глубокую сущность этого понятия, чем другие.
  Конкретные формы, в которых реализуется операция О., чрезвычайно разнообразны. Прежде всего нужно отметить различие между О. явными и О. неявными. Первые имеют форму равенства двух имен, вторые не имеют такой формы. К первым относится, в частности, наиболее употребительное родо-видовое О., наз. также "классическим", ко вторым относятся контекстуальное, остенсивное, аксиоматическое и др. О. Принципиально важным является различие между реальным О. и номинальным О. Первое представляет собой описание определяемых предметов и является истинным или ложным, второе является предписанием (нормой), говорящим о том, какое значение следует придавать вводимому понятию, и не имеющим истинностного значения.
   Относительно О. иногда высказывается общий принцип: "Об О. не спорят", или: "О словах не спорят". Однако мнение, будто по поводу О. неразумно или даже бессмысленно спорить, является явно ошибочным. Оно не согласуется с общим представлением об О. и его задачах в обычной жизни и в научном исследовании. Это мнение противоречит также тому очевидному факту, что споры


[246]
об О. являются обычным делом. За указанным принципом стоит, судя по всему, предостережение, что споры о реальных О. и споры о номинальных О. принципиально различны. Реальное О. есть описание какой-то совокупности объектов, и проверка его правильности заключается в сопоставлении его с описываемым объектом. Адекватное описание - истинно, описание, не соответствующее действительности, - ложно. Споры относительно реальных О. - это обычно споры по поводу истинности описательных (дескриптивных) высказываний. Номинальное О. не описывает что-то, а требует это реализовать. Поэтому спор здесь будет не об истинности некоторого описания, а о целесообразности, правомерности и т. п. выдвигаемого требования. Положим, что кто-то определяет "бегемота" как "хищное парнокопытное млекопитающее отряда нежвачных". На такое О. можно возразить, что оно неверно, поскольку является ложным: бегемоты - не хищники, а травоядные животные. Но, допустим, кто-то говорит, что он будет отныне называть "бегемотами" всех представителей отряда пресмыкающихся, включающего аллигаторов, гавиалов и настоящих крокодилов. В данном случае нельзя сказать, что О. ложно. Человек, вводящий новое слово, ничего не описывает, а только требует - от себя или от других, - чтобы рассматриваемые объекты именовались этим, а не другим словом. Но спор возможен и уместен и здесь. Аллигаторов, гавиалов и настоящих крокодилов принято называть "крокодилами", нет смысла менять это устоявшееся имя на "бегемот", тем более что последнее закрепилось уже за совсем иными животными. Такая замена нецелесообразна, она не принесет пользы. Хуже того, неизбежная в случае переименования путаница принесет прямой вред. Возражения сводятся, таким образом, к тому, что предложение - или даже требование - переименовать крокодилов в бегемоты нецелесообразно и неэффективно. О. любого вида в принципе может быть предметом спора. Но споры об О.-требованиях ведутся иначе, чем об О.-описаниях.
   ОПРЕДЕЛЕНИЕ АКСИОМАТИЧЕСКОЕ
    - неявное определение понятия путем указания множества аксиом, в которые оно входит наряду с другими понятиями. Аксиома представляет собой утверждение, принимаемое без доказательства. Совокупность аксиом какой-то теории является одновременно и свернутой формулировкой этой теории, и тем контекстом, который определяет все входящие в нее понятия. Напр., аксиомы геометрии Евклида являются тем ограниченным по своему объекту текстом, в котором встречаются понятия точки, прямой, плоскости и т. д., определяющим значения данных понятий. Аксиомы классической ме-

[247]
ханики Ньютона задают значения понятий "масса", "сила", "ускорение" и др. Положения "Сила равна массе, умноженной на ускорение", "Сила действия равна силе противодействия" не являются явными определениями. Но они раскрывают, что представляет собой сила, указывая связи этого понятия с другими понятиями механики.
   О. а. является частным случаем определения контекстуального. Принципиальная особенность О. а. заключается в том, что аксиоматический контекст строго ограничен и фиксирован. Он содержит все, что необходимо для понимания входящих в него понятий. Он ограничен по своей длине, а также по своему составу. В нем есть все необходимое и нет ничего лишнего.
   О. а. - одна из высших форм научного определения понятий. Не всякая научная теория способна определить свои исходные понятия аксиоматически. Для этого требуется относительно высокий уровень развития знаний об исследуемой области; изучаемые объекты и их отношения должны быть также сравнительно просты. Точку, линию и плоскость Евклиду удалось определить с помощью немногих аксиом еще две с лишним тысячи лет назад. Но попытка охарактеризовать с помощью нескольких утверждений такие сложные, многоуровневые объекты, как общество, история или разум, не может привести к успеху. Аксиоматический метод здесь неуместен, он только огрубил бы и исказил реальную картину.
   ОПРЕДЕЛЕНИЕ ГЕНЕТИЧЕСКОЕ (от греч. genesis - происхождение, источник)

Страницы: «« « 20   21   22   23   24   25   26   27   28  29   30   31   32   33   34   35   36   37   38  » »»
2007-2013. Электронные книги - учебники. Ивин А.А., Словарь по логике