Энциклопедия эпистемологии и философии науки

ЛОГИКА

ЛОГИКА(от греч. logik (logos) — слово, разум, рассуждение) — наука о правильных (корректных) рассуждениях. Традиционно рассуждение состоит из последовательности предложений, названных посылками, из которых следует единственное предложение, названное заключением. Рассуждение называется правильным, когда из верных посылок следует верное заключение. При этом наибольший интерес представляют дедуктивные рассуждения. В них связь между посылками и заключением опирается на логический закон. Именно поэтому от истинных посылок мы приходим к истинному заключению. Дедуктивная Л. является ядром логической науки с момента ее возникновения и до наших дней. Основная цель Л. — формализация, схематизация и систематизация правильных рассуждений.

Основные этапы развития Л.Впервые подобная задача для определенного класса рассуждений (силлогизмов) была выполнена в 4 в. до н. э. Аристотелем. Классические силлогизмы представляют собой некоторые схемы рассуждений, позволяющих из истинности двух предложений выводить истинность некоторого третьего предложения. Приведем один из самых известных конкретных примеров: «Все люди смертны. Сократ человек. Следовательно, Сократ смертен». Этот вывод имеет форму: все М суть P. S есть М. Следовательно, S есть Р. Если известно, что две посылки такого вида истинны, то всегда можно утверждать истинность заключения. Так возникла Л. как самостоятельная наука в виде силлогистики. Главная заслуга Аристотеля состоит в том, что он впервые обратил внимание на формальный характер Л. Правильность схемы силлогистического рассуждения не зависит от конкретного содержания терминов М, Р и S. Отсюда Л. стала называться формальной Л., основу которой составляла силлогистика, изложенная Аристотелем в Первой и Второй «Аналитиках». Кроме этого к логическим трудам Аристотеля относятся «Категории», «Об истолковании», «Топика» и «О софистических опровержениях». Все эти трактаты были объединены последователями Аристотеля под общим названием «Органон», что означает «орудие» (инструмент») познания.

Аристотелевская силлогистика содержала всего 24 правильные схемы рассуждений, и это не отвечало требованиям Нового времени.Начинается бурное развитие наук, особенно математики, в которой центральное место занял анализ переменных величин и изучение операций над ними. Г. Лейбницем была выдвинута идея построения универсального языка и формализация на базе такого языка не только математических доказательств, но вообще любых рассуждений. Л., по мысли Лейбница, должна была стать «искусством исчисления».

Водоразделом между традиционной и современной Л. является 1847, когда Дж. Буль опубликовал исчисление, дающее бесконечно много правильных схем рассуждений. Сегодня исчисление Буля известно как алгебра логики (термин Ч.С. Пирса), где акцент сделан на изучение свойств логических операций.

Только после того, как Г. Фреге в 1879 и Пирс в 1885 ввели в язык алгебры логики предикаты, предметные переменные и кванторы, возникла реальная возможность построения системы логики в виде дедуктивной системы. Это и было сделано Фреге, который по праву считается основателем символической Л. в ее современном понимании. Пытаясь реализовать идеи Лейбница, Фреге в работе «Исчисление понятий» изобрел символическую запись для строгих рассуждений. Хотя его нотация сейчас совсем не используется (напр., формулы рисовались в виде двумерного дерева), Фреге в действительности впервые построил исчисление высказываний и исчисление предикатов (см.Логика высказываний и Логика предикатов).Термин «символическая логика» был, по-видимому, введен Дж. Венном, опубликовавшем в 1881 под таким названием книгу.

Основы современной логической символики были разработаны итал. математиком Дж. Пеано, чья логическая запись была принята, хотя и частично в модифицированном виде, А.Н. Уайтхедом и Б. Расселом. Они издали фундаментальный трехтомный труд «Principia Mathematica», сравнимы по своему влиянию с аристотелевским «Органоном». В широком аспекте этот труд можно оценивать, как попытку реализовать идеи Лейбница об универсальном исчислении, а в узком смысле — как защиту логицизма, утверждающего, что вся, или почти вся, математика редуцируема к Л., и в ней невозможно появление каких-либо парадоксов, в частности тех, которые были обнаружены в канторовской теории множеств в конце 19 — начале 20 вв.

Иной способ защиты от парадоксов был предложен Д. Гильбертом в концепции формализма, разрабатывавшейся им начиная с 1904. Понятия формальной системы и доказательства становятся строго формализованными. С этого времени начинается совершенно новый этап развития современной Л. Изучаются не рассуждения, не отдельные их классы, не те или иные аргументы, а доказательства как формальные объекты. Появляется самостоятельный раздел Л. — теория доказательств. Для этого сами формализованные системы, напр. теория множеств, должны были быть представлены в виде аксиоматической системы, в основе которой лежит Л. исчисления. В таком случае остается только доказать непротиворечивость этой системы: логическая система является непротиворечивой, если в ней одновременно не доказуемы некоторая формула и ее отрицание.

Представление логических систем в виде исчислений может быть совершенно различным. Первоначально такое представление состоялось в форме так называемых гильбертовских исчислений, которые по сей день играют важную роль при образовании новых исчислений, а также при их классификации. Идеи, лежащие в основе гильбертовского исчисления, чрезвычайно просты: из бесконечного множества законов логики (тавтологий) выбирается некоторое конечное число «очевидных» законов, названных аксиомами, и минимальное число правил, с помощью которых из аксиом (а также из множества допущений) выводятся другие законы. Напр., в Л. высказываний можно обойтись только одним правилом вывода (modus ponens), известным еще Аристотелю: из формул ф и ф з ср выводима формула &LT; р. Данное правило зависит только от вида формул и может, в принципе, производиться некоторым автоматическим устройством. В первопорядковой Л. (Л. предикатов) добавляются еще правила для кванторов.

Доказательством называется такая конечная последовательность формул, где любая формула есть либо аксиома, либо непосредственное следствие из каких-либо предыдущих формул по одному из правил вывода (которые могут применяться неоднократно). Доказанная формула называется теоремой. К логической системе предъявляются некоторые требования, являющиеся ее фундаментальными свойствами. Во-первых, требуется, чтобы все наши теоремы являлись тавтологиями. Это требование иногда называют теоремой о корректности. Отсюда следует фундаментальное свойство непротиворечивости. Противоречивая Л. никакой ценности не представляет. В ней истина и ложь неразличимы, и поэтому любая теорема одновременно и истинна, и ложна. Во-вторых, желательно, чтобы были доказуемы все тавтологии. Это требование называется теоремой о полноте. По существу, здесь говорится о том, что логических средств, т.е. аксиом и правил вывода, вполне достаточно для доказательства всех тавтологий. Таким образом, достигается главная цель: используя минимальные средства, можно обозреть все множество логических законов данной логической системы. Теорема о корректности и теорема о полноте вместе дают теорему адекватности: формула Ф доказуема тогда, и только тогда, когда Ф тавтология. Таким образом, понятие логического закона как общезначимой формулы (тавтологии) и понятие логического закона как теоремы здесь совпадают. Или, более общо, понятие непротиворечивости и понятие полноты совместимы. Для классической Л. высказываний теорема адекватности была опубликована в 1920 Э. Постом, а для Л. предикатов в 1930 К. Геделем.

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

Два выдающихся результата, полученных в 1931 и названных ограничительными теоремами, заставили пересмотреть сами возможности и претензии Л. Первая теорема Геделя о неполноте утверждает, что для достаточно богатых формальных систем, содержащих минимум арифметики (операции сложения и умножения), найдется такая формула Ф, что ни она, ни ее отрицание не являются доказуемыми в этой системе при условии ее непротиворечивости. Более того, вторая теорема Геделя о неполноте утверждает, чтовкачестве Ф можно взять утверждение о непротиворечивости рассматриваемой системы. Таким образом, программа Гильберта, в том виде, в каком он ее представил, оказалась невыполнима. В свою очередь, в 1933 А. Тарский показал, что понятие истины в достаточно богато интерпретируемых языках неопределимо, напр. арифметическая истина неопределима в арифметике. Опираясь на понятие истинности в формализованных языках, Тарский в 1936 вводит центральное для Л. понятие отношения логического следования.

Основные проблемы Л.Первая проблема состоит в том, что считать границами Л. Уже ограничительные теоремы Геделя и Тарского говорят о том, что если мы стремимся сохранить свойство дедуктивной полноты и положительное понятие истинного высказывания, то мы должны ограничиться первопорядковой Л. QL. Только в 1969 П. Линдстрем дал характеризацию QL в терминах ее глобальных теоретико-модальных свойств, которыми являются компактность и наличие несравнимых моделей (теорема Левенгейма—Скулема). Эта работа стала образцовой для важнейших исследований в Л. последней четверти 20 в. Ограниченность выразительность средств QL очевидна: она не может дать определение натурального числа, не отличает конечного от бесконечного, счетного от несчетного. К тому же оказалось, что многие лингвистические понятия и дистинкции выходят далеко за сферу применения QL. Поэтому стала применяться квалификация по множествам объектов и самим предикатам; т.е. вводятся новые кванторы, а также допускаются инфинитарные языки. Однако как бы мы не расширяли QL, в любом случае теряется или свойство компактности, или свойство Левенгейма—Скулема, или оба вместе. Дедуктивная полнота пропадает. В результате, в конце 20 в. стал обсуждаться вопрос о границах Л., о том, что считать логическими операциями, логической системой и, вообще, что есть Л., поскольку расширение QL ведет к тому, что вся, или почти вся, математика становится частью Л.

Вторая проблема касается соотношения логических систем с реальным миром. Если здесь есть связь, то весьма отдаленная и пока не выясненная. Современное исследование самих логических систем приобретает все более абстрактный характер. С одной стороны, интерес представляют уже не отдельные логические системы, какими бы богатыми возможностями они ни обладали (классическая Л., интуиционистская Л., отдельные модальные логики и т.д.), а классы логик, зачастую континуальные и упорядоченные решеточным образом. Изучаются свойства этих решеток. С др. стороны, Л. всецело имеет дело с классами структур и с некоторыми условиями замыкания на этих структурах. Тогда главным становится определимость классов структур в некоторой Л., их связи и сравнение, напр. определимость топологической структуры.

Больший смысл имеет вопрос об алгебраических структурах, которые соответствуют логическим исчислениям. Алгебраизация логики, начатая Дж. Булем, была продолжена В. Джевонсом, Ч.С. Пирсом и Э. Шредором. А. Тарский в 1935 детально определяет связь между булевой алгеброй и классическим пропозициональным исчислением, основываясь на оригинальной идее А. Линденбаума (1926), получившей название «алгебры Линденбаума». В середине 20 в. Л. Хенкином, Р. Сикорским, Е. Расевой и др. было осознано, что этот метод может быть применен и к прочим логикам. В 1989 В. Блоком и Д. Пигоцци понятию «алгебраизуемая Л.» дается точное математическое определение. Внутренним свойством Л., делающим ее алгебраизуемой, является (обобщенная) теорема адекватности. В итоге, в конце 20 в. появился термин «абстрактная алгебраическая логика», а соответствующие алгебраические представления были найдены и для силлогистики, и для Л. предикатов.

Булева алгебра есть результат алгебраизации классической Л. высказываний. Если в последней при доказательствах применяется правило modus ponens, то в алгебраических доказательствах в тождествах вместо одних терминов подставляются др. термины. По сути, эти два способа рассуждений эквивалентны, но именно логический способ ставит фундаментальную проблему: насколько дедуктивная Л. соответствует тому, как человек на самом деле рассуждает? Современная дедуктивная Л. является максимальным упрощением и сильным огрублением умственных операций человека, всего лишь некоторой конструкцией, слишком отдаленной от реальных процессов человеческих рассуждений. Однако эта конструкция весьма эффективно работает. В середине 30-х гг. 20 в. было обнаружено, что Л., основанная на принципе двузначности, имеет прямое отношение к работе переключательных электрических схем (В.И. Шестаков, К. Шеннон, А. Накасима), и в дальнейшем она легла в основу проектирования микросхем для современной цифровой электронной техники. Дополненное характеризацией вычислимости, предложенной А. Тьюрингом, А. Чёрчом и К. Геделем, это открытие привело в середине 20 в. к созданию компьютеров. В течение двух последних десятилетий многие теоретические идеи автоматического доказательства были воплощены в компьютерных программах — так называемых пруверах. Эти программы осуществляют поиск выводов в различных логических исчислениях. Таким образом, отношение логического следования было симулировано этими программами (алгоритмами). Так в 70-е гг. появился термин «компьютерная Л.». Однако между компьютерным доказательством и доказательством человека лежит целая пропасть. К преодолению этой пропасти отчасти ведет создание искусственного интеллекта (ИИ).

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

Недедуктивные рассуждения в Л.С развитием естественных наук и методов научного анализа, с развитием эпистемологических исследований, а особенно с появлением в последние 40 лет работ в области ИИ, все большее значение стали приобретать всевозможные не дедуктивные рассуждения или, в более узком смысле, приближенные (defeasible) рассуждения, которые поддаются логической формализации. В недедуктивных рассуждениях истинность посылок обеспечивает получение заключения, хотя возможно, что заключение окажется ложным. Зачастую это происходит при поступлении новой информации. Самыми известными классами подобных рассуждений являются вероятностные рассуждения, индуктивные рассуждения (см.Индукция)и немонотонные рассуждения (см.Немонотонные логики).Философы изучали природу подобных рассуждений, начиная с аристотелевского анализа диалектических рассуждений в «Топике». Исторически наиболее значительным трудом в этой области является книга Дж.С. Милля «Система логики», изданная в 1843. В ней отвергается силлогистика Аристотеля и предлагается новая парадигма получения знания: не «от всеобщего к частному» (дедуктивные рассуждения), а «от частного к всеобщему» (индуктивные рассуждения). В 1902 Ч.С. Пирсом вводится третий вид рассуждений — абдуктивные рассуждения (см.Абдукция):«от наиболее приемлемой информации к наилучшему объяснению». Эти рассуждения становятся важным компонентом научного метода. Крах логического позитивизма в середине 20 в. привел к отказу от рассмотрения физического мира как логической конструкции, состоящей из фактов о чувственных данных. Взамен был предложен новый взгляд на взаимоотношение между чувственным восприятием и внешним миром. Р. Чизхолм, начиная с 1957, стал развивать теорию, что чувственные явления дают хорошие, но приближенные рассуждения для веры в соответствующие факты о физическом мире. Начиная с 1967, идеи Чизхолма были развиты Дж.Л. Поллоком, утверждавшим, что на основании всех фактов, которыми мы располагаем, заключение считается обоснованным, если оно подтверждено не опровергнутым рассуждением, чьи посылки основаны на этих фактах. Все это стало играть важную роль в современной эпистемологии не только в отношении к чувственному знанию, но также в отношении к др. источникам знания: к памяти, воображению и даже к свидетельствам. С пионерской работы Дж.М. МакКарти и П.Дж. Хэйса «Некоторые философские проблемы с точки зрения искусственного интеллекта», вышедшей в 1969, началась эра развития логических систем для ИИ. В этой работе был развит формальный язык под названием «исчисление ситуаций» для применения в экспертных системах, пытающихся моделировать изменения и взаимосвязи среди области объектов и действующих лиц. Впоследствии МакКарти вводит логический принцип очерчивания (circumscription): предположение о том, что реальная ситуация настолько свободна от ненормальностей и странностей, насколько позволяет предположить наше знание данной ситуации. В 80-е гг. 20 в появляются различные системы приближенных рассуждений для применения в ИИ: логики умолчаний, немонотонные модальные логики, автоэпистимические логики (моделирующие чисто интроспективные рассуждения), формализация оператора «все, что я знаю».

Однако даже в формализованных системах приближенных рассуждений возникают серьезные проблемы с теоремой дедукции, с понятием отношения логического следования, а вопрос о теореме адекватности зачастую вообще не ставится, поскольку класс истинных высказываний не является рекурсивно перечислимым. В итоге, главной функцией Л., используемой в ИИ, является следующее: Л. не говорит о том, как человек рассуждает, а лишь указывает, как следует правильно рассуждать и как не следует рассуждать; т.е. Л. здесь носит нормативный характер.

Менталитеты Л. Почти одновременно с зарождением Л. в Древней Греции, некоторые элементы ее появились в Индии и Китае. Интересное преломление древнегреческой Л. произошло в арабской философии. В 5 в. в буддийскую философскую школу ньяя Асангой был введен пятичленный силлогизм, в отличие от трехчленного у Аристотеля. Комментарии «Органона» Аверроэсом (12 в.) сыграли центральную роль в расцвете арабской Л. Интересно, что главные логические понятия «истина» и «ложь» оказались модализованными: «необходимо истинно», «необходимо ложно». В то время как древние Грецию и Индию объединяет общая им индоевропейская языковая основа, логическая мысль Китая развивалась совершенно на ином языковом фундаменте. Особый интерес здесь представляет система 64 гексаграмм «И цзин». Можно предположить, что в ряде случаев числа трактуются как пропозициональные переменные. С проникновением буддийской Л. в Китай, когда в 7 в. было переведено главное сочинение Дигнага «Об источниках познания», начатые исследования в области формальной Л. конфуцианцами почти прекратились. Конечно, было бы интересно иметь какие-либо свидетельства, напр., о логике ацтеков или об африканской логике. Как бы то ни было, логика реализовалась лишь в западноевропейском менталитете. Это прямое наследие древнегреческой цивилизации.

См.Символическая логика, Философская логика, Неклассические логики.

А.С. Карпенко

Лит.:Карпенко А.С.Предмет логики в свете основных тенденций ее развития // Логические исследования. Вып. 11. М., 2004;Kneale W., Kneale M.The Development of Logic. Oxford, 1962;Gabbay D., Woods J.(eds.) The Handbook of the History of Logic (multivolume). Vol. 1. Greek, Indian and Arabic Logic. Dordrecht, 2004;Rahman S., Symons J., Gabbay DM., J.-P. van Bendegtm(eds.) Logic, Epistemology and the Unity of Science. Vol. 1. Dordrecht, 2004.

Синонимы:

закон, закономерность, логичность, разумность, умословие, философия, ход рассуждений, ход умозаключений, четкость мысли

логика—правилоstrong рассуждениеstrong логика порядок взаимодействиймеханизм мышления смысловой механизм теория рассуждений ход рассужденийнаука о законах и формах познающего...Идеографический словарь русского языка
логика—термин относящийся к логике...Аббревиатуры
логика—ЛОГИКА Логика есть анатомия мышления. Джон Локк Логика это нравственность мысли и речи. Ян Лукасевич Логика это искусство ошибаться с полной достоверностью. Джозеф Вуд ...Англо-русский словарь афоризмов, русские афоризмы
логика—греч. logike наука о приемлемых способах рассуждения. Слово Л. в его современном употреблении многозначно хотя и не столь богато смысловыми оттенками как древнегреч. lgos...Большая Советская энциклопедия II
логика—греч. logike нормативная отрасль философии имеющая дело с критериями валидности в мышлении законами надлежащей предикации адекватного использования логических сказуемых а...Большая энциклопедия по психиатрии
логика—ж. logica логика событий la logica degli avvenimenti dei fatti железная логика una logica di ferro stringente Итальянорусский словарь. Синонимы закон закономерность ...Большой итальяно-русский и русско-итальянский словарь
логика—жLogik f закон закономерность логичность разумность умословие философия ход рассуждений ход умозаключений четкость мысли...Большой немецко-русский и русско-немецкий словарь
логика—логика ж Logik fСинонимы закон закономерность логичность разумность умословие философия ход рассуждений ход умозаключений четкость мысли...Большой немецко-русский и русско-немецкий словарь
логика—ж.lgica fльная лоuгика lgica formalнская лоuгика lgica del corazn...Большой русско-испанский словарь
логика—ж. logique f формальная логика logique formelle отсутствие логики manque m de logique женская логика la logique de la femme логика вещей la logique des choses...Большой русско-французский словарь
логика—logic раздел философии посвященный анализу универсальных и контекстносвободных априорных принципов смыслового рассуждения и обоснованных выводов посредством которых из н...Большой толковый социологический словарь
логика—от греч. logik соответствующий рассуждениям англ. logic нем. Logik. . Совокупность наук о законах и формах правильного мышления. . Разумность внутренняя закономерность ...Большой толковый социологический словарь II
логика—ж.logique fформальная логика logique formelleотсутствие логики manque m de logiqueженская логика la logique de la femmeлогика вещей la logique des choses закон законо...Большой французско-русский и русско-французский словарь
логика—греч. logike наука о способах доказательств и опроверженийсовокупность научных теорий в каждой из которых рассматриваютсяопределенные способы доказательств и опровержени...Большой энциклопедический словарь II
логика—ЛОГИКА греч. logike наука о способах доказательств и опровержений совокупность научных теорий в каждой из которых рассматриваются определенные способы доказательств и оп...Большой Энциклопедический словарь V
логика—от гр. logos слово понятие рассуждение разум англ. logic наука о наиболее общих законах и формах рационального мышления одна из обязательных учебных дисциплин для обуча...Большой юридический словарь
логика—наука о способах доказательств и опровержений совокупность научных теорий рассматривающих определенные способы доказательств и опровержений. Логика объединяет стремление ...Глобальная экономика. Энциклопедия
логика—наука об общезначимых формах и средствах мысли необходимых для рационального познания любой области действительности....Глоссарий философских терминов
логика—этимологически восходит к древнегреческому слову logos означавшему слово мысль понятие рассуждение закон. Это наука о законах и формах мышления человека. Она занимается и...Глоссарий философских терминов ИФ им.Киренского РАН
логика—от греч.логос в самом широком смысле наука о мышлении учение о законах формах и средствах рассуждений. Чаще всего данный термин отождествляется с термином формальная лог...Евразийская мудрость от А до Я
логика—греч. logike наука о способах доказательств и опровержений совокупность науч. теорий рассматривающих определ. способы доказательств и опровержений. Основателем Л. считает...Естествознание. Энциклопедический словарь
логика—греческое logike наука о способах доказательств и опровержений совокупность научных теорий в которых рассматриваются определенные способы доказательств и опровержений. Ос...Иллюстрированный энциклопедический словарь
логика—от гр. logike наука о способах доказательств и опровержений совокупность научных теорий в каждой из которых рассматриваются определенные способы доказательств и опроверж...Исследовательская деятельность
логика—Наука о законах и формах мышления методах познания и условиях определения истинности знаний и суждений. Способность правильно т.е. логически мыслить. В качве элементарно...История и философия науки. Энциклопедический словарь
логика—логика....Киргизско-русский словарь
логика—логика сылн аслас логика у него своя логика...Коми (зырянский)-русский словарь
логика—основа разума и ума выражающаяся в детерминированности мыслей рассуждений и действия в их причинноследственной связи. Создавалась опытным знанием поэтому высшие критерии ...Краткий критериологический словарь
логика—Традиционно логикой называлась наука о правильном умозаключении. Современная логика включает в себя три основные части формальную логику представляющую собой общую теорию...Краткий философский словарь предрассудков
логика—Логика logice es f logica...Латинский словарь
логика—и ж.em Наука о законах и формах мышления.Формальная логика. Диалектическая логика.Ход рассуждений умозаключений.Это был человек безукоризненной логики всегда лучше других...Малый академический словарь
логика—суть разработчик абстрактных форм мышления методов мышления на основе предельно абстрактных представлений о сущности мышления человека в типе деятельности или типе социок...Методологический словарь для управленцев
логика—наука изучающая методы мышления методы мышления которые как и вся наука являются отражением природы изученной части Вселенной иные ее части могут подчиняться иным законам...Мир Лема - словарь и путеводитель
логика—корень ЛОГ суффикс ИК окончание А Основа слова ЛОГИКВычисленный способ образования слова Суффиксальный ЛОГ ИК А Слово Логика содержит следующие морфемы или части ...Морфемный разбор слова по составу
логика—от греч. logike logos речь мысль разум наука о законах и формах мышления направленного на познание объективного мира наука о способах доказательств и опровержений. Осно...Начала современного естествознания
логика—учение о связях и последовательностях человеческого мышления о формах его развития о различных соотношениях мыслительных форм и их преобразованиях. Л. рассматривает вопро...Новая философская энциклопедия
логика—ЛОГИКА греч. logos слово рассуждение понятие разум наука о формах законах и методах познавательной деятельности способность правильно логически мыслить. С древности зам...Новейший философский словарь
логика—греч. logos слово рассуждение понятие разум наука о формах законах и методах познавательной деятельности способность правильно логически мыслить. С древности замечено в...Новейший философский словарь II
логика—логика ж. Научная дисциплина изучающая способы доказательств и опровержений. Внутренняя закономерность присущая явлениям природы общества. Правильный разумный ход расс...Новый толково-словообразовательный словарь русского языка
логика—в классическом смысле наука о законах мысли в современном смысле наука о формах дискурса. Логика была представлена как искусство правильным образом направлять разум при...Новый философский словарь
логика—Нормативная отрасль философии которая имеет дело с критериями валидности в мышлении законами правильной предикации и принципами рассуждения и демонстрации. Логика занимае...Оксфордский толковый словарь по психологии
логика—Нормативная отрасль философии которая имеет дело с критериями валидности в мышлении законами правильной предикации и принципами рассуждения и демонстрации. Логика занимае...Оксфордский толковый словарь по психологии
логика—логика логика и...Орфографический словарь
логика—u ж закон закономерность логичность разумность умословие философия ход рассуждений ход умозаключений четкость мысли...Орфографический словарь русского языка
логика—логика...Орысша-қазақша «Математика» терминологиялық сөздік
логика—греч.u logike от logikos построенный на рассуждении наука о способах доказательств и опровержений дисциплина изучающая формы и законы правильных т.е. способных служить ...Педагогический терминологический словарь
логика—logique f...Политехнический русско-французский словарь
логика—логика логики логики логик логике логикам логику логики логикой логикою логиками логике логиках...Полная акцентуированная парадигма по Зализняку
логика—Орфографическая запись слова логика Ударение в слове логика Деление слова на слоги перенос слова логика Фонетическая транскрипция слова логика [логк] Характеристика всех...Полный фонетический разбор слов
логика—Раздел философии в котором в явной форме устанавливаются правила вывода валидных корректных правильных заключений....Психология критического мышления
логика—логка....Російсько-український словник (Українська академія наук)
логика—логка...Російсько-український словник логіки
логика—греч. logike от logikos построенный на рассуждении дисциплина изучающая формы и законы правильных т.е. способных служить расширению знания умственных построений. От Л. ка...Российская педагогическая энциклопедия
логика—греч. логика Способность правильно мыслить. Учение о последовательности и методах познания. Учения о логич. аксиомах понятии суждении и умозаключении взятые вместе о...Российский гуманитарный энциклопедический словарь
логика—логика иСинонимы закон закономерность логичность разумность умословие философия ход рассуждений ход умозаключений четкость мысли...Русский орфографический словарь
логика—М . mntiq . daxili qanunauyunluq....Русско-азербайджанский словарь
логика—logic...Русско-английский машиностроительный словарь
логика—логика ж.ulogicадаптивная логика adaptive logicбинарная логика binary logicлогика большинства majority logicвероятностная логика probabilistic logicлогика высказывани...Русско-английский политехнический словарь
логика—ж. аффективная логика вопросительная логика дедуктивная логика диалектическая логика извращенная логика индуктивная логика комбинаторная логика логика чувств логика основ...Русско-английский психологический словарь
логика—логика ж.ilogic нарушение логики paralogism...Русско-английский словарь
логика—логика ж. logic логика вещей the logic of things логика событий the logic of events у него своя логика he acts according to a logic of his own....Русско-английский словарь II
логика—f.logic математическая логика mathematical logic функции алгебры логики Boolean functionsСинонимы закон закономерность логичность разумность умословие философия ход рассу...Русско-английский словарь математических терминов
логика—ж. адаптивная логика булева логика дискретная логика...Русско-английский словарь по физике
логика—logic...Русско-английский словарь по электронике
логика—logic базовая логика бинарная логика вероятностная логика диоднотранзисторная логика комбинаторная логика конструктивная логика логика большинства логика высказываний лог...Русско-английский технический словарь
логика—logic...Русско-английский толковый словарь терминов по информатике
логика—N...Русско-армянский словарь
логика—Логка...Русско-белорусский словарь
логика—логка жен.i...Русско-белорусский словарь II
логика—лоuгка к логика компьютерная логика функционирования схемы...Русско-белорусский словарь математических, физических и технических терминов
логика—логка к...Русско-белорусский физико-математический словарь
логика—Синонимы закон закономерность логичность разумность умословие философия ход рассуждений ход умозаключений четкость мысли...Русско-ивритский словарь
логика—ж. logica f алгоритмическая логика арифметическая логика бинарная логика логика большинства вероятностная логика логика высказываний логика вычислительной машины двоична...Русско-итальянский политехнический словарь
логика—. исын логика вещей ст исыны отсутствие логики исынны жотыы. логика ойлау туралы ылымлогика отношений атынастар логикасы...Русско-казахский словарь
логика—логика исын...Русско-казахский терминологический словарь «История»
логика—логика манты...Русско-казахский терминологический словарь «Философия и политология»
логика—ж. логика . пикирдин закондору жана анын формалары жнндг илим . бир нерсенин ички закон ченемдлг анын тууралыгы . ой корутундуларынын тууралыгы дурустугу....Русско-киргизский словарь
логика—наукаem Iujixu lnlxu закономерностьem lujiлогика вещей закон закономерность логичность разумность умословие философия ход рассуждений ход умозаключений четкость мысл...Русско-китайский словарь
логика—Mantq...Русско-крымскотатарский словарь
логика—мантыкъ...Русско-крымскотатарский словарь II
логика—Логик учир шалтгааны ухаан...Русско-монгольский словарь
логика—Logik...Русско-немецкий политехнический словарь
логика—ж. Logik f....Русско-немецкий словарь
логика—логикаж ....Русско-новогреческий словарь
логика—fornuftlre logikk fornuftmessighet закон закономерность логичность разумность умословие философия ход рассуждений ход умозаключений четкость мысли...Русско-норвежский словарь
логика—...Русско-персидский словарь
логика—жlgica f закон закономерность логичность разумность умословие философия ход рассуждений ход умозаключений четкость мысли...Русско-португальский словарь
логика—Логикаmantiki...Русско-суахили словарь
логика—логика манти...Русско-таджикский словарь
логика—ж логика. эзлеклелек у него своя л. аны з логикасы л. событий вакыйгаларны эзлеклелеге...Русско-татарский словарь
логика—mantk ж врз mantk логика фактов olgularn mantпо твоей логике . senin mantna gre . закон закономерность логичность разумность умословие философия ход рассуждений ход у...Русско-турецкий словарь
логика—mantk...Русско-турецкий словарь по строительству и архитектуре
логика—mantik...Русско-узбекский словарь Михайлина
логика—наук. логка бесконечнозначная логика двузначная логика дедуктивная логика интесиональная логика интуиционистская логика комбинаторная логика конструктивная логика ...Русско-украинский политехнический словарь
логика—femlogiikka johdonmukainen ajattelu...Русско-финский словарь
логика—logik logika...Русско-чешский словарь
логика—logik.strong logik jag kan inte se logiken i ditt frslagв твом предложении я не вижу логики...Русско-шведский словарь
логика—Logik...Русско-шведский словарь II
логика—Loogika...Русско-эстонский словарь
логика—логика наука о законах и формах мышления ход рассуждений внутренняя закономерность чегол.Синонимы закон закономерность логичность разумность умословие философия ход рассу...Русское словесное ударение
логика—В книге универсальная граница данности вещей в мире сама остающаяся незримой методика косвенного выявления этой границы....Сверхкраткий философский словарь
логика—ЛОГИКАЛогика есть анатомия мышления. Джон Локк Логика это нравственность мысли и речи. Ян Лукасевич Логика это искусство ошибаться с полной достоверностью. Джозеф Вуд К...Сводная энциклопедия афоризмов
логика—от греч. logike . Совокупность наук о законах и нормах правильного мышления. . Разумность внутренняя закономерность чеголибо например логика событий [Магомедов Н.Г. Швыр...Сводный словарь по политологии
логика—ж.логика...Сербско-русский словарь
логика—от греч.em logos в античном мире зачастую отождествлялась с диалектикой. Проблемами категорий Л. занимался Парменид с помощью дизъюнктивного силлогизма стремившийся доказ...Словарь античности
логика—Наука о мышлении...Словарь для разгадывания и составления сканвордов
логика—ЛОГИКА греч. logike от logos рассуждение. Наука о законах мышления которое состоит в образовании понятий суждений и умозаключений. Словарь иностранных слов вошедших в со...Словарь иностранных слов русского языка
логика—наука о способах доказательств и опровержений. Умение аргументированно и доходчиво убеждать собеседника....Словарь исторических терминов
логика—от греч. logos слово понятие рассуждение разум или Формальная логика аЧ наука о законах и операциях пранвильного мышления. Согласно основному принципу Л. пранвильность р...Словарь логики
логика—греч. logike наука о способах доказательств и опровержений совокупность научных теорий в каждой из которых рассматриваются определенные способы доказательств и опровержен...Словарь по истории психологии
логика—ЛОГИКА от греч. logos iслово понятие рассуждение разум или Формальная логика наука о законах и операциях правильного мышления. Согласно основному принципу Л. правильнос...Словарь по логике
логика—греч. logike наука о способах доказательств и опровержений совокупность научных теорий в каждой из которых рассматриваются определенные способы доказательств и опроверже...Словарь по педагогической психологии
логика—логика железная логика...Словарь русских синонимов и сходных по смыслу выражений
логика—и ж.i.Наука о законах и формах мышления искусство правильного построения умозаключений.Философия раздfontляется на Логику Нравоучение Фисику и Метафисику. Логика или Слов...Словарь русского языка XVIII в
логика—безупречная логика железная логика непогрешимая логика непоколебимая логикаСинонимы закон закономерность логичность разумность умословие философия ход рассуждений ход умо...Словарь русской идиоматики
логика—логикажелезная логика....Словарь синонимов II
логика—логика железная логика. Словарь русских синонимов и сходных по смыслу выражений. под. ред. Н. Абрамова М. Русские словари. логика см. закономерность Словарь синонимов рус...Словарь синонимов II
логика—логика Ход рассуждений умозаключений убеждение точка зрения. Бабская разг. безукоризненная беспощадная беспристрастная блестящая внутренняя гибкая дикая разг. доказательн...Словарь эпитетов III
логика—Ход рассуждений умозаключений убеждение точка зрения.Бабская разг. безукоризненная беспощадная беспристрастная блестящая внутренняя гибкая дикая разг. доказательная желез...Словарь эпитетов II
логика—ЛОГИКА. Ход рассуждений умозаключений убеждение точка зрения. Бабская разг. безукоризненная беспощадная беспристрастная блестящая внутренняя гибкая дикая разг. доказатель...Словарь эпитетов
логика—h логикаbig сущ.жен.неод.i ед.им. Признаться моя логика велит лучше пить вино чем описывать как пьютПр. ед.род. он находит в ней беспрестанные ошибки против грамматики и...Словарь языка Грибоедова
логика—формальная наука об общезначимых формах и средствах мысли необходимых для рационального познания в любой области знания. К общезначимым формам мысли относятся понятия суж...Советский философский словарь
логика—ЛОГИКА греческое logike наука о способах доказательств и опровержений совокупность научных теорий в которых рассматриваются определенные способы доказательств и опроверже...Современная энциклопедия
логика—ЛОГИКА греч . logike наука о способах доказательств и опровержений совокупность научных теорий в каждой из которых рассматриваются определенные способы доказательств и оп...Современный энциклопедический словарь
логика—по [] наука о законах и операциях правильного мышления. Согласно основному принципу логики правильность рассуждения определяется только его логической формой или структур...Теоретические аспекты и основы экологической проблемы
логика—иноск.em соображения рассуждения собств.em логикаem наука правильно мыслить рассуждать Ср.em Где же тут логикаem где же тут здравый смысл последовательность Ср.em Судь...Толково-фразеологический словарь Михельсона
логика—Логикаstrong иноск.em соображеня разсужденя собств. логикаem наука правильно мыслить разсуждать. Ср.em Гд же тутъ логикаem гд же тутъ здравый смыслъ послдовательность Ср...Толково-фразеологический словарь Михельсона (ориг. орф.)
логика—логика сущ.em ж.em употр. сравн. часто Морфология нет чего логикиstrong чему логикеstrong вижу что логикуstrong чем логикойstrong о чм о логикеstrong нар. логически . Ло...Толковый словарь Дмитриева
логика—ЛОГИКА ж. греч. наука здравомыслия наука правильно рассуждать умословие. Логик м. умослов правильный и здравый мыслитель знающий науку правильного рассуждения. Логический...Толковый словарь живого великорусского языка
логика—логика [гр. logike] наука о законах и формах мышления формальная л. наука изучающая формы мыслей и формы сочетаний их отвлекаясь от конкретного содержания суждений умо...Толковый словарь иностранных слов
логика—ЛОГИКА и ж. . Наука о законах и формах мышления. Формальная л.Диалектическая л. . Ход рассуждений умозаключений. У этого человека своял. Женская л. непоследовательная неп...Толковый словарь Ожегова
логика—ЛОГИКА логики ж. греч. logike от logos слово разум. . Наука об общих законах развития объективного мира и познания филос. Логика есть учение не о внешних формах мышления...Толковый словарь русского языка II
логика—логика логика и ж. Наука о законах и формах мышления. Формальная л. Диалектическая л. Ход рассуждений умозаключений. У этого человека своя л. Женская л. непоследовательна...Толковый словарь русского языка II
логика—ЛОГИКА и ж. . Наука о законах и формах мышления. Формальная логика Диалектическая логика . Ход рассуждений умозаключений. У этого человека своя логика Женская логика непо...Толковый словарь русского языка
логика—наука о формально правильном мышлении о законах построения и преобразования логических форм в которых протекает наше мышление вне зависимости от его содержания....Традиционная логика
логика—лгка...Тэрмінолёгія лёгікі і псыхолёгіі
логика—Ударение в слове логикаУдарение падает на букву оБезударные гласные в слове логика...Ударение и правописание
логика—ход рассуждений железная логика! внутренняя обусловленность закономерность развития событий напр. логика революции наука о формах и методах мышленияСинонимы закон законом...Универсальный дополнительный практический толковый словарь И. Мостицкого
логика—Rzeczownik логика f logika f логик m logik m...Универсальный русско-польский словарь
логика—наука изучающая законы и формы мышления понятия суждения умозаключения. Законы логики позволяют правильно формулировать мысли и обрабатывать чувственный опыт в мыслительн...Философия - конспект лекций и словарь терминов
логика—наука о формах мысли и их влиянии на процесс рассуждения. Главной задачей Л. является изучение форм мысли обеспечивающих достижение истины в познании. Л. как наука состои...Философия - словарь основных понятий и тесты по курсу «Философия»
логика—наука о формах законах и методах правильного т. с. построенного в соответствии с определенными логическими стандартами мышления. Различают формальную и содержательную лог...Философия науки
логика—ЛОГИКА от греч. logos слово понятие рассуждение разум или Формальная логика наука о законах и операциях правильного мышления. Согласно основному принципу Л. правильност...Философская энциклопедия
логика—греч. наука о мышлении от слово речь разум рассуждение наука о законах формах и приемах познания мира на ступени абстрактного мышления а также о языке как средстве т...Философская Энциклопедия (в 5 томах)
логика—В книге универсальная граница данности вещей в мире сама остающаяся незримой методика косвенного выявления этой границы....Философский словарь
логика—Деятельность может обеспечить только одну половину мудрости другая половина зависит от воспринимающей бездеятельности. В конечном счете спор между теми кто основывает лог...Философский словарь разума, материи, морали
логика—от греч. logos логос способность правильно т.е. логически мыслить учение о тождестве и его отрицании Г. Якоби учение о последовательности и методах познания наука логик...Философский энциклопедический словарь II
логика—cм. Диалектическая логика. Математическая логика Формальная логика....Философский энциклопедический словарь
логика—логика логики логики логик логике логикам логику логики логикой логикою логиками логике логиках Источник Полная акцентуированная парадигма по А. А. Зализняку . Синонимы з...Формы слова
логика—Логика от разум слово мышление по мнению одних наука о доказательстве по мнению других наука о законах и формах мышления. Чтобы познать сущность Л. и ее задачи следует ...Энциклопедический словарь
логика—от разум слово мышление по мнению одних наука о доказательстве по мнению других наука о законах и формах мышления. Чтобы познать сущность Л. и ее задачи следует обратит...Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
логика—от греч. logik соответствующий рассуждениям англ. logic нем. Logik. . Совокупность наук о законах и формах правильного мышления. . Разумность внутренняя закономерность ...Энциклопедия социологии
логика—Логикаstrong. Заимств. в XVII в. из лат. яз. где logicai lt греч. logiki суф. производного от logosi в значении разум. См. филологияi....Этимологический онлайн-словарь русского языка Шанского Н. М
логика—Возм. через нем. Logik ХVI в. см. ШульцБаслер от лат. lоgiса греч. ....Этимологический русскоязычный словарь Фасмера
логика—Восходит к латинскому logos означающему слово разум и в свою очередь восходящему к греческому logike....Этимологический словарь Крылова
логика—Заимств. в XVII в. из лат. яз. где logicaem ampLT греч. logikem суф. производного от logosem в значении разум. См. филологияem.Синонимы закон закономерность логичность ра...Этимологический словарь русского языка
логика—логика логикаВозм. через нем. Logik ХVI в. см. ШульцБаслер от лат. lоgiса греч. ....Этимологический словарь русского языка (М. Фасмер.)
логика—Греческое logos.Слово ведет свое происхождение из греческого языка. Первоисточник греческое слово в переводе означающее разум.Путем добавления суффикса было образовано ...Этимологический словарь русского языка Семенова