Словарь по логике

 

affirmo
утверждать, уверять, подтверждать, доказывать.

Согласно Н.И. Стяжкинуь [Стяжкин, с. 99] и словарю Н.И. Кондакова, введено для обозначения утвердительного качества атрибутивных высказываний и/или суждений введено Боэцием.

Согласно распространенному мнению, от первых двух гласных именно этого слова возникают буквенные обозначения утвердительных атрибутивных высказываний: первая гласная (a) стала использоваться для обозначения общеутвердительных высказываний, а вторая (i) – для обозначения частноутвердительных.

Но согласно А.О. Маковецкому, буквенные обозначения видов атрибутивных высказываний появляются впервые у Михаила Псёлла (XI в.), а на латинской почве – у Гийома из Шампо (XI-XII вв.), которые берут для этого первые четыре гласные греческого и латинского алфавита, соответственно, в том же порядке, в каком обычно перечислялись данные виды высказываний (подробней см. буквенные обозначения видов атрибутивных высказываний). А латинские слова affirmo и negо привлекаются позже в качестве мнемонического средства для запоминания этих обозначений [Маковецкий, с. 272-273].

Литература.

  1. Дворецкий И.Х. Латинско-русский словарь. М., 1996.
  2. Кондаков Н.И. Логический словарь. М., 1971.
  3. Маковельский А.О. История логики. Жуковский – М., 2004.
  4. Стяжкин Н.И. Формирование математической логики. М., 1967.
Шиян Т.А.

© Автор статьи.