Логика

ИНТУИЦИОНИСТСКАЯ ЛОГИКА – первоначально логика интуиционистской математики, получившая впоследствии более широкое применение. Неформально развивалась Л.Брауэром с 1907 г., первую интерпретацию, независимую от интуиционистской идеологии, дал А.Н.Колмогоров, первые формализации построили В.Гливенко и А.Гейтинг. Язык интуиционистской логики совпадает с языком классической логики. Сохраняются и правила естественного вывода для всех связок, кроме отрицания. Для отрицания правило снятия двойного отрицания ослабляется до правила «Из лжи следует все, что угодно». В результате ослабляются возможности косвенного вывода – косвенно можно опровергать (по правилу reductio ad absurdum), но, вообще говоря, нельзя доказывать положительные суждения от противного...

ПРОТИВОРЕЧИЕ ЛОГИЧЕСКОЕ – утверждение одновременного наличия некоторой ситуации А и отсутствия этой ситуации. В языке выражается утверждением А и не-А: (Α&⌐Α), которое является тождественно-ложным. Методологическое значение логических противоречий состоит в том, что их обнаружение в некоторой теории, основанной на какой-либо стандартной, напр. классической, логике означает, что в такой теории нельзя отличить ложные утверждения от истинных, т.к. в ней из противоречия оказывается доказуемым все что угодно.

ОТРИЦАНИЕ. 1. В естественном языке в зависимости от местоположения различают внешнее и внутреннее отрицание. Внешнее (пропозициональное) служит для образования сложного высказывания из другого (не обязательно простого) высказывания. В нем утверждается отсутствие положения дел, описываемого в отрицаемом высказывании. На основании классического понимания истинности как соответствия действительности это означает, что в случае истинности отрицаемого высказывания отрицающее его высказывание будет ложным и наоборот.

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

ЯЗЫК-ОБЪЕКТ – понятие современной логики, математики, философии и методологии науки, семиотики и теоретической лингвистики, обозначающее любой язык (естественный, искусственный, неформализованный, формализованный), элементы и структура которого описываются на другом языке – метаязыке. Синонимами понятия «язык-объект» являются «предметный язык» и «объектный язык», при этом два последних термина фиксируют предметную (объектную) направленность любого языка-объекта. На этих языках описываются предметы, объекты, события, состояния и т. п. окружающего мира или его фрагментов, т.е.

ТРАЙРУПЬЯ (санскр. trairūpya – трехаспектное) – в индийской логике правило, введенное, как считают, буддийским философом Дигнагой, призванное отделить подлинный выводной знак (линга) от мнимого (алинга). Согласно правилу трайрупья, выводной знак должен 1) содержаться в пакше, локусе или субстрате вывода (в классическом примере индийского силлогизма с огнем, выводимым по признаку дыма, поднимающегося из-за горы, пакшей является гора), 2) следовать принципу анвая (неизменного сопутствия) – во всех случаях, когда он наблюдается, неизменно сопровождаться свойствами, принадлежность которых пакше доказывается посредством вывода (дым должен сопровождаться огнем, где бы он ни наблюдался), 3) следовать принципу вьятирека (неизменного несо-путствия), т.е. не встречаться там, где нет этих свойств (там, где нет огня, не может быть и дыма)...

АРГУМЕНТАЦИЯ. В вербально речевом аспекте аргументация предстает как полное или частичное обоснование какого-либо утверждения с использованием других утверждений. Утверждение, которое обосновывается (суждение, система суждений и пр.), называется тезисом, а утверждения, используемые при обосновании тезиса, называются аргументами, или основаниями, или доводами. Сам способ логического обоснования тезиса посредством аргументов (его логическую структуру) называют формой аргументации. По характеру оснований (доводов) различают доказательную и недоказательную аргументацию.

АРГУМЕНТАЦИЯ – способ подведения основания под какую-либо мысль или действие (обоснование их) с целью публичной защиты, побуждения к определенному мнению о них, признания или разъяснения; способ убеждения кого-либо посредством значимых аргументов. В этом смысле аргументация всегда диалогична и шире логического доказательства (которое по существу безлично и монологично), поскольку она ассимилирует не только «технику мышления» (собственно логику), но и «технику убеждения» (искусство подчинять мысль, чувство и волю человека).

СРАВНЕНИЕ – акт мышления («логическая рефлексия», по И. Канту), посредством которого на основе фиксированной установки оценивается, упорядочивается и классифицируется содержание познания. Онтологической предпосылкой сравнения являются реальное сходство и различие объектов познания, их признаки и отношения между ними. Гносеологической предпосылкой сравнения является априорная установка на тот или иной результат, заданная основанием сравнения. В его элементарном виде сравнение «есть умственное сближение реальных фактов...

ПОДОБИЕ – 1) в обычном словоупотреблении – то же, что сходство, аналогия, родственность и т.п.; 2) в науке – понятие, характеризующее одинаковость формы объектов, независимо от их размеров. Подобны, например, фотоотпечатки одного негатива, сделанные в разных увеличениях. Отношение подобия рефлексивно, симметрично и транзитивно, т. е. является отношением типа равенства. Частным случаем подобия объектов является их полное совпадение – тождество. Преобразование какого-либо объекта в объект, ему подобный, наз. преобразованием подобия.