Posts

Showing posts with the label Logic

Writing Like a Logician (or, How Formal Logic Fixed My Sentences)

Do Angels Dream of Recursive Symbol Systems?

Martin-Löf and the Problem of Everything

Can Logic Be Beautiful?