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