===== NOTAÇÃO ===== (in. Notation; fr. Notation; al. Notation; it. Notazioné). Têm este [[lexico:n:nome:start|nome]] os [[lexico:s:simbolos:start|símbolos]] primitivos da [[lexico:l:logica:start|lógica]]. A [[lexico:c:classificacao:start|classificação]] mais comum de tais símbolos divide-os em [[lexico:q:quatro:start|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). (gr. etymologia; lat. notatio; in. Notation; fr. Notation; al. Notation). Em lógica. [[lexico:a:argumento:start|argumento]] (locus) inferido da etimologia do nome: como quando [[lexico:p:platao:start|Platão]] diz que o [[lexico:t:termo:start|termo]] [[lexico:s:soma:start|soma]] ([[lexico:c:corpo:start|corpo]]) deriva de sema (túmulo), como argumento de que o corpo é o túmulo da [[lexico:a:alma:start|alma]] (Crat, 400 c). [[lexico:e:esse:start|esse]] [[lexico:t:tipo:start|tipo]] de argumento é esclarecido por Cícero (Top., 8, 35) e retomado pelos lógicos do séc. XVII (Jungius, Log., V, 25). {{indexmenu>.#1|skipns=/^playground|^wiki/ nsonly}}