Cerca in:
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
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
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
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
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
Comunicazione
Enciclopedia Italiana - VII Appendice (2006)
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
Comunicazione
Enciclopedia Italiana - VII Appendice (2006)
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
Etica
Enciclopedia del Novecento (1977)
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 [...] Però, dentro questo atteggiamento che, nella critica proposizionale movente da Moore, scade facilmente nell'ovvio o tr. it., p. 115). L'enigma della vita non può essere sciolto logicamente: ‟È chiaro che l'etica non può formularsi" perché ‟l'etica è ...
Leggi Tutto
CATEGORIA:
ETICA E MORALE
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] di base, e conteneva un sistema completo per il calcolo proposizionale e dei predicati del primo ordine. Questi divennero contributi permanenti per la logica moderna, benché in un simbolismo differente da quello proposto da Frege, il quale usava ...
Leggi Tutto
scienza cognitiva
Enciclopedia on line
scienza cognitiva L’insieme delle discipline (intelligenza artificiale, psicologia cognitiva, linguistica, psicolinguistica, filosofia della mente e del linguaggio, neuroscienze, antropologia), che hanno [...] flessibile e insieme più complesso di quanto non lasci supporre la logica classica.
In tale prospettiva si colloca una vasta serie di il ricorso a informazioni prive di rappresentazione proposizionale, ma anche l’elaborazione di sofisticati modelli ...
Leggi Tutto