Главная > Р - видеть сон > Какой вид суждений кант считает фундаментом науки. Учение канта о знании

Какой вид суждений кант считает фундаментом науки. Учение канта о знании

Я присутствую на небольшом собрании философов и приглашенных ораторов в моем местном городе, где нам иногда везет на то, чтобы пригласить профессора из какого-нибудь университета или колледжа приехать на гостевые лекции.

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

Он много говорил о Канте и различении Канта между аналитическими и синтетическими суждениями.

Я собирался спросить его об этом во время нашего обсуждения в конце его выступления, но, учитывая, что мне пришлось уйти, я попрошу вас, замечательные люди, вместо этого:

У него был слайд со следующими пунктами:

Аналитическая априори
Аналитический апостериорный
Синтетический априори
Синтетический апостериорный

Но я так и не понял, что это было и / или разницу между ними.

Может ли кто-нибудь любезно объяснить это мне, чтобы я не выглядел дураком на следующей неделе?

ViRALiC

@MauroALLEGRANZA В этой статье объясняется различие между аналитическим и синтетическим, но не между аналитическим априорным и аналитическим апостериорным, например. Если вы понимаете разницу, не могли бы вы объяснить это мне?

Мауро АЛЛЕГРАНЗА

Класс аналитического апостериорного пуст. Синтетический апостериорный является «стандартным» эмпирическим знанием; Своеобразный кантовский вклад связан с синтетическим априором , который является основой арифметики и геометрии. См. Иммануил Кант: Метафизика : «В аналитическом утверждении предикат содержится в субъекте. В утверждении« Каждое тело занимает пространство »свойство занимать пространство раскрывается в анализе того, что значит быть телом. " 1/3

Мауро АЛЛЕГРАНЗА

«Тем не менее, предмет синтетического утверждения не содержит предиката. В« Это дерево имеет высоту 120 футов », концепции синтезируются или объединяются, чтобы сформировать новое утверждение, которое не содержится ни в одном из отдельных понятий. Эмпирики не смогли доказать синтетические априорные утверждения типа «Каждое событие должно иметь причину», потому что они объединили «синтетическое» и «апостериорное», а также «аналитическое» и «априорное». Тогда они предположили что две результирующие категории были исчерпывающими ". 2/3

Ответы

Квентин Руянт

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

Это синтетически, если правда или ложь в силу мира. Противоречие синтетической истины является значимым (хотя и ложным). Пример: кровь человека красная. Джон холостяк

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

Интуитивно кажется, что аналитика и априори сходятся, а синтетическая и апостериорная тоже. Вам не нужен опыт, если на карту поставлено только значение, иначе вам нужен вклад мира. Кант, однако, предположил, что некоторые математические и метафизические утверждения априори синтетичны, априори, потому что они известны только интуицией, но синтетичны, потому что их противоречие не абсурдно. Пример: аксиомы евклидовой геометрии. Можно сформулировать непротиворечивую неевклидову геометрию, но аксиомы Евклида верны в силу физического пространства и известны априори (потому что, согласно Канту, пространство является условием опыта).

Это предположение было оспорено впоследствии (в частности, евклидова геометрия не является геометрией физического пространства, поэтому математические аксиомы могут быть чисто лингвистическими соглашениями).

Наконец Куайн оспорил аналитическое синтетическое различие на том основании, что нельзя четко различить лингвистические и фактические компоненты предложения. Куайн считал, что априорного значения не существует.

Третья важная связанная с этим дихотомия - это необходимость / случайность. Традиционно, эмпирики объединяют аналитику и необходимость, но Крипке бросил вызов этому (он полагает, что некоторые метафизические потребности являются синтетическими, такими как атомный номер золота).

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

Квентин Руянт

Я не согласна Крипке привел пример апостериорной необходимости, а не анализа . Логические эмпирики объединили два, но не Крипке. Пример единицы измерения, которую я привел в своем ответе, на самом деле является случаем априорной непредвиденной ситуации, но я думаю, что для Крипке аналитичность и априори идут вместе.

СИНТЕТИЧЕСКИЕ СУЖДЕНИЯ - тип суждений, противопоставляемых аналитическим суждениям. Предпосылки к данному различению в неявном виде имелись уже у Г. Лейбница, различавшего истины разума и истины факта, а кроме того - значимость во всех возможных мирах или только в некоторых. Тем не менее, несмотря на более высокую оценку синтеза, нежели анализа, Лейбниц был убежден в аналитичности всякой истины и в этой аналитичности видел критерий истины; однако при этом Лейбниц проводил различие между конечной и бесконечной аналитичностью: первая неприложима к истинам факта. В отчетливой форме как терминология, так и сама проблематика С. с. сложилась в критической философии И. Канта. Хотя Кант и не обошел стороной связь анализа и истины («трансцендентальная аналитика» как «логика истины»), он отошел от отождествления аналитичности и истины и противопоставил С. с. аналитическим на остове отношения субъекта и предиката суждения: «аналитические - это те суждения, в которых связь предиката с субъектом мыслится через тождество; а те суждения, которых эта связь мыслится без тождества, должны называться синтетическими» (Кант И. Критика чистого разума. М., 1994. С. 37). В отличие от аналитических, или пояснительных, суждений, не несущих нового знания, Кант считал С. с, или расширяющие суждения, особо ценными, ибо лишь они приносят новое знание. И если все аналитические суждения оказываются априорными, то С. с. подразделяются Кантом на априорные и апостериорные. Под априорностью же Кант понимал безусловную независимость от всякого опыта, а ее критериями - необходимость и строгую всеобщность (см.: Там же. С 33). Несмотря на возможные толкования, безусловную независимость априорного суждения от опыта Кант понимал преимущественно в смысле значимости, а не в смысле происхождения. К апостериорно-синтетическим суждениям Кант отнес эмпирические, или опытные, суждения: «Все эмпирические суждения, как таковые, синтетические» (Там же. С. 37). Однако главный интерес для Канта представляли априорно-синтетические суждения, а вопрос «как возможны априорно-синтетические суждения?» (Там же. С. 41) он представил как главный вопрос «Критики чистого разума». Обоснование подобных суждений Кант попытался дать в своей критической философии, причем при этом он отнес к ним не только принципы чистого естествознания, но и, вопреки влиятельной традиции, математические суждения. Новый интерес к С. с. возник в 20 в. под влиянием новых идей в символической логике, а также благодаря неопозитивизму и философии науки. Для неопозитивизма С. с. представляют собой, наряду с аналитическими суждениями, два взаимоисключающих класса предложений языка науки. В отличие от формального знания аналитических суждений, имеющих конвенциональный характер и не содержащих в себе информации о мире, С. с. оказываются фактуальным знанием, соответствующим эмпирическим предложениям наблюдения, несущим содержательное знание о мире. Независимыми от опыта, априорными могут быть лишь аналитические суждения, истинность или ложность которых может быть установлена без обращения к вне-языковым фактам, исходя из конвенциональных правил языка. Все С. с. оказываются апостериорными, и их истинность или ложность может быть установлена лишь в процессе верификации при обращении к внея-зыковым фактам. Таким образом, в противоположность Канту, главный тезис неопозитивистов состоял в отрицании существования априорно-синтетических суждений. Несмотря на неудачу философской программы неопозитивизма, само различение на С. с. и аналитические суждения, идущее от Канта, сохранялось и в последующей философии, однако и оно было подвергнуто критике во второй половине 20 в. У Куайн истолковал как «догму эмпиризма» само разграничение на аналитические суждения как предложения логики и математики, зависящие лишь от входящих в них терминов, и С. с, основанные на фактах. Воспользовавшись достижениями логики 20 в. и обратив внимание на проблему синонимии, он небезосновательно поставил под сомнение существование традиционных аналитических суждений и эмпирическую проверку отдельного суждения, а вместе с этим и само строгое различение С. с. и аналитических суждений. А.Н. Круглое

Отличное определение

Неполное определение ↓

СИНТЕТИЧЕСКИЕ СУЖДЕНИЯ

суждения, названные так И. Кантом, противопоставившим их как расширяющие и умножающие познание аналитическим суждениям, которые лишь выявляют и поясняют в результате логического анализа уже заключенное в них содержание (Кант И. Соч., т. 4 (l). M., 1965, с. 80). Синтетические суждения, по Канту, могут быть как апостериорными, так и априорными (см. Априоризм). Возможность последних определяется наличием в сознании некоторых исходных мыслительных структур, задающих определенный способ рассмотрения мира. Эти априорные формы мышления, как полагает Кант, синтезируют, структурируют полученный в чувственном познании и организованный посредством априорных форм созерцания во времени и пространстве материал восприятия и придают синтетическим суждениям априори характер всеобщности и необходимости. Именно такими являются, по Канту, теоретические суждения (положения) математики и точного естествознания, выступающие для Канта образцом научного знания. Эта идея получения, приращения нового научно-теоретического знания в результате конструктивной синтетической познавательной деятельности благодаря организации многообразия чувственно данного материала в некоторое единство, структура которого задается априорными формами мышления, представляет собой специфику гносеологии Канта, отличающую ее как от узкого эмпиризма, сводящего познание к суммированию и комбинаторике эмпирического данного и не способного тем самым объяснить своеобразие теоретического знания, так и от априоризма рационалистов с его тенденцией к одностороннему аналитизму в интерпретации теоретических «истин разума», препятствующему рассмотрению развития теоретического знания в его взаимодействии с эмпирией.

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

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

АНАЛИТИЧЕСКИЕ И СИНТЕТИЧЕСКИЕ СУЖДЕНИЯ

Аналитические суждения (А.с.) - суждения, которых устанавливается без обращения к действительности посредством логико-семантического анализа их компонентов; (С.с.) - суждения, истинность которых устанавливается только в процессе их сопоставления с той реальностью, о которой они говорят.
Впервые в ясной форме разделение суждений на аналитические и синтетические было осуществлено И. Кантом. А.с. Кант называл такое , предикат которого уже входит в субъекта и, т.о., ничего не добавляет к тому, что мы знали о субъекте. Напр., суждение «Всякий холостяк неженат» является аналитическим, т.к. «быть неженатым» уже мыслится в содержании понятия «холостяк». «Всякое протяженно», «Москвичи живут в Москве» - все это А.с. С.с, согласно Канту, является такое суждение, предикат которого добавляет что-то к содержанию субъекта, напр. «Алмаз горюч», «Тихий океан - самый большой из океанов Земли» и т.п. Считается, что только С.с. выражают новое , А.с. представляет собой тавтологию, не содержащую никакой информации.
Современная расширила А.с, включив в их сложные суждения, истинность которых можно установить лишь на основе логических правил, не обращаясь к реальности. Напр., если дано суждение «а -> а», то не нужно обращаться к действительности, чтобы узнать, истинно или ложно это суждение, - в любом случае данная будет истинной. Следовательно, это А.с.
Различие между А.с. и С.с. не является строгим и четким, ибо понятия в процессе развития познания изменяют свое содержание, включают в него новые признаки, а это приводит к тому, что какие-то С.с. становятся А.с. Напр., когда-то суждение «Все тигры полосаты» было С.с. и несло в себе новую информацию о тиграх. Но сейчас понятие «тигр» уже включило в свое содержание признак полосатости. Скорее всего мы затруднимся назвать тигром животное, во всем похожее на тигра, но лишенное характерных полос на шкуре. Следовательно, это суждение стало А.с.

Философия: Энциклопедический словарь. - М.: Гардарики . Под редакцией А.А. Ивина . 2004 .

АНАЛИТИЧЕСКИЕ И СИНТЕТИЧЕСКИЕ СУЖДЕНИЯ

разделение суждений (утверждений, предложений) в зависимости от способа установления их истинности; аналитическими наз. такие суждения, истинность которых устанавливается путём чисто логич. анализа (терминов, элементарных высказываний) , синтетическими наз. такие, истинность которых обосновывается посредством обращения к внеш. информации, к знаниям о внелогич. действительности.

Разделение на А. и с. с. намечается уже у Лейбница, различавшего «истины разума» и «истины факта», а также у Юма, разграничившего « идей» и «положение дел». Явную формулировку этого разделения и сами термины «А. и с. с.» дал Кант по отношению к суждениям с субъектно-предикатной структурой (см. Соч., т. 4, ч. 1, М., 1965 , с. 80) . Синтетич. суждения, по Канту, могут быть как апостериорными, так и априорными (см. Апостериори и ) . Противопоставив свою позицию Канту, логич. позитивисты отождествили синтетич. истин с классом эмпирич. «предложений наблюдения», а аналитические истолковали на основе конвенционально устанавливаемых правил языка (не содержащих знания о мире) .

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

Витгенштейн Л., Логико-филос. трактат, пер. с нем. , М., 1958 ; К а р н a n Р., Филос. основания физики, пер. с англ. , [М., 1971]; Ш в ы? ё в В. С., Теоретическое и эмпирическое в науч. познании, М., 1978 , гл. 1, § 3, гл. 2, § 5.

Философский энциклопедический словарь. - М.: Советская энциклопедия . Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов . 1983 .

Смотреть что такое "АНАЛИТИЧЕСКИЕ И СИНТЕТИЧЕСКИЕ СУЖДЕНИЯ" в других словарях:

аналитические и синтетические суждения - АНАЛИТИЧЕСКИЕ И СИНТЕТИЧЕСКИЕ СУЖДЕНИЯ классификация суждений по типу информационной связи субъекта и предиката. Предложена Кантом применительно к суждениям субъектно предикатного типа. Согласно Канту, суждение следует считать… …

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

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

Аналитические и синтетические суждения - – разделение суждений (утверждений, предложений) в зависимости от способа установления их истинности. Истинность аналитических суждений выявляется путем чисто логического анализа, синтетических – обращением к внешней информации, знанию о… … Философия науки. Эпистемология. Методология. Культура

- (нем. analytische und synthetische Urteile a priori) – термины кантовской философии, имеющие также широкое применение в различных направлениях современной философской мысли, главным образом в рамках аналитической философии. Введены И.Кантом в… … Философская энциклопедия

синтетические суждения - СИНТЕТИЧЕСКИЕ СУЖДЕНИЯ тип суждений, противопоставляемых аналитическим суждениям. Предпосылки к данному различению в неявном виде имелись уже у Г. Лейбница, различавшего истины разума и истины факта, а кроме того значимость во всех… … Энциклопедия эпистемологии и философии науки

В ‘Критике чистого разума’ Канта одна из групп в совокупности априорного знания; разновидность априорных суждений, в которых (в отличие от аналитических суждений) устанавливаемое предикатом знание является новым, по сравнению со знанием,… …

В Критике чистого разума Канта одна из групп в совокупности априорного знания; разновидность априорных суждений, в которых (в отличие от аналитических суждений) устанавливаемое предикатом знание является новым, по сравнению со знанием,… … История Философии: Энциклопедия

Аналитические Суждения - Аналитические Суждения ♦ Analytiques, Jugements Суждение является аналитическим, утверждает Кант, когда предикат содержится в субъекте, в том числе в скрытой, или имплицитной, форме, и, следовательно, может быть выделен из него с помощью… … Философский словарь Спонвиля

Учение Канта о знании опирается на его теорию суждения. По Канту, знание всегда выражается в форме суждения, в котором мыслится какое-то отношение или связь между двумя понятиями - субъектами и предикатами суждения. Существует два вида этой связи. В одних суждениях предикат не дает нового знания о предмете сравнительно с тем знанием, которое уже мыслится в субъекте. Такие суждения Кант называет аналитическими. Пример аналитического суждения: «все тела имеют протяжение». В этом суждении предикат - понятие «имеют протяжения» - не дает никакого нового знания сравнительно с тем знанием, которое имеется в понятии «тела» - в субъекте суждения. Рассматривая понятие «тело», мы находим среди прочих его признаков признак «имеет протяжение». Признак этот логически выводится из субъекта - из понятия о теле.

Но есть суждения, в которых связь между субъектом и предикатом нельзя получить посредством простого анализа понятия субъекта. В них предикат не выводится из субъекта, а соединяется с субъектом. Такие суждения Кант называет синтетическими. Пример синтетического суждения: «некоторые тела тяжелы». Понятие о теле не заключает в себе необходимо признак тяжести, он соединяется в мысли с понятием о теле, и это соединение - синтез.

В свою очередь синтетические суждения Кант делит на два класса. В одном из них связь предиката с субъектом мыслится потому, что связь эта обнаруживается в опыте. Таково, например, суждение «некоторые лебеди черны». Такие синтетические суждения Кант называет апостериорными.

Другой класс составляют синтетические суждения, в которых связь между предикатом и субъектом будто бы не может основываться на опыте. Она мыслится как связь, предшествующая опыту и независящая от него. Такие синтетические суждения

Кант называет априорными, например: «все, что случается, имеет причину». Суждение это, по Канту, априорное, так как мыслимая в нем связь между его субъектом и предикатом не может основываться на опыте: в суждении говорится обо всем, что случается, но из опыта нам может быть известна лишь часть того, что случается.

Ввиду значения, какое Кант приписывает априорным синтетическим суждениям, основной для Канта вопрос об источниках знания, о видах знания и о его границах формулируется как вопрос о возможности априорных синтетических суждений в каждом из видов знания. Так как Канта интересует главным образом три вида знания - математика, теоретическое естествознание и «метафизика» (умозрительное познание всего сущего), то вопрос об априорных синтетических суждениях Кант ставит в троякой форме:

1. как возможны такие суждения в математике;

2. как возможны они в теоретическом естествознании;

задолго до постпозитивизма и доказывавших, что ценностное измерение науки выходит за рамки исторического подхода. В современной философской литературе по истории науки является общим местом выделение внутренней и внешней истории науки, а проблема ценностей связывается с первой, поскольку духовная природа ценностей исключает их пространственно-временную схематизацию. На ограниченность историческо-

го подхода к соотношению науки и ценностей обращает внимание и В. А. Кутырев.

Странным выглядит и замечание о том, что рационалистическую парадигму следует связать не с Бэконом, а с Декартом, поскольку само высказывание «рационалистическая парадигма» связывается сегодня в литературе по философии науки с переопределением (расширением) понятия рационализма, данного постпозитивистом Т. Куном.

М. И. Ненашев

СИНТЕТИЧЕСКИЕ СУЖДЕНИЯ A PRIORI И. КАНТА

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

Настоящая статья посвящена кантовскому учению о пространстве как априорной субъективной форме созерцания. Изложение будет построено на различении проблематики, связанной со свойствами геометрического знания, от которой отталкивается Кант, и собственно априорист-ского ее решения.

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

Поэтому «все аналитические суждения целиком основываются на законе противоречия и по своей природе суть априорные познания, все равно каковы понятия, служащие ей материей, -эмпирические или нет» . Другое дело - синтетические и тем не менее априорные суждения, которые нуждаются в ином принципе, нежели закон противоречия .

НЕНАШЕВ Михаил Иванович - доктор философских наук, профессор, зав. кафедрой философии и социологии ВятГГУ, действительный член РАЕН © Ненашев М. И., 2008

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

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

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

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

Рассмотрим реальную проблематику, на которую Кант натолкнулся при разборе свойств геометрического знания и которую он попытался решить и выразить своим учением о пространстве как лишь субъективной форме чувственности. Эту проблематику мы постараемся выделить отдельно без априористского ее истолкования и для этого обратимся к одной из «докритичес-ких» работ Канта - «О первом основании различения сторон в пространстве».

Здесь Кант разбирает ситуацию, связанную с «положением частей пространства относительно друг друга», различающихся прежде всего своим местом, и обнаруживает, что, во-первых, это положение частей предполагает какое-то определенное направление, необходимость расположения частей именно так, а не иначе. Во-вторых, вид этой определенности, какое именно направление, - «заключается не в отношении одной находящейся в пространстве вещи к другой, что, собственно, составляет понятие положения », т. е. из самого понятия положения не выводится, а «относится к пространству, находящемуся вне этого протяженного», к всеобщему пространству как единству .

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

Рассмотрим данную проблематику на сугубо научном и достаточно известном материале.

Эвклид открывает свои «Начала» определением точки: «Точка есть то, что не имеет частей». Перед нами чисто отрицательное определение точки как таковой, взятой отдельно. Ничего положительного, выделяющего точку как особый предмет рассмотрения, здесь нет. Больше того, комментаторы Эвклида обращают внимание на то, что это определение не играет никакой роли в дальнейшем изложении в «Началах» геометрического знания. Приведем мнение комментатора Д. Д. Мордухай-Болтовского.

«Определение 1. "Точка есть то, что не имеет частей". Затем идёт определение линии:"длина без ширины". Все это, конечно, логически не действующие определения, описания, не имеющие отношения к выводам, относящимся к точке и линии» .

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

«Мы мыслим точки, прямые и плоскости (различные системы вещей - так крайне абстрактно называет их выше Гильберт) в определенных соотношениях и обозначаем эти соотношения различными словами, как то: "лежать", "между", "конгруэнтность", "параллельный", "непрерывный". Точное и для математических целей полное описание этих соотношений достигается аксиомами геометрии» .

Итак, аксиомами достигается описание определенных соотношений для математических целей

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

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

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

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

Отрицание же аксиомы параллельности, замена ее на противоположную привела бы к геометрии Лобачевского.

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

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

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

(эвклидово) или с отрицательной кривизной (Лобачевского) - и зависят свойства треугольника.

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

Таким образом, можно твердо сказать, что то, что в «Критике чистого разума» Кант назовет синтетичностью геометрических основоположений, имеет существенное отношение к факту определенности геометрического знания. Тому факту, что геометрия возможна только как частная, данная, заданная геометрия, особая - Эвк-лида, или Лобачевского, или Римана, или еще какая другая. Оказывается, «геометрии вообще» не бывает, ибо всякий раз, когда мы имеем дело с совокупностью точек, носителей каких-либо свойств, «различных систем вещей», то это может быть только обязательно каким-то частным образом, т. е. с помощью специальных постулатов, упорядоченная совокупность.

И тогда возникает вопрос, ответа на который нельзя дать, отталкиваясь лишь от самого наличия совокупности точек, носителей свойств. Вопрос - почему наше реальное пространство, проявления которого мы чувственно и практически ощущаем и познаем, которое должно быть одно-единственное (такая постановка вопроса правомерна только в контексте современного Канту знания о реальности) - взятое в целом именно такое, а не иное, и выражается, например, геометрией Эвклида, а не Лобачевского, которая логически точно так же возможна.

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

На этот вопрос пытались ответить другие философы, например Лейбниц, учением о наилучшем из миров.

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

тот ряд, который существует в действительности» .

Нас интересует ответ Канта. К ответу, который дает Кант в «Критике чистого разума», мы теперь переходим.

Учение о пространстве, сосредоточенное в разделе «Трансцендентальная эстетика» кантов-ской «Критики чистого разума», состоит из трех следующих пунктов:

- «метафизического истолкования» понятия о пространстве, в котором Кант показывает, что пространство «не есть эмпирическое понятие», т. е. невыводимо из внешнего опыта; наоборот, сам внешний опыт, его свойства - отношение внеположенности, например, могут быть поняты из вполне определенного представления о пространстве как априорном внешнем созерцании;

- «трансцендентального истолкования», в котором Кант показывает, что пространство и должно быть априорным созерцанием для того, чтобы обеспечить возможность знания синтетического, например, положение о трехмерности нашего мира аналитически невыводимо, и тем не менее является аподиктическим;

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

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

Отметим следующую и важнейшую для хода нашей работы сторону кантовского рассуждения. Свой вывод о лишь субъективной природе пространства, в котором и выразилось своеобразие решения проблемы, Кант делает, показав, что пространство должно быть первичным, предшествующим по отношению к внешнему опыту, описанному в метафизическом и трансцендентальном истолкованиях. Тезис о лишь субъективности пространства («оно (пространство. - М. Н.)

находится только в субъекте как формальное его свойство подвергаться воздействию объектов»)

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

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

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

«Пространство не есть эмпирическое понятие, выводимое из внешнего опыта», - так начинает Кант первый пункт метафизического истолкования. Каким же должен быть внешний опыт, из которого невыводимо представление о пространстве?

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

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

«Никогда нельзя себе представить отсутствие пространства, хотя нетрудно представить себе отсутствие предметов в нем» .

Мы имеем здесь единственно представимый для Канта вид реальности, который характери-

зуется вполне определенным отношением внепо-ложенности и, следовательно, представляет из себя некоторый особый вид реальности. Данное обстоятельство - единственность и в то же время особенность - Кант отмечает сам, говоря о синтетичности положения, что в опыте должна быть внеположенность. Используем 4-й пункт «метафизического истолкования времени»:

«...Положение о том, что различные времена не могут существовать вместе (курсив мой. -М. Н.) нельзя вывести из какого-либо общего понятия. Это положение синтетическое и не может возникнуть из одних только понятий» .

Поэтому Кант пишет в «трансцендентальном истолковании понятия о пространстве»:

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

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

Чем же характеризуются предметы этого особого, но единственно возможного для Канта вида реальности? Прежде всего тем, что по отношению к ним их места, те участки пространства, которые эти предметы занимают, должны выступать некоторыми предшествующими, не зависящими от них, предметов, наличия или отсутствия, характеристиками. Сами предметы со своими возможными свойствами, согласно 2-му пункту метафизического истолкования, выступают как ничего не меняющие своим присутствием или отсутствием, а следовательно, и своими свойствами. Действительным, реальным различием таких предметов оказываются не их собственные свойства, а единственно лишь положение, место в пространстве. Но тогда свойства, не определяемые местом, теряют свое отличающее друг от друга значение. Предметы, взятые вне своих мест, обезличиваются, превращаются в нечто крайне неопределенное.

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

Специфика такой ситуации состоит в том, что заключать что-либо о характере определеннос-

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

Но такие неопределенные предметы по условию же единственно возможные для Канта-гно-сеолога как предметы только и представимого внешнего по отношению к отдельному субъекту эмпирического опыта. В таком случае именно такая определенность свойств внешнего опыта (фиксируемая, например, в аксиомах геометрии) выступает принципиально невыводимой из предметов внешнего опыта, принципиально неэмпирической, существующей самой по себе формой; накладывается на предметы извне - a priori, говорит Кант; оформляет, упорядочивает предметы.

Это открытие кантовской критикой, с одной стороны, факта заданности, обусловленности и определенности результатов познания реальности разумом; а с другой стороны, принципиальной непознаваемости для кантовской критики эмпирического источника именно такой задан-ности, - и выступило перед самим Кантом неразрешимым противоречием, заставив его сделать вывод, что «пространство вовсе не представляет свойства каких-либо вещей в себе» , так как есть лишь «частное условие чувственности» .

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

Разберем становящиеся теперь понятными стороны кантовского учения об априорном знании.

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

мися вне их, должны заполнять ограниченное пространство.

Заполнять ограниченное, конечное пространство - значит заполнять объем и, следовательно, обладать какой-то формой, протяжением.

«Я могу сначала познать аналитически понятие тела через признаки протяженности, непроницаемости, формы и пр., которые мыслятся в этом понятии», - пишет Кант .

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

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

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

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

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

Эти и другие примеры Канта есть положения определенной, эвклидовой, геометрии. Определенность эта задается аксиомами, т. е. по условию, нетавтологическими положениями. Но тогда мы получаем кантовские синтетические суждения, которые «нуждаются в ином принципе, нежели закон противоречия» .

в) Отметим основную, очень существенную мысль 3-го и 4-го пунктов метафизического истолкования. Пространство, выступающее некоторым самостоятельным и оформляющим собственные части - «они ему подчинены» - пишет Кант - превращающее их в носителей собственной определенности, не может пониматься как какой-то общий признак (понятие, по Канту) этих частей, которые, по условию, находятся вне друг друга.

Поэтому определенное пространство, задающее именно такие свойства всем своим частям, должно быть в силу своей определенности некоторой целостностью, единством. Кант пишет: «единое, всеохватывающее», «одно-единственное пространство», «бесконечная данная величина», делая свой вывод о том, что «стало быть, первоначальное представление о пространстве есть априорное созерцание» .

Примечания

1. Кант, И. Соч. [Текст] : в 6 т. / И. Кант. М., 1963-1966. Т. 3. С. 111-112.

2. Там же. Т. 4 (1). С. 80.

3. Там же. С. 81.

4. Там же. Т. 3. С. 106-107.

5. Там же. С. 133.

6. Там же. С. 132-133.

7. Там же. Т. 2. С. 372. На это свойство геометрических построений обращал внимание еще Давид

Юм: «Когда мы проводим линии на бумаге или на любой непрерывной поверхности, то существует известный порядок, в котором эти линии должны проходить от одной точки к другой, чтобы произвести полное впечатление кривой или прямой; но этот порядок совершенно неизвестен нам, и мы не замечаем ничего, кроме общего вида линий» (Юм, Д. Соч. [Текст] : в 2 т. / Д. Юм. М., 1965. Т. 2. С. 142).

8. Комментарии Д. Д. Мордухай-Болтовского к «Началам Эвклида». Начала Эвклида. Кн. 1-4, М.; Л., 1950. С. 221-222.

9. Гильберт, Д. Основания геометрии [Текст] / Д. Гильберт. М.; Л., 1948. С. 56.

10. Там же. С. 55.

11. Кант, И. Указ. соч. Т. 3. С. 111-112.

12. Там же. Т. 3. С. 230.

13. Лейбниц, Г. В. Соч. [Текст] : в 4 т. Т. 4 / Г. В. Лейбниц. М., 1989. С. 474.

14. Кант, И. Указ. соч. Т. 3. С. 132.

15. Там же. С. 130.

16. Там же. С. 130.

17. Там же. Т. 3. С. 136.

18. Там же. С. 131.

19. Там же. Т. 2. С. 372.