$Trump ordered government agencies to prepare for mining the ocean floor.
Just because it is legal does not mean you should do it. Permission is not obligation.
Just say no. They have no power if you ignore them.
$Trump ordered government agencies to prepare for mining the ocean floor.
Just because it is legal does not mean you should do it. Permission is not obligation.
Just say no. They have no power if you ignore them.
I’m in Amsterdam, about to give a talk about proof theory for modal predicate logic at the ILLC, the home base of the modal industrial complex. I have no idea how this is going to go over, but it should be a fun ride, however it turns out.
I'm glad to have space to get to writing, and the first writing project of my sabbatical has reached first-draft stage. If you're interested in modal logic, proof theory, and the metaphysics of contingent existence, have I got the paper for you!
https://consequently.org/writing/mlce-ge2/
I've got to say, I think the hypersequent calculus in this paper is pretty neat.
It’s a cloudy and cold Tuesday, and I’m inside writing about refinement.
At least I *think* I understand what I’m doing a bit better than Mark S and his team of macrodata refiners do.
(That’s an inappropriate #Severance, #prooftheory #ModalLogic and #ClickyKeyboard crossover post. I’m sorry about that.)
The Nordic Logic Summer School is now in full swing here in Reykjavík. I’ve given my first proof theory class, and Rineke Verbrugge is introducing modal logic and social cognition.
Today's #blog looks at a general, albeit oddly controversial, recipe for generating sequent calculi from possible worlds https://blogs.fediscience.org/the-updated-scholar/2024/05/24/discussing-proof-analysis-in-modal-logic/ #logic #modalLogic
Today's #blog , delayed a few weeks as I waited for a physical copy of the book, looks at the (or maybe 'a'?) standard textbook on #ModalLogic https://blogs.fediscience.org/the-updated-scholar/2024/04/23/discussing-modal-logic/ #logic
Today's #blog is about a fascinating recent development in our understanding - or perhaps exposure of our lack of understanding - of intuitionistic #modalLogic https://blogs.fediscience.org/the-updated-scholar/2024/04/05/discussing-on-intuitionistic-diamonds-and-lack-thereof/ #logic
I've had a lot of fun this week combing through some old intuitionistic #ModalLogic papers for my #blog . Does anyone know anything, other than what is in her papers, about the career of the logician Gisèle Fischer Servi? https://blogs.fediscience.org/the-updated-scholar/2024/03/22/discussing-on-modal-logic-with-an-intuitionistic-base/ #logic #WomenInLogic
On my #blog today we discuss how Moggi's calculus of #monads can be seen as a #ModalLogic https://blogs.fediscience.org/the-updated-scholar/2024/02/27/discussing-computational-types-from-a-logical-perspective/ #logic
What is the difference between a Kripke frame and a frame skeleton in modal logic?
Did you know that some people will refuse a slice of cake if you don’t give them a chance to eat the whole cake?
Also, did you know that there is no point in driving anywhere if you can’t travel at the speed of light?
#ModalLogic #Capitalism #IncomeCap
In this week's #blog I talk about a paper I know very well, Davies and Pfenning's 'A Modal Analysis of Staged Computation' https://updatedscholar.blogspot.com/2023/02/discussing-modal-analysis-of-staged.html #ModalLogic #CurryHoward
Let’s ask ChatGPT the truly serious questions, starting off with some quantified modal logic and the necessitism/contingentism debate.
(Unsurprisingly, it sounds like an undergraduate who has some sense of what the words mean but hasn't done the work and is doing a bad job of word association and looking up Wikipedia summaries.)
Doctor Logic Awkwardly Does Logic
What is Logic? #216: Four Modal Reduction Principles in S4