There are two theoretical approaches in statistical mechanics, one associated with Boltzmann and the other with Gibbs. The theoretical apparatus of the two approaches offer distinct descriptions of the same physical system with no obvious way to translate the concepts of one formalism into those of the other. This raises the question of the status of one approach vis-à-vis the other. We answer this question by arguing that the Boltzmannian approach is a fundamental theory while Gibbsian statistical mechanics is an (...) effective theory, and we describe circumstances under which Gibbsian calculations coincide with the Boltzmannian results. We then point out that regarding GSM as an effective theory has important repercussions for a number of projects, in particular attempts to turn GSM into a nonequilibrium theory. (shrink)

Many scientific models are representations. Building on Goodman and Elgin’s notion of representation-as we analyse what this claim involves by providing a general definition of what makes something a scientific model, and formulating a novel account of how they represent. We call the result the DEKI account of representation, which offers a complex kind of representation involving an interplay of, denotation, exemplification, keying up of properties, and imputation. Throughout we focus on material models, and we illustrate our claims with the (...) Phillips-Newlyn machine. In the conclusion we suggest that, mutatis mutandis, the DEKI account can be carried over to other kinds of models, notably fictional and mathematical models. (shrink)

Veritism, the position that truth is necessary for epistemic acceptability, seems to be in tension with the observation that much of our best science is not, strictly speaking, true when interpreted literally. This generates a paradox: truth is necessary for epistemic acceptability; the claims of science have to be taken literally; much of what science produces is not literally true and yet it is acceptable. We frame Elgin’s project in True Enough as being motivated by, and offering a particular resolution (...) to, this paradox. We discuss the paradox with a focus on scientific models and argue that there is another resolution available which is compatible with retaining veritism: rejecting the idea that scientific models should be interpreted literally. (shrink)

Computer simulations are an exciting tool that plays important roles in many scientific disciplines. This has attracted the attention of a number of philosophers of science. The main tenor in this literature is that computer simulations not only constitute interesting and powerful new science, but that they also raise a host of new philosophical issues. The protagonists in this debate claim no less than that simulations call into question our philosophical understanding of scientific ontology, the epistemology and semantics of models (...) and theories, and the relation between experimentation and theorising, and submit that simulations demand a fundamentally new philosophy of science in many respects. The aim of this paper is to critically evaluate these claims. Our conclusion will be sober. We argue that these claims are overblown and that simulations, far from demanding a new metaphysics, epistemology, semantics and methodology, raise few if any new philosophical problems. The philosophical problems that do come up in connection with simulations are not specific to simulations and most of them are variants of problems that have been discussed in other contexts before. (shrink)

At first blush, the idea that fictions play a role in science seems to be off the mark. Realists and antirealists alike believe that science instructs us about how the world is. Fiction not only seems to play no role in such an endeavour; it seems to detract from it. The aims of science and fiction seem to be diametrically opposed and a view amalgamating the two rightly seems to be the cause of discomfort and concern.

A weakly o-minimal structure image expanding an ordered group is called nonvaluational iff for every cut left angle bracketC,Dright-pointing angle bracket of definable in image, we have that inf{y−x:xset membership, variantC,yset membership, variantD}=0. The study of nonvaluational weakly o-minimal expansions of real closed fields carried out in [D. Macpherson, D. Marker, C. Steinhorn,Weakly o-minimal structures and real closed fields, Trans. Amer. Math. Soc. 352 5435–5483. MR1781273 (2001i:03079] suggests that this class is very close to the class of o-minimal expansions of (...) real closed fields. Here we further develop this analogy. We establish an o-minimal style cell decomposition for weakly o-minimal non-valuational expansions of ordered groups. For structures enjoying such a strong cell decomposition we construct a canonical o-minimal extension. Finally, we make attempts towards generalizing the o-minimal Euler characteristic to the class of sets definable in weakly o-minimal structures with the strong cell decomposition property. (shrink)

The paper is aimed at studying the topological dimension for sets definable in weakly o-minimal structures in order to prepare background for further investigation of groups, group actions and fields definable in the weakly o-minimal context. We prove that the topological dimension of a set definable in a weakly o-minimal structure is invariant under definable injective maps, strengthening an analogous result from [2] for sets and functions definable in models of weakly o-minimal theories. We pay special attention to large subsets (...) of Cartesian products of definable sets, showing that if X, Y and S are non-empty definable sets and S is a large subset of X × Y, then for a large set of tuples $\langle \overline{a}_{1},\ldots,\overline{a}_{2^{k}}\rangle \in X^{2^{k}}$ , where k = dim(Y), the union of fibers $S_{\overline{a}_{1}}\cup \cdots \cup S_{\overline{a}_{2^{k}}}$ is large in Y. Finally, given a weakly o-minimal structure ������, we find various conditions equivalent to the fact that the topological dimension in ������ enjoys the addition property. (shrink)

Zygmunt Ratajczyk was a deep and subtle mathematician who, with mastery, used sophisticated and technically complex methods, in particular combinatorial and proof-theoretic ones. Walking always along his own paths and being immune from actual trends and fashions he hesitated to publish his results, looking endlessly for their improvement.

That we may rely on our knowledge seems like a platitude. Yet, the view that knowledge is sufficient for permissible reliance faces a major challenge: when much hangs on whether we know, relying on our knowledge seems to license irrational action. Unfortunately, extant proposals to meet this challenge (Hawthorne & Stanley, 2008; Williamson, 2005a; Schulz, 2017, 2021b) either fail to make the correct predictions about high-stakes cases or, as I will argue, face a substantial objection. In this paper, I will (...) offer two novel proposals for defending the sufficiency of knowledge for permissible reliance. My favoured proposal, which I call Flexible Fallibilism, is based on the idea that stakes can affect how we rely on our knowledge and how our knowledge determines what is rational for us to do. Besides making the correct predictions about high-stakes cases, I will argue that Flexible Fallibilism also provides us with a knowledge-based account of when to simplify our practical reasoning. Afterwards, I will present another proposal, which I call Dual Infallibilism, that combines two recent claims by Moss (2013, 2018) and Jackson (2019a) about credal knowledge and the metaphysics of doxastic states. While the offered proposals share various virtues, I will argue that we ultimately should prefer Flexible Fallibilism. (shrink)

Nicholas of Cusa was first of all a theologian but he was interested also in mathematic and natural sciences. In fact philosophico-theological and mathematical ideas were intertwined by him, theological and philosophical ideas influenced his mathematical considerations, in particular when he considered philosophical problems connected with mathematics and vice versa, mathematical ideas and examples were used by him to explain some ideas from theology. In this paper we attempt to indicate this mutual influence. We shall concentrate on the following problems: (...) the role and place of mathematics and mathematical knowledge in knowledge in general and in particular in theological knowledge, ontology of mathematical objects and their origin, in particular their relations to God and their meaning for the description of the world and physical reality, infinity in mathematics versus infinity in theology and their mutual relations and connections. It will be shown that—according to Nicholas—mathematics and mathematical thinking are tools of rationalization of theology and liberating it in a certain sense from the trap of apophatic theology. (shrink)

Embryonic stem cells (ESCs) are now classified into two types of pluripotency: “naïve” and “primed” based upon their differing characteristics. Conventional human ESCs have much more in common with mouse epiblast stem cells and are now deemed to be primed. Naïve human ESCs that resemble mouse ESCs have recently been generated from their primed counterpart by cellular reprogramming. Isolation of naïve hESCs from human embryos has proven to be difficult. Is the inability to capture naïve hESCs the result of suboptimal (...) derivation conditions or because they are so transient they cannot be “captured” in vitro? Prevailing evidence surrounding this issue are inconclusive and require additional human embryo research. However, negative public opinion regarding human embryo research, may make this an uphill battle. The solution may come from cellular reprogramming. (shrink)

We investigate small theories of Boolean ordered o-minimal structures. We prove that such theories are $\aleph_{0}-categorical$ . We give a complete characterization of their models up to bi-interpretability of the language. We investigate types over finite sets, formulas and the notions of definable and algebraic closure.

Given a group , G⊆Mm, definable in a first-order structure equation image equipped with a dimension function and a topology satisfying certain natural conditions, we find a large open definable subset V⊆G and define a new topology τ on G with which becomes a topological group. Moreover, τ restricted to V coincides with the topology of V inherited from Mm. Likewise we topologize transitive group actions and fields definable in equation image. These results require a series of preparatory facts concerning (...) dimension functions, some of which might be of independent interest. (shrink)

Let (M, ≤,...) denote a Boolean ordered o-minimal structure. We prove that a Boolean subalgebra of M determined by an algebraically closed subset contains no dense atoms. We show that Boolean algebras with finitely many atoms do not admit proper expansions with o-minimal theory. The proof involves decomposition of any definable set into finitely many pairwise disjoint cells, i.e., definable sets of an especially simple nature. This leads to the conclusion that Boolean ordered structures with o-minimal theories are essentially bidefinable (...) with Boolean algebras with finitely many atoms, expanded by naming constants. We also discuss the problem of existence of proper o-minimal expansions of Boolean algebras. (shrink)

This textbook is a second edition of the successful, Mathematical Logic: On Numbers, Sets, Structures, and Symmetry. It retains the original two parts found in the first edition, while presenting new material in the form of an added third part to the textbook. The textbook offers a slow introduction to mathematical logic, and several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary extensions. Part I, Logic Sets, and Numbers, shows how mathematical logic is used to (...) develop the number structures of classical mathematics. All necessary concepts are introduced exactly as they would be in a course in mathematical logic; but are accompanied by more extensive introductory remarks and examples to motivate formal developments. The second part, Relations, Structures, Geometry, introduces several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary extensions, and shows how they are used to study and classify mathematical structures. The added Part III to the book is closer to what one finds in standard introductory mathematical textbooks. Definitions, theorems, and proofs that are introduced are still preceded by remarks that motivate the material, but the exposition is more formal, and includes more advanced topics. The focus is on the notion of countable categoricity, which analyzed in detail using examples from the first two parts of the book. This textbook is suitable for graduate students in mathematical logic and set theory and will also be of interest to mathematicians who know the technical aspects of the subject, but are not familiar with its history and philosophical background. (shrink)

Models are of central importance in many scientific contexts. The roles the MIT bag model of the nucleon, the billiard ball model of a gas, the Bohr model of the atom, the Gaussian-chain model of a polymer, the Lorenz model of the atmosphere, the Lotka- Volterra model of predator-prey interaction, agent-based and evolutionary models of social interaction, or general equilibrium models of markets play in their respective domains are cases in point.

Lvov-Warsaw School in Philosophy – as the very name suggests – was connected mainly with two academic centers: universities in Lvov and Warsaw. However, it had a broader impact. The members of this school were active also at other universities, in particular in Cracow, Vilnius and Poznań. The aim of the paper is to present and analyze the connections of Lvov-Warsaw School with the University in Poznań.

This paper discusses the concept of information formulated by Michael (Michał) Heller. Heller—a philosopher, theoretical physicist, cosmologist, and theologian—provided a complex image of information and its role in nature, which is rarely found in studies of information. Heller posited that the laws of nature may be interpreted as information, or as providing information, presenting this as a complementary view to scientific structuralism (not discussed in this paper). According to Heller, the informational content of a structure in nature is inversely proportional (...) to that structure’s degree of freedom. The more constrained or complex a structure is, and the less likely it is to exist, the more information it contains. In Heller’s view, the concept of information in Shannon’s Theory of Communication (ToC) is inadequate for expressing the notion of information beyond a numerical measure of a signal structure. Information in Heller’s research closely aligns with the concepts of Jacquette’s and Perzanowski’s combinatorial ontology (concepts not discussed in this paper) and the general theory of information (GTI) of Mark Burgin, although Heller did not explicitly make these connections. (shrink)

Today, there are several problems in the field of criminal law caused both by the emergence of new types of legal relations and by the imperfection of legislation. Due to the emergence of new challenges in the field of criminal law, many of them require theoretical understanding. Some of these challenges, generated in the light of the armed aggression of the Russian Federation against Ukraine, revealed several reasons for discussion in the Ukrainian and international legal community. The purpose of the (...) study involves consideration of certain aspects of modern challenges in the field of criminal-legal relations, which arose against the background of the military aggression of the Russian Federation in Ukraine. The first part of the study is devoted to the question of the qualification of war crimes committed by the Russian Federation in Ukraine as acts of genocide. The second part of the work is devoted to the issue of using existing international legal mechanisms to hold the Russian Federation accountable for war crimes. There are convincing reasons to say that the actions of the Russian Federation during the war in Ukraine have signs of the crime of genocide. Even though Ukraine is not a party to the Rome Statute, the Ukrainian government can use another tool to bring the subjects of war crimes to justice, by creating a certain mixed investigative mechanism or a criminal tribunal that could deal directly with the crime of aggression. (shrink)

This article reflects on the dynamics of the public sphere in the early modern period by analyzing the figure of the peasant and the notion of the common(s) in dialogue pamphlets. Beginning with a discussion of what it means to speak of a public sphere in relation to the early modern period, it examines one of the most famous Reformation dialogues, _Karst-hans_, published anonymously in 1521 in Strasbourg. Just before the German Peasants’ War (1524–26), the Lutheran dialogue, polemically directed against (...) the theologian and satirist Thomas Murner, positions the peasant as a critically mature citizen, with the hoe (_Karst_) symbolizing his potential militancy. This article specifically draws on the notion of publicity that the dialogue articulates. Using it as an example, this article analyzes the transitions and mutual projections between fiction, urban culture, and peasant protest, the structures of which are significant for the literary representation of agrarian protest far beyond the Reformation. In its final section, this article closely examines the media genre of the dialogue pamphlet and outlines some horizons of its historical development up to the Enlightenment concerning its political use and its relation to the ideal of a dialogic and socially leveled public sphere. By arguing that there existed an implicit ideal of the public sphere as a common good in the early modern period, the aim is also to clarify what distinguishes this early modern understanding of the public sphere from its conceptualization as a marketplace that has dominated our understanding of it since the Enlightenment. The prehistory presented here should provide resources for reimagining the future of the public sphere at a time when its actual structure is once again very much at stake. (shrink)

Given an infinite Boolean algebra B, we find a natural class of equation image-definable equivalence relations equation image such that every imaginary element from Beq is interdefinable with an element from a sort determined by some equivalence relation from equation image. It follows that B together with the family of sorts determined by equation image admits elimination of imaginaries in a suitable multisorted language. The paper generalizes author's earlier results concerning definable equivalence relations and weak elimination of imaginaries for Boolean (...) algebras, obtained in 10. (shrink)

We give a complete characterization of Boolean algebras admitting weak elimination of imaginaries in terms of elementary invariants.

Purpose. Considers the possibility of establishing the Hospitality Philosophy as an independent field of philosophical knowledge. Theoretical basis. Theoretical basis for this issue is the numerous philosophical researches on the topic of hospitality (anthropological, phenomenological, ethical, social-philosophical etc.) and the analysis of its essence and paradigmatic antinomy in the historicalphilosophical way. Scientific novelty. The article attempts to revitalise the notion of philotechnics (φιλοτεχνία) as 'the art of taking care of the guest's welfare' as a possible basic concept of contemporary philosophy (...) of hospitality, which is able to reflect its nature most concisely, including its utilitarian and extra-utilitarian functions – not only a high service level, but also a “humane” attitude towards the guest. Findings. It has been summarized that modern hospitality as a specific human activity needs its own philosophy, which would comprehensively analyze the concept, study the facets and forms of its manifestations, define the worldview paradigm, form a methodology and be able to lead to an understanding of the goals of hospitality, to orient modern hospitality models to achieve certain and clear quality indicators while respecting historically verified value constants. (shrink)

Review of: Peter Smith, Explaining chaos. Cambridge: Cambridge univeristy Press, 1998. ISBN 0 521 47747 6.

Anthropology of Consciousness, Volume 33, Issue 1, Page 112-142, Spring 2022.

Im zweiten Halbband der Formalontologie wird zunächst das Problem der Identität eines individuellen zeitlich bedingten Gegenstandes erörtert, sodann die Form eines Seinsgebiets und die Form der Welt betrachtet und schließlich, nach der vorbereitenden Analyse seines materialen Wesens, die Form des reinen Bewußtseins untersucht, das als Strom eines reinen Ichs kein Seinsgebiet, sondern ein individueller Gegenstand ist. Erst auf dieser Grundlage werden die möglichen existentialen Beziehungen zwischen dem reinen Bewußtsein und der realen Welt diskutiert. Dabei fällt neues Licht auf die eigentümliche (...) Verkoppelung der Frage nach der Existenz der Welt mit dem Problem des Verhältnisses von Leib, Seele und Bewußtsein. (shrink)

The migration of artificial intelligence (AI) researchers from academia to industry has recently sparked concerns about its implications for scientific progress. Can academia retain enough talent to shape AI advancements and counterbalance the growing influence of corporate AI labs? Analyzing OpenAlex data, we find a significant transition of premier talent to industry roles over the past decade, particularly to major tech firms. Young, highly cited scholars from leading institutions are the most likely to make this move. Following the transition, their (...) research tends to show reduced novelty and impact. This industry-dominant shift in AI research highlights worries of an “AI brain drain”, the sidelining of exploratory science for commercial interests, and the potential misalignment with societal goals. (shrink)

Growing out of a conference on Expectations Formation and Economic Disequilibrium held in New York City in 1981, the papers in this volume provide a complex view of market processes in which individual rationality is no guarantee of convergence to the 'correct' model and the equilibrium coordination of agents' plans. They reject the 'optimality' argument for the rational expectations hypothesis, opening the door to other hypotheses of optimal expectations of agents in the decentralized market economy.

A patient suffering from a severe illness that is entering its terminal stage is forced to develop a coping process. Of all the coping patterns, the religious one stands out as being a psychological resource available to all patients regardless of culture, learning, and any age. Religious coping interacts with other values or practices of society, for example the model of a society that takes care of it's elder members among family or in an institutionalized environment or the way the (...) health system offers or not psychological support for a terminally ill patient. Health care providers should have at least some psychological coping patterns training because not all patterns of religious coping are equally effective, and some have been described as increasing the level of stress or producing other negative psychological effects on the patient. This article aims to review the complex models of religious coping that are unanimously accepted in psychooncology, arguments in favor of religious coping, the types of patients that use this model, ethical dilemmas that could be reinterpreted using religious arguments. Finally, we will also discuss the need of Romanian patients to embrace a religious coping in case of an incurable illness, and also the support that they can receive from both curative and palliative health care providers.  . (shrink)

Let us ask: do the objects we think that exist, really exist? Davidson concludes, from rejection of dualism of content and conceptual scheme, that most of them really exist (coherentialism). Unfortunately, his reasoning is wrong, because though the rejection makes it impossible to doubt our knowledge as a whole, it is still possible to doubt all its elements one after another. The two main points of Davidson's theory are the following: (1) disquotationism (semantic terms are used only to speak about (...) speaking) and (2) ostensivism (words refer to what they refer to independently of what it could be; their meanings are established as the result of the process of learning). (1) and (2) are the real reasons for Davidson's coherentialism. Ostensivism apparently allows to avoid the problem of induction, though it only transforms the problem into the question of ostension. Moreover, consistent ostensivism makes analytic sentences impossible. Yet it is claimed, that ostensivism is wrong in general, because besides ostensives there are also categorials (expressions, meanings of which belong to certain ontological categories) and without the latter logic and mathematics would be impossible. Davison's coherentialism is wrong because it is not true that one cannot have any believes without having any language. Hence, no theory of language is crucial as far as existence is concerned. It is shown considering ascription of believes to mute persons and learning languages by children. Coherentialism lets Davidson bring down the idea of a demon that could make us see the world completely different than it is and not know if it is true. (shrink)