Cerca in:
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] con la validità intuizionista intuitiva.
Da osservazioni di Georg Kreisel nel 1958 si può dedurre che, per la logica proposizionale, la validità in un modello di Beth è equivalente alla validità intuitiva.
Beth e Kripke dimostrarono la completezza ...
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
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
giudizio
Enciclopedia on line
Diritto
Attività logica del giudice, consistente nell’applicare le norme di legge al fatto da lui accertato. In senso più ampio, tutta l’attività che si svolge dinanzi all’autorità giudiziaria per giungere [...] Frege e A. Meinong. Nell’ambito della sua teoria del significato Frege ha distinto tra il contenuto concettuale (o proposizionale) di un enunciato (il Gedanke), esprimibile linguisticamente da un enunciato interrogativo, e l’atto del g., che equivale ...
Leggi Tutto
Scienza greco-romana. Epistemologia e teorie della Natura nell'età ellenistica
Storia della Scienza (2001)
Scienza greco-romana. Epistemologia e teorie della Natura nell'eta ellenistica
David Sedley
Epistemologia e teorie della Natura nell'età ellenistica
La filosofia ellenistica
Nel IV sec. a.C. Aristotele [...] la ‘verità’ in questione è rappresentativa e non proposizionale.
Tutte le sensazioni sono spiegate con l’intervento esterno Gli stoici limitavano così i segni a dei fatti evidenti, logicamente connessi ai loro significati in modo tale che un mondo in ...
Leggi Tutto
CATEGORIA:
STORIA DEL PENSIERO FILOSOFICO
Neopositivismo
Enciclopedia del Novecento (1979)
Neopositivismo
FFrancesco Barone
di Francesco Barone
Neopositivismo
sommario: 1. Cenni storici. 2. Fonti e precedenti del neopositivismo. 3. Prima fase del neopositivismo: analisi logica del linguaggio [...] di suscitare un ampio interesse attorno ai problemi logici del discorso morale e di favorire quindi gli è vera solo nel caso dei primi tre stati indicati (secondo il calcolo proposizionale), mentre p compare solo in due di essi, la probabilità di p ...
Leggi Tutto
Credenze e culti
Enciclopedia delle scienze sociali (1992)
Credenze e culti
Valerio Valeri
Introduzione
'Credenza' è un termine notoriamente ambiguo, ma i principali significati elencati dai dizionari possono essere ricondotti a due gruppi generali. Da un lato, [...] la centralità che la credenza (nella sua dimensione intellettuale, proposizionale) ha assunto nella tradizione religiosa occidentale ci fa correre definisce non in base a un contenuto o a una logica specifici, ma alla relazione che esiste tra essi e ...
Leggi Tutto
La scienza bizantina e latina: la nascita di una scienza europea. L'infinito e l'eternità del mondo
Storia della Scienza (2001)
La scienza bizantina e latina: la nascita di una scienza europea. L'infinito e l'eternita del mondo
Johannes M.M.H. Thijssen
L'infinito e l'eternità del mondo
La questione dell'infinito si è imposta [...]
Per quanto riguarda il contesto storico nel quale fu elaborata la 'logica dell'infinito', gli studiosi hanno attribuito a diverse cause il diffondersi dell'analisi proposizionale nella filosofia della Natura (Murdoch 1981b, 1982b). Tra queste vi era ...
Leggi Tutto