semantica
Enciclopedia on line
semantica Ramo della linguistica che si occupa dei fenomeni del linguaggio non dal punto di vista fonetico e morfologico, ma guardando al loro significato. Il termine fu coniato da M. Bréal nel 1883 come [...] teoria della dimostrazione fondata da D. Hilbert studia le dimostrazioni come oggetti formali senza badare al significato e alla verità delle formule coinvolte, la s. logica è una teoria matematica del modo in cui certe forme d’inferenza preservano ...
Leggi Tutto
Stati Uniti d’America
Enciclopedia on line
Stati Uniti d’America Stato federale dell’America Settentrionale, il cui territorio è suddiviso tra 50 Stati membri e il Distretto di Colombia, nel quale sorge la capitale Washington. La continuità territoriale [...] Tutti gli uomini sono creati uguali»: così, con una logica in cui non è difficile riconoscere l’eco di filosofi A. Poe, 1845), portandolo a livelli di perfezione tecnica e formale fin lì sconosciuti. Inventore del genere poliziesco (il suo Monsieur ...
Leggi Tutto
scienza
Enciclopedia on line
scienza Insieme delle discipline fondate essenzialmente sull’osservazione, l’esperienza, il calcolo, o che hanno per oggetto la natura e gli esseri viventi, e che si avvalgono di linguaggi formalizzati.
In [...] biologia: l’osservazione sta alla base della classificazione del mondo animale, che utilizza la logica dei generi e delle specie, ossia l’edificio formale quasi perfetto da lui costruito nell’Organon. In generale, l’influenza del pensiero filosofico ...
Leggi Tutto
Peano, Giuseppe
Enciclopedia on line
Matematico (Cuneo 1858 - Torino 1932), prof. di calcolo infinitesimale alla univ. (dal 1890) e all'Accademia militare di Torino, socio nazionale dei Lincei (1929); uno dei maggiori matematici italiani [...] moderni. Al nome di P. restano legati soprattutto la costruzione di un utile e rigoroso formalismo logico; la rigorosa critica logico-formale dei fondamenti dell'aritmetica, della geometria proiettiva, della teoria generale degli insiemi; il primo ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
METODO
Enciclopedia Italiana (1934)
METODO (dal gr. μέϑοδος; lat. methŏdus)
Angiolo Gambaro
Etimologicamente (da μετὰ e ὁδός) significa "via, direzione a un termine, a una meta". Ma presso gli antichi il vocabolo μέϑοδος o suona per lo [...] e nella pedagogia: senso fissato in quella parte della vecchia logica formale, che prende il nome di metodologia.
Questa fu spesso confusa con la logica, ma a torto: poiché la logica suppone la verità come norma della conoscenza, e la sua struttura ...
Leggi Tutto
FENOMENOLOGIA
Enciclopedia Italiana - III Appendice (1961)
Al pensiero e all'opera di Edmondo Husserl (1859-1939) si ricollega oggi un vasto movimento filosofico. Già per Hegel il termine di ufenomenologia" (cfr. la sua Fenomenologia dello Spirito) caratterizzava [...] (per es. la regione "cosa", "coscienza"). Ogni conoscenza di fatti implica necessariamente un riferimento alla logica formale, all'ontologia formale e all'ontologia materiale, le quali esprimono le leggi necessarie e generali secondo cui diventiamo ...
Leggi Tutto
MARXISMO
Enciclopedia Italiana - IV Appendice (1979)
MARXISMO
Lucio Colletti
. La conclusione della seconda guerra mondiale apre un capitolo nuovo nella storia del marxismo. L'area della sua influenza ideologica e culturale si dilata improvvisamente, [...] vengono contrapposte le teorie biologiche di Miciurin e di Lysenko. Contro le scienze della natura "borghesi", che fanno uso della "logica formale", si propugna l'avvento di scienze della natura che siano influenzate dal m. e che impieghino perciò la ...
Leggi Tutto
Ragionamento, psicologia del
Enciclopedia Italiana - VII Appendice (2007)
Ragionamento, psicologia del
Paolo Legrenzi
Fin da Aristotele la logica formale - le procedure che permettono di operare delle inferenze, cioè trarre conclusioni da premesse - è stata considerata alla [...] del 21° sec. gli psicologi cognitivi confrontano le predizioni di questa millenaria tradizione teorica, chiamata logica naturale o teoria delle regole formali, con quanto prevede invece la teoria dei modelli mentali, sviluppata dalla fine del 20° sec ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
AUSTRALIA
Enciclopedia Italiana - V Appendice (1991)
(V, p. 387; App. I, p. 191; II, I, p. 308; III, I, p. 174; IV, I, p. 192)
Popolazione.- Nel 1988, la celebrazione del bicentenario dello sbarco dei primi coloni nell'area di Sydney ha consentito al paese [...] di forme' ha costituito un processo rilevante e solitario, al di là dell'influenza delle tendenze dominanti. La logica formale dell'artista, unita alla casualità che è propria della natura degli oggetti trovati e messi insieme, contenuti in ...
Leggi Tutto
CATEGORIA:
STORIA DEL CINEMA
AUTOMAZIONE
Enciclopedia Italiana - VI Appendice (2000)
(App. III, i, p. 178)
Nell'a. si fondono contenuti e metodologie sviluppatisi nell'automatica (v. controlli automatici, App. III, i, p. 430; IV, i, p. 523; V, i, p. 721; automatica, App. IV, i, p. 202; [...] Systems) per l'azionamento di motori elettrici. I controllori in logica fuzzy, invece, non sono altro che un'applicazione di un risultato della logica formale. Questa metodologia di programmazione di tecnologie di controllo offre potenzialità per ...
Leggi Tutto