l'accesso più veloce di browser!
24 relazioni: Affermazione del conseguente, Argomento diagonale di Cantor, Cartesio, Coerenza (logica matematica), Cogito ergo sum, Cristoforo Clavio, Dimostrazione per assurdo, Dio, Euclide, Ex falso sequitur quodlibet, Fallacia, Gabriele Lolli, Georg Cantor, Giovanni Girolamo Saccheri, Insieme, Insieme numerabile, Lingua latina, Locuzioni latine, Logica classica, Numero reale, Ossimoro, Principio di non contraddizione, Scolastica (filosofia), Tabella della verità.
Affermazione del conseguente
L'affermazione del conseguente è una fallacia argomentativa di tipo formale, in cui dall'affermazione di un effetto si evince l'esistenza di una causa.
Nuovo!!: Consequentia mirabilis e Affermazione del conseguente · Mostra di più »
Argomento diagonale di Cantor
L'argomento diagonale di Cantor è una tecnica dimostrativa con cui Georg Cantor ha dimostrato la non numerabilità dei numeri reali.
Nuovo!!: Consequentia mirabilis e Argomento diagonale di Cantor · Mostra di più »
Cartesio
È ritenuto fondatore della matematica e della filosofia moderna.
Nuovo!!: Consequentia mirabilis e Cartesio · Mostra di più »
Coerenza (logica matematica)
In logica matematica, una teoria formale si dice coerente (o non contraddittoria, talvolta anche consistente, per assonanza con l'inglese consistent) se in essa è impossibile dimostrare una contraddizione.
Nuovo!!: Consequentia mirabilis e Coerenza (logica matematica) · Mostra di più »
Cogito ergo sum
La locuzione cogito ergo sum, che significa letteralmente «penso dunque sono», è la formula con cui Cartesio esprime la certezza indubitabile che l'uomo ha di se stesso in quanto soggetto pensante.
Nuovo!!: Consequentia mirabilis e Cogito ergo sum · Mostra di più »
Cristoforo Clavio
Nato in Germania, quasi nulla si sa della sua giovinezza (a partire dall'anno di nascita, che potrebbe essere anticipato al 1537).
Nuovo!!: Consequentia mirabilis e Cristoforo Clavio · Mostra di più »
Dimostrazione per assurdo
La dimostrazione per assurdo (per cui si usa anche la locuzione latina reductio ad absurdum), nota anche come ragionamento per assurdo, è un tipo di argomentazione logica in cui si assume temporaneamente un'ipotesi, si giunge ad una conclusione assurda, e quindi si dimostra che l'assunto originale deve essere errato.
Nuovo!!: Consequentia mirabilis e Dimostrazione per assurdo · Mostra di più »
Dio
Con il termine "dio" si intende indicare un'entità superiore dotata di potenza straordinaria variamente denominata e significata nelle diverse culture religiose.
Nuovo!!: Consequentia mirabilis e Dio · Mostra di più »
Euclide
È stato sicuramente il più importante matematico della storia antica, e uno dei più importanti e riconosciuti di ogni tempo e luogo.
Nuovo!!: Consequentia mirabilis e Euclide · Mostra di più »
Ex falso sequitur quodlibet
La locuzione latina ex falso sequitur quodlibet (ossia: "dal falso segue qualsiasi cosa (scelta) a piacere"), abbreviata, in modo ellittico, anche in ex falso quodlibet, è una frase latina che indica, nella logica classica un principio logico (valido anche nella logica intuizionista) che stabilisce come da un enunciato contraddittorio consegue logicamente qualsiasi altro enunciato.
Nuovo!!: Consequentia mirabilis e Ex falso sequitur quodlibet · Mostra di più »
Fallacia
Le fallacie sono errori nascosti nel ragionamento che comportano la violazione delle regole di un confronto argomentativo corretto.
Nuovo!!: Consequentia mirabilis e Fallacia · Mostra di più »
Gabriele Lolli
Subito dopo la laurea in matematica conseguita presso l'Università di Torino, vince una borsa di studio all'Università di Yale, dove si specializza in logica sotto la supervisione di Abraham Robinson.
Nuovo!!: Consequentia mirabilis e Gabriele Lolli · Mostra di più »
Georg Cantor
Cantor ha allargato la teoria degli insiemi fino a comprendere al suo interno i concetti di numeri transfiniti, numeri cardinali e ordinali.
Nuovo!!: Consequentia mirabilis e Georg Cantor · Mostra di più »
Giovanni Girolamo Saccheri
È considerato il padre, seppure inconsapevole, delle geometrie non euclidee.
Nuovo!!: Consequentia mirabilis e Giovanni Girolamo Saccheri · Mostra di più »
Insieme
In matematica, un raggruppamento di oggetti rappresenta un insieme se esiste un criterio oggettivo che permette di decidere univocamente se un qualunque oggetto fa parte o no del raggruppamento.
Nuovo!!: Consequentia mirabilis e Insieme · Mostra di più »
Insieme numerabile
In matematica, e più in particolare nella teoria degli insiemi, un insieme viene detto numerabile se i suoi elementi sono in numero finito oppure se possono essere messi in corrispondenza biunivoca con i numeri naturali.
Nuovo!!: Consequentia mirabilis e Insieme numerabile · Mostra di più »
Lingua latina
Il latino è una lingua indoeuropea appartenente al gruppo delle lingue latino-falische.
Nuovo!!: Consequentia mirabilis e Lingua latina · Mostra di più »
Locuzioni latine
Elenco delle locuzioni latine, molte delle quali in uso presso gli antichi Romani.
Nuovo!!: Consequentia mirabilis e Locuzioni latine · Mostra di più »
Logica classica
La logica classica è la branca della logica formale che è stata più studiata e usata.
Nuovo!!: Consequentia mirabilis e Logica classica · Mostra di più »
Numero reale
In matematica, i numeri reali possono essere descritti in maniera non formale come numeri ai quali è possibile attribuire uno sviluppo decimale finito o infinito, come \pi.
Nuovo!!: Consequentia mirabilis e Numero reale · Mostra di più »
Ossimoro
L'ossimoro (dal greco, composto da, «acuto» e, «ottuso») è una figura retorica che consiste nell'accostamento di due termini di senso contrario o comunque in forte antitesi tra loro.
Nuovo!!: Consequentia mirabilis e Ossimoro · Mostra di più »
Principio di non contraddizione
Nella logica classica, il principio di non-contraddizione afferma la falsità di ogni proposizione implicante che una certa proposizione A e la sua negazione, cioè la proposizione non-A, siano entrambe vere allo stesso tempo e nello stesso modo.
Nuovo!!: Consequentia mirabilis e Principio di non contraddizione · Mostra di più »
Scolastica (filosofia)
Immagine di una scuola risalente al XIV secolo. Scolastica è il termine con il quale comunemente si definisce la filosofia cristiana medioevale, in cui si sviluppò quella scuola di pensiero detta anche scolasticismo.
Nuovo!!: Consequentia mirabilis e Scolastica (filosofia) · Mostra di più »
Tabella della verità
Le tabelle della verità (o tabelle logiche) sono tabelle usate nella logica per determinare se, attribuiti i valori di verità alle proposizioni che la compongono, una determinata proposizione è vera o falsa.
Nuovo!!: Consequentia mirabilis e Tabella della verità · Mostra di più »
