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 [...] e i problemi delle ricerche sia di Frege sia di Russell, oltre all’introduzione di tecniche logiche originali (calcoloproposizionale con metodo delle matrici), pone l’esigenza di giungere a formulare una filosofia del linguaggio in cui vengano a ...
Leggi Tutto
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. [...] essere razionale, tali principi identificandosi in buona misura con la logica proposizionale: "la questione se una creatura 'sottoscrive' […] la logica del calcoloproposizionale [...] non è una questione empirica. […] Gli agenti non possono decidere ...
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, [...] , che sia soddisfacibile se e solo se il line drawing è realizzabile. Per chi non ha familiarità con il calcoloproposizionale, conviene ricordare che una proposizione booleana è costruita a partire da un certo numero di variabili logiche Xl, ... Xn ...
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
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
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 [...] cablata, che permette la registrazione di programmi nella memoria di un calcolatore, consentendo di cambiarne l'architettura senza modificarne la struttura. ◆ [FAF] L. proposizionale o enunciativa: si occupa dello studio dei connettivi logici che si ...
Leggi Tutto
Metodo e tecniche nelle scienze sociali
Giancarlo Gasperoni
Alberto Marradi
Metodo
di Alberto Marradi
Il termine 'metodo' è di origine greca, ed è formato dal sostantivo ὁδόϚ (strada) e dalla preposizione [...] leggibili, usando scanners ottici). Se il ricorso al calcolatore facilita la rilevazione e la successiva analisi - ed dei testi: analisi automatica del discorso, analisi proposizionale del discorso, analisi dei modi dell'argomentazione, analisi ...
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,...