(in. Notation; fr. Notation; al. Notation; it. Notazioné).
Têm este nome os símbolos primitivos da lógica. A classificação mais comum de tais símbolos divide-os em quatro classes: constantes, variáveis, conectivos e operadores. Estes dois últimos algumas vezes são chamados, respectivamente, de operadores e abstratos (v. os verbetes individuais: conectivo; constante; operador). [Abbagnano]
(gr. etymologia; lat. notatio; in. Notation; fr. Notation; al. Notation).
Em lógica. argumento (locus) inferido da etimologia do nome: como quando Platão diz que o termo soma (corpo) deriva de sema (túmulo), como argumento de que o corpo é o túmulo da alma (Crat, 400 c). Esse tipo de argumento é esclarecido por Cícero (Top., 8, 35) e retomado pelos lógicos do séc. XVII (Jungius, Log., V, 25). [Abbagnano]