You are viewing the historical archive of The Philosophy Forum.
For current discussions, visit the live forum.
Go to live forum

Need help with the proof of Barcan Formula

zpbeginner February 02, 2018 at 12:22 1900 views 4 comments
Hello, dear Philosophy Forum community,

I am a beginner in modal logic and this is my first post here. I am having some trouble with the proof of the Barcan Formula. If some good person who is also a logician could write me a private message (is there such a possibility?), I would really appreciate it!

Best wishes,
ZP

Comments (4)

fdrake February 02, 2018 at 12:43 #149065
MindForged February 02, 2018 at 13:47 #149076
What problem are you having with it?
zpbeginner February 02, 2018 at 13:47 #149077
Dear fdrake,

I'm afraid there has been a misunderstanding - it is not that I can't find the proof anywhere, it's that I have some questions related to the proof.

Best,
ZP
fdrake February 02, 2018 at 14:37 #149091
Reply to zpbeginner

Apologies for combativeness. Usually when people want a little help on some logic problem on here, especially from a new account, they just want a solution.