Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore a novel programmatic methodology for semantic theory development in this Berkeley Seminar lecture by Benjamin Brast-McKie. Learn how model-checker software can revolutionize the prototyping and exploration of semantic theories by addressing key shortcomings in traditional philosophical logic methodologies. Discover how the presented model-checker leverages the SMT solver Z3 to systematically rule out finite countermodels of specified sizes, providing robust evidence for logical consequences. Understand the implementation of programmatic semantics that streamlines the exploration of complex semantic theories while offering modular, combinable frameworks for comparing different theoretical approaches. Examine the practical applications in hyperintensional semantics, where increased theoretical complexity reflects the discipline's maturity rather than representing limitations. Gain insights into collaborative features through TheoryLib integration that facilitates theory sharing and joint research efforts. Witness how computability serves as an objective measure for evaluating theoretical virtues alongside traditional criteria. Conclude with a concrete demonstration of the workflow, illustrating how this programmatic approach enhances both the development and accessibility of semantic research for future advancement in the field.
