Логика

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

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

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

ИНДУКЦИЯ В ИСТОРИЧЕСКОМ ИССЛЕДОВАНИИ (лат inductio - наведение) - 1) логическое суждение, основанное на методе «восхождения от конкретного к абстрактному», от частных (отдельных) фактов к общему выводу; 2) общенаучный метод изучения явлений посредством сбора и описания эмпирических данных (признаков и проявлений) и выведения на их основе общих свойств и характеристик. Термин «индукция» встречается у Сократа, Аристотеля, который рассматривал ее как способ умозаключения, противоположный силлогизму. Родоначальником современного учения об индукции как основном методе научного познания выступает Р. Бэкон...

СИЛЛОГИЗМ (греч. συλλογισμός) – вид дедуктивного умозаключения, в котором из двух высказываний (посылок) субъектно-предикатной структуры следует новое высказывание (заключение) той же логической структуры. Обычно силлогизмом называют категорический силлогизм, состоящий из трех терминов, попарно связанных в высказываниях посредством одного из следующих четырех логических отношений: «Всякое... есть...», «Ни одно... не есть...», «Некоторое... есть...», «Некоторое... не есть...» (обозначаемых соответственно буквами А, Е, I, О).

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

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

ЛОГИЧЕСКИЙ ЭМПИРИЗМ – самоназвание логического позитивизма, получившее широкое распространение, начиная с 1930-х гг., особенно после переезда ведущих представителей австро-немецкого логического позитивизма в США. Сам термин «логический эмпиризм» призван был продемонстрировать независимость концепции его сторонников, претендовавших на радикальную «революцию в философии» и создание подлинной философии современной науки, от всех разновидностей прежней философии, не исключая и позитивизма, и подчеркнуть ориентацию на собственно научную эмпирию. Поздний логический эмпиризм 1950-х гг.

ЛОГИЧЕСКИЙ ПОЗИТИВИЗМ – направление неопозитивизма, возникшее в 1920-х гг. на основе Венского кружка (Р. Карнап, О. Нейрат, Ф. Франк, Г. Фейгль и др.), с которым тесно сотрудничало берлинское Общество эмпирической философии (Рейхенбах, К.Гемпель и др.). В конце 1920-х – начале 1930-х годов приобретает значительное влияние и выступает как идейная основа неопозитивистской философии науки. Основоположники логического позитивизма выдвигают задачу разработки последовательно научной философии и претендуют на осуществление «революции в философии», которая окончательно преодолела бы т.н.

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