Need help with the proof of Barcan Formula

zpbeginner February 02, 2018 at 12:22 2200 views 4 comments Logic & Philosophy of Mathematics

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 0 likes

Did you try Googling it?

MindForged February 02, 2018 at 13:47 ¶ #149076 0 likes

What problem are you having with it?

zpbeginner February 02, 2018 at 13:47 ¶ #149077 0 likes

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 0 likes

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.