La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] nella legge del terzo escluso porta direttamente a risultati non-costruttivi di esistenza, mediante il metodo di dimostrazioneperassurdo. Ciò fu una delle ragioni della critica costruttivista al platonismo insiemistico che portò allo sviluppo di un ...
Leggi Tutto
reductio ad absurdum
reductio ad absurdum 〈redùkzio ad absùrdum〉 [Locuz. lat. "riduzione all'assurdo"] [FAF] Nella logica, locuz. (anche reductio ad impossibile) equivalente all'it. dimostrazioneper [...] assurdo. ...
Leggi Tutto
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Umberto Bottazzini
Filosofia e pratica matematica
Quando si parla di 'seconda rivoluzione' scientifica si pensa di solito [...] molti matematici, l'ardita teoria cantoriana del transfinito sia solo un esercizio logico.
Le dimostrazioniperassurdo si basano infatti sul principio logico del 'terzo escluso' (tertium non datur). Ne consegue che il concetto stesso di esistenza ...
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 [...] occorrono per giungere ad una dimostrazione, che può essere di tre tipi: rigorosa, positiva, negativa o perassurdo. , pp. 953-964, 966 s., 970, 976, 986; A. Musco, M. F. per segni di sistema, ibid., pp. 751-765; Id., Di F. o del sistema. Appunti sul ...
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 [...] un determinato fine dell'azione.
Un altro tipo di dimostrazione teorizzato da Aristotele è la dimostrazione 'per impossibile', o 'perassurdo', la quale consiste nel dimostrare una tesi assumendo come premessa la tesi a essa contraddittoria ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Filosofia della matematica
Roshdi Rashed
Filosofia della matematica
Gli storici della filosofia islamica dimostrano un interesse molto [...] 'tempo'. Da queste definizioni, infatti, egli deduce alcune proposizioni che dimostra quasi tutte perassurdo: per esempio, come il necessario non possa non esistere; come non possa, per la sua stessa essenza, avere una causa; come la sua necessità ...
Leggi Tutto
La scienza bizantina e latina: la nascita di una scienza europea. L'infinito e l'eternita del mondo
Johannes M.M.H. Thijssen
L'infinito e l'eternità del mondo
La questione dell'infinito si è imposta [...] e nel 1277, ve ne erano molte che riguardavano l'eternità del mondo.
La complessa dimostrazione aristotelica dell'eternità del moto era basata sul seguente ragionamento perassurdo: se il moto o il divenire avessero avuto un inizio assoluto, il primo ...
Leggi Tutto
Affermazione, proposizione, tesi, opinione che, per il suo contenuto o per la forma in cui è espressa, appare contraria all’opinione comune o alla verosimiglianza e riesce perciò sorprendente o incredibile. [...] , si dimostra valida; di questo tipo è, per es., il p. idrostatico; o, al contrario, una dimostrazione che, partendo è regolare e quindi R∈R. Cioè, R∈R→R∉R. Il che è assurdo. P. di Richard Si consideri l’insieme D costituito da tutti i numeri reali ...
Leggi Tutto
ZENONE di Elea
Guido Calogero
Pensatore greco del sec. V a. C. Scolaro di Parmenide, fu uno dei principali rappresentanti della scuola eleatica. Secondo Apollodoro la sua acme cadrebbe tra il 464 e [...] , che, rinnovandosi per ogni altro elemento e per le realtà che li distinguono, conduce all'antinomia della finità e infinità numerica del molteplice. Col medesimo procedimento ideale, del resto, Z. dimostra altrove un'eguale assurda compresenza di ...
Leggi Tutto
Utopia
VValerio Verra
di Valerio Verra
Utopia
sommario: 1. Introduzione: utopia e utopismo. 2. Utopia ed escatologia. 3. Utopia, ideologia, immaginazione sociale. 4. Marxismo e utopia. 5. Utopia, staticità [...] come un complesso di norme rigide e statiche. Anche per Nozick infatti è assurdo pensare che si possa ragionevolmente definire e dettare un a cui è stato necessario limitarsi per ragioni di spazio, dimostrano il persistere a livello teorico della ...
Leggi Tutto
assurdo
agg. e s. m. [dal lat. absurdus, propr. «stonato», der. di surdus «sordo»]. – 1. agg. Che è contrario alla ragione, all’evidenza, al buon senso; che è in sé stesso una contraddizione: un’affermazione, una tesi, una supposizione a.;...
ab absurdo
locuz. lat. (propr. «dall’assurdo»). – Argomentazione ab a.: nella logica classica, argomentazione volta a dimostrare la verità di una proposizione, attraverso gli assurdi che deriverebbero ammettendo la proposizione contraria....