Skip navigation

Что такое Логика? Значение слова logika, словарь логики

Значение слова «Логика» в Словаре логики. Что такое логика? Узнайте, что означает слово logika - толкование слова, обозначение слова, определение термина, его лексический смысл и описание.

Логика

Логика – (от греч. logos — слово, понятие, рассуждение, разум), или: Формальная логика,  — наука о законах и операциях пра­вильного мышления. Согласно основному принципу Л., пра­вильность рассуждения (Вывод в Энциклопедическом словаре'>вывода) определяется только его логиче­ской формой, или структурой, и не зависит от конкретного содержания входящих в него утверждений. Различие между формой и содержанием может быть сделано явным с помощью особого язы­ка, или символики, оно относительно и зависит от выбора языка. Отличительная особенность правильного вывода в том, что от истинных посылок он всегда Вести в Словаре Ожегова'>ведет к истинному Заключение в Словаре синонимов'>заключению. Та­кой вывод позволяет из имеющихся истин получать новые исти­ны с помощью чистого рассуждения, без обращения к опыту, интуиции и т. п. Неправильные выводы могут от истинных посы­лок вести как к истинным, так и к ложным заключениям. Л. занимается не только связями высказываний в правильных выводах, но и многими иными проблемами: смыслом и значением выражений языка, различными отношениями между терминами (понятиями), операциями определения и ЛОГИЧЕСКИЙ в Словаре иностранных слов'>логического деления по­нятий, вероятностными и статистическими рассуждениями, па­радоксами и логическими ошибками и т. д. Но главные темы логи­ческих исследований - анализ правильности рассуждения, формулировка Закон в Энциклопедическом словаре'>законов и принципов, соблюдение которых являет­ся необходимым условием получения истинных заключений в процессе вывода. Правильным является, напр., рассуждение, следующее Схема в Энциклопедическом словаре'>схеме: «Если есть первое, то есть и второе; есть первое, значит, есть и второе» (см.: Модус поненс). По этой схеме из высказываний «Если сейчас день, то светло» и «Сейчас день» вытекает высказывание «Сейчас светло». Какие бы конкретные истинные высказывания ни подставлялись в указанную схему, заключение обязательно бу­дет истинным. В правильном рассуждении заключение вытекает из посылок с логической необходимостью, общая схема такого рассуждения вы­ражает логический закон. Рассуждать логически правильно — зна­чит рассуждать в соответствии с законами Л. Л. не просто перечисляет некоторые схемы правильного рас­суждения. Она выявляет различные типы таких схем, устанавлива­ет общие критерии их правильности, выделяет исходные схемы, из которых по определенным правилам могут быть получены другие схемы данного типа, исследует проблему взаимной совместимости схем и т. д. В современной Л. логические процессы изучаются путем их ото­бражения в языках формализованных, или логических, исчислений. Построение исчисления отличается тщательностью, с которой формулируются его синтаксические и семантические правила, от­сутствием исключений, характерных для естественного языка. Ис­следованием формального строения логических исчислений, пра­вил образования и преобразования входящих в них выражений занимается логический синтаксис. Отношения между исчисления­ми и содержательными областями, служащими их интерпретаци­ями или моделями, исследуются семантикой логической. Современная Л. слагается из большого числа логических систем, описывающих отдельные фрагменты, или типы, содержательных рассуждений. Эти системы принято делить на Л. классическую, включающую классические Л. высказываний и Л. предикатов, и Л. неклассическую, в которую входят модальная Л., интуиционист­ская Л., многозначная Л., неклассические теории логического следо­вания, паранепротиворечивая Л., Л. квантовой механики и др. Каж­дая из этих Л. также включает, как правило, соответствующие Л. высказываний и Л. предикатов. Таким образом, хотя Л. как наука едина, она слагается из множества более или менее частных сис­тем, ни одна из которых не может претендовать на выявление ло­гических характеристик мышления в целом. Единство Л. проявляет­ся прежде всего в том, что входящие в нее «отдельные» Л. пользуются при описании логических процессов одними и теми же методами исследования. Все они отвлекаются от конкретного содержания выс­казываний и умозаключений и оперируют только их формальным, структурным содержанием. В каждой применяется язык символов и формул, строящийся в соответствии с общими для всех систем принципами. И наконец, «сконструированная» Л. вызывает ряд воп­росов, характерных для любой системы: нет ли в ней противоре­чий, охватывает ли она все истины рассматриваемого рода и др. (см.: Непротиворечивость, Полнота, Разрешения проблема). Между разными логическими системами имеются определенные связи. Одни системы могут быть эквивалентны другим, или включаться в них, или быть их обобщением и т. д. Единство Л. проявляется также в том, что разные Л. не противоречат друг другу: законами одной из них не являются отрицания законов, принятых в другой. История Л. насчитывает около двух с половиной тысячелетий и разделяется на два основных этапа. Первый начался с трудов Ари­стотеля (384-322 до н. э.) и продолжался до второй половины XIX - начала XX в., второй — с этого времени до наших дней. На первом этапе Л. развивалась очень медленно, это дало И. Канту по­вод заявить, что она является с самого начала завершенной наукой, не продвинувшейся после Аристотеля ни на один шаг. Ошибоч­ность такого представления была ясно показана в последние сто с небольшим лет, когда в Л. произошла научная революция и на смену традиционной Л. пришла современная Л., называемая также математической или символической Л. В основе последней — идеи Г. Лейбница (1646-1716) о возможности представить доказатель­ство как математическое вычисление. Д. Буль (1815-1864) истол­ковал умозаключение как результат решения логических равенств, в результате чего теория умозаключения приняла вид своеоб­разной алгебры, отличающейся от обычной алгебры лишь от­сутствием численных коэффициентов и степеней. С работ Г. Фреге (1848-1925) начинается применение Л. для исследования оснований математики. Значительный вклад в развитие Л. в даль­нейшем внесли Б. Рассел (1872-1970), А. Н. Уайтхед (1861-1947), Д. Гильберт (1862-1943) и др. В 30-е годы фундаментальные ре­зультаты получили К. Гёдель (1906-1978), А. Тарский (1901-1983), А.Чёрч(р. 1903).   На первых порах современная Л. ориентировалась почти всеце­ло на анализ только математических рассуждений. Это поддержи­вало иллюзию, что развитие Л. не зависит от эволюции теорети­ческого мышления и не является в к.-л. смысле отображением последней. В 20-е годы XX в. предмет логических исследований существенно расширился. Начали складываться многозначная Л., предполага­ющая, что наши утверждения являются не только истинными или ложными, но могут иметь и другие истинные значения; модальная Л., рассматривающая понятия необходимости, возможности, слу­чайности и т. п.; деонтическая Л., изучающая логические связи нормативных высказываний, и др. Все эти новые разделы не были непосредственно связаны с математикой, в сферу логического ис­следования вовлекались уже естественные и гуманитарные науки. В дальнейшем сложились и нашли интересные применения: Л. времени, описывающая логические связи высказываний о про­шлом и будущем; паранепротиворечивая Л., не позволяющая вы­водить из противоречий все что угодно; эпистемическая Л., изуча­ющая понятия «опровержимо», «неразрешимо», «доказуемо», «убежден», «сомневается» и т. п.; оценок Л., имеющая дело с поня­тиями «хорошо», «плохо», «безразлично», «лучше», «хуже» и т. п.; Л. изменения, говорящая об изменении и становлении нового; причинности Л., изучающая утверждения о детерминизме и при­чинности; парафальсифицирующая Л., не позволяющая отвергать положения, хотя бы одно следствие которых оказалось ложным; релевантная Л. и др. Экстенсивный рост Л. не завершился и сейчас. Основные ее ветви, или разделы, можно сгруппировать так: о базисная Л., в которую входят классическая Л., модальная Л., многозначная Л., неклассические теории логического следования; >> металогика, исследующая сами логические теории, их внут­реннюю структуру и связи с описываемой ими реальностью; о разделы математического направления, включающие теорию доказательства, теорию множеств, теорию функций, Л. вероятно­стей, обоснование математики; о разделы, ориентированные на приложение в естественных и гуманитарных науках, такие, как индуктивная Л., изучающая про­блематичные выводы, логические теории времени, причиннос­ти, норм, оценок, действия, решения и выбора и др.; >> разделы, находящие применение при обсуждении опреде­ленных философских проблем: Л. бытия, Л. изменения, Л. части и целого, логические теории вопросов, знания, убеждения, вооб­ражения, стремления и т. п. Границы между этими областями не являются четкими, одни и те же ветви Л. могут иметь одновременно отношение к филосо­фии и естествознанию, к математике и металогике и т. д. Прояснение и углубление оснований современной Л. сопро­вождалось пересмотром и уточнением таких центральных ее по­нятий, как логическая форма, логический закон, доказательство, логическое следование и др. Законы Л. долгое время представлялись абсолютными истина­ми, никак не связанными с опытом. Однако возникновение кон­курирующих логических теорий, отстаивающих разные множества законов, показало, что Л. складывается в практике мышления и что она меняется с изменением этой практики. Логические зако­ны - такие же продукты человеческого опыта, как и аксиомы евклидовой геометрии, тоже казавшиеся когда-то априорными. Именно постоянно повторяющаяся практика выявляла некото­рые общие и инвариантные отношения между вещами, вовлечен­ными в трудовую деятельность, и закрепляла их в сознании в виде некоторых логических структур, лежащих в основе формулирова­ния правил логики. Доказательство, и в особенности математическое, принято было считать императивным и универсальным указанием, обязатель­ным для всякого непредубежденного ума. Развитие Л. показало, однако, что доказательства вовсе не обладают абсолютной, вне­временной строгостью и являются только опосредствованными средствами убеждения. Даже способы математической аргумента­ции на деле историчны и социально обусловлены. В разных логи­ческих системах доказательствами считаются разные последова­тельности утверждений, и ни одно доказательство не является окончательным. Перемены, происшедшие в Л. в XX в., приблизили ее к реально­му мышлению и тем самым к человеческой деятельности, одной из разновидностей которой оно является. Для правильного понимания предмета и задач формальной Л. важно четко представлять ее соотношение с диалектической Л. Ди­алектика как Л. исследует становление и развитие понятий и пред­ставлений, их отношения, переходы, противоречия. Диалектиче­ские принципы историзма, конкретности истины, единства абстрактного и конкретного, практики как критерия истины и т. д. направлены на познание закономерностей мышления, взятого в его движении и развитии, в последовательном постижении ре­альности. Формальная Л. главное внимание направляет на прояс­нение структуры готового знания, на описание его формальных свя-   зей и элементов. Диалектическая и формальная Л. - две разные науки, различающиеся как предметами своего исследования, так и методами. Современная Л. находит применение во многих областях. В час­тности, она оказала влияние на развитие математики, прежде всего теории множеств, формальных систем, алгоритмов, рекурсивных функций; идеи и аппарат Л. используются в кибернетике, вычис­лительной технике, в электротехнике и др.

Словарь логики
Прослушать

Поделиться с друзьями:

Постоянная ссылка на страницу:

Ссылка для сайта/блога:

Ссылка для форума (BB-код):

«Логика» в других словарях:

Логика

- (греч. logike) - наука о способах доказательств и опровержений;совокупность научных теорий, в каждой из которых рассматриваютсяопр...
Энциклопедический словарь

Логика

- Ж. греч. наука здравомыслия, наука правильно рассуждать; умословие. Логик м. умослов, правильный и здравый мыслитель, знающий наук...
Словарь Даля

Логика

- Наука о законах и формах мышления. и еще 2 определения
Словарь Ожегова

Логика

- — наука о способах доказательств и опровержений. Умение аргументированно и доходчиво убеждать собеседника..
Исторический словарь

Логика

- В книге: 1) универсальная граница данности вещей в мире, сама остающаяся незримой; 2) методика косвенного выявления этой границы... и еще 10 определений
Философский словарь

Логика

- (от греч. logik - соответствующий рассуждениям) - англ. logic; нем. Logik. 1. Совокупность  наук о законах и формах  п... и еще 2 определения
Социологический словарь

Логика

- Логика (от logoV разум, слово, мышление) - по мнению одних . наука одоказательстве, по мнению других . наука о законах и формах...
Энциклопедия Брокгауза и Ефрона

ЛОГИКА

- И, мн. нет, ж. 1. Наука о законах мышления и его формах. Изучать логику. Математическая логика (включающая математические методы...
Словарь иностранных слов

логика

- Возм., через нем. Logik (ХVI в.; см. Шульц–Баслер 2, 39) от лат. lоgiса, греч. ..
Этимологический словарь Фасмера

логика

- Ход рассуждений, умозаключений; убеждение, точка зрения. Бабская (разг.), безукоризненная, беспощадная, беспристрастная, блестящ...
Словарь эпитетов

логика

- Л'ОГИКА , логики, ·жен. ( ·греч. logike от logos - слово, разум). 1. Наука об общих законах развития объективного м...
Толковый словарь Ушакова

Связанные понятия: