Whyyyyy don't you have more views? It''s a shame I did not discover this channel before. Wonderful content, wonderful explanation for anyone who hasn't had close contact with this formal topic.
This is the kripke-style semantics, which is an alternative to Heyting algebras. There’s a feeling that, while formally good, the algebraic approach doesn’t make much philosophical sense in giving the meaning of intuitionistic logic.
They look similar but they’re up to different things. Logical models are fixing what sentences are valid. Automata are abstract models of computation. There *are* connections: automata over modal models is a technique for showing why modal logics are decidable. That’s more advanced stuff!
Very interesting indeed
Whyyyyy don't you have more views? It''s a shame I did not discover this channel before. Wonderful content, wonderful explanation for anyone who hasn't had close contact with this formal topic.
Thanks very much! Hopefully the views are coming in time. Glad this was useful!
No people care about logic like us
This is just what i was looking for , thanks!
How is this related to the Heyting algebra approach?
This is the kripke-style semantics, which is an alternative to Heyting algebras. There’s a feeling that, while formally good, the algebraic approach doesn’t make much philosophical sense in giving the meaning of intuitionistic logic.
Very nice explanation. I'm looking forward to your next video!
Thank you!
OK but can we ever get x->y without obtaining y?
Sure, you don’t need y to be verified to verify x->y. In a proof, deriving y on the assumption of x proves x->y.
Too few views! This is a really helpful video on a much-neglected subject.
Thanks Bobby, glad you liked it!
Is this equivalent to finite state automata?
They look similar but they’re up to different things. Logical models are fixing what sentences are valid. Automata are abstract models of computation. There *are* connections: automata over modal models is a technique for showing why modal logics are decidable. That’s more advanced stuff!
The idea of only having a state of information at-a-particular-state weirdly reminds me of like whitehead's process philosophy
Make a series on the logical arguments for and against god
Good idea! I'm planning a series on religion, but it's not something I want to rush.
haha im writing a chapter in my uni work on this right now
Good luck!