Fondamenti di Logica Matematica
(LOGICA01)
La logica è la disciplina filosofica che studia le forme del ragionamento corretto. La logica matematica nasce con Boole e con la sua idea di quantificare i predicati, cioè di applicare alla vecchia logica formale di derivazione aristotelica le regole e i procedimenti dell'algebra in modo da ridurre ogni ragionamento ad un puro calcolo formale. La logica simbolica si occupa della formalizzazione del linguaggio naturale (affetto da ambiguità e ridondanze) e della costruzione di calcoli capaci di garantire ragionamenti rigorosi e non intuitivi. Possiamo dire che la logica è la scienza che ha per oggetto le strutture deduttive dei linguaggi esatti
- Docente: IGNAZZI STEFANO