contraddizione
Enciclopedia on line
Come termine specifico di logica, la c. è il rapporto vigente tra un’affermazione e una negazione di egual soggetto e di egual predicato. In questa antitesi, vero essendo un termine, l’altro deve essere [...] si qualifica un soggetto con un attributo che è escluso dalla natura stessa del soggetto (per es. sfera cubica).
In logica matematica il principio di c. è espresso dalla formula ¬ (p ⋀ ¬ p). Questo principio, in relazione a un calcolo logistico ...
Leggi Tutto
CATEGORIA:
LOGICA
Giappone
Enciclopedia on line
Stato insulare dell’Estremo Oriente. Il nome in lingua locale (Nippon-koku nella forma classica; Nihon-koku nella parlata comune) deriva dalla lettura giapponese del nome cinese del G., Jih Pen Kuo («il [...] dello haikai è la presenza non di una struttura logica ma della capacità di percepire ed esprimere l’oggetto alcuni scrittori che condividono una posizione di marginalità e di negazione della cultura ufficiale e dei valori da essa proposti. Tra ...
Leggi Tutto
CATEGORIA:
ARTE E ARCHITETTURA PER CONTINENTI E PAESI
–
CINEMATOGRAFIE NAZIONALI
–
STORIA DEL CINEMA
–
LETTERATURE PER CONTINENTI E PAESI
–
LINGUE E DIALETTI NEL MONDO
–
MUSICA PER CONTINENTI E PAESI
–
ASIA
–
GEOGRAFIA UMANA ED ECONOMICA
–
DOTTRINE TEORIE CONCETTI
–
STORIA DELLE RELIGIONI
–
ETNOLOGIA PER CONTINENTI E PAESI
–
STORIA PER CONTINENTI E PAESI
automazione
Enciclopedia on line
Ingegneria
Il termine a., introdotto negli anni 1940 da J. Diebold per descrivere il largo impiego di apparecchiature automatiche manifestatosi soprattutto nell’industria automobilistica, esprime oggi [...] particolare all’algebra di Boole, la quale consente di interpretare il funzionamento dei sistemi, anche molto complessi, mediante operazioni logiche semplici (somma e prodotto logico, negazione ecc.) e di progettare un sistema che abbia una funzione ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
Sòcrate
Enciclopedia on line
Filosofo (Atene 470 o 469 - ivi 399 a. C.). Era figlio di uno scultore, Sofronisco, e di una levatrice, Fenarete. Scarse le notizie sulla sua vita familiare, eccezion fatta per la figura della moglie Santippe, [...] e non già per il fatto che egli, in sede di teoria della logica, determini la nozione di concetto e definisca l'induzione e la definizione, se ἐξαμαρτάνει), la quale non è da intendere come una negazione della libera volontà dell'uomo, ma nel senso di ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
matematica
Enciclopedia on line
Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la m. pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla [...] un assetto della m. più soddisfacente dal punto di vista puramente logico.
Il nuovo atteggiamento di critica degli studi matematici, che ha esperienza, risultano dall’inconcepibilità della loro negazione, in quanto questa implicherebbe contraddizione, ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
–
MATEMATICA APPLICATA
–
STORIA DELLA MATEMATICA
–
EPISTEMOLOGIA
–
METAFISICA
funzione
Enciclopedia on line
Biologia
L’attività propria di una cellula, o di una sua parte, o di un organo, o di un sistema organico. Oggetto di studio della fisiologia, è intimamente legata alla forma o struttura, oggetto di studio [...] un valore di una (o più) variabili reali.
Funzioni di verità
In logica matematica, particolare tipo di f. che ha sia come argomenti sia come tramite i connettivi in questione. Per es., la negazione viene interpretata come quella f. a un argomento che ...
Leggi Tutto
genere
Enciclopedia on line
Antropologia
Nel dibattito antropologico e sociologico contemporaneo, il termine g. ha sostituito il termine sesso per indicare la tipizzazione sociale, culturale e psicologica delle differenze tra maschi [...] histoire de la littérature (1890).
Il Novecento
La prima sistematica negazione della teoria dei g. si profila nell’estetica del Novecento comodo, svincolata dallo stesso processo della critica. Nella Logica (1909) si precisa il carattere di pseudo- ...
Leggi Tutto
sillogismo
Enciclopedia on line
sillogismo Termine filosofico con cui Aristotele designò la forma fondamentale di argomentazione logica (s. categorico), costituita da tre proposizioni dichiarative connesse in modo tale che dalle prime [...] ’assunzione di validità di barbara, della validità degli altri 23 modi sopra menzionati; se il segno = indica l’equivalenza logica e il segno ¬ indica la negazione del termine immediatamente seguente, le regole sono: A(S, P)=E(S, ¬P), E(S, P)=A(S, ¬P ...
Leggi Tutto
Scòto Eriùgena, Giovanni
Enciclopedia on line
Filosofo e teologo (sec. 9º) di origine irlandese (donde i soprannomi Scotus e Eriugena che sono sinonimi). Già noto alla corte di Carlo il Calvo, nell'850-51 fu sollecitato a intervenire nella controversia [...] Dio; migliore discorso si avrà però unendo e superando affermazione e negazione attraverso l'uso del prefisso super (traduzione del greco ὑπέρ): designare una realtà che è oltre ogni distinzione logica, oltre gli opposti contraddittorî, e di fronte ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
logici, circuiti
Enciclopedia on line
In elettronica, dispositivi che attuano operazioni di algebra logica binaria.
Operazioni logiche binarie
Per la schematizzazione di circuiti l. elettronici, detti circuiti di commutazione, e per la determinazione [...] solo se tutte le xi hanno il valore 0; si definisce prodotto logico (operazione AND) l’operazione il cui risultato vale 1 se e tutte le xi hanno il valore 1; infine, inversione o negazione (operazione NOT) della variabile x è l’operazione il cui ...
Leggi Tutto