tipo Insieme di oggetti, elementi, individui conformi a un determinato schema o modello, aventi caratteri simili che li accomunano tra loro e insieme li distinguono da altri.
Biologia
Specie tipica è [...] egli realizzò già in qualche modo nel 1903 in una delle appendici ai suoi Principles of mathematics con la teoria dei t. logici. Alla base di questa teoria sta il principio che la relazione di appartenenza tra un elemento e un insieme è regolata da ...
Leggi Tutto
Il termine complessità è oggi frequentemente usato, in campo scientifico, in contesti diversi. In quello dell'informatica, dell'analisi numerica e dell'ottimizzazione, corrisponde alla caratteristica quantitativa [...] inoltrarsi in un universo in cui l'ordine non è più assoluto, in cui la separabilità è limitata e in cui la logica stessa appare vacillare? È questo il problema fondamentale che il pensiero della c. vuole affrontare. Una prima via di accesso è quella ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1971-1980
1971-1980
1971
I problemi NP-completi. L'informatico americano Stephen Cook dà il primo esempio di problema algoritmico NP-completo. La classe NP [...] sta in P. L'esempio di problema NP-completo trovato da Cook è quello di decidere se una formula della logica proposizionale sia soddisfacibile. Da allora sono stati trovati migliaia di problemi NP-completi.
Pubblicato il libro di Siegel e Moser ...
Leggi Tutto
L'Eta dei Lumi: le scienze della vita. Il preformismo rivisitato e i suoi esiti vitalisti
Maria Teresa Monti
Il preformismo rivisitato e i suoi esiti vitalisti
Per le sorti del preformismo, che nella [...] inclinare per il primo, che era richiesto dalla palingenesi quale logica necessità, e aveva dalla sua parte l'autorità di per gli ovipari. A ben vedere, sotto i colpi della logica di Spallanzani cadeva però non solo l'epigenesi, ma anche il ...
Leggi Tutto
embrione
Prodotto del concepimento derivante dalla cellula uovo fecondata, lo zigote. Lo sviluppo embrionale si verifica attraverso vari passaggi, che portano alla formazione di quelli che saranno gli [...] tipi di embrione, e i loro prodotti interagiscono nella costruzione dello schema dell’embrione seguendo la medesima logica. Solo successivamente i processi di sviluppo divergono, determinando la molteplicità di forme che si riscontra negli individui ...
Leggi Tutto
biologia Studio delle anomalie morfologiche e in particolare delle anomalie fetali (teratogenesi) che interessano il campo dell’ostetricia e dell’anatomia patologica, oltre che la zoologia generale. Tali [...] e nel Rinascimento, suggerì concetti naturalistici all’interpretazione dei fenomeni mostruosi. G.B. Morgagni ricercò la spiegazione logica di queste anomalie in malattie sviluppatesi nel feto. Il primo tentativo scientifico di raccolta e ordinamento ...
Leggi Tutto
Natura e cultura nel linguaggio
Elizabeth Bates
(Center for Research in Language, University of California San Diego, California, USA)
In questo saggio vengono discussi la struttura, le origini, lo sviluppo [...] di Broca) e un'altra posteriore (l'area di Wernicke). Come vedremo in questa breve panoramica, non esiste una visione freno logica del linguaggio che possa spiegare le prove attuali ottenute mediante gli studi sulle lesioni o mediante le tecniche di ...
Leggi Tutto
Visione artificiale
Pietro Parodi
(Scuola Internazionale di Studi Superiori Avanzati, Trieste, Italia)
Vincent Torre
(Scuola Internazionale di Studi Superiori Avanzati, Trieste, Italia)
La visione artificiale, [...] con il calcolo proposizionale, conviene ricordare che una proposizione booleana è costruita a partire da un certo numero di variabili logiche Xl, ... Xn che possono assumere solo due valori, 0 e 1 ('falso' e 'vero'), e sulle quali sono ammesse le ...
Leggi Tutto
In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] linguaggio relativa al dominio α è m. di T. Una formula si dice valida in una teoria T se è conseguenza degli assiomi non logici di T o, equivalentemente, se è vera in ogni m. di T. Due strutture U(α) e U(β) si dicono elementarmente equivalenti per ...
Leggi Tutto
L'Ottocento: biologia. La morfologia trascendentale in Gran Bretagna
Janet Browne
La morfologia trascendentale in Gran Bretagna
L'arco di tempo che va dal 1800 al 1860 è indicato nella storia della [...] avevano in comune la convinzione che la mente, che trascende la realtà empirica, costituisse il principio unificante della logica sottostante ai fenomeni della Natura. L'incontro tra il pensiero idealistico e la biologia del primo Ottocento produsse ...
Leggi Tutto
logica
lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...
logicismo
s. m. [der. di logica, logico1]. – 1. a. In senso ampio, ogni dottrina che pone la logica a fondamento della filosofia, o le assegna comunque un posto preponderante in questa disciplina. b. In filosofia della matematica, indirizzo...