Логика

ЛОГИКА (от греч. λόγος — слово, речь, разум, рассуждение) — наука о законах, формах и приемах интеллектуальной (мыслительной) познавательной деятельности. В настоящее время Л. представляет собой разветвленную и многоплановую науку, в составе которой можно выделить следующие основные разделы — теорию рассуждений, метаяогику и логическую методологию.

Читайте подробное определение понятия Логика.

Экспликация (НФЭ, 2010)

ЭКСПЛИКАЦИЯ (лат. explicatio – объяснение, развертывание) – в широком смысле разъяснение, уточнение позиции, понятия, значения слова. В более узком и точном смысле, сформулированном Р. Карнапом в его концепции логической семантики, – замещение представления обыденного сознания точным научным понятием. Экспликация обычно выступает как разработка исходных научных понятий в процессе формирования первоначальных концептуальных структур – типологий, первичных объяснительных схем и т.д., при использовании смыслового содержания обыденного сознания. Экспликация в этом смысле выступает как исходная для всякого теоретического сознания процедура рефлексии над смыслом и значением представлений обыденного сознания, предполагающая концептуально-теоретический ответ на вопрос: «Что это такое?»...

Аксиома (НФЭ, 2010)

АКСИОМА (греч. ἀξίωμα – принятое положение) – предложение, по какой-либо причине принимаемое в качестве исходного для каких-либо дальнейших рассуждений. Это общее понимание аксиомы всякий раз конкретизируется вместе с уточнением того, что понимается под предложением, причиной и под дальнейшими рассуждениями. Типичные примеры аксиом: 1) некоторое выражение символического языка исчисления, если под дальнейшими рассуждениями понимаются использующие его выводы в рамках данного исчисления. В этом случае причина принятия аксиом – само определение рассматриваемого исчисления. Здесь сомнения по поводу принятия аксиом бессмысленны...

Релевантная логика (НФЭ, 2010)

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

Элиминационная теорема

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

Значение (НФЭ, 2010)

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

Индукция в историческом исследовании (Чубарьян, 2014)

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

Силлогизм (НФЭ, 2010)

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

Закон логический

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

Логическое и историческое (НФЭ, 2010)

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

Логический эмпиризм

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

Страницы

Subscribe to RSS - Логика
Яндекс.Метрика