Beattie, James
Enciclopedia on line
Filosofo e poeta scozzese (Laurencekirk, Scozia, 1735 - Aberdeen 1803). Professore di filosofia morale e logica nell'univ. di Aberdeen, fu tra le figure più rappresentative della cultura scozzese del 18º [...] secolo. Sostenitore, con Reid, della filosofia del senso comune, nella sua opera maggiore, Essay on the nature and immutability of truth (1770), affermava contro lo scetticismo di Hume la capacità della ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
refutabile
Dizionario delle Scienze Fisiche (1996)
refutabile
refutàbile [Der. del lat. refutabilis "confutabile", da refutare "respingere, confutare"] [ALG] [FAF] Nella logica matematica, di un enunciato del quale, in un dato insieme formale, sia dimostrabile [...] la negazione ...
Leggi Tutto
predicativo
Dizionario delle Scienze Fisiche (1996)
predicativo
predicativo [agg. Der. di predicato "relativo a predicati"] [ALG] [FAF] Espressione p.: nella logica matematica, ogni espressione F che sia coerente con sé stessa; in simb., Pred (F)↔F(F) [...] (si parla di espressione impredicativa nel caso contrario); per es., l'aggettivo "astratto" è p. (mentre "concreto" è impredicativo) ...
Leggi Tutto
metalinguaggio
Dizionario delle Scienze Fisiche (1996)
metalinguaggio
metalinguàggio [Comp. di meta- e linguaggio] [FAF] [INF] (a) Termine introdotto inizialmente nella logica matematica (sul modello di metamatematica) e poi esteso per indicare in generale [...] un sistema di simboli costituente un linguaggio atto alla descrizione di determinati procedimenti. (b) In termini molto generici, linguaggio convenzionale ...
Leggi Tutto
Carnap, Rudolf
Enciclopedia on line
Filosofo tedesco (Ronsdorf, Wuppertal, 1891 - Santa Mon ica, California, 1970). Dal 1909 al 1914 studiò matematica e fisica a Friburgo e Jena, dove seguì le lezioni di logica di G. Frege. Nel 1921 conseguì [...] C., abbandonata la pretesa di ridurre il linguaggio ad un'unica forma privilegiata, affermava la molteplicità di strutture logiche in grado di rendere conto degli universi di discorso delle scienze empiriche, rimettendo la scelta tra le varie forme ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
autoreferènza
Dizionario delle Scienze Fisiche (1996)
autoreferenza
autoreferènza [Der. dell'ingl. self-reference "riferimento a sé stesso"] [ALG] [FAF] Nella logica matematica, il carattere riflessivo degli enunciati che affermano qualcosa su sé stessi [...] o il cui contenuto implica un riferimento a sé stessi; tale caratteristica, in quanto si presenta in enunciati che coinvolgono i concetti di verità, di significato, di definizione, di classe o di insieme, ...
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 [...] nozioni sono fondamentali per tutta la matematica e, a seconda del punto di vista, possono essere considerate di natura insiemistica o logica. Con l'opera di Cantor, Dedekind e Giuseppe Peano (1858-1932), verso la fine del XIX sec. risultò chiaro che ...
Leggi Tutto
V
Dizionario delle Scienze Fisiche (1996)
V
V 〈vu, meno comunem. vi〉 [Forma maiusc. della lettera v] [ALG] [FAF] Nella logica matematica, simb. del valore vero, in contrapp. a F, falso. ◆ [CHF] Simb. dell'elemento chimico vanadio. ◆ [MTR] [EMG] [...] Simb. di volt. ◆ [ALG] Vcn: simb. di uno spazio vettoriale di dimensione n sul campo c. ◆ [FSD] Vk è il simb. di un centro di colore: v. centri di colore: I 554 e. ◆ [STF] [FSP] V2: sigla del ted. Vergeltungswaffe-2 ...
Leggi Tutto
realizzazione
Dizionario delle Scienze Fisiche (1996)
realizzazione
realizzazióne [Atto ed effetto del realizzare "rendere reale, fare", da reale] [ALG] [FAF] Nella logica matematica è, talvolta sinon. di modello. ◆ [ELT] Nella teoria dei sistemi, la determinazione [...] suo assegnato comportamento esterno: v. sistemi, teoria dei: V 321 e. ◆ [ALG] [FAF] R. di una teoria formale: nella logica matematica, l'interpretare i concetti indeterminati di una teoria su concetti specifici di una struttura in modo tale che tutti ...
Leggi Tutto
etica
Enciclopedia on line
In senso ampio, quel ramo della filosofia che si occupa di qualsiasi forma di comportamento (gr. ἦθος) umano, politico, giuridico o morale; in senso stretto, invece, l’e. va distinta sia dalla politica [...] in difesa di determinati valori, e come metaetica una filosofia con pretese esclusivamente teoretiche e conoscitive, rivolta a ricostruire la logica e il significato delle nozioni in uso nella morale.
L’e. nel mondo greco
Alle origini dell’e. greca ...
Leggi Tutto