I am studying via correspondence and learning these concepts from a textbook is tough and often tedious. This Logic series has been a game changer for me. Th explanations of these concepts are so easy to follow and understand and Mark really draws you in to the subject. While it might not be everyone's cup of tea, logic is something that everyone should dip their toes into at some point. Thank you Mark, great series!
Thanks so much for this comment - that’s exactly why I make these videos, and it’s great to hear that they’re helping! Good luck on the course - feel free to drop questions here!
If three is a logic for all there exist and necessary and necessarily , nessacity like modal is there a logic for whatever because it can be used in construct in functional programming and chip level where you can change logic to computation is it out there but diamond and square means necessity but acessable in your terms is bit confusing
There's logics of computation - usually based on intuitionistic logic and intuitionistic type theory. There, proofs are identified with possible computations, or possible runs of the system.
I know this is old, but I just face a bit of curiosity enticing me. It seems that these modal symbols have to do with the relational states instead of the state itself, (ie. Describes something about the states around it that are accessible).
The symbols [] and aren’t really about states at all - they’re about the status of propositions, necessary or possible. They’re interpreted as quantifiers over related states. Not sure that was what you were asking tho!
Hello I was just confused about something, if the negation appears before the diamond and the square do we pull the negation to the variable and turn the diamond into a square and vice versa? Thanks!
you're so good at teaching logic
Thanks Andrea! Hope your teaching is going well.
I am studying via correspondence and learning these concepts from a textbook is tough and often tedious. This Logic series has been a game changer for me. Th explanations of these concepts are so easy to follow and understand and Mark really draws you in to the subject. While it might not be everyone's cup of tea, logic is something that everyone should dip their toes into at some point. Thank you Mark, great series!
Thanks so much for this comment - that’s exactly why I make these videos, and it’s great to hear that they’re helping! Good luck on the course - feel free to drop questions here!
Your teaching is so easy to follow. Could you possibly make a video about tense logics in the future?
Thanks! Good suggestion, I’ll give it a go.
This is the first time I’ve seen you build new worlds with necessity operator I wasn’t sure if you could do that
If three is a logic for all there exist and necessary and necessarily , nessacity like modal is there a logic for whatever because it can be used in construct in functional programming and chip level where you can change logic to computation is it out there but diamond and square means necessity but acessable in your terms is bit confusing
There's logics of computation - usually based on intuitionistic logic and intuitionistic type theory. There, proofs are identified with possible computations, or possible runs of the system.
@@AtticPhilosophy sure sir I will try
I know this is old, but I just face a bit of curiosity enticing me. It seems that these modal symbols have to do with the relational states instead of the state itself, (ie. Describes something about the states around it that are accessible).
The symbols [] and aren’t really about states at all - they’re about the status of propositions, necessary or possible. They’re interpreted as quantifiers over related states. Not sure that was what you were asking tho!
@@AtticPhilosophy OH! Yes, that makes it much clearer and makes more sense that way. Thank you!
Hello I was just confused about something, if the negation appears before the diamond and the square do we pull the negation to the variable and turn the diamond into a square and vice versa? Thanks!
If you have ~A True, turn it into A False, and similarly, ~A False becomes A True.