形式哲學家和邏輯學家 科伊思正在尋找一位熱情且有才華的哲學家和邏輯學家，致力于開發一套連貫的概念、哲學和方法基礎，并由精確的認識論加以整合，從而為人工智能奠定科學基礎。 職責： 1.參與開發一套連貫的概念、哲學和方法基礎，并由精確的認識論加以整合。精確的認識論應在為此目的而設計的模態邏輯框架中構建。 2.參與開發能夠處理規律性、合法性和趨勢性的信息提取的一般形式理論。 3.參與開發智能理論。除了開發一個連貫的概念體系外，還必須開發出可以實施各種認知功能的形式邊界。與此相關，要對各種哲學思考進行闡釋，如休謨、康德、皮爾士、波普爾等的思想。 4.參與開發實現認知功能的推理方法的一般理論和方法。開發歸納、類比、溯因和演繹的一般方法，這些方法可用于綜合實現各個認知功能的過程。 5.參與開發不同類型有效性和真值的處理方法，確保在認知過程的多層次實施中對各種類型的真理進行綜合處理。 6.參與開發精確認識論的形式理論和模態邏輯框架，其中對本體論問題的處理也是不可或缺的一部分。 Expectations from the job applicant for formal philosophers and logicians COIOS (Tianjin) is looking for an enthusiastic and talented philosopher and logician researcher with keen attention to establishing the scientific foundation for AI by developing a coherent set of conceptual, philosophical, and methodological foundations, held together by a precise epistemology. Responsibilities (i)Participation in the development of a coherent set of conceptual, philosophical, and methodological foundations, held together by a precise epistemology. The precise epistemology should be built up in a modal logical framework designed for this purpose. (ii)Participation in the development of the general formal theory of information extraction, which can handle both regularity, lawfulness, and tendency. (iii)Participation in the development of the theory of intelligence. In addition to developing a coherent conceptual system, the formal boundaries within which various cognitive functions can be implemented must be developed. In connection with this, various philosophical considerations are interpreted, such as Hume, Kant, Peirce, Popper, etc. (iv)Participation in the development of the general theory and methodology of reasoning methods that realize cognitive functions. The development of general methods of induction, analogy, abduction and deduction, which can be used to synthesize the processes that implement individual cognitive functions. (v)Participation in the development of the treatment methodology for different types of validity and truth value, which ensures the integrated treatment of various types of truth in the multi-level implementation of cognitive processes (vi)Participation in the development of the formal theoretical and modal logical framework of precise epistemology, of which the treatment of ontological questions is also an integral part 資質與技能： 潛在候選人應具備的預期學術和專業技能： 英語聽說讀寫流利，要求大學英語四級（CET - 4）及以上水平，或具備同等英語能力，能滿足日常工作中的英語使用需求，可做無障礙國際交流。 1.擁有哲學碩士或博士學位，專業方向為數理邏輯。 2.了解經典和非經典數理邏輯。 3.了解以數理邏輯為導向的人工智能基礎的形式哲學方法。 4.了解相關方法和途徑。 5.具有創造性思維，可以發現新機會。 6.對發現和開發新解決方案有科學興趣。 7.具有有充分、透徹且令人信服的數學基礎知識。 8.具備出色的溝通技巧。 9.樂于在團隊協作的環境中工作。 工作地點及薪資待遇： 1.工作地點：天津或北京。 2.薪資待遇：根據能力和崗位匹配度，薪資可面議。

?Salary： The salary is negotiable based on abilities and person-job fit.