Come termine specifico di logica, la c. è il rapporto vigente tra un’affermazione e una negazione di egual soggetto e di egual predicato. In questa antitesi, vero essendo un termine, l’altro deve essere falso ( principio di c.).
La prima rigorosa formulazione del principio di c. s’incontra in Aristotele, dove esso appare strettamente connesso con la concezione del pensiero come attività ‘dianoetica’, ...
Leggi Tutto
coerente
coerènte [agg. Der. del part. pres. cohaerens -entis del lat. cohaerere "essere strettamente unito"] [LSF] Oltre che nel signif. proprio, il termine è usato, figurat., per indicare qualcosa [...] che non è in contraddizione, che s'accorda con qualcosa d'altro. ◆ [MCQ] Ampiezze c.: ampiezze di probabilità con fase relativa definita che per sovrapposizione interferiscono tra loro. ◆ [ANM] Calcolo c.: nella logica matematica, calcolo in cui non ...
Leggi Tutto
Intuizionismo
AArend Heyting
di Arend Heyting
Intuizionismo
sommario: 1. Concetti fondamentali. 2. Aritmetica elementare. 3. Il principio del terzo escluso. 4. I numeri reali. 5. Ineguaglianza e separazione [...] di ¬ ???29??? x P(x). Una tale costruzione si ottiene come segue: sia A una dimostrazione di ∀ x− P(x). Dobbiamo ricavare una contraddizione dall'ipotesi che si abbia una dimostrazione B di ???29??? x P(x). B ci darebbe un'entità a tale che P(a); ma ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Giovanni Girolamo Saccheri
Vincenzo De Risi
Il matematico Girolamo Saccheri è considerato il primo scopritore (seppure suo malgrado) delle geometrie non euclidee. Nella sua opera principale, Euclides [...] di Euclide, trasse un vasto e coerente sistema di conseguenze geometriche nel tentativo di pervenire a una contraddizione. Questa contraddizione non c’era, giacché il postulato euclideo è indimostrabile, e così l’opera di Saccheri si concluse ...
Leggi Tutto
Filosofia
Nella logica kantiana, giudizio a. è quello nel quale il concetto del predicato è implicitamente contenuto nel concetto del soggetto, e in cui quindi basta analizzare il soggetto per ricavarne [...] il predicato (per es. i corpi sono estesi). Il giudizio a., fondato sul principio d’identità e di non contraddizione, è a priori, cioè vero necessariamente e universalmente, ma è infruttuoso, perché non estende la conoscenza, ma la chiarisce soltanto ...
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. [...] che una norma di diritto abbia delle conseguenze assurde (non è possibile che esista un tale risvegliatore) non è una contraddizione logica e non interessa perciò la logica ma piuttosto il diritto. I veri p. sono, dunque, caratterizzati dal fatto che ...
Leggi Tutto
reversibilita
reversibilità [Der. di reversibile "la condizione e la proprietà di essere reversibile"] [OTT] R. dei raggi luminosi: lo stesso che invertibilità dei raggi luminosi. ◆ [MCC] R. del pendolo: [...] le leggi meccaniche sono invarianti per inversione temporale, cioè se si considera un fenomeno evolventesi "all'indietro"; la contraddizione di ciò con il secondo principio della termodinamica è rimossa nell'ambito dell'approccio statistico a tale ...
Leggi Tutto
Fermat, ultimo teorema di
MMassimo Bertolini
di Massimo Bertolini
SOMMARIO: 1. Introduzione. ▭ 2. Storia: il lavoro di Kummer. ▭ 3. Estensioni abeliane di Q. ▭ 4. Estensioni esplicite di campi e funzioni [...] un elemento di Z[ζp].
Assumendo l'esistenza di una soluzione (x,y,z) con xyz ≠ = 0, Kummer cercò di ottenere una contraddizione. Si noti che non è una limitazione supporre che x, y e z non abbiano fattori comuni maggiori di 1. Si consideri dapprima ...
Leggi Tutto
di Massimiliano Caramia e Paolo Dell'Olmo
L'obiettivo del processo decisionale è quello di migliorare lo stato di un individuo o di un'organizzazione in termini di uno o più criteri. Il trattamento delle [...] di prendere buone d. e con maggiore consapevolezza anche in situazioni molto complesse dove possono essere presenti criteri in contraddizione tra loro, condizioni di incertezza o rischio, e un numero di alternative molto elevato. Gli attuali sistemi ...
Leggi Tutto
Logica matematica
Abraham Robinson
*La voce enciclopedica Logica matematica è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un’introduzione di Gabriele Lolli e un saggio di Beppo [...] fk(k). Ma, per costruzione, F(k)=fk(k)+1. Il che porta alla fk(k)=fk(k)+1, cioè a una contraddizione che mostra che F(x), sebbene calcolabile, non è ricorsiva primitiva.
Come formulare una definizione che comprenda ogni procedimento effettivo per il ...
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...