Novel methods such as mass‐spectrometry enable a view of the proteomes of cells in unprecedented detail. Recently, these efforts have culminated in quantitative measurements of the number of copies per cell for most expressed proteins in organisms ranging from bacteria to mammalian cells. Here, we estimate the expected total number of proteins per unit of cell volume using known parameters related to the composition of cells such as the fraction of cell mass that is protein, and the average protein (...) length. Using simple arguments, we estimate a range of 2–4 million proteins per cubic micron (i.e. 1 fL) in bacteria, yeast, and mammalian cells. Interestingly, we find that measured values that are reported for fission yeast and mammalian cells are often about 3–10 times lower. We discuss this apparent discrepancy and how to use the estimate as benchmark to recalibrate proteome‐wide quantitative censuses or to revisit assumptions about cell composition. (shrink)

In this article we show how to extract with the use of the Buchholz -Cichon-Weiermann approach to subrecursive hierarchies from Rathjen's 1991 ordinal analysis of KPM a characterization of the provably total number-theoretic functions of KPM and some of its subsystems in a uniform and direct way.

The productivity of researchers and the impact of the work they do are a preoccupation of universities, research funding agencies, and sometimes even researchers themselves. The h-index is the most popular of different metrics to measure these activities. This research deals with presenting a practical approach to model the h-index based on the total number of citations and the duration from the publishing of the first article. To determine the effect of every factor on h, we applied a set (...) of simple nonlinear regression. The results indicated that both NC and D1 had a significant effect on h. The determination of coefficient for these equations to estimate the h-index was 93.4% and 39.8%, respectively, which verified that the model based on NC had a better fit. Then, to record the simultaneous effects of NC and D1 on h, multiple nonlinear regression was applied. The results indicated that NC and D1 had a significant effect on h. Also, the determination of coefficient for this equation to estimate h was 93.6%. Finally, to model and estimate the h-index, as a function of NC and D1, multiple nonlinear quartile regression was used. The goodness of the fitted model was also assessed. (shrink)

There have been two attempts in the history of human speculation to estimate the number of particles in the universe. The first was that of Archimedes of Syracuse about 216 B. C., and the second that of Sir Arthur Eddington nearly two thousand years later. What is surprising is that they both arrive at the same number. This is the number obtained by multiplying ten by itself seventy-nine times.

There have been two attempts in the history of human speculation to estimate the number of particles in the universe. The first was that of Archimedes of Syracuse about 216 B. C., and the second that of Sir Arthur Eddington nearly two thousand years later. What is surprising is that they both arrive at the same number. This is the number obtained by multiplying ten by itself seventy-nine times.

The idea of structural analysis of the Aeneid has been attacked recently by some who believe that too complicated mathematics are involved in line totals involving a golden mean. The object of the present article is to investigate whether simpler numerical effects are discernible in the poem, and whether these effects were deliberately inserted by Virgil. The significant numbers to be examined in this connexion are 3, 7, 12, and 30. The first three of these are among the ritualistic numbers (...) whose use in the Aeneid was discussed by C. P. Clark, while 30 is among other things part of the series 3, 30, 300 which we encounter in Aen. I. 261–96. (shrink)

Totalism is the view that one distribution of well-being is better than another just in case the one contains a greater sum of well-being than the other. Many philosophers, following Parfit, reject totalism on the grounds that it entails the repugnant conclusion: that, for any number of excellent lives, there is some number of lives that are barely worth living whose existence would be better. This paper develops a theory of welfare aggregation—the lexical-threshold view—that allows totalism to avoid the repugnant (...) conclusion, as well as its analogues involving suffering populations and the lengths of individual lives. The theory is grounded in some independently plausible views about the structure of well-being, identifies a new source of incommensurability in population ethics, and avoids some of the implausibly extreme consequences of other lexical views, without violating the intuitive separability of lives. (shrink)

Government authorities often view the 3Rs of “replace, reduce, refine” popularized by Russell and Burch as both a regulatory principle and a governance principle aimed at reducing the total amount of animal distress in science. They thus expect that the 3Rs should, in time, result in changes in total animal experimentation numbers. Communications by Swiss authorities provide stark examples of this expectation. But the 3Rs do not aim at affecting animal experimentation at the level of total numbers; (...) rather, they focus on study design in the individual case. While the underlying philosophy of the 3Rs indeed included a principle of seeking feasible overall reforms, this notion is completely absent in the 3Rs framework itself. Authorities need to stop treating the 3Rs as a means to reduce total distress and should instead invest resources into developing feasible and effective strategies for transformative governance in animal research. (shrink)

The different behaviour of total and partial numberings with respect to the reducibility preorder is investigated. Partial numberings appear quite naturally in computability studies for topological spaces. The degrees of partial numberings form a distributive lattice which in the case of an infinite numbered set is neither complete nor contains a least element. Friedberg numberings are no longer minimal in this situation. Indeed, there is an infinite descending chain of non-equivalent Friedberg numberings below every (...) given numbering, as well as an uncountable antichain. (shrink)

We present a mathematical model of a fishery on several sites with a variable price. The model takes into account the evolution during the time of the resource, fish and boat movement between the different sites, fishing effort and price that varies with respect to supply and demand. We suppose that the movements of the boats and resource as well as the variation of the price go on at a fast time scale. We use methods of aggregation of variables in (...) order to reduce the number of variables and we derive a reduced model governing two global variables, respectively the biomass of the resource and the fishing effort of the whole fishery. We look for the existence of equilibria of the aggregated model and perform local stability analysis. Two main cases can occur. The first one corresponds to over-exploitation leading to fish extinction. At extinction, the fishing effort tends to a positive value. The second case corresponds to a durable fishery equilibrium which is globally asymptotically stable. In the later case, we show that there exists a number of fishing sites that optimizes the total catch of the fishery. (shrink)

This paper provides the first examples of rings of algebraic numbers containing the rings of algebraic integers of the infinite algebraic extensions of where Hilbert's Tenth Problem is undecidable.

Taking its clues from Popperian philosophy of science, cladistics adopted a number of assumptions of the empiricist tradition. These include the identification of a dichotomy between observation reports and theoretical statements and its subsequent abandonment on the basis of the insight that all observation reports are theory-laden. The neglect of the ‘context of discovery’, which is the step of theory (hypothesis) generation. The emphasis on coherentism in the ‘context of justification’, which is the step of evaluation of the relative merits (...) of alternative theories. The appeal to a total evidence approach in phylogenetic inference. And finally, a silence about causation, which results in an instrumentalist approach to phylogeny reconstruction. This paper explores how these empiricist assumptions are embedded in phylogenetic systematics, and why these assumptions are problematic for cladists (or any taxonomists). (shrink)

A strong reducibility relation between partial numberings is introduced which is such that the reduction function transfers exactly the numbers which are indices under the numbering to be reduced into corresponding indices of the other numbering. The degrees of partial numberings of a given set with respect to this relation form an upper semilattice.In addition, Ershov’s completion construction for total numberings is extended to the partial case: every partially numbered set can be embedded in a set (...) which results from the given set by adding one point and which is enumerated by a total and complete numbering. As is shown, the degrees of complete numberings of the extended set also form an upper semilattice. Moreover, both semilattices are isomorphic.This is not so in the case of the usual, weaker reducibility relation for partial numberings which allows the reduction function to transfer arbitrary numbers into indices. (shrink)

In this paper we study applicative theories of operations and numbers with the non-constructive minimum operator in the context of a total application operation. We determine the proof-theoretic strength of such theories by relating them to well-known systems like Peano Arithmetic PA and the system <0 of second order arithmetic. Essential use will be made of so-called fixed-point theories with ordinals, certain infinitary term models and Church-Rosser properties.

is a fragment of first-order aritlimetic so weak that it cannot prove the totality of an iterated exponential fimction. Surprisingly, however, the theory is remarkably robust. I will discuss formal results that show that many theorems of number theory and combinatorics are derivable in elementary arithmetic, and try to place these results in a broader philosophical context.

This paper presents two notes relating to Jason’s prayer to Apollo before the launch of the Argo in Apollonius’ Argonautica. In both cases, I examine what may be termed the “subtextual” facets of the passage: textual data that are significant—productive of meaningful interpretation—and yet hardly apparent on a surface-level reading of the poem. The first note concerns the changing total number of crewmembers aboard the Argo, an evolving figure which Apollonius encourages the reader to track as the narrative progresses. (...) The second proposes a new acrostic that “completes” the ΑΚΤΙΑ acrostic that Selina Stewart recently discovered in Jason’s prayer. In each case, I draw different conclusions from these subliminal data, which have ramifications for questions of gender and inclusivity in Jason’s crew and the role of the gods in the poem. Both readings, however, are a testament to the careful design and unity of purpose that runs through the epic. (shrink)

Israel Scheffler's ground-breaking essay, On Human Potential, deserves to be more widely known among educational policy analysts, especially in light of the popularity in educationist circles of W.E. Deming's organizational philosophy known as Total Quality Management . In what follows,I argue that the heuristical value of Deming's perscriptions are entailed in Scheffler's On Human Potential. More importantly, I argue, where Deming's work falls short, especially in being naive about the human condition, Scheffler's analysis provides a foundation for management theory (...) in education that insures the flourishing of an optimal number of contributing participants. In fashioning these ideas, Scheffler brings pioneering thinking to the emerging fields of management studies generally and educational policy specifically. (shrink)

This article investigates the connection and dependence between the definiteness of the totalities involved in mathematical structures and the determinateness of statements about that structure. From a logical perspective, we investigate whether logical principles expressing the definiteness of totalities license the use of classical logic. From a philosophical perspective, this article provides a reconstruction of Solomon Feferman’s claim that the definiteness of the natural number conception implies the determinateness of arithmetical statements and therefore justifies the adoption of classical logic for (...) arithmetical theories. (shrink)

In examples like the total recursive functions or the computable real numbers the canonical indexings are only partial maps. It is even impossible in these cases to find an equivalent total numbering. We consider effectively given topological T 0 -spaces and study the problem in which cases the canonical numberings of such spaces can be totalized, i.e., have an equivalent total indexing. Moreover, we show under very natural assumptions that such spaces can effectively and effectively homeomorphically (...) be embedded into a totally indexed algebraic partial order that is closed under the operation of taking least upper bounds of enumerable directed subsets. (shrink)

On the Total Principle, the best state of affairs (ceteris paribus) is the one with the greatest net sum of welfare value. Parfit rejects this principle, because he believes that it implies the Repugnant Conclusion, the conclusion that for any large population of people, all with lives well worth living, there will be some much larger population whose existence would be better, even though its members all have lives that are only barely worth living. Recently, however, a number of (...) philosophers have suggested that the Total Principle does not imply the Repugnant Conclusion provided that a certain axiological view (namely, the ‘Discontinuity View’) is correct. Nevertheless, as I point out, there are three different versions of the Repugnant Conclusion, and it appears that the Total Principle will imply two of the three even if the Discontinuity View is correct. I then go on to argue that one of the two remaining versions turns out not to be repugnant after all. Second, I argue that the last remaining version is not, as it turns out, implied by the Total Principle. Thus, my arguments show that the Total Principle has no repugnant implications. (shrink)

We consider so‐called extremal numberings that form the greatest or minimal degrees under the reducibility of all A‐computable numberings of a given family of subsets of, where A is an arbitrary oracle. Such numberings are very common in the literature and they are called universal and minimal A‐computable numberings, respectively. The main question of this paper is when a universal or a minimal A‐computable numbering satisfies the Recursion Theorem (with parameters). First we prove that the Turing (...) degree of a set A is hyperimmune if and only if every universal A‐computable numbering satisfies the Recursion Theorem. Next we prove that any universal A‐computable numbering satisfies the Recursion Theorem with parameters if A computes a non‐computable c.e. set. We also consider the property of precompleteness of universal numberings, which in turn is closely related to the Recursion Theorem. Ershov proved that a numbering is precomplete if and only if it satisfies the Recursion Theorem with parameters for partial computable functions. In this paper, we show that for a given A‐computable numbering, in the general case, the Recursion Theorem with parameters for total computable functions is not equivalent to the precompleteness of the numbering, even if it is universal. Finally we prove that if A is high, then any infinite A‐computable family has a minimal A‐computable numbering that satisfies the Recursion Theorem. (shrink)

The paper examines the nature of the behavioral evidence underlying attributions of intelligence in the case of human beings, and how this might be extended to other kinds of cognitive system, in the spirit of the original Turing Test. I consider Harnad's Total Turing Test, which involves successful performance of both linguistic and robotic behavior, and which is often thought to incorporate the very same range of empirical data that is available in the human case. However, I argue that (...) the TTT is still too weak, because it only tests the capabilities of particular tokens within a preexisting context of intelligent behavior. What is needed is a test of the cognitive type, as manifested through a number of exemplary tokens, in order to confirm that the cognitive type is able to produce the context of intelligent behavior presupposed by tests such as the TT and TTT. (shrink)

Companies' urge to maximise their profits and their attempts to remain in the highly competitive globalised market gave birth to the TQM concept and have kept it alive. TQM is a comprehensive look which encompasses virtually every aspect of the value chain as well as the human resource and customer satisfaction. Therefore, a great number of companies feel obliged to implement its rules, and procedures. However, the concept is rather complicated and culture-bound, and calls for further research in new settings. (...) The aim of this study is to examine the influences of critical success factors of TQM on customer focus therefore, employees are classified based on their perceptions from critical success factors of total quality management and consequently the level of customer focus is compared between the different classifications. The findings reveal that there is significant difference on the level of the customer focus between the established groups of employees. (shrink)

Most approaches to iterated belief revision are accompanied by some motivation for the use of the proposed revision operator (or family of operators), and typically encode enough information in the epistemic state of an agent for uniquely determining one-step revision. But in those approaches describing a family of operators there is usually little indication of how to proceed uniquely after the first revision step. In this paper we contribute towards addressing that deficiency by providing a formal framework which goes beyond (...) the first revision step in two ways. First, the framework is obtained by enriching the epistemic state of an agent starting from the following intuitive idea: we associate to each world x two abstract objects x⁺ and x⁻, and we assume that, in addition to preferences over the set of worlds, we are given preferences over this set of objects as well. The latter can be considered as meta-information encoded in the epistemic state which enables us to go beyond the first revision step of the revision operator being applied, and to obtain a unique set of preferences over worlds. We then extend this framework to consider, not only the revision of preferences over worlds, but also the revision of this extended structure itself. We look at some desirable properties for revising the structure and prove the consistency of these properties by giving a concrete operator satisfying all of them. Perhaps more importantly, we show that this framework has strong connections with two other types of constructions in related areas. Firstly, it can be seen as a special case of preference aggregation which opens up the possibility of extending the frame-work presented here into a full-fledged framework for preference aggregation and social choice theory. Secondly, it is related to existing work on the use of interval orderings in a number of different contexts. (shrink)

Adults increase the certainty of their inductive inferences by observing more diverse instances. However, most young children fail to do so. The present study tested the hypothesis that children's sensitivity to instance diversity is determined by three variables: ability to discriminate among instances ( Discrimination ); an intuition that large numbers of instances increase the strength of conclusion ( Monotonicity ); ability to detect subcategories and evaluate numerical differences between the subcategories, or Extraction . A total of 219 Chinese (...) children aged 6 to 11 were tested for sensitivity to diversity by means of Discrimination, Monotonicity, and Extraction. The results indicated that children at all ages were able to discriminate instances and attend to set size. However, only 9- and 11-year-olds demonstrated Extraction and sensitivity to diversity. Furthermore, among all children diversity scores increased linearly with the level of Extraction. These results suggest that the law of large numbers plays a role in children's diversity-based reasoning. (shrink)

This article considers the methods used to estimate the number of abortions before the 1967 Abortion Act came into operation. It suggests that the registration of legal abortions has enabled a new method to be used to calculate the number of illegal operations. The article concludes that the major effect of the Act was to transfer abortions from the illegal to the legal sector and, using the new method of calculation, estimates a total number of abortions immediately before the (...) Act of just over 100,000 a year. (shrink)

The scope of this study is the early phase of Husserl's philosophy, from On the Concept of Number and Philosophy of Arithmetic through the Logical Investigations. Like others who have studied this period, Cooper-Wiele wants to trace the development of themes understood to play a central role in Husserl's mature, phenomenological philosophy. Of central concern to him is the emergence of Husserl's transcendental point of view, which Cooper-Wiele characterizes as "a conquest of spatio-temporal phenomena," "the dissolution of the threat" to (...) certainty and teleology posed by the assumption that causal reality is an ultimate philosophical category. The "key" to the early development of transcendental phenomenology is said to be Husserl's study of the mental act of collecting--or, as the author prefers, the "totalizing act.". (shrink)

Seven studies explored the empirical basis for claims that infants represent cardinal values of small sets of objects. Many studies investigating numerical ability did not properly control for continuous stimulus properties such as surface area, volume, contour length, or dimensions that correlate with these properties. Experiment 1 extended the standard habituation/dishabituation paradigm to a 1 vs 2 comparison with three-dimensional objects and confirmed that when number and total front surface area are confounded, infants discriminate the arrays. Experiment 2 revealed (...) that infants dishabituated to a change in front surface area but not to a change in number when the two variables were pitted against each other. Experiments 3 through 5 revealed no sensitivity to number when front surface area was controlled, and Experiments 6 and 7 extended this pattern of findings to the Wynn (1992) transformation task. Infants’ lack of a response to number, combined with their demonstrated sensitivity to one or more dimensions of continuous extent, supports the hypothesis that the representations subserving object-based attention, rather than those subserving enumeration, underlie performance in the above tasks. (shrink)

You must either save a group of m people or a group of n people. If there are no morally relevant diff erences among the people, which group should you save? is problem is known as the number problem. e recent discussion has focussed on three proposals: (i) Save the greatest number of people, (ii) Toss a fair coin, or (iii) Set up a weighted lottery, in which the probability of saving m people is m / m + n , (...) and the probability of saving n people is n / m + n . is contribution examines a fourth alternative, the mixed solution, according to which both fairness and the total number of people saved count. It is shown that the mixed solution can be defended without assuming the possibility of interpersonal comparisons of value. (shrink)

Bernard Yack seeks to identify and account for the development of a form of discontent held in common by a large number of European philosophers and social critics, including Rousseau, Schiller, the young Hegel, Marx, and Nietzsche. Yack contends that these individuals, despite their profound disagreements, shared new perspectives on human freedom and history, and that these perspectives gave their discontent its peculiar breadth and intensity.

Although some cognitive studies provided reasons that children with low socioeconomic status (SES) showed poor mathematical achievements, there was no explicit evidence to directly explain the root of lagged performance in children with low SES. Therefore, the present study explored the differences in neural correlates in the process of symbolic magnitude comparison between children with different SES by the event-related potentials (ERP). A total of 16 second graders from low SES families and 16 from middle/high SES families participated in (...) this study. According to the results of anterior N1 (early attention) and P2 (extraction of numerical meaning) over frontal region, the differences among children with different SES were manifested as differences in general neural activities in terms of attention and top-down cognitive control. In the late stage of cognitive processing, there was no significant difference in the average amplitude of the LPC between the children with different SES, indicating that low SES did not influence the information encoding and memory updating of numerical representation responsible by the parietal lobe. The educational implications of this study were mentioned in the discussion. (shrink)

Given a class ℱ oft otal functions in the set oft he natural numbers, one could study the real numbers that have arbitrarily close rational approximations explicitly expressible by means of functions from ℱ. We do this for classes ℱsatisfying certain closedness conditions. The conditions in question are satisfied for example by the class of all recursive functions, by the class of the primitive recursive ones, by any of the Grzegorczyk classes ℰnwith n ≥ 2, by the class of all (...) functions recursive in a given function and by the class of the functions primitive recursive in it, as well as by the class of all total functions in the set of the natural numbers. (shrink)

The motor modules during human walking are identified using non-negative matrix factorization from surface electromyography signals. The extraction of motor modules in healthy participants is affected by the change in pre-processing of EMG signals, such as low-pass filters ; however, the effect of different pre-processing methods, such as the number of necessary gait cycles in post-stroke patients with varying steps, remains unknown. We aimed to specify that the number of GCs influenced the motor modules extracted in the consideration of LPFs (...) in post-stroke patients. In total, 10 chronic post-stroke patients walked at a self-selected speed on an overground walkway, while EMG signals were recorded from the eight muscles of paretic lower limb. To verify the number of GCs, five GC conditions were set, namely, 25, 20, 15, 10, and 5 gate cycles with three LPFs. First, the number of modules, variability accounted for, and muscle weightings extracted by the NNMF algorithm were compared between the conditions. Next, a modified NNMF algorithm, in which the activation timing profiles among different GCs were unified, was performed to compare the muscle weightings more robustly between GCs. The number of motor modules was not significantly different, regardless of the GCs. The difference in VAF and muscle weightings in the different GCs decreased with the LPF of 4 Hz. Muscle weightings in 15 GCs or less were significantly different from those in 25 GCs using the modified NNMF. Therefore, we concluded that the variability extracted motor modules by different GCs was suppressed with lower LPFs; however, 20 GCs were needed for more representative extraction of motor modules during walking in post-stroke patients. (shrink)

This article sets out to analyse some of the most basic elements of our number concept - of our awareness of the one and the many in their coherence with multiplicity, succession and equinumerosity. On the basis of the definition given by Cantor and the set theoretical definition of cardinal numbers and ordinal numbers provided by Ebbinghaus, a critical appraisal is given of Frege’s objection that abstraction and noticing (or disregarding) differences between entities do not produce the concept of number. (...) By introducing the notion of subject functions, an account is advanced of the (nominalistic) reason why Frege accepted physical, kinematic and spatial properties (subject functions) of entities, but denied the ontic status of their quantitative properties (their quantitative subject function). With reference to intuitionistic mathematics (Brouwer, Weyl, Troelstra, Kreisel, Van Dalen) the primitive meaning of succession is acknowledged and connected to an analysis of what is entailed in the term ‘Gleichzahligkeit’ (‘equinumerosity’). This expression enables an analysis of the connections between ordinality and cardinality on the one hand and succession and wholeness (totality) on the other. The conceptions of mathematicians such as Frege, Cantor, Dedekind, Zermelo, Brouwer, Skolem, Fraenkel, Von Neumann, Hilbert, Bernays and Weyl, as well as the views of the philosopher Cassirer, are discussed in order to arrive at an assessment of the relation between ordinality and cardinality (also taking into account the relation between logic and arithmetic) - and on the basis of this evaluation, attention is briefly given to the definition of an ordered pair in axiomatic set theory (with reference to the set theory of Zermelo-Fraenkel) and to the defmition of an ordered pair advanced by Wiener and Kuratowski. (shrink)

In this paper we establish the following theorems. THEOREM A. Let T be a complete first-order theory which is uncountable. Then: (i) I(|T|, T) ≥ ℵ 0 . (ii) If T is not unidimensional, then for any λ ≥ |T|, I (λ, T) ≥ ℵ 0 . THEOREM B. Let T be superstable, not totally transcendental and nonmultidimensional. Let θ(x) be a formula of least R ∞ rank which does not have Morley rank, and let p be any stationary completion (...) of θ which also fails to have Morley rank. Then p is regular and locally modular. (shrink)

The convergence of the Neoplatonic/Neopythagorean approach with the Aristotelian organization of the sciences is one of the most interesting features that characterizes the two influential mathematical treatises on On Arithmetics and On Music by Severinus Boethius. Basing his reasoning on Nicomachus and Ptolemy, Boethius follows the philosophical tradition that had tried to reconcile Plato’s and Aristotle’s views. This attitude is examined in the present paper as regards Boethius’ response concerning the relation between numbers, ethics and aesthetics. His view emerges as (...) coming out of a rather complex construction, which assigns the ethical scope of mathematics in indicating to the human mind how to correct the ratios that realize the best relationship in movements of the soul and the body. More precisely, its ethical aim is to correct the specific form of movement of human beings, that is their actions, exemplified in the way in which mathematical ratios represent the forms of government and musical ratios evoke and heal psychophysical affections. More complex, on the other hand, is the relationship between mathematics and beauty. In clear antithesis to the position taken by Augustine on the beauty of the rhythmic patterns that better represent the beauty of unity, Boethius does not relate the mathematical ratios of the consonances to an esthetical judgment by making use of the category of beauty. For him, the physical world is totally immersed in changes and movements, and this cannot but impede things from expressing the stable unity, which is required for contemplating the beautiful. (shrink)

On pages 490-491, in describing the results of Experiment 2, the authors state that out of a total of 3840 responses, only 355 (or 9%) fell outside the response deadlines. In fact, the total number of responses in Experiment 2 was 3200 and so the 355 responses represented 11%, not 9%, of the total. This error has no other implications. The authors are grateful to Peter Graf (personal communication, March 12, 2000) for pointing out the error.

Russell's "new contradiction" about "the totality of propositions" has been connected with a number of modal paradoxes. M. Oksanen has recently shown how these modal paradoxes are resolved in the set theory NFU. Russell's paradox of the totality of propositions was left unexplained, however. We reconstruct Russell's argument and explain how it is resolved in two intensional logics that are equiconsistent with NFU. We also show how different notions of possible worlds are represented in these intensional logics.

Let H n be the linear heptagonal networks with 2 n heptagons. We study the structure properties and the eigenvalues of the linear heptagonal networks. According to the Laplacian polynomial of H n, we utilize the method of decompositions. Thus, the Laplacian spectrum of H n is created by eigenvalues of a pair of matrices: L A and L S of order numbers 5 n + 1 and 4 n + 1 n! / r! n − r!, respectively. On the (...) basis of the roots and coefficients of their characteristic polynomials of L A and L S, we get not only the explicit forms of Kirchhoff index but also the corresponding total number of spanning trees of H n. (shrink)

It is sometimes suggested that criteria of identity should play a central role in an account of our most fundamental ways of referring to objects. The view is nicely illustrated by an example due to (Quine, 1950). Suppose you are standing at the bank of a river, watching the water that floats by. What is required for you to refer to the river, as opposed to a particular segment of it, or the totality of its water, or the current temporal (...) part of this water? According to Quine, you must at least implicitly be operating with some criterion of identity that informs you when two sightings of water count as sightings of the same referent. For unless you have at least an implicit grasp of what is required for your intended referent to be identical with another object with which you are presented, you have not succeeded in singling out a unique object for reference. (shrink)

Using data of 26 cities in China from 2004 to 2017, the green total factor productivity is investigated by the SMM-GML method. The corresponding empirical analysis is conducted with the DID model. This paper investigates the relation between low-carbon pilot policy and green total factor productivity and discusses the mediating effect of industrial structure and the number of R&D staff. First, we find that LCC has a significant effect on pilot cities’ GTFP. And, it also promotes GTFP via (...) industrial structure. Second, LCC can improve industrial structure optimization and realization, and industrial structure realization affects GTFP significantly, while optimization cannot. Third, LCC cannot attract more RDS, and RDS harms local GDFP because of talent misallocation. At last, the rate of GTFP presented different upward trends in the order of non-eastern cities and eastern cities. The effect of LCC on GTFP is significant in non-eastern cities, but not eastern ones, which clearly demonstrates the imbalanced development of the green economy. Therefore, the governments of eastern and non-eastern regions should adopt different measures based on local conditions in industrial structure transformation and recruitment and strengthen environmental regulations to make the effect of the low-carbon policy lasting and promote GTFP growth balance in all regions. (shrink)

Order picking, which is collecting a set of products from different locations in a warehouse, has repeatedly been described as one of the most laborious and time-consuming internal logistic processes. Each order is issued to pick some products located at given locations in the warehouse. In this paper, we consider an order picking problem, in which a number of orders with different delivery due dates are going to be retrieved by a limited number of order pickers in multiperiods such that (...) the total tardiness is minimized. The aim is to determine a retrieval plan in terms of order batching and order picker multitrip routing as decision variables. Besides, products are arrived and replenished at the predetermined locations at different periods. Therefore, products sitting in those locations should be delivered soon to provide empty rooms for replenishment. A mixed integer linear programming formulation is proposed for this new problem. The model is optimally solved for small-size problems. For larger instances, grouping metaheuristic algorithms are proposed based on particle swarm optimization and the league championship algorithm that use group-based operators to generate reasonable batches of orders. Improvement heuristics are designed as well. The performance of the MILP formulation and metaheuristic algorithms is analyzed for different problem instances whose designs are based on real data gathered from an auto parts warehouse. Results indicate that our algorithms can stably solve large instances of the problem in a reasonable time. (shrink)

Kant’s moral proof of the postulate of immortality in the Critique of Practical Reason is often dismissed as a failed argument that trades on illicit conceptual shifts. I argue that Kant’s argument is more interesting and less problematic than is usually thought. I first examine its role in the second Critique’s Dialectic. I then point out that the standard interpretation, according to which the argument presupposes God’s intuitive grasp of the moral equivalence between the disposition to pursue holiness and its (...) attainment, faces a number of philosophical and textual problems. I offer an alternative reading that avoids these problems. In particular, I stress the importance of Kant’s mathematized conception of the relationship between infinite progress towards an ideal goal and its attainment and argue that appealing to this conception allows Kant to meet a well-known criticism that his proof illegitimately substitutes the endless progress towards holiness for holiness itself. (shrink)

Introduction. The article is focused on analyzing the aesthetic aspect of A. Kojève’s philosophy, the ability of his philosophy, from an aesthetic point of view, to clarify a number of key problems of the modern political and cultural environment. The purpose of the study is to determine the epistemological attitude of A. Kojève’s philosophy able to clarify the way in which his philosophy problematizes the current cultural and political reality. Methods. Hermeneutics, comparative analysis and deconstruction are used as research methods. (...) Comparative analysis allows us to demarcate A. Kojève’s own line of reasoning, in the context of aesthetic and epistemological theories, as well as Hegelian themes themselves. Hermeneutics is the central method in the work, since the philosophy of A. Kojeve requires interpretation as an aesthetic theory. Deconstruction, formalized to the status of a method according to P. de Man, allows us to detect inconsistencies, the principle of mutual problematization of Kojeve’s philosophy and the current political and epistemological agenda. Scientific novelty of the research. The standard way of interpreting the work of A. Kojève is to evaluate him as an interpreter of G. Hegel. The author analyzes some meaning of A. Kojève’s philosophy, separate from G. Hegel’s explanation of the text. The novelty lies not only in the fact that A. Kojève’s philosophy is defined as theorizing that goes beyond technical hermeneutics (clear presentation), but also as a specific representation of such theorizing as epistemological aesthetic theory. The latter is a rather rare interpretation of the philosophy of A. Kojeve. This allows us to expand the traditional assumption that post-Hegelian epistemesthetics is the property of an extremely limited number of authors (for example, B. Croce). Moreover, such an interpretation of A. Kojève’s theories is a new element in the emerging trend of considering political issues within the framework of epistemological aesthetics. Results. The specific mode of interpreting G. Hegel, which is carried out by A. Kojève, turns the philosophy of the former into a unique aesthetic project. In this project, the category of aesthetic experience comes to the foreground, indicating the empty, formal nature of any discourse. In this regard, any claim to knowledge of reality, to a correct idea of the subject is replaced by the idea of creating the subject of discourse. Consistent treatment of this idea is symptomatic of the philosophy of A. Kojève. This philosophy is a reflection of those historical changes that gave rise to the culture of “aesthetic rationality”: empty and formal. In A. Kojève’s philosophy, one can see how such a culture of the End of History is, contrary to Hegelian ideas, not the era of the struggle decline, but the era of its strange transformation, a symptom of increasing political violence. Conclusions. A. Kojève’s philosophy is considered not as a utopian political project, but as a problematization of the modern cultural and political sphere. The latter is understood as an indication of the inconsistency of ontological discourses of Truth, the discovery in the very essence of discursive practices of an empty, formal principle, and therefore primarily of interest to aesthetics. The modern era of the End of History and the end of the era of persuasive speech gives an idea of the main political paradox (at least for the philosophy of A. Kojève, and at most for the modern political environment). The era of disappointment in discourse should become an era of refusal to fight for discourses, but it becomes an era of maximizing violence, since it is in a situation of disappointment that discourses can only be supported by force. We move from unconvincing speech to convincing violence, but it is possible to understand the origins and specifics of this transition only by considering A. Kojève’s philosophy in the light of such a discipline as aesthetics. (shrink)

Atomic states are rigorously characterized by the total orbital angular momentum and the total spin angular momentum, but chemists persist in the use of electron configurations based on one-electron quantum numbers and simplified rules for predicting ground state configurations. This practice is defended against two lines of criticism, and its use in teaching chemistry is encouraged with the claim that the inductive approach of Mendeleev and the deductive approach initiated by Schrödinger compose the consummate example of that interaction (...) of empirical and rational epistemologies that defines how chemists think. (shrink)