Априори — логика и теория познания¶

Априори (от лат. a priori — «от предшествующего», «из先前его») — термин философии и логики, обозначающий знание или способность познания, которые не зависят от опыта и предшествуют ему. Априорные знания считаются истинными по необходимости и обладают всеобщностью: их истинность обосновывается не наблюдением фактов, а самой структурой мышления, логическими законами или априорными формами интуиции. Противоположное понятие — апостериори — относится к знаниям, получаемым из опыта.

¶Происхождение термина

Латинское выражение a priori восходит к схоластической логике, где оно обозначало рассуждение «от причины к следствию» — дедукцию, в отличие от a posteriori — рассуждения «от следствия к причине», индукции. В этом исходном значении термин использовался ещё в XIII веке в работах схоластов, прежде всего в традиции, восходящей к Аристотелю и его комментаторам.

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

¶Априори в кантовской философии

У Канта априори — это то, что познаётся независимо от всякого опыта и что необходимо признаётся истинным, поскольку без него сам опыт был бы невозможен. Кант разграничивает:

• Априорные формы чувственности — пространство и время, служащие условиями восприятия любого предмета.
• Априорные категории рассудка — причинность, субстанция, единство и другие понятия, без которых мышление о мире неосуществимо.
• Априорные идеи разума — Бог, свобода, бессмертие души, которые разум неизбежно порождает, но которые не поддаются теоретическому доказательству.

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

¶Априори и апостериори

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

¶Априоризм и эмпиризм

Проблема соотношения априорного и эмпирического лежит в основе одного из старейших споров философии — противостояния рационализма и эмпиризма.

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

Эмпиристическая традиция (Джон Локк, Джордж Беркли, Дэвид Юм) отрицает наличие врождённых идей, настаивая на том, что весь опыт человека происходит из чувственного восприятия. Юм, в частности, показал, что принцип причинности — одно из центральных априорных понятий — не может быть обоснован ни логикой, ни опытом, что поставило под сомнение возможность априорного знания о реальности.

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

¶Априори в современной философии и логике

В XX веке проблема априорного получила новое звучание. Логический позитивизм (Венский кружок, Рудольф Карнап) утверждал, что содержательные знания делятся на аналитические (истины по определению, априорные) и синтетические эмпирические; метафизические же суждения лишены смысла. Классификация Карнапа — «логика, математика — аналитические; естественные науки — синтетические апостериорные; философия — псевдопознание» — была подвергнута критике.

Вильгельм Куайн в статье «Два догма эмпиризма» (1951) оспорил само различение аналитического и синтетического, показав, что граница между априорным и эмпирическим знанием размыта: любое высказывание в принципе может быть пересмотрено в свете нового опыта, а математические и логические истины — не исключение.

В аналитической философии продолжается дискуссия вокруг априорного знания в связи с проблемой модальности: Сол Крипке в «Названии и необходимости» (1980) показал, что существуют априорные синтетические истины (например, «вода — H₂O» может быть апостериорной необходимостью), что усложнило кантовскую картину.

¶Априори в математике и естествознании

В математике априорный характер знания традиционно считается бесспорным: аксиомы и теоремы выводятся без обращения к эмпирическим данным. Однако в XX веке возникли альтернативные подходы: интуиционизм Л. С. Брауэра отказался от закона исключённого третьего как априорно данного, а логицизм Бертрана Рассела и Готлоба Фреге пытался свести математику к логике, тем самым обосновать её априорность через логические законы.

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

¶См. также

• Рационализм
• Эмпиризм
• Трансцендентальный идеализм
• Аналитическое суждение
• Проблема индукции
• Апостериори

¶Источники

• Кант И. «Критика чистого разума» (1781/1787).
• Юм Д. «Трактат о человеческой природе» (1739—1740).
• Карнап Р. «Логический строй мира» (1928).
• Куайн В. «Два догма эмпиризма» (1951).
• Крипке С. «Название и необходимость» (1980).
• Фреге Г. «Основания арифметики» (1884).
• Рассел Б. «Принципы математики» (1903).