Логика

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

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

Отрицание (Кузнецов, 2007)

ОТРИЦАНИЕ — 1) в естественном языке—в зависимости от местоположения различают внешнее и внутреннее О. Внешнее О. (пропозициональное) служит для образования сложного высказывания из другого (не обязательно простого) высказывания. В нем утверждается отсутствие положения дел, описываемого в отрицаемом высказывании. На основании классического понимания истинности как соответствия действительности это означает, что в случае истинности отрицаемого высказывания отрицающее его высказывание будет ложным, и наоборот. В русском языке пропозициональное О. обычно выражается посредством оборота «неверно, что», за которым следует отрицаемое высказывание...

Обобщение и ограничение понятий

ОБОБЩЕНИЕ И ОГРАНИЧЕНИЕ ПОНЯТИЙ — операции с понятиями, суть которых состоит в переходе от понятия с данным объемом к более широкому или к более узкому по объему понятию. Обобщить понятие А - означает найти понятие В с тем же родом, такое, что объем А строго включается в объем В. Ограничить понятие А — означает найти непустое понятие В с тем же родом, такое, что объем В строго включается в объем А.

Непротиворечия закон

НЕПРОТИВОРЕЧИЯ ЗАКОН - один из основных принципов логического рассуждения, согласно которому два взаимно противоречащих высказывания не могут быть одновременно истинными, т.е. одно из них должно быть ложным. Формулировка Н.з. восходит к софистам. Аристотель формулирует Н.з. прежде всего как универсальный принцип бытия, наиболее достоверного из всех начал: «...невозможно, чтобы одно и то же в одно и то же время было и не было присуще одному и тому же в одном и том же отношении».

Модальность (Кузнецов, 2007)

МОДАЛЬНОСТЬ - характеристика положения дел в качестве (онтологически) необходимого, случайного, возможного (факические алетические М.), в качестве логически необходимого, логически случайного, логически возможного (логические алетические М.), в терминах «было», «будет», «всегда было» и пр. (временные М.), характеристика мнения человека в терминах «знает», «полагает» и пр. (эпистемические М.), действий или бездействий как разрешенных, запре-щенных, обязательных (деонтические М.) и др. Понятие М. сформулировано Аристо-телем.

Метатеория (Кузнецов, 2007)

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

Металогика (Кузнецов, 2007)

МЕТАЛОГИКА — раздел современной логики, в котором исследуются способы построения логических теорий, свойства, присущие им, а также отношения, существующие между ними. Зачатки проблематики М. можно обнаружить уже в «Аналитиках» Аристотеля, пытавшегося обосновать синтаксическими методами полноту своей ассерторической силлогистики, однако активно М. стала развиваться лишь в современной логике.

Обычно под логикой понимается множество предложений, связанных между собой отношением логического следования. Поэтому первый вопрос, который здесь встает, есть вопрос о формализации (аксиоматизации) этого отношения, т.е. о возможности построения логической теории, в которой это отношение задавалось бы отношением выводимости...

Логическое следование

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

Логический фатализм (Кузнецов, 2007)

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

Логический позитивизм (Кузнецов, 2007)

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

Страницы