可知性是知識(shí)論中的一個(gè)重要概念，“是否任何事實(shí)都可知？”這一問(wèn)題貫穿了知識(shí)論發(fā)展的歷史。費(fèi)奇指出，從一個(gè)看起來(lái)非常自然的原則“所有真理都可能被知道”出發(fā)，我們能在邏輯中推導(dǎo)出一個(gè)不可接受的結(jié)論：“所有真理都已經(jīng)被知道”。這一現(xiàn)象被稱(chēng)為費(fèi)奇的可知性悖論。現(xiàn)代知識(shí)論對(duì)于可知性問(wèn)題的探討主要圍繞著悖論產(chǎn)生的原因、對(duì)悖論的解決方案以及為可知性給出更恰當(dāng)?shù)男问娇坍?huà)而展開(kāi)。其中，一個(gè)較為主流的對(duì)可知性的形式刻畫(huà)是用動(dòng)態(tài)的方法把可知性解釋為主體在某個(gè)公開(kāi)宣告之后知道。這一思想深刻地影響了后面包括任意公開(kāi)宣告邏輯（APAL）等一系列可知性邏輯的發(fā)展。
講座將介紹一類(lèi)基于“知道如何”的可知性邏輯——HAPAL，它從內(nèi)在主義的視角出發(fā)，以問(wèn)題作為主體獲取知識(shí)的途徑。在HAPAL中，可知性被刻畫(huà)為主體知道如何通過(guò)提問(wèn)并獲得正確的答案以獲取知識(shí)。與此前APAL刻畫(huà)的可知性不同，在HAPAL中主體并不總能在某個(gè)公開(kāi)宣告之后就知道一個(gè)命題是否為真，而是需要根據(jù)命題的具體形式，調(diào)整提問(wèn)的方式才能最終知道這個(gè)命題是否為真。從邏輯上看，HAPAL是“知道如何”邏輯和APAL的自然結(jié)合，HAPAL語(yǔ)言中的初始模態(tài)算子也可以被視為此前的“知道如何”邏輯中的“知道如何”算子，在語(yǔ)義上它們擁有同樣的?K打包結(jié)構(gòu)。在這一語(yǔ)義定義下，HAPAL本質(zhì)性地有別于A(yíng)PAL及其現(xiàn)有的各種邏輯變體。我將從表達(dá)力、緊致性、有窮公理化和可判定性等幾個(gè)方面介紹和展示HAPAL一些特別的邏輯性質(zhì)。