[03] Logica formale e Informale

In che lingua parla la logica? Mattia e Gabriele distinguono la logica formale — il linguaggio rigoroso dei simboli e delle regole necessarie, alla base dell'informatica — dalla logica informale, strumento per navigare l'ambiguità del linguaggio naturale. Due facce complementari della stessa medaglia: senza l'una perderemmo coerenza, senza l'altra non potremmo ragionare sul mondo reale. Musica utilizzata Royalty Free, distribuita sotto CC-BY 3.0. https://www.chosic.com/download-audio/29290/ Bossa Antigua by Kevin MacLeod | https://incompetech.com/ Music promoted by https://www.chosic.com/free-music/all/ Creative Commons Creative Commons: By Attribution 3.0 License http://creativecommons.org/licenses/by/3.0/