Словарь по логике_ Ивин. Словарь по логике Разработан на основе
 Скачать 1.81 Mb.
|
» выражают П. с., которые определяются на семантическом, содержательно-алгоритмическом уровне при помощи таблиц истинности. Эти П. с. соответственно называются: конъюнкцией, дизъюнкцией, импликацией, эквиваленцией, отрицанием. Смысл П. с. в русском языке передается при помощи следующих выражений:
Слово «причина» употребляется в нескольких смыслах. Наиболее сильный из них предполагает, что имеющее причину не может не быть, т.е. не может быть ни отменено, ни изменено никакими событиями или действиями. Наряду с этим понятием полной, или необходимой, причины существует также более слабое понятие частичной, или неполной, причины. Для полной причины выполняется условие: «Если событие А каузально имплицирует событие В, то А вместе с любым событием С также каузально имплицирует B». Для неполной причины верно, что в случае всяких событий а и В, если А есть частичная причина В, то существует такое событие С, что А вместе с С является полной причиной В, и вместе с тем неверно, что А без С есть полная причина В. Иначе говоря, полная причина всегда, или в любых условиях, вызывает свое следствие, в то время как частичная причина только способствует наступлению своего следствия, и это следствие реализуется лишь в случае объединения частичной причины с иными условиями. П.л. строится так, чтобы в ее рамках могло быть получено описание и полных, и неполных причин. П. л. находит приложения при обсуждении понятий закона природы, онтологической необходимости, детерминизма и др. ПРОБЛЕМА (от греч. problema – преграда, трудность, задача) – вопрос или целостный комплекс вопросов, возникший в ходе познания. Не каждая П., однако, сразу же приобретает вид явного вопроса, так же как не всякое исследование начинается с выдвижения П. и кончается ее решением. Иногда П. формулируется одновременно с ее решением, случается даже, что она осознается только через некоторое время после ее решения. Зачастую поиск П. сам вырастает в особую П. В широком смысле проблемная ситуация – это всякая ситуация, теоретическая или практическая, в которой нет соответствующего обстоятельствам решения и которая заставляет поэтому остановиться и задуматься. От П. принято отличать псевдопроблемы – вопросы, обладающие лишь кажущейся значимостью и не допускающие сколь-нибудь обоснованного ответа. Между П. и псевдопроблемами нет, однако, четкой границы. Из многочисленных факторов, оказывающих влияние на способ постановки П., особое значение имеют, во-первых, характер мышления той эпохи, в которую формируется и формулируется П., и, во-вторых, уровень знания о тех объектах, которых касается возникшая П. Каждой исторической эпохе свойственны свои характерные формы проблемных ситуаций; в древности П. ставились иначе, чем, скажем, в средние века или в современной науке. В хорошо проверенной и устоявшейся научной теории проблемные ситуации осознаются по-другому, чем в теории, которая только складывается и не имеет еще твердых оснований. Основы логико-семантического истолкования П. были заложены в работах математика А.Н. Колмогорова (1903-1985), С.К. Клини и др. Согласно Колмогорову, возможна логика, систематизирующая схемы решения задач. Понятия «задача» и «решение задачи» принимаются в качестве исходных; логические задачи истолковываются как операции, позволяющие получать новые задачи из уже имеющихся задач. (А и В) означает задачу: решить обе задачи А и В; (А или В) – решить хотя бы одну из задач A, В; (если А, то В) означает задачу: свести задачу В к задаче A; (не-А) означает задачу: предположив, что дано решение A, прийти к противоречию. Одной из форм П. является неразрешимая П.: ее «решением» выступает доказательство ее неразрешимости. Напр., разрешения П. для логики предикатов первого порядка неразрешима: не существует эффективной процедуры, которая позволяла бы для всякой формулы определить, является она теоремой или нет. Доказательство этого факта, данное в 1936 г. амер. логиком А. Чёрчем (р. 1903), дало первый пример неразрешимой П. ПРОПОЗИЦИОНАЛЬНАЯ СВЯЗКА – операция, позволяющая из данных суждений (высказываний) строить новые суждения (высказывания). В логике высказываний высказывания (формулы) рассматриваются лишь с точки зрения их истинности или ложности. Если A и В – к.-л. формулы (простые, элементарные или сложные, построенные из элементарных), то из них с помощью П. с. могут строиться новые формулы: А & В, AvB, A-> B, А = В, если А – формула, то | ||||||||||||||
| S есть Р. |
| не-Р не есть S. |
П. п. представляет собой соединение превращения с обращением, поэтому при его выполнении следует сначала произвести превращение посылки, а затем обратить получившееся суждение: превращаем «S есть Р», получаем «S не есть не-Р», затем обращаем последнее суждение и приходим к выводу «не-Р не есть S». Затруднения здесь носят чисто грамматический характер. Чтобы избежать их, следует формулировать связку в явном виде и фиксировать отрицания. Из общеутвердительного суждения следует общеотрицательный вывод; из общеотрицательного суждения следует частноутвердительный вывод; из частноотрицательного суждения следует частноутвердительный вывод; из частноутвердительного суждения нельзя получить вывод путем П. п.
ПРОТИВОРЕЧИЕ – два высказывания, из которых одно является отрицанием другого. Напр.: «Латунь – химический элемент» и «Латунь не является химическим элементом», «2 – простое число» и «2 не является простым числом». В одном из противоречащих высказываний что-то утверждается, в другом это же самое отрицается, причем утверждение и отрицание касаются одного и того же объекта, взятого в одно и то же время и рассматриваемого в одном и том же отношении.
П. является одним из центральных понятий логики. Поскольку слово «П.» многозначно, пару отрицающих друг друга высказываний называют иногда «логическим П.» или абсурдом.
П. недопустимо в строгом рассуждении, когда оно смешивает истину с ложью. Но у П. в обычном языке много разных задач. Оно может выступать в качестве основы сюжета, быть средством достижения особой художественной выразительности, комического эффекта и т.д. Реальное мышление – и тем более художественное мышление – не сводится к одной логичности. В нем важны ясность и неясность, доказательность и зыбкость, точное определение и чувственный образ и т.д., может оказаться нужным даже П., если оно стоит на своем месте.
РАВЕНСТВО – отношение между знаковыми выражениями, обозначающими один и тот же объект, когда все, что можно высказать на языке соответствующей теории об одном из них, можно высказать и о другом, и наоборот, и при этом получать истинные высказывания. Обозначаемые объекты могут быть построены различным способом, напр., один объект может быть представлен как «3•5», а другой как «20-5», но между ними может быть поставлен знак Р.
Отношение Р позволяет заменять одни и те же объекты, построенные различным образом, друг на друга в различных контекстах (правило подстановочности). Выражения (формулы), содержащие предикат Р., могут содержать переменные, или параметры. Если такая формула является истинной при всех значениях переменных (параметров), то отношение Р называют тождеством. Если же она является истинной лишь при некоторых значениях, то ее называют уравнением. Отношение Р обладает свойствами симметричности, транзитивности и рефлексивности.
РАВНОЗНАЧНОСТЬ (равносильность, эквивалентность) – отношение между высказываниями или формулами, когда они принимают одни и те же истинностные значения. Напр., при любых значениях элементарных высказываний формулы (A v B) и (B v A), (A v (A & В)) и A принимают одни и те же значения, т.е. если одна из них истинна, то и другая истинна, если одна из них ложна, то и другая также ложна. Если два высказывания A и В равнозначны, то формулы А -> В и B -> А будут тождественно истинными.
РАВНООБЪЕМНОСТЬ – отношение между понятиями, объемы которых совпадают. Напр., понятия «луна» и «естественный спутник Земли» совпадают по своему объему, в который входит только один предмет; понятия «человек» и «разумное существо, владеющее членораздельной речью» равны по своему объему, т.к. обозначают один и тот же класс – людей.
РАЗДЕЛИТЕЛЬНОЕ СУЖДЕНИЕ – дизъюнктивное (от лат. disjunctio – разобщаю) сложное суждение, образованное из двух или большего числа суждений с помощью логической связки «или». Общая форма Р. с. имеет вид А1 v A2 v, ..., v An, где Аn – суждение (член дизъюнкции, альтернатива), a v – знак дизъюнкции. Существуют два вида Р. с.: строго разделительные и нестрого разделительные. В строго разделительных суждениях связка «или», «либо» употребляется в строго разделительном смысле (см.: Дизъюнкция), т.е. когда члены дизъюнкции (альтернативы) в двучленном суждении A1 v A2 несовместимы (одно из них является истинным, а другое – ложным). Таково суждение: «Этот человек является виновным (A1) либо этот человек не является виновным (А2)». Естественно, что данный человек не может быть одновременно виновным и невиновным, имеет место лишь одна из альтернатив. В нестрого разделительных суждениях (см.: Дизъюнкция) альтернативы не являются несовместимыми. Таково суждение «Этот ученик является способным или он является прилежным». В этом суждении не исключается, что ученик может быть одновременно способным и прилежным.
Р. с. в обычном языке формулируются чаще всего в сокращенной форме и имеют, напр., вид: «S есть Р1 или P2 или «Р1 или p2 принадлежит S». Так, суждение «Данный треугольник прямоугольный или непрямоугольный» означает Р. с. «Данный треугольник прямоугольный или данный треугольник непрямоугольный» Связка «либо» вместо связки «или» используется обычно в строго разделительных суждениях.
РАЗДЕЛИТЕЛЬНО-КАТЕГОРИЧЕСКОЕ УМОЗАКЛЮЧЕНИЕ – умозаключение, в котором одна из посылок – разделительное суждение, а другая – категорическое. Р.-к. у. имеет два модуса: 1) модус утверждающе-отрицающий; 2) модус отрицающе-утверждающий. Простейшая форма модуса (1) имеет вид: S есть Р1 или p2 (первая посылка); S есть Р1 (вторая посылка); S не есть p2 (заключение). Такую форму имеет, напр., следующее умозаключение: «Жидкие коллоидные системы бывают эмульсиями либо золями. Данная жидкая коллоидная система является эмульсией. Данная жидкая коллоидная система не является золем». В таком умозаключении для обеспечения его правильности в разделительной посылке союз «или» («либо») должен употребляться в строго разделительном смысле (см.: Дизъюнкция).
Простейшая форма модуса (2) имеет вид: S есть Р1 или p2, S не есть р1; следовательно, S есть Р2. Пример:
Организмы бывают одноклеточными или многоклеточными.
Данный организм не является одноклеточным.
Данный организм является многоклеточным.
В таком умозаключении для обеспечения его правильности в первой посылке должны быть перечислены все члены дизъюнкции (альтернативы).
РАЗРЕШЕНИЯ ПРОБЛЕМА, или: Разрешимости проблема, – проблема нахождения для данной дедуктивной теории общего метода, позволяющего решать, может ли отдельное утверждение, сформулированное в терминах теории, быть доказано в ней или нет. Этот общий метод, являющийся эффективной процедурой (алгоритмом), называется процедурой разрешения или разрешающей процедурой, а теория, для которой такая процедура существует, – разрешимой теорией.
Р. п. решается в классической логике высказываний с помощью таблиц истинности. Разрешающий алгоритм существует и для логики одноместных предикатов, для силлогизма категорического и других простых дедуктивных теорий. Но уже для логики предикатов общего решения Р. п. не существует. В математике также невозможно установить общий метод, который дал бы возможность провести различие между утверждениями, которые могут быть доказаны в ней, и теми, которые в ней недоказуемы.
Невозможность найти для теории общий разрешающий метод не исключает поиска процедуры разрешения для отдельных классов ее утверждений.
РАЗРЕШИМАЯ ТЕОРИЯ – теория, для которой существует эффективная процедура (алгоритм), позволяющая о каждом утверждении, сформулированном в терминах этой теории, решить, выводимо оно в теории или нет (см.: Разрешения проблема).
Р. т. являются, напр., элементарная алгебра Буля, теория сложения целых чисел и некоторые иные простые математические теории. Неразрешима арифметика целых чисел (т.е. теория четырех главных арифметических действий над целыми числами) и каждая дедуктивная теория, содержащая арифметику.
РАЦИОНАЛЬНОСТЬ (от лат. ratio – разум) – относящееся к разуму, обоснованность разумом, доступное разумному пониманию, в противоположность иррациональности как чему-то неразумному, недоступному разумному пониманию.
В методологии научного познания Р. понимается двояко. Чаще всего Р. истолковывается как соответствие законам разума – законам логики, методологическим нормам и правилам. То, что соответствует логико-методологическим стандартам, – Р., то, что нарушает эти стандарты, – нерационально или даже иррационально. Иногда под Р. понимают целесообразность. То, что способствует достижению цели, – Р., то, что этому препятствует, – нерациональность.
До недавних пор считалось, что образцом Р. деятельности является наука и деятельность ученого. Все остальные сферы человеческой деятельности Р. лишь в той мере, в какой они опираются на научные знания и методы. В настоящее время признано, что каждая область деятельности имеет свои стандарты Р., которые далеко не всегда совпадают с научными, поэтому можно говорить о Р. в искусстве, в политике, в управлении и т.д. Поэзия столь же Р., как и наука, но в ней иные стандарты Р.
РЕКУРСИВНОЕ ОПРЕДЕЛЕНИЕ (от лат. recurso – возвращаюсь) – метод определения арифметической функции φ(у) или предиката Р(у) через область значений этой функции или предиката. Примером Р. о. может быть определение функции сложения:
а + 0 = а, (1)
а + b'=(а+b)' (2)
В равенстве (1) говорится, что некоторое фиксированное число а (см.: Параметр) при прибавлении к нему нуля дает число а. В равенстве (2) говорится., что если к некоторому фиксированному числу а добавить число, следующее за некоторым фиксированным числом b (т.е. b', или число b+1), то эта сумма будет равна числу, следующему за суммой чисел а+b. Напр., если к числу 2 добавить число, следующее за числом 3, т.е. число 4, то этот же результат можно получить, сложив 2 и 3 и перейдя от полученной суммы к следующему за ней числу. Значение левой и правой частей равенства в данном случае равно 6. Такого рода функции позволяют вычислять значение суммы самых различных чисел. При этом осуществляется переход от некоторого числа n к следующему за ним (к n', или n+1), т.е. строится натуральный ряд чисел начиная с нуля. Допустим, нам требуется сложить 5 и 2. Тогда число 2 представим как следующее за 1, т. е. как 1'. Итак, имеем:
| а)5+2=5+1'=(5+1)' б)5+1=5+0'=(5 + 0)' | } | по равенству (2), |
| в) 5+0=5 – по равенству (1). | ||
Теперь будем возвращаться от равенства 5+0=5 (в) к равенству (б), а затем к равенству (а). Раз 5+0=5, то (5+0)'=6 (см. равенство (б)). Раз 5+1 равно 6, то (5+1)'=7 (см. равенство (а)). Итак, 5+2=7. В основе вычислимости арифметических функций, определяемых рекурсивно, лежит класс некоторых других функций, считающихся заданными с самого начала, которые называются примитивно-рекурсивными.
РЕЛЕВАНТНАЯ ЛОГИКА – одна из наиболее известных неклассических теорий логического следования. В названии «Р. л.» отражается стремление выделить и систематизировать только уместные (релевантные) принципы логики, исключив, в частности, парадоксы импликации, свойственные импликации материальной классической логики, строгой импликации и др. импликациям.
В Р. л. формальным аналогом условного высказывания является релевантная импликация, учитывающая содержательную связь, существующую между основанием (антецедентом) и следствием (консеквентом) такого высказывания. Выражение «Утверждение A релевантно имплицирует утверждение В» означает, что В содержится в A и информация, представляемая В, является частью информации A. В частности, A не может релевантно имплицировать В, если в В не входит хотя бы одно из тех утверждений, из которых слагается А.
В Р. л. не имеет места принцип, позволяющий из противоречия выводить какое угодно высказывание. Эта логика является, таким образом, одной из паранепротиворечивых логик, не отождествляющих противоречивость опирающихся на них теорий с их тривиальностью, т.е. с доказуемостью в них любого утверждения.
В Р. л. логически истинное высказывание невыводимо из произвольно взятого высказывания.
РЕФЕРЕНТ (от лат. refero – называть, обозначать) – объект, обозначаемый некоторым именем, то же, что и денотат. Напр., Р. выражения «первый космонавт» будет Юрий Гагарин (см.: Имя, Денотат).
РЕФЕРЕНЦИЯ – отношение между обозначаемым и обозначающим, между предметом и его именем. Отношение Р. изучается теорией референции – разделом логической семантики (см.: Имя, Денотат).
СВОЙСТВО – характеристика, присущая вещам и явлениям, позволяющая отличать или отождествлять их. Каждому предмету присуще бесчисленное количество свойств, которые делятся на существенные и несущественные, необходимые и случайные, общие и специфические и т.д.
В логике С. называют то, что обозначается одноместным предикатом, напр.: «... есть человек», «... есть зеленый» и т.п. При постановке на пустое место имени к.-л. объекта мы получаем истинное или ложное высказывание: «Сократ есть человек», «Снег зеленый».
СВЯЗКА – в традиционной логике элемент простого суждения, соединяющий субъект и предикат. В повседневном языке С. обычно выражается словами «есть», «суть», «является» и т.п., напр.: «Узбеки являются жителями Средней Азии». В обыденной речи С. часто опускается и приведенное выше предложение обычно выглядит так: «Узбеки живут в Средней Азии». Однако даже если С. не выражена каким-то специальным словом, она обязательно присутствуют в суждении. Напр., два понятия «город» и «населенный пункт» образуют суждение только после того, как их соединит С. «Город есть нfселенный пункт». Поэтому схематическое представление простого суждения включает в себя три элемента – субъект, предикат и связку: «5 есть Р». С. может быть утвердительной или отрицательной («есть» или «не есть»). Именно этим определяется качество простого суждения.
В символической логике пропозициональными связками называют логические союзы (операторы), с помощью которых из простых высказываний получают сложные высказывания. К ним обычно относят отрицание, конъюнкцию, дизъюнкцию, импликацию и т.п. Условия истинности сложных высказываний, содержащих пропозициональные связки, формулируются посредством таблиц истинности. (См.: Суждение.)
СЕМАНТИКА ЛОГИЧЕСКАЯ – раздел логики (металогики), исследующий отношение языковых выражений к обозначаемым объектам и выражаемому содержанию. Проблемы семантики обсуждались еще в античности, однако в качестве самостоятельной дисциплины она стала оформляться на рубеже XIX-XX вв. благодаря работам Ч. Пирса, Г. Фреге, Б. Рассела. Значительный вклад в разработку проблем С. л. внесли А. Тарский, Р. Карнап, У. Куайн, Дж. Кемени, К.И. Льюис, С. Крипке и др. В течение длительного времени С. л. ориентировалась преимущественно на анализ формализованных языков, однако в последние время больше исследований посвящается естественному языку.
В С. л. традиционно выделяют две области – теорию референции (обозначения) и теорию смысла. Теория референции исследует отношение языковых выражений к обозначаемым объектам, ее основными категориями являются: «имя», «обозначение», «выполнимость», «истинность», «интерпретация», «модель» и т.п. Теория референции служит основой теории доказательств в логике. Теория смысла пытается ответить на вопрос о том, что такое смысл языковых выражений, когда выражения являются тождественными по смыслу, как соотносятся смысл и денотат и т.п. Значительную роль в С. л. играет обсуждение семантических парадоксов, решение которых является важным критерием приемлемости любой семантической теории.
СЕМАНТИЧЕСКАЯ КАТЕГОРИЯ – класс языковых выражений, взаимная замена которых в предложении сохраняет его грамматический статус, т.е. предложение остается предложением. Если, напр., в предложении «Волга впадает в Каспийское море» слово «Волга» мы заменим словом «Нева», то получим хотя и ложное, но все-таки предложение. Это означает, что слова «Волга» и «Нева» принадлежат одной С. к. Но если вместо слова «Волга» мы поставим слово «меньше», то у нас окажется бессмысленный набор слов, следовательно, слова «Волга» и «меньше» принадлежат разным С. к.
Наиболее известную систему С. к. разработал польский логик К. Айдукевич (1890-1963). Исходными категориями его системы являются категории собственных имен (n) и высказываний (s). Предполагается, что каждое правильно построенное выражение языка может быть расчленено на функтор и его аргументы. Категория функтора определяется как дробь, в знаменателе которой стоят категории аргументов, а в числителе – категория выражения, образующегося в результате сочленения функтора с аргументами.
СЕМАНТИЧЕСКОЕ ПОНЯТИЕ ИСТИНЫ – классическое понятие истины, уточненное с помощью технических средств логической семантики. Это уточнение было осуществлено польским математиком и логиком А. Тарским в работе «Понятие истины в формализованных языках» (1935). Тарский исходит из классического представления об истине, согласно которому термин «истинно» выражает свойство нашего знания, в частности свойство высказываний, а не объективной действительности. Высказывание считается истинным тогда и только тогда, когда оно утверждает, что дела обстоят так-то и так-то, и дела действительно обстоят именно так. Напр., высказывание «Париж находится во Франции» истинно тогда и только тогда, если Париж находится во Франции; высказывание «Сахар растворим в воде» истинно тогда и только тогда, если сахар растворим в воде, и т.п. Подобного рода определения истинности отдельных высказываний Тарский обобщает в виде следующей схемы:
X истинно Р.
Для того чтобы получить определение истинности некоторого конкретного высказывания, на место Х в этой схеме нужно поставить кавычковое имя данного высказывания (т.е. высказывание в кавычках), а на место Р – само это высказывание, знак «=» означает «тогда и только тогда, когда». Напр.: «Снег бел» истинно тогда и только тогда, когда снег бел. Общее определение истины должно быть таким, чтобы ему соответствовали все конкретные случаи применения понятия «истинно», представленные приведенной схемой.
Тарский показал, однако, что для обычного естественного языка задача построения общего определения истины не может быть решена. Одной из причин этого является то обстоятельство, что в естественном языке имеются предложения, утверждающие собственную ложность (типа «Я лгу»). Попытка применить к ним термин «истинно» согласно приведенной схеме ведет к противоречию. Тарский считает, что это противоречие возникает благодаря «семантической замкнутости» естественного языка, т.е. благодаря тому, что в этот язык входят и предложения, и имена этих предложений, и семантические предикаты – «обозначать», «истинно», «выполнять» и т.п. Для устранения подобных парадоксов Тарский считает необходимым разделить язык на две части: объективный язык и метаязык. Определение истины должно формулироваться в метаязыке. В этом случае парадоксов не возникает.
С. п. и. не только является одним из основных понятий логической семантики, оно существенно уточняет и наше философское представление об истине.
СЕМИОТИКА – общая теория знаковых систем, к числу которых относятся как естественные языки, так и специальные языки конкретных наук, искусственные языки, сигнальные системы и т.п. Основы С. были заложены в трудах швейцарского лингвиста Ф. де Соссюра и амер. логика Ч. Пирса (конец XIX в.). Последующую разработку различных разделов С. осуществляли Ч. Моррис, А. Тарский, Р. Карнап и др.
С. выделяет 3 аспекта (уровня) исследований любой знаковой системы: 1) синтактика изучает формальную структуру знаков и их сочетаний, правила их образования и преобразования; 2) семантика основное внимание уделяет анализу значения и смысла языковых выражений; 3) прагматика исследует отношения между знаковыми системами и теми, кто их воспринимает, интерпретирует и использует.
СИЛЛОГИЗМ (от греч. sillogismos) категорический – дедуктивное умозаключение, в котором из двух суждений, имеющих субъектно-предикатную форму («Все S суть Р», «Ни одно S не есть Р», «Некоторые 5 суть Р», «Некоторые 5 не есть Р»), следует новое суждение (заключение), имеющее также субъектно-предикатную форму (см.: Суждение). Примером С. может быть:
| Все жидкости упруги. Ртуть – жидкость. | (1) | |
| Ртуть упруга. | | |