Логика

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

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

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

ЧЛЕНЕНИЕ (ДВОЙНОЕ) (ARTICULATION, DOUBLE -). Расчленять означает разделять. В лингвистике с легкой руки Андре Мартине (243) двойным членением называют разделение единиц языка по двум разным параметрам: смыслу (членение на монемы) и звучанию (членение на фонемы). Например, рассмотрим слово «переделаю». Оно состоит из четырех монем: пере-дел-а-ю. Если заменить хотя бы одну из монем, слово приобретет другой смысл: недоделаю, передумаю и т. д. Одновременно оно состоит из 10 фонем (п'-э-р'-э-д'-э-л-а-й-у).

УСЛОВИЕ (CONDITION). Меньше, чем причина, больше, чем обстоятельство. Условие — необходимое обстоятельство или недостаточная причина; то, без чего явление не может произойти, но чего недостаточно, чтобы объяснить, почему оно все же произошло. Так, существование наших родителей является условием нашего существования (если бы их не было, не было бы и нас), но отнюдь не его причиной (родители прекрасно могли бы существовать и без нас).

ТРОП (TROPE). Стилистическая или логическая фигура, один из видов игры слов или идей. Всякая ли стилистическая фигура является тропом? Вовсе нет. Троп основан скорее на игре со значениями слов, чем на игре с местом слова в предложении или порядком его употребления. Троп — семантическая фигура. Например, метафора и метонимия суть тропы; хиазм и аккумуляция — нет. Философское употребление слова «троп» заимствовано из логики, а не из риторики.

ТРЕТЬЕГО ИСКЛЮЧЕННОГО (ПРИНЦИП) (TIERS EXCLU, PRINCIPE DU -)             . В соответствии с принципом третьего исключенного, из двух взаимоисключающих суждений одно является истинным, а другое — ложным, а третьего не дано. Р или не-Р. Либо Бог — поливочный шланг, либо Бог — не поливочный шланг. Это не исключает, что он может быть чем-то еще, но это другое должно подразумевать третий вариант решения вопроса о том, является ли Бог поливочным шлангом.

ТОПИКА (TOPIQUE). Касающийся места (topoi), в частности — общего места (в значении, лишенном уничижительного оттенка; именно таков смысл «Топик» Аристотеля — одного из шести трактатов о логике, или «Органона» — сочинения, посвященного общим местам диалектического спора). В подобном значении слово «топика» теперь употребляется только в историческом контексте. В современном смысле слова топика — это род схемы, вернее, схематической модели, предназначенной для пространственного изображения того, что не существует либо существует вне пространственного измерения.

ТОЖДЕСТВО (IDENTITME). Совпадение, свойство быть таким же. Таким же, как что? Таким же, как такое же, иначе это будет уже не тождество. Таким образом, тождество есть в первую очередь отношение себя к себе (мое тождество это и есть я сам) либо, если речь идет не о субъектах, отношение между двумя объектами, являющими собой один и тот же объект. «В строгом смысле слова этот термин чрезвычайно точен, — отмечает Кин, — вещь тождественна самой себе и ничему другому, даже дубликату-близнецу» («Сущности», статья «Тождество»).

ТОЖДЕСТВА (ПРИНЦИП) (IDENTITE (PRINCIPE D'-). Принцип, на котором основано точное соответствие истины самой себе. Всякое существо есть то, что оно есть: а=а, р=р. Или, как еще более удачно выражались стоики: если а, то а, если р, то р. Если я живу, то я живу; если я делаю то, что я делаю, то я это делаю. Из чего вытекает только одно: абсолютная необходимость настоящего, которое является всем сущим. Принцип тождества делает мышление возможным, а истину — необходимой.

Конт-Спонвиль Андре. Философский словарь / Пер. с фр. Е.В. Головиной. – М., 2012, с. 624.