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
Scienza greco-romana. Aristotele
Enrico Berti
Aristotele
Il ritorno al naturalismo presocratico nelle opere perdute
L'originalità di Aristotele rispetto a Platone nel modo di concepire quell'indagine [...] che poi sarebbe stata codificata da Euclide (già esistente al tempo di Aristotele), con le sue premesse (definizioni, assiomi, postulati), le sue dimostrazioni e le sue conclusioni (i teoremi).
Le dimostrazioni, cioè le deduzioni scientifiche, per ...
Leggi Tutto
scienza Insieme delle discipline fondate essenzialmente sull’osservazione, l’esperienza, il calcolo, o che hanno per oggetto la natura e gli esseri viventi, e che si avvalgono di linguaggi formalizzati.
In [...] annoverati L. Boltzmann, N.R. Campbell, H. Poincaré, con il suo accento sulla natura convenzionale degli assiomi geometrici e sul ruolo determinante delle formulazioni ‘linguistiche’ delle teorie.
La serrata critica alle concezioni ‘induttivistiche ...
Leggi Tutto
Procedimento logico, mediante il quale si passa dalla considerazione di casi particolari a una conclusione universale.
Nel linguaggio scientifico, in genere, modificazione che determinate proprietà di [...] sopra non è più possibile; si è quindi costretti ad assumere le definizioni ricorsive, o almeno alcune di esse, quali assiomi. Mentre il principio di i. completa è generalmente accettato dai matematici per i numeri interi (sia pure come un postulato ...
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...