7. Специфіка аналітичних і синтетичних суджень в філософії і. Канта «критичного» періоду.

У всіх думках, в яких мислиться відношення суб'єкта до предиката Кант має ту на увазі тільки ствердні думки, це відношення може бути двояким. Або предикат В належить суб'єкту А як щось що існує (в прихованому вигляді) в цьому понятті А, або ж В цілком знаходиться зовні поняття А, хоча і пов'язано з ним. В першому випадку думка називається аналітичною, а в другому – синтетичним. Отже, аналітичні - це ті (ствердні) думки, в яких зв'язок предиката з суб'єктом мислиться через тотожність, а ті думки, в яких цей зв'язок мислиться без тотожності, повинні називатися синтетичними. Перші можна було б назвати пояснюючими, а другі - розширюючими думками, оскільки перші через свій предикат нічого не додають до поняття суб'єкта, а тільки ділять його шляхом розчленовування на підлеглі йому поняття, які вже мислилися в ньому (хоча і смутно), тоді як синтетичні думки приєднують до поняття суб'єкта предикат, який зовсім не мислився в ньому і не міг би бути витягнутий з нього ніяким розчленовуванням.

Досвідні думки, згідно Канту, завжди синтетичні, оскільки їх предикати черпають знання із зовнішнього досвіду саме як щось нове для свідомості, що пізнає. З другого боку, очевидно, що «всі аналітичні думки апріорні ...», якщо розуміти під апріорністю додосвідність, а тому аналітичних апостеріорних думок не буває. Але як вирішити питання про існування синтетичних апріорних думок? Питання про них дуже важливе тому що наука потребує думках, які одночасно розширювали б наше знання за змістом і були б при тому достовірними, загальними і необхідними, якими вони, у разі їх досвідченого походження, бути не можуть. «... Необхідність і строга загальність суть вірні ознаки апріорного знання і нерозривний пов'язані один з одним».

Для відповіді на поставлене питання Кант оцінює джерела достовірного знання в різних науках. Формальну логіку він розглядає як науку, яка не розширює змісту знання, «маючи справу тільки з чистою формою мислення», а тому її твердження — це аналітично-апріорні думки. Емпіричне природознавство знаходиться на рівні синтетично-апостеріорних думок. А як йде справа з математикою?

В математиці, як це видно з прикладів на схемі, також мають місце аналитически-априорные думки, але математику до них Кант зводити відмовляється (тут Кант відкидає погляд Лейбніца, що зводив математику до аналітичних пропозицій, які всі спираються на закон суперечності). Він посилається на те, що математичні думки здатні приносити приріст знань, а значить, вони синтетичні. Оскільки ж вони універсальні і загальнообов'язкові, вони додосвідні і вже в цьому значенні «апріорні». Отже, вони суть синтетичні апріорні думки, і в цьому з'єднанні синтетичності і априоризма полягає ідеал наукового знання. Таким чином робиться висновок про те, що синтетичні думки можуть бути апріорними в тому випадку, якщо вони спираються на форму чуттєвості, а не на чуттєвий матеріал. А такі, по Канту, саме думки математики, яка конструює свій предмет, спираючись або на чисте споглядання простору (геометрія), або на чисте споглядання часу (арифметика). Це не значить, звичайно, що тим самим математика не потребує поняттях розуму; але з одних тільки понять, без звернення до інтуїції, тобто спогляданню простору і часу, вона не може обійтися. Початкові положення геометрії, наприклад, що пряма є найкоротша відстань між двома точками, не можуть бути отриманий аналітично, бо, говорить Кант, з самого поняття прямої не можна логічно вивести ознаку величини відстані; тут має місце синтез різних понять, а він не може ґрунтуватися на випадковому, одиничному досвіді, оскільки тоді математичне знання не було б загальним. Тільки чиста форма чуттєвості - простір - дозволяє нам, спираючись на споглядання, в той же час отримати необхідний зв'язок двох різних понять. Ми креслимо пряму лінію і безпосередньо бачимо, що вона є найкоротша відстань між двома точками. Таким чином, розгляд простору і часу не як форм буття речей самих по собі, а як апріорних форм чуттєвості суб'єкта, що пізнає, дозволяє Канту дати обгрунтовування об'єктивної значущості ідеальних конструкцій - перш за все конструкцій математики. Тим самим і дається відповідь на питання: які можливі синтетичні думки а priori.

Аналітичні	Синтетичні
Їх існування неможливе	Існують у складі недосконалого знання, наприклад: «в Сибірі здобувають багато золота», «цей будинок стоїть на пагорбі», «деякі тіла важкі»
апостеріорі
Існують у складі досконалого знання, наприклад: «все обумовлене припускає наявність умови», «квадрат має чотири кути», «тіло протяженны» апріорі	Існують у складі досконалого знання, наприклад: «все, що трапляється, має свою причину», «у всіх змінах тілесного світу кількість матерії залишається незмінною»