Chapter One: Constructions. Entities, constructions, and functions When one travels from Los Angeles to New York, going, say, by way of St. Louis, Chicago, ...

Daniel Nolan successfully predicted a hyperintensional revolution in metaphysics in his 2014 paper ‘Hyperintensional Metaphysicsʼ. He argued that hyperintensionality is not restricted to representations. However, it seems that one of the most promising candidates for non-representational hyperintensionality has not yet been considered as such: art. We will argue that art can provide a rather strong case for non-representational hyperintensionality. One reason for this is that the hyperintensionality of art cannot be captured via a representational kind of hyperintensionality.

In this paper, I list various kinds of ‘plurality’ in philosophical investigations. By plurality, I mean a plurality of methodological criteria which we apply to philosophical phenomena and which are very often incompatible with each other. Any philosophical phenomenon can be approached from different methodological viewpoints and result in utterly different ontological and ideological commitments. In other words, I assume that one philosophical problem can have different solutions which depend on different methodological and theoretical presuppositions. Instead of considering this feature (...) of philosophical theories as a problem, I take this plurality as a natural meta-philosophical result. As an example, I consider impossible phenomena and ways of treating them systematically. (shrink)

This paper examines the structure of moral paradoxes, arguing that moral dilemmas are grounded in moral agents and necessitate the same explanation as the logical behavior of these agents. Consequently, logical and moral laws derive from a different source than nomological and metaphysical laws. Furthermore, it is asserted that logical and moral laws are pluralistic in nature, permitting numerous logical deviations without leading to absurdity.

We prove an exponential lower bound on the length of cutting plane proofs. The proof uses an extension of a lower bound for monotone circuits to circuits which compute with real numbers and use nondecreasing functions as gates. The latter result is of independent interest, since, in particular, it implies an exponential lower bound for some arithmetic circuits.

This essay explores the distinct characteristics of Russian technical thinking within the framework of Yuk Hui’s concept of cosmotechnics. Hui’s proposal emphasizes “good technology,” which aligns with local cosmological perspectives and moral practices, as an essential component of the technosphere’s decolonization. The analysis contrasts Russian approaches to technical creativity with those of the West and China, highlighting the synthesis of collective and individual efforts through archetypal imagery such as the campfire and the reverence for “bookish wisdom.” Central to the essay (...) is the idea that Russian technical thinking, rooted in cosmism and conciliarity, integrates multidimensional understanding and co-creation with God, fostering a sense of universal responsibility. This perspective manifests in the prioritization of theoretical knowledge, unconventional problem-solving, and the moral imperative to serve humanity. Despite similarities to Western technological practices in material aspects, Russia’s unique contributions lie in its social technologies and motivational frameworks, which remain underexplored within global perspectives. The essay argues that these features provide a valuable addition to cosmotechnics and demonstrate the potential for alternative intellectual trajectories beyond Western paradigms. (shrink)

The paper deals with such a modification of genuine modal realism as to accommodate impossible worlds into its ontology. First of all, the theory of modal realism is presented. Next, several motivations for the acceptance of impossible worlds are adduced. Further, Lewis’s argument against impossible worlds is presented. It is argued that the argument can be weakened by rejection of one of its premises. Finally, two objections against the proposal are countered. Although my strategy accounts for the Opinion concerning the (...) impossible, it allegedly violates another Opinion which conceives the reality classical. It seems, however, that there is no no-question-begging reason to think that reality is classical. How can we know, after all, which logic describes reality? Without a definite answer to the question, the incredibility objection then simply collapses into a statement of a possibilist dogma. (shrink)

Modal phenomena in general, and modal claims in particular, present a problem for contemporary philosophers. The truth conditions of modal claims differ from those of nonemodal claims. I discuss a widely accepted strategy that posits possible and impossible worlds in order to analyze modal claims and thus systematize our intuitions about modal reality.

The aim of this paper is to provide an analysis of modality by means of the existence of concrete impossible worlds. In particular, I pursue a strategy according to which logical impossibility is analyzed as logical inaccessibility. I then consider whether it makes sense to think of logical models in isolation from the concrete world but without their being divorced from all spatiotemporal totalities. The metaphysics of structure developed in this paper assumes that structural properties of possible and impossible worlds (...) are primitive and objective. However, I provide some characterizations of their logical and metaphysical behavior, as well as guidelines for talking about them. (shrink)

I argue that modal realism is unable to account for fictional discourse. My starting point is an overview of modal realism. I then present a dilemma for modal realism regarding fictional characters. Finally, I provide responses to both horns of the dilemma, one motivating modal dimensionalism, the other motivating a disjunctive analysis of modality.

The paper defends the so-called extended modal realism, a theory according to which there are concrete impossible worlds. Firstly, modal realism is presented. Next, the way of how its ontology enriched by impossible worlds should look like in order to save its main theoretical virtues is pursued. Finally, I argue for a claim that metaphysical impossibility equals to dissimilarity between worlds instantiating distinct metaphysical structures.

Possible-worlds semantics proved itself as a strong tool in analysing the statements of actuality, possibility, contingency and necessity. But impossible phenomena go beyond the expressive power of the apparatus. The proponents of possible-worlds apparatus thus owe us at least three stories. The first one is the story about ontological nature of possible worlds, the second one is the story about the theoretical role such entities play and the third one is the story about the impossible. Modal Realism (MR) provides us (...) with a positive story regarding the first and the second, but denies impossible worlds. Extended Modal Realism (EMR) adds a positive story about the third point too. This book is an attempt to paraphrase extended modal realism in different metaphysical frameworks. In Chapter I, I outline the theory of modal realism, its systematic account of modality and its ontological commitments. I also motivate an impossible-worlds discourse as well as a systematic appeal of extending the picture beyond the possible. I then propose several definitions of the concept of ‘impossible world’ (or impossible possible world). Finally, I discuss a particular metaphysics behind the concept - extended modal realism. Chapter II considers the epistemological worry associated with (MR) and (EMR) and concludes that although the worry is justified, there can be epistemological justification of the theory. Next, I outline the so-called indispensability argument for the legitimacy of mathematical Platonism. Finally, I argue that the argument, if accepted, can be applied to metaphysics in general, to the existence of concrete possibilia (and impossibilia) in particular. Chapter III focuses on the analysis of (EMR). To be more precise, I present a so-called advanced modalizing problem which seems to be infecting every genuinely realistic theory of modality. In this chapter, I propose a way of treating extraordinary modal claims by means of plurality of logical spaces. The next three chapters provide different ways of understanding (EMR). Namely, Chapter IV develops and defends Extended Modal Dimensionalism (EMD). (EMD) is realism about spaces, times and worlds—metaphysical indices that make objects spatial, temporal and modal, respectively. Metaphysical indices play the role of alethic relativisers, i.e. items to which matters of truth are relativized. The chapter examines several arguments against modal dimensionalism and shows that it offers a feasible way to understand (EMR). Chapter V offers a structural approach to possible and impossible worlds: Extended Modal Structuralism (EMS). In particular, I consider whether it makes sense to think of logical models in isolation from the concrete world but without their being divorced from all spatiotemporal totalities. The metaphysics of structure developed in this chapter assumes that structural properties of possible and impossible worlds are primitive and objective. However, I provide some characterisations of their logical and metaphysical behaviour, as well as guidelines for talking about them. Finally, Chapter VI proposes yet another metaphysical framework of hybrid modal realism. I present theories of (MR), (EMR) and modal fictionalism respectively, their advantages and drawbacks. Finally, I propose a so-called hybrid view. Roughly, the view is that one might be a modal realist when it comes to possibilia, but turn into fictionalism regarding impossibilia. The approach is dubbed Extended Modal Fictionalism (EMF) a version of fictionalism according to which claims made within a certain discourse are better to be understood as a sort of ‘fiction’, rather than as a literal truth. (shrink)

We give an exponential lower bound on the number of proof-lines in intuitionistic propositional logic, IL, axiomatised in the usual Frege-style fashion; i.e., we give an example of IL-tautologies A1,A2,… s.t. every IL-proof of Ai must have a number of proof-lines exponential in terms of the size of Ai. We show that the results do not apply to the system of classical logic and we obtain an exponential speed-up between classical and intuitionistic logic.

In this paper we argue that Aristotle operates with a particular theoretical model in his explanation of animal locomotion, what we call the ‘centralized incoming and outgoing motions’ model. We show how the model accommodates more complex cases of animal motion and how it allows Aristotle to preserve the intuition that animals are self-movers, without jeopardizing his arguments for the eternity of motion and the necessary existence of one eternal unmoved mover in Physics VIII. The CIOM model helps to elucidate (...) Aristotle’s two central yet problematic claims, namely that the soul is the efficient cause of animal motion and that it is the internal supporting-point necessary for animal motion. Moreover, the CIOM model helps us to explain the difference between voluntary, involuntary and non-voluntary motions, and to square Aristotle’s cardiocentrism with his hylomorphism, but also, more generally, it provides an interesting way of thinking about the place of intentionality in the causal structure of the world. (shrink)

The article offers a rigorous explication of the intuitive notion of verisimilitude, I.E., Of the distance of a theory from the truth. The proposal is defended against charges of material inadequacy made by popper, Niniluoto, And miller.

Actual facts abound and actual propositions are true because there is a world, the actual world, that the propositions correctly describe. Possibilities abound as well. The actual world reveals what there is, but it is far from clear that it also reveals what there might be. Philosophers have been aware of this limitation and have introduced the notion of a possible world. Finally, impossibilities abound because it turned out that possibilities do not exhaust the modal space as a whole. Beside (...) the actual facts, and facts about the possible, there are facts about what is impossible. In order to explain this, philosophers have introduced the notion of an impossible world. -/- This article is about impossible worlds. First, there is a presentation of the motivations for postulating impossible worlds as a tool for analysing impossible phenomena. This apparatus seems to deliver great advances in modal logic and semantics, but at the same time it gives rise to metaphysical issues concerning the nature of impossible worlds. Discourse about impossible worlds is explained in Sections 2 and 3. Section 4 provides an overview of the theories in discussion in the academic literature, and Section 5 summarises the drawbacks of those theories. Section 6 takes a closer look at the logical structure of impossible worlds, and Section 7 discusses the connection between impossible worlds and hyperintensionality. (shrink)

The paper deals with such a modification of genuine modal realism as to accommodate impossible worlds into its ontology. First of all, the theory of modal realism is presented. Next, several motivations for the acceptance of impossible worlds are adduced. Furthermore, Lewis’s argument against impossible worlds is denied. Then, it is argued that the same methodology as in the case of possible worlds can be used when impossibilia are at issue. Finally, the theory of extended modal realism is formulated.

Modal dimensionalism is realism about spaces, times and worlds—metaphysical indices that make objects spatial, temporal and modal, respectively, and that play the role of alethic relativizers, i.e. items to which matters of truth are relativized. This paper examines several arguments against MD and shows that MD offers a feasible way to understand modal discourse.

Leopoldo Zea was one of the most influential philosophers of the twentieth century. Though in English-language scholarship Zea is known primarily as a historian of ideas, his philosophical producti...

It is well known that the manner in which a definitely descriptive term contributes to the meaning of a sentence depends on the place the term occupies in the sentence. A distinction is accordingly drawn between ordinary contexts and contexts variously termed non-referential, intensional, oblique, or opaque. The aim of the present article is to offer a general account of the phenomenon, based on transparent intensional logic. It turns out that on this approach there is no need to say (as (...) Frege does) that descriptive terms are referentially ambiguous or to deny (as Russell does) that descriptive terms represent self-contained units of meaning. There is also no need to tolerate (as Montague does) exceptions to the Principle of Functionality. The notion of an ordinary (i.e., non-intensional) context is explicated exclusively in terms of logical structure and it is argued that two aspects of ordinariness (termed hospitality and exposure) must be distinguished. (shrink)

The article offers a rigorous truth condition for subjunctively conditional statements. The theory is framed in the system of transparent intensional logic and takes connections (especially the cause-Effect relation) as basic. Counterexamples are given to rival theories based on the notion of world similarity.

Buzaglo (as well as Manders (J Philos LXXXVI(10):553–562, 1989)) shows the way in which it is rational even for a realist to consider ‘development of concepts’, and documents the theory by numerous examples from the area of mathematics. A natural question arises: in which way can the phenomenon of expanding mathematical concepts influence empirical concepts? But at the same time a more general question can be formulated: in which way do the mathematical concepts influence empirical concepts? What I want to (...) show in the present paper can be described as follows. The problem articulated by Buzaglo deserves some semantic refinements. Following explications are needed: What is meaning? (In particular: What are concepts?) What are questions? (Or, equivalently: Semantics of interrogative sentences.) -/- Further, a useful notion will be the notion of problem. Taking over the notion of conceptual system from Materna (Conceptual Systems. Logos, Berlin, 2004) and using Tichý’s Transparent intensional logic (TIL) I can try to solve the problem of the relation between mathematical and empirical concepts (not only for the case of expanding some mathematical concepts). (shrink)

This essay sheds additional light on the biographies and fates of Ayn Rand’s closest relatives in the Soviet Union and abroad after young Alissa Rosenbaum left the “country of workers and peasants” in 1926 for the pursuit of a new life in the United States. Previously unknown facets of her relatives’ lives were intertwined with the complex and often tragic historical events of the first half of the twentieth century. Among these relatives are victims of the German blockade of Leningrad, (...) a music teacher, a European bacteriologist, a doctor who was twice a refugee, and a Soviet Medical Service Corps officer. (shrink)

Theories of possible worlds abound. Since the introduction of modal logic, the term of a possible world, and the very nature of an entity denoted by the term, have stood on the top of metaphysical inquiries. A possible world, roughly speaking, is a complete way things could have been. On the face of it, whatever is possible takes place in some possible world, and whatever is not possible, does not. The aim of the present book is to argue that even (...) impossible things happen. By taking David Lewis’s Modal Realism (henceforth as “MR”) seriously, I claim that besides infinitely many concrete ways things could have been, there exist ways things could not have been. I call them concrete impossible worlds. In Chapter I, I outline Lewis’s well-defined conception of philosophical analysis. I present its structure, aims, methodology and criteria for success. Besides the virtues of the Lewisian conception, I point out several limitations the theory has and offer very simple solution: the admission of concrete impossible worlds. In Chapter II, I present a version of an epistemological objection against MR and a positive account in favour of Modal Fictionalism (henceforth as “MF”). I then present the puzzle in this matter and attempt to generalise my point. 9 Introduction Chapter III demonstrates how flexible Lewis’s theory is. I consider a putative impossibility of there being island universes – spatiotemporally disjoint spacetimes – and show what a proponent of modal realism can do in order to account for it. I present three possible moves: a revision of our pre-theoretical opinions, a modification of our definitions and, finally, an ex- tension of our metaphysical commitments. I consider two ersatz theories of impossible worlds in Chapter IV. In particular, I scrutinize Franz Berto’s and Edwin Mares’s (hybrid) theories of MR. Although I admit that the theories radically extend the scope of applications of MR without extending its metaphysical commitments, the approaches do have some limits. Finally, in Chapter V, I present Extended Modal Realism (henceforth EMR), a theory according to which the best way to go in order to account for impossible phenomena is to ex- tend our metaphysical base by genuine impossibilia. I try to (at least) weaken, if not meet, the crucial objections to the proposal. Namely, I challenge the proclaimed universality of classical logic and, subsequently, motivate certain kind of paraconsistent approach to modal reality. Although the consequences are very hard to swallow, I argue that it is because of the fact that we are unsure of our pre-theoretical opinions concerning the impossible. (shrink)

his essay is about the incredulous stare and its persistent role in the history of philosophy. This silent yet expressive gesture, often signaling disbelief or skepticism, serves as a kind of philosophical punctuation—a non-verbal response to ideas that challenge conventional thinking. From ancient dialogues to modern philosophical debates, the incredulous stare embodies the tension between accepted norms and provocative thought, prompting both parties in a philosophical debate to reassess their assumptions. The incredulous stare, while often seen as resistance to certain (...) theories, is not a decisive argument against them. Rather, I argue that it is a marker of deeper philosophical debates. (shrink)

Traxler, Pickering, and Clifton found that ambiguous sentences are read faster than their unambiguous counterparts. This so-called ambiguity advantage has presented a major challenge to classical theories of human sentence comprehension because its most prominent explanation, in the form of the unrestricted race model, assumes that parsing is non-deterministic. Recently, Swets, Desmet, Clifton, and Ferreira have challenged the URM. They argue that readers strategically underspecify the representation of ambiguous sentences to save time, unless disambiguation is required by task demands. When (...) disambiguation is required, however, readers assign sentences full structure—and Swets et al. provide experimental evidence to this end. On the basis of their findings, they argue against the URM and in favor of a model of task-dependent sentence comprehension. We show through simulations that the Swets et al. data do not constitute evidence for task-dependent parsing because they can be explained by the URM. However, we provide decisive evidence from a German self-paced reading study consistent with Swets et al.'s general claim about task-dependent parsing. Specifically, we show that under certain conditions, ambiguous sentences can be read more slowly than their unambiguous counterparts, suggesting that the parser may create several parses, when required. Finally, we present the first quantitative model of task-driven disambiguation that subsumes the URM, and we show that it can explain both Swets et al.'s results and our findings. (shrink)