Filosofia
Rapporto per il quale una conclusione deriva da una o più premesse. Nella storia della filosofia si distinguono tre principali interpretazioni di tale rapporto. Secondo la prima, esso è fondato [...] sensibile che gli oggetti presentano: questo il punto di vista degli stoici, per i quali il fondamento del rapporto deduttivo è il fatto sensibile, cioè l’evidenza della rappresentazione catalettica; su questa linea, in epoca moderna, J. Locke fonda ...
Leggi Tutto
Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la m. pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla [...] particolari alla m. orientale, ma è espresso solo dai Greci come proposizione generale; b) il carattere razionale, deduttivo, logico del procedimento matematico; c) la rapida e sistematica conquista di risultati nuovi e la conseguente fondazione di ...
Leggi Tutto
euclideo
euclidèo [agg. Der. di Euclide] [ALG] [FAF] Qualifica di ente matematico o di sistema ipotetico-deduttivo che soddisfi i postulati di Euclide. ◆ [ALG] Algoritmo e. delle divisioni successive: [...] procedimento per calcolare il massimo comun divisore di due numeri, e anche di due polinomi, attraverso un numero finito di operazioni di divisione: → algoritmo. ◆ [ALG] Connessione e.: v. connessione: ...
Leggi Tutto
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] le prospettive rimane il concetto di teoria, che costituisce sotto il duplice aspetto di calcolo logico e di teoria deduttiva l’oggetto fondamentale d’indagine.
Come disciplina in sé, la logica matematica non pone vincoli ai metodi impiegati. È ...
Leggi Tutto
Linguistica
Forme o parole postulate Quelle forme o parole antiche, di solito contrassegnate con asterisco, che non sono documentate in alcun testo, ma di cui viene ragionevolmente supposta l’esistenza [...] all’interlocutore di assumere, come fondamento di una dimostrazione o di una teoria (in generale, di un sistema deduttivo). È termine in uso soprattutto nella matematica, mentre in fisica e nelle scienze applicate le proposizioni che hanno carattere ...
Leggi Tutto
Filosofo e scienziato (Rochlitz, Sassonia, 1673 - Lipsia 1731); fu medico e prof. di filosofia nelle univ. di Halle e di Lipsia. Interessato al raffinamento dei metodi logici, sviluppò la sillogistica, [...] pur sottolineando (in contrapposizione a C. Wolff) la necessità di un procedere deduttivo da fatti a fatti, non da principî astratti a conclusioni possibili. Distinse il metodo filosofico da quello matematico, analitico il primo, sintetico il secondo ...
Leggi Tutto
In senso ampio e generico, ramo della matematica che studia lo spazio e le figure spaziali.
Cenni storiciL’antichità
- L’origine della g. è legata a concreti problemi di misurazione del terreno (nacque [...] retta passa una e una sola parallela a una retta data; fig. 2). Tale g. è in altre parole un sistema ipotetico-deduttivo costruito in base ai postulati della g. euclidea a esclusione del 5°. Naturalmente non esiste un’immagine concreta della g. non ...
Leggi Tutto
Matematico e filologo (Stettino 1809 - ivi 1877). Insegnò per un biennio alla Gewerbeschule di Berlino, e dal 1836 nelle scuole medie di Stettino. Il suo nome è legato particolarmente agli studî matematici. [...] geometria; è famosa la sua Ausdehnungslehre (2a ed. 1862), ove impostò per primo la geometria iperspaziale come sistema ipotetico-deduttivo e dette inizio alla teoria delle algebre e al calcolo vettoriale e tensoriale. In particolare si devono a lui ...
Leggi Tutto
Matematico (Breslavia 1843 - Homburg 1930). Studiò a Berlino, dove risentì l'influsso di K. Weierstrass e di L. Kronecker; fu prof. nell'univ. di Giessen; si occupò dapprima di problemi algebrico-geometrici [...] essenziali. Nelle sue Vorlesungen über neuere Geometrie (1882) appare, per la prima volta, la piena consapevolezza della struttura logica di un sistema ipotetico-deduttivo, così che P. può essere considerato il fondatore dell'assiomatica moderna. ...
Leggi Tutto
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
deduttivo
agg. [dal lat. tardo deductivus, der. di deducĕre «dedurre»]. – Che riguarda la deduzione (come procedimento logico): metodo d., quello che procede per deduzione, usando cioè soltanto il ragionamento senza far ricorso all’esperienza...
sistema
sistèma s. m. [dal lat. tardo systema, gr. σύστημα, propr. «riunione, complesso» (da cui varî sign. estens.), der. di συνίστημι «porre insieme, riunire»] (pl. -i). – 1. Nell’ambito scientifico, qualsiasi oggetto di studio che, pur...