Кантовская трансцендентальная аналитика. Аналитика понятий (введение, § 9)

Аватар пользователя e.tvorogov

Здесь, собственно, начинается положительная кантовская философия. Аналитика понятий — это трансцендентальное учение о категориях как понятиях, которые априори обнаруживаются в интеллекте, если рассматривать его в чистом виде. Она состоит из двух глав: 1) принцип открытия всех категорий; 2) дедукция (обоснование возможности) категорий. К категориям Кант подводит, начиная с рассмотрения типов суждения. Суждение же он понимает как функцию интеллекта по упорядочению разных представленностей под одну общую для них представленность. А любое суждение состоит из понятий, среди которых он выделяет категории как базовые понятия интеллекта. В данном фрагменте, помимо обоснования вышеупомянутого, представлена таблица типов суждений и пояснения к ней (которые, на мой взгляд, являют собой философское изящество).

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

До этого интеллект был определён нами лишь отрицательно — как несенсуальная познающая способность. Он не может иметь созерцаемости; тогда остаётся лишь другой способ делать что-то познанным — через понятия. Значит, познание интеллектом есть познание через понятия. Как сенсуальные созерцаемости покоятся на изменениях нашего внутреннего состояния, так и понятия основаны на функциях интеллекта. Здесь термин «функция» означает единство акта «упорядочивание разных представленностей под одну общую для них представленность». Таким образом, понятия так же покоятся на стихийности процесса осмысливания, как и сенсуальные созерцаемости — на рецептивности при впечатлениях. Единственное же применение понятий интеллектом — выносить посредством них суждения. И раз никакая представленность не ориентирована непосредственно на предмет (ибо последний есть просто созерцаемость), то тогда понятие соотнесено ни в коем случае не напрямую с предметом, а с какой-нибудь другой представленностью его (будь она созерцаемостью или даже уже понятием).

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

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

1. Количество:
Общие
Частные
Единичные
2. Качество:
Утвердительные 
Отрицательные
Бесконечные
3. Взаимоотношение:
Категорические
Гипотетические
Разделительные
4. Модальность:
Проблематические
Ассерторические
Аподиктические

Пояснения к таблице суждений

1. Логики говорят, что с единичными суждениями при их применении в силлогизмах разума можно было бы обходиться так же, как и с общими. Ибо именно потому, что они вообще не имеют объёма, их предикат не может быть просто приложен к чему-то из того, что содержится в понятии-субъекте, но может быть из чего-то исключён. Таким образом, он действителен для понятия-субъекта без исключения его оттуда, как если бы последнее было общесправедливым понятием с объёмом, для которого всё значение предиката было бы действующим. Если же мы, с другой стороны, сравним единичное суждение с общесправедливым (просто как познанность) по критерию «величина», то оно относится к нему так же, как единица к бесконечности — и, значит, само по себе существенно отличается от него. Стало быть, если я оцениваю единичное суждение не просто по его внутренней справедливости, но ещё и (как познанность вообще) по величине, которую оно имеет при сопоставлении его с другими познанностями, то оно в любом случае отличается от общесправедливого суждения (judicia communia) и заслуживает специального места в законченной таблице моментов осмысливания вообще (хотя, конечно, не в той логике, которая просто сужена до применения суждений в их отношениях между собой).

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

3. Все отношения осмысливания в суждениях — это отношения: a) предиката к субъекту, b) причины к следствию, c) подразделённой познанности и собранных вместе оснований подразделения между собой. В первом типе суждений рассматриваются только два понятия, во втором — два суждения, в третьем — несколько суждений по отношению друг к другу. Гипотетическое положение «если есть совершенная справедливость, то постоянно творящееся зло будет наказано», содержит, собственно, отношение двух положений «есть совершенная справедливость» и «постоянно творящееся зло будет наказано» друг к другу. Верны ли оба положения сами по себе — это остаётся здесь нерешённым. Через это суждение мыслится только логическая последовательность. Наконец, разделительное суждение содержит в себе отношение двух или более положений друг к другу — однако отношение не следования, а логической противопоставленности, поскольку сфера одного положения исключает сферу другого, но вместе с тем всё же и отношение «взаимовлияние» в той мере, в которой они вместе заполняют сферу фактической познанности; значит, это отношение частей сферы познанности, в которой сфера любой её части есть дополняющая составляющая сферы другой её части для образования всей квинтэссенции подразделённой познанности — как, например, в положении «мир есть по слепой случайности, по внутренней необходимости или по внешней причине». Каждое из этих положений занимает часть сферы возможной познанности о наличном бытии мира вообще, а все они вместе занимают целостную сферу. Убрать познанность в одной из таких сфер — значит поместить её в одну из оставшихся и наоборот: поместить её в какую-то одну сферу — значит убрать её из остальных. Таким образом, в разделительном суждении имеется определённое взаимовлияние познанностей, состоящее в том, что они взаимно исключают друг друга, однако тем самым всё же определяют истинную познанность в целом, составляя вместе всё содержание одной-единственной данной познанности. И это как раз то, что я считаю необходимым отметить здесь для следующего.

4. Модальность суждений есть совершенно особая их функция, отличающаяся тем, что она ничего не вносит в содержание суждения (ибо кроме величины, качества и отношения нет больше ничего, что составляло бы содержание суждения), а касается лишь ценности [логической] связки по отношению к осмысливанию вообще. Проблематические суждения — такие, в которых утверждение или отрицание принимается как просто возможное (произвольное). Ассерторические — те, в которых они рассматриваются как действительные (истинные). Аподиктические — те, в которых они признаются необходимыми.* Так, оба суждения, отношение которых друг к другу составляет гипотетическое суждение (антецедент и консеквент), а разделительное состоит в их взаимодействии, (т.е. основания подразделённости) есть совокупно лишь проблематические суждения. В примере выше положение «есть совершенная справедливость» не высказывается ассерторически, а мыслится лишь как произвольное суждение, насчёт которого возможно, что кто-то его примет, и ассерторическое здесь — это только логическая последовательность. Поэтому такие суждения могут быть также заведомо ложными; и всё же, взятые проблематически, они могут быть условиями познания истины. Так, в разделительном суждении суждение «мир есть по слепой случайности» имеет только проблематическое значение — а именно, что кто-то может в свой момент принять это положение, — и всё же служит (как искажённость ложного пути среди числа всех тех, которые возможно выбрать) нахождению истинного. Таким образом, проблематическое положение — такое, которое выражает только логическую возможность (которая не объективна), т.е. свободный выбор признать такое положение, просто включение его по свободному усмотрению в интеллект. Ассерторическое суждение говорит о логической действительности или истинности — как, скажем, «в гипотетическом силлогизме разума антецедент встречается в большей посылке проблематическим образом, а в меньшей — ассерторическим образом» — и указывает, что положение уже связано с интеллектом по законам последнего; аподиктическое положение мыслит ассерторическое определённым теми законами самого́ интеллекта, поэтому оно — априори утвердительное положение и таким образом выражает логическую необходимость. А поскольку здесь всё поступает в интеллект постепенно — так что сперва судят о чём-то проблематически, что затем очень даже принимают ассерторически как истинное и, наконец, утверждают как неразрывно связанное с интеллектом, т.е. необходимое и аподиктическое, — то эти три функции модальности возможно называть столькими же моментами осмысливания вообще.

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

Авторство: 
Авторская работа / переводика

Комментарии

Аватар пользователя Doc_Mike
Doc_Mike(6 лет 8 месяцев)

Кантовы бы мозги, да на современное программирование ИИ.

А то такое впечатление, что он как ежик в тумане промеж трех сосен из множеств, троичной логики Да/Нет/Ни да ни Нет, логических связок И/ИЛИ, многомерного пространства признаков, и причинно-следственных связей.

Аватар пользователя абра
абра(6 лет 8 месяцев)

Кантовы бы мозги, да на современное программирование ИИ.

Именно современное ИИ опирается на Кантовы мозги - слово и псевдо-понятие "интеллект" с его типа подачи.

И логика его не совсем троичная - кое-где и четыре состояния

Аватар пользователя Doc_Mike
Doc_Mike(6 лет 8 месяцев)

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

Что касается четверичной логики, то и с троичной Да/Нет/ХЗ массово не работают, и трудно представить практическую реализацию четверичной и нужду в ней. 

Аватар пользователя абра
абра(6 лет 8 месяцев)

Что касается четверичной логики, то и с троичной Да/Нет/ХЗ массово не работают, и трудно представить практическую реализацию четверичной и нужду в ней. 

Да "квантовые вычисления" и "Q-биты" уже в работе, четверичная типа логика трудится в поте лица!

Аватар пользователя Doc_Mike
Doc_Mike(6 лет 8 месяцев)

Не уверен, что это имеет отношение к логике в семантическом смысле.

Аватар пользователя абра
абра(6 лет 8 месяцев)

Насчёт семантики не скажу, но по факту - ежели Q-биты ихние не четверичная логика, то что же? Ну там даже на картинке для детей разрисованы типа состояния - никак не двоичные, не троичные - а вотчетверичная логика - она самая!

А семантика - она только для плоских типа случаев - не более трёх точек так сказать, а треугольник всегда плоскость.
 

Аватар пользователя Doc_Mike
Doc_Mike(6 лет 8 месяцев)

Если делать аналоговые системы, то получится бесконечнозначная логика. 

Что не операбельно в семантическом смысле логики, в отличие от Да/Нет/ХЗ. Что не отменяет аналоговых технических систем.

Аватар пользователя абра
абра(6 лет 8 месяцев)

Что не отменяет аналоговых технических систем.Что не операбельно в семантическом смысле логики, в отличие от Да/Нет/ХЗЕсли делать аналоговые системы, то получится бесконечнозначная логика.
 

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

Что не операбельно в семантическом смысле логики, в отличие от Да/Нет/ХЗ

 Это троичная - она плоская, треугольник плоскости принадлежит.

Что не отменяет аналоговых технических систем.

Кто же от них отказывается? Заменяют эрзацами если математика позволяет - микропроцессоры (или плис) и электроника только для облегчения применяют - типа в авиации и космосе. А правильные результаты чаще получают именно аналоговым моделированием. Баллистики типа соврать не дадут - они всё так и проверяют.

Аватар пользователя Doc_Mike
Doc_Mike(6 лет 8 месяцев)

Вы к логике применяете геометрию физического пространства? Вообще-то применительно к ИИ оперируют многомерным пространством признаков.

Аватар пользователя абра
абра(6 лет 8 месяцев)

Вообще-то применительно к ИИ оперируют многомерным пространством признаков.

Ага. На входе - многомерные матрицы состояний и признаков/ссылок/связей/значений - а на выходе? А на выходе - генератор/синтезатор отчётов/форм/текста/звука/изображения.

Но чаще всего - задача типа для "ИИ" -  это распознавание образов. И там результат работы - типа как раз три состояния - ДА-НЕТ-ХЗ. Это и есть плоскость ответа. И третье - ХЗ - может быть либо к ДА ближе, либо к НЕТ.

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

Аватар пользователя Doc_Mike
Doc_Mike(6 лет 8 месяцев)

На входе в медицинскую диагностическую систему клинический признак Есть/Отсутствует/ХЗ, интерпретация признака Плохо/Хорошо/ХЗ. Например, хрипы в легких отсутствуют это хорошо, а везикулярное дыхание отсутствует это плохо, и ХЗ для наличия и интерпретации того, что в легких при визите к дерматовенерологу. Итого для каждого клинического признака получается наложение 3 на 3, что более менее воспринимаемо и интерпретируемо. Усложните до 4 на 4, будет не воспринимаемо человеком.

На клинических признаках висят уточнения Есть/Нет/ХЗ с тремя интерпретациями, признаки с уточнениями группируются в синдромы Есть/Нет/ХЗ с интерпретациями, только для пульмонологии около 250 клинических признаков плюс уточнения и группировки в синдромы.

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

Очень плоско Да/Нет/ХЗ, ага.

Аватар пользователя абра
абра(6 лет 8 месяцев)

Очень плоско Да/Нет/ХЗ, ага.

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

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

Всегда надо типа ограничивать себя хотя бы с двух сторон - а вообще лучше - с пяти - и тогда ясно направление для работы систем и развития.

Много типа примеров есть - как правильно и как неправильно.

Как неправильно - пример Томагавк. Как правильно - пример секретный, но на меньшей памяти и без магнитной ленты в блоке управления - только за счёт ограничения типа хотелок заказчика.

Аватар пользователя Doc_Mike
Doc_Mike(6 лет 8 месяцев)

А вот не стану спорить.

Аватар пользователя Ne-z-naika
Ne-z-naika(6 лет 3 недели)

Ведь говорил я ему тогда за завтраком: «Вы, профессор, воля ваша, что-то нескладное придумали! Оно, может, и умно, но больно непонятно. Над вами потешаться будут».

Аватар пользователя Николай1959
Николай1959(4 года 10 месяцев)

Краткость сестра таланта. Всё остальное от лукавого. ИИ это хорошо, но жрать уже нечего, магазины полны товаров, а еды не стало совсем. Но, кроме физического тела приходится кормить ещё два, ментальное и астральное и Кант не особенно удобоварим, разве что, в качестве приправы или керамического блюда, для подачи основного блюда. Возникновение жизни на Земле есть лишь элемент формирования пищевой цепочки в масштабах вселенной. Современные интеллектуальные продукты просто отвратительны на вкус. Древние Греки вкуснее готовили, их продукты для роста и развития ментального тела гораздо питательнее. Из еды, посоветую Пушкина, например, стихотворение к Жуковскому, написанное им в 18 лет. В нём указан путь к пище для астрального тела, к пище Богов и сервировка стола изумительная. Одно слово, Гений. В данном случае юный Гений, а устами младенца глаголет истина. То, что Кант гений, я бы не сказал.

Аватар пользователя Николай1959
Николай1959(4 года 10 месяцев)

Жуковскому

Когда, к мечтательному миру
Стремясь возвышенной душой,
Ты держишь на коленях лиру
Нетерпеливою рукой;
Когда сменяются виденья
Перед тобой в волшебной мгле,
И быстрый холод вдохновенья
Власы подъемлет на челе, —
Ты прав, творишь ты для немногих,
Не для завистливых судей,
Не для сбирателей убогих
Чужих суждений и вестей,
Но для друзей таланта строгих,
Священной истины друзей.
Не всякого полюбит счастье,
Не все родились для венцов.
Блажен, кто знает сладострастье
Высоких мыслей и стихов!
Кто наслаждение прекрасным
В прекрасный получил удел
И твой восторг уразумел
Восторгом пламенным и ясным.

1818 г.

И физики в данном стихотворении поболее, чем у Альберта Эйнштейна.