Includi: tutti i seguenti filtri
× Livello Analitici
× Soggetto Logica simbolica

Trovati 11 documenti.

Ideografia : un linguaggio in formule del pensiero puro, a imitazione di quello aritmetico (1878)
0 0
Analitici

Frege, Gottlob

Ideografia : un linguaggio in formule del pensiero puro, a imitazione di quello aritmetico (1878) / Gottlob Frege

Torino : Boringhieri

Abstract: 1. Spiegazione dei segni (il giudizio; la condizionalita; la negazione, l'uguaglianza di contenuto; la finzione; la generalità). 2. Esposizione e derivazione di alcuni giudizi del pensiero puro. 3. Elementi di una teoria generale delle successioni.

I fondamenti dell'aritmetica: una ricerca logico-matematica sul concetto di numero (1884)
0 0
Analitici

Frege, Gottlob

I fondamenti dell'aritmetica: una ricerca logico-matematica sul concetto di numero (1884) / Gottlob Frege

Torino : Boringhieri

Abstract: 1. Ragioni e compito dell'opera. 2. Opinioni di alcuni scrittori sulla natura delle proposizioni aritmetiche (le formule aritmetiche sono dimostrabili? le leggi dell'aritmetica sono verità induttuve?le leggi dell'aritmetica sono sintetiche a priori oppure analitiche?). 3. Opinioni di alcuni scrittori sul concetto di numero naturale. 4. Opinioni sull'unità e sul numero uno. 5. Il concetto di numero naturale. 6. Conclusione.

Dall'epistolario (1896-1900)
0 0
Analitici

Frege, Gottlob

Dall'epistolario (1896-1900) / Gottlob Frege

Abstract: 1. Lettera a Giuseppe Peano (lettera del Sig. G. Frege all'Editore, pubbl. in Revue de Mathématiques, vol 6, 53 (1898). 2. Carteggio Frege-Hilbert (Unbekannte Briefe Frege's über die Grundlagen der geometrie und Antwortbrief Hilbert's an Frege; pubbl. a cura di max Steck nei "Sitzungsbericjte der Heidelberger Akademie der Wissenschaften, mathematischnaturwissenschafteliche Klasse, 1941).

I principi dell'aritmetica, esposti ideograficamente(1893-1803)(estratti)
0 0
Analitici

Frege, Gottlob

I principi dell'aritmetica, esposti ideograficamente(1893-1803)(estratti) / Gottlob Frege

Torino : Boringhieri

Abstract: Volume primo: dalla prefazione: Logica, matematica, psicologia. Volume secondo: 1. I principi del definire. 2. Critica alla teoria degli irrazionali di gerog cantor. 3. Le teorie degli irrazionali di E. heine e J. Thomae. 4. Sguardo retrospettivo e previsioni. Grandezze. teoria delle grandezze. Nota finale.

Inediti dal nachlass scientifico di Frege
0 0
Analitici

Frege, Gottlob

Inediti dal nachlass scientifico di Frege / Gottlob Frege

Abstract: 1. Abbozzo di una lettera a Giuseppe Peano. 2. Diciassette proposizioni fondamentali della logica.

Ricerche sulla deduzione logica
0 0
Analitici

Gentzent, Gerhard

Ricerche sulla deduzione logica / di Gerhard Gentzen

Su un'estensione fino ad oggi non acora utilizzata del punto di vista finitista
0 0
Analitici

Godel, Kurt

Su un'estensione fino ad oggi non acora utilizzata del punto di vista finitista / Kurt Gödel

Idee e risultati nella teoria della dimostrazione
0 0
Analitici

Prawitz, Dag

Idee e risultati nella teoria della dimostrazione / Dag Prawitz

Abstract: in J.E. Fenstad (a cura di), proceedings of the Second Scandinavian Logic Symposium, Noth-Holland, Amsterdam-London, 1971

Sull'idea di una teoria generale della dimostrazione
0 0
Analitici

Prawitz, Dag

Sull'idea di una teoria generale della dimostrazione / Dag Prawitz

Termini infiniti e un sistema di deduzione naturale
0 0
Analitici

Martin-Löf, Per

Termini infiniti e un sistema di deduzione naturale / Per Martin-Löf

La connessione tra equivalenza di dimostrazioni e categorie cartesiane chiuse
0 0
Analitici

Mann, C. R.

La connessione tra equivalenza di dimostrazioni e categorie cartesiane chiuse / C. R. Mann