Tag: Formal

A Thought Experiment in the Development of the Formal Sciences

Last Monday I stayed up all night writing, working on several different projects, among them some remarks on formalism from 1998 that I had disinterred exactly a year ago and was turning into a paper on formalism in December 2022. I didn’t go to bed until after 7:00 am, but that’s okay a...

Formal semantics with as little math as possible

I was writing something up about presuppositions when I realized that I really wanted to be able to write things somewhat formally. So for the purposes of building our shared vocabulary, I decided to write a layperson’s guide to formal semantics. I’m writing it up in the way that most he...