Логика

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Логический позитивизм (НФЭ, 2010)

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

Логический метод исследования

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

Логический атомизм (НФЭ, 2010)

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

Страницы

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