Akademik

в формальной логике (первая буква лат. слова affirmo – утверждаю) обозначает общеутвердительное суждение "все S суть P" (напр., "все предметы в мире находятся в движении").

    А — одна из букв латинского алфавита, которые в традиционной логике (в силлогистике) используются для обозначения четырех типов суждений этой логики — общеутвердительного (А — первая буква латинского слова “affirmo”, что значит “утверждаю”), частноутвердительного (I — вторая гласная буква того же слова), общеотрицательного (Е — первая гласная буква латинского “nego”, что значит “отрицаю”), частаоотрицательного (О — вторая гласная буква того же слова). Эта символика восходит к логическим трактатам схоластов (в частности, к “Introductiones” Уильяма из Шервуда, гл. 13). закрепляется в “Своде логики” (Summale logicales) Петра Испанского и окончательно утверждается в логике Нового времени (см., напр.: Лейбниц Г. В. Соч., т. 3. M., 1984, с. 553).

    M. M. Новосёлов