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 [...] y2, quello di d’Alembert: ∂2/∂x2−∂2/∂y2 ecc.
Calcolo operatorio
Il calcolo operatorio e l’interesse allo studio degli o. come enti assoggettabili . di astrazione.
Forma enunciativa (o funzione proposizionale o enunciato aperto) è un’espressione del ...
Leggi Tutto
Informatica
Giorgio Ausiello
Carlo Batini
Vittorio Frosini
(App. IV, ii, p. 189; V, ii, p. 704)
Mentre negli anni 1937-38 venivano pubblicati l'ultimo volume della Enciclopedia Italiana e l'App. I, [...] funziona nel seguente modo:
V sceglie a caso i in {1,2} e una permutazione π;
calcola H=π(Gi);
fornisce H a P e chiede a P un indice j in {1,2} logiche temporali sono logiche modali (di tipo proposizionale o predicativo) i cui operatori fondamentali ...
Leggi Tutto
MENTE
Antonio Rainone
Massimo Stanzione
Premessa.- Collocata com'è al punto d'incontro tra speculazione gnoseologica, metafisica, etica e teologica, nel corso del pensiero occidentale la m. e le funzioni [...] l'accento sul fatto che l'ascrizione di un atteggiamento proposizionale a un individuo, per es. di una credenza, : in altri termini, al fatto di essere un tipo speciale di calcolatore biologico capace di automodificarsi. Quest'idea, che fu già di E. ...
Leggi Tutto
(XI, p. 569)
La c. è oggetto di continua chiarificazione terminologica (tra gli altri, Consciousness in contemporary science, 1988; Jervis 1993). La parola non designa in effetti un fenomeno unitario, [...] . Da un lato, sono stati distinti gli 'atteggiamenti proposizionali' della c., cioè quegli atti mentali che hanno un che ci permettono di riconoscere le parole e le forme, di calcolare le distanze e quindi di orientarci nello spazio?'; 'in quale modo ...
Leggi Tutto
Semantica
Giulio Lepschy
(XXXI, p. 334; App. III, ii, p. 692; IV, iii, p. 298)
Ciò che caratterizza gli studi di s. negli ultimi decenni del 20° secolo è la convergenza di due filoni di ricerca precedentemente [...] se si considera l'aspetto "vero-funzionale" del "calcolo delle proposizioni", cioè l'assunto che il valore di verità (correttamente) interpretata dai genitori non in base al suo contenuto proposizionale, ma come se volesse dire (ciò che di fatto vuol ...
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 [...] Cook è quello di decidere se una formula della logica proposizionale sia soddisfacibile. Da allora sono stati trovati migliaia di Poco dopo i francesi D. Bonneau e R. Foy comunicano di avere calcolato 4000 km ca. per Plutone e 2000 km ca. per il suo ...
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 [...] tra le varie lingue nei mezzi per esprimere una relazione proposizionale chiamata transitività (che corrisponde a 'chi ha fatto cosa tra i parlanti che entra in gioco quando occorra calcolare quanto bisogna essere cortesi o espliciti per far valere ...
Leggi Tutto
Lingua
Luis J. Prieto
di Luis J. Prieto
Lingua
sommario: 1. Introduzione. 2. Lingua e parole. 3. Lingua e codice non linguistico. □ Bibliografia.
1. Introduzione
Il primo problema che si presenta quando [...] come tale, si potrà dire che le possibilità previste nel calcolo presupposto da questo riconoscimento sono ua e uà cioè, da una quella, precisamente, costituita dall'estensione della funzione proposizionale: ‛x è un oggetto dato nel compito attuale ...
Leggi Tutto
Etica
Pietro Piovani
di Pietro Piovani
Etica
sommario: 1. Introduzione. 2. Alla ricerca dell'oggettività dei valori. 3. Mobilità, relatività, storicità. 4. Autonomia e ambiguità. 5. Logica del disordine [...] rendersi conto del suo valore, è calcolare le prix de la vie, un calcolo che si sottrae a ogni economia. Tra più ingenue. Però, dentro questo atteggiamento che, nella critica proposizionale movente da Moore, scade facilmente nell'ovvio o nel prolisso ...
Leggi Tutto
La grande scienza. Intelligenza artificiale
Marco Somalvico
Francesco Amigoni
Viola Schiaffonati
Intelligenza artificiale
In questa trattazione viene presentata l'intelligenza artificiale (nel seguito [...] possano essere utilizzati come dati in ingresso per un calcolo successivo. La parte centrale avrebbe dovuto essere costituita dalla e delle funzioni di base dei neuroni, alla logica proposizionale e alla teoria della computabilità di Alan Turing. L' ...
Leggi Tutto
proposizionale
propoṡizionale agg. [der. di proposizione]. – In logica matematica, che si riferisce a proposizioni: calcolo p., il calcolo delle proposizioni (v. proposizione, n. 2); variabile p., variabile che rappresenta una proposizione.
calcolo1
càlcolo1 s. m. [dal lat. calcŭlus, propr. «pietruzza» (cfr. càlcolo2), attrav. il sign. di «gettone per fare i conti»]. – 1. a. Successione più o meno lunga di operazioni atte a fornire la soluzione di un dato problema aritmetico,...