l'accesso più veloce di browser!
29 relazioni: Antirealismo, Arend Heyting, Calcolo (matematica), Computer, Costruttivismo matematico, Epistemologia, Esistenza, Filosofia, Gerhard Gentzen, Intuizionismo, Legge di Peirce, Logica, Logica proposizionale, Matematica, Michael Dummett, Negazione (linguistica), Premessa, Principio di bivalenza, Programmazione (informatica), Saul Kripke, Scienza, Semantica, Sequente, Sintassi, Tautologia, Teoremi di De Morgan, Teoria dei modelli, Tertium non datur, Validità (logica).
Antirealismo
Il termine antirealismo è usato per descrivere ogni posizione che coinvolge la negazione di una realtà oggettiva di enti di un certo tipo, oppure la negazione che affermazioni che trascendono la verificabilità possano essere vere o false.
Nuovo!!: Logica intuizionista e Antirealismo · Mostra di più »
Arend Heyting
Allievo di Luitzen Brouwer all'Università di Amsterdam, insieme a lui è uno dei principali esponenti dell'intuizionismo matematico.
Nuovo!!: Logica intuizionista e Arend Heyting · Mostra di più »
Calcolo (matematica)
Il calcolo è una facoltà o processo mentale cognitivo su base volontaria che trasforma uno o più dati in ingresso in uno o più risultati.
Nuovo!!: Logica intuizionista e Calcolo (matematica) · Mostra di più »
Computer
Un computer (pronuncia italiana), in italiano anche elaboratore (vedi «aspetti linguistici»), è una macchina automatizzata in grado di eseguire complessi calcoli matematici ed eventualmente altri tipi di elaborazioni dati.
Nuovo!!: Logica intuizionista e Computer · Mostra di più »
Costruttivismo matematico
Nella filosofia della matematica, il costruttivismo afferma la necessità di trovare o costruire un oggetto matematico per dimostrare la sua esistenza.
Nuovo!!: Logica intuizionista e Costruttivismo matematico · Mostra di più »
Epistemologia
L'epistemologia (termine, coniato dal filosofo scozzese James Frederick Ferrier, dal greco ἐπιστήμη, epistème, "conoscenza certa" ossia "scienza", e λόγος, logos, "discorso") è quella branca della filosofia contemporanea che si occupa delle condizioni sotto le quali si può avere conoscenza certa o scientifica ovvero dei metodi per raggiungere tale conoscenza.
Nuovo!!: Logica intuizionista e Epistemologia · Mostra di più »
Esistenza
L'esistenza è argomento ontologico per eccellenza e si relaziona con quello dell'Essere ma in subordine, come suo modo contingente di manifestarsi e di fluire.
Nuovo!!: Logica intuizionista e Esistenza · Mostra di più »
Filosofia
La filosofia (philosophía, composto di φιλεῖν (phileîn), "amare", e σοφία (sophía), "sapienza", ossia "amore per la sapienza") è un campo di studi che si pone domande e riflette sul mondo e sull'essere umano, indaga sul senso dell'essere e dell'esistenza umana, tenta di definire la natura e analizza le possibilità e i limiti della conoscenza.
Nuovo!!: Logica intuizionista e Filosofia · Mostra di più »
Gerhard Gentzen
In giovane età rimase orfano per la morte del padre nel corso della prima guerra mondiale.
Nuovo!!: Logica intuizionista e Gerhard Gentzen · Mostra di più »
Intuizionismo
Nella filosofia della matematica, l'intuizionismo, o neointuizionismo (opposto al preintuizionismo), è un approccio alla matematica in cui ogni oggetto matematico è considerato un prodotto dell'attività costruttiva della mente umana.
Nuovo!!: Logica intuizionista e Intuizionismo · Mostra di più »
Legge di Peirce
In logica, la legge di Peirce deriva il suo nome dal filosofo e logico Charles Sanders Peirce.
Nuovo!!: Logica intuizionista e Legge di Peirce · Mostra di più »
Logica
La logica (dal greco λόγος, logos, ovvero "parola", "pensiero", "idea", "argomento", "ragione", da cui poi λογική, logiké) è lo studio del ragionamento e dell'argomentazione, rivolto in particolare a definire la correttezza dei procedimenti inferenziali del pensiero.
Nuovo!!: Logica intuizionista e Logica · Mostra di più »
Logica proposizionale
La logica proposizionale (o enunciativa) è un linguaggio formale con una semplice struttura sintattica, basata fondamentalmente su proposizioni elementari (atomi) e su connettivi logici di tipo vero-funzionale, che restituiscono il valore di verità di una proposizione in base al valore di verità delle proposizioni connesse (solitamente noti come AND, OR, NOT...). La semantica della logica proposizionale definisce il significato dei simboli e di qualsiasi proposizione che rispetti le regole sintattiche del linguaggio, basandosi sui valori di verità associati agli atomi.
Nuovo!!: Logica intuizionista e Logica proposizionale · Mostra di più »
Matematica
La matematica (dal greco μάθημα (máthema), traducibile con i termini "scienza", "conoscenza" o "apprendimento"; μαθηματικός (mathematikós) significa "incline ad apprendere") è la disciplina che studia le quantità (i numeri), lo spazio,.
Nuovo!!: Logica intuizionista e Matematica · Mostra di più »
Michael Dummett
È stato docente di logica all'università di Oxford.
Nuovo!!: Logica intuizionista e Michael Dummett · Mostra di più »
Negazione (linguistica)
Il procedimento linguistico della negazione serve a sostenere la falsità di un elemento del discorso o un intero enunciato tramite un elemento come un avverbio o locuzione.
Nuovo!!: Logica intuizionista e Negazione (linguistica) · Mostra di più »
Premessa
Una premessa è una dichiarazione preliminare ad un'altra dichiarazione o a un discorso, che ha lo scopo di introdurre o chiarire un concetto precedentemente rispetto al momento in cui si vuole affrontare un determinato argomento principale.
Nuovo!!: Logica intuizionista e Premessa · Mostra di più »
Principio di bivalenza
In logica, il principio di bivalenza afferma che per ogni proposizione P, o P è vera oppure P è falsa, ossia che il grado di verità di una proposizione ammette valori nell'insieme discreto.
Nuovo!!: Logica intuizionista e Principio di bivalenza · Mostra di più »
Programmazione (informatica)
La programmazione, in informatica, è l'insieme delle attività e tecniche che una o più persone specializzate, programmatori o sviluppatori (developer), svolgono per creare un programma, ossia un software da far eseguire ad un computer, scrivendo il relativo codice sorgente in un determinato linguaggio di programmazione.
Nuovo!!: Logica intuizionista e Programmazione (informatica) · Mostra di più »
Saul Kripke
Professore emerito presso la Princeton University e docente al City University of New York Graduate Center, è attivo sin dagli anni sessanta con ricerche inerenti alla logica modale e alla problematica dei mondi possibili: gli si deve l'introduzione di una semantica formale per la logica modale quantificata, un sistema basato sulle nozioni di «necessità» e «possibilità», che porta a sostenere la necessità di ammettere, accanto ai giudizi sintetici a priori di kantiana memoria, una nozione di «necessità a posteriori».
Nuovo!!: Logica intuizionista e Saul Kripke · Mostra di più »
Scienza
Per scienza si intende un sistema di conoscenze ottenute attraverso un'attività di ricerca prevalentemente organizzata e con procedimenti metodici e rigorosi (il metodo scientifico), avente lo scopo di giungere, attraverso delle prove, ad una descrizione, verosimile, oggettiva e con carattere predittivo, della realtà e delle leggi che regolano l'occorrenza dei fenomeni.
Nuovo!!: Logica intuizionista e Scienza · Mostra di più »
Semantica
La semantica è quella parte della linguistica che studia il significato delle parole (semantica lessicale), degli insiemi delle singole lettere (negli e degli alfabeti antichi) e delle frasi (semantica frasale) e dei testi.
Nuovo!!: Logica intuizionista e Semantica · Mostra di più »
Sequente
Un sequente è un'entità della logica che permette di esprimere legami tra asserzioni complesse facendo uso dei legami metalinguistici e che comporta.
Nuovo!!: Logica intuizionista e Sequente · Mostra di più »
Sintassi
La parola sintassi o sintattica (dal greco σύνταξις sýntaxis "associazione, organizzazione") è la branca della grammatica e della linguistica che studia i diversi modi in cui i codici dei linguaggi si uniscono tra loro per formare una proposizione e i vari modi in cui le proposizioni si collegano per formare un periodo.
Nuovo!!: Logica intuizionista e Sintassi · Mostra di più »
Tautologia
Una tautologia (dal greco ταυτολογία, composto di ταὐτό lo stesso — τό lo e αὐτό stesso — e λογία per λόγος discorso), in logica, è un'affermazione vera per definizione, quindi fondamentalmente priva di valore informativo.
Nuovo!!: Logica intuizionista e Tautologia · Mostra di più »
Teoremi di De Morgan
I teoremi di De Morgan, o leggi di De Morgan sono relativi alla logica booleana e stabiliscono relazioni di equivalenza tra gli operatori di congiunzione logica "and" e "or".
Nuovo!!: Logica intuizionista e Teoremi di De Morgan · Mostra di più »
Teoria dei modelli
La teoria dei modelli è una branca della matematica, e più precisamente della logica, che affronta lo studio generalizzato del concetto di modello, in riferimento alle relazioni tra varie strutture ed in particolare alla soddisfacibilità di date teorie.
Nuovo!!: Logica intuizionista e Teoria dei modelli · Mostra di più »
Tertium non datur
Tertium non datur (tradotto: «Una terza cosa non è data») è una locuzione che appartiene al repertorio delle celebri frasi in lingua latina entrate nel patrimonio culturale mondiale.
Nuovo!!: Logica intuizionista e Tertium non datur · Mostra di più »
Validità (logica)
In logica, la nozione di validità (validità logica) riguarda innanzitutto, ed in senso generale, la connessione tra l'insieme delle premesse di un argomento e la sua conclusione, all'interno di una argomentazione (es. sillogismo).
Nuovo!!: Logica intuizionista e Validità (logica) · Mostra di più »
Riorienta qui:
Logica costruttiva, Logica intuizionistica.
