Matematica e logica matematica (Saint Louis 1919 - ivi 1985), dal 1976 prof. di matematica all'univ. della California a Berkeley. Si è interessata di logica matematica (funzioni ricorsive e problemi di [...] decidibilità) e di teoria dei numeri. Di particolare importanza la scoperta (completata da J. V. Matijasević nel 1970) dell'indecidibilità del 10º problema di D. Hilbert: non esiste un metodo generale ...
Leggi Tutto
In logica, relazione che si instaura tra un gruppo di proposizioni e una proposizione quando quest’ultima è detta seguire logicamente dalle prime. Si distinguono vari tipi di c. a seconda delle particolari [...] modalità concettuali che conducono all’affermazione che qualcosa ‘segua’ da qualcos’altro.
In logica matematica, relazione di c. è una particolare relazione che un’espressione ha con un insieme di espressioni, nel senso che ogni interpretazione di ...
Leggi Tutto
Studiosa di logica e filosofia (Wimbledon 1885 - Londra 1943), dal 1933 prof. all'univ. di Londra. Allieva del logico W. E. Johnson, risentì l'influenza di B. Russell e A. N. Whitehead e, in modo particolare, [...] . E. Moore. La sua opera più importante può considerarsi A modern introduction to logic (1930), dove l'esposizione della logica formale e delle tecniche logiche si accompagna a una lucida analisi dei problemi epistemologici e metafisici connessi alle ...
Leggi Tutto
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 [...] si qualifica un soggetto con un attributo che è escluso dalla natura stessa del soggetto (per es. sfera cubica).
In logica matematica il principio di c. è espresso dalla formula ¬ (p ⋀ ¬ p). Questo principio, in relazione a un calcolo logistico ...
Leggi Tutto
Filosofia
Nella logica, il c. di un concetto è la sua comprensione (➔). In gnoseologia, si distingue in ogni atto conoscitivo il c. o materia, che è il dato, e la forma, il principio organizzatore del [...] del discorso poetico, di immagini e concetti, e ha inteso la forma poetica come una struttura logica e discorsiva linguisticamente differenziata dalle strutture discorsive del linguaggio comune e del linguaggio storico-scientifico.
Nel linguaggio ...
Leggi Tutto
decisione, problema della
In logica matematica, la ricerca di un procedimento effettivo che consenta di stabilire se una certa proprietà o relazione convenga o no a certi enti. Procedimento ‘effettivo’ [...] stabilire, in un numero finito di passi, se E sia o no un teorema. In conclusione, data una qualsiasi espressione logica, non sempre si può stabilire con un procedimento effettivo se essa sia conseguenza degli assiomi della teoria del primo ordine a ...
Leggi Tutto
Nella logica aristotelica, riferito a ciò che separa una cosa da un’altra, che nega l’appartenenza di un predicato a un soggetto. La teologia a. (in opposizione alla catafatica) è quella che procede alla [...] conoscenza di Dio per via di negazioni, dicendo ciò che Dio non è ...
Leggi Tutto
In logica matematica, scienza che ha per oggetto una teoria, detta teoria-oggetto. Si usa distinguere una m. sintattica, o sintassi, da una m. semantica, o semantica. La sintassi ha per oggetto le sole [...] proprietà formali o strutturali delle espressioni della teoria, la semantica studia invece anche i significati dei simboli ...
Leggi Tutto
Nella logica, un insieme ordinato di proposizioni, una delle quali è posta come inferita dalle altre. La proposizione inferita si dice conseguente o conclusione; quella o quelle da cui è inferita antecedente; [...] il vincolo di dipendenza tra il conseguente e l’antecedente conseguenza ...
Leggi Tutto
logica
lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...
logicismo
s. m. [der. di logica, logico1]. – 1. a. In senso ampio, ogni dottrina che pone la logica a fondamento della filosofia, o le assegna comunque un posto preponderante in questa disciplina. b. In filosofia della matematica, indirizzo...