Abstract: Ontologies play an important role in computer science and, in particular, artificial intelligence. In this lecture, I will give an overview of the various types of ontologies developed in computer science and how they are used. I will discuss the relationship between ontology in philosophy and ontologies in computer science. Finally, I will discuss the role of logic in ontology engineering and relate it to the role of logic in the philosophy of science
题目：关于度量和拓扑的模态逻辑（Modal Logic for Metric and Topology）
Abstract: In philosophical logic, metric and topological spaces have been proposed as a natural semantics for logics of space, similarity logics, conditional logics, and epistemic logics. In this lecture, I will discuss these logics and introduce a uniform way to derive them from a basic set of modal operators.
Abstract: Strongly positive (SP) modal logic is the fragment of classical modal logic based on implications between SP-formulas built from propositional variables, conjunction and modal diamond operators. We discuss the origins of strongly positive modal logic in provability logic, universal algebra and artificial intelligence. We then observe that SP modal logic has two natural semantics: the standard modal Kripke semantics and the algebraic semantics given by meet-semilattices with monotone operators. We discuss the foundations of a completeness theory that aims to answer the question whether the two semantics define the same SP modal logic.
Abstract: Description logics are a family of knowledge representation languages that provides the logical underpinning of the web ontology standard OWL that has been used in the development of the majority of real world ontologies. In this lecture I provide an introduction into description logic as a logical formalism.
题目：Authority and Utility in Spinoza: From Epicureanism to Neoliberalism?
主讲人简介：Western Sydney University (Deputy Chair of Philosophy)
主讲人： Abelard Podgorski
主讲人简介：National University of Singapore
题目：Objective Rights and Epistemic Risks: Beyond Subjective Permissions
主讲人：Renee Bollinger Jorgensen
主讲人简介：Australian National University / Princeton University