ЛОГИКА

ж
lógica f

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


Смотреть больше слов в «Русско-португальском словаре»

ЛОГИЧЕСКИЙ →← ЛОГАРИФМИЧЕСКИЙ

Смотреть что такое ЛОГИКА в других словарях:

ЛОГИКА

(от λόγος, разум, слово, мышление) — по мнению одних, наука о доказательстве, по мнению других, наука о законах и формах мышления. Чтобы познать сущнос... смотреть

ЛОГИКА

(греч. logike̅́)        наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловы... смотреть

ЛОГИКА

ЛОГИКА, -и, ж. 1. Наука о законах и формах мышления. Формальная л.Диалектическая л. 2. Ход рассуждений, умозаключений. У этого человека своял. Женская л. (непоследовательная, непонятная; шутл.). 3. Разумность,внутренняя закономерность чего-н. Л. вещей. Л. событий. II прил. логический,-ая, -ое. Л. вывод. Логическая ошибка.... смотреть

ЛОГИКА

логика ж. 1) Научная дисциплина, изучающая способы доказательств и опровержений. 2) Внутренняя закономерность, присущая явлениям природы, общества. 3) Правильный, разумный ход рассуждений, умозаключений.<br><br><br>... смотреть

ЛОГИКА

логика ж.logic нарушение логики — paralogism

ЛОГИКА

логика железная логика.. Словарь русских синонимов и сходных по смыслу выражений.- под. ред. Н. Абрамова, М.: Русские словари,1999. логика см. закономерность Словарь синонимов русского языка. Практический справочник. — М.: Русский язык.З. Е. Александрова.2011. логика сущ., кол-во синонимов: 9 • закон (22) • закономерность (12) • логичность (12) • разумность (27) • умословие (1) • философия (40) • ход рассуждений (2) • ход умозаключений (2) • четкость мысли (1) Словарь синонимов ASIS.В.Н. Тришин.2013. . Синонимы: закон, закономерность, логичность, разумность, умословие, философия, ход рассуждений, ход умозаключений, четкость мысли... смотреть

ЛОГИКА

Логика (от λόγος, разум, слово, мышление) — по мнению одних, наука о доказательстве, по мнению других, наука о законах и формах мышления. Чтобы познать сущность Л. и ее задачи, следует обратиться к истории. I. Л. есть продукт греческого ума. Признавать здесь первенство индусов нет серезных оснований (см. Индийская философия). Творцом Л. считается по справедливости Аристотель, хотя в греческой философии, в особенности у Сократа и Платона, и раньше были затронуты некоторые логические вопросы. Диалектика элеатов, учение софистов, опровержение их Сократом и Платоном дали богатый материал, из которого Аристотель мог создать свое дивное логическое построение. Его "Органон" состоит из пяти сочинений: категорий, учения об истолковании, двух аналитик, топики и софистических доказательств. Категории отчасти соответствуют той части Л., которую теперь называют учением о понятиях; в сочинении об истолковании излагается учение о суждениях, в аналитиках — учение о силлогизме и о научном доказательстве, в топике, наиболее устаревшем из всех логических сочинений Аристотеля, — о диалектических доказательствах и вероятных заключениях; наконец, в софистических доказательствах приводятся примеры ложных умозаключений и показаны пути, как избавиться от софистических ошибок. Важнейшая заслуга Аристотеля и в то же самое время наиболее самостоятельная его работа состоит в разъяснении различных видов силлогизма и в анализе различных способов научного доказательства. Аристотеля обыкновенно считают творцом того логического направления, которое называется <i>формальным</i> и занимается анализом понятий, суждений и умозаключений, рассматривая их совершенно независимо от самого содержания понятий и суждений. Возможность такого отвлеченного рассмотрения заключается, по-видимому, в том, что во всяком познании можно различить два момента: <i>материальный</i> (то, что мыслится) и <i>формальный </i>(как оно мыслится), и эти моменты в известной степени отделимы друг от друга. История Л. есть в значительной степени история <i>формального логического направления;</i> тем не менее несправедливо упрекать Аристотеля в формализме. Отделения содержания от формы мысли в том виде, в котором мы его встречаем позднее, по преимуществу в средневековой Л., у Аристотеля еще нет; поэтому можно только утверждать, что формальная Л. вышла из Аристотелевской, но нельзя говорить, что Аристотель есть творец формальной Л. После-Аристотелевская греческая Л. не имеет большого значения. Стоики пополнили силлогистику учением об условном и разделительном умозаключении и положили основание учению о восприятии как элементе познания; но эти труды не получили в истории значения и дальнейшего развития. В средневековой схоластической философии, в которой бедность реального содержания искупалась строгостью логических форм, Л. стала формальным учением о понятии, суждении и умозаключении, причем силлогизм признан единственной формой научного доказательства. Типичный учебник средневековой Л. — "Summulae" Петра Испанского. Связь логических вопросов с общефилософскими, гносеологическими выразилась в знаменитой борьбе двух направлений — реализма и номинализма, состоящей в выяснении того значения, которое следует давать общим понятиям, т. е. субъективны ли они или же имеют и объективное бытие, как учил Платон. Самая оригинальная попытка реформы логики в средние века принадлежит Раймунду Люллию (1284-1315); но так как она не относится к формальному направлению, то о ней будет сказано ниже. Под влиянием эпохи Возрождения и постепенного накопления реального знания, формальная Л. подверглась различным видоизменениям, но как школьный учебный предмет она существует и до настоящего времени и в XIX. стол. достигла своего полного развития в послекантовой философии, а именно в школе <i> Гербарта,</i> который считает Л. наукой выяснения понятий и их сочетаний в суждениях и умозаключениях. Гербарт совершенно отделяет Л. от философии и не рассматривает в Л. значения различных форм мышления. Завершение формального направления мы имеем в так назыв. математической Л., созданной англичанами, которую иногда считают особым логическим направлением, хотя по существу это та же формальная Л. Бентам и Гамильтон считаются ее творцами; де Моран, Буль и Джевонс более или менее тесно примыкают к этому направлению. Сущность его состоит в учении о квантификации предиката, вследствие которой суждение принимает характер уравнения — а это ведет к некоторым упрощениям и видоизменениям форм умозаключения. В каждом суждении мы различаем всегда его количество (т. е. оно бывает общим, частным и единичным) и качество (т. е. оно бывает утвердительным и отрицательным). Но количественный элемент обыкновенно относится в суждении к одному только подлежащему, в сказуемом же остается некоторая неопределенность в количественном отношении; если устранить эту неопределенность, то все суждения будут представлять собою такие отношения подлежащего к сказуемому, которые могут быть выражены совершенно точно; благодаря этому можно придать простейшую форму всем выводам, руководствуясь законом тождества и противоречия. За математической Л. следует признать заслугу сведения всех выводов к закону тождества и противоречия, но крайность этого направления не позволяла ему понять и описать многообразие всех выводов и их характерных особенностей. Этот недостаток устранен в классическом сочинении М. И. Каринского (см.): "Классификация выводов" (СПб., 1880). II. Когда интерес к реальному знанию возрос, когда люди стали изучать природу и себя самих не по книгам только, а по живой действительности, тогда схоластическая Л. оказалась неудовлетворительной в двояком, главным образом, отношении: во-первых, она, по-видимому, не давала никаких средств для изучения природы; во-вторых, рассматривая лишь готовое знание в форме понятий, суждений и умозаключений, она не беспокоилась о том, откуда берутся познания человека и в каком отношении стоят они к реальному бытию. Л. доказательства должна была поэтому уступить место Л. открытия истины, а формальное изучение мысли должно было стать гносеологией, т. е. изучением происхождения, границ и значения человеческого познания. 1) Scientia est potentia — провозгласил Бакон и в своем "Новом Органоне" хотел указать пути, которыми можно приобресть знание, а вместе с тем и господство над природой. Не Бакон, конечно, создал Л. открытия; его предшественниками в этом отношении были Петр Рамюс и Леонардо да Винчи, а также ученые XVI и начала XVII столетий (напр. Галилей), показавшие, как следует изучать природу; тем не менее Бакона считают творцом индуктивной Л., так как он наиболее полно выразил ее тенденции в XVII веке. Силлогизм следует отбросить, ибо он непригоден для исследования; нужно довериться индукции, собирать факты, группировать их, делать обобщения и таким путем подниматься до познания высших законов природы. Характерная особенность Л. Бакона состоит в его учении об отрицательных и преимущественных инстанциях, т. е. случаях, в которых наиболее полно выразилось какое-либо явление и которые благодаря этому могут заменять собой целый ряд однородных фактов и, таким образом, сокращать путь исследования. По пути, намеченному Баконом, пошел целый ряд исследователей; благодаря трудам Гершеля, Уэвеля, в особенности Милля и Клода Бернара создалась так наз. индуктивная Л., типичным представителем которой обыкновенно считается Милль. Его учение о том, что возможность индукции покоится на вере в однообразный порядок явлений в природе и что самое исследование ведется посредством четырех основных методов (согласия, различия, остатков и сопутствующих изменений), пользуется очень большим распространением и уважением. Рассматривая индуктивную Л. в целом, приходится, однако, сказать, что она не есть Л. открытия, а представляет собой лишь отвлеченное описание тех путей, которыми открытия были делаемы. Самая мысль создать Л. открытия вряд ли осуществима, ибо всякое открытие действительных отношений явлений между собою есть творческий процесс исследователя, который, как всякое творчество, зависит от природных дарований и которому научиться нельзя. Лучшие и точнейшие методы в руках недаровитого исследователя останутся без результатов, а процесс творчества представляет тайну даже для самого исследователя. Превратить Л. в искусство можно разве лишь в смысле формальной Л., т. е. в искусство находить ошибки, в критику. Второй существенный недостаток индуктивной Л. объясняется исторически. Индуктивная Л. развилась в борьбе с силлогизмом и желала стать на место силлогизма. Обособление индукции от формальной Л. хотя и понятно, но неосновательно. Борьба Бакона против сил логизма, как и критика Локка, основаны на недоразумении, а учение Милля о силлогизме как о заключении от частного к частному же вытекает из недостаточно глубокого анализа процессов умозаключении. Индуктивный вывод есть только один из видов заключений — а все они покоятся одинаково на известных аксиоматических предпосылках и на законах тождества и противоречия. К этому же направлению логики следует отнести оригинальную попытку Декарта (нашедшую себе более полное выражение в соч. Марютта) заменить школьную Л. некоторыми простейшими правилами исследования. 2) Во втором из указанных нами направлений новой Л. — в теории познания — вновь была восстановлена связь Л. с философией, существовавшая в греческой Л. и уничтоженная схоластической философией. Декарт задался мыслью об основе нашего познания, о его достоверности, и предложил в знаменитой формуле "cogito — ergo sum" рационалистическое решение, которое вызвало критику со стороны эмпиризма и попытку примирения двух основных философских направлений — рационализма и эмпиризма — в критицизме Канта. В сущности, борьба указанных школ относится не к истории Л. в тесном смысле, а к истории философии; это видно уже из того, что различные мыслители указанных школ смотрели на задачи Л. одинаково, т е. Л. сохраняла отчасти свое самостоятельное существование и не сливалась вполне с теорией познания, хотя и получила значительное обогащение благодаря психологическим и гносеологическим исследованиям. У Канта, напр., мы встречаемся с двумя Л.: с одной стороны — с формальной Л., примыкающей к Аристотелю, в которой Кант заявляет, что Л. в течение двух тысячелетий не сделала никаких успехов; с другой стороны — с трансцендентальной Л., частью "критики чистого разума", в которой Кант исследует чистые понятия рассудка (категории), делающие возможным опыт и принадлежащие a priori человеку основоположения рассудка и идеи разума. Под влиянием новых, по преимуществу психологических элементов, внесенных в Л., она может потерять свой нормативный характер. Как формальная, так и индуктивная Л. признают своей задачей установку правил, определяющих собою истинное мышление; если же смотреть на Л. как на теорию мышления, если разбирать условия возникновения мысли, описывать процессы, из которых слагается мысль, то историю возникновения мысли легко смешать с действительным ее значением и принять ассоциационные законы за законы мышления. Это действительно и случилось с некоторыми английскими исследователями (в России эту точку зрения защищал Н. Я. Грот: "К вопросу о реформе Л.", Лпц., 1880, 8°). Между тем, ассоциации управляют лишь воспроизведением элементов сознания, а не живым мышлением. Мышление творит ассоциации, но ассоциации создать мысли не могут. III. Чего не могла сделать индуктивная Л., т. е. построить Л. открытия, за то взялась так назыв. метафизическая Л. Уже знаменитая Ars lulliana, которою восхищался Джордано Бруно, была попыткой такого рода. Луллий хотел путем сочетания некоторых основных понятий о вещах и их свойствах указать путь к открытию нового знания о вещах. Эта попытка могла бы быть удачной лишь при обладании такими категориями, которые исчерпывали бы всю полноту бытия; но так как опыт мог ежеминутно показать неполноту выбранных Луллием понятий, то можно было лишь удивляться его остроумию, признавая попытку его неудавшейся. Цель Луллия своебразно видоизменил Гегель: исходя из положения о тождестве бытия и познания, он отождествил Л. с метафизикой, т. е. предположил тождество там, где теория познания утверждала лишь связь. Л. есть наука о чистых понятиях, которые a priori присущи человеку; именно поэтому они и имеют применение к бытию. Из этой мысли развилась гегелевская Л. Гегелю принадлежит лишь путь нахождения чистых понятий, который назван им диалектическим методом. Но и у Гегеля, который, по-видимому, совершенно отождествил Л. с онтологией и сделал субъективные категории стадиями развития самого бытия, формальная Л. все же не совершенно уничтожена, а является вновь в учении о понятии, которое развивается в трех моментах: а) субъективное понятие, б) объект и в) идея. Субъективное понятие представляет три момента диалектического развития: понятие как такое, суждение и умозаключение. Таким образом, в этом величественном построении, в котором мысль, по-видимому, творит свой объект, и старая школьная Л. нашла себе место. В общем, о Л. Гегеля следует сказать, что она представляет собой гениальную, но безнадежную попытку. Основная предпосылка ошибочна, и потому все здание должно было оказаться построенным на песке. Человек не обладает творческою мыслью, а только исследующею; творчество человека (в сфере научной) только и проявляется в исследовании существующего, а не в создании его. Итак, первоначальная Аристотелевская логика в историческом развитии подвергалась многим реформам, которые отчасти обогатили ее (напр. в методологическом и психологическом отношениях), отчасти же исказили ее сущность (в метафизическом направлении). Отсюда можно вывести заключение, что главный предмет Л. остался неизменным: Л. есть учение о доказательствах, описание же законов и форм мысли есть скорее предмет психологии, чем Л. <i> Литература:</i> по истории Л.: Prantl, "Geschichte d. Logik" (Лейпциг, 1885-1870) и Ueberweg, "System der Logik" (Бонн, 1874; глава об истории Л.). Из Л. формального направления: "Organon" Аристотеля (изд. Вайца) и "Elementa logices Aristoteleae" (изд. Treudelenburg‘a, Б., 1868); Arnauld, "L‘art de penser" (П., 1664, изд. часто); Drobisch, "Logik" (Лпц., 1850); Rabier, "Logique" (П. 1886). Из индуктивных Л., кроме "Novum Organon" Бакона: "А system of logic rationative and inductive" Милля (Л., 1843, изд. часто; есть рус. перев.); Claude Bernard, "Introducti on à l‘étude de la médecine expé rimentale" (П., 1865); Sigwart, "Logik" (Тюбинген; 1873). По математической Л.: Liard, "Les logiciens anglais" (П., 1878); Boole, "An investigation of the laws of thought" (Л., 1854). К гносеологической Л. относятся, кроме классических соч. Декарта, Лейбница, Локка, Канта — Wundt, "Logik" (Штуттгардт, 1880; 1896 г. третье издание); Shuppe, "Erkenntnisstheoretische L." (1878); Lotze, "Logik" (Лпц., 1874). По метафизической Л., кроме гегелевской: Kuno Fischer, "System der Logik u. Metaphysik" (2 изд., Гейдельберг, 1865). В России Л. составляла издавна предмет преподавания как в духовных академиях, так и в университетах, почему различных сочинений по Л. сравнительно много, но из них только одно вполне оригинально (Каринский, "Классификация выводов"). Другие, наиболее крупные: Бакман, "Система Л."; Новицкий, "Руководство по Л." (Киев, 1841); Карпов, "Систематическое изложение Л." (СПб., 1856); Владиславлев, "Л." (СПб., 1872); Троицкий, "Учебник Л." (М., 1885). Переведенных, кроме Л. Милля, "Л." Минто (М. 1895). Обзор логических направлений дает Лейкфельд: "Различные направления в Л. и основные задачи этой науки" (Харьков, 1890, 8°); он же печатал в "Ж. М. Н. Пр." за 1895 г. "Историю индуктивной Л.". Ф. Радлов<br><br><br>... смотреть

ЛОГИКА

ЛОГИКА (от греч. logos — слово, понятие, рассуждение, разум), или Формальная логика, — наука о законах и операциях правильного мышления. Согласно о... смотреть

ЛОГИКА

        ЛОГИКА (от греч. logik (logos) — слово, разум, рассуждение) — наука о правильных (корректных) рассуждениях. Традиционно рассуждение состоит из ... смотреть

ЛОГИКА

формальная, наука об общезначимых формах и средствах мысли, необходимых для рационального познания в любой области знания. К общезначимым формам мысли относятся понятия, суждения, умозаключения, а к общезначимым средствам мысли определения, правила (принципы) образования понятий, суждений и умозаключений, правила перехода от одних суждений или умозаключений к другим как следствиям из первых (правила рассуждений), законы мысли, оправдывающие такие правила, правила связи законов мысли и умозаключений в системы, способы формализации таких систем и т. п. Представляя общие основания для корректности мысли (в ходе рассуждений, выводов, доказательств, опровержений и пр.), Л. является наукой о мышлении и как метод анализа дедуктивных и индуктивных процессов мышления, и как метод (норма) мышления, постигающего истину. Задача Л., к-рую вслед за Кантом обычно наз. формальной Л., исторически сводилась к каталогизации правильных способов рассуждений (способов «обращений с посылками»), позволяющих из истинных суждений-посылок всегда получать истинные суждениязаключения. Известным набором таких способов рассуждений однозначно определялся процесс дедукции, характерный для т. н. традиционной Л., ядро к-рой составляла силлогистика, созданная Аристотелем. По мере изучения особенностей умозаключений и демонстративного (доказывающего) мышления вообще предмет традиционной Л. постепенно расширялся за счёт несиллогистич., хотя и дедуктивных способов рассуждений, а также за счёт индукции. Поскольку последняя выпадала из рамок Л. как дедуктивной теории, она стала предметом особой теории индуктивной логики. Совр. формальная Л.историч. преемник традиционной Л. Для неё характерно разнообразие теорий, в к-рых изучаются способы рассуждений, приемлемые с т. зр. каждой такой теории, а также их формализация, т. е. отображение в логич. исчислениях (формализмах). Логич. исчисления это системы символов (знаков), заданные объединением двух порождающих процессов: процесса индуктивного порождения грамматически правильных выражений исчисления его слов и фраз (языка исчисления), и процесса дедуктивного порождения (дедукции) потенциально значимых (истинных) фраз (теорем) исчисления его фразеологии. Заданием алфавита исходных символов, правил образования в нём языка (его структурных свойств) и правил преобразования его фразеологии (аксиом и правил вывода) логич. исчисление однозначно определяется как синтаксич. система (формальная структура символов). Выбор этой системы как представителя определ. логич. идей и соответственно приписывание её символам значений (интерпретация, или рассмотрение, её как семантич. системы) превращают логич. исчисление в определ. теорию приемлемых способов рассуждений теорию логич. вывода. Сообразно тому, каков синтаксис логич. теории (её правила преобразования) и её семантика, различают классические, интуиционистские, конструктивные, модальные, многозначные и др. теории логич. вывода. Классич. теории исходят из предположения, что любое утверждение можно уточнить таким образом, что к нему будет применим исключённого третьего принцип. Опираясь на этот принцип (см. также Двузначности принцип), в классич. Л. отвлекаются от гносеология, ограничений, вытекающих из невозможности общего (рекурсивного) метода для классич. оценки суждений, согласно к-рой относительно любого объекта универсума вопрос о принадлежности ему («да») или отсутствии у него («нет») нек-рого свойства решается всегда положительно. Интуиционистские (см. Интуиционизм) и конструктивные (см. Конструктивное направление) теории, напротив, придают эффективности (в частности, в смысле общерекурсивности) доказательств (установления свойств) решающее значение. Поэтому в общем случае (для бесконечных универсумов) в этих теориях отказываются от принципа исключённого третьего, исходя из др. предпосылки: чтобы утверждать, надо иметь возможность эффективно проверять свои знания и утверждения. Последнее существенно зависит от возможности восполнения утверждений алгоритмом подтверждения их истинности. Поэтому идея приемлемости рассуждений сопряжена в этих теориях с широко понимаемым (в смысле абстракции потенциальной осуществимости) эмпирич. познанием. Близкую к конструктивной идейную основу имеет и модальная логика, изучающая свойства модальностей разновидностей отношения субъекта логич. деятельности к характеру его целевой активности или к содержанию высказываемой им мысли (напр., степени убеждённости в сказанном). В свою очередь, исчисления многозначной логики формализуют ещё более широкий подход к оценкам высказываний и объективных событий. Допуская множественность, в частности бесконечную, истинностных оценок (степеней подтверждения, правдоподобия, вероятности), теории многозначной Л. являются обобщениями классич. и модальных теорий, напр. на область индуктивных (статистич.) умозаключений, оставаясь в то же время дедуктивными логич. теориями. Каждая из этих логич. теорий включает, как правило, два осн. раздела: логику высказываний и логику предикатов. В Л. высказываний учитываются не все смысловые связи фраз естеств. языка, а только такие, к-рые не создают косвенных контекстов и позволяют, рассматривая сколь угодно сложные высказывания как функции истинности простых (атомарных), выделять в множестве высказываний всегда истинные тавтологии, или логические законы. В Л. высказываний отвлекаются от понятийного состава высказываний (их субъектно-предикатной структуры). Сохраняя характер смысловых связей Л. высказываний, в Л. предикатов, напротив, анализируют и субъектно-предикатную структуру высказываний, и то, как она влияет на структуру и методы логич. вывода. Классич. вариант Л. предикатов является непосредств. продолжением традиц. силлогистики (Л. свойств), но в различных исчислениях предикатов субъектно-предикатная структура суждений анализируется с большей глубиной, чем в силлогистике: помимо свойств («одноместных» предикатов), в них формализуются и отношения («многоместные» предикаты; см. Предикат). В многообразии логич. теорий выражается многообразие требований, предъявляемых к Л. совр. наукой и практикой. Важнейшим из них является требование в содействии точной постановке и формулировке науч.-технич. задач и разысканию возможных путей их разрешения. Предлагая строгие методы анализа определ. аспектов реальных процессов рассуждений, логич. теории одновременно содействуют и объективному анализу положения вещей в той области знания, к-рая отражается в соответств. процессах мысли. Т. о., логич. теории не субъективны и не произвольны, а представляют собой глубокое и адекватное отображение посредством символов объективной «логики вещей» на ступени абстрактного мышления. По мере использования логич. исчислений в качестве необходимой «техники мышления» собств. идейное содержание логич. теорий совершенствуется и обогащается, а растущие потребности решения науч. и практич. задач стимулируют развитие старых и создание новых разделов Л. Примером может служить обусловленное задачей обоснования математики возникновение метатеории (теории доказательств) в узком смысле как теории формальных систем, ограниченной рамками финитизма, и в широком как металогики, воплощающей взаимодействие формальных (синтаксич.), содержат. (семантич.) и деятельностных (прагматич.) аспектов познания. Мн. результаты, относящиеся к взаимоотношению формальных логич. систем и их моделей, а потому имеющие и общенауч. значение, получены как металогич. теоремы (напр., о полноте Л. предикатов первого порядка, о наличии счётной модели у любой непротиворечивой теории, формализуемой в языке предикатов первого порядка, о неполноте формальных систем, включающих арифметику, и ряд др.), раскрывающие гносеологич. подтекст самой Л. История логики. Первые учения о формах и способах рассуждений возникли в странах Др. Востока (Китай, Индия), но в основе совр. Л. лежат учения, созданные в 4 в. до н. э. др.-греч. мыслителями (Аристотель, мегарская школа) . Аристотелю принадлежит исторически первое отделение логич. формы речи от её содержания. Он открыл атрибутивную форму оказывания как утверждения или отрицания «чего-то о чёмто», определил простое суждение (высказывание) как атрибутивное отношение двух терминов, описал осн. виды атрибутивных суждений и правильных способов их обращения, ввёл понятия о доказывающих силлогизмах как общезначимых формах связи атрибутивных суждений, о фигурах силлогизмов и их модусах, а также изучил условия построения всех силлогистич. законов (доказывающих силлогизмов). Аристотель создал законченную теорию дедукции силлогистику, реализующую в рамках полуформальных представлений идею выведения логич. следствий при помощи нек-рого механич. приёма алгоритма. Он дал первую классификацию логич. ошибок, первую математич. модель атрибутивных отношений, указав на изоморфизм этих и объёмных отношений, и заложил основы учения о логич. доказательстве (логич. обосновании истинности). Ученики Аристотеля (Теофраст, Евдем) продолжили его теорию применительно к условным и разделит. силлогизмам. Потребность в обобщениях силлогистики в целях полноты учения о доказательстве привела мегариков к анализу связей между высказываниями. Диодор Крон и его ученик Филон из Мегары предложили параллельные уточнения отношения логич. следования посредством понятия импликации. Диодор толковал импликацию как модальную (необходимую) условную связь, а Филон как материальную. Логич. идеи мегарской школы восприняли стоики. Хрисипп принял критерий Филона для импликации и принцип двузначности как онтологич. предпосылку Л. Идею дедукции стоики формулировали более чётко, чем мегарики: высказывание логически следует из посылок, если оно является консеквентом всегда истинной импликации, имеющей в качестве антецендента конъюнкцию этих посылок. Это исторически первая формулировка т. н. теоремы дедукции, дающей общий метод формального доказательства средствами логики. Аргументы, основанные только на правильной форме дедукции и не исключающие ложность посылок, стоики наз. формальными. Если же привлекалась содержат. истинность посылок, аргументы наз. истинными. Наконец, если посылки и заключения в истинных аргументах относились соответственно как причины и следствия, аргументы наз. доказывающими. Последние предполагали понятие о естеств. законах, к-рые стоики считали аналитическими, отрицая возможность их обоснования посредством аналогии и индукции. Стоич. учение о доказательстве выходило за пределы собственно Л.в область теории познания, и здесь дедуктивизм стоиков встретил филос. противника в лице радикального эмпиризма школы Эпикура, к-рая в споре со стоиками защищала опыт, аналогию и индукцию. Эпикурейцы положили начало индуктивной Л., указав, в частности, на роль противоречащего примера в проблеме обоснования индукции, и сформулировали ряд правил индуктивного обобщения (Филодем из Гадары). На смену логич. мысли ранней античности пришла антич. схоластика, сочетавшая аристотелизм со стоицизмом и заменившая искусство свободного исследования искусством экзегезы (истолкования авторитетных текстов), популярной и в «языч.» школе поздних перипатетиков, и в христ. школах неоплатоников. Из нововведений эллино-римских логиков заслуживают внимания: логич. квадрат (quadrata formula) Апулея из Медавры, реформированный позднее Боэцием; полисиллогизмы и силлогизмы отношений, введённые Га леном; дихотомич. деление понятий и учение о видах и родах, встречающиеся у Порфирия; зачатки истории Л. у Секста Эмпирика и Диогена Лаэртия; наконец, ставшая с тех пор общепринятой латинизированная логич. терминология, восходящая к соч. Цицерона и лат. переводам из аристотелевского «Органона», выполненных Боэцием. В этот период Л. входит в число семи свободных иск-в, к-рые Марциан Капелла наз. энциклопедией гуманитарного образования. Логич. мысль раннего европ. средневековья беднее эллино-римской. Самостоят. значение Л. сохраняет лишь в странах арабоязычной культуры (аль-Фараби, Ибн Сина, Ибн Рушд), где философия остаётся относительно независимой от теологии. В Европе же складывается в основном схоластич. Л.церковношкольная дисциплина, приспособившая элементы перипатетич. Л. к нуждам христ. вероучения. Только после того, как все произв. Аристотеля канонизируются церк. ортодоксией, возникает оригинальная (несхоластич.) ср. век. Л., известная под назв. logica modernorum. Контуры её намечены «Диалектикой» Абеляра, но окончательно она оформляется к кон. 13 сер. 14 вв. в соч. У. Шервуда, Петра Испанского, Иоанна Дунса Скота, В. Бурлея (Бёрли), У. Оккама, Ж. Буридана, Альберта Саксонского и др. Именно здесь логич. и фактич. истинность строго разделяются и Л. понимается как формальная дисциплина о принципах всякого знания (modi scientiarum omnium), предметом к-рой являются не эмпирич., а абстрактные объекты универсалии. Учение о дедукции основывается на явном различении материальной и формальной, или тавтологичной, импликаций: для первой имеется контрпример, для второй нет. Поэтому материальная импликация выражает фактическое, а формальная логич. следование, с к-рым естественно связывается понятие о логич. законах. У ср.-век. логиков этой эпохи встречается и первая попытка аксиоматизации Л. высказываний, включая модальности. При этом Л. высказываний, как и у стоиков, признаётся более общей теорией дедукции, чем силлогистика. В этот же период, хотя и вне связи с общим течением модернизации логич. мысли, зарождается идея «машинизации» процессов дедукции (Р. Луллий, «Великое искусство» «Ars magna», 1480). Эпоха Возрождения для дедуктивной Л. была эпохой кризиса. Её воспринимали как опору мыслит. привычек схоластики, как Л. «искусственного мышления», освящающую схематизм умозаключений, в к-рых посылки устанавливаются авторитетом веры, а не знания. Руководствуясь общим лозунгом эпохи: «вместо абстракций опыт», дедуктивной Л. стали противопоставлять Л. «естественного мышления» (П. Раме), под к-рой обычно подразумевались интуиция и воображение. Леонардо да Винчи и Ф. Бэкон возрождают антич. идею индукции и индуктивного метода, выступая с резкой критикой силлогизма. Лишь немногие, подобно падуанцу Я. Дзабарелле («Логич. труды» «Opera logica», 1578), отстаивают формальную дедукцию как основу науч. метода вообще. В нач. 17 в. положение Л. меняется. Г. Галилей вводит в науч. обиход понятие о гипотетикодедуктивном методе: он восстанавливает права абстракции, обосновывает потребность в абстракциях, к-рые «восполняли» бы данные опытных наблюдений, и указывает на необходимость введения этих абстракций в систему логич. дедукции в качестве гипотез, или постулатов (аксиом), с последующим сравнением результатов дедукции с результатами наблюдений. Т. Гоббс истолковывает аристотелевскую силлогистику как основанное на соглашениях исчисление истинностных функций суждений именования, заменяя, по примеру стоиков, атрибутивные связи пропозицивнальными. П. Гассенди пишет историю Л., а картезианцы А. Арно и Н. Николь «Логику, или Искусство мыслить» («La logique ou Lart de penser», 1662), т. н. логику Пор-Рояля, в к-рой Л. представлена как рабочий инструмент всех др. наук и практики, поскольку она принуждает к строгим формулировкам мысли. Сам Декарт реабилитирует дедукцию (из аксиом) как «верный путь» к познанию, подчиняя её более точному методу всеобщей науки о «порядке и мере» mathesis universalis, простейшими примерами к-рой он считал алгебру и геометрию. В том же духе работали И. Юнг («Гамбургская логика» «Logica Hamburgiensis», 1638), В. Паскаль («О геометрич. разуме» «De lesprit geometrique»), А. Гейлинкс («Логика...» «Logica...», ?662), Дж. Саккери («Наглядная логика» «Logica demonstrative», 1697) и в особенности Г. Лейбниц, к-рый идею mathesis universalis доводит до идеи calculus rationator универсального искусств. языка, формализующего рассуждения подобно тому, как в алгебре формализованы вычисления. Этим путём Лейбниц надеялся расширить границы демонстративного познания, к-рые до тех пор, по его мнению, почти совпадали с границами математики. Он отмечал важность тождеств. истин («бессодержат. предложений») Л. для мышления, а в универсальном языке видел возможность «общей Л.», частными случаями к-рой считал силлогистику и Л. евклидовских «Начал». Лейбниц не осуществил своего замысла, но он дал арифметизацию силлогистики, разрешив тем самым совершенно новый для Л. вопрос о её непротиворечивости относительно арифметики. Программа Лейбница не вызвала всеобщего признания, хотя её поддержали Дж. Валлис («Логическое учение» «Institutio logicae», 1729), Г. Плуке («Филос. и теоретич. описания» «Expositiones pliilosophiae theoreticae», 1782), И. Ламберт («Новый органон» «Neues Organon», 1764). Благодаря их трудам внутри филос. Л., не связанной с точными методами анализа рассуждений и носящей преим. описат. характер, сложились реальные предпосылки для развития математич. Л. Однако это развитие до сер. 19 в. было приостановлено авторитетами Канта и Гегеля, считавших, что формальная Л.это не алгебра, с помощью к-рой можно обнаруживать скрытые истины, что она не нуждается ни в каких новых изобретениях, а потому оценивших математич. направление как не имеющее существ. применения. Между тем запросы развивающегося естествознания оживили почти забытое индуктивное направление в Л т. н. Л. науки. Инициаторами этого направления стали Дж. Гершель (1830), У. Уэвелл (1840), Дж. С. Милль (1843). Последний, по примеру Ф. Бэкона, сделал индукцию отправной точкой критики дедукции, приписав всякому умозаключению (в основе) индуктивный характер и противопоставив силлогизму свои методы анализа причинных связей (т. н. каноны Бэкона Милля). Критика эта, однако, не повлияла на то направление логич. мысли, к-рое наследовало идеи Лейбница. Напротив, скорее как ответ на эту критику (и, в частности, на критику идей У. Гамильтона о логич. уравнениях) почти одновременно появились обобщённая силлогистика О. де Моргана (1847), включившая Л. отношений и понятие о вероятностном выводе, и «Математич. анализ логики» («The mathematical analysis of logic», 1847) Дж. Буля, в к-ром автор переводит силлогизм на язык алгебры, а совершенство дедуктивного метода Л. рассматривает как свидетельство истинности её принципов. Позднее Буль («Исследование законов мысли» «An investigation of the laws of thought...», 1854), С. Джевонс («Чистая логика» «Pure logic», 1864), Ч. Пирс («Об алгебре логики» «On the algebra of logic», 1880), Дж. Венн («Символич. логика» «Symbolic logic», 1881), П. С. Порецкий («О способах решения логич. равенств...», 1884) и Э. Шредер («Лекции по алгебре логики» «Vorlesungen uber die Algebra der Logik», 1890-1905) окончательно опровергли тезис о неалгебраич. характере форм мысли, создав теорию «законов мысли» как вид нечисловой алгебры. Эта реформация в Л. коснулась не только силлогистики (логики классов). В 1877 X. МакКолл впервые после схоластов обращается к теории критериев логич. следования и к Л. высказываний, а Г. Фреге («Исчисление понятий» «Begriffsschrift», 1879) создаёт первое исчисление высказываний в строго аксиоматич. форме. Он обобщает традиц. понятие предиката до понятия пропозициональной функции, существенно расширяющего возможности отображения смысловой структуры фраз естеств. языка в формализме субъектно-нредикатного типа и одновременно сближающего этот формализм с функциональным языком математики. Опираясь на идеи предшественников, Фреге предложил реконструкцию традиц. теории дедукции на основе искусств. языка (исчисления), обеспечивающего полное выявление логич. структуры мысли, всех элементарных шагов рассуждения, требуемых исчерпывающим доказательством, и полного перечня осн. принципов: определений, постулатов, аксиом, положенных в основу дедукции. Фреге использует созданный им язык Л. для формализации арифметики. Ту же задачу, но на основе более простого языка, осуществляют Дж. Пеано и его школа («Формуляр математики» «Formulaire de mathematique», t. 1-2, 1895-97). Очевидным успехом движения за математизацию Л. явилось его признание на 2-м Филос. конгрессе в Женеве (1904), хотя в обществ. мнении оно утвердилось не сразу. Гл. идейным противником применения математич. методов к системе логич. понятий был психологизм в логике, к-рый воспринимал математизацию Л. как своего рода возрождение схоластики, менее всего способное поставить логические исследования на научный фундамент. Однако именно в этом своём пункте психологизм оказался антиисторичен. Борьба за математизацию Л. привела к мощному развитию этой науки. После «Principle Mathematica» (1910-13) Б. Рассела и А. Уайтхеда трёхтомного труда, систематизировавшего дедуктивно-аксиоматич. построение классич. Л. (см. Логицизм), создаётся многозначная Л. (Я. Лукасевич, Э. Пост, 1921), аксиоматизируются модальная (К. Льюис, 1918) и интуиционистская Л. (В. Гливенко, 1928; А. Гейтинг, 1930). Но главные исследования переносятся в область теории доказательств: уточняются правила и способы построения исчислений и изучаются их осн. свойства независимость постулатов (П. Бернайс, 1918; К. Гёдель, 1930), непротиворечивость (Пост, 1920; Д. Гильберт и В. Аккерман, 1928; Ж. Эрбран, 1930) и полнота (Пост, 1920; Гёдель, 1930), появляются классические работы по логической семантике (А. Тарский, 1931) и теории моделей (Л. Лёвенхейм, 1915; Т. Скулем, 1919; Гёдель, 1930; А.И.Мальцев, 1936). Начиная с 1930-х гг. закладываются основы изучения «машинного мышления» (теория алгоритмов Гёдель, Эрбран, С. Клини, А. Тьюринг, А. Чёрч, Пост, А. А. Марков, А. Н. Колмогоров и другие). И хотя выясняется ограниченность этого мышления, проявляющаяся, напр., в алгоритмич. неразрешимости ряда логич. проблем (Гёдель, 1931; П. С. Новиков, 1952), в невыразимости всех содержат, истин в к.-л. едином формальном языке (Гёдель, 1931), а тем самым и невыполнимость лейбницевской идеи создания каталога всех истин вместе с их формальными доказательствами, всё же растёт сирое на применение Л. в вычислит. математике, кибернетике, технике (первоначально в форме алгебраич. теории релейноконтактных схем, а затем в форме более общей теории анализа и синтеза конечных автоматов, теории алгоритмов и пр.), а также в гуманитарных науках: психологии, лингвистике, экономике. Совр. Л.это не только инструмент точной мысли, но и «мысль» первого точного инструмента, электронного автомата, непосредственно в роли партнёра включённого человеком в сферу решения интеллектуальных задач но обработке (хранению, анализу, вычислению, моделированию, классификации) и передаче информации в любой, области знания и практики.... смотреть

ЛОГИКА

(греч. logike, от logikos -построенный на рассуждении), дисциплина, изучающая формы и законы правильных, т.е. способных служить расширению знания, умственных построений. От Л. как науки следует отличать Л. как связь и динамику логически правильной мысли (Л. мышления). В сферу науч. Л. входит также разработка и исследование знаковых структур (исчислений, формальных систем), рассмотрение определённых фрагментов реальности (моделей), общие свойства к-рых отображаются логичной мыслью и фиксируются в знаковых структурах. Первые учения Л. возникли в древности (Греция, Индия, Китай). Как наука Л. оформилась в трудах Аристотеля, к-рый подверг анализу разл. формы мышления — понятие, суждение, умозаключение, разработал теорию одного из видов умозаключений — категорич. силлогизма и заложил основы учения о доказательствах. Своё учение Аристотель называл аналитикой и рассматривал её как науку о средствах обоснования истины. Др. аспект Л. — изучение способов рассуждения, используемых в ходе дискуссии, получил у греков название диалектики. По свидетельству Аристотеля, диалектика была изобретена Зеноном Элейским (5 в. до н. э.) как «иск-во вопросов и ответов». В дальнейшем понятия «Л.» и «диалектика» часто использовались как синонимы. Начиная со 2-й пол. 5 в. до н. э. Л. (диалектика) преподавалась в Греции софистами. О характере этого «иск-ва» можно судить по диалогам Платона, гл. персонажем к-рых является его учитель Сократ. Представленный в диалогах «сократич. метод» отчётливо демонстрирует, что филос. мысль того времени прочно овладела навыками логич. классификаций и определений, а также методом доказательства путём приведения к нелепости (rcductio ad absurdum). Обучение Л. велось гл. обр. на примерах-образцах. В иск-во построения диспута входил выбор темы и умение повернуть её определённым образом, о чём можно судить по софистич. учебнику 5 в. до н. э.«Двойные речи», демонстрировавшему возможность обоснования и отвержения одного и того же тезиса. Диалектика, в состав к-рой со временем вошла «доказывающая наука» Аристотеля, была живым иск-вом ведения спора и беседы, ему обучались на практике как ремеслу. После Аристотеля Л. получила дальнейшую разработку в школе его учеников (Теофраст, Евдем), а также в филос. школе стоиков (3—2 вв. до н. э.), развивших силлогистику условных и разделительных (т.е. использующих посылки, содержащие альтернативы) умозаключений. Школа стоиков признавала Л. одной из гл. частей философии, сочетая собственно логич. проблематику с вопросами гносеологии и структуры языка и речи. Первые учебники Л. появились после того, как в 1 в. до н. э. были обнаружены и привезены в Рим логич. соч. Аристотеля, к-рые воспроизводились и комментировались аристотеликами, в т. ч. авторитетнейшим комментатором Александром Афродисийским (2—3 вв.). Изучение свода логич. соч. Аристотеля («Органон») стало непременной частью философского (для того времени высшего) образования. Однако на фоне заката антич. культуры снизился и уровень логич. знаний и обучения Л.: obria практически утрачена методика диспутов, сформировался «схоластич.» подход к Аристотелю — чтение текста (Аристотеля или его комментаторов) и текстологич. толкования. Поздняя греч. традиция филос. образования основывалась на истолковании текстов Аристотеля. В ср.-век. Зап. Европе стала доминировать установка на создание учебников по курсу семи свободных искусств. Л. (как диалектика) наряду с грамматикой и риторикой вошла в тривиум — низшую ступень курса и вплоть до 19 в. являлась частью классического образования. Решающее влияние на формирование традиции изучения Л. оказал перевод на лат. яз. «Органона», выполненный Боэцием. В период средневековья диалектика, преподававшаяся по переводам и комментариям Боэция, входила в круг уч. дисциплин в монастырских школах, позднее — в ун-тах. Важное значение Л. в уч. процессе раскрылось благодаря распространению в ун-тах публичных диспутов — богословских и философских. Логич. построения, представленные в форме ответов на поставленные вопросы, наряду с опорой на авторитет, определяют существо ср.-век. зап.-европ. философствования. Освоение европ. культурным миром полного. текста «Органона» (начиная с сер. 12 в.) положило начало расцвету схо-ластич. Л. (см. Схоластика). В этот период аристотелевская Л. подверглась дальнейшей детализации. Изучались связанные с Л. вопросы семиотики, проблематика логич. модальностей (категорий типа «необходимо», «возможно, что», «невозможно, чтобы» и т. п.), логич. антиномии (возникающие в Л. противоречия, для устранения к-рых предлагаются разл. решения). Вместе с учением о языке Л. рассматривалась при этом как диалектика, а термин «Л.» использовался в назв. своего рода учебников — многочисл. ком-педиумов, составленных на основе и в развитие логич. соч. Аристотеля. В университетском преподавании пользовались популярностью «Логические сумму-лы» («Summulae logicales») Петра Испанского (13 в.). Преподавание Л. шло на фоне дискуссий о том, чем она являетсяиск-вом (ars) или наукой (scientia). Гл. содержанием антич. и ср.-век. Л. была теория дедукции как системы умозаключений, позволяющих выводить из достоверных посылок достоверные заключения в ходе применения общих принципов к конкретным ситуациям и случаям. На рубеже 16—17 вв. Ф. Бэкон создал теорию индукции как метода получения общих заключений о явлениях природы, использующего результаты опытов и наблюдений. Г. Галилей ввёл в науч. обиход гипотетико-дедуктивные познават. процедуры, соединяющие дедукцию и матем. средства с выдвижением и проверкой науч. допущений — гипотез. Декарт, критикуя схоластич. Л., стремился сочетать логич. дедукцию с интуитивным подбором простейших и очевидных фактов как исходны?! пунктом движения познающей мысли. Декартом была выдвинута идея «универсальной математики», развитая Г. В. Лейбницем до программы всеобъемлющего логич. исчисления, цель к-рой — заменить содержательное мышление вычислением и рассуждением по установл. строгим правилам. Продолжатель филос. традиции Лейбница X. Вольф заложил основы обучения «иск-ву мышления», к-рое излагалось в многочисл. учебниках Л., выходивших в немецкоязычных странах в 18 в. Публикация «Логики» И. Канта (издана в 1800) положила начало т. п. традиц. Л., утвердившейся в немецкой, а затем и в рус. ср. и высш. школе. Для «традиц. Л.» было характерно строгое разделение материала на «учение о понятии», «учение о суждении», «учение об умозаключении», «учение о методе и доказательстве». Во Франции содержание курсов Л. определило классич. руководство «Логика, или Иск-во мыслить», написанное А. Арно и П. Николем (т. н. логика Пор-Рояля, по назв. монастыря, в к-ром было создано это соч., опубл. 1662). Написанная под влиянием Декарта и Б. Паскаля (среди его трудов было соч. «О геометрич. разуме»), логика Пор-Рояля соединяла в себе осн. положения схоластич. Л. с идеями, шедшими от опытной науки нового времени. Логич. школа Пор-Рояля оказала влияние на развитие Л. в др. странах, включая Россию. В Англии получило распространение основанное Бэконом индуктивистское направление, к-рое в 19 в. нашло воплощение в труде Дж. С. Милля «Система логики силлогистической и индуктивной» (1843). Однако в англоязычных учебниках Л. в равной мере излагалась теория дедукции и индукции (в т. ч. гипотеза и аналогия). В сер. 19 в. началась математизация Л., были созданы логич. исчисления, пользующиеся специфич. знаковыми средствами (логич. символикой). В 1847 в Англии вышли труды математиков Дж. Буля «Матем. анализ логики» и А. де Моргана «Формальная логика», в к-рых нашла первое реальное осуществление выдвинутая Лейбницем идея логич. формализации: дедукция и правдоподобные (вероятностные) рассуждения были представлены в виде определённых алгебраич. систем. Пед. аспект нового подхода к Л. нашёл отражение в работах У. С. Дже-вонса, построившего механич. логич. машину, служившую для демонстрации простейших умозаключений и обучению работе с логич. формализмом. В трудах нем. логика Г. Фреге (кон. 19 — нач. 20 вв.) был создан новый, отличный от алгебраического, формальный логич. язык, что позволило существенно обогатить Л. (создание Л. предикатов, т. е. Л. свойств и отношений). Значение матем. (символич.) Л. как нового этапа в развитии древней науки было вполне осознано после появления в Англии труда А. Н. Уайтхеда и Б. Рассела «Principia mathematica» (1910—13) и работ Д. Гильберта, вышедших в 1900—20-х гг. (Германия). В уч. пособиях по Л. матем.-логич. достижения учитывались начиная с 2030-х гг. 20 в. Соответственно изменились содержание курсов Л. и характер преподавания: стало очевидным, что традиц. Л. охватывает лишь небольшую часть логич. процедур, присутствующих в мышлении, новые подходы требовали более строгого изложения материала. По мере становления матем. Л. она проникла в разл. области знания: в технику, естеств. и гуманитарные науки. Этот процесс был связан с расширением круга внелогич. интерпретаций (моделей) и приложений логич. исчислений, а также с обнаружением тесной связи идей матем. Л. и теории алгоритмов. Матем.-логич. средства оказались эффективными при анализе естеств. языка и построении формальных схем языковых и речевых феноменов; они стали использоваться в алгоритмич. описании процессов переработки информации в мышлении и процессах обучения. К сер. 20 в. матем. Л. вошла в число предметов, обязательных для высш. матем. образования. С развитием кибернетики и информатики Л. сделалась необходимым компонентом подготовки широкого круга специалистов, открылись многообразные возможности её применения в пед. практике (см. Алгоритмизация, Компьютеризация обучения). В Россию знакомство с Л. пришло вместе с визант. учёностью. Не позднее 14 в. появился перевод соч. визант. богослова и философа Иоанна Дамаскина «Диалектика», в к-ром излагалось логич. учение Аристотеля. В числе «свободных искусств» Л. преподавалась на греч. или лат. языках в Киево-Могилянской и Славяно-греко-лат. академиях. Автор первого известного на Руси учебника Л. (написан на лат. яз. в 80-е гг. 17 в.) — Софроний Лихуд (см. Лихуды). В Славяно-греко-лат. академии Петровичем Макарием было составлено первое уч. руководство по Л. на церк.-слав. языке. В 17—18 вв. Л. преподавалась гл. обр. как составная часть риторики («Риторика» М. В. Ломоносова) или философии. Так, филос. курс Георгия Конисского, преподававшего в Киево-Могилянской акад. в 18 в., открывался разделом Л. С появлением гимназий и развитием университетского образования Л. вошла в программы как самостоят. дисциплина. В 1849 была исключена из гимназии, курса, преподавание основ Л. (один уч. час в неделю) возобновилось в 1871. Со 2-й пол. 18 в. стали создаваться многочисл. учебники Л. (отеч. авторов и переводные). В 19 в. интерес к Л. значительно усилился: выходили науч. труды, а также переводы, предназначенные для широкой аудитории (напр., кн. У. С. Джевонса «Основания логики», 1878). К кон. 19 — нач. 20 вв. Л. преподавалась в ср. светских (гимназии) и духовных уч. заведениях, на всех гуманитарных ф-тах ун-тов. Появился ряд оригинальных отеч. исследований по Л. как филос. (М. И. Карийский, Л. В. Рутковский), так и матем. ориентации (П. С. Порецкий, Е. Л. Буницкий, И. В. Слешинский, С. О. Шатуновский), возникли подходы, сочетавшие традиционно-филос. установки со стремлением учесть достижения матем. Л. (С. И. Поварнин, Н. А. Васильев). В нач. 20 в. было издано и использовалось в преподавании большое число учебников для ср. школы (А. Е. Светилина, Г. И. Челпанова), ун-тов (М. Владислав-лева, М. М. Троицкого, В. Н. Карпова, А. И. Введенского). Переводились на рус. яз. (или передавались в изложении) матем. -логич. труды признанных логиков и философов (Э. Шредер, Л. Кутюра, Ж. А. Пуанкаре), а также малоизвестных авторов. Разрабатывались вопросы применимости матем. Л. при изучении мышления (Введенский, Поварнин), приложения Л. к технике. После 1917 преподавание Л. в ср. и высш. школе стало постепенно свёртываться; формальная Л. рассматривалась как «классово чуждая» наука. Матем. исследования в области Л. (И. И. Жегалкин, В. И. Гливенко, А. Н. Колмогоров) были замкнуты в рамках математики. Л. как самостоят. науч. дисциплина практически прекратила своё существование. В 1946 Л. вновь стала преподаваться в школе, на гуманитарных ф-тах ун-тов и пед. ин-тов; был переиздан учебник Челпанова, созданы руководства по Л. сов. авторов В. Ф. Асмуса (1947), К. С. Бакрадзе (1951) и др. Однако ограничение преподавания рамками традиц. Л. и отсутствие квалифицир. специалистов, владеющих логич. техникой, обусловило низкий науч. уровень преподавания, в ходе «борьбы против перегрузки учащихся» в сер. 50-х гг. Л. была исключена из уч. курсов ср. школы и ряда вузов. В 4050-е гг. вышли в рус. переводе классич. книги по матем. Л. — А. Тарского, Д. Гильберта и В. Аккермана, С. К. Клини, А. Чёрча. Развитие кибернетики и информатики привело к существенному изменению содержания как филос.-логич, так и матем.-логич. исследований. В 70—80-е гг. отеч. логики-философы стали применять технику построения и анализа логич. исчислений, а логики-математики вводить в свои работы филос. и кибернетич. проблематику. Издавались учебники и уч. пособия по Л., сочетающие филос. и матем. ориентацию. В совр. Л. (филос. и матем.) активно осмысляются пед. аспекты. Как уч. предмет Л. сделалась обязат: компонентом подготовки специалистов по разл. профилям, в т. ч. в сфере пед. образования. В кон. 80-х—90-х гг. в Рос. Федерации в связи с ориентацией нек-рых типов ср. уч. заведений на классич. образование (гимназии, лицеи) Л. снова входит в круг общеобразоват. дисциплин. Лит.: Аристотель, Соч., т. 2, М., 1978; Ми л ль Дж. С., Система логики силлогистической и индуктивной, пер. с англ., M.; Лукасевич Я., Аристотелевская силлогистика с точки зрения совр. формальной логики, пер. с англ., М., 1959; Попов П. С., История логики нового времени, М., 1960; Маковельский А. О., История логики, Ми967; С т я ж к и и Н. И., Формирование матем. логики, М., 1967; С то л л Р., Множества. Логика. Аксио-матич. теории, пер. с англ., М., 1968; К а р-ри X. Б., Основания матем. логики, пер. с англ., М., 1969; Столяр А. А., Педагогика математики, Минск; Марков А. А., О логике конструктивной математики, М., 1972; К лини С. К., Матем. логика, пер. с англ., М., 1973; Бирюков Б. В., Геллер Е. С., Кибернетика в гуманит. науках, М., 1973; Попов П. С., Стяжкин Н. И., Развитие логич. идей от античности до эпохи Возрождения, М., 1974; Формальная логика, Л., 1977; Логика и проблемы обучения, М., 1977; Фридман Л. М., Турецкий E. H., Как научиться решать задачи, M.; Очерки истории школы и пед. мысли народов СССР с древнейших времен до кон. XVII в., М., 1989, с. 213—15 («Диалектика» Иоанна Дама-скина); Кэрролл ЛЛогич. игра, пер. с англ., М., 1991. Б. В. Бирюков, 3 — А. Кузичева. Ю. А. Шичалин.... смотреть

ЛОГИКА

греч. ?????? – наука о мышлении, от ????? – слово, речь, разум, рассуждение) – наука о законах, формах и приемах познания мира на ступени абстрактного мышления, а также о языке как средстве такого познания. Основная цель Л.– выяснение условий истинности познания, выработка эффективных логич. аппаратов и правильного метода познания. Слово "Л." употребляется также для обозначения закономерностей развития и взаимосвязей предметов и явлений объективной действительности (в этом смысле говорят об "объективной Л.", "Л. классовой борьбы" и т.п.) и закономерностей рассуждения ("Л. мышления", "Л. доказательства"). Совр. Л. как наука представляет собой совокупность ряда разделов и направлений, главными из к-рых являются диалектич. и формальная Л. Это разделение обусловлено наличием двух аспектов мышления. По своему существу мышление есть процесс развития знания, формирования понятий, суждений, теорий, в к-ром действуют как общие для всех предметов и явлений, так и специфич. для познания законы диалектики и обусловленные ими приемы познания. Совокупность этих законов и приемов входит в предмет диалектич. Л.: на основе их исследования формируется научный диалектико-материалистич. метод познания с учетом диалектики как самих объектов познания, так и процесса отражения мира в мышлении. Вместе с тем всякий процесс мышления представляет собой оперирование сложившимися понятиями и суждениями (определение, обобщение, ограничение и деление понятий, в к-рых выделены изучаемые предметы, преобразование суждений из одних форм в другие, логич. выведение одних суждений из других, обоснование или опровержение одних суждений посредством других и т.п.). Совокупность этих форм и операций составляет формально-логич. аппарат познания. Подобные формы и операции и лежащие в их основе специфич. (формальные) законы связи между понятиями и суждениями составляют предмет формальной Л. Проблемы диалектич. и формальной Л. возникли в древнем мире в рамках филос. проблем о сущности познания, его источниках и отношении к объективному миру. Формальная Л. как наука сложилась в 4 в. до н.э. в трудах Аристотеля. В силу неразрывной связи ее проблем с основным вопросом философии формальная Л. рассматривалась обычно как один из разделов философии, что оправдывалось, в частности, постоянной борьбой материализма и идеализма, диалектики и метафизики вокруг ее понятий и существованием различных филос. направлений внутри самой Л. Развитие осн. идей диалектич. Л. осуществлялось в рамках теории познания. Начало формированию диалектич. Л. как системы знания положил Гегель, у к-рого она получила, однако, идеалистич. истолкование. Действительно науч. ее основы создали Маркс, Энгельс и Ленин. В настоящее время она является частью диалектич. материализма. Формальная Л. и диалектика составили осн. рациональное содержание философии. Как писал Энгельс, в результате выделения из философии конкретных наук "... из всей прежней философии самостоятельное существование сохраняет еще учение о мышлении и его законах – формальная логика и диалектика" (Маркс К. и Энгельс Ф., Соч., 2 изд., т. 19, с. 207). Со 2-й пол. 19 в. формальная Л. в виде символич. (или математич.) Л. выделяется в самостоятельную науку, исследующую в основном формы выводов и доказательств и лежащие в их основе логич. законы. Развитие символич. Л. открыло путь важному направлению в области исследований теоретического мышления (см. Метатеория) и положило начало ряду новых логических дисциплин (см. Металогика, Семантика). Полученные на этом пути результаты еще более подтвердили связь Л. и философии; не случайно их широко используют (с соответствующим истолкованием) совр. позитивизм и другие идеалистич. направления совр. бурж. философии. Между тем наиболее важные из этих результатов свидетельствуют о правильности диалектико-материалистич. понимания процесса познания. Диалектич. материализм является единственно возможной научно-методологич. основой всей совр. Л. (см. Логика диалектическая, Формальная логика). Е. Войшвилло. Москва. Логические журналы появились в начале 30-х гг. 20 в., что было связано с изменением предмета Л., сферы ее применения, ее методологии и технич. аппарата. Это изменение шло в основном по двум направлениям, каждое из к-рых, взаимно обогащаясь, использовало результаты другого. С одной стороны, Л. "математизировалась", т.е. в Л. все в большей степени проникали математич. методы и средства исследования и доказательства. С другой стороны, с начала века мн. философов и логиков стали интересовать проблемы т.п. Л. науки, т.е. проблемы, связанные с исследованиями логич. средств и приемов, используемых в процессе научного рассмотрения, с изучением структуры научного рассуждения, с возможностями и пределами формализации ряда содержательных областей, и т.д. В соответствии с этими двумя линиями развития все осн. логич. журналы условно можно разбить на две группы: журналы по "широко понимаемой" Л. (Л. науки) и журналы по математической логике, интересы к-рой преимущественно сосредоточиваются вокруг технич. проблем, связанных с разработкой аппарата, или вокруг содержательных проблем, связанных с основаниями математики. При характеристике журналов первой группы необходимо учитывать, что те из них, к-рые издаются в капиталистич. странах, по вопросам общефилос. разработка логич. исследований идут в осн. русле бурж. мировоззрения, тогда как логич. исследования, публикуемые в журналах социалистич. стран, основываются на принципах диалектич. материализма. Предшественником первой группы журналов является довольно известный "Erkenntnis". На страницах этого журнала публиковали свои работы почти все крупные зарубежные логики. К настоящему времени в первую группу логич. журналов входят: 1) "Synthese; an international journal for the logical and psychological study of the foundations of sciences". Основан в 1936 в Амстердаме. Выходит 4 раза в год. С 1940 по апрель 1946 не выходил. Является офиц. органом ин-та по единству науки, международ. общества сигнифики, франц. социологич. ин-та, франц. и голл. секций международной ассоциации по Л. и философии науки. Несмотря на то, что журнал публикует статьи по философии, психологии и социологии, основное внимание все же уделяется Л. науки. Хотя в работе журнала принимают участие авторы самых различных филос. течений и школ, на его страницах печатаются преим. статьи т.н. аналитич. философов: логич. позитивистов, неореалистов, операционалистов и др. Статьи печатаются в основном на английском, французском и немецком языках. 2) "Philosophy of Science". Основан в 1934 в Балтиморе. Офиц. орган амер. ассоциации философии науки, ин-та по единству науки и секции Л. амер. ассоциации по развитию науки. Осн. задача журнала – публикация исследований по "философии и логике науки". Она распадается на следующие конкретные задачи: исследования по анализу значения, определения, основных принципов символизации; исследование логич. принципов, аксиом, постулатов, положений науки; изучение методов науки; исследование природы теоретич. принципов и их формулировок; исследование структуры науки, классификации различных наук; исследование роли и значения науки в различных аспектах (см. "Philosophy of Science", 1934, v. 1, No 1, p. 3–4). Филос. основой для таких исследований служат, как правило, концепции прагматизма, логич. эмпиризма, операцио-нализма и т.н. лингвистич. анализа. Хотя журнал американский, в нем принимают участие мн. видные бурж. логики, философы и ученые из др. стран (Англии, Франции, Голландии, Бельгии и др.). 3) "Studia Logica". Единственный в социалистич. странах спец. ежегодник по Л. Основан в 1953 в Варшаве филос. комитетом Польской академии наук. Наряду со специальными исследованиями по формальной и математич. Л. публикуются работы по различным разделам общей Л. Освещается применение Л. в различных областях практич. жизни, обсуждаются программы обучения Л. в школах и др. меры, направленные на повышение общей логич. культуры общества. Много внимания уделяется взаимоотношениям между Л. и психологией, анализу логич. правильности методов мышления и систематич. исследованию явлений т.н. нелогичности, истории Л. Одной из осн. задач ежегодника является также публикация исследований о применении Л. и логич. средств к анализу понятий в естеств. и обществ. науках, к теории автоматич. устройств. Как правило, все статьи публикуются на польском яз. с обязательным резюме на одном из четырех языков: рус., англ., франц. и нем. 4) "Logique et Analyse". Основан в 1958 в Брюсселе и является продолжением основанного в 1950 бюллетеня, издаваемого бельгийским национальным центром логич. исследований. Выходит 3 раза в год (январь, апрель, август). Освещаются проблемы общей Л., связь Л. с философией, специальные проблемы математич. Л., а также логич. проблемы в области права и языкознания. Журнал преим. неопозитивистского толка. Фактически является международным журналом, публикует статьи на франц. (преимущественно), англ. и нем. яз. 5) "Methodes". Основан в 1949 при Миланском ун-те. Выходит 4 раза в год. До 1960 носил подзаголовок "Rivista trimestrale di metodologia e di logica simbolica" и распадался по содержанию на две секции: секция по методологии, руководимая итальянским центром методологии и анализа языка (при Миланском ун-те), и секция символич. Л. С 1960 журнал несколько изменил свою тематику, носит подзаголовок "Linguaggio e cibernetica" и издается центром по кибернетике и лингвистич. деятельности при Миланском ун-те, группой по автоматизации науч. информации при Евратоме и итал. операционной школой. Наряду со специальными статьями по кибернетике, программированию и лингвистике журнал по-прежнему большое внимание уделяет проблемам общей и математич. Л., связи Л. с философией, психологией и лингвистикой, логич. проблемам кибернетики, теории информации, информационно-поисковых систем и техники программирования. Предоставляет возможность печататься авторам самых различных филос. направлений (от неотомистов типа Ю. Бохеньского до теоретиков генетической эпистемологии типа Ж. Пиаже). Статьи в основном печатаются на итал. и англ. яз. Фактически является международным. Вторую группу составляют журналы по математич. Л.: 1) Осн. международным журналом по математич. Л. является "Journal of Symbolic Logic". Основан в 1936. Выходит 4 раза в год. Является офиц. органом ассоциации символич. Л. – международной организации математич. логиков. Журнал поддерживается ЮНЕСКО и секцией Л., методологии и философии науки при международном объединении истории и философии науки (сокр. ICSU). В нем сотрудничают почти все крупнейшие зарубежные логики и математики. Журнал является фактически единств, полным специальным библиографич. указателем по Л. (как общей, так и формальной). В четвертых номерах первого (1936, р. 121–218) и третьего (1938, р. 178–212) томов помещена широко известная "Библиография математич. логики", составленная А. Черчем. В ней дается свод всей лит-ры по математич. Л. со времени зарождения этой науки (т.е. с 1666 – года опубликования работы Лейбница "Dissertatio de arte combinatoria") до 1935 включительно. С 1935 в разделе "Рецензии" ("Reviews") реферируются все логич. работы (включая и выходящие в СССР). Каждые 4 года в последнем номере журнала дается именной и предметный указатель всех прореферированных работ, так что в журнале можно найти указания почти на все работы, появившиеся в мировой логич. литературе. 2) "Zeitschrift f?r mathematische Logik und Grundlagen der Mathematik". Основан в 1955 в Берлине (ГДР). Выходит 4 раза в год. Издается Ин-том математич. Л. им. Гумбольдта. Международный журнал; публикует статьи на рус, нем., англ. и франц. яз. по проблемам математич. Л. и оснований математики, а также освещает результаты смежных с ними областей. При этом особое внимание уделяется применению математич. Л. и теории рекурсивных функций к проблемам построения вычислительных машин, алгебры переключений и техники программирования. Публикуются статьи преимущественно математич. характера. В журнале активное участие принимают советские математики и математич. логики (Марков, Шанин, Успенский, Кабаков и др.). 3) "Archiv f?r mathematische Logik und Grundlagenforschung". Основан в 1950 в г. Штутгарте (ФРГ). Задуман как квартальный журнал, но выходит крайне нерегулярно. Осн. внимание уделяется сугубо "техническим" проблемам математич. Л. и проблемам оснований математики. Фактически является международным журналом; публикует статьи на нем., англ. и франц. языках. Кроме вышеперечисленных, логич. проблематике уделяют место почти все крупные международные и нац. филос журналы (см. раздел о журналах в ст. Философия). И. Добронравов. Москва. ... смотреть

ЛОГИКА

ЛОГИКА (от греч. logos — слово, понятие, рассуждение, разум), или: Формальная логика,  — наука о законах и операциях пра­вильного мышления. Согласно ос... смотреть

ЛОГИКА

ЛОГИКА (греч. logos - слово, рассуждение, понятие, разум) - наука о формах, законах и методах познавательной деятельности; способность правильно (логич... смотреть

ЛОГИКА

(греч. logos - слово, рассуждение, понятие, разум) - наука о формах, законах и методах познавательной деятельности; способность правильно (логически) мыслить. С древности замечено важное свойство познающего мышления человека: если вначале высказываются некоторые утверждения, то затем могут быть признаны и другие утверждения, но не любые, а лишь строго определенные. Познающее мышление, т.обр., подчинено некоей принудительной силе, его результаты во многом детерминированы и предопределены предшествующим знанием. Данное свойство широко использовал Сократ в своих диалогах. Умелой постановкой вопросов он направлял своего собеседника к принятию вполне конкретных выводов. (Характеризуя свой метод, Сократ пояснял, что его манера вести беседу подобна тому, что делает акушерка, которая сама не рожает, но принимает роды. Так и он лишь спрашивает других, способствуя рождению истины, самому же ему нечего сказать.) Поэтому свой метод Сократ назвал майевтикой - искусством повивальной бабки.) Ученик Сократа Платон, затем Аристотель сделали детерминированность мышления предметом специального исследования. Результаты Аристотеля особенно впечатляющи. Его успех связан с тем, что он устранил из рассуждений то, что может быть названо их содержанием, сохранив только форму. Этого он достиг, подставив в суждениях вместо названий с конкретным содержанием буквы (переменные). Например, в импликативном рассуждении: "Если все В суть С и все А суть В, то все А суть В". Подход Аристотеля продемонстрировал тот факт, что достоверность результатов различных по содержанию рассуждений зависит не только от истинности исходных положений (посылок), но и от отношений между ними, способа их соединения, т.е. от формы рассуждения. Аристотель сформулировал важнейшие принципы перехода от истинных посылок к истинным заключениям. Впоследствии эти принципы стали называться законами тождества, противоречия и исключенного третьего. Он предложил первую теоретическую систему форм рассуждений - т.н. ассерторическую силлогистику, имеющую дело с суждениями вида "Все А суть В", "Некоторые А суть В", "Ни одно А не есть В", "Некоторые А не суть В". Тем самым он положил начало науке об общезначимых средствах и формах мышления, законах рационального познания. Позже эту науку стали называть Л.Л. не ограничилась выяснением случаев, когда истинность посылок гарантирует истинность заключения. Эта разновидность рассуждений стала предметом одной ее ветви - дедуктивной Л. Но уже Демокрит обсуждает проблему индуктивных умозаключений, посредством которых осуществляется переход от частных утверждений к общим положениям, имеющим вероятностный характер. Особый интерес к индукции проявляется в 17-18 вв. когда быстро стали развиваться опытные науки. Английскому философу Ф. Бэкону принадлежит первая попытка теоретического осмысления индукции, которая, как он думал, способна служить единственным методом познания природных явлений в целях их применения на пользу людям. Дедукти-визм и индуктивизм - главные направления в развитии Л. вплоть до 19 в. Представители рационалистической философии (Декарт, Спиноза, Мальбранш, Лейбниц) отдавали предпочтение дедукции, в то время как представители эмпирической (сенсуалистической) философии (вслед за Ф. Бэконом - Гоббс, Локк, Кондильяк, Беркли, Юм) были индуктивиста-ми. Вольф, предложивший всеобъемлющую, по его мысли, систему философского знания как "науку о всех возможных предметах, насколько они возможны", попытался примирить указанные направления. Будучи, в целом, рационалистом, он, тем не менее, энергично подчеркивал решающее значение индукции и опытного знания в отдельных научных дисциплинах (напр, в физике). Однако вольфианские представления о формах и законах мышления, методах познания, сложившиеся в Л. к 19 в., не смогли удовлетворить потребностей бурно развивающейся науки и общественной практики. Кант и особенно Гегель подвергли критике ограниченность рационалистически-метафизического метода. Перед Л. встала задача выработать средства, которые позволяли бы сознательно подходить к изучению сущностных отношений. Серьезная попытка решить эту задачу была предпринята Гегелем. Его выдающейся заслугой является введение в Л. идеи развития и взаимосвязи. Это позволило ему заложить основы диалектической Л. как теории движения человеческой мысли от явления к сущности, от истины относительной к истине абсолютной, от знания абстрактного к знанию конкретному. На основе категорий, принципов и законов диалектической Л. вырабатываются методологические ориентиры исследования содержания предметов во всем их многообразия и противоречивости. В настоящее время Л. представляет собой достаточно разветвленную научную дисциплину. Ее важнейшим и наиболее зрелым разделом является формальная Л. Свое наименование она получила от предмета, которым занимается с древности, - форм мыслей и рассуждений, обеспечивающих получение новых истин на основе уже установленных, и, в первую очередь, критериев правильности и обоснованности этих форм. Долгое время формальная Л. была известна прежде всего в том виде, который придали ей Аристотель и его комментаторы. Отсюда название, соответствующее данному этапу, - аристотелевская Л. Восходящая к Аристотелю традиция породила также другой равнозначный термин - традиционная Л. Неизменность проблематики и методов ее разрешения в рамках аристотелевской Л. на протяжении многих веков дала основание Канту, впервые употребившему термин "формальная Л.", считать, что за две тысячи лет, прошедших со времени Аристотеля, эта Л. не сделала ни одного шага вперед и имеет по существу законченный характер. Кант и не предполагал, что через какие-то полвека после его смерти начнется "второе дыхание" в развитии формальной Л. Этот качественно новый этап был вызван тем, что проблемы, поставленные исследованием логических оснований математики, было невозможно решить средствами аристотелевской Л. Почти одновременно идут процессы логизации математики и математизации Л. При решении логических проблем активно используются математические методы, создаются логические исчисления. Делаются конкретные шаги по реализации идей Лейбница об использовании вычислительных методов в любой науке. Дж. Буль разрабатывает первую систему алгебры Л. Благодаря работам О. де Моргана, У. Джевонса, Э. Шредера, П.С. Порецко-го, Пирса, Фреге, Дж. Пеано, Рассела создаются основные разделы математической Л., становящейся важнейшей ветвью формальной Л. В 20 в., особенно в 20-е и 30-е, в работах Я. Лукасевича, Э. Поста, К. Льюиса, С. Яськовского, Д. Веб-ба, Л. Брауэра, А. Гейтинга, А.А. Маркова, А.Н. Колмогорова, Г. Рейхенбаха, С.К. Клини, П. Детуш-Феврие, Г. Бирк-гофа и др. закладываются основы неклассических разделов формальной Л.: многозначных Л., модальной, вероятностной, интуиционистской, конструктивистской и др. Л. Переход к числу истинностных значений, большему чем два ("истинно", и "ложно"), составляет одну из характерных особенностей неклассических, или, как их часто называют, нехрисипповых Л. В 1930-е развитие формальной Л. связано с решением многих проблем металогики (греч. meta - после, сверх), изучающей принципы построения и общие свойства формальных систем, например, проблемы непротиворечивости, полноты, независимости системы аксиом, разрешимости, возможностей этих систем выражать содержательные теории и др. Закладываются основы т.наз. "машинного мышления". Исследование указанных проблем ознаменовалось выдающимися открытиями, имеющими важное мировоззренческое и методологическое значение и связанными с именами Тарско-го, К. Геделя, А. Черча. Наибольшую известность получила теорема К. Геделя о неполноте формализованных систем, в т.ч. арифметики натуральных чисел и аксиоматической теории множеств. В соответствии с этой теоремой, в каждой из таких систем имеются предложения, которые в их рамках нельзя ни доказать, ни опровергнуть. Тем самым было показано, что ни одна действующая научная теория не может быть втиснута в рамки формализма. А. Черч доказал теорему, согласно которой, не существует алгоритмов для решения многих классов задач, не говоря уже об алгоритме, позволяющем решать любую задачу (об изобретении такого алгоритма мечтали многие выдающиеся логики и математики). Сегодня развитие формальной логики идет в двух основных направлениях: 1) выработка новых систем неклассической Л. (Л. императивов, оценок, вопросов, временной, индуктивной Л., теории логического следования и т.д.), исследование свойств этих систем и отношений между ними, создания их общей теории; 2) расширение сферы применения формальной Л. Важнейший конечный результат, полученный в этом направлении, - то, что формальная Л. стала не только инструментом точной мысли, но и "мыслью" первого точного инструмента - компьютера, непосредственно в роли партнера включенного человеком в сферу решения стоящих перед ним задач. Л. (в сумме всех своих разделов) стала неотъемлемой частью человеческой культуры. Ее достижения используются в самых разнообразных областях деятельности людей. Она широко применяется в психологии и лингвистике, теории управления и педагогике, юриспруденции и этике. Ее формальные разделы являются исходной основой кибернетики, вычислительной математики и техники, теории информации. Без принципов и законов Л. не мыслима современная методология познания и общения. Изучению Л. всегда придавалось большое значение. Уже Парме-нид поучал еще неопытного в философии Сократа: "Твое рвение к рассуждениям, будь уверен, прекрасно и божественно, но, пока ты еще молод, постарайся поупражняться больше в том, что большинство считает пустословием (т.е. оперировании абстрактными понятиями - В.Б.) в противном случае истина будет от тебя ускользать". Как видим, уже в древности понимали, что дисциплина, которой позже было присвоено имя Л., играет прежде всего большую методологическую роль - как средство отыскания истины. В.Ф. Берков... смотреть

ЛОГИКА

ЛОГИКА(греч. logike, от logos - рассуждение). Наука о законах мышления, которое состоит в образовании понятий, суждений и умозаключений.Словарь иностра... смотреть

ЛОГИКА

Традиционно логикой называлась наука о правильном умозаключении. Современная логика включает в себя три основные части: формальную логику, представляющую собой общую теорию предметов, т. е. своего рода онтологию; общую методологию наук и, наконец, семиотику, т.е. логическую теорию языка. Формальная логика в наши дни облечена в математическую форму (см. логистика). С логикой связано множество заблуждений; остановимся на пяти из них. 1. Относительно невинным заблуждением является точка зрения, разделяемая многими философами, согласно которой современную логику следовало бы заменить на какую-нибудь из прежних логик, например на декартовскую или схоластическую логику. Однако современная (математическая) логика включает в себя все наиболее ценное из прежних, исторических форм логики, причем обычно в значительно более правильных формулировках, а также содержит много нового. Причина недовольства современной логикой, по-видимому, в том, что некоторым философам не нравится ее точность и они стремятся ее избежать. 2.Более опасно заблуждение, согласно которому существуют иные, якобы «более глубокие» логики, например логика чувств, трансцендентальная, диалектическая логика и т. п. Крайней формой можно считать «логику откровения». На при мере последней можно легко убедиться, что эти «более глубокие» логики являются не чем иным, как заблуждением. Ведь если откровение исходит от Бога и имеет божественное содержание, то оно должно быть сообщено в форме, понятной людям, т. е. выражено на человеческом языке. А человеческий язык подчиняется законам логической семиотики и формальной логики. Язык, который нарушает эти законы, не является человеческим -языком, это — невнятица. Примером может служить «диалектический» язык, нарушающий принцип противоречия. 3.Это заблуждение пользуется большим успехом у непрофессионалов в связи с возникновением гетеродоксических и прежде всего многозначных логик. Утверждается, например, что в трехзначной логике Лукасевича нет закона противоречия. Наличие множества логик якобы дает полную свободу в выборе между разными, противоречащими друг другу логиками, т.е., в сущности, освобождает нас от всякой логики. Это заблуждение обусловлено незнанием истинного положения дел. Ибо гетеродоксические логики или (1) вообще не логики, а лишь неинтерпретированные формальные системы, т.е. набор знаков, за которым не стоит никакой логической модели, или (2) это частные логики, элементы общей логики (такова, например, вышеупомянутая трехзначная логика Лукасевича), или, наконец, (3) существуют интерпретации, позволяющие переводить положения таких логик на язык обычной двухзначной логики. 4.Самым крайним предрассудком в отноше нии логики является формулировка Паскаля: «Le coeur a ses raisons que la raison ne connait point» — «У сердца есть доводы, неведомые разуму». Здесь выражено стремление к свободе от любых «логических оков». Общим корнем этих заблуждений является иррационализм, приписывающий человеку некие «высшие» способности, которые, по мнению сторонников этой точки зрения, успешно заменяют разум и не подчиняются при этом законам логики. Однако (формальная) логика есть не что иное, как описание наиболее общих черт предметов, и тот, кто пытается от нее избавиться, аргументирует это каким-то невнятным бормотанием. За пределами логики можно найти только абсурд. 5.Значительно менее опасно заблуждение противоположного толка, согласно которому научная логика необходима также и для правильных рассуждений в повседневной жизни. В действительности каждый человек обладает естественной, врожденной логикой, которая позволяет ему мыслить правильно, если речь не идет о сложных умозаключениях. Наконец, логика—не только орудие умозаключения, но и метод анализа понятий. Логика приобретает решающее значение, когда речь идет о философии (основах) математики, кибернетики и при анализе особо сложных доказательств — к примеру, в математике и в метафизике. См.: диалектика, интуиция, иррационализм, разум, философия Нового времени.... смотреть

ЛОГИКА

ло́гика сущ., ж., употр. сравн. часто Морфология: (нет) чего? ло́гики, чему? ло́гике, (вижу) что? ло́гику, чем? ло́гикой, о чём? о ло́гике; нар. логи... смотреть

ЛОГИКА

учение о связях и последовательностях человеческого мышления, о формах его развития, о различных соотношениях мыслительных форм и их преобразованиях. Л. рассматривает вопросы о средствах существования мышления, языках закрепления, воспроизводства, трансляции мыслительных процессов. В широком смысле Л. есть усмотрение связей не только мышления, но и бытия, т. е. Л., выявляющая *логику вещей*, *логику событий*, *связь времен*. В этом аспекте Л. сближается с онтологией. В своих содержательных аспектах Л. сопрягается с учениями о познании, его развитии, функционировании и консервации и напрямую включается в гносеологию. Т. о., Л. является одним из основных подразделений философии и постоянно играет ведущую роль в философствовании, поскольку последнее всегда так или иначе занимается вопросом о мышлении. В XIX в. Л. как особая наука отделяется от философии и в этом качестве занимается формальным анализом мышления и его языков. Вопросы ж развития мышления, эволюции его средств, его культурно-исторической и социальной обусловленности остаются в компетенции философии. Сама Л. в ее конкретных социально-исторических и культурных формах становится важным разделом философских исследований. В рамках такого подхода можно выделить несколько основных этапов в эволюции Л. и ее понимания. В древнем мире разработка логической проблематики связана с процессами классификации искусственных и естественных вещей, инструментов человеческой деятельности, актов человеческих взаимодействий. Л. вырабатывает обобщающие понятия и техники оперирования ими. В составе философии она выступает важным инструментом создания картины мира, использования ее в практике общества. В эпоху средневековья Л. ориентирована на исследования форм мышления и их взаимосвязей; содержательное познание рассматривается с т. зр. его соответствия логическим формам. Учение об устойчивых (или незыблемых) структурах человеческого мышления, обеспечивающих его правильность, оказывается важной предпосылкой для возникающих стандартов научной рациональности. Когда, вслед за естествознанием, формальная Л. отделяется от философии, вопрос о рациональности человеческого мышления оказывается в центре философской полемики. С одной стороны, выявляется недостаточность формальной рациональности для нужд новейшей науки, для развития человеческой личности и расширения ее духовных горизонтов. С другой подтверждается потребность в сохранении рациональности и Л. в самом широком смысле как условий воспроизводства культуры (Баденское неокантианство). В XX столетии философская критика рациональности (трактуемо обычно как жесткая связь логически форм) усиливается и ведется с различны позиций (экзистенциализм, марксизм, деконструктивизм). Вместе с тем в философии усиливается тенденция трактов Л с культурно-исторических позиций, исследования различных Л., присущих разным культурам и видам человеческой деятельности. В свете этих подходов меняются акценты в понимании содержательности Л. Если прежде это качество связывалось в основном с выяснением предметной направленности мышления, то теперь в центре внимания оказывается связь мыслительных форм, возникающая во взаимодействии человеческих субъектов, это взаимодействие закрепляющая и воспроизводящая. В. Е. Кемеров... смотреть

ЛОГИКА

        (от греч. logos), в античном мире зачастую отождествлялась с диалектикой. Проблемами категорий Л. занимался Парменид, с помощью дизъюнктивного ... смотреть

ЛОГИКА

1) Наука о законах и формах мышления, методах познания и условиях определения истинности знаний и суждений. 2) Способность правильно, т.е. логически, мыслить. В кач-ве «элементарной формальной Л.» имеет дело с самыми общими свойствами, присущими всем имеющимся понятиям. Осн. свойства понятий выражаются в логич. аксиомах. Сначала рассматривается учение о понятии, затем следует учение о суждении и, наконец, умозаключении. Учения о логич. аксиомах, понятии, суждении и умозаключении, взятые вместе, образуют «чистую Л.». Прикладная Л. охватывает в традиц. Л. учение об определении, о доказательстве, о методе. Ей часто предпосылаются теоретико-познавательные, психол. учения о переживании, описании и формулировании (особенно с помощью спец. языка, терминологии) и об образовании понятий. Иногда к ней присоединяют учение о системе. Л. как наука — лишь учение о мышлении в понятиях, но не о познании посредством понятий; она служит повышению формальной точности и объективности содержания мышления и познания. Основателем зап.европ. Л. явл. Аристотель, хотя само слово «Л.» появилось впервые у стоиков; они и неоплатоники уточнили ее отд. моменты, а в эпоху Средних веков схоластика разработала ее в тонкостях. Ренессансный гуманизм изгнал из логики схоластику, но не обновил ее форму и содержание. В XVI—XVII вв. большое значение приобретают разл. систематизации Л., стимулированные процессами Реформации и Контрреформации; так, сторонники Реформации опирались на Ф.Меланхтона, а их противники — на Л. Ф.Суареса. Развитие этих моделей систематической Л. принадлежит И.Штурму и П.Раме. С XVII в. становится заметным влияние на Л. сфер мысли, связанных с математикой, причем в геометрич. методе Спинозы оно было меньше, чем у Лейбница, к-рый использовал совершенствующиеся ест.-науч. методы. От Лейбница, математики и неосхоластики происходит Л. шк. Х.Вольфа. Кантовская «трансцендентальная Л.» есть в действительности критич. теория познания, Л. нем. идеализма (особенно Гегеля) — спекулятивная диалектика. Шопенгауэр, Ницше, Бергсон и сторонники философии жизни отбросили традиц. Л., опираясь на принципы интуитивизма. Их критич. отношение к традиц. рациональности стимулировало процесс выявления и обоснования фундаментальных оснований логич. и матем. рациональности в философии XX в. (Витгенштейн, Гедель, Гуссерль, Расселл и др.). В наст. время Л. как наука распалась на мн-во направлений: 1) метафизич. Л. (гегельянство и неогегельянство); 2) психол. Л. (Т.Липпс, В.Вундт); 3) трансцендентальная Л. (неокантианство); 4) семантич. Л. (Кюльпе, совр. номинализм); 5) предметная Л. (В.Ремке, А.Мейнонг, Г.Дриш); 6) неосхоласт. Л.; 7) феноменологич. Л. (Н.Гартман, М.Мерло-Понти); 8) Л. как методология и 9) логистика, под к-рой часто понимают все разновидности матем. (неформальной) Л. Лит.: Григорьев Б.В. Классическая логика. М., 1996; Ивин А.А. Логика. М., 1996; Исаев И.А. Философская логика. СПб., 2001. Б.Н.Махутов ... смотреть

ЛОГИКА

(от греч. logos логос) 1) способность правильно, т.е. логически, мыслить; 2) учение о тождестве и его отрицании (Г. Якоби), учение о последовательности и методах познания (наука логики) . В качестве *элементарной формальной логики* она имеет дело с самыми общими свойствами, присущими всем (имеющимся) понятиям. Осн. свойства понятий выражаются в логических аксиомах (см. Аксиома). Сначала рассматривается учение о понятии, затем следует учение о суждении и, наконец, умозаключении. Учения о логических аксиомах, понятии, суждении и умозаключении, взятые вместе, образуют чистую логику. Прикладная логика охватывает в традиционной логике учение об определении, о доказательстве, о методе. Ей часто предпосылаются не научно-логические, а теоретико-познавательные, психологические учения о переживании, описании и формулировании (особенно с помощью специального языка, терминологии) и об образовании понятий. Иногда к ней присоединяют учение о системе. Логика (как наука) лишь учение о мышлении в понятиях, но не о познании посредством понятий; она служит повышению формальной точности сознания и объективности содержания мышления и познания. Основателем западноевропейской логики (как науки) является Аристотель, *отец логики*. Слово *логика* появилось впервые у стоиков; они и неоплатоники уточнили отдельные моменты ее, а в эпоху средневековья схоластика разработала ее в мельчайших подробностях, в тонкостях. Гуманизм изгнал из логики схоластику, но обновить ее не мог. Реформация взяла на вооружение логику Меланхтона, Контрреформация логику Суареса. Поднявшись принципиально над схоластикой, развивал логику Иоганнес Штурм из Страсбурга; более известным стал Пьер Раме. С 17 в. стало заметным влияние на логику сфер мысли, связанных с математикой, причем в геометрическом методе Спинозы оно было меньше, чем у Лейбница, который использовал в логике совершенствующиеся естественнонаучные методы. От Лейбница и математики, а также и от неосхоластики пошла логика школы Вольфа. Кантовская *трансцендентальная логика* есть в действительности критическая теория познания, логика нем. идеализма (особенно логика Гегеля) спекулятивная метафизика. Шопенгауэр, Ницше, Бергсон и сторонники философии жизни отбросили традиционную логику. В настоящее время логика распалась на множество направлений: 1) метафизическая логика (гегельянство); 2) психологическая логика (Т.Липпс, отчасти В.Вундт); 3) теоретико-познавательная, или трансцендентальная, логика (неокантианство); 4) семантическая логика (Аристотель, Кюльпе, современный номинализм); 5) предметная логика (Ремке, Мейнонг, Дриш); 6) неосхоластическая логика; 7) феноменологическая логика; 8) логика как методология (неокантианство) и логистика, которая находится в центре споров о логике.... смотреть

ЛОГИКА

ЛО́ГИКА, и, ж.1.Наука о законах и формах мышления; искусство правильного построения умозаключений.Философия раздѣляется на Логику, Нравоучение, Фисику ... смотреть

ЛОГИКА

(греч. λογική - логика) - 1) Способность правильно мыслить. 2) Учение о последовательности и методах познания. Учения о логич. аксиомах, понятии, суждении и умозаключении, взятые вместе, образуют чистую Л. Прикладная Л. охватывает учение об определении, доказательстве, методе и системе. Л. как наука - учение о мышлении в понятиях, но не о познании посредством понятий. Л. служит повышению форм. точности сознания и объективности содержания мышления и познания. Как самостоят. наука Л. слова была создана Аристотелем. Слово "Л." появилось у стоиков, к-рые, наряду с неоплатониками, уточнили отд. ее моменты. В ср. века в Зап. Европе Л. была церк.-школьной дисциплиной, одним из семи обязат. эл-тов христ. образованности. Значительно ее место в итоговой философии средневековья - схоластике, тяготеющей к формально-схематичной систематизации. С 17 в. стало заметным влияние на Л. сфер мысли, связ. с математикой. В России интерес к Л. поддерживался преим. в дух. уч. заведениях, где ориентировались на традиц. аристотелевскую Л. Однако рус. логики всегда были в курсе эволюции мировой логич. мысли, включая начавшееся в 19 в. бурное развитие символич. (математич.) Л. Новые идеи активно перерабатывались и фрагментарно включались в традиц. курсы (Ф. Козловский, М. Троицкий и др.). Собственно логич. иссл. были начаты П. Порецким, М. Каринским в кон. 19 в. В нач. 20 в. стали складываться логич. школы: Одесская математич. (И. Слещинский, Е. Буницкий, С. Шатуновский), школы в Казанском (Н. Васильев) и Львовском ун-тах (С. Лесневский и др. - впоследствии авторитетнейшая Львовско-варшавская логич. школа), в Петербурге (Л. Рутковский, А. Введенский, С. Поварнин), Москве (П. Флоренский). Однако после 1917 процесс формирования логич. культуры в России был прерван. Для сов. периода характерно очевидное снижение логич. культуры об-ва, заметное прежде всего в политич. жизни, полемике, обыденном сознании. В ср. и высших школах отсутствовало преподавание Л. Ее кафедры имеются лишь в неск. ун-тах. В России в наст. время сложились 3 осн. предметные обл. Л.: т. н. "диалектич. Л.", вырастающая из комментирования и анализа марксовой интерпретации гегелевского учения о методе (Э. Ильенков, А. Шептулин и др.); традиц. формальная Л. - своеобразный синтез аристотелевской Л. и фрагментов совр. символич. Л. (работы В. Асмуса, Д. Горского и др.); собственно логич. исследования (символич. Л.) (П. Новиков, А. Марков).... смотреть

ЛОГИКА

ло́гика ж.logicадапти́вная ло́гика — adaptive logicбина́рная ло́гика — binary logicло́гика «большинства́» — majority logicвероя́тностная ло́гика — ... смотреть

ЛОГИКА

-и, ж. 1.Наука о законах и формах мышления.Формальная логика. Диалектическая логика.2.Ход рассуждений, умозаключений.Это был человек безукоризненной л... смотреть

ЛОГИКА

   наука, изучающая методы мышления, методы мышления, которые, как и вся наука, являются отражением природы изученной части Вселенной; иные ее части мо... смотреть

ЛОГИКА

в классическом смысле — наука о законах мысли; в современном смысле — наука о формах дискурса. Логика была представлена как искусство «правильным образом направлять разум при познании вещей, в целях как самообучения, так и обучения других» («Логика Пор-Рояля»). Логика — это преимущественно формальная наука о формах понятий, суждений и умозаключений. Подобная интерпретация логики восходит к Аристотелю (384-322 до Р.Х.). В аристотелевском «Органоне» даны принципы и неизменные элементы формальной логики (теория силлогизма, дедукции, индукции): простейший элемент логики — идея, . или понятие; он определяется в параметрах объема и содержания. Содержание — совокупность характеристик, определяющих объект понятия; объем — совокупность существ, наделенных одними и теми же характеристиками. Например, понятие «собака» — это понятие животного, которое можно довольно точно описать; оно обладает множеством определенных характеристик (большим «содержанием»). Понятие «позвоночного» гораздо шире (обладает большим «объемом»), но оказывается гораздо менее определенным; следовательно, содержание обратно пропорционально объему. Суждение определяется как отношение между двумя понятиями; умозаключение — как отношение между двумя или несколькими суждениями. Таковы три основных элемента формальной логики. Кант (1724-1804) является основопо- ложником трансцендентальной, или материальной, логики, представляющей собой исследование мысли в ее приложении к реальности, что нашло отражение в «методах» математических или физических наук. Сегодня формальная логика как часть математики называется логистикой. Если формальная логика исходит из языка, то логистика устанавливает систему знаков или символов, переведенных в формы мысли, и комбинирует их по правилам, образующим собственную аксиоматику, при этом дополнительно абстрагируясь от их смысла. На эту тему можно прочитать «Введение в современную логику» (1968) Р. Бланше. См. Математика. Философия. Умозаключение.... смотреть

ЛОГИКА

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

ЛОГИКА

(от греч. logos — слово, понятие, рассуждение, разум), или: Формальная логика, аЧ наука о законах и операциях пранвильного мышления. Согласно основному принципу Л., пранвильность рассуждения (вывода) определяется только его логиченской формой, или структурой, и не зависит от конкретного содержания входящих в него утверждений. Различие между формой и содержанием может быть сделано явным с помощью особого язынка, или символики, оно относительно и зависит от выбора языка. Отличительная особенность правильного вывода в том, что от истинных посылок он всегда ведет к истинному заключению. Танкой вывод позволяет из имеющихся истин получать новые истинны с помощью чистого рассуждения, без обращения к опыту, интуиции и т. п. Неправильные выводы могут от истинных посынлок вести как к истинным, так и к ложным заключениям. Л. занимается не только связями высказываний в правильных выводах, но и многими иными проблемами: смыслом и значением выражений языка, различными отношениями между терминами (понятиями), операциями определения и логического деления поннятий, вероятностными и статистическими рассуждениями, панрадоксами и логическими ошибками и т. д. Но главные темы логинческих исследований - анализ правильности рассуждения, формулировка законов и принципов, соблюдение которых являетнся необходимым условием получения истинных заключений в процессе вывода. Правильным является, напр., рассуждение, следующее схеме: лЕсли есть первое, то есть и второе; есть первое, значит, есть и второе<br><b>Синонимы</b>: <div class="tags_list"> закон, закономерность, логичность, разумность, умословие, философия, ход рассуждений, ход умозаключений, четкость мысли </div><br><br>... смотреть

ЛОГИКА

— наука о формах, законах и методах правильного (т. с. построенного в соответствии с определенными логическими стандартами) мышления. Различают формальную и содержательную логику. Формальная логика изучает мышление опосредованно, только через репрезентацию его в дискурсе, в языке. Главным предметом формальной логики является правильное рассуждение, то есть такое, которое от истинных посылок в силу только их логической формы ведет к истинным (опять же только в силу их логической формы) заключениям. Современная формальная логика строит и описывает абстрактные (математические) модели (структуры) доказательных рассуждений, поэтому кратко ее определяют как теорию (формального) доказательства, или теорию дедукции. Содержательная логика стремится построить теорию мышления как специфического познавательного процесса, ответственного за продуцирование (конструирование) определенных новых единиц знания (абстрактных и идеальных объектов, эмпирических и теоретических гипотез, научных моделей, теорий, научных дисциплин и др.). Содержательная логика в таком се понимании является имманентной частью теории научного познания, а именно учением о предпосылках, возможностях, механизме и методах научного мышления. Другими названиями содержательной логики являются «логика научного познания», «логика и методология науки», «логика научного исследования», «диалектическая логика», «генетически-конструктивная логика» и др. (См. мышление, рассудок, разум).... смотреть

ЛОГИКА

▲ правило ↑ рассуждение логика - порядок взаимодействий;механизм мышления; смысловой механизм; теория рассуждений; ход рассуждений;наука о законах и ... смотреть

ЛОГИКА

ЛОГИКАЛогика есть анатомия мышления. Джон Локк Логика — это нравственность мысли и речи. Ян Лукасевич Логика — это искусство ошибаться с полной достове... смотреть

ЛОГИКА

(иноск.) — соображения, рассуждения, (собств.) логика — наука правильно мыслить, рассуждать Ср. "Где же тут логика?" — "где же тут здравый смысл, после... смотреть

ЛОГИКА

Деятельность может обеспечить только одну половину мудрости; другая половина зависит от воспринимающей бездеятельности. В конечном счете, спор между теми, кто основывает логику на "истине" и теми, кто основывает ее на "исследовании", происходит из различия в ценностях и на определенном этапе становится бессмысленным. В логике будет пустой тратой времени рассматривать выводы относительно частных случаев; мы имеем дело всегда с совершенно общими и чисто формальными импликациями, оставляя для других наук исследование того, в каких случаях предположения подтверждаются, а в каких нет. Хотя мы больше не можем довольствоваться определением логических высказываний как вытекающих из закона противоречия, мы можем и должны все же признать, что они образуют класс высказываний, полностью отличный от тех, к знанию которых мы приходим эмпирически. Все они обладают свойством, которое чуть выше мы договорились называть "тавтологией". Это, в сочетании с тем фактом, что они могут быть выражены исключительно в терминах переменных и логических констант (где логическая константа - это то, что остается постоянным в высказывании, даже когда все его составляющие изменяются), даст определение логики или чистой математики. ... смотреть

ЛОГИКА

logic– базовая логика– бинарная логика– вероятностная логика– диодно-транзисторная логика– комбинаторная логика– конструктивная логика– логика большинс... смотреть

ЛОГИКА

по [13] наука о законах и операциях правильного мышления. Согласно основному принципу логики, правильность рассуждения определяется только его логической формой или структурой и не зависит от конкретного содержания входящих в него утверждений. Отличительной особенностью правильного рассуждения является то, что при истинности посылок логическое мышление ведет к истинному заключению (ответу на вопрос). Неправильное рассуждение может от истинных и неистинных посылок вести как к истинным, так и неистинным заключениям (истинность заключения является делом случая). Таким образом, что такое логика понятно - это правила применения тех или иных мыслительных приемов при обработке информации. Существует формальная логика, гуманистическая логика, женская логика, детская логика, шизофреническая логика, диалектическая логика, философская логика и т.п.. Но кроме логики существует еще и само мышление, которое может ее законам подчиняться (правильное мышление) и не подчиняться (неправильное, алогичное мышление). Ассоциативный блок. С нашей точки зрения, логика - раздел теории познания, изучающий отношение и существование вещей в полном смысле последнего слова. ... смотреть

ЛОГИКА

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

ЛОГИКА

Логика (иноск.) соображенія, разсужденія, (собств.) логика — наука правильно мыслить, разсуждать. Ср. «Гдѣ же тутъ логика?» гдѣ же тутъ здравый смыслъ... смотреть

ЛОГИКА

(от греч.–логос): в самом широком смысле – наука о мышлении, учение о законах, формах и средствах рассуждений. Чаще всего данный термин отождествляется с термином «формальная логиками, основателем которой был Аристотель. Основная цель логических исследований – анализ правильности рассуждения, формулировка законов и принципов, соблюдение которых является необходимым условием получения истинных заключений в процессе вывода. Логические процессы изучаются путем их отображения в формализованных языках. Каждый из них включает в себя совокупность соответствующим образом истолкованных выражений (формул), а также способы преобразования одних выражений в другие по правилам дедукции. Современная логика слагается из большого числа логических систем, описывающих отдельные фрагменты (типы) рассуждений. В зависимости от оснований (критериев) классификации в настоящее время выделяют логику классическую и неклассическую. В современном смысле логика – наука о формах дискурса.... смотреть

ЛОГИКА

ЛОГИКА логики, ж. (греч. logike от logos - слово, разум). 1. Наука об общих законах развития объективного мира и познания (филос.). Логика есть учение не о внешних формах мышления, а о законах развития "всех материальных, природных и духовных вещей", т. е. развития всего конкретного содержания мира и познания его, т. е. итог, сумма, вывод истории познания мира. Ленин. Формальная, логика идеалистической философии считает общие понятия и формы познания неизменными, раз навсегда данными. Логика диалектического материализма утверждает, что формы познания меняются вместе с изменением объективного мира, и потому является наукой об историческом развитии человеческого мышления, как отражения в сознании развития объективного мира. 2. Разумность, правильность умозаключений. Говорить с неотразимой логикой. 3. Внутренняя закономерность. Логика вещей. Логика событий. Неумолимая логика истории. В его поступках нет никакой логики.<br><br><br>... смотреть

ЛОГИКА

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

ЛОГИКА

(от гр. logos - слово, понятие, рассуждение, разум; англ. logic) — наука о наиболее общих законах и формах рационального мышления, одна из обязательны... смотреть

ЛОГИКА

ЛОГИКА (греч . logike), наука о способах доказательств и опровержений; совокупность научных теорий, в каждой из которых рассматриваются определенные способы доказательств и опровержений. Основателем логики считается Аристотель. Различают индуктивную и дедуктивную логику, а в последней - классическую, интуиционистскую, конструктивную, модальную и др. Все эти теории объединяет стремление к каталогизации таких способов рассуждений, которые от истинных суждений-посылок приводят к истинным суждениям-следствиям; каталогизация осуществляется, как правило, в рамках логических. исчислений. Особую роль в ускорении научно-технического прогресса играют приложения логики в вычислительной математике, теории автоматов, лингвистике, информатике и др. См. также Математическая логика.<br><br><br>... смотреть

ЛОГИКА

ЛОГИКА (греч. logike) - наука о способах доказательств и опровержений; совокупность научных теорий, в каждой из которых рассматриваются определенные способы доказательств и опровержений. Основателем логики считается Аристотель. Различают индуктивную и дедуктивную логику, а в последней - классическую, интуиционистскую, конструктивную, модальную и др. Все эти теории объединяет стремление к каталогизации таких способов рассуждений, которые от истинных суждений-посылок приводят к истинным суждениям-следствиям; каталогизация осуществляется, как правило, в рамках логических. исчислений. Особую роль в ускорении научно-технического прогресса играют приложения логики в вычислительной математике, теории автоматов, лингвистике, информатике и др. См. также Математическая логика.<br>... смотреть

ЛОГИКА

(от греч. logike, logos — речь, мысль, разум) — наука о законах и формах мышления, направленного на познание объективного мира; наука о способах доказательств и опровержений. Основое назначение логики — выяснение условий достижения истинных знаний, анализ структуры мыслительного процесса, выработка логического аппарата и правильного метода рассуждения. В основе логики лежат четыре закона, первые три из них вывел Аристотель — законы тождества, противоречия и исключенного третьего, четвертый — закон достаточного основания, обосновал Лейбниц. Начала современного естествознания. Тезаурус. — Ростов-на-Дону.В.Н. Савченко, В.П. Смагин.2006. Синонимы: закон, закономерность, логичность, разумность, умословие, философия, ход рассуждений, ход умозаключений, четкость мысли... смотреть

ЛОГИКА

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

ЛОГИКА

греч. logike) - наука о способах доказательств и опровержений; совокупность научных теорий, в каждой из которых рассматриваются определенные способы доказательств и опровержений. Основателем логики считается Аристотель. Различают индуктивную и дедуктивную логику, а в последней - классическую, интуиционистскую, конструктивную, модальную и др. Все эти теории объединяет стремление к каталогизации таких способов рассуждений, которые от истинных суждений-посылок приводят к истинным суждениям-следствиям; каталогизация осуществляется, как правило, в рамках логических исчислений. Особую роль в ускорении научно-технического прогресса играют приложения логики в вычислительной математике, теории автоматов, лингвистике, информатике и др. См. также Математическая логика.... смотреть

ЛОГИКА

- (греч. logike) - наука о способах доказательств и опровержений;совокупность научных теорий, в каждой из которых рассматриваютсяопределенные способы доказательств и опровержений. Основателем логикисчитается Аристотель. Различают индуктивную и дедуктивную логику, а впоследней - классическую, интуиционистскую, конструктивную, модальную идр. Все эти теории объединяет стремление к каталогизации таких способоврассуждений, которые от истинных суждений-посылок приводят к истиннымсуждениям-следствиям; каталогизация осуществляется, как правило, в рамкахлогических. исчислений. Особую роль в ускорении научно-техническогопрогресса играют приложения логики в вычислительной математике, теорииавтоматов, лингвистике, информатике и др. См. также Математическая логика.... смотреть

ЛОГИКА

наука, изучающая законы и формы мышления: понятия, суждения, умозаключения. Законы логики позволяют правильно формулировать мысли и обрабатывать чувственный опыт в мыслительных конструкциях. Основные проблемы и законы логики были сформулированы еще Аристотелем. Такая логика получила название формальной логики – она исследует формы мысли. И. Кант в гносеологии говорит о трансцендентальной логике – способности нашего мышления при помощи априорных ("чистых", доопытных) форм рассудка переводить наш опыт в понятия и суждения. Выделяют и диалектическую логику – это учение о содержании понятий, их взаимосвязи и развитии, противоречивом характере познания (у Гегеля), а также, учение о всеобщих законах развития природы, общества и мышления (в марксизме). ... смотреть

ЛОГИКА

греч. logike), наука о способах доказательств и опровержений; совокупность научных теорий, в каждой из которых рассматриваются определенные способы доказательств и опровержений. Основателем логики считается Аристотель. Различают индуктивную и дедуктивную логику, а в последней - классическую, интуиционистскую, конструктивную, модальную и др. Все эти теории объединяет стремление к каталогизации таких способов рассуждений, которые от истинных суждений-посылок приводят к истинным суждениям-следствиям; каталогизация осуществляется, как правило, в рамках логических исчислений. Особую роль в ускорении научно-технического прогресса играют приложения логики в вычислительной математике, теории автоматов, лингвистике, информатике, программировании и др. ... смотреть

ЛОГИКА

(logic) — раздел философии, посвященный анализу универсальных и контекстно-свободных (априорных) принципов смыслового рассуждения и обоснованных выводов, посредством которых из начальных посылок выводятся заключения. Эти общие принципы *формальны*, ибо абстрактны по природе, и могут также выражаться символической записью. Ранней формулировкой гики, господствовавшей до новых времен, послужила систематизация Аристотелем основ силлогизма (доказательная логика). К 19-му столетию она была дополнена более техническими формами в основном связанными с математикой. См. также Индукция и пивная логика; Аналитическое и синтетическое; Диалектика; Модель сопроводительного закона и дедуктивное помологическое объяснение; Позитивизм.... смотреть

ЛОГИКА

логика [гр. logike] - 1) наука о законах и формах мышления; формальная л. - наука, изучающая формы мыслей и формы сочетаний их, отвлекаясь от конкретного содержания суждений, умозаключений, понятий; диалектическая л. - наука о мышлении, способном отразить в познании диалектику природы и общества; изучает мышление в его развитии, противоречиях и единстве формы и содержания; математическая л. - раздел математики, логика, развиваемая математическими методами; играет важную роль в вопросах обоснования математики; находит многочисленные приложения в вопросах конструирования и применения электронно-вычислительных машин; 2) ход рассуждений, умозаключений; 3) разумность, внутренняя закономерность. <br><br><br>... смотреть

ЛОГИКА

ж.logique fформальная логика — logique formelleотсутствие логики — manque m de logiqueженская логика — la logique de la femmeлогика вещей — la logique ... смотреть

ЛОГИКА

mantık* * * ж, врз mantık (-ğı)ло́гика фа́ктов — olguların mantığıпо твое́й ло́гике ... — senin mantığına göre ...Синонимы: закон, закономерность, лог... смотреть

ЛОГИКА

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

ЛОГИКА

Греческое – logos.Слово ведет свое происхождение из греческого языка. Первоисточник – греческое слово, в переводе означающее «разум».Путем добавления с... смотреть

ЛОГИКА

этимологически восходит к древнегреческому слову "logos", означавшему "слово", "мысль", "понятие", "рассуждение", "закон". Это наука о законах и формах мышления человека. Она занимается исследованием мыслительных процедур. Различают традиционную логику, начало которой положил Аристотель, изучающей умозаключения, понятия и операции над ними. Применение методов формализации и математических методов привело к созданию классической логики (символической или математической). Неклассическая (модальная или философская) логика, которая использует формальные методы для анализа содержательных реалий. Упрощенное понимание логики - ход рассуждений,правила рассуждений. ... смотреть

ЛОГИКА

ЛОГИКА (греческое logike), наука о способах доказательств и опровержений; совокупность научных теорий, в которых рассматриваются определенные способы доказательств и опровержений. Основателем логики считается Аристотель. Различают индуктивную и дедуктивную логику, а в последней - классическую, интуиционистскую, конструктивную, модальную и др. Все эти теории объединяет стремление к систематизации таких способов суждений, которые от истинных суждений-посылок приводят к истинным суждениям - следствиям. Особую роль играют приложения логики в вычислительной математике, теории автоматов, лингвистике, информатике и др. Смотри также Математическая логика. <br>... смотреть

ЛОГИКА

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

ЛОГИКА

(греческое logike), наука о способах доказательств и опровержений; совокупность научных теорий, в которых рассматриваются определенные способы доказательств и опровержений. Основателем логики считается Аристотель. Различают индуктивную и дедуктивную логику, а в последней - классическую, интуиционистскую, конструктивную, модальную и др. Все эти теории объединяет стремление к систематизации таких способов суждений, которые от истинных суждений-посылок приводят к истинным суждениям - следствиям. Особую роль играют приложения логики в вычислительной математике, теории автоматов, лингвистике, информатике и др. Смотри также Математическая логика.... смотреть

ЛОГИКА

1) Орфографическая запись слова: логика2) Ударение в слове: л`огика3) Деление слова на слоги (перенос слова): логика4) Фонетическая транскрипция слова ... смотреть

ЛОГИКА

наук. ло́гіка - бесконечнозначная логика - двузначная логика - дедуктивная логика - интесиональная логика - интуиционистская логика - комбинаторная логика - конструктивная логика - логика высказываний - логика предикатов - математическая логика - модальная логика - позитивная логика - расширенная логика - символическая логика - ступенчатая логика - счётнозначная логика - теоретическая логика - традиционная логика - трёхзначная логика Синонимы: закон, закономерность, логичность, разумность, умословие, философия, ход рассуждений, ход умозаключений, четкость мысли... смотреть

ЛОГИКА

ж. logica f - алгоритмическая логика- арифметическая логика- бинарная логика- логика большинства- вероятностная логика- логика высказываний- логика вы... смотреть

ЛОГИКА

ж.logic- аффективная логика- вопросительная логика- дедуктивная логика- диалектическая логика- извращенная логика- индуктивная логика- комбинаторная ло... смотреть

ЛОГИКА

ЛОГИКА. Ход рассуждений, умозаключений; убеждение, точка зрения. Бабская (разг.), безукоризненная, беспощадная, беспристрастная, блестящая, внутренняя, гибкая, дикая (разг.), доказательная, железная, женская, жизненная, здравая, нелепая, неотразимая, несокрушимая, неумолимая, объективная, обывательская, односторонняя, оригинальная, очевидная, предвзятая, примитивная, простая, смелая, смутная, строгая, стройная, сумбурная, твердая, трезвая, убедительная, убогая, устарелая, четкая, ясная. Звериная, куриная, самодурная.<br><br><br>... смотреть

ЛОГИКА

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

ЛОГИКА

наука о формах мысли и их влиянии на процесс рассуждения. Главной задачей Л. является изучение форм мысли, обеспечивающих достижение истины в познании. Л., как наука, состоит из двух частей: общая (формальная) логика и диалектическая логика. Формальная логика изучает условия (требования), обеспечивающие истинность форм построения знания. Диалектическая логика изучает условия, обеспечивающие совпадение содержания знания с объектом, т.е. достижения объективной истины. ... смотреть

ЛОГИКА

ЛОГИКА ж. греч. наука здравомыслия, наука правильно рассуждать; умословие. Логик м. умослов, правильный и здравый мыслитель, знающий науку правильного рассуждения. Логический, логичный, согласный с логикою; здравое, правильное рассуждение. Логистика математ. алгебра. | Логарифмика. | Часть тактики, о передвижении войск. Логомахия ж. словопрение, спор из пустого в порожнее. Логогриф м. род загадки, в которой слово разлагается по слогам. <br><br><br>... смотреть

ЛОГИКА

1) ход рассуждений: железная логика!2) внутренняя обусловленность, закономерность развития событий, напр. логика революции3) наука о формах и методах м... смотреть

ЛОГИКА

ж. logique f формальная логика — logique formelle отсутствие логики — manque m de logique женская логика — la logique de la femme логика вещей — la lo... смотреть

ЛОГИКА

• безупречная логика• железная логика• непогрешимая логика• непоколебимая логикаСинонимы: закон, закономерность, логичность, разумность, умословие, фи... смотреть

ЛОГИКА

1) (наука) 逻辑学 Iuójixué, 论理学 lùnlǐxué2) (закономерность) 逻辑 luójiлогика вещей - 事物的逻辑Синонимы: закон, закономерность, логичность, разумность, умослови... смотреть

ЛОГИКА

корень - ЛОГ; суффикс - ИК; окончание - А; Основа слова: ЛОГИКВычисленный способ образования слова: Суффиксальный∩ - ЛОГ; ∧ - ИК; ⏰ - А; Слово Логика с... смотреть

ЛОГИКА

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

ЛОГИКА

(от греч. logik - соответствующий рассуждениям) - англ. logic; нем. Logik. 1. Совокупность наук о законах и формах правильного мышления. 2. Разумность, внутренняя закономерность ч.-л., напр., Л. событий. Antinazi.Энциклопедия социологии,2009 Синонимы: закон, закономерность, логичность, разумность, умословие, философия, ход рассуждений, ход умозаключений, четкость мысли... смотреть

ЛОГИКА

ЛОГИКА, -и, ж. 1. Наука о законах и формах мышления. Формальная логика Диалектическая логика 2. Ход рассуждений, умозаключений. У этого человека своя логика Женская логика (непоследовательная, непонятная; шутливое). 3. Разумность, внутренняя закономерность чего-нибудь Логика вещей. Логика событий. || прилагательное логический, -ая, -ое. Л. вывод. Логическая ошибка.... смотреть

ЛОГИКА

f.logic; математическая логика, mathematical logic; функции алгебры логики, Boolean functionsСинонимы: закон, закономерность, логичность, разумность, ... смотреть

ЛОГИКА

логика, л′огика, -и, ж.1. Наука о законах и формах мышления. Формальная л. Диалектическая л.2. Ход рассуждений, умозаключений. У этого человека своя л.... смотреть

ЛОГИКА

Rzeczownik логика f logika f логик m logik m

ЛОГИКА

ж.lógica fформальная логика — lógica formal••женская логика — lógica del corazón

ЛОГИКА

Заимств. в XVII в. из лат. яз., где logica &LT; греч. logikē, суф. производного от logos в значении «разум». См. филология.Синонимы: закон, закономерн... смотреть

ЛОГИКА

ло́гика, ло́гики, ло́гики, ло́гик, ло́гике, ло́гикам, ло́гику, ло́гики, ло́гикой, ло́гикою, ло́гиками, ло́гике, ло́гиках (Источник: «Полная акцентуированная парадигма по А. А. Зализняку») . Синонимы: закон, закономерность, логичность, разумность, умословие, философия, ход рассуждений, ход умозаключений, четкость мысли... смотреть

ЛОГИКА

ло́гика (наука о законах и формах мышления; ход рассуждений; внутренняя закономерность чего-л.)Синонимы: закон, закономерность, логичность, разумность... смотреть

ЛОГИКА

от греч. logike) - 1. Совокупность наук о законах и нормах правильного мышления. 2. Разумность, внутренняя закономерность чего-либо, например, логика событий [Магомедов Н.Г., Швырев Б.С. Логика // Энциклопедический социологический словарь / Общ. ред. акад. РАН Г.В. Осипова. - ИСПИРАН, 1995. - С. 358].... смотреть

ЛОГИКА

основа разума и ума, выражающаяся в детерминированности мыслей, рассуждений и действия в их причинно-следственной связи. Создавалась опытным знанием, поэтому высшие критерии не вошли в нее своим уровнем. Основания логики необходимо наращивать вверх в сторону критериально-оценочных полей. ... смотреть

ЛОГИКА

ж. logica логика событий — la logica degli avvenimenti / dei fatti •• железная логика — una logica di ferro / stringente Итальяно-русский словарь.2003. Синонимы: закон, закономерность, логичность, разумность, умословие, философия, ход рассуждений, ход умозаключений, четкость мысли... смотреть

ЛОГИКА

наука о способах доказательств и опровержений, совокупность научных теорий, рассматривающих определенные способы доказательств и опровержений. Логика объединяет стремление к каталогизации таких способов рассуждений, которые от истинных посылок приводят к истинным следствиям. ... смотреть

ЛОГИКА

fornuftlære, logikk, fornuftmessighetСинонимы: закон, закономерность, логичность, разумность, умословие, философия, ход рассуждений, ход умозаключений... смотреть

ЛОГИКА

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

ЛОГИКА

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

ЛОГИКА

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

ЛОГИКА

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

ЛОГИКА

Ударение в слове: л`огикаУдарение падает на букву: оБезударные гласные в слове: л`огика

ЛОГИКА

היגיוןלוגיקהСинонимы: закон, закономерность, логичность, разумность, умословие, философия, ход рассуждений, ход умозаключений, четкость мысли

ЛОГИКА

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

ЛОГИКА

суть разработчик абстрактных форм мышления, методов мышления на основе предельно абстрактных представлений о "сущности" мышления человека в типе деятельности или типе социокультурной среды. ... смотреть

ЛОГИКА

{log'i:k}1. logik jag kan inte se logiken i ditt förslag--в твоём предложении я не вижу логики

ЛОГИКА

Ло́гика. Заимств. в XVII в. из лат. яз., где logica < греч. logikē, суф. производного от logos в значении «разум». См. филология.

ЛОГИКА

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

ЛОГИКА

ж. логика (1. пикирдин закондору жана анын формалары жөнүндөгү илим; 2. бир нерсенин ички закон ченемдүүлүгү, анын тууралыгы; 3. ой корутундуларынын тууралыгы, дурустугу).... смотреть

ЛОГИКА

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

ЛОГИКА

ж.logic- адаптивная логика- булева логика- дискретная логика

ЛОГИКА

логика = ж. logic; логика вещей the logic of things; логика событий the logic of events; у него своя логика he acts according to a logic of his own.

ЛОГИКА

1. қисын;- логика вещей істің қисыны;- отсутствие логики қисынның жоқтығы;2. логика (ойлау туралы ғылым);логика отношений қатынастар логикасы

ЛОГИКА

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

ЛОГИКА

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

ЛОГИКА

логика ло́гикаВозм., через нем. Logik (ХVI в.; см. Шульц–Баслер 2, 39) от лат. lоgiса, греч. λογική.

ЛОГИКА

ло'гика, ло'гики, ло'гики, ло'гик, ло'гике, ло'гикам, ло'гику, ло'гики, ло'гикой, ло'гикою, ло'гиками, ло'гике, ло'гиках

ЛОГИКА

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

ЛОГИКА

Раздел философии, в котором в явной форме устанавливаются правила вывода валидных (корректных, правильных) заключений.

ЛОГИКА

Восходит к латинскому logos, означающему "слово, разум" и в свою очередь восходящему к греческому logike.

ЛОГИКА

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

ЛОГИКА

فقط مفرد : منطق

ЛОГИКА

ж логика. эзлеклелек; у него своя л. аның үз логикасы; л. событий вакыйгаларның эзлеклелеге

ЛОГИКА

flogiikka, johdonmukainen ajattelu

ЛОГИКА

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

ЛОГИКА

логіка, -кі- логика компьютерная- логика функционирования схемы

ЛОГИКА

cм. Диалектическая логика. Математическая логика, Формальная логика.

ЛОГИКА

Ло́гикаmantiki (-)

ЛОГИКА

логика; сылӧн аслас логика — у него своя логика

ЛОГИКА

Логика- logice, -es f; logica;

ЛОГИКА

logique f

ЛОГИКА

Логик, учир шалтгааны ухаан

ЛОГИКА

М 1. məntiq; 2. daxili qanunauyğunluq.

ЛОГИКА

логика || железная логика

ЛОГИКА

• logik• logika

ЛОГИКА

логика л`огика, -и

ЛОГИКА

термин, относящийся к логике

ЛОГИКА

логикажелезная логика..

ЛОГИКА

логіка, жен.

ЛОГИКА

лог||икаж ἡ λογική.

ЛОГИКА

{N} տրամաբանւթյւն

ЛОГИКА

Наука о мышлении

ЛОГИКА

логика мантиқ

ЛОГИКА

логика, мантық

ЛОГИКА

логика, қисын

ЛОГИКА

логіка, -кі

ЛОГИКА

ж. Logik f.

ЛОГИКА

ж.ло́гика

ЛОГИКА

мантыкъ

ЛОГИКА

логіка.

ЛОГИКА

логика.

ЛОГИКА

логіка

ЛОГИКА

логика

ЛОГИКА

лёгіка

ЛОГИКА

Логіка

T: 118