Trovati 12 documenti.
Trovati 12 documenti.
Logica matematica / Ettore Carruccio
Abstract: Calcolo delle proposizioni; calcolo delle classi; algebre astratte; calcolo dei predicati; Quantificazione uniforme; Sistema ipotetico-deduttivo; Antinomie e teorie escogitate per superarle. Nuove logiche, sistemi formali.
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.
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) / 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) / 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 / Gottlob Frege
Abstract: 1. Abbozzo di una lettera a Giuseppe Peano. 2. Diciassette proposizioni fondamentali della logica.
La logica, il metodo assionatico e la rpoblematica metateorica / Marco Borga
Abstract: 1. Introduzione. 2. La logica algebrica. 3. La logica degli "Arithmetices principia" di Peano. 4. L'assiomatizzazione della logica. 5. Ulteriori sviluppo della logica peaniana. 6. Il metodo assiommatico. 7. Le definizioni implicite. 8. Il metodo di Padoa e la problematica metateorica. 9. L'antinomia di Burali-Forti.
La connessione tra equivalenza di dimostrazioni e categorie cartesiane chiuse / C. R. Mann