Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Osnovy_filosofii_uchebnik_dlya_bakalavrov

.pdf
Скачиваний:
34
Добавлен:
09.05.2015
Размер:
9.64 Mб
Скачать

Логика

1.ν(к, р) = 1, т. е допус­ ­ка­ет­ся, что каж­ ­дая атомар­ ­ная форму­ ­ ла истин­ ­на в произ­ ­воль­ном возмож­ ­ном мире­ к  К, но может­ быть также­ и ложной­ .

2.ν(к, А) = 1 ­ ν(К, А) = 0.

3. ν(к, А ­ В) = 1 ­ ν(к, А) = 1 и ν(к, В) = 1.

4.

ν(к, А ­ В) = 1 ­ ν(к, А) = 1 или ν(к, В) = 1.

5.

ν(к, А →­ В) = 1 ­ ν(к, А) = 0 или ν(к, В) = 1.

Опре­ ­де­лим истин­ ­но­ст­ное значе­ ­ние форму­ ­лы с модаль­ ­ны­ми опе­ рато­ ра­ ми­ .

6. ν(к, А) = 1 ­ кj К (если­ кRкj, то ν(кj, А) = 1), т. е фор­

мула­ А необ­ ­хо­ди­мо истин­ ­на в мире­ к тогда­ и только­ тогда­ , когда­

А истин­ ­на в каж­ ­дом мире­ кj из К, дости­ ­жи­мом из мира­ к.

6.1. ν(к, А) = 0 ­ кj

К (кRкj

и ν(кj, А) = 0).

7.

ν(к, ◊А) = 1 ­ кj

К (кRкj

и ν(кj, А) = 1).

7.1.

ν(к, ◊А) = 0 ­ кj

К (если­

кRкj, то ν(кj, А) = 0).

Определение 1. Форму­ ла­ назы­ ва­ ет­ ся­ обще­ зна­ чи­ мой­ , если­ она истин­ на­ в любой­ моде­ ли­ .

Класс М-моде­ лей­ , адек­ ват­ ных­ М-систе­ ме­ : моде­ ли­ , в кото­ рых­ отно­ ше­ ние­ меж­ ду­ мира­ ми­ имеет­ свойст­ во­ рефлек­ сив­ но­ сти­ . Слово­ адек­ ват­ ный­ здесь озна­ ча­ ет­ : моде­ ли­ , в кото­ рых­ дока­ зуе­ мые­ фор­ мулы­ обще­ зна­ чи­ мы­ .

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

ным обра­ зом­ : если­ к12 и к23, то к13.

Класс Br-моде­ лей­ , адек­ ват­ ных­ Вr-систе­ ме­ : моде­ ли­ , в кото­ рых­ отно­ ше­ ние­ меж­ ду­ мира­ ми­ имеет­ свойст­ ва­ симмет­ рич­ но­ сти­ и реф­ лексив­ но­ сти­ . Симмет­ рич­ ность­ отно­ ше­ ния­ R озна­ ча­ ет­ : к12, то

к21.

Класс S5-моде­ лей­ , адек­ ват­ ных­ S5-систе­ ме­ : моде­ ли­ , в кото­ ­ рых отно­ ше­ ние­ меж­ ду­ мира­ ми­ удовле­ тво­ ря­ ет­ свойст­ ву­ экви­ ­ валент­ но­ сти­ (т. е., рефлек­ сив­ но­ сти­ , симмет­ рич­ но­ сти­ , транзи­ ­ тивно­ сти­ ).

Метод­ поис­ ­ка контрмо­ ­де­ли для провер­ ­ки свойст­ ­ва «быть обще­ ­ значи­ ­мой» форму­ ­лой М, S4, Вr, S5-систем­ .

Фило­ ­соф­ские пробле­ ­мы возни­ ­ка­ют в пони­ ­ма­нии исход­ ­ных, т. е. неоп­ ­ре­де­ляе­мых, поня­ ­тий теории­ моде­ ­лей: «возмож­ ­ный мир», «ак­ туаль­ ­ный мир», «отно­ ­ше­ние дости­ ­жи­мо­сти».

161

Раздел­ I. Основы фундаментальной философии

Методические рекомендации

1.Обра­ ­тить внима­ ­ние на то, что модаль­ ­ные опера­ ­то­ры в рассмат­ ­ ривае­ ­мых систе­ ­мах не явля­ ­ют­ся функцио­ ­наль­но истин­ ­но­ст­ным.

2.Пока­ ­жи­те, что указан­ ­ное дедук­ ­тив­ное отно­ ­ше­ние меж­ ­ду сис­ тема­ ­ми имеет­ место­ . Для этого­ надо­ дока­ ­зать аксио­ ­мы тех систем­ , кото­ ­рые включе­ ­ны в другие­ систе­ ­мы.

3.Обра­ ­ти­те внима­ ­ние на особен­ ­но­сти опре­ ­де­ле­ния истин­ ­но­сти модаль­ ­ных формул­ .

4.Обду­ ­май­те фило­ ­соф­ский статус­ возмож­ ­ных миров­ .

Вопросы для самоконтроля

1.В чем разли­ ­чие меж­ ­ду модаль­ ­ны­ми логи­ ­че­ски­ми систе­ ­ма­ ми М, S4, Вr, S5?

2.Что озна­ ­ча­ет, что модаль­ ­ные опера­ ­то­ры в рассмат­ ­ри­вае­мых систе­ ­мах не явля­ ­ют­ся функцио­ ­наль­но истин­ ­но­ст­ным?

3.Что озна­ ­ча­ет, что класс моде­ ­лей (с указан­ ­ны­ми свойст­ ­вам) адек­ ­ва­тен соот­ ­вет­ст­вую­щей логи­ ­че­ской систе­ ­ме?

4.В чем вы види­ ­те фило­ ­соф­ские пробле­ ­мы, связан­ ­ные с мо­ дальны­ ­ми логи­ ­ка­ми?

Литература

1.Бежа­ ­ни­шви­ли М. Н.­ Логи­ ­ка модаль­ ­но­стей знания­ и мнения­ . М., 2007. Гл. 1, § 1, 2.

2.Костюк­ В. Н.­ Элемен­ ­ты модаль­ ­ной логи­ ­ки. Киев­ , 1978. Гл. 2.

3.Павлов­ В. Т., Ишму­ ­ра­тов А. Т., Омельян­ ­чик В. И.­ Модаль­ ­ная ло­ гика­ . Киев­ , 1982. Гл. 1–6.

4.Соло­ ­ду­хин О. А.­Два подхо­ ­да к пробле­ ­ме осно­ ­ва­ний логи­ ­че­ских мо­ дально­ ­стей // Логи­ ­ка и онто­ ­ло­гия. М., 1978. С. 128–158.

7.2 Трехзначная логика Я. Лукасевича

Поня­ ­тие много­ ­знач­ной логи­ ­ки. Имеет­ ­ся три наибо­ ­лее из­ вестные­ трехзнач­ ­ные логи­ ­ки: Бочва­ ­ра, Клини­ и Лука­ ­се­ви­ча. Трехзначная логи­ ­ка Лука­ ­се­ви­ча. Три истин­ ­но­ст­ных значе­ ­ния: исти­ ­на, ложь, неоп­ ­ре­де­лен­но (неде­ ­тер­ми­ни­ро­ва­но, возмож­ ­ны – другие­ назва­ ­ния третьего­ значе­ ­ния). Обосно­ ­ва­ние Лука­ ­се­ви­чем 3-го значе­ ­ния истин­ ­но­сти дано­ им в статье­ «О детер­ ­ми­низ­ме». Два аргу­ ­мен­та защит­ ­ни­ков тези­ ­са о детер­ ­ми­низ­ме: принцип­ при­ чинно­ ­сти и закон­ исклю­ ­чен­но­го третьего­ . Контрар­ ­гу­мен­ты Лука­ ­ севи­ ­ча. Нова­ ­тор­ская форму­ ­ли­ров­ка Лука­ ­се­ви­чем принци­ ­па ис­

162

Логика

ключен­ ­но­го третьего­ «Т(р) либо­ F(не-р)» и принци­ ­па двузнач­ ­но­ сти (бива­ ­лент­но­сти) – где Т, F – соот­ ­вет­ст­вен­но опера­ ­то­ры «ис­ тинно­ , что…» и «ложно­ , что...».

Дадим­ табли­ ­цы истин­ ­но­сти для трехзначной­ логи­ ­ки Лука­ ­се­ вича­ как надстрой­ ­ки над класси­ ­че­ски­ми табли­ ­ца­ми истин­ ­но­сти посред­ ­ст­вом добав­ ­ле­ния 3-го значе­ ­ния истин­ ­но­сти – неоп­ ­ре­де­ ленно­ . Класси­ ­че­ские значе­ ­ния истин­ ­но­сти будем­ обозна­ ­чать по­ средст­ ­вом «1» (истин­ ­но) и «0» (ложно­ ), а значе­ ­ние неоп­ ­ре­де­лен­ но – через­ «2».

А

 

А

 

А→В

1 2 0

 

А В

1 2 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

0

 

1

 

1

 

2

 

0

 

1

 

1

 

1

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

2

 

2

 

1

 

1

 

2

 

2

 

1

 

2

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

1

 

1

 

1

 

1

 

1

 

0

 

1

 

2

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

А В

1 2

 

0

 

А↔В

1 2

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

1

 

2

 

0

 

1

 

 

1

 

2

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

2

 

2

 

0

 

2

 

 

2

 

1

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

0

 

0

 

0

 

0

 

 

0

 

2

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Обра­ ­ти­те внима­ ­ние, что на класси­ ­че­ских значе­ ­ни­ях исти­ ­ны таб­ личное­ опре­ ­де­ле­ние логи­ ­че­ских связок­ совпа­ ­да­ет с опре­ ­де­ле­ни­ем в класси­ ­че­ской двухзнач­ ­ной логи­ ­ке. Это значит­ , что любая­ обще­ ­ значи­ ­мая форму­ ­ла трехзначной­ логи­ ­ки Лука­ ­се­ви­ча есть тавто­ ­ло­ гия и класси­ ­че­ской логи­ ­ки.

Определение 1.­ Обще­ ­зна­чи­мой форму­ ­лой трехзначной­ логи­ ­ки Лука­ ­се­ви­ча назы­ ­ва­ет­ся форму­ ­ла, кото­ ­рая при всевоз­ ­мож­ных рас­ преде­ ­ле­ни­ях значе­ ­ний истин­ ­но­сти по подфор­ ­му­лам данной­ форму­ ­ лы сама­ форму­ ­ла прини­ ­ма­ет значе­ ­ние исти­ ­на («1»), кото­ ­рое назы­ ­ вает­ ­ся выде­ ­лен­ным значе­ ­ни­ем.

Можно­ , постро­ ив­ табли­ цы­ истин­ но­ сти­ , прове­ рить­ , что в трехзнач­ ной логи­ ке­ Лука­ се­ ви­ ча­ закон­ исклю­ чен­ но­ го­ третьего­ А ­ А и за­ кон непро­ ти­ во­ ре­ чия­ ­(А ­ А) не явля­ ют­ ся­ тавто­ ло­ гия­ ми­ .

Отри­ ­ца­ние и импли­ ­ка­ция – исход­ ­ные логи­ ­че­ские опера­ ­ции в трехзначной­ логи­ ­ке Лука­ ­се­ви­ча. Опре­ ­де­ле­ние осталь­ ­ных опера­ ­ций осуще­ ­ст­в­ля­ет­ся следую­ ­щим обра­ ­зом:

163

Раздел­ I. Основы фундаментальной философии

А­ В = Df (А →­ В) →­ В.

А­ В = Df ­ ( А ­ В).

А↔­ В = Df (А →­ В) ­ (В →­ А).

Заме­ ча­ ние­ .­ В­ класси­ че­ ской­ логи­ ке­ дизъюнк­ ция­ опре­ де­ ля­ ет­ ся­ двумя­ спосо­ ба­ ми­ : через­ форму­ лу­ (А →­ В) →­ В или А →­ В. Од­ нако­ в трехзначной­ логи­ ке­ Лука­ се­ ви­ ча­ импли­ ка­ ция­ неоп­ ре­ де­ ли­ ­ ма через­ А →­ В. Заме­ тим­ также­ , что трехзначная­ логи­ ка­ Лука­ ­ севи­ ча­ не явля­ ет­ ся­ функцио­ наль­ но­ полной­ , т. е имеют­ ся­ функции­ трехзначной­ логи­ ки­ , кото­ рые­ невоз­ мож­ но­ опре­ де­ лить­ через­ логи­ ­ ческие­ связки­ трехзначной­ логи­ ки­ Лука­ се­ ви­ ча­ .

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

Аксиоматическая система

А1. (А →­ В) →­ ((В →­ С) →­ (А →­ С)). А2. А →­ (В →­ А).

А3. ( А →­ В) →­ (В →­ А). А4. ((А →­ А) →­ А) →А.

Правила вывода

П1. Модус­ поненс­ .

П2. Прави­ ло­ подста­ нов­ ки­ : если­ d­А (…В…), то dА (…В/С…), где В подфор­ му­ ла­ А, а В/С есть резуль­ тат­ заме­ ны­ каж­ до­ го­ вхож­ де­ ния­ подфор­ му­ лы­ В в форму­ лу­ А форму­ лой­ С.

Опре­ ­де­ле­ние дока­ ­за­тель­ст­ва­ и дока­ ­зуе­мой форму­ ­лы­ обычное­ .

Возмож­ ­но дать также­ таблич­ ­ное опре­ ­де­ле­ние модаль­ ­ных опера­ ­ торов­ «необ­ ­хо­ди­мо», «возмож­ ­но», «случай­ ­но» в трехзначной­ логи­ ­ке Лука­ ­се­ви­ча, но это уже функцио­ ­наль­но истин­ ­но­ст­ные опера­ ­то­ры. Модаль­ ­но­сти тако­ ­го типа­ исто­ ­ри­чи­ски не оправ­ ­да­лись.

Трехзначная­ логи­ ­ка Клини­ (1938): сильные­ логи­ ­че­ские связки­ . Трехзначная­ логи­ ­ка Бочва­ ­ра: внутрен­ ­ние и внешние­ логи­ ­че­ские связки­ . Взаимо­ ­от­но­ше­ния меж­ ­ду трехзначны­ ­ми логи­ ­ка­ми Лука­ ­ севи­ ­ча, Клини­ и Бочва­ ­ра.

Методические рекомендации

1. Убеди­ тесь­ , что форму­ лы­ А ­ А и ­ (А ­ А) не явля­ ют­ ся­ тавто­ ло­ гия­ ми­ .

164

Диалектика. Основные философские категории

2.Позна­ ­комь­тесь с трехзначны­ ­ми логи­ ­ка­ми Бочва­ ­ра и Клини­ .

3.Позна­ ­комь­тесь с модаль­ ­ны­ми теория­ ­ми Лука­ ­се­ви­ча по ука­ занной­ лите­ ­ра­ту­ре.

Вопросы для самоконтроля

1.Что озна­ ­ча­ет третье истин­ ­но­ст­ное значе­ ­ние «2» в трехзнач­ ной логи­ ­ке Лука­ ­се­ви­ча?

2.Сохра­ ­ня­ет­ся ли класси­ ­че­ский закон­ тож­ ­де­ст­ва в трехзнач­ ной логи­ ­ке Лука­ ­се­ви­ча?

3.Удовле­ ­тво­ря­ет ли аксио­ ­ма­ти­че­ская систе­ ­ма трехзначной­ ло­ гики­ Лука­ ­се­ви­ча мето­ ­до­ло­ги­че­ским теоре­ ­мам?

4.Чем отли­ ­ча­ет­ся трехзначная­ логи­ ­ка Лука­ ­се­ви­ча от трехзнач­ ных логик­ Бочва­ ­ра, Клини­ ?

Литература

1.Ивин А. А.­ Модаль­ ­ные теории­ Яна Лука­ ­се­ви­ча. М., 2001.

2.Карпен­ ­ко А. С.­Много­ ­знач­ные логи­ ­ки. Логи­ ­ка и компь­ ­ю­тер. Вып. 4.

М., 1997. Гл. 2.

ДИАЛЕКТИКА. ОСНОВНЫЕ ФИЛОСОФСКИЕ КАТЕГОРИИ

Данная­ часть раздела наце­ лена­ на приве­ де­ ние­ в систе­ му­ изучен­ ных­ предварительно класси­ че­ ских­ фило­ соф­ ских­ предме­ ­ тов, что явля­ ет­ ся­ необ­ хо­ ди­ мым­ усло­ ви­ ем­ форми­ ро­ ва­ ния­ фило­ ­ софа­ ex­ professo. Фило­ со­ фия­ , при всех вариа­ ци­ ях­ толко­ ва­ ния­ ее специ­ фи­ ки­ , имеет­ предме­ том­ всеоб­ щее­ как тако­ вое­ , кото­ рое­ раскры­ ва­ ет­ ся­ в разли­ чи­ ях­ кате­ го­ рий­ . В исто­ рии­ класси­ че­ ской­ фило­ со­ фии­ попыт­ ки­ систе­ ма­ ти­ за­ ции­ всех кате­ го­ рий­ предпри­ ­ нима­ лись­ , начи­ ная­ с Аристо­ те­ ля­ . Но наибо­ лее­ гибким­ , объ­ емлю­ щим­ и откры­ тым­ разви­ тию­ вари­ ан­ том­ такой­ систе­ ма­ ти­ ­ зации­ явля­ ет­ ся­ геге­ лев­ ская­ диалек­ ти­ ка­ . После­ Геге­ ля­ , кото­ ­ рый был особой фигу­ рой­ , верши­ ной­ и завер­ ше­ ни­ ем­ класси­ че­ ­ ского­ перио­ да­ , усилия­ , связан­ ные­ с упоря­ до­ че­ ни­ ем­ фило­ соф­ ­ ского­ инст­ ру­ мен­ та­ рия­ , если­ и предпри­ ни­ ма­ лись­ , то были­ ско­ рее бунтом­ против­ систе­ мы­ и уходом­ от фило­ соф­ ст­ во­ ва­ ния­ в формах­ кате­ го­ рий­ (напри­ мер­ , экзи­ стен­ циа­ лы­ у М. Хайдег­ ге­ ра­ ). Поэто­ му­ канвой­ , орга­ ни­ зую­ щей­ систе­ ма­ ти­ че­ ское­ изуче­ ние­ ос­ новных­ фило­ соф­ ских­ кате­ го­ рий­ в данном­ курсе­ явля­ ет­ ся­ «Ма­

165

Раздел­ I. Основы фундаментальной философии

лая логи­ ­ка» Геге­ ­ля, кото­ ­рая и самим­ Геге­ ­лем замыс­ ­ли­ва­лась как учебник­ для студен­ ­тов.

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

Совре­ ­мен­ное Геге­ ­лю состоя­ ­ние мысли­ харак­ ­те­ри­зу­ет­ся субъект­ - объект­ ­ной оппо­ ­зи­ци­ей как спосо­ ­бом фило­ ­соф­ско­го вопро­ ­ша­ния, и это дела­ ­ет замет­ ­ной «трещи­ ­ну» в антич­ ­ном пони­ ­ма­нии всеоб­ ­ще­го как бытия­ -мышле­ ­ния. Именно­ опре­ ­де­ле­ние бытия­ как мышле­ ­ния обна­ ­ру­жи­ва­ет мнимость­ его моно­ ­лит­но­сти, оказы­ ­ва­ет­ся заро­ ­ды­ше­ вой формой­ всех дальней­ ­ших фило­ ­соф­ских проблем­ .

Убедить­ ся­ в этом Геге­ лю­ позво­ ли­ ло­ просле­ жи­ ва­ ние­ исто­ ри­ че­ ­ ского­ разви­ тия­ евро­ пей­ ской­ фило­ со­ фии­ , чему­ посвя­ ще­ на­ его «Ис­ тория­ фило­ со­ фии­ ». Но наша­ зада­ ча­ огра­ ни­ чи­ ва­ ет­ ся­ систе­ ма­ ти­ че­ ­ ским ракур­ сом­ предме­ та­ , так что для наших­ целей­ доста­ точ­ но­ выявить­ те связи­ , кото­ рые­ уста­ нав­ ли­ ва­ ют­ ся­ в разви­ том­ состоя­ ­ нии систе­ мы­ , в ново­ ев­ ро­ пей­ ской­ фило­ со­ фии­ , где фило­ со­ фия­ при­ нима­ ет­ вид теории­ познаю­ ще­ го­ мышле­ ния­ . Но мышле­ ние­ в каче­ ­ стве­ предме­ та­ логи­ ки­ Гегель­ впервые­ дела­ ет­ пробле­ мой­ , нахо­ дя­ , что «мышле­ ние­ о мышле­ нии­ (т. е. логи­ ка­ ) отста­ ло­ от мышле­ ния­ о всем прочем­ , т. е. от мышле­ ния­ , кото­ рое­ реали­ зу­ ет­ ся­ … в виде­ все­ го орга­ низ­ ма­ циви­ ли­ за­ ции­ … Если­ принять­ на веру­ , что чело­ ве­ че­ ­ ское мышле­ ние­ и в самом­ деле­ руко­ во­ дству­ ет­ ся­ теми­ прави­ ла­ ми­ , …сово­ куп­ ность­ кото­ рых­ состав­ ля­ ет­ тради­ ци­ он­ ную­ логи­ ку­ , то все успе­ хи­ науки­ и практи­ ки­ стано­ вят­ ся­ попро­ сту­ необъ­ яс­ ни­ мы­ ми­ ». Поэто­ му­ и возник­ ла­ зада­ ча­ привес­ ти­ в соот­ вет­ ст­ вие­ логи­ че­ ский­ «портрет­ » мышле­ ния­ с его ориги­ на­ лом­ , т. е. зано­ во­ и непред­ взя­ то­ постро­ ить­ логи­ ку­ – науку­ о познаю­ щем­ мышле­ нии­ , в кото­ рой­ его опре­ де­ ле­ ния­ – кате­ го­ рии­ – выво­ ди­ лись­ бы систе­ ма­ ти­ че­ ски­ .

Логи­ ­ка, следо­ ­ва­тель­но, хочет­ полу­ ­чить все харак­ ­те­ри­сти­ки мышле­ ­ния имма­ ­нент­ным обра­ ­зом, и пото­ ­му иссле­ ­ду­ет мышле­ ­ ние в чистой­ стихии­ мышле­ ­ния.

166

Диалектика. Основные философские категории

Посколь­ ­ку логика состав­ ­ля­ет абсо­ ­лют­ное нача­ ­ло систе­ ­мы на­ ук – у нее есть специ­ ­фи­че­ские трудно­ ­сти, отли­ ­чаю­щие ее от дру­ гих наук­ (во време­ ­на синер­ ­ге­ти­ки, впрочем­ , оказа­ ­лось, что спе­ цифи­ ­ка эта харак­ ­те­ри­зу­ет облик­ всей пост­ ­не­клас­си­че­ской науки­ , ведь в ней отнюдь­ не только­ мышле­ ­ние предста­ ­ет как само­ ­ор­га­ни­ зующая­ ­ся цело­ ­ст­ность, но и любая­ ее предмет­ ­ность): логи­ ­ка долж­ на решить­ пробле­ ­му нача­ ­ла. Пробле­ ­ма состо­ ­ит в том, что фило­ ­со­ фия не может­ заим­ ­ст­во­вать исход­ ­ных поло­ ­же­ний из других­ наук­ , но не может­ также­ и брать их непо­ ­сред­ст­вен­но на веру­ , должна­ снимать­ свои предпо­ ­сыл­ки, т. е. содер­ ­жать дока­ ­за­тель­ст­во всех своих­ поло­ ­же­ний, «без чего­ невоз­ ­мож­на науч­ ­ная фило­ ­со­фия». Опора­ на столь скудную­ кате­ ­го­рию, как непо­ ­сред­ст­вен­ность, «дела­ ­ет зако­ ­ном прими­ ­тив­ность мысли­ », пустое­ резо­ ­нер­ст­во, вы­ хваты­ ­ваю­щее по произ­ ­во­лу из содер­ ­жа­ния предме­ ­та один из мо­ ментов­ , выда­ ­вая его за целое­ . Поэто­ ­му не должно­ удивлять­ , что указан­ ­ный способ­ мысли­ прихо­ ­дит к отри­ ­ца­тель­но­му резуль­ ­та­ ту, откры­ ­вая, «что на пути­ конеч­ ­но­го позна­ ­ния невоз­ ­мож­но опо­ средст­ ­во­ва­ние с исти­ ­ной». Это очень важный­ резуль­ ­тат, но кон­ стата­ ­ция недос­ ­та­точ­но­сти привыч­ ­ных рассуд­ ­ку конеч­ ­ных кате­ ­го­ рий, обиход­ ­но­го логи­ ­че­ско­го аппа­ ­ра­та приве­ ­ла Геге­ ­ля не к убеж­ ­ дению­ в невоз­ ­мож­но­сти познать­ объек­ ­тив­ную исти­ ­ну, а к выво­ ­ ду о том, что имеющий­ ­ся в нали­ ­чии логи­ ­че­ский арсе­ ­нал, поня­ ­ тие о познаю­ ­щем мышле­ ­нии, нуж­ ­да­ет­ся в пере­ ­ра­бот­ке, не дол­

жен больше­ некри­ ­ти­че­ски заим­ ­ст­во­вать­ся из тради­ ­ции. Отно­ ­си­тель­но приро­ ­ды и опре­ ­де­лен­но­сти мышле­ ­ния и его форм

должен­ быть преж­ де­ всего­ постав­ лен­ вопрос­ , отку­ да­ они берут­ ся­ и поче­ му­ именно­ тако­ вы­ . Для этого­ позна­ нию­ , кото­ рое­ не хочет­ быть сбито­ с толку­ скепси­ сом­ и сохра­ ня­ ет­ «неуст­ ра­ ши­ мую­ волю­ к исти­ не­ » необ­ хо­ ди­ мо­ отреф­ лек­ ти­ ро­ вать­ не всегда­ явные­ предпо­ ­ сылки­ наив­ но­ го­ , тради­ ци­ он­ но­ -мета­ фи­ зи­ че­ ско­ го­ пони­ ма­ ния­ мыш­ ления­ , соглас­ но­ кото­ ро­ му­ послед­ нее­ есть одна­ из психо­ ло­ ги­ че­ ­ ских способ­ но­ стей­ (наря­ ду­ с чувст­ вом­ , вооб­ ра­ же­ ни­ ем­ , памя­ тью­ , волей­ …). В этой связи­ Гегель­ разби­ ра­ ет­ два предше­ ст­ вую­ щих­ его собст­ вен­ но­ му­ спосо­ ба­ пони­ ма­ ния­ отно­ ше­ ния­ мысли­ к объек­ тив­ ­ ности­ (спосо­ ба­ реше­ ния­ субъект­ -объект­ ной­ оппо­ зи­ ции­ ).

Первое­ отно­ ­ше­ние мысли­ к объек­ ­тив­но­сти – мета­ ­фи­зи­че­ское – присту­ ­па­ет к предме­ ­ту позна­ ­ния с наив­ ­ным опти­ ­миз­мом, пони­ ­ мая под субъек­ ­том изоли­ ­ро­ван­ное «Я», разум­ ­ное по приро­ ­де; под предме­ ­том – приро­ ­ду, устро­ ­ен­ную разум­ ­но. В силу­ их, по суще­ ­ст­

167

Раздел­ I. Основы фундаментальной философии

ву, тож­ де­ ст­ вен­ но­ сти­ , способ­ их объе­ ди­ не­ ния­ не кажет­ ся­ пробле­ мой­

ивысту­ ­па­ет как непо­ ­сред­ст­вен­ное созер­ ­ца­ние. Поня­ ­тие о предме­ ­те здесь обра­ ­зу­ет­ся как отвле­ ­че­ние от сходно­ ­го в созер­ ­цае­мых вещах­ , так что в этой гносео­ ­ло­ги­че­ской пира­ ­ми­де «видеть­ – значит­ знать». Одна­ ­ко эволю­ ­ция этой уста­ ­нов­ки пока­ ­за­ла, что поня­ ­тия, добы­ ­тые таким­ путем­ , оста­ ­ют­ся чисто­ субъек­ ­тив­ны­ми построе­ ­ния­ми, кото­ ­ рые не имеют­ ника­ ­кой связи­ с объек­ ­том, и поэто­ ­му всегда­ под уг­ розой­ опытно­ ­го опро­ ­вер­же­ния, да и без тако­ ­го опро­ ­вер­же­ния га­ ранти­ ­ро­вать их связь с внешним­ объек­ ­том может­ только­ Бог. А это сооб­ ­ра­же­ние опро­ ­ки­ды­ва­ет само­ осно­ ­ва­ние науч­ ­ной точки­ зрения­ , в кото­ ­рой «Я» – единст­ ­вен­ное мери­ ­ло всякой­ исти­ ­ны.

Эта крити­ ­че­ская для науки­ ситуа­ ­ция вызва­ ­ла к жизни­ вто­ рое отно­ ­ше­ние мысли­ к объек­ ­тив­но­сти – крити­ ­че­скую фило­ ­со­ фию, кото­ ­рая сдела­ ­ла отсю­ ­да надле­ ­жа­щий вывод­ , что чувст­ ­ва

ирассу­ ­док непо­ ­сред­ст­вен­но не соот­ ­но­сят­ся, и «видеть­ » не зна­ чит «знать», а реше­ ­ние вопро­ ­са об отно­ ­ше­нии субъек­ ­та к вещи­ вне его поста­ ­ви­ла в зави­ ­си­мость от того­ , какой­ найдет­ ­ся способ­ восста­ ­но­вить единст­ ­во оказав­ ­ше­го­ся таким­ обра­ ­зом разо­ ­рван­ ным субъек­ ­та.

И. Кант нашел­ способ­ объе­ ­ди­нить позна­ ­ва­тель­ные способ­ ­но­ сти субъек­ ­та, но объе­ ­ди­не­ние теперь­ было­ возмож­ ­но не как непо­ ­ средст­ ­вен­ное, а как опосред­ ­ст­во­ва­ние эмпи­ ­ри­че­ско­го уровня­ чув­ ствен­ ­но­сти и рассуд­ ­ка их трансцен­ ­ден­таль­ным уровнем­ , на ко­ тором­ чувст­ ­во предста­ ­ет как актив­ ­ность, проте­ ­каю­щая во всеоб­ ­ щих формах­ – простран­ ­ст­ве и време­ ­ни; рассу­ ­док, кото­ ­рый рань­ ше высту­ ­пал только­ как формаль­ ­ное отожде­ ­ст­в­ле­ние чего­ угод­ но, оказал­ ­ся деятель­ ­но­стью сведе­ ­ния много­ ­об­ра­зия в систе­ ­ма­ти­че­ ское единст­ ­во, проте­ ­каю­щей в кате­ ­го­ри­ях (тех самых­ , что преж­ ней мета­ ­фи­зи­кой прини­ ­ма­лись за наибо­ ­лее общие­ опре­ ­де­ле­ния вещей­ ). Правда­ , способ­ той деятель­ ­но­сти, кото­ ­рая актуа­ ­ли­зи­ру­ ет эту способ­ ­ность в субъек­ ­те, напол­ ­няя ее чувст­ ­вен­ным содер­ ­ жани­ ­ем, оста­ ­ет­ся тайной­ , слепым­ произ­ ­во­лом вооб­ ­ра­же­ния. Это не случай­ ­но: Канта­ смути­ ­ло то глубо­ ­ко обосно­ ­ван­ное им обстоя­ ­ тельст­ ­во, что цело­ ­куп­ная актуа­ ­ли­за­ция логи­ ­че­ских форм обна­ ­ ружи­ ­ва­ет их как само­ ­про­ти­во­ре­чи­вые. То есть в проти­ ­во­по­лож­ ность прежней­ догма­ ­ти­че­ской мета­ ­фи­зи­ке, кото­ ­рая из двух про­ тиво­ ­по­лож­ных утвер­ ­жде­ний могла­ призна­ ­вать только­ одно­ (на­ пример­ , мир или коне­ ­чен, или беско­ ­не­чен, все в приро­ ­де – толь­ ко необ­ ­хо­ди­мо, случай­ ­ность есть лишь плод наше­ ­го незна­ ­ния,

168

Диалектика. Основные философские категории

дух же, напро­ тив­ , всеце­ ло­ свобо­ ден­ и т. д.), Кант пока­ зал­ , что отно­ си­ тель­ но­ любо­ го­ чувст­ вен­ но­ го­ содер­ жа­ ния­ рассу­ док­ может­ выстро­ ить­ два взаимо­ ис­ клю­ чаю­ щих­ и при этом равно­ аргу­ мен­ ­ тиро­ ван­ ных­ поло­ же­ ния­ . Реаль­ ное­ сово­ куп­ ное­ движе­ ние­ науч­ но­ ­ го позна­ ния­ именно­ и проис­ хо­ дит­ как борьба­ теорий­ , отстаи­ ваю­ ­ щих в себе­ непро­ ти­ во­ ре­ чи­ вые­ , но исклю­ чаю­ щие­ друг друга­ по­ зиции­ . Описан­ ное­ обстоя­ тель­ ст­ во­ не случай­ но­ , не плод ошибки­ или неряш­ ли­ во­ сти­ ученых­ , а имеет­ осно­ ва­ ни­ ем­ приро­ ду­ наше­ го­ интел­ лек­ та­ – пара­ док­ саль­ ным­ обра­ зом­ оказы­ ваю­ ще­ го­ ся­ в силу­ этого­ чем-то недос­ туп­ ным­ рацио­ наль­ но­ му­ (т. е. руко­ во­ дствую­ ще­ ­ муся­ зако­ на­ ми­ тради­ ци­ он­ ной­ логи­ ки­ , преж­ де­ всего­ зако­ ном­ за­ прета­ проти­ во­ ре­ чия­ ) позна­ нию­ .

Если­ Кант оста­ но­ вил­ ся­ на этом отри­ ца­ тель­ ном­ резуль­ та­ те­ , то Гегель­ , продол­ жая­ дело­ крити­ ки­ самих­ форм позна­ ния­ , поста­ вил­ вопрос­ о право­ мер­ но­ сти­ припи­ сы­ ва­ ния­ мышле­ нию­ в каче­ ст­ ве­ за­ кона­ этого­ пресло­ ву­ то­ го­ запре­ та­ проти­ во­ ре­ чия­ .

В самом­ деле­ , если­ вся предше­ ­ст­вую­щая логи­ ­че­ская тради­ ­ ция рассмат­ ­ри­ва­ет мышле­ ­ние не иначе­ как психо­ ­ло­ги­че­скую спо­ собность­ , всегда­ доступ­ ­ную в чистом­ виде­ только­ в языке­ , как внутрен­ ­нюю речь, то как отде­ ­лить собст­ ­вен­ную опре­ ­де­лен­ность мышле­ ­ния от опре­ ­де­лен­но­сти совсем­ другой­ реаль­ ­но­сти – язы­ ка? Их и не разде­ ­ля­ли, но ведь не только­ в гово­ ­ре­нии чело­ ­век прояв­ ­ля­ет себя­ как мысля­ ­щее суще­ ­ст­во, но во всяком­ опред­ ­ме­ чива­ ­нии своего­ духа­ , в созда­ ­нии всего­ предмет­ ­но­го тела­ своей­ культу­ ­ры. Если­ принять­ это во внима­ ­ние, появ­ ­ля­ет­ся возмож­ ­ ность сравнить­ разные­ предмет­ ­ные вопло­ ­ще­ния мышле­ ­ния и ус­ тано­ ­вить его собст­ ­вен­ную опре­ ­де­лен­ность, в отли­ ­чие от опре­ ­де­ ленно­ ­сти тел его носи­ ­те­лей как инва­ ­ри­ант. И этим инва­ ­ри­ан­том не может­ больше­ быть закон­ запре­ ­та проти­ ­во­ре­чия. Мышле­ ­ние при таком­ пони­ ­ма­нии представ­ ­ля­ет собой­ «реаль­ ­ное мышле­ ­ние», нахо­ ­дя­щее­ся вне голо­ ­вы непо­ ­сред­ст­вен­ных инди­ ­ви­дов, т. е. со­ вокуп­ ­ный разде­ ­лен­ный труд. Предмет­ этой деятель­ ­но­сти явля­ ­ ется­ всеоб­ ­щим, обяза­ ­тель­ным для всех, объек­ ­тив­ным не пото­ ­му, что инди­ ­ви­ды, его пола­ ­гаю­щие, дейст­ ­ву­ют одина­ ­ко­во (как было­ у Канта­ , где от их множе­ ­ст­вен­но­сти можно­ было­ отвлечь­ ­ся, ос­ тавив­ одно­ ­го – трансцен­ ­ден­таль­но­го – субъек­ ­та), а пото­ ­му, что этот предмет­ связу­ ­ет их спосо­ ­бы дейст­ ­вий как разные­ и проти­ ­ вопо­ ­лож­ные (напри­ ­мер, в единой­ деятель­ ­но­сти инди­ ­ви­ды проти­ ­ вопо­ ­ла­га­ют­ся как госпо­ ­дин и раб, как муж и жена­ , как учитель­

169

Раздел­ I. Основы фундаментальной философии

иученик­ и т. д.). Предмет­ оказы­ ­ва­ет­ся, следо­ ­ва­тель­но, столь же субъек­ ­тив­но поло­ ­жен­ным объек­ ­том, сколь и суве­ ­рен­ной вещью­ , от созна­ ­ния инди­ ­ви­да как тако­ ­во­го не зави­ ­ся­щей.

Реаль­ ­ное мышле­ ­ние – это уже не одна­ из психи­ ­че­ских спо­ собно­ ­стей инди­ ­ви­да, а то, что «деятель­ ­но во всем чело­ ­ве­че­ском

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

Указан­ ­ная опре­ ­де­лен­ность дела­ ­ет мышле­ ­ние субъек­ ­том само­ ­ разви­ ­тия, т. е. реаль­ ­но­стью, кото­ ­рая сама­ себя­ опре­ ­де­ля­ет, уд­ ваивая­ себя­ , делая­ себя­ своим­ собст­ ­вен­ным предме­ ­том, лишь че­ рез такое­ опосред­ ­ст­во­ва­ние смыка­ ­ясь с собой­ в поня­ ­тии о себе­ , т. е. узна­ ­вая себя­ в своем­ предме­ ­те.

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

­ – нача­ ­лом этого­ ­предме­ ­та, так что все его опре­ ­де­ле­ния должны­ быть полу­ ­че­ны только­ как резуль­ ­тат имма­ ­нент­ной игры­ его сил, так, как если­ бы ниче­ ­го кроме­ этого­ предме­ ­та не суще­ ­ ство­ ­ва­ло вовсе­ ;

­ – абсо­ ­лют­но полной­ абст­ ­рак­ци­ей от его специ­ ­фи­ки, от всех кон­ кретных­ опре­ ­де­ле­ний, кото­ ­рые всегда­ имеют­ силу­ только­ со­ отно­ ­си­тель­но с други­ ­ми и кото­ ­рые поэто­ ­му не могут­ быть за­ ранее­ припи­ ­са­ны предме­ ­ту как цело­ ­му.

Таким­ обра­ ­зом, мы должны­ взять в рассмот­ ­ре­ние мышле­ ­ние как совер­ ­шен­но чистое­ бытие­ , кото­ ­рое, как лишен­ ­ное всяко­ ­го со­ держа­ ­ния, столь же есть полное­ ничто­ ­ всякой­ опре­ ­де­лен­но­сти.

Но бытие­ не только­ есть ничто­ , но и состав­ ­ля­ет проти­ ­во­по­лож­ ность ничто­ , значит­ , не есть ничто­ , поэто­ ­му они суть одно­ , но не как спокой­ ­ное тож­ ­де­ст­во, а как неис­ ­тин­ные, снимаю­ ­щие сами­ се­

170

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]