Universita Libri
Libri pubblicati nella collana Universita con argomento Logica
Logica e teorie formalizzate. Completezza, incompletezza, indecidibilità Palladino Dario - Carocci, 2004 - Università
Il volume ha lo scopo di illustrare i principali risultati della logica del XX secolo, fra i quali il teorema di completezza per la logica del primo ordine, il teorema di compattezza, i teoremi di Löwenheim-Skolem, i teoremi di incompletezza di Gödel resistenza di "modelli non standard" per l'aritmetica, il teorema di Church, il teorema di incompletezza per la logica del secondo ordine. La trattazione di questi teoremi e delle loro dimostrazioni, pur volutamente contenuta grazie a qualche semplificazione delle parti più tecniche, consente al lettore di capire il significato dei risultati conseguiti, le loro implicazioni e le strategie che sono state impiegate per raggiungerli.
Logica e psicologia del pensiero Casadio Claudia - Carocci, 2006 - Università
Partendo dalla introduzione ai contenuti essenziali della logica, con particolare riferimento alla teoria del sillogismo, al calcolo delle proposizioni e al calcolo dei predicati, vengono nel volume affrontati i temi fondamentali della psicologia del pensiero e del ragionamento dibattuti negli ultimi trent'anni non solo dagli studiosi di scienze cognitive, ma di tutte le aree della psicologia. Il manuale è rivolto agli studenti della laurea triennale in psicologia, ma può essere utilizzato anche nelle lauree triennali delle facoltà umanistiche o di altre facoltà che abbiano interessi rivolti all'area del pensiero e del ragionamento.