ricerca
avanzata

Logica - 9788835030614

di Sergio Galvan edito da La Scuola SEI, 2012

  • Prezzo di Copertina: € 19.50
  • € 18.53
  • Risparmi il 5% (€ 0.97)

Informazioni bibliografiche del Libro

  • Titolo del Libro: Logica
  • AutoreSergio Galvan
  • Editore: La Scuola SEI
  • Collana: Saggi , Nr. 1
  • Data di Pubblicazione: 2012
  • Genere: LOGICA
  • ArgomentoLogica
  • Pagine: 320
  • Dimensioni mm: 215 x 215 x 19
  • ISBN-10: 8835030617
  • ISBN-13:  9788835030614

 

Logica: Il volume si articola in cinque capitoli. Il primo contiene una introduzione al linguaggio formale, che può essere oggetto a sé stante di un corso di avviamento alla logica. Nel capitolo si presenta una panoramica generale dei linguaggi formali, comprensiva anche dei linguaggi intensionali (modale deontico, epistemico e intenzionale) che non sono tema specifico di approfondimento tecnico nei capitoli successivi. Questo capitolo è principalmente rivolto agli studenti interessati all'utilizzo della logica nell'ambito filosofico. Il secondo e il terzo capitolo presentano la sintassi e la semantica del calcolo dei predicati del primo ordine. Nel terzo capitolo, dedicato alla semantica della logica dei predicati, sono dimostrati in dettaglio i teoremi di correttezza e di completezza secondo lo stile di Henkin. Il quarto capitolo introduce l'idea di teoria del primo ordine. Infine l'ultimo capitolo è dedicato ad un esame delle principali proprietà metateoriche delle teorie.
The volume is divided into five chapters. The first contains an introduction to formal language, which may be the subject of its own to a course of introduction to logic. This section presents a general overview of formal languages, including the languages intensionali (modal, epistemic and intentional deontico) that are not specific topic in-depth technical chapters. This chapter is primarily aimed at students interested in using the logic in philosophy. The second and third chapter presents the syntax and semantics of first-order predicate calculus. In the third chapter, devoted to the semantics of predicate logic, are demonstrated in detail the theorems of correctness and completeness in the style of Henkin. The fourth chapter introduces the idea of first-order theory. Finally, the last chapter is devoted to an examination of the main metateoriche properties of theories.

Promozione Il libro "Logica" su Unilibro.it è nell'offerta di libri scontati Tantissimi libri in promozione sconto

 Recensioni Scrivi la tua recensione del libro "Logica"

Altri libri con autore: Galvan Sergio
Ontologia del possibile libro di Galvan Sergio
Ontologia del possibile
libro di Galvan Sergio 
edizioni EDUCatt Università Cattolica
€ 7.00
Sistemi dell'aritmetica da Q a PA libro di Galvan Sergio
Sistemi dell'aritmetica da Q a PA
libro di Galvan Sergio 
edizioni EDUCatt Università Cattolica
€ 20.00
Logica dei predicati libro di Galvan Sergio
Logica dei predicati
libro di Galvan Sergio 
edizioni EDUCatt Università Cattolica
€ 11.00
Ricerche di logica epistemica libro di Galvan Sergio
Ricerche di logica epistemica
libro di Galvan Sergio 
edizioni EDUCatt Università Cattolica
€ 7.75
Non contraddizione e terzo escluso. Le regole della negazione della logica classica intuizionistica e minimale libro di Galvan Sergio
Non contraddizione e terzo escluso. Le regole della negazione della logica classica intuizionistica e minimale
libro di Galvan Sergio 
edizioni Franco Angeli collana Epistemologia
€ 19.00
Introduzione ai sistemi dell'aritmetica. Da Q a PA libro di Galvan Sergio
Introduzione ai sistemi dell'aritmetica. Da Q a PA
libro di Galvan Sergio 
edizioni EDUCatt Università Cattolica
€ 35.00
Potrebbero interessarti anche questi prodotti

-5%

Argomentare, Watson! Come smascherare i cattivi ragionamenti e sopravvivere al dibattito pubblico libro di Radin Eugenio
Argomentare, Watson! Come smascherare i cattivi ragionamenti e sopravvivere al dibattito pubblico
libro di Radin Eugenio 
edizioni Ponte alle Grazie collana Saggi
disponibilità immediata
€ 16.00
€ 15.20

-5%

Sperimentare la logica libro di Dalla Chiara Maria Luisa Giuntini Roberto Paoli Francesco
Sperimentare la logica
libro di Dalla Chiara Maria Luisa  Giuntini Roberto  Paoli Francesco 
edizioni Liguori collana Libri di base di filosofia
disponibilità immediata
€ 17.99
€ 17.10

-5%

Sistemi di logica come teoria del conoscere. Vol. 2 libro di Gentile Giovanni
Sistemi di logica come teoria del conoscere. Vol. 2
libro di Gentile Giovanni 
edizioni Le Lettere collana Opere complete di Giovanni Gentile
disponibilità immediata
€ 30.00
€ 28.50

 Recensioni Scrivi la tua recensione del libro "Logica"