McTaggart, John Ellis

Enciclopedia on line

Filosofo inglese (Londra 1866 - ivi 1925), uno dei maggiori esponenti del neohegelismo inglese. La sua opera teorica principale è The nature of experience (1º vol. 1921; 2º, post., 1927, a cura di C. D. [...] Broad), in cui, con un procedimento di tipo deduttivo, s'indagano le caratteristiche che qualunque esistente deve, in quanto tale, possedere. L'universo appare a M. come un insieme di sostanze, legate tra loro da un particolare tipo di relazione, ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: DIALETTICA – ESEGESI – LONDRA – HEGEL

Hempel, Carl Gustav

Enciclopedia on line

Filosofo tedesco della scienza (Oranienburg, Berlino, 1905 - Princeton, New Jersey, 1997). Esponente del Circolo di Berlino, di orientamento neopositivistico, ha proposto un'interpretazione liberalizzata [...] unità della scienza, legò il suo nome in particolare alla teoria della spiegazione scientifica, che ravvisa nel modello nomologico-deduttivo, ritenuto valido per tutti i tipi di scienze, dalla fisica alla storia. H. è celebre anche per aver formulato ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: INFERENZA INDUTTIVA – CIRCOLO DI BERLINO – POSITIVISMO LOGICO – EPISTEMOLOGICO – NEW JERSEY

principio

Dizionario delle Scienze Fisiche (1996)

principio princìpio [Der. del lat. principium, da princeps -ipis "primo"] [LSF] [FAF] Enunciato che costituisce la generalizzazione di una vasta evidenza sperimentale e che si assume come vero per ogni [...] ); la sua discendenza dall'evidenza sperimentale lo distingue dal postulato (che è una semplice premessa di un sistema ipotetico-deduttivo) e la sua più vasta portata lo distingue dalla legge, anche se spesso questi termini sono usati, impropr., come ... Leggi Tutto

CATEGORIA: STORIA DELLA FISICA – TEMI GENERALI – EPISTEMOLOGIA – METAFISICA

ipotetico

Dizionario delle Scienze Fisiche (1996)

ipotetico ipotètico [agg. (pl.m. -ci) Der. di ipotesi] [FAF] Che si fonda su un'ipotesi o che si serve della formulazione di un'ipotesi. ◆ [FAF] Giudizio i.: ogni giudizio logico del tipo "se A è, allora [...] logica, ogni sillogismo che sia composto, in tutto o in parte, da giudizi ipotetici. ◆ [FAF] Sistema i.-deduttivo: insieme di nozioni omogenee collegate, costruito formulando una serie di ipotesi (variamente denominate e spesso chiamate assiomi e ... Leggi Tutto

CATEGORIA: STORIA DELLA FISICA – EPISTEMOLOGIA – METAFISICA

assioma

Enciclopedia on line

Filosofia Principio certo per immediata evidenza e costituente la base per l’ulteriore ricerca. Kant, nella Critica della ragion pura, chiama a. dell’intuizione alcuni giudizi a priori, di evidenza immediata, [...] la tendenza al formalismo puro. Secondo questo punto di vista la scienza viene concepita come un sistema ipotetico-deduttivo, basato esclusivamente su un insieme di definizioni implicite formali degli enti fondamentali, cioè su a., che possono essere ... Leggi Tutto

CATEGORIA: LOGICA MATEMATICA – DOTTRINE TEORIE E CONCETTI

TAGS: CRITICA DELLA RAGION PURA – MATEMATICA – INTUIZIONE – INFERENZA – FILOSOFIA

convenzionalismo

Enciclopedia on line

Posizione epistemologica che attribuisce un ruolo fondamentale alla convenzione nell’ambito della scienza. Sostenuto dapprima da J.-H. Poincaré, il quale, dopo la scoperta della geometria non-euclidea, [...] . Si riconosce infatti che, sia pure con opportune limitazioni, le proposizioni iniziali di un sistema ipotetico-deduttivo vengono scelte sulla base di convenzioni e risulta quindi non più utilizzabile l’impostazione tradizionale che riteneva gli ... Leggi Tutto

CATEGORIA: DOTTRINE TEORIE E CONCETTI – EPISTEMOLOGIA

TAGS: NEOPOSITIVISMO LOGICO – EPISTEMOLOGICA – ASSIOMI

sintassi

Enciclopedia della Scienza e della Tecnica (2008)

sintassi Silvio Bozzi Studio delle proprietà di linguaggi e teorie formalizzate visti, nella logica semantica, come sistemi per la costruzione, la classificazione e le trasformazioni di stringhe (o [...] la sua Logische Syntax der Sprache – di fondare un’analisi puramente combinatoria dei sistemi deduttivi visti come sistemi formali. Un sistema deduttivo è, infatti, dato da un alfabeto finitamente specificabile di segni base – ripartiti eventualmente ... Leggi Tutto

CATEGORIA: LOGICA

enunciato

Dizionario delle Scienze Fisiche (1996)

enunciato enunciato [Der. del part. pass. enuntiatus del lat. enuntiare, comp. di ex "fuori" e nuntiare "annunciare" e quindi "annunciare pubblicamente, esternare"] [FAF] [ALG] Secondo la definizione [...] ◆ [FAF] E. protocollari: v. epistemologia: II 436 a. ◆ [ALG] Calcolo degli e., o delle proposizioni: nella logica matematica, sistema deduttivo (costituito da un linguaggio, da un insieme di assiomi e da regole di derivazione) che, oltre ai simb. dei ... Leggi Tutto

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

teoria

Enciclopedia on line

Filosofia Formulazione logicamente coerente di un insieme di definizioni, principi e leggi generali che consente di descrivere, interpretare, classificare, spiegare fenomeni di varia natura. Le domande [...] non euclidee, avvenuta nel 19° sec., il metodo assiomatico classico fu posto in crisi. La concezione moderna di t. deduttiva è fondata sulla negazione di qualsiasi forma di intuibilità e di verità assoluta degli assiomi: questi sono considerati solo ... Leggi Tutto

CATEGORIA: TEMI GENERALI

TAGS: RIVOLUZIONE SCIENTIFICA – ORDINAMENTO PARZIALE – SISTEMA ASSIOMATICO – POSITIVISMO LOGICO – SISTEMA FORMALE

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 [...] distinzione L. fondò una teoria delle relazioni parti-tutto ("mereologia") che successivamente elaborò in un sistema assiomatico deduttivo entro cui poter esprimere il calcolo proposizionale e il calcolo delle classi. Tra le opere: O podstawach ... Leggi Tutto

CATEGORIA: BIOGRAFIE

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