Argomenti selezionati dalla logica contemporanea

Recensioni dei lettori

Attualmente non ci sono recensioni dei lettori. La valutazione si basa su 2 voti.

Titolo originale:

Selected Topics from Contemporary Logics

Contenuto del libro:

Come viene usato oggi dai logici professionisti, è il nome della materia che hanno scelto.

Singolare o plurale, "logica" o "logiche"? Questo è un caso particolare di una domanda più generale.

Domanda. Per esempio, un algebrista potrebbe scrivere un libro intitolato "Algebra", che.

Parla di algebre. Anche se molti matematici non ne sono consapevoli, la logica oggi ha un aspetto plurale.

Ha decisamente un aspetto plurale. Anzi, l'ha sempre avuto. La logica classica, che.

I matematici tendono spesso a identificarla con l'insieme della logica, era già in vigore.

All'incirca all'inizio del XX secolo. Da allora una vasta gamma di logiche.

Sono state sviluppate le cosiddette logiche non classiche. Ma in effetti, prima della creazione

della logica classica, esistevano molteplici versioni della logica, alcune delle quali più o meno.

Formalizzate. L'attuale crescente interesse per le logiche europee e asiatiche medievali e antiche.

asiatici ha riportato alla consapevolezza moderna gran parte di tutto ciò. Forse un successivo.

Un volume successivo di questa serie esaminerà la storia da un punto di vista contemporaneo. Ma.

Non è questo il nostro compito.

Questo è il secondo volume di una serie chiamata Landscapes in Logic. L'intento.

L'intento della serie è quello di presentare relazioni che illustrino l'interazione tra la contemporaneità.

Lavoro nella logica e nella matematica tradizionale. Naturalmente si tratta di un'affermazione vaga e...

eccessivamente ambizioso, e deve tradursi in collezioni eterogenee. Il primo volume.

della serie, Contemporary Logic and Computing, è apparso nel 2020. Il.

I contenuti sono suddivisi in modo plausibile in argomenti di logica contemporanea e di informatica contemporanea.

Informatica. Il presente volume è più vario e comprende articoli.

Sia sulla logica classica che su quella non classica, a volte dal punto di vista semantico.

E a volte dal lato della teoria delle prove. Alcuni articoli sono principalmente tecnici,.

Spesso algebrici, mentre altri sono di natura più filosofica. Molti rientrano in.

Più categorie. Questa molteplicità non deve essere vista come un difetto. Gli articoli.

Qui non si limitano a esplorare le logiche casa per casa, ma dicono qualcosa anche sui loro.

Anche i quartieri generali.