Argomenti di logica

di Carlo Angelo Marletti, Enrico Moriconi, Mauro Mariani | Pisa University Press 2017
A partire da

28,00 €

Attualmente non disponibile

Descrizione

Fin dalla sua nascita con Aristotele la logica si è occupata di "linguaggi", delle "argomentazioni" costruibili entro tali linguaggi, e delle "strutture" che questi linguaggi sono intesi descrivere e nelle quali premesse e conclusione delle argomentazioni possono risultare vere o false. Successivamente, già con Leibniz, ma poi definitivamente con Frege, si fece strada l'idea che i linguaggi in questione debbano essere linguaggi formalmente definiti attraverso esplicite regole di formazione e trasformazione. È a questo punto che il problema delle interrelazioni fra linguaggio e "realtà" poté essere studiato matematicamente, mettendo a fuoco le due questioni di base: quella delle asserzioni vere "struttura per struttura" e quella delle asserzioni vere "in tutte le strutture". Muovendosi fra le sollecitazioni e le metodologie fornite via via da filosofia, matematica e informatica, la logica ha sempre mantenuto omogenea la sua struttura, qualificandosi come una teoria, cioè come un corpo ben caratterizzato e organico di conoscenze, capace però di significativi contatti e applicazioni in vari ambiti dell'indagine scientifica. Ed è della logica così intesa che questo volume intende fornire una esauriente e originale presentazione, prestando particolare attenzione a varie tecniche dimostrative e di costruzione di modelli e proponendosi come un testo utilizzabile in corsi di varia natura su questi argomenti.

Dettagli

  • Autore:
  • Editore:
  • Collana:
  • Anno edizione:
  • Carlo Angelo Marletti, Enrico Moriconi, Mauro Mariani
  • Pisa University Press
  • Manuali
  • 2017
  • In commercio dal:
  • Pagine:
  • Lingua:
  • EAN:
  • 18 settembre 2017
  • 596 p.
  • ITA
  • 9788867417131

Ti potrebbe interessare anche

Librerie di Roma | Argomenti di logica