sistema
sistèma [Der. del lat. systema, dal gr. sy´stema "insieme di cose", che è da synístemi "riunire"] [LSF] (a) Oggetto che, pur essendo costituito da più elementi interconnessi e interagenti tra [...] : III 14 c. ◆ [MCC] S. del secondo ordine: v. sistemi dinamici: V 291 f. ◆ [ALG] [FAF] S. di assiomi: insieme degli assiomi di una teoria. ◆ [ELT] [INF] S. di calcolatori: insieme di calcolatori interconnessi tra loro ognuno dei quali può colloquiare ...
Leggi Tutto
definizione
definizióne [Der. del lat. definitio -onis, da definire (→ definito)] [LSF] Il termine, nato nella filosofia naturale (spec. nella matematica) con il signif., che ha tuttora, di "proposizione [...] può parlare del linguaggio usato nel sistema formale cui ci si riferisce; viene usata per individuare gli assiomi e le regole di inferenza del sistema, oppure per abbreviare determinate espressioni ricorrendo a espressioni più semplici appartenenti ...
Leggi Tutto
logico
lògico [agg. (pl.m. -ci) Der. del lat. logicus, dal gr. log✄ikós, a sua volta da lógos "discorso, ragio-namento"] [LSF] Che concerne la logica o che è conforme a essa come retto modo di ragionare. [...] ] Teorema l.: nella logica matematica, è un'espressione del linguaggio simbolico adottato che ha la proprietà di essere deducibile (mediante una sequenza finita di applicazioni delle regole di inferenza) da alcuni degli assiomi o teoremi precedenti. ...
Leggi Tutto
Filosofo (Amsterdam 1632 - L'Aia 1677), di famiglia ebraica emigrata dal Portogallo. Per le sue opinioni apertamente professate e sostenute, contrarie all'ortodossia religiosa, fu scomunicato dalla comunità [...] , l'Ethica, "ordine geometrico", cioè dando al discorso una struttura di tipo euclideo, e quindi procedendo per definizioni, assiomi, dimostrazioni, corollarî, scolî. Centrale il problema della sostanza: sostanza è ciò che è in sé e viene concepito ...
Leggi Tutto
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 [...] neopositivismo una considerazione che è opportuno fare. La costruzione di un sistema di logica induttiva richiede la scelta dei suoi assiomi: e a questo proposito la posizione di Carnap è profondamente mutata nel corso dei suoi ultimi vent'anni di ...
Leggi Tutto
Matematica
Nella logica, ciascuno dei modi con cui può configurarsi il nesso fra soggetto e predicato.
Nella sillogistica aristotelica, i giudizi erano distinti a seconda che il nesso che univa il soggetto [...] nel metalinguaggio a partire dalla m. di necessità e dalla negazione. Nei vari sistemi di logica modale enunciativa gli assiomi e le regole sul simbolo L corrispondono a ipotesi sul significato e sull’uso degli enunciati modali. La semantica dei ...
Leggi Tutto
VITALISMO
Giuseppe Montalenti
Il vitalismo è quella dottrina biologica che, in contrapposto al meccanicismo, afferma l'irriducibilità dei processi vitali a fenomeni fisici e chimici, e li considera [...] termini fisici. A. Meyer va più oltre, e afferma che compito della biologia teorica deve essere quello "di formulare gli assiomi, i principî e le leggi della biologia, in modo tale che le leggi fisiche possano essere dedotte da quelli per successive ...
Leggi Tutto
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 [...] rese conto che la nozione di sequenza di scelta (che compare in un contesto piuttosto diverso nella discussione di Borel sull'assioma di scelta) poteva essere legittimata dal suo punto di vista offrendo tutti i vantaggi di una 'teoria aritmetica' del ...
Leggi Tutto
In filosofia, rapporto immediato e diretto tra soggetto pensante e oggetto; questo rapporto può essere poi inteso come semplice presenza dell’oggetto alla mente o come immedesimazione del soggetto nell’oggetto. [...] della disciplina come sistema puramente formale di simboli, ha visto all’origine degli elementi della matematica (numeri, assiomi, teoremi) un continuo intervento dell’i. concepita come attività della mente che crea e costruisce i costituenti ...
Leggi Tutto
FARDELLA, Michelangelo
Franco Aureluio Meschini
Nacque a Trapani nel 1650, da Iacopo e Brigida (Brigitta) Magliocco, entrambi nobili.
Conclusi a tredici anni gli studia humanitatis, intraprese quelli [...] chiarezza e della distinzione che distingue il vero dal falso; Dio garante di verità, la cui esistenza è nota come gli assiomi dei geometri; l'esistenza dei corpi è evidente), sia per ciò che concerne il mondo fisico (pienezza del mondo, divisibilità ...
Leggi Tutto
assioma
assiòma s. m. [dal lat. tardo axioma -ătis, gr. ἀξίωμα -ατος der. di ἄξιος «degno»] (pl. -i). – Nel linguaggio com., verità o principio che si ammette senza discussione, evidente di per sé. In filosofia, principio certo per immediata...
assiomatica
assiomàtica s. f. [dall’agg. assiomatico]. – 1. In genere, ogni dottrina degli assiomi. In partic., quel ramo delle scienze matematiche in cui si discute dei principî della matematica (in questo senso, però, il termine è sempre...