Экспликация понятия истинности в логической семантике и философские концепции истинности

Характеристика процедуры экспликации

Для выявления связи между современными логическими исследованиями и категорией истины, нужно рассмотреть:

• характеристики предмета логической теории;
• структуру теоретической логики;
• соотношение между разделами логики и выполняемыми ими функциями;
• связь между логическими построениями и понятием истинности.

Предмет логики дискуссионен:

• сторонники психологизма и эмпиризма утверждают, что логика занимается изучением законов и форм мышления как психического процесса,
• приверженцы феноменологического метода считают, что логика занимается изучением логических связей, носящих идеальный, непричинный и невременной характер. Можно даже встретить позицию, в соответствии с которой логика как теоретическая наука исследует объективные, идеальные связи и отношения вне какой-либо связи с мышлением;
• конвенционалистская позиция состоит в том, что принудительный (нормативный) характер логических принципов обуславливается принимаемыми соглашениями относительно языковых терминов и прагматическими соображениями.

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

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

Метод экспликации ориентирован на решение следующих задач:

• определение процедур, позволяющих использовать эксплицируемые понятия;
• выяснение возможности и роли средств, применяемых в этом методе, и условий их адекватности;
• обоснование ценности и познавательной роли получаемых теоретических построений.

Экспликация позволяет заместить хорошо знакомые неточные понятия новыми точными.

В процедуре экспликации можно выделить пять этапов:

• изучение концептуальной области, подлежащей анализу, с последующей систематизацией и обобщением для выделения набора критериев, относительно которых производится оценка адекватности экспликационных построений;
• построение логической теории – концептуального каркаса;
• проверка концептуального каркаса по введенным критериям адекватности;
• развертывание концептуального каркаса посредством выведения следствий;
• использование концептуального каркаса для исследования и решения проблем и трудностей исходной интуитивной области.

Концептуальное определение истинности

Между истинностью и истиной есть концептуальная взаимосвязь и взаимозависимость. Этот факт порождает следствия как в теории значения, так и в эпистемологии. Понятие истины ассоциировано с представлениями о познании. Истина рассматривается как некоторая информация, о которой можно высказать истинные или ложные сведения. Иными словами, утверждение об истинности чего-либо равносильно утверждению, что это принадлежит объему понятия «истина» (аналогично для утверждения о ложности, характеризующего принадлежность к объему понятия «ложь»).

Дедуктивная логика исходит из определенного понимания истинности. Предъявляются строгие требования к характеру истинности выводимых предложений. В основе формализации лежит понятие истинности, представляющее собой характеристику не любых предложений, а только выводимых из других. Таким образом, истинностное значение вывода определяется исключительно истинностными характеристиками посылок при условии соблюдения правил вывода. Но к посылкам нельзя применить такое определение истинности. Условия их истинности дедуктивная логика не рассматривает. Важно, чтобы сами структуры, по которым ведется доказательство или вывод, были истинными – однако обоснование их истинности лежит вне сферы деятельности теории дедуктивного доказательства и вывода.

Возникает потребность в такой сфере исследования, где может быть построена теория истинности, не просто обосновывающая условия передачи и сохранения истинности, но и формирующая понятие истинности, в равной степени применимое ко всем предложениям независимо от того, являются ли они посылками, заключениями или высказываниями, представляющими структуру вывода. Для теоретической логики такой сферой является логическая семантика, исследующая язык как средство познания и выясняющая, каким образом выражения языка могут представлять в мышлении те или иные предметы, отношения и связи. В ней рассматриваются вопросы, связанные со способами классификации языковых выражений в зависимости от типов их значений, установления их смыслов, а также условий истинности и ложности высказываний различных видов. Следует отметить такую функциональную особенность этой науки: логика имеет не только описательный, но и предписывающий характер.