15
Июл

ЛОГИКА

  Автор: admin   , категория Лекции

ваемого логического атомизма, одной из разновидностей неопозитивизма.
«Если бы вам были известны все атомарные факты, а также то, что это все
факты, то вы, — утверждал Б. Рассел, — были бы в состоянии вывести все
прочие (т. е. кроме тех предложений, в которых зафиксированы атомарные
факты. — Ред.) истинные предложения только с помощью логики»’.

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

Говоря в целом, истоки символической логики таковы:

— естественная эволюция языка традиционной логики по направле-
нию к особому искусственному языку;

— влияние на этот процесс более развитого математического языка;

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

Формализованный язык логики существует в двух вариантах: язык ло-
гики высказываний и язык логики предикатов. Чем они отличаются друг
от друга, мы рассмотрим ниже. Сначала охарактеризуем язык логики выс-
казываний.

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

‘Цит. по Современная буржуазная философия. М., 1972, с. 372.

152

правил построения формул из этих символов. Алфавит состоит из 1) зна-
ков элементарных высказываний, т. е. букв, которыми заменяются поня-
тия или суждения, подобно тому как в алгебре буквами заменяются чис-
ла, 2) знаков логических связок или союзов (мы их уже приводили) и
3) технических знаков (каковыми являются различные скобки).

«Выработанный новейшей формальной логикой язык символов, — пи-
сал в свое время В. Ф. Асмус, — напоминает некоторыми чертами так
называемое идеографическое письмо, но отличается от него следующими
двумя признаками: во-первых, знаки, используемые логикой, имеют зна-
чение более точное, чем в обычном языке, и во-вторых, принятое новей-
шей логикой «исчисление» дает простые и совершенно точные правила
логических действий»’. То есть формализованный язык логики напомнил
В. Ф. Асмусу иероглифы. Но, впрочем, сейчас этот язык еще мало похож
на «китайскую грамоту». Пока понятия в нем обозначаются буквами для
каждого данного случая произвольно. Но не исключено, что в дальней-
шем наиболее употребительные понятия получат свои особые индивиду-
альные знаки. Тогда действительно язык логики будет своего рода иерог-
лифами.

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

1. «Если вещи вовсе неспособны быть объектом чьей-либо собственно-
сти или, будучи таким объектом, объявлены по закону неотчуждаемыми,
они считаются изъятыми из оборота».

Обозначим: А — вещи вовсе неспособные быть объектом чьей-либо
собственности;

В — вещи являются таким объектом;

С — вещи объявлены по закону неотчуждаемыми;

D — вещи считаются изъятыми из оборота.
И в целом: ((A v (В & С)) -> D).

2. «Если дерево познают по плодам, а плоды по дереву, то этот Фаль-
стаф, по-моему, в высшей степени добродетельный человек».

Страницы: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96

Запись оставлена Воскресенье, Июль 15th, 2012 в 8:47 пп в категории Лекции. Вы можете следить за комментариями по RSS 2.0 комментариям. Комментарии и пинги закрыты, извините.

Комментарии закрыты.