Modal logic
Hello Rabbi,
I saw a video on YouTube about two philosophical theses, necessity and possibility (I don’t know if this is a good translation). Possibility is what sounds logical to me, meaning that there are objects whose existence is possible. Necessity means that all objects have a necessary existence, but their realization in reality is possible and not necessary. Starting in the middle of the video, he brings an argument from formal modal logic that necessity is correct. I would love to hear what the rabbi thinks about his argument. The argument is based on the following formula (from Wikipedia), which also mentions this argument.
https://en.m.wikipedia.org/wiki/Barcan_formula
I think the solution is to deny the correctness of the above formula, I would love to hear your opinion.
Best regards,
monument
I don’t answer questions that send me off to do homework. If you want to ask, be respectful and make the argument, then formulate a question about it.
Regarding the fallacies and analysis of modal logic arguments, there are several columns on this site that deal with this. See columns 580, 160, 301, and more.
On the surface, it seems to describe a well-known argument that arises in relation to the Barcan formula. Perhaps I will touch on this in the future.
Thanks for the answer, I thought my wording would be inaccurate and I think this argument could interest you nonetheless.
Detailed answer here: https://mikyab.net/posts/85953/#comment-81310
Leave a Reply
Please login or Register to submit your answer
