силлогистика

  • 101АНТИЛОГИЗМ — (от греч. ἀντι – приставка, означающая противоположность, и λογισμός – разум, рассуждение) – формула логики, выражающая несовместимость посылок категорич. силлогизма с отрицанием его заключения. А. основан на свойстве логического следования,… …

    Философская энциклопедия

  • 102ЛОГИЧЕСКИЕ МАШИНЫ — механические, электромеханические или электронные устройства для полуавтоматич. или автоматич. выполнения к. л. операций логики. Л. м. применяются для анализа и упрощения формул нек рых разделов логики (в частности, для определения тех значений… …

    Философская энциклопедия

  • 103МЫШЛЕНИЯ ЗАКОНЫ — (логические) – законы связи между суждениями и понятиями, законы формирования и развития мысли, определяющие правильные формы и методы познания действительности на ступени абстрактного мышления. Целью изучения М. з. является выяснение объективных …

    Философская энциклопедия

  • 104ОБЩЕОТРИЦАТЕЛЬНОЕ СУЖДЕНИЕ — см. Силлогистика, Суждение. Философская Энциклопедия. В 5 х т. М.: Советская энциклопедия. Под редакцией Ф. В. Константинова. 1960 1970 …

    Философская энциклопедия

  • 105ОБЩЕУТВЕРДИТЕЛЬНОЕ СУЖДЕНИЕ — см. Силлогистика, Суждение. Философская Энциклопедия. В 5 х т. М.: Советская энциклопедия. Под редакцией Ф. В. Константинова. 1960 1970 …

    Философская энциклопедия

  • 106СУББОТИН — Александр Леонидович (р. 24 янв. 1927) – сов. философ, д р филос. наук (1968). Член КПСС с 1961. Окончил филос. фак т МГУ и аспирантуру там же (1953). В 1954–62 – науч. консультант журн. Вопросы философии . С 1962 – старший науч. сотрудник Ин та… …

    Философская энциклопедия

  • 107ФОРМАЛИЗОВАННЫЙ ЯЗЫК — 1) В широком смысле – любая совокупность нек рым образом специализированных языковых средств с (более или менее) точно фиксиров. правилами образования выражений (с и н т а к с и с Ф. я.) и приписывания этим выражениям определ. смысла (с е м а н т …

    Философская энциклопедия

  • 108ДОКАЗАТЕЛЬСТВ ТЕОРИЯ — раздел математич. логики, посвященный исследованию понятия доказательства в математике, приложениям этого понятия в различных разделах науки и техники. Доказательство в широком смысле этого слова есть способ обоснования истинности того или иного… …

    Математическая энциклопедия

  • 109Аристотель — (384 322 до н. э.), древнегреческий философ. Учился у Платона в Афинах; в 335 основал Ликей, или перипатетическую школу. Воспитатель Александра Македонского. Сочинения Аристотеля охватывают все отрасли тогдашнего знания. Основоположник формальной …

    Энциклопедический словарь

  • 110Лейбниц Готфрид Вильгельм — (Leibniz) (1646 1716), немецкий философ, математик, физик, языковед. С 1676 на службе у ганноверских герцогов. Основатель и президент (с 1700) Бранденбургского научного общества (позднее  Берлинская АН). По просьбе Петра I разработал проекты… …

    Энциклопедический словарь