Е. логически не ложное) именно в рамках данной теории. В результате наших рассуждений получен
В результате наших рассуждений получен набор, состоящий из необходимого и достаточного количества элементов любой теории - понятий, первоначальных утверждений, выводов.
Если понятия уподобить кирпичикам, из которых можно построить любую часть здания теории, то первоначальные утверждения - аксиомы -образуют фундамент теории, а доказанные (выведенные) утверждения - выводы -его стены и крышу.Для завершения, уяснения понятия "теория" осталось в явном виде обозначить характер связей между этими элементами, причем такой, который показал бы необходимость, закономерность именно таких связей.
Прежде всего обращает на себя внимание тот факт, что понятия, утверждения, выводы - лингвистические объекты, т. е. объекты языка. Понятия (термины) - это слова, а первоначальные утверждения и выводы (и те, и другие - высказывания) -предложения. Все первоначальные утверждения теории предполагаются истинными по определению. Всякая теория утверждает, что ее выводы также истинны. Что же может убедить любого непредвзятого исследователя данной теории в том, что это действительно так, то есть в том, что выводы этой теории действительно истинны? Есть только один способ объективной внутренней проверки истинности предложений-выводов - это их соответствие логическим законам.
Некоторым областям знаний повезло больше - у них есть еще и возможность проверки выводов на соответствие реальным фактам. В случае выявления несоответствия выводов такой теории реальным фактам, необходимо проверить правильность процедуры вывода и, если вывод проделан правильно, придется корректировать аксиоматическую систему. Другим областям знаний повезло меньше - у них нет такой возможности. Однако, любая теория, представительница любого из видов знаний нуждается в использовании логических законов при построении механизма своего внутреннего устройства.
Все предложения в языке подчиняются пропозициональному исчислению или исчислению высказываний, с более общей точки зрения - исчислению предикатов. Исчисление предикатов является разделом логики - науки, которая лежит в основе каждой рациональной дисциплиныи которую не может опровергнуть никакой эксперимент или факт.