logica
Enciclopedia on line
Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] gli assiomi sono in sé privi di riferimenti ad ambiti particolari di esperienza, e quindi non ha senso considerare un sistema formale ‘più vero’ di un altro; ma in quanto la matematica trova diretto fondamento in una intuizione-base, comune a tutti ...
Leggi Tutto
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, [...] ; si parla invece di a. quando si introduce, per comodità di ragionamento e per maggiore generalità di risultati, un sistema formale di proprietà definitorie nella trattazione di problemi relativi a enti o a espressioni che non hanno di per sé ...
Leggi Tutto
dimostrazione
Enciclopedia on line
Filosofia
Processo logico-discorsivo (dal gr. apodissi) in virtù del quale si arriva a garantire la validità di un enunciato.
La nozione di d. venne introdotta da Aristotele che la definì come quella forma [...] , inerenti alle forme stesse della intuizione.
In logica matematica, una successione finita di espressioni A1,..., An di un linguaggio L di un sistema formale T si dice d. di un’espressione A di L se: a) ogni espressione Ai compresa tra A1 e An o è ...
Leggi Tutto
Ramsey, Frank Plumpton
Enciclopedia on line
Filosofo e logico inglese (Cambridge 1903 - ivi 1930). Prof. all'università di Cambridge, conosciuto soprattutto per la sua analisi critica dei Principia mathematica di B. Russell e A. N. Whitehead, R. [...] l'eliminazione dei termini teorici dagli enunciati delle teorie scientifiche, consistente nel sostituire negli assiomi del sistema formale in cui è espressa la teoria tutte le costanti designanti entità teoriche con opportune variabili e applicando ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
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 [...] in alcuni settori o aspetti della realtà. Si parla di t. formalizzata in senso stretto o anche di formalismo o di sistema formale quando T è costituita solamente dal suo linguaggio, dal suo apparato deduttivo e dai teoremi in essa dimostrabili ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
definizione
Enciclopedia on line
Filosofia
L’analisi e la determinazione del contenuto di un concetto, espresse in un giudizio in cui il soggetto è il concetto da definire e il predicato è costituito dal complesso dei termini che nel [...] può essere fatto in un dato campo di indagine.
Fisica
La d. formale (o relazione di d.) di una grandezza è un’equazione che implicita, quando si costruisce una teoria matematica come sistema ipotetico-deduttivo, rappresenta lo studio di un insieme ...
Leggi Tutto
EPISTEMOLOGIA
Enciclopedia Italiana - IV Appendice (1978)
. Assumendo la parola "epistemologia" nel senso di "riflessione critica generale intorno alla conoscenza scientifica", il presente tentativo di sintesi problematica delle acquisizioni epistemologiche post-ottocentesche [...] , privi di qualsiasi portata fattuale, è possibile assimilare le teorie scientifiche a semplici calcoli o sistemi assiomatici formali, stabiliti mediante il sottolinguaggio teorico. L'interpretazione empirica dei termini di questo ha luogo enunciando ...
Leggi Tutto
Scienza greco-romana. Scienza e forme di sapere in Platone
Storia della Scienza (2001)
Scienza greco-romana. Scienza e forme di sapere in Platone
Luc Brisson
Scienza e forme di sapere in Platone
L'atteggiamento di Platone nei confronti del sapere relativo al mondo sensibile è oggetto [...] del movimento. Il dominio della diánoia, specie nella Repubblica, equivale a quello della deduzione, assimilato a un sistema formale nel quale, a partire da proposizioni considerate valide a priori, si cerca di dedurre un insieme di proposizioni ...
Leggi Tutto
teorema
Dizionario delle Scienze Fisiche (1996)
teorema
teorèma [Der. del lat. theorema, dal gr. theórema "ricerca, meditazione"] [FAF] (a) Nelle scienze deduttive (tipic., nella matematica), ogni enunciato che può essere dedotto logicamente dagli [...] organico di enunciati nel quale si può, in generale, cominciare con alcuni o con altri enunciati. (b) In un sistema formale, l'ultima formula di una dimostrazione (detta anche enunciato dimostrabile), cioè l'ultima di una sequenza finita di formule ...
Leggi Tutto
CATEGORIA:
FISICA NUCLEARE
–
MECCANICA QUANTISTICA
–
STORIA DELLA FISICA
–
TERMODINAMICA E TERMOLOGIA
–
EPISTEMOLOGIA
–
METAFISICA
–
ELETTRONICA
NEOPOSITIVISMO
Enciclopedia Italiana - IV Appendice (1979)
NEOPOSITIVISMO (App. III, 11, p. 235)
Paolo Filiasi Carcano
R. Carnap e l'eredità del positivismo logico. - Il n. nel senso stretto della parola (come, cioè, quel movimento di logica e filosofia della [...] 1973; J. Hintikka, Logic, language games and information, Oxford 1973 (trad. it., Milano 1975); Autori vari, Linguaggio e sistemi formali, a cura di A. De Palma, Torino 1974; P. Strawson, Subjet and predicate in logical grammar, Londra 1974; Autori ...
Leggi Tutto