{"product_id":"time-and-space-in-formal-logic","title":"Time and Space in Formal Logic","description":"\u003ch1\u003e\u003cspan style=\"color: #262626;\"\u003eTime and Space in Formal Logic\u003c\/span\u003e\u003c\/h1\u003e\n\u003cp\u003e\u003cspan style=\"color: #262626;\"\u003eTime and Space in Formal Logic begins with an analysis of assumptions about how logic and language relate.Then in the first section, times are taken to be established by true propositions, and those are related as before and after with temporal propositional connectives.In the second section, times are treated as things that can be picked out and counted, leading to a predicate logic that allows for quantification over times.In the third section, locations in space are also treated as things that can be picked out and counted, leading to a predicate logic that allows for quantification over both times and locations.Many applications of the formal systems to formalizing ordinary language propositions and inferences clarify better the assumptions we make in reasoning taking account of time and space by making those precise in the formal systems.Appendices on events, branching times, intentions, and descriptive names add to the scope of the work.\u003c\/span\u003e\u003c\/p\u003e\n\u003cp\u003e\u003cspan style=\"color: #262626;\"\u003e\u003cbr\u003e\u003cstrong\u003eAutor:\u003c\/strong\u003e\u003cbr\u003eRICHARD LOUIS EPSTEIN\u003cspan style=\"color: #b3b3b3;\"\u003e\u003cem\u003e)\u003c\/em\u003e\u003c\/span\u003e\u003c\/span\u003e\u003c\/p\u003e\n\u003cp data-mce-fragment=\"1\"\u003e\u003cspan style=\"color: #262626;\"\u003e\u003cstrong\u003eCaracterísticas técnicas:\u003c\/strong\u003e\u003c\/span\u003e\u003c\/p\u003e\n\u003cul\u003e\n\u003cli\u003e\u003cspan style=\"color: #262626;\"\u003eTamaño cerrado 170 x 244 mm\u003c\/span\u003e\u003c\/li\u003e\n\u003cli\u003e\u003cspan style=\"color: #262626;\"\u003e304 páginas interiores\u003c\/span\u003e\u003c\/li\u003e\n\u003cli\u003e\u003cspan style=\"color: #262626;\"\u003eTapa rústica\u003c\/span\u003e\u003c\/li\u003e\n\u003cli\u003e\u003cspan style=\"color: #262626;\"\u003eEncuadernación lomo cuadrado\u003c\/span\u003e\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003cp data-mce-fragment=\"1\"\u003e\u003cspan style=\"color: #262626;\"\u003e\u003cspan style=\"color: #262626;\"\u003eEn Webook cuidamos el medio ambiente, imprimimos lo justo y este libro lo haremos especialmente para ti \u003cmeta charset=\"utf-8\"\u003e\u003c\/span\u003e\u003c\/span\u003e\u003c\/p\u003e\n\u003cp\u003e \u003c\/p\u003e","brand":"Bibliomanager","offers":[{"title":"Default Title","offer_id":46775446044809,"sku":"001-0000290286","price":54000.0,"currency_code":"CLP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0688\/5703\/6937\/files\/602628_IMAGEN_TAPA_G_001_d04e43ff-843f-4055-958d-b6fa2636b342.jpg?v=1779273871","url":"https:\/\/webook.cl\/products\/time-and-space-in-formal-logic","provider":"WeBook","version":"1.0","type":"link"}