Логика

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Разрешения проблема

РАЗРЕШЕНИЯ ПРОБЛЕМА – возникла в связи с осознанием невозможности провести некоторые построения дозволенными методами. Первыми примерами неразрешимых задач явились решение в радикалах уравнений выше четвертой степени и невозможность провести некоторые построения циркулем и линейкой. Общая формулировка проблемы разрешения следующая: дан класс методов Ф, дан класс проблем Р. Можно ли найти единый метод f ∈Φ (разрешающий метод), позволяющий решить каждую из проблем Р, для которой в принципе существует решение?..

Логические связки

ЛОГИЧЕСКИЕ СВЯЗКИ – символы логических языков, используемые для образования сложных высказываний (формул) из элементарных. Логическими связками называют также соответствующие этим символам союзы естественного языка. Обычно используются такие логические связки, как конъюнкция (союз «и», символические обозначения: &, ∧ и точка в виде знака умножения, которые часто опускают, записывая конъюнкцию А и В как AB), дизъюнкция (нестрогий союз «или», обозначается как «∨»), импликация («если..., то», обозначается с помощью знака «⊃» и различного рода стрелок), отрицание («неверно, что...», обозначается: , ~ или чертой над отрицаемым выражением). Из перечисленных отрицание является одноместной (унарной) связкой. Другие являются двухместными (бинарными). В принципе логические связки могут быть сколь угодно местными, но на практике более, чем бинарные, используются очень редко...

Страницы

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