This is an extended version of the lectures given during the 12-thConference on Applications of Logic in Philosophy and in the Foundationsof Mathematics in Szklarska Poręba. It contains a surveyof modal hybrid logic, one of the branches of contemporary modal logic. Inthe first part a variety of hybrid languages and logics is presented with adiscussion of expressivity matters. The second part is devoted to thoroughexposition of proof methods for hybrid logics. The main point is to showthat application of hybrid logics (...) may remarkably improve the situation inmodal proof theory. (shrink)

Since K. Fine’s influential criticism of modalism, many philosophers have agreed that we cannot understand the concept of essence with that of modality. However, some philosophers have resisted this mainstream position. In this paper, I examine N. Wildman’s claim that, unlike other versions of modalism, his version of modalism, namely Sparse Modalism can save modalism. I will argue first that if we introduce the notion of grounding into this debates, Wildman’s criticisms of other versions are significantly undermined. Next, I will (...) argue that since Sparse Modalism has an implicit commitment to grounding Wildman cannot blame revising other versions modalism with the concept of grounding. From these claims, I will conclude that the prospect of the success of modalism in general is at best dubious. Without the concept of grounding no version of modalism can succeed and with the concept of grounding no version is well motivated. (shrink)

Psychoontology is a philosophical theory of the cognizing subject and various related matters. In this article. I present two approaches to the discipline—the first proposed by Jerzy Perzanowski, the second by Jesse Prinz and Yoram Hazony. I then undertake to bring these into unity using certain ideas from Husserl and Frege. Applying the functor qua, psychoontology can be described as a discipline concerned with: (a) the cognizing subject qua being—this leads to the question: what kind of being is the subject (...) (is it an object?, simple or complex?, a process?) and what makes him/her/it possible; (b) being qua cognized, this leads to the question: under what conditions can we access the world? Since the notion of being qua cognized might seem peculiar, I present its context and discuss it in detail in the last section. (shrink)