lògica matemàtica

Enciclopedia on line

lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] R, ... Una formula che contenga variabili libere si dice formula aperta, o funzione proposizionale. Si distingue fra logica dei predicati del primo ordine e logica dei predicati del secondo ordine: in quest'ultima sono ammesse anche formule del tipo ... Leggi Tutto

CATEGORIA: LOGICA MATEMATICA

TAGS: TEORIA DELLA DIMOSTRAZIONE – TEORIA DELLE CATEGORIE – TEOREMA DI COMPATTEZZA – TEORIA DEGLI INSIEMI – INFORMATICA TEORICA

Logica e processi cognitivi

Enciclopedia Italiana - VII Appendice (2007)

Logica e processi cognitivi Carlo Cellucci Sarebbe difficile comprendere l'attuale stato dei rapporti tra l. e p. c. senza riferirsi a tre fattori che li hanno influenzati profondamente. Il primo fattore [...] sia il risultato congiunto del dato dello stimolo sensoriale e di inferenze implica che l'inferenza logica non deve essere ristretta all'inferenza proposizionale, ma deve essere generalizzata in modo da ammettere anche inferenze le cui premesse e la ... Leggi Tutto

CATEGORIA: LOGICA

TAGS: RAGIONAMENTO DEDUTTIVO – SCIENZIATI COGNITIVI – MACCHINA DI TURING – LOGICA MATEMATICA – METONIMIA

proposizionale, calcolo

Dizionario di filosofia (2009)

proposizionale, calcolo Locuz. che designa il calcolo logico in cui l’analisi delle inferenze viene condotta a livello delle proposizioni (e dei loro nessi logici) senza indagare la struttura interna [...] : P1,…,Pn che stanno per proposizioni semplici del linguaggio; simboli per i connettivi logici proposizionali: ¬, →, ↔, ⋀, ⋁; simboli ausiliari: parentesi tonde, virgole, ecc.) e dall’insieme delle formule ben formate (costituito dalle lettere ... Leggi Tutto

TAGS: LINGUAGGIO FORMALE – SISTEMA FORMALE – MODUS PONENS

proposizionale

Dizionario delle Scienze Fisiche (1996)

proposizionale proposizionale [agg. Der. di proposizione] [ALG] [FAF] Algebra p., o calcolo p.: nella logica matematica, lo stesso che algebra delle proposizioni: → proposizione. ◆ [ALG] [FAF] Leggi [...] p.: quelle relative alla logica p.: → proposizione. ◆ [ALG] [FAF] Logica p.: v. logica: III 483 b. ◆ [ALG] [FAF] Variabile p.: nella logica matematica, ogni variabile che rappresenti una proposizione. ... Leggi Tutto

CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA

filosofia analitica

Enciclopedia on line

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

CATEGORIA: FILOSOFIA DEL LINGUAGGIO – TEMI GENERALI

TAGS: PRINCIPIO DI VERIFICAZIONE – FILOSOFIA DEL LINGUAGGIO – ENUNCIATI PERFORMATIVI – FILOSOFIA DELLA MENTE – INFERENZA INDUTTIVA

Russell, Bertrand Arthur William, conte

Enciclopedia on line

Filosofo e logico britannico (Trelleck, Galles, 1872 - Pernhyndeudraeth 1970). Tentò di risolvere i paradossi da lui stesso individuati nei progetti di fondazione logica dell'aritmetica, ed elaborò - risentendo [...] fondamenti della matematica. Particolarmente fortunata la sua teoria dei tipi, per cui ogni funzione proposizionale e ogni classe viene considerata di tipo logicamente più elevato di quello in cui rientrano i loro elementi. R. presentava nelle sue ... Leggi Tutto

CATEGORIA: BIOGRAFIE – STORIA DELLA MATEMATICA – STORIA E FILOSOFIA DEL DIRITTO – FILOSOFIA DELLA STORIA – STORIA DEL PENSIERO FILOSOFICO

TAGS: FONDAMENTI DELLA MATEMATICA – FILOSOFIA DELLA MATEMATICA – FILOSOFIA DEL LINGUAGGIO – OBIEZIONE DI COSCIENZA – LOGICA MATEMATICA

Leśniewski, Stanisław

Enciclopedia on line

Logico e filosofo polacco (Serpuchov, Mosca, 1886 - Varsavia 1939), dal 1919 prof. di filosofia della matematica all'univ. di Varsavia. Allievo di K. Twardowski, fu (con A. Tarski e J. Łukasiewicz) tra [...] i maggiori esponenti della Scuola logica polacca. Cercò di ovviare alle difficoltà della fondazione insiemistica della in un sistema assiomatico deduttivo entro cui poter esprimere il calcolo proposizionale e il calcolo delle classi. Tra le opere: O ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: FILOSOFIA DELLA MATEMATICA – CALCOLO PROPOSIZIONALE – PARADOSSO DI RUSSELL – SISTEMA ASSIOMATICO – INSIEMISTICA

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 [...] o. descrittivi e quelli del terzo o. di astrazione. Forma enunciativa (o funzione proposizionale o enunciato aperto) è un’espressione del linguaggio della logica dei predicati contenente qualche variabile individuale libera; tali sono, per es., le ... Leggi Tutto

CATEGORIA: ANTROPOLOGIA FISICA – GENETICA – MESTIERI E PROFESSIONI – FISICA MATEMATICA – MECCANICA QUANTISTICA – ANALISI MATEMATICA – LOGICA MATEMATICA – FILOSOFIA DEL LINGUAGGIO – METAFISICA

TAGS: QUANTIFICATORE ESISTENZIALE – GEOMETRIA DIFFERENZIALE – MECCANICA QUANTISTICA – SISTEMI DIFFERENZIALI – ANELLO DEI POLINOMI

Informatica

Enciclopedia Italiana - VI Appendice (2000)

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

CATEGORIA: TEMI GENERALI

TAGS: AUTORITÀ PER L'INFORMATICA NELLA PUBBLICA AMMINISTRAZIONE – ACCESSO ABUSIVO A UN SISTEMA INFORMATICO O TELEMATICO – TECNOLOGIE DELL'INFORMAZIONE E DELLA COMUNICAZIONE – PRINCIPIO DI INDETERMINAZIONE DI HEISENBERG – ESERCIZIO ARBITRARIO DELLE PROPRIE RAGIONI

MENTE

Enciclopedia Italiana - V Appendice (1993)

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 [...] ''desidera che...'', ''spera che...'', ecc., la chiarificazione logica di tali forme linguistiche (correntemente note come propositional attitudes, "atteggiamenti proposizionali", fortunata espressione coniata da Russell) doveva dimostrarsi altamente ... Leggi Tutto

TAGS: MASSACHUSETTS INSTITUTE OF TECHNOLOGY – PRINCIPIO D'INDETERMINAZIONE – ATTEGGIAMENTI PROPOSIZIONALI – FATTORE DI CRESCITA NERVOSO – SISTEMA NERVOSO PERIFERICO