Gases reach equilibrium when left to themselves. Why do they behave in this way? The canonical answer to this question, originally proffered by Boltzmann, is that the systems have to be ergodic. This answer has been criticised on different grounds and is now widely regarded as flawed. In this paper we argue that some of the main arguments against Boltzmann's answer, in particular, arguments based on the KAM-theorem and the Markus-Meyer theorem, are beside the point. We then argue that something (...) close to Boltzmann's original proposal is true for gases: gases behave thermodynamic-like if they are epsilon-ergodic, i.e., ergodic on the entire accessible phase space except for a small region of measure epsilon. This answer is promising because there are good reasons to believe that relevant systems in statistical mechanics are epsilon-ergodic. (shrink)

Entropy is ubiquitous in physics, and it plays important roles in numerous other disciplines ranging from logic and statistics to biology and economics. However, a closer look reveals a complicated picture: entropy is defined differently in different contexts, and even within the same domain different notions of entropy are at work. Some of these are defined in terms of probabilities, others are not. The aim of this chapter is to arrive at an understanding of some of the most important notions (...) of entropy and to clarify the relations between them, After setting the stage by introducing the thermodynamic entropy, we discuss notions of entropy in information theory, statistical mechanics, dynamical systems theory and fractal geometry. (shrink)

Why do systems prepared in a non-equilibrium state approach, and eventually reach, equilibrium? An important contemporary version of the Boltzmannian approach to statistical mechanics answers this question by an appeal to the notion of typicality. The problem with this approach is that it comes in different versions, which are, however, not recognised as such, much less clearly distinguished, and we often find different arguments pursued side by side. The aim of this paper is to disentangle different versions of typicality-based explanations (...) of thermodynamic behaviour and evaluate their respective success. My conclusion will be that the boldest version fails for technical reasons, while more prudent versions leave unanswered essential questions. (shrink)

Models are of central importance in many scientific contexts. The centrality of models such as the billiard ball model of a gas, the Bohr model of the atom, the MIT bag model of the nucleon, the Gaussian-chain model of a polymer, the Lorenz model of the atmosphere, the Lotka-Volterra model of predator-prey interaction, the double helix model of DNA, agent-based and evolutionary models in the social sciences, or general equilibrium models of markets in their respective domains are cases in point. (...) Scientists spend a great deal of time building, testing, comparing and revising models, and much journal space is dedicated to introducing, applying and interpreting these valuable tools. In short, models are one of the principal instruments of modern science. -/- Philosophers are acknowledging the importance of models with increasing attention and are probing the assorted roles that models play in scientific practice. The result has been an incredible proliferation of model-types in the philosophical literature. Probing models, phenomenological models, computational models, developmental models, explanatory models, impoverished models, testing models, idealized models, theoretical models, scale models, heuristic models, caricature models, didactic models, fantasy models, toy models, imaginary models, mathematical models, substitute models, iconic models, formal models, analogue models and instrumental models are but some of the notions that are used to categorize models. While at first glance this abundance is overwhelming, it can quickly be brought under control by recognizing that these notions pertain to different problems that arise in connection with models. For example, models raise questions in semantics (what is the representational function that models perform?), ontology (what kind of things are models?), epistemology (how do we learn with models?), and, of course, in philosophy of science (how do models relate to theory?; what are the implications of a model based approach to science for the debates over scientific realism, reductionism, explanation and laws of nature?). (shrink)

Featuring contributions from leading experts, this book represents the first collection of essays on the topic of art and science in the analytic tradition of ...

Summary of the talk given to the 22nd Conference on the History of Logic, Cracow (Poland), July 5–9, 1976.

Williams’s famous argument against immortality rests on the idea that immortality cannot be desirable, at least for human beings, and his contention has spawned a cottage industry of responses. As I will intend to show, the arguments over his view rest on both a difference of temperament and a difference in the sense of desire being used. The former concerns a difference in whether one takes a forward-looking or a backward-looking perspective on personal identity; the latter a distinction between our (...) normal desire to continue living and the kind of desire implied in desiring immortality. Showing that there is some sense of identity and desire that support Williams’s conclusion goes some way toward providing support for his argument, if not a full-fledged defense of it. (shrink)

We introduce a tool for analysing models of $\text {CT}^-$, the compositional truth theory over Peano Arithmetic. We present a new proof of Lachlan’s theorem that the arithmetical part of models of $\text {CT}^-$ are recursively saturated. We also use this tool to provide a new proof of theorem from [8] that all models of $\text {CT}^-$ carry a partial inductive truth predicate. Finally, we construct a partial truth predicate defined for a set of formulae whose syntactic depth forms a (...) nonstandard cut which cannot be extended to a full truth predicate satisfying $\text {CT}^-$. (shrink)

Equilibrium is a central concept of statistical mechanics. In previous work we introduced the notions of a Boltzmannian alpha-epsilon-equilibrium and a Boltzmannian gamma-epsilon-equilibrium. This was done in a deterministic context. We now consider systems with a stochastic micro-dynamics and transfer these notions from the deterministic to the stochastic context. We then prove stochastic equivalents of the Dominance Theorem and the Prevalence Theorem. This establishes that also in stochastic systems equilibrium macro-regions are large in requisite sense.

The views on in vitro fertilization within Russian Orthodox Christian society are diverse. One reason for that variation is the ambiguity found in “The Basis of the Social Concept,” the document issued in 2000 by the Russian Orthodox Church and considered to be the primary guidelines for determining the Church’s stance on bioethics. This essay explores how the treatment of infertility reconciles with the Orthodox Christian faith and what methods of medical assistance for infertility may be appropriate for Orthodox Christians. (...) The focus here is on IVF because it is among the most widely used methods to overcome childlessness, and the permissibility of IVF is the object of disagreement among Orthodox. The article defines criteria that can help to discern what is absolutely wrong and must be avoided from what only falls short of the mark, but not very far, for Orthodox Christians. If treatment of the underlying causes of infertility has failed or promises no hope and a husband and a wife do not feel able to carry the Cross of infertility, then from pastoral dispensation they might be blessed to use ethically acceptable variants of IVF. IVF has many variants that are different in their spiritual influence on a person. Orthodox Christians pursuing IVF should seek spiritual guidance and a blessing to pursue IVF. They must not form more embryos than will be transferred in the same cycle. Freezing, discarding, or reduction of embryos is forbidden. Infertile couples ought to use only their reproductive cells. The use of donor gametes is unacceptable. Any embryo formed ought to be transferred into the wife’s womb, and the use of surrogates is impermissible. Only a husband and wife who are able to maintain their marital union and where the wife is still of childbearing age should be blessed to use IVF. (shrink)

John Fischer has recently argued that the value of acting freely is the value of self-expression. Drawing on David Velleman’s earlier work, Fischer holds that the value of a life is a narrative value and free will is valuable insofar as it allows us to shape the narrative structure of our lives. This account rests on Fischer’s distinction between regulative control and guidance control. While we lack the former kind of control, on Fischer’s view, the latter is all that is (...) needed for self-expression. I first develop Fischer’s narrative account, focusing on his reliance on temporal loops as giving us control over the value of our lives. Second, I argue that the narrative account grants us greater power over the past than Fischer would allow: since narrative allows not only for changes in how we feel about episodes in our past but what those episodes in fact were, it allows for a kind of retroactive self-constitution. Finally, I suggest that this modification of the narrative view opens the possibility of a conception of freedom far stronger than guidance control. It does not give us the libertarian control over whether to choose A or B in the present, but it does provide a measure of control over the sort of person an agent has been, and thus whether she is the sort of person who will choose A or B in the future. (shrink)

While e-commerce has witnessed extensive growth in recent years, so has consumers' concerns regarding ethical issues surrounding online shopping. The vast majority of earlier research on this area is conceptual in nature, and limited in scope by focusing on consumers' privacy issues. This study develops a reliable and valid scale to measure consumers' perceptions regarding the ethics of online retailers. Findings indicate that the four factors of the scale - security, privacy, non-deception and fulfillment/reliability - are strongly predictive of online (...) consumers' satisfaction and trust. The results offer important implications for e-retailers and are likely to stimulate further research in the area of e-ethics from the consumers' perspective. (shrink)

This study examines the impact of board of director gender diversity on corporate tax aggressiveness. Based on a sample of 418 U.S. firms covering the 2006–2009 period, our ordinary least squares regression results show a negative and statistically significant association between female representation on the board and tax aggressiveness after controlling for endogeneity. Our results are consistent across several measures of tax aggressiveness and additional robustness checks.

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)

Machine generated contents note: 1. Introduction Juliette Kennedy and Roman Kossak; 2. Historical remarks on Suslin's problem Akihiro Kanamori; 3. The continuum hypothesis, the generic-multiverse of sets, and the [OMEGA] conjecture W. Hugh Woodin; 4. [omega]-Models of finite set theory Ali Enayat, James H. Schmerl and Albert Visser; 5. Tennenbaum's theorem for models of arithmetic Richard Kaye; 6. Hierarchies of subsystems of weak arithmetic Shahram Mohsenipour; 7. Diophantine correct open induction Sidney Raffer; 8. Tennenbaum's theorem and recursive reducts James (...) H. Schmerl; 9. History of constructivism in the 20th century A. S. Troelstra; 10. A very short history of ultrafinitism Rose M. Cherubin and Mirco A. Mannucci; 11. Sue Toledo's notes of her conversations with Gödel in 1972-1975 Sue Toledo; 12. Stanley Tennenbaum's Socrates Curtis Franks; 13. Tennenbaum's proof of the irrationality of [the square root of] 2́. (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)

Heidegger, like Kierkegaard, has recently been claimed as a narrativist about selves. From this Heideggerian perspective, we can see how narrative expands upon the psychological view, adding a vital teleological dimension to the understanding of selfhood while denying the reductionism implicit in the psychological approach. Yet the narrative approach also inherits the neo-Lockean emphasis on the past as determining identity, whereas the self is fundamentally about the future. Death is crucial on this picture, not as allowing for the possibility of (...) a final meaning to our lives, but as determining Dasein as ‘pure unactualizable possibility.’ Ultimately, therefore, narrative is not what constitutes selfhood – but this does not mean that narrative is not relevant to personal identity, because narrative allows identity to be expressed in action. (shrink)

Some environmentalists have argued that an effective ecological conscience may be rooted in a perspective that is either anthropocentric or sentiocentric. But, neither seems to have had any substantial effect on the ways in which our species treats nature. In looking to successfully awaken the ecological conscience, the focus should be on extending moral consideration to the land (wherein doing so includes all of the soils, waters, plants, animals, and the collectivity of which these things comprise) by means of coming (...) to love the land. Coming to love the land involves coming to view the land’s interests as our own—and, conferring upon the land a kind of moral patient-hood. In order to perceive the land’s “subjectivity,” and so, to come to love the land, we must relearn the way to look at the land by viewing its personality through the lens of he or she who can already do so, i.e., the nature writer. (shrink)

In this paper the completeness theorems for the finite-valued ukasiewicz logics are proved with the use of the Lindenbaum algebra.

The article explores specificities of thematization of science and scientific rationality in Martin Heidegger’s fundamental ontology. This analysis focuses on the concept of scienticity, character- istic for Heidegger’s “early” line of thought, as well as continuation and divergence of exposition of “science” and the nature of “theoretical attitude” as the subject of interpretation of transcen- dental phenomenology of E. Husserl. This research places an emphasis on particularity of Hei- degger’s explication of existential concept of science as opposed to prevailing logico-epistemolog- (...) ical philosophy of science, and foundation of thematization of scientific “subject matters” and theoretical attitude upon the universe of ontological understanding of being of entities (regional ontologies). It also focuses on Heidegger’s assertion of fundamental ontological projection in a status of a peculiar “science of knowledge”, which gives ground for a priori pre-conditions of specific sciences. Separate attention is paid to a specifically Heideggerian approach to explication of the rooting of initial scientific orientation in the sphere of pre-scientific experience, which ar- ticulates itself in so called “fundamental concepts”, as well as positioning of contemplative ‘present-at-hand’ paradigm of theoretical knowledge as a derivative modus of a primary use of ‘ready-to-handness’ as a phenomenological founding basis of everydayness’ experience. The author came to the attention that scientific knowledge is a project Dasein. It is within the framework of self-design that Dasein thematizes what happens to another region of being that is the subject of scientific knowledge. In other words, making things available in researching, applying themes, provided that the design allowed late as the systematic development of the most modern buildings, such as is done in the world, and possibly everyday greeting improvised performance. (shrink)

The concept of information can be viewed from two perspectives, namely epistemic and ontological. In the epistemic view, information is associated with meaning, semantics, and knowledge, while in the ontological view, it is understood as structures and forms of objects. Information is most often perceived as epistemic information, yet a closer look at epistemic information reveals that this concept does not account for ontological information. This paper poses the following question: Should we select epistemic or ontological information as our primary (...) concept of information, or should we acknowledge that both kinds of information are required for a full comprehension? The discussion here is supported by references to modern research in physics, computing, cosmology, and information sciences. (shrink)

This is the first of three parts of an introduction to the philosophy of climate science. In this first part about observing climate change, the topics of definitions of climate and climate change, data sets and data models, detection of climate change, and attribution of climate change will be discussed.

We prove that the two-variable fragment of first-order intuitionistic logic is undecidable, even without constants and equality. We also show that the two-variable fragment of a quantified modal logic L with expanding first-order domains is undecidable whenever there is a Kripke frame for L with a point having infinitely many successors (such are, in particular, the first-order extensions of practically all standard modal logics like K, K4, GL, S4, S5, K4.1, S4.2, GL.3, etc.). For many quantified modal logics, including those (...) in the standard nomenclature above, even the monadic two-variable fragments turn out to be undecidable. (shrink)

According to a particular view of political realism, political expediency must always override moral considerations. Perhaps the strongest defense of such a theory is offered by Carl Schmitt in The Concept of the Political. A close examination of Schmitt’s main presuppositions can therefore help to shed light on the tenuous relation between politics and morality. Schmitt’s theory rests on two keystones. First, the political is seen as independent of and prior to morality. Second, genuine political theory depends on a view (...) of human beings as evil by nature. I will argue that both claims are incomplete. Just as the political sometimes demands that morality be overridden, so morality can demand the overriding of political expediency. Moreover, the view of human beings as evil, which serves as the foundation of political realism, itself depends on affirming that human nature must also be, in some sense, good. Political realism is thus shown to have its theoretical foundation within a normative framework that demands the political pursuit of at least some moral aims. (shrink)

As a remedy for the bad computational behaviour of first-order temporal logic (FOTL), it has recently been proposed to restrict the application of temporal operators to formulas with at most one free variable thereby obtaining so-called monodic fragments of FOTL. In this paper, we are concerned with constructing tableau algorithms for monodic fragments based on decidable fragments of first-order logic like the two-variable fragment or the guarded fragment. We present a general framework that shows how existing decision procedures for first-order (...) fragments can be used for constructing a tableau algorithm for the corresponding monodic fragment of FOTL. Some example instantiations of the framework are presented. (shrink)

A model M of PA has the omega-property if it has a subset of order type omega that is coded in an elementary end extension of M. All countable recursively saturated models have the omega-property, but there are also models with the omega-property that are not recursively saturated. The papers is devoted to the study of structural properties of such models.

Millions of animals are used every year in oftentimes extremely painful and distressing scientific procedures. Legislation of animal experimentation in modern societies is based on the supposition that this is ethically acceptable when certain more or less defined formal (e.g. logistical, technical) demands and ethical principles are met. The main parameters in this context correspond to the “3Rs” concept as defined by Russel and Burch in 1959, i.e. that all efforts to replace, reduce and refine experiments must be undertaken. The (...) licensing of animal experiments normally requires an ethical evaluation process, oftentimes undertaken by ethics committees. The serious problems in putting this idea into practice include inter alia unclear conditions and standards for ethical decisions, insufficient management of experiments undertaken for specific (e.g. regulatory) purposes, and conflicts of interest of ethics committees’ members. (shrink)