se e solo se
sé e sólo sé [ALG] [FAF] Uno dei connettivi logici, e precis. equivalenza logica o bicondizionale logico, di simb. ↔; agisce su due enunciati A e B trasformandoli nell'unico enunciato (doppia [...] implicazione) A ↔ B che risulta vero se A e B sono entrambi veri o entrambi falsi, e falso in ogni altro caso. ...
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 [...] Analogamente, dal punto di vista intuizionista non può essere accettato come un principio generale il principio della doppia negazione, «non non p implica p»: il fatto di poter ottenere una contraddizione dall’ipotesi di avere una costruzione di «non ...
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 [...] : congiunzione (e), disgiunzione (o), negazione (non), implicazione (se... allora...), in ragione della verità o falsità del linguaggio in uso nella pratica matematica (1879). Una doppia origine che sottolinea una duplice vocazione: da una parte ...
Leggi Tutto
La scienza bizantina e latina: la nascita di una scienza europea. Le discipline matematiche
Menso Folkerts
Richard P. Lorch
Anne Tihon
Le discipline matematiche
La matematica nell'Europa latina
di [...] ca.-1167), nella quale con l'applicazione della doppia falsa posizione si risolvevano equazioni lineari a un'incognita concetto di lunghezza a una linea curva. Questo principio è implicito nella prop. 1 del trattato che asserisce l'equivalenza di ...
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 [...] 38??? 0. Naturalmente a ???38??? 0 non può essere falso, poiché ciò implicherebbe a = 0.
11. Relazioni d'ordine
Una specie S è ordinata dalla . In questo modo si può dimostrare che la doppia negazione di ogni caso specifico del principio del terzo ...
Leggi Tutto
Scienza greco-romana. Archimede
Reviel Netz
Archimede
Archimede è l’unico dei matematici greci di cui abbiamo notizie storiche; questa eccezionalità è dovuta in parte ai risultati da lui ottenuti, [...] non è quasi mai menzionata direttamente: essa risulta come implicazione alla fine di un lungo ragionamento, come un’impalcatura dalle spirali e dalle rette in rotazione, la terza è doppia della seconda, la quarta tripla (sempre della seconda), la ...
Leggi Tutto
La civilta islamica: condizioni materiali e intellettuali. Kalam e filosofia naturale
Marwan Rashed
Kalām e filosofia naturale
Il rapporto tra Kalām e filosofia naturale è assai complesso e articolato; [...] , la teoria epicurea degli atomi conduceva a un doppio divorzio: bisognava, ben inteso, rinunciare al continuo ῾Alī e al-Balḫī essa non ne è che il risultato. Questo punto, implicito nei testi di al-Nīsābūrī e di ῾Abd al-Ǧabbār già ricordati, è ...
Leggi Tutto
se2
se2 cong. [lat. tardo se(d), incrocio di sī con quid «che cosa»] (radd. sint.). – 1. Con valore condizionale, ipotetico: a. Posto che, ammesso che, dandosi il caso che, e sim.; introduce proposizioni che esprimono una condizione, quelle...
nodo
nòdo s. m. [dal lat. nōdus]. – 1. a. Intreccio di uno o più tratti di corda (o filo o nastro o altro elemento flessibile e relativamente sottile), consistente in un avvolgimento del tratto su sé stesso o in un suo collegamento con un...