Per i matematici ha sempre il significato preciso di contraddizione logica. Riduzione all'assurdo è quel metodo di dimostrazione in cui si stabilisce una proposizione a, facendo vedere che dall'assumere [...] come ipoteticamente vera la proposizione contraddittoria non-a, si deduce una contraddizione.
Di questo metodo fa uso frequentissimo Euclide nei suoi Elementi, fin dal 1° libro. Critici come il Houel, Essai critique sur les Principes fondamentaux de ...
Leggi Tutto
non contraddittorieta
non contraddittorietà espressione equivalente a → coerenza. Un sistema formale S si dice non contraddittorio se in esso non è possibile dedurre logicamente una contraddizione. In [...] classica non deve essere possibile dedurre sia la proposizione A sia la sua negazione ￢A. Un esempio di contraddizione è appunto la proposizione «A e non A» espressa simbolicamente dalla formula A ∧ ￢A (→ congiunzione; → negazione). Un importante ...
Leggi Tutto
violazione
violazióne [Der. del lat. violatio -onis "atto ed effetto del violare", da violare, con tema da vis "violenza"] [LSF] L'essere in contraddizione con ciò che è prescritto o deriva da una legge, [...] un principio, una formula. ◆ [FSN] V. della coniugazione di carica, o v. di C: la v. dell'invarianza rispetto alla coniugazione di carica. ◆ [FSN] V. della parità, o v. di P: la v. dell'invarianza rispetto ...
Leggi Tutto
social business
loc. s.le m. inv. Modello d’impresa che si propone come finalità principale la diffusione del benessere nella società.
• «Sembra una contraddizione, perché il sistema capitalistico ci [...] ha parlato finora di un unico tipo di impresa, che è l’impresa orientata al profitto. Ciò che io sto cercando di fare è attribuire un nuovo significato alla parola “business”: una impresa volta a fare ...
Leggi Tutto
translatore
Andrea Mariani
Sostantivo, che vale " traduttore "; unica occorrenza in Cv II XIV 7 Credo che fosse lo errore de li translatori.
Avendo D. trovato una contraddizione di Aristotele per quanto [...] riguarda la natura della Galassia, ne attribuisce la colpa non all'autore, ma a un errore dei traduttori, sulla cui identità cfr. la nota di Busnelli-Vandelli.
Il termine, insieme con il verbo e il ‛ nomen ...
Leggi Tutto
Dicesi antinomia la coesistenza di due leggi fra di loro contraddittorie e riferentisi ad un unico oggetto. Basandosi sul principio di contraddizione, l'esistenza dell'antinomia prova o che l'oggetto delle [...] e allo spazio in un mondo sovrasensibile.
Diversa è la situazione per le altre due antinomie. In esse infatti la contraddizione sussiste solo se l'essere libero e l'essere necessario si vogliano concepire tutti e due come esseri fenomenici; ma nulla ...
Leggi Tutto
paradosso
paradosso (dal greco pará, «oltre, contro», e dóxa, «opinione») termine applicato, nella sua accezione più ampia, a qualsiasi affermazione o ragionamento che contrasti con l’opinione comune [...] lui sbagliano. Da ciò deriva che dopo l’anno n + 1-esimo ci sarà almeno un filosofo che non sbaglia. Ma ciò è in contraddizione con quanto è stato detto dal filosofo Fn. Se invece si suppone che il filosofo Fn non dica la verità, allora vuol dire che ...
Leggi Tutto
Poeta persiano del sec. IV dell'ègira (X-XI d. C.). I dati biografici, abbondanti nella tradizione storico-letteraria persiana, sono spesso in contraddizione fra loro e con le notizie ricavabili dall'opera [...] stessa del poeta, che resta la principale e più sicura, per quanto magra fonte della sua vita. Lo stesso vero nome non è sicuro (Manṣūr? Aḥmad?), certo è invece il patronimico Abū l-Qāsim; Firdūsī (Firdawsī) ...
Leggi Tutto
reductio ad absurdum
reductio ad absurdum (lat., «riduzione all’assurdo») tecnica dimostrativa, detta anche dimostrazione per assurdo, usata spesso in matematica; essa consiste nel dimostrare la validità [...] considerare a1/2 il quale è ancora un numero razionale compreso fra 0 e 1 ed è minore di a1, ma ciò è in contraddizione con quanto affermato al punto 2. Quindi la premessa iniziale, cioè che i numeri razionali compresi fra 0 e 1 siano finiti, porta a ...
Leggi Tutto
Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] , o si è in grado di ottenere una costruzione di quella proposizione o si è in grado di ottenere una contraddizione dall’ipotesi di avere una costruzione di quella proposizione. Analogamente, dal punto di vista intuizionista non può essere accettato ...
Leggi Tutto
contraddizione
contraddizióne (o meno corretto contradizióne) s. f. [dal lat. contradictio -onis, der. di contradicĕre «contraddire»]. – 1. a. Il contraddire, il contraddirsi: cadere in c.; cogliere in c.; spirito di c., tendenza abituale...
identità s. f. [dal lat. tardo identĭtas -atis, der. di idem «medesimo», calco del gr. ταὐτότης]. – 1. L’essere identico, perfetta uguaglianza: i. di due firme, di due concetti; i. piena, vera, totale, assoluta. Con accezioni partic.: a. In...