{"product_id":"elementi-di-storia-della-logica-formale-9788869722981","title":"Elementi di storia della logica formale","description":"\u003cdiv class=\"product-description\"\u003e\n\u003cp\u003eLa logica formale lo studio del ragionamento deduttivo: quello che conta la forma delle affermazioni, non la loro verit; conta la validit della deduzione (comunque, una deduzione valida porta da un'affermazione vera a un'affermazione pure vera). Essa risale ad Aristotele, che per primo costru la teoria di una particolare forma di ragionamento, il sillogismo. Con la scolastica medioevale si ebbe un'altra rifioritura della logica formale, con acute analisi. La logica formale si identifica oggi con la logica matematica, sviluppatasi a partire dalla met dell'Ottocento come applicazione alla logica di metodi matematici. Con la crisi dei fondamenti della matematica, la logica considerata da alcuni come la base su cui costruire la matematica, da altri come il linguaggio base delle teorie formalizzate.\u003c\/p\u003e\n\u003cstrong\u003eElementi di storia della logica formale\u003c\/strong\u003e\u003cp\u003edi Bagni, Giorgio T. - 2023-09-01\u003c\/p\u003e\n\u003cp\u003eEdizioni Bonomo\u003c\/p\u003e\n\u003cp\u003eISBN 9788869722981\u003c\/p\u003e\n\u003c\/div\u003e","brand":"Libreria Libraria","offers":[{"title":"Default Title","offer_id":54001861624147,"sku":null,"price":14.5,"currency_code":"EUR","in_stock":true}],"url":"https:\/\/librerialibraria.com\/products\/elementi-di-storia-della-logica-formale-9788869722981","provider":"librerialibraria","version":"1.0","type":"link"}