BEGIN:VCALENDAR VERSION:2.0 PRODID:researchseminars.org CALSCALE:GREGORIAN X-WR-CALNAME:researchseminars.org BEGIN:VEVENT SUMMARY:Gil Sagi (U of Haifa) DTSTART:20201210T190000Z DTEND:20201210T200000Z DTSTAMP:20260423T035639Z UID:OLS/39 DESCRIPTION:Title: For malization\, Commitments and Constraints\nby Gil Sagi (U of Haifa) as part of Online logic seminar\n\n\nAbstract\nThe topic of this talk is form alization: the assignment of formal language arguments to natural language arguments for the sake of evaluating the latter's validity. It has been r ecognized in the literature that formalization is far from a trivial proce ss. One must discern the logical from the nonlogical in the sentence\, a p rocess that requires theorizing that goes beyond the mere understanding of the sentence formalized (Brun 2014). Moreover\, according to some\, forma lization is a form of explication\, and it "involves creative and normativ e aspects of constructing logical forms" (ibid).\n\nIn previous work\, I p roposed a model-theoretic framework of "semantic constraints\," where ther e is no strict distinction between logical and nonlogical vocabulary. The form of sentences in a formal language is determined rather by a set of co nstraints on models. In the talk\, I will show how this framework can also be used in the process of formalization\, where the semantic constraints are conceived of as commitments made with respect to the language. I will extend the framework to include "formalization constraints" on functions t aking arguments from a source language to a target language\, and I will c onsider various meta-constraints on both the process of formalization and its end result.\n LOCATION:https://researchseminars.org/talk/OLS/39/ END:VEVENT END:VCALENDAR