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

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

I. The framework. 1, Aristotle's project and methods. 2, The perceptual capacity of the soul. 3, The sensory apparatus. 4, The common sense and the related capacities -- II. The terminology. 1, Overlooked occurrences of the phrase 'common sense'. 2, De anima III.1 425a27. 3, De partibus animalium IV.10 686a31. 4, De memoria et reminiscentia 1 450a10. 5, De anima III.7 431b5. 6, Conclusions on the terminology -- III. Functions of the common sense. 1, Simultaneous perception and cross-modal binding. 2, (...) Perceptual discrimination. 3, Waking, sleep, and control of the senses. 4, Perceiving that what we see and hear, and monitoring of the senses. 5, Other roles of the common sense -- Conclusion. (shrink)

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.

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.

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)

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)

Intensions feature prominently among the entities we talk about.

Roman Catholic and Eastern Orthodox theologians claim that the unique event of Christ’s sacrifice on Calvary is present in Eucharistic liturgies. A popular explanatory strategy for this miraculous presence suggests that due to its supernatural character the Eucharist “conquers time,” transcends its boundaries, and allows for temporal coincidence of two chronologically distant events. I discuss the four main approaches within this strategy that can be discovered in contemporary theological writings. The first approach implies a time travel of the Calvary event. (...) The second suggests the time travel of Eucharistic participants. The third eliminates the chronological distance by relocating one of the events into a timeless reality. The fourth assumes multilocation of the event across time. I argue that each of these approaches is untenable on philosophical or theological grounds. (shrink)

The paper deals with the semantics of mathematical notation. In arithmetic, for example, the syntactic shape of a formula represents a particular way of specifying, arriving at, or constructing an arithmetical object (that is, a number, a function, or a truth value). A general definition of this sense of "construction" is proposed and compared with related notions, in particular with Frege's concept of "function" and Carnap's concept of "intensional isomorphism." It is argued that constructions constitute the proper subject matter of (...) both logic and mathematics, and that a coherent semantic account of mathematical formulas cannot be given without assuming that they serve as names of constructions. (shrink)

Aristotle's notion of experience plays an important role in his epistemology as the link between perception and memory on the one side, and higher cognitive capacities on the other side. However, Aristotle does not say much about it, and what he does say seems inconsistent. Notably, some passages suggest that it is a non-rational capacity, others that it is a rational capacity and that it provides the principles of science. This paper presents a unitary account of experience. It explains how (...) experience grows from perception and memory into a rational capacity, and in what way it provides the principles. (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.

This essay explores the discoved place in human noosphere called as "Cosmos-not-Here," encompassing the speculative realms of science fiction, religious eschatology, and theoretical astrophysics. The content of "Cosmos-not-Here" contrasts with the same of "Cosmos-Here," representing humanity's tangible explorations and mastery of the physical universe. The text delves into how the Cosmos-not-Here operates as a mental construct, offering humanity an imaginative escape into utopian visions and hypertextual narratives, while disregarding the constraints of established physical laws. -/- The discussion emphasizes humanity's innate (...) psychological drive, metaphorically expressed as "forward and upward," linking it to a sacred yearning for cosmic harmony and expansion. This drive manifests culturally in phenomena like Russian aspirations, illustrated by the "Gagarin Smile," and the global fascination with cosmic-themed speculative fiction, games, and spiritual constructs such as astrology. -/- The essay concludes by identifying a universal "Cosmic-We" ethos, characterized by a shared attraction to the cosmos as a concept of transcendence and infinite potential, reflecting humanity's enduring pursuit of meaning beyond the utilitarian confines of terrestrial existence. The analysis reveals the philosophical resonance of this semantic cluster with ancient and medieval cosmologies, suggesting its timeless significance in human thought. (shrink)

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)

In this article I explore Maimon’s role in the evolution of Kant’s understanding of the function of the history of philosophy in philosophical enquiry. Kant is often viewed as holding an ambivalent...

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)

This essay delves into the potential non-Western contributions to the technosphere by exploring Russian perspectives within Yuk Hui’s framework of cosmotechnics. Hui's concept emphasizes "good technology"—aligned with local cosmologies and moral practices, integrating sustainability and ecological preservation. By drawing parallels with China's distinct cosmological underpinnings in technical creativity, the essay questions whether Russian civilization can provide similarly unique contributions. The text investigates the evolution of the technosphere, distinguishing between instrumental and bio-artificial components, while situating Russian technical thought within broader global (...) contrasts. Despite an outward resemblance to Western technological development, Russia’s distinctiveness emerges in social technologies, state-driven innovation, and its cosmological foundation, particularly the "Russian cosmism" of the 1960s. Through a focus on co-creation with God, universal responsibility, and theoretical prioritization, the essay identifies multidimensional understanding and the moral imperative of service as hallmarks of Russian technical creativity. These features highlight a unique trajectory that complements Hui’s concept of cosmotechnics, emphasizing Russia’s potential to enrich global discussions on decolonizing technology. (shrink)

Motivated by the problem of finding finite versions of classical incompleteness theorems, we present some conjectures that go beyond NP ≠ coNP. These conjectures formally connect computational complexity with the difficulty of proving some sentences, which means that high computational complexity of a problem associated with a sentence implies that the sentence is not provable in a weak theory, or requires a long proof. Another reason for putting forward these conjectures is that some results in proof complexity seem to be (...) special cases of such general statements and we want to formalize and fully understand these statements. Roughly speaking, we are trying to connect syntactic complexity, by which we mean the complexity of sentences and strengths of the theories in which they are provable, with the semantic concept of complexity of the computational problems represented by these sentences. -/- We have introduced the most fundamental conjectures in our earlier works. Our aim in this article is to present them in a more systematic way, along with several new conjectures, and prove new connections between them and some other statements studied before. (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)

The subject of the study is the socio-cultural threats to the information security of Russian citizens associated with ChatGPT technologies (Chat Generative Pre-trained Transformer, a machine-generated text response generator simulating a dialogue). The object of research − evaluation of the ratio of advantages and threats of generative language models based on "machine learning" in modern (2021-2023) scientific literature (journals HAC K1, K2 and Scopus Q1, Q2). The scientific novelty of the research lies in the culturological approach to the analysis of (...) threats to the security of Russian citizens associated with the use of ChatGPT as one of the technologies of "artificial intelligence". The formulation of the problem of the classical Turing test "to distinguish a person from a machine" is characterized as a scholastic abstraction, instead a more correct and productive approach is proposed: a socio-cultural assessment of the value (based on cultural axiology) of new computer technologies. The starting point of the analysis is the determination of socio-cultural value (or, conversely, damage) as a result of the use of generative language models based on machine learning. Further, the contribution and responsibility of various socio-cultural subjects of its creation and application are revealed − user, creator and developer. The result of the application of the proposed approach is the deconstruction of the discourse of the "philosophy of artificial intelligence" in terms of uncritical translation of developer declarations intended for marketing and attracting financing. Hypertrophied perception, precariously balancing on the edge of utopia and dystopia, is assessed as a risk of incorrect identification and ranking of threats to information security. Assumptions about the hypothetical "superweapon of psychological warfare" mask modern incidents of cross-border leakage of confidential data, the risks of being held accountable for publishing deliberately false information and illegal content as a result of using ChatGPT. National security measures are recommended, including restrictive measures and increasing the general civil culture of information security of users, as well as the orientation of domestic developments of solutions of this type on traditional values, socio-cultural identity and interests of Russian citizens. (shrink)

The article analyzes the aesthetic content of the concept of realism in stylistic, genre and ideological aspects. Guided by the comparative method and a comprehensive approach to the study of the problem, the author declares the a priori avant-garde nature of art and, as a result, the groundlessness of confrontation between realists and avant-gardists. The catharsis achieved by the realism of expressive means should be real. Thus, the author's vision of realism presupposes not so much the harmony of art with (...) the displayed epoch, but rather participation, confession of enduring values, which elevates art above the historical and social context. В статье анализируется эстетическое содержание понятия реализма в стилевом, жанровом и мировоззренческом аспектах. Руководствуясь компаративным методом и комплексным подходом к изучению проблемы, автор декларирует априорную авангардность искусства и, как следствие, беспочвенность конфронтации реалистов и авангардистов. Реальным должен быть катарсис, достигаемый реализмом выразительных средств. Таким образом, авторское ви́дение реализма предполагает не столько созвучие искусства отображаемой эпохе, сколько сопричастность, исповедание непреходящих ценностей, что возвышает искусство над историко-социальным контекстом. (shrink)

The vision informing 20th Century philosophy has been aptly described as one of a desert landscape. Philosophers behave as if in expectation of an ontological tax collector to whom they will owe the less the fewer entities they declare. The metaphysical purge is perpetrated under a banner emblazoned with Occam’s Razor. But Occam never counselled ontological genocide at all cost. He only cautioned against multiplying entities beyond necessity His Razor is thus in full harmony with the complementary principle, known as (...) Menger’s Comb, which cautions against trying to do with less what requires more. The two methodological precepts are just two sides of the same coin. (shrink)

“Eco-labels” are an increasingly important form of private regulation for sustainability in areas such as carbon emissions, water consumption, ethical sourcing, or organic produce. The growing interest and popularity of eco-labels has also been coupled with growing concerns about their credibility, in part because the standard-setting and conformity assessment practices that eco-labels adopt exhibit striking differences. In this paper, we assess which assurance practices contribute to eco-labels being perceived as better governed, in the eyes of experts as well as the (...) media. Unlike previous studies, which are mostly conceptual, qualitative, or focused on one or few eco-labels, we study a large set of eco-labels, combining data from three different sources. Our findings suggest that experts and media are primarily concerned about “re-assurance” practices, looking for one or preferably multiple layers of “re-assurance” that independent parties are overseeing the eco-label and the firms certified under it. (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.

We give proofs of the effective monotone interpolation property for the system of modal logic K, and others, and the system IL of intuitionistic propositional logic. Hence we obtain exponential lower bounds on the number of proof-lines in those systems. The main results have been given in [P. Hrubeš, Lower bounds for modal logics, Journal of Symbolic Logic 72 941–958; P. Hrubeš, A lower bound for intuitionistic logic, Annals of Pure and Applied Logic 146 72–90]; here, we give considerably simplified (...) proofs, as well as some generalisations. (shrink)

One of the most prevalent rationales for public healthcare policies is a human right to healthcare. Governments are the typical duty-bearers, but they differ vastly in their capacity to help those vulnerable to serious health problems and those with severe disabilities. A right to healthcare is out of the reach of many developing economies that struggle to provide the most basic services to their citizens. If human rights to provision of such goods exist, then governments would be violating rights without (...) doing anything wrong. I argue that such variable ability to provide healthcare depends not only on financial resources, but on institutional capacity, and that the latter represents a more fundamental challenge to the existence of a human right to healthcare than previously recognized. This challenge does not imply that government has no obligations to protect and improve the health of their citizens, but that it is best to think of such obligations as generated by conventional rights, namely rights arising from local legal and social conventions, which require governments to pursue health-related moral goals such as reducing suffering, closing opportunity gaps for the disadvantaged, and preventing the spread of contagious diseases. We need not think of such moral goals in terms of human rights. (shrink)

Propositional and notional attitudes are construed as relations (-in-intension) between individuals and constructions (rather than propositrions etc,). The apparatus of transparent intensional logic (Tichy) is applied to derive two rules that make it possible to export existential quantifiers without conceiving attitudes as relations to expressions (sententialism).

European Journal of Philosophy, EarlyView.