Razionalità
Antonio Rainone
Claudio Sardoni
Filosofia
di Antonio Rainone
È quasi un luogo comune la constatazione che la r. e i problemi a essa connessi costituiscano temi eterni della ricerca filosofica. [...] va sottolineato che, nonostante l'enfasi che Davidson attribuisce alla teoria della decisione (parallela a quella posta sulla logicaproposizionale), il modello di r. pratica che difende appare in ultima analisi più vicino a quello che si chiamerebbe ...
Leggi Tutto
verita
verità [Der. del lat. veritas -atis, da verus "vero"] Tavola di v.: (a) [FTC] Modello, costituito dall'elenco di tutti i possibili stati di un sistema, per studiare l'affidabilità di esso: v. [...] proposizioni semplici che compaiono nella funzione: v. logica: III 483 d; analogamente per una funzione booleana: v. circuiti logici: I 619 b. ◆ [FAF] [ALG] Funzione di v.: nella logicaproposizionale, v. logica: III 483 e. ◆ [ALG] [ELT] [FAF] Valori ...
Leggi Tutto
logicalò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 [...] calcolatore, consentendo di cambiarne l'architettura senza modificarne la struttura. ◆ [FAF] L. proposizionale o enunciativa: si occupa dello studio dei connettivi logici che si premettono o si interpongono tra enunciati, senza analizzare all'interno ...
Leggi Tutto
Orientamento di pensiero sviluppatosi soprattutto in Inghilterra dagli inizi del 20° sec., e volto prevalentemente allo studio del linguaggio nei suoi vari aspetti (scientifici, quotidiani, etici, logici [...] i risultati e i problemi delle ricerche sia di Frege sia di Russell, oltre all’introduzione di tecniche logiche originali (calcolo proposizionale con metodo delle matrici), pone l’esigenza di giungere a formulare una filosofia del linguaggio in cui ...
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, [...] anni Settanta) e delle algebre di processi (introdotte da R. Milner nello stesso periodo).
Le logiche temporali sono logiche modali (di tipo proposizionale o predicativo) i cui operatori fondamentali esprimono la validità di un'asserzione p da un ...
Leggi Tutto
Filosofia e semiotica
di Stefano Gensini
La nozione di comunicazione (dal lat. tardo e medievale communicatio, l'atto di mettere in comune con altri, di trasmettere a) ha un'ampia nel dibattito filosofico-linguistico [...] nel contenuto proposizionale), 'dichiarativi' (finalizzati a sostenere la corrispondenza fra contenuto proposizionale e senso dei parlanti: le loro 'presupposizioni' (approfondite in chiave logica da R. Stalnaker e in chiave linguistica da O. Ducrot ...
Leggi Tutto
Filosofia e semiotica
di Stefano Gensini
La nozione di comunicazione (dal lat. tardo e medievale communicatio, l'atto di mettere in comune con altri, di trasmettere a) ha un'ampia nel dibattito filosofico-linguistico [...] nel contenuto proposizionale), 'dichiarativi' (finalizzati a sostenere la corrispondenza fra contenuto proposizionale e senso dei parlanti: le loro 'presupposizioni' (approfondite in chiave logica da R. Stalnaker e in chiave linguistica da O. Ducrot ...
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 [...] a coloro che adottano un approccio innatista della lingua.
La semantica proposizionale è stata principalmente dominio di filosofi del linguaggio interessati al rapporto tra la logica sotto stante la lingua naturale e la gamma dei possibili sistemi ...
Leggi Tutto
Neuropsicologia del linguaggio
Gianfranco Denes
(Divisione di Neurologia, Ospedale Civile di Venezia SS. Giovanni e Paolo, Venezia, Italia)
Lo scopo di questo saggio è di illustrare il contributo fornito [...] stimoli che richiedono o ammettono un'analisi linguistico-proposizionale sono elaborati nell' emisfero sinistro, mentre gli si basano sul metodo della sottrazione, che adotta la logica seguente: l'attività metabolica di una zona anatomica 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, [...] drawing è realizzabile. Per chi non ha familiarità 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 ...
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,...