E-BOOK: our ebooks have changed DRM, what will happen now?

Lezioni di logica

George Goe

Lezioni di logica

Pages: 518

ISBN: 9788820442330

Edition: 1a edizione 1983

Publisher code: 495.1

Availability: Nulla

Come il Goe dice nella prefazione, le sue Lezioni di logica presentate in questo volume costituiscono un corso sulla logica di primo ordine per studenti di matematica e filosofia intellettualmente maturi e per altre persone interessate. L'autore vi ha incorporato contributi da lui previamente pubblicati nel Notre Dame journal of formal logic e nel Jour. nel of symbolic logic.

George Goe è attualmente titolare del corso di logica matematica all'Università di Trento. Dopo aver iniziato i suoi studi in matematica e fisica in Italia negli anni '30, fu costretto ad emigrare a causa delle leggi razziali fasciste. Alcuni anni dopo, conseguì il titolo di Doctor philosophiac negli Stati Uniti, conferitogli dalla Columbia University di New York, specializzandosi nella storia e filosofia delle scienze empiriche e della matematica. Fu docente negli Stati Uniti In varie università. E' l'autore di numerosi articoli in riviste scientifiche e filosofiche.

• Introduzione intorno alla logica;
* digressione sulla logica lnduttiva;
* enunciati e valori di verità;
* giustezza e valori di verità;
* giustezza e verità necessaria;
* forma e necessità;
* enunciati e proposizioni;
* note terminologiche e storico-terminologiche
• Altre considerazioni preliminari esemplari di stringhe, comparse di stringhe;
* nomi. costanti;
* uso e menzione di stringhe: enunciati e descrizioni aperti, variabili;
* insiemi;
* denotazione, estensione, senso;
* digressione sulle comparse improprie di nomi, termini generati e predicati;
* linguaggi formalizzati;
* linguaggio oggetto e metalinguaggio
• Tre linguaggi formalizzati sintassi formativa;
* Concetti semantici;
* corrispondenze 0-1 normali e le loro applicazioni
• Da parole a simboli
• Il metodo assiomatico e quello logistico
• Il calcolo L: operazioni fondamentali, CL, in una prima presentazione
• Il calcolo L: sviluppo metateorico di CL, e di CVFL
• Il calcolo L: la teoria della quantificazione
• ll calcolo L: la teoria della quantificazione continuazione
• Logica con presupposto di esistenza e con identità-completezza del sistemi studiati
• Una scorsa alla teoria ed alla pratica della applicazione del metodo logistico
• Bibliografia
• Indice analitico
• Elenco dei simboli metalinguistici.


Contributors:

Serie: Filosofia

Level: Scholarly Research