這個問題是:“我如果問你的弟弟:‘教堂在島的東頭,還是在島的西頭?他將會如何回答我?”
本題是形式邏輯中二難推理的運(yùn)用。米諾是根據(jù)二難推理原理而提出問題的。為什么米諾提出這個問題,并根據(jù)貝魯奇的回答就能推知教堂的正確位置?
米諾是這樣推理的:
設(shè):教堂的正確位置在島的東頭。
如果貝魯奇說真話,那么,他的弟弟就說假話。這樣,貝魯奇的弟弟在回答“教堂在島的東頭,還是在島的西頭?”這一問題時就會說:“教堂在島的西頭”。這時,說真話的貝魯奇就會如實地對米諾轉(zhuǎn)述弟弟說的這句話。
如果貝魯奇說假話,那么,他的弟弟說真話。這樣,貝魯奇的弟弟在回答“教堂在島的東頭,還是在島的西頭?”這一問題時,就會說:“教堂在島的東頭。”這時,說假話的貝魯奇就會對米諾說“我的弟弟將會說‘教堂在島的西頭”。
或者貝魯奇說真話,或者貝魯奇說假話,總之,當(dāng)教堂的正確位置在島的東頭時,貝魯奇總是說:“我的弟弟將會說:‘教堂在島的西頭?!?/p>
設(shè):教堂的正確位置在島的西頭。
推理過程同。
所以,如果貝魯奇說:“我的弟弟將會說‘教堂在島的東頭”,那么,教堂的正確位置是在島的西頭。相反,如果貝魯奇說:“我的弟弟將會說‘教堂在島的西頭”,那么,教堂的正確位置是在島的東頭。