Логика

МЕТАЯЗЫК И ЯЗЫК-ОБЪЕКТ — понятия современной логики. Когда предметом исследования является естественный или искусственный язык (например, логическое исчисление или язык конкретной научной теории), необходимо отличать исследуемый язык, называемый языком-объектом, от языка, на котором ведется исследование языка-объекта; последний называется метаязыком по отношению к данному языку-объекту. В частности, метаязыком является язык, на котором формулируется некоторая метатеория. Отсутствие различения между метаязыком и языком-объектом приводит к различного рода парадоксам.

КРУГ В ДОКАЗАТЕЛЬСТВЕ (лат. circulus in demonstrando), или порочный круг (лат. circulus vitiosus),— логическая ошибка, состоящая в том, что в качестве аргумента доказательства используется положение, доказанное с помощью самого доказываемого тезиса. Эта ошибка встречается иногда и в научных работах. Так, многие математики на протяжении более 2 тысяч лет, делая попытки доказать пятый постулат Евклида о параллельных, клали в основу своих доказательств в неявной форме сам доказываемый постулат. Маркс показал, что в рассуждениях А.

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

Философский словарь. Под ред. И.Т. Фролова. М., 1991, с. 186-187.

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

Философский словарь. Под ред. И.Т. Фролова. М., 1991, с. 175.

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

КОНСТРУКТИВНЫЙ ПРОЦЕСС - логико-гносеологическая категория, обозначающая абстрактно-знаковые процессы некоторого специального типа, играющие важную роль в исследовании дискретной активности и, в частности, в исследовании умственной конструктивной деятельности человека. В конкретных ситуациях, как правило, задаются целые семейства однотипных конструктивных процессов. Каждое такое задание основывается на некотором эталонном списке элементарных знаков, рассматриваемых в качестве неразложимых на дальнейшие составные части, некотором перечне допустимых потенциально осуществимых элементарных действий над конфигурациями определенного типа, составленными из копий знаков исходного списка, и на специально указываемых правилах, регулирующих (т. е. разрешающих или предписывающих) выполнение определенных действий на отдельных шагах конструктивного процесса...

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

КОНСТРУКТИВНЫЙ ОБЪЕКТ – логико-гносеологическая категория, обозначающая объекты, возникающие в результате развертывания порождающих их конструктивных процессов. Рассматриваемые безотносительно к смыслу, который им впоследствии может быть придан, а также к их предполагаемому использованию, конструктивные объекты представляют собой некоторые специальным образом устроенные конфигурации элементарных знаков, и как таковые они должны восприниматься чисто синтаксически.

ИСТОРИЧЕСКОЕ И ЛОГИЧЕСКОЕ — философские категории, раскрывающие важные особенности процесса развития, а также соотношение между логическим развитием мысли и реальной историей предмета. Историческое выражает структурные и функциональные процессы возникновения и формирования данного объекта, логическое — те соотношения, законы, связи и взаимодействия его сторон, которые существуют в развитом состоянии объекта. Историческое относится к логическому как процесс развития к его результату, в котором последовательно складывающиеся в ходе реальной истории связи достигли «полной зрелости, своей классической формы» (Энгельс). Историческое и логическое находятся в диалектическом единстве, включающем в себя момент противоречия...

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