pan> знання є достатній (але не необхідний) критерій його хибність. Важливу роль при цьому відіграє
незалежність положень, які з'єднуються в одну систему знання про який-небудь об'єкт. У науці логічна сумісність відомостей про об'єкт, отриманих різними шляхами незалежно один від одного, є вагомим аргументом, на підставі якого визнається їх істинність. Тому вчені вважають за необхідне повторювати спостереження та експерименти: вже те, що в різних лабораторіях, в різний час і різними дослідниками, що працюють незалежно один від одного, повторюється один і той же результат, сприймається як підтвердження його істинності. Відсутність же повторюваності вселяє в цьому сумніви. У логіко-математичних теоріях вимога, щоб лежать в основі їх аксіоми були незалежні (не виводяться) один від одного, є одним з основних методологічних принципів. Оскільки математичні об'єкти (числа, геометричні фігури, функції і т. п.) є ідеальними, остільки знання про них, виражене в аксіомах, має
умовно-об'єктивний характер. Якщо аксіоми вважаються істинними, то теореми, логічно виведені з аксіом, також повинні вважатися істинними. Однак мова тут йде про
умовної істинності: теореми істинні
за умови, що істинні аксіоми, а аксіоми істинні
за умови, що вони фіксують властивості і закономірності, якими об'єкт заздалегідь наділений. Логічне доведення яких суджень є спосіб
перенесення істинності з вихідних посилок на ці судження. Доведені судження
умовно істинні, т. е. істинні за умови, що істинні посилки, з яких вони логічно виведені. Звідси випливає, що істинність будь внутрішньо неп ротіворечівой системи суджень (теорії) залежить від того, наскільки правдиві її вихідні твердження. Надійність логічного критерію істини, отже, впирається в питання про істинність таких вихідних тверджень (посилок, аксіом, принципів). Чи може це питання бути вирішене чисто логічними засобами?
Досліджуючи поставлене запитання, Кант дійшов висновку, що потрібно розрізняти два роду суджень: аналітичні та синтетичні. В аналітичних судженнях про предмет стверджується те, що повинно бути йому властиве відповідно до його визначенням. Синтетичні судження, навпаки, стверджують наявність у предмета якихось додаткових властивостей, які ніяк не пов'язані з його визначенням.
Наприклад, судження В«Всі карлики мають малий зрістВ» - аналітичне: властивість низькорослості мається на увазі в самому...
