Логика

ДЕТЕРМИНИЗМ (лат. determino — определяю) — учение о всеобщей закономерной взаимосвязи всего существующего. Принцип Д. становится одним из центральных в XVII-XVIII вв. и понимается как всеобщая причинная обусловленность всех явлений природного и социального, материального и духовного миров. Причинная связь сводится к механической причинности. Объяснить любое явление означает найти его причину. Полное отождествление понятий причинности и Д. осуществлено П. Лапласом. Лапласовский Д. исключает объективное существование случайности, трактуя ее как беспричинность.

ИНТЕРПРЕТАЦИЯ — истолкование, объяснение текста первоисточника; перевод с профессионального на общеупотребительный, популярный язык. Интерпретация — практика извлечения смыслов из различных классических текстов; в искусстве — освоение и творческое прочтение художественных произведений на сцене, в кино, на телевидении и т. д.

Словарь терминов и понятий по обществознанию. Автор-составитель А.М. Лопухов. 7-е изд. переб. и доп. М., 2013, с. 131.

ГЕДЕЛЯ ТЕОРЕМЫ — теорема о неполноте формальных (формализованных) систем — первая теорема Геделя, согласно которой любая формализованная система не может быть полной, замкнутой, сколько бы аксиом в нее ни добавляли, она остается противоречивой внутренне, пока не будет опираться на заданные извне ценностные постулаты, дополнительные установки. Вторая теорема — невозможно доказать непротиворечивость формализованной системы средствами и методами этой системы.

Райзберг Б.А. Современный социоэкономический словарь. М., 2012, с. 86.

ДЕТЕРМИНИЗМ — учение о взаимосвязи и взаимообусловленности явлений материального и духовного мира. Центральным положением учения является утверждение о существовании причинности всех явлений и событий, их зависимости от неких предпосылок и о непременном возникновении последствий свершившихся событий и явлений.

Словарь терминов и понятий по обществознанию. Автор-составитель А.М. Лопухов. 7-е изд. переб. и доп. М., 2013, с. 84.

АПОРИЯ (греч. aporia) — парадоксальное по своей логической очевидности и неподтверждаемости привычным опытом суждение, непреодолимое противоречие при разрешении проблемы. Известны апории, выдвинутые Элейской школой древнегреческой философии (VI-V века до н.э.), прежде всего Зеноном, обнаружившим необъяснимую для того времени диалектическую противоречивость понятий движения, пространства, времени (апории «Стрела», «Ахилл», «О множественности вещей» и др.).

ЛОГИКА ВЫСКАЗЫВАНИЙ - раздел символической логики, изучающий рассуждения и другие языковые контексты без учета внутренней структуры входящих в них простых высказываний. В связи с этим, язык Л.в. содержит нелогические символы лишь одного типа — пропозициональные переменные, которые выступают в роли параметров простых высказываний естественного языка. Логические символы в Л.в. также принадлежат одному типу. Это пропозициональные связки, образующие из менее сложных формул (предложений) более сложные.

ГЕРМЕНЕВТИЧЕСКАЯ ЛОГИКА - дисциплина, в которой исследуются логические основания, методы и правила понимания смысла текстов (знаково-символических систем). Она основана на принципе зависимости логического метода от предмета рассуждения, на интерпретационной природе рассуждений в области герменевтики, на принципе диалогичности герменевтического мышления. В ее базис заложены также герменевтический круг, синтез феноменологических теорий выявления смысла с герменевтическими методами его понимания и принцип диалектического взаимодействия между объяснением, интерпретацией и пониманием, когда интерпретация поставляет материал для объяснения, для работы герменевтического аппарата (логики рассуждения), приводящего к постижению смысла (пониманию). Концептуальное содержание современной Г. л. есть результат долгого исторического процесса, в ходе которого она приобрела свое подлинное лицо, по крупицам собирая идейный материал. Безусловно, становление герменевтического метода в определенной степени влияло на конституирование Г.л. И все же, первый прорыв логического метода в герменевтические сферы был осуществлен X. Вольфом, философом, который непосредственно герменевтикой не занимался. Можно сказать, что он создал теоретические предпосылки для этого важного шага вперед...

ВРЕМЕННАЯ ЛОГИКА (темпоральная логика, логика времени) - раздел современной неклассической логики, исследующий логические свойства высказываний, которые содержат временной параметр (ссылку на момент или интервал времени, в который имеет место некоторая ситуация) или временного характеристику (указание на отношение одной или нескольких ситуаций ко временному ряду). Учет фактора времени позволяет при построении теории дедуктивных рассуждений реализовать важнейший методологический принцип — принцип конкретности истины.

АЛГЕБРА ЛОГИКИ - один из основных разделов математической логики, основанный на алгебраическом способе представления и решения логических проблем. Современная символическая логика, начало которой было положено исследованиями Г. Лейбница и особенно Дж. Буля, развивалась ими и их непосредственными последователями (У. Джевонс, А. Венн, Э. Шредер, П.С. Порецкий) в форме алгебраических построений. Именно в исследованиях этих ученых впервые был использован термин «А.л.» Однако после работ Г. Фреге логические теории начали строиться в форме исчислений, а А.л.