alternativa
alternativa [Der. di alternato] [FAF] [ELT] [INF] Operazionelogica, sinon. di OR. ◆ [ANM] Principio dell'a.: principio utilizzabile per la risolubilità di un'equazione integrale di Fredholm [...] di seconda specie: v. equazioni integrali: II 477 d ...
Leggi Tutto
Filosofo e scienziato (Lipsia 1646 - Hannover 1716). Dopo aver studiato filosofia a Lipsia, matematica a Jena e diritto a Altdorf, entrato in rapporto con i Rosacroce conobbe Johann Christian barone di [...] i quali, combinati fra loro secondo leggi date, sarebbero fondamento di dimostrazioni incontrovertibili: l'operazionelogica (basata su una caratteristica universale, presupposto di un linguaggio universale) si presenterebbe così come calcolo ...
Leggi Tutto
Filosofo tedesco, morto a Friburgo il 26 maggio 1976. Dopo le analisi fenomenologico-esistenziali di Sein und zeit e della prima fase del suo pensiero, H. è andato sempre più evolvendo verso una prospettiva [...] da Platone infatti il pensiero occidentale ha identificato la verità con il giudizio e ha ridotto il nulla a semplice negazione, operazionelogica. In tal modo non ha più potuto cogliere il legame originario tra l'essere e il nulla né, di conseguenza ...
Leggi Tutto
Scienza greco-romana. Aristotele
Enrico Berti
Aristotele
Il ritorno al naturalismo presocratico nelle opere perdute
L'originalità di Aristotele rispetto a Platone nel modo di concepire quell'indagine [...] oppone (ibidem, II, 26).
Negli Analitici secondi, oltre a teorizzare la dimostrazione, Aristotele teorizza anche un'altra operazionelogica di importanza fondamentale, cioè la definizione, la quale funge da principio per le dimostrazioni e, dunque, è ...
Leggi Tutto
La scienza bizantina e latina: la nascita di una scienza europea. L'infinito e l'eternita del mondo
Johannes M.M.H. Thijssen
L'infinito e l'eternità del mondo
La questione dell'infinito si è imposta [...] termine sincategorematico in una proposizione vi era quello di bloccare la possibilità della sua conversione (conversio), l'operazionelogica che consiste nell'invertire l'ordine del soggetto e del predicato in una proposizione senza alterare il suo ...
Leggi Tutto
somma
sómma [Der. del lat. summa "il punto più alto", f. sostantivato dell'agg. summus "sommo"] [ALG] Il risultato dell'operazione di addizione di numeri naturali (s. aritmetica), di numeri con segno [...] dei vettori, cioè il loro risultante. ◆ S. logica: (a) [ALG] [FAF] nella logica matematica, lo stesso che congiunzione; (b) [INF] l'operazionelogica binaria indicata usualmente con il simb. OR (v. circuiti logici: I 618 c). ◆ [ANM] S. standard: v ...
Leggi Tutto
tavola
tàvola [Der. del lat. tabula] [LSF] Termine usato con i signif. di tabella, di cui è allora sinonimo. ◆ [ASF] T. astronomiche: tabelle di dati astronomici, spec. di effemeridi di astri. ◆ [ANM] [...] colonna che ha per primo elemento gk si scrive il prodotto ghgk. ◆ [ALG] [FAF] T. di verità: mostra il risultato di un'operazionelogica binaria ("vero" e "falso" oppure 0 e 1) in funzione dei valori dei termini; per le t. di verità delle principali ...
Leggi Tutto
OR
OR 〈òr〉 [Congiunzione ingl. 〈óo〉 corrispondente all'it. o disgiuntivo] [FAF][INF] Altra denomin. della somma logica e del relativo operatore, nonché del circuito logico che la realizza: v. circuiti [...] : I 618 c. ◆ [INF] OR esclusivo: (anche OR inclusivo, equivalente al lat. vel) operazionelogica, di simb. EX-OR (equivalente al lat. aut), tra due o più variabili binarie, il cui risultato è nullo se e solo se tutte le variabili hanno lo stesso ...
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 [...] calcolo, tutte le forme di ragionamento più o meno probanti che le discipline più svariate non esitano a mettere in opera. Se non isoliamo la logica formale da tutte le forme di ragionamento meno depurate, se non la consideriamo che come la punta più ...
Leggi Tutto
logico1
lògico1 (ant. lòico) agg. [dal lat. logĭcus, gr. λογικός, der. di λόγος «discorso, ragionamento»] (pl. m. -ci). – 1. a. Che concerne la logica o la logica matematica: principî l.; linguaggio l.; calcolo l.; o, più genericam., che riguarda...
operatore
operatóre s. m. [dal lat. tardo operator -oris]. – 1. (f. -trice) a. Chi opera, chi compie determinate azioni o operazioni, per lo più abitualmente. Raro in usi generici: o. del male; o. di incantesimi; o. d’inganni; e ant. con il...