Sheffer Henry Maurice
Sheffer (talora Sheller) 〈šèfër〉 Henry Maurice [STF] (n. in Russia 1883 - Cambridge, Massachusetts, 1964) Prof. di matematica nell'univ. Harvard di Cambridge, Massachusetts. ◆ [ALG] [...] [FAF] Funtore di S.: nella logica matematica, detto anche operatore di S., e anche negazione alternativa o non congiunzione o incompatibilità, introdotto da S. nel 1913 e denotato con il simb. |; se p e q sono due enunciati, p|q è sempre vero, salvo ...
Leggi Tutto
Diritto
C. e qualifiche professionali Sistema di classificazione volto a identificare e raggruppare i vari profili professionali, in modo da delineare il regime giuridico ed economico cui è sottoposto [...] che può essere falso, ma è sintatticamente corretto. Una prima distinzione tra le c. sintattiche è quella tra ‘funtori’ e ‘argomenti’. Tra i funtori si annoverano i connettivi e i quantificatori, tra gli argomenti i nomi propri e gli enunciati.
Sono ...
Leggi Tutto
Logica
CChaïm Perelman
di Chaïm Perelman
Logica
sommario: 1. La concezione ‛formale' della logica: lo studio delle verità logiche: a) l'oggetto della logica e la tradizione aristotelica; b) l'antipsicologismo [...] ‛F', ‛G', che prenderanno il nome di funtori. Per completare il linguaggio della logica, Quine aggiunge variabile che viene quantificata. ‛(∃x) Fx' si leggerà: esiste un x che soddisfa il funtore F; se ‛Fx' si traduce con ‛x è positivo', ‛(∃x) Fx' si ...
Leggi Tutto
funtore
funtóre s. m. [der. di funto, part. pass. di fungere]. – 1. non com. Chi esercita un ufficio o adempie una funzione, spesso a carattere provvisorio o temporaneo. 2. In matematica, funzione che interviene in una particolare trasformazione...