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

А.
А — первая буква латинского слова affirmo — утверждаю, которой в формальной логике (см.) символически обозначают общеутвердительное суждение (см.), т. е. суждение, выражающее наше знание о том, что каждому предмету какого-либо множества (или класса) присуще одно или несколько определенных свойств (напр., «Все газы сжимаемы», «Все металлы электро-проводны и теплопроводны»). Буквенные обозначения суждений применяются для краткости при логической характеристике тех или иных умозаключений (см.), состоящих из нескольких суждений. Так, напр., следующее умозаключение:
Все «элементарные» частицы — простейшие известные в на- (А) стоящее время микрообъекты;
Все фотоны — «элементарные» частицы; (А)
Все фотоны — простейшие известные в настоящее время микрообъекты (А)
обозначается тремя буквами: ААА, Это значит, что все суждения, входящие в данное умозаключение, которое называется дедуктивным, являются общеутвердительными суждениями.
В теории силлогистики (см.) буквой А обозначается логическая постоянная (см.), или функтор, выражающий слова: «Всякое … есть …»
Буква А в виде первой прописной буквы латинского алфавита вошла в названия модусов силлогизма (см.), в составе которых встречается общеутвердительное суждение. Так, первый модус первой фигуры простого категорического силлогизма (см.), который состоит из трех общеутвердительных суждений, назван латинским словом «Barbara», которое включает три буквы а, но которое само по себе не имеет смысла, хотя случайно по написанию совпадает с именем «Барбара» в латинском и немецком языках. Оно говорит только об одном: все три суждения, которые входят в первый модус первой фигуры силлогизма, являются общеутвердительными суждениями (Ваr — bа — rа).
Если же взять второй модус первой фигуры простого категорического силлогизма, обозначенный латинским словом «Celarent», то уже по одному названию становится ясным, что в него входит только одно общеутвердительное суждение (слог «lа» с буквой а свидетельствует о том, что в этом модусе вторая посылка — общеутвердительное суждение), а остальные два суждения: большая посылка (Се) и заключение (rent) обозначены буквой е, символизирующей общеотрицательное суждение (см.).

Бесплатно скачать электронную книгу в удобном формате, смотреть и читать:
— fileskachat.com, быстрое и бесплатное скачивание.
Ниже можно купить эту книгу по лучшей цене со скидкой с доставкой по всей России.Купить эту книгу
— pdf — Яндекс.Диск.Дата публикации: 27.09.2017 13:02 UTC
словарь :: Кондаков

ЛОГИКА И МЕТОДОЛОГИЯ НАУКИ_

УДК 161.2

КВАНТОРНЫЕ СЛОВА В ЛОГИКЕ ЕСТЕСТВЕННОГО ЯЗЫКА

Жалдак Н. Н.

Белгородский государственный национальный исследовательский университет, г. Белгород, Российская Федерация

E-mail: zhnn3@rambler.ru

В статье выявляются такие слова естественного языка, которые фактически служат кванторными словами и вместе с тем средствами логического вывода, а следовательно, должны изучаться логикой. Автор показывает, что основные простейшие кванторные слова отдельных суждений существования -«есть» («существует») и «нет» (не существует) — равнозначны всему комплекту логических терминов, которыми связываются описательные термины соответствующих частноутвердительного и частноотрицательного суждений. Статья обращает внимание на то, что логическое содержание логической формы содержательного атрибутивного суждения может быть представлено эквивалентной конъюнкцией форм простых суждений существования, равнозначной линейно-табличной диаграммой существования и равнозначной формулой логики предикатов только с квантором существования или/и с его отрицанием. Таким образом, выявляются важные для вывода кванторные слова: «не все», «только», «не только», «все… кроме» «не всякий раз», «не всегда», «не везде», «общепризнано». Автор показывает, что наиболее полно формы атрибутивных суждений с разными кванторными словами представлены в пяти диаграммных словарях суждений о свойствах предметов, случаев, мест, времен и точек зрения. Каждый словарь содержит 148 линейно—табличных диаграмм существования, которые достаточны для интерпретации простых атрибутивных суждений. Автор подчеркивает следующее. Значения кванторных слов, указанные в словаре форм суждений о предметах как соответствующие естественному языку, должны подтверждаться и фактически для основных форм суждений подтверждены социолигвистическим исследованием, которое включает анкетирование.

Ключевые слова: логика, кванторы, естественный язык, кванторные слова, суждения существования. Объект исследования: кванторные слова.

Цель исследования: выявить в составе логических средств языка такие слова, которые сводятся к квантору существования или/и его отрицанию.

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

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

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

Согласно имеющейся литературе, можно делить кванторные слова, что буквально означает количественные слова, на логические и нелогические, точные и неточные, общие и конкретные, выразимые и не выразимые кванторами V и 3 и др. . Различаются слова, служащие кванторными во всех контекстах и не во всех, обоснованные и не обоснованные в качестве кванторных.

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

Естественному языку соответствует следующее правило релевантного вывода: в следствии должна быть только та информация, которая содержится в основании. В противном случае основание недостаточное. При этом логика различает в естественном языке описательные и логические термины. Первые несут информацию, от которой логика как таковая может абстрагироваться, заменяя их логическими переменными. Вторые же служат для связывания описательных терминов суждений и рассуждений. От вторых зависит, какими могут быть формы следствий при таких-то заданных формах суждений основания, какую значимую для вывода информацию передают эти формы. Граница между описательными и логическими терминами не абсолютна. В некоторой мере и описательные термины «по совместительству» могут выполнять функцию логических средств и, в частности, участвуют в квантификации.

Существует сложная проблема выявления, учета и осознанного понимания и использования всех квантификаторов естественного языка, тем более что квантификаторы могут комбинироваться. Считается, что квантору всеобщности в естественном языке соответствует слово «все», а квантору существования — слово «некоторые». Кванторными считаются и выражения: «ни один», «не существует». Слову «некоторые» логики обычно придают значение «не исключено, что и все». Поэтому нельзя считать, что слово «все» обязательно означает нечто большее, чем слово «некоторые». Также слово «все» не всегда означает и большее, чем «много» или «очень много» . Может быть всего один или всего два элемента в обсуждаемом универсуме. Логика как предматематика словами, соответствующими кванторам всеобщности и существования, отвечает на вопросы о том, что есть, чего нет, но не тем, сколько именно есть того, что есть. Однако в кванторных словах естественного языка имеются дополнительные количественные указатели, которые сами кванторными словами не являются, хотя для выводов не безразличны.

Так, например, «некоторые х» принято считать эквивалентным «существует (хотя бы один) х». И уже при таком отождествлении мы сталкиваемся с пренебрежением к логическим средствам естественного языка, осуществляющим квантификацию. Эти количественные слова не эквивалентны. Из «существует х»,

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

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

Но здесь нас интересуют главным образом те кванторные слова, которые числительными не являются и сводятся к кванторам первопорядковой логики предикатов. Поскольку же квантор всеобщности определяется через квантор существования и через отрицание согласно формуле (Vx Ax ^ —3x —Ax), то имеются в виду кванторные слова, которые переводятся на язык логики предикатов квантором существования с отрицанием или без отрицания. Такие кванторные слова далее будем называть экзистенциальными.

Такой подход соответствует теории суждений существования Л. Кэрролла . Согласно этой теории, формы суждений с конструкциями «все… суть», «некоторые… суть», «ни один. не есть» несут информацию о том, что есть (существует) и чего нет (не существует). Притом форма «Все А суть В» равнозначна форме «есть А В и нет А не-В», т. е. общеутвердительное суждение оказывается двойным, в том смысле, что оно равнозначно конъюнкции двух одинарных суждений существования «есть А В» и «нет А не-В».

Согласно принятым обозначениям существуют две эквивалентности:

1) Зх (Ах л Вх) ^ «Существует(ют) А В» ^ «Некоторый(ые) А есть В»;

2) —Зх (Ах л Вх) ^ «Не существует(ют) А В» ^ «Ни один А не есть В».

Первая эквивалентность показывает, что полностью информация квантора

существования передаётся кванторным словом «существует(ют)» и не самим по себе словом «некоторые», а словесной конструкцией «некоторый(ые)… есть». Вторая эквивалентность показывает, что информация квантора существования с его отрицанием передаётся словами «не существует» и не самими по себе словами «ни один..», а конструкцией «ни один. не есть». Форма «Существует(ют) А В» равнозначна форме «Есть А В», т. е. слово «существует» в данном случае равнозначно слову «есть». Это и означает, что в основном информацию квантора существования передаёт не само слово «некоторые», а связка «есть». Слово «некоторые» при замене суждения с ним на эквивалентное суждение существования исчезает, а связка «есть» остается. Связка «есть» при такой замене и перестановке вообще самостоятельно передаёт указанную информацию. При сравнении форм «Некоторый(ые) А есть В» и «Некоторый(ые) А не есть В» еще заметнее, что не слово «некоторый(ые)», а связка «есть» без отрицания или с отрицанием определяет, что именно существует (есть) согласно таким формам. Форма «Не существует А В» равнозначна форме «Нет А В». Следовательно, главный носитель

информации квантора существования с отрицанием — это не слова «ни один(-а, -о)», а словосочетание «не есть», равнозначного которому слово «нет» достаточно для передачи этой информации. В форме «Нет ни одного А В» слова «ни одного» ничего не добавляют и не убавляют.

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

Таким образом, сами по себе слова «все», «некоторые», «ни один» и т. п. должны признаваться лишь частями тех словесных конструкций, которые выполняют функцию экзистенциальных кванторов естественного языка и в этом смысле являются кванторными словами (отдельными словами или наборами слов). Кванторным в суждении служит весь тот комплект слов, который при передаче логического содержания логической формы суждения эквивалентной системой (чаще конъюнкцией) форм суждений существования преобразуется в слова «есть» («существует») или/и «нет» («не существует»), а на язык логики предикатов переводится квантором существования с отрицанием или/и без него.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Помимо форм суждений традиционной силлогистики в русскоязычной учебной литературе упоминаются выделяющие и исключающие суждения, соответственно со словами «только» и «кроме». Слово «только» может считаться кванторным уже потому, что, согласно исследованиям когнитивных психологов, люди считают форму «Только А суть B» равнозначной форме «Все B суть А» .

По педагогическому опыту автора, освоение и осмысленное (обдуманное) употребление детьми слов и выражений «все», «не все», «только», «не только», «все, кроме», «есть только», «только все» происходит и выявляется примерно с 3,5 лет. При этом обнаруживается понимание того, что есть или/и чего нет согласно любому из этих обозначений в сочетании со связкой. Именно передаче такой информации служат все эти слова и выражения в качестве логических средств естественного языка. Любое из них может называться кванторным (количественным), так как суждения с ними сводятся к простейшим суждениям существования. Собственно количественное в этих суждениях есть уже то, что слову «нет» соответствует ноль, а слову «есть» соответствует число больше нуля. Помимо этого, их количественные значения могут подтверждаться посредством понятий «больше», «меньше», «число», «вычитание», «прибавление», примерно

такими интерпретациями: «все А» означает «наибольшее число А»; «только А» -«не больше, но может быть меньше, чем наибольшее число А»; «кроме А» — «за вычетом всех А» («меньше на число всех А») и т. п.

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

Значения кванторных слов могут зависеть от контекста. Формы суждения со словами «все», как и со словом «только», могут иметь существенно разные значения в зависимости от того, о чем именно обо всем идет речь. Словом «все» могут охватываться все элементы обозначенного описательным термином неуниверсального множества (например: «Все благовоспитанные люди были шокированы»); а могут охватываться и все элементы универсума (например: «Все были шокированы»). Соответствующее различие значений для суждений с двумя терминами показано на линейно-табличных диаграммах существования (ЛТДС), на которых «+» означает «есть», а «-» означает «нет», на рисунке 1 (о ЛТДС как сокращенной форме записи информации таблиц см.: ; об их преимуществах для построения и проверки рассуждений о свойствах см. ).

.1В-

+

Все А суть В. Только (лишь) В суть (есть) А. Ничто, кроме Л, не есть А.

+ — — —

Все суть А В. Есть только А В. Ничего нет, кроме А В.

Рис. 1.

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

Экзистенциальные кванторные слова, образующие логическую форму суждения, в принципе, могут быть такими, которые несут в себе информацию неопределенно большого количества суждений существования. Например, форма «Есть только A B C D Е» и эквивалентная ей форма «Все суть A BCD E» равнозначны формам: «Есть A B C D Е, а ничего другого нет»; «Есть A B C D Е, и нет ничего, которое не-A, не-B, не-C, не-D или не-Е», где выделенное суждение равнозначно конъюнкции 25-1 суждений о несуществовании, как показано на диаграмме на рисунке 2.

г

п

г

в

А

+

Рис. 2.

Далее встают вопросы: «Какие именно значения экзистенциальных кванторных слов можно считать присущими естественному языку?» и «Насколько эффективно без потерь и искажения информации пользуются кванторными словами конкретные люди?». Для ответа на эти вопросы разработана соответствующая примерная методика социолингвистического исследования (подробнее см. ), которая включает в себя анкетирование и собеседование для выявления тех значений, которые придаются кванторным словам языка массой носителей языка. Исследование показывает, например, что слово «некоторые» неоднозначно и подавляющим большинством носителей русского языка понимается как «не все». Этого значения не имеет слово «некоторый» в русскоязычных изложениях традиционной силлогистики. Социолингвистическое исследование необходимо для решения проблемы приведения к общему пониманию всех кванторных слов во имя устранения потерь и искажения информации в деловом и научном общении.

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

Обычное «нет» («не существует») охватывает по отношению к положительным числам не только ноль, но и все отрицательные числа. (Если бухгалтер ставит отрицательное число в какой-то графе (столбце) таблицы, то этим отмечается то, чего именно нет в кассе, но при этом имеется некоторая недостача, долг или т. п.) А в то же время со стороны отрицательных чисел «нет» охватывает ноль и все положительные числа. Но если «нет» равнозначно «<0», то пустое множество может быть собственно пустым, единичным или общим в том смысле, что оно может быть множеством с простым отсутствием элементов, с одним отсутствующим элементом (с -1 элементом) или с более чем одним отсутствующим элементом (-2, -3, …).

Что же можно сказать в связи с дробями? Часть единицы не обладает качеством единицы как целого и имеет лишь качество именно части этого целого. Если множество включает в себя элементы, обладающие качеством быть таким целым, то пустому множеству на оси чисел соответствует промежуток от плюс единицы до минус единицы, не включая ни плюс единицу, ни минус единицу, т. е. все числа меньше плюс единицы и больше минус единицы в этом промежутке (см. рисунок 3).

Рис. 3.

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

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

Таблица 1 .

О предметах О случаях О местах О временах О точках зрения

Есть, существует, Бывает Кое-где Иногда Считается, кто-то

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

некие Иной раз считает,

Нет, не Не бывает Нигде Никогда Ни для кого, никто

существует, ни не считает

один

Все (каждый, Всякий раз Везде где. Всегда когда. Для всякого,

любой), есть как. так. там. тогда. всякий считает

Не все, лишь Не всякий раз Не везде Не всегда Не для всякого

некоторые

Только Только в Только там, Только тогда, Не только для тех,

случаях где когда кто

Мною построены 5 соответствующих диаграммных словарей логических форм суждений с двумя терминами для каждого из указанных видов суждений. В каждом словаре одинаковые наборы из 148 разных диаграмм с информацией о пустоте или/и непустоте множеств, о том, что существует или/и чего не существует . Непосредственный перевод одинаковых диаграмм на язык логики предикатов, разумеется, тоже одинаковый, но значения предикатов различны. Такими словарями существенно расширяется множество учтенных кванторных слов.

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

Список литературы

5. Кривоносов А. Т. Язык. Логика. Мышление. Умозаключение в естественном языке /

A. Т. Кривоносов. — Москва — Нью-Йорк: ВАЛАНГ, 1996. — 684 с.

6. Johnson-Laird P. N. Only reasoning / P. N. Johnson-Laird, R. M. J. Byrne // Journal of Memory and Language. — 1989. — Vol. 28. — № 3. — P. 313-330.

7. Пугач В. С. Изобразительный логико-семантический анализ естественного языка науки. Рецензия /

B. С. Пугач // Научный результат. Социальные и гуманитарные исследования. — 2016. — Т. 2. -№ 2. — С. 83-85.

8. Carroll L. Symbolic logic. — N.Y.: Clarkson N. Potter, 1977. — 496 p.

10. Zhaldak N. N. Practical logic for economists and all users of tables / N. N. Zhaldak // Studia humana. -2012. — Vol. 1:1. — P. 33 — 43.

11. Жалдак Н. Н. Задачи по практической логике / Н. Н. Жалдак. — Белгород: ИД «Белгород» НИУ «БелГУ», 2013. — 96 с.

13. Жалдак Н. Н. Образная практическая логика / Н. Н. Жалдак. — М.: Московский философский фонд, 2002. — 408 с.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Keywords: logic, quantifiers, natural language quantifier words, existential judgments

2. Murinova P. A formal theory of generalized intermediate syllogisms. Fuzzy Sets and Systems, 2012, Vol. 186, no. 1, P. 47-80.

4. Barwise J., Cooper R. Generalized Quantifiers and Natural Language. Linguistics and Philosophy, 1981, Vol. 4, no. 2, P. 159-219.

6. Johnson-Laird P. N. Only reasoning. Journal of Memory and Language, 1989, Vol. 28, no. 3, P. 313-330.

8. Carroll L. Symbolic logic. N.Y., Clarkson N. Potter, 1977, 496 p.

10. Zhaldak N. N. Practical logic for economists and all users of tables. Studia humana, 2012, Vol. 1:1, P. 33-43.

11. Zhaldak N. N. Zadachi po prakticheskoy logike . Belgorod, Belgorod, 2013, 96 p.

Русский

В Викиданных есть лексема негация (L132304).

Морфологические и синтаксические свойства

падеж ед. ч. мн. ч.
Им. нега́ция нега́ции
Р. нега́ции нега́ций
Д. нега́ции нега́циям
В. нега́цию нега́ции
Тв. нега́цией
нега́циею
нега́циями
Пр. нега́ции нега́циях

не-га́-ци·я

Существительное, неодушевлённое, женский род, 1-е склонение (тип склонения 7a по классификации А. А. Зализняка).

Корень: —.

Произношение

  • МФА: ед. ч. , мн. ч.

Семантические свойства

Значение

  1. лог. отрицание либо субъекта вообще, либо его предиката ◆ Неприятие, негация и деструкция предшествующей традиции — это вполне традиционный жест в истории европейской мысли и культуры. Колесников А. С., «История философии», 2009 г.

Синонимы

Антонимы

Гиперонимы

Гипонимы

Родственные слова

Ближайшее родство

Этимология

От лат. negatio «отрицание», далее из negare «отрицать», далее из италийск. *nek-, от праиндоевр. *ne- «не».

Фразеологизмы и устойчивые сочетания

    Перевод

    Список переводов

    Библиография

      Для улучшения этой статьи желательно:

      • Добавить описание морфемного состава с помощью {{морфо-ru}}
      • Добавить синонимы в секцию «Семантические свойства»
      • Добавить гиперонимы в секцию «Семантические свойства»
      • Добавить хотя бы один перевод в секцию «Перевод»

      Кроссворд на тему «Алгебра логики»

      Учитель информатики первой категории

      Бормина Анна Юрьевна

      МБОУ Лицей №7 г. Саяногорска РХ

      Молодцы!

      14.Логическое отрицание.

      13.Форма нахождения значения логического выражения .

      12. Простое высказывание, содержащее только одну простую мысль и обозначаемое A, B, C, D….

      11. Графическое изображение логического выражения.

      10. Логическое умножение.

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

      8.Сложное высказывание, обозначаемое как F(A,B…).

      7.Логическое сложение.

      6.Константа, которая обозначается «0».

      5.Константа, которая обозначается «1».

      4.Простейшее устройство, на входы которых поступают начальные данные, а на выходе получается результат некоторой логической операции.

      3.Логическое равенство.

      1. Наука, изучающая законы и формы мышления.

      2. Повествовательное предложение, в котором что-то утверждается или отрицается.

      а

      а

      т

      б

      л

      и

      ц

      и

      ф

      н

      в

      у

      н

      е

      м

      е

      я

      а

      н

      п

      е

      р

      е

      н

      р

      в

      к

      с

      ц

      ы

      л

      а

      к

      и

      с

      ц

      я

      к

      и

      п

      м

      и

      и

      и

      л

      г

      о

      а

      о

      я

      к

      и

      к

      я

      а

      н

      н

      ъ

      ю

      з

      и

      д

      к

      ц

      з

      и

      я

      ъ

      ы

      ю

      с

      н

      в

      о

      а

      в

      и

      к

      э

      с

      е

      т

      ь

      н

      л

      в

      т

      в

      н

      х

      е

      а

      к

      ц

      н

      н

      е

      и

      м

      т

      н

      и

      т

      с

      а

      и

      Ученая степень, звание: Доктор философских наук, профессор.
      Последнее место работы: Главный научный сотрудник Института философии РАН; профессор кафедры логики философского факультета МГУ им. М.В. Ломоносова.
      Область научных интересов: Логика, философия науки.
      Краткая биография: В 1965 году окончил философский факультет МГУ. В 1968 году — аспирантуру ИФ АН СССР. Преподавал на философском факультете МГУ, в Московском историко-архивном институте; в 1979-1985 – старший научный сотрудник ИНИОН. С 1985 года работает в ИФ АН СССР (ныне РАН), ведущий научный сотрудник. Официальный представитель в России Европейской ассоциации аналитической философии. Александр Архипович — специалист в области логики, философии науки, теории аргументации, философии истории и социальной философии. Доктор философских наук, профессор, главный научный сотрудник Института философии РАН. Автор около сорока монографий (четыре из них переведены за рубежом), более тридцати учебников и научно-популярных книг, общий тираж которых превысил два миллиона экземпляров. Издал два романа, сборник комедий и сборник стихов. Разработал первую в логической литературе логику абсолютных оценок (логику понятий «хорошо», «безразлично», «плохо»). В работах по философии истории развил идею двухполюсности человеческой истории: она движется между двумя достаточно постоянными полюсами, одним из которых является коллективистическое общество, другим — индивидуалистическое общество. Составитель и один из авторов книги «Философия любви». Главный редактор книги: «Философия. Энциклопедический словарь». Официальный представитель в России Европейской ассоциации аналитической философии (1991 — 1996). Приглашенный лектор университетов Стокгольма, Хельсинки, Тренто, Мюнхена и др.). Опубликованы более четырехсот научных статей, многие из которых переведены за рубежом. Умер 9 апреля 2018 года в Москве.

      Дополнительная информация об авторе: Книги автора

[ad01]

Рубрики: Разное

Добавить комментарий

Ваш адрес email не будет опубликован. Обязательные поля помечены *