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 [...] 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, impone che non si presentino contemporaneamente due teoremi della forma A e ¬ A. ...
Leggi Tutto
CATEGORIA:
LOGICA
logico
Dizionario delle Scienze Fisiche (1996)
logico
lògico [agg. (pl.m. -ci) Der. del lat. logicus, dal gr. log✄ikós, a sua volta da lógos "discorso, ragio-namento"] [LSF] Che concerne la logica o che è conforme a essa come retto modo di ragionare. [...] x; per le rispettive tavole di verità e per i dispositivi che le realizzano, v. circuiti logici. ◆ [ALG] [FAF] Teorema l.: nella logica matematica, è un'espressione del linguaggio simbolico adottato che ha la proprietà di essere deducibile (mediante ...
Leggi Tutto
CATEGORIA:
FISICA MATEMATICA
–
STORIA DELLA FISICA
–
TEMI GENERALI
–
ALGEBRA
–
EPISTEMOLOGIA
–
METAFISICA
–
ELETTRONICA
ragionamento
Enciclopedia dei ragazzi (2006)
ragionamento
Margherita Zizi
Una fondamentale operazione della nostra mente
Se paragoniamo la mente umana a un computer e il pensiero a un processo di elaborazione di informazioni, potremmo dire che [...] ciò che è contenuto, implicitamente, nelle premesse.
Il ragionamento deduttivo sta a fondamento di tutte le dimostrazioni e i teoremi della matematica, ma non ci permette di scoprire o prevedere fatti nuovi e quindi di ampliare le nostre conoscenze ...
Leggi Tutto
CATEGORIA:
LOGICA
logica
Dizionario delle Scienze Fisiche (1996)
logica
lògica [Lat. logica, dal gr. loġiké (sottinteso téchne "arte"), a sua volta da lógos "discorso, ragionamento"] [ELT] [INF] Il complesso dei circuiti logici che fanno parte di un dispositivo elettronico [...] non quella dei predicati, mentre quella che analizza pure la quantificazione dei predicati è detta l. del secondo ordine: v. Gödel, teorema di: III 54 e. ◆ [FAF] L. enunciativa: lo stesso che l. proposizionale (v. oltre). ◆ [ALG] [FAF] L. formale, o ...
Leggi Tutto
CATEGORIA:
FISICA MATEMATICA
–
STORIA DELLA FISICA
–
TEMI GENERALI
–
ALGEBRA
–
EPISTEMOLOGIA
–
METAFISICA
–
ELETTRONICA
operatore
Enciclopedia on line
Biologia
In genetica, tratto di DNA che fa parte di un operone e condiziona la trascrizione dei geni strutturali immediatamente adiacenti (➔ operone).
Filosofia
In filosofia analitica, un’espressione [...] x e a ∂/∂y l’applicazione f→∂f/∂y). L’insieme di o. Ω risulta dotato della struttura di semigruppo con unità, commutativo per il teorema di Schwarz; gli elementi di Ω sono ∂h+k/∂xh∂yk (h, k=0, 1, 2, …).
Nella ulteriore ipotesi che, per ogni ω ∈ Φ, l ...
Leggi Tutto
Scienza cognitiva
Enciclopedia Italiana - VI Appendice (2000)
Scienza cognitiva
Antonio Rainone
Con la locuzione scienza cognitiva, dalla fine degli anni Settanta, si è soliti designare l'insieme delle discipline che hanno per oggetto lo studio dei processi cognitivi [...] i reali processi cognitivi umani, piuttosto che quelle cui si volgeva l'IA degli anni Cinquanta (dimostrazione di teoremi logici e matematici, automazione del gioco degli scacchi e della dama) o quelle che hanno dato origine all'implementazione ...
Leggi Tutto
intuizione
Enciclopedia on line
In filosofia, rapporto immediato e diretto tra soggetto pensante e oggetto; questo rapporto può essere poi inteso come semplice presenza dell’oggetto alla mente o come immedesimazione del soggetto nell’oggetto. [...] disciplina come sistema puramente formale di simboli, ha visto all’origine degli elementi della matematica (numeri, assiomi, teoremi) un continuo intervento dell’i. concepita come attività della mente che crea e costruisce i costituenti essenziali di ...
Leggi Tutto
CATEGORIA:
DOTTRINE TEORIE E CONCETTI
EPISTEMOLOGIA
Enciclopedia Italiana - IV Appendice (1978)
. Assumendo la parola "epistemologia" nel senso di "riflessione critica generale intorno alla conoscenza scientifica", il presente tentativo di sintesi problematica delle acquisizioni epistemologiche post-ottocentesche [...] mezzo dei primitivi, l'altra ha parimenti lo scopo di permettere la deduzione di nuovi asserti o giudizi - i cosiddetti teoremi - senza eccezione veri, qualora tali risultino gli assiomi da cui sono logicamente inferiti.
Nel secondo caso, invece, la ...
Leggi Tutto
Pitàgora
Enciclopedia on line
Matematico e filosofo del sec. 6º a. C. Figlio di Mnesarco, nato a Samo nella prima metà del VI sec. a. C. Apollodoro colloca la sua acmè nel 532-531 a. C. Fu scolaro di Ferecide e di Anassimandro. Un [...] della geometria razionale. Il desiderio di dare una giustificazione rigorosa e generale, non empirica né limitata a pochi casi, del teorema di P., spinse P. e i suoi allievi a ordinare la geometria in catene di deduzioni che, partendo da verità ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
algebra di Boole
Enciclopedia della Scienza e della Tecnica (2008)
algebra di Boole
Silvio Bozzi
Introdotte nel 1848 da George Boole come controparte algebrica della logica dei termini e di quella ipotetica, le algebre di Boole trovano una prima formulazione assiomatica [...] dei boreliani di uno spazio. Il risultato che ha dato l’inizio allo studio sistematico delle algebre di Boole è il teorema dimostrato da Marshall Stone nel 1936 per cui ogni algebra di Boole è isomorfa ;all’algebra dei clopen di uno spazio compatto ...
Leggi Tutto