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

Despite relative neglect in the literature, Kant’s published and unpublished writings in theoretical philosophy reveal a sustained and at times ambivalent effort to come to terms with the problem of miracles. Because they entail a form of supernatural causation that undermines the law-governedness of the order of nature, miracles pose a significant problem for Kant’s metaphysics. I explore in detail Kant’s account of miracles in conjunction with the relevant aspects of his metaphysics of nature in order to establish in what (...) sense miracles are possible, and how they fit into Kant’s architectonic more generally. (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.

Journal Name: Apeiron Issue: Ahead of print.

Of two false theories, One can be, Intuitively, Closer to the truth than the other. The purpose of the article is to propose a rigorous explication of this intuitive notion.

This collection of essays engages with several topics in Aristotle's philosophy of mind, some well-known and hotly debated, some new and yet to be explored. The contributors analyze Aristotle's arguments and present their cases in ways that invite contemporary philosophers of mind to consider the potentials--and pitfalls--of an Aristotelian philosophy of mind. The volume brings together an international group of renowned Aristotelian scholars as well as rising stars to cover five main themes: method in the philosophy of mind, sense perception, (...) mental representation, intellect, and the metaphysics of mind. The papers collected in this volume, with their choice of topics and quality of exposition, show why Aristotle is a philosopher of mind to be studied and reckoned with in contemporary discussions. Encounters with Aristotelian Philosophy of Mind will be of interest to scholars and advanced students of ancient philosophy and philosophy of mind. (shrink)

Modal logic S5 is commonly viewed as an epistemic logic that captures the most basic properties of knowledge. Kripke proved a completeness theorem for the first-order modal logic S5 with respect to a possible worlds semantics. A multiagent version of the propositional S5 as well as a version of the propositional S5 that describes properties of distributed knowledge in multiagent systems has also been previously studied. This article proposes a version of S5-like epistemic logic of distributed knowledge with quantifiers ranging (...) over the set of agents, and proves its soundness and completeness with respect to a Kripke semantics. (shrink)

Russian neo-Kantianismʼs status in the history of the development of Russian philosophy is an important, but poorly presented in scientific publications, issue is revealed in the article. With some exceptions, which are represented by a number of few, but informative and informative articles and a monograph, the problem remains without proper reception in the scientific discourse of our time. Russian neo-Kantianism, however, leaving aside the question of what is the phenomenon of Russian neo-Kantianism, it is impossible to productively and consistently (...) actualize the content of Russian neo-Kantians and, moreover, to show their significance in the history of Russian philosophical and socio-humanitarian thought in general. Three key difficulties stand out: 1) the question of originality and the related theme of the independence of the philosophical direction (originality, independence and originality – differ from each other, but are united in their immanent orientation); 2) Russian neo-Kantianism, which in many ways seems to be the most difficult task for researchers engaged in historical and philosophical reconstruction; 3) the question remains ambiguous as to whether Russian neo-Kantianism is a continuation of the German tradition or whether it is a direction of Russian philosophy of thought. Russian neo-Kantianism, the three difficulties identified in the reception of the phenomenon of Russian neo-Kantianism taken as a whole, are consistently revealed in the content of the proposed article, supplemented by a brief overview of the most systemic positions of Russian philosophers, ranked among Russian neo-Kantianism. Overcoming the indicated difficulties, which undoubtedly affect the objective disclosure of the creativity of each representative of Russian neo-Kantianism or thinkers related to them, seems appropriate not only from the standpoint of the history of philosophy, but also for actualizing the heritage of philosophers in the conditions of modern socio-humanitarian pragmatics. Russian neo-Kantianism The author of the article suggests that one of the ways to overcome the ambiguity of the definition of Russian neo-Kantianism in the history of Russian thought may be, firstly, a more detailed consecration of the activities of Russian neo-Kantians in the historical and philosophical literature, and secondly, a comprehensive representation of this direction, including studies of individual personalities and their works. Despite the controversial and polemical nature of the task, its formulation is necessary for the objectivity of the meaning of Russian thought in the global context. (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)

During the past century of oriental studies, the question of when and where Muslim traditions came to be propped up with validating lines of transmission has attracted a considerable amount of scholarly attention, for its bearing on the key issue of the historicity of ḥadīth. In this essay, I review the existing theories about the origin of the isnād, which alternate between the lifetime of the Prophet’s Companions and the end of the second century AH/c. 816 CE. Based on a (...) hitherto largely overlooked tradition and two general methodological premises, I associate the inception of corroborative attribution to past authorities in legal and theological ḥadīth with the aftermath of al-Mukhtār b. Abī ʿUbayd al-Thaqafī’s revolt in Kūfa. Over the course of the second/eighth century, the isnād institution spread out across the major centers of learning in the caliphate and entered the field of historical reports. Such geographical and typological unevenness of the isnād’s evolution gave rise to conflicting theories about its chronology. (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)

2 Popper's Logical Definition of Verisimilitude. 3 Popper's Probabilistic Definition of Verisimilitude. 4 Conclusion.

Suppose that Φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\it \Phi}}$$\end{document} is a consistent sentence. Then there is no Herbrand proof of ¬Φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\neg {\it \Phi}}$$\end{document}, which means that any Herbrand disjunction made from the prenex form of ¬Φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\neg {\it \Phi}}$$\end{document} is falsifiable. We show that the problem of finding such a falsifying assignment is hard in the following sense. For every (...) total polynomial search problem R, there exists a consistent Φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\it \Phi}}$$\end{document} such that finding solutions to R can be reduced to finding a falsifying assignment to an Herbrand disjunction made from ¬Φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\neg {\it \Phi}}$$\end{document}. It has been conjectured that there are no complete total polynomial search problems. If this conjecture is true, then for every consistent sentence Φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\it \Phi}}$$\end{document}, there exists a consistent sentence Ψ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Psi}$$\end{document}, such that the search problem associated with Ψ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Psi}$$\end{document} cannot be reduced to the search problem associated with Φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\it \Phi}}$$\end{document}. (shrink)

Intensions feature prominently among the entities we talk about.

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)

As the foundation of our rationality, logic has traditionally been considered fixed, stable and constant. This conception of the discipline has been challenged recently by the plurality of logics and in this book, Pavel Arazim extends the debate to offer a new view of logic as dynamic and without a definite, specific shape. The Problem of Plurality of Logics examines the origins of our standard view of logic alongside Kant's theories, the holistic view, the issue of logic's pragmatic significance (...) and Robert Brandom's logical expressivism. Arazim then draws on proof-theoretical approaches to present a convincing argument for a dynamic version of logical inferentialism, which opens space for a new freedom to modify our own logic. He explores the scope, possibilities and limits of this freedom in order to highlight the future paths logic could take, as a motivation for further research. Marking a departure from logical monism and also from the recent doctrine of logical pluralism in its various forms, this book addresses current debates concerning the expressive role of logic and contributes to a lively area of discussion in analytic philosophy. (shrink)