Quantity is the first category that Aristotle lists after substance. It has extraordinary epistemological clarity: "2+2=4" is the model of a self-evident and universally known truth. Continuous quantities such as the ratio of circumference to diameter of a circle are as clearly known as discrete ones. The theory that mathematics was "the science of quantity" was once the leading philosophy of mathematics. The article looks at puzzles in the classification and epistemology of quantity.

In this article, we present a new conception of internal relations between quantity tropes falling under determinates and determinables. We begin by providing a novel characterization of the necessary relations between these tropes as basic internal relations. The core ideas here are that the existence of the relata is sufficient for their being internally related, and that their being related does not require the existence of any specific entities distinct from the relata. We argue that quantity tropes are, (...) as determinate particular natures, internally related by certain relations of proportion and order. By being determined by the nature of tropes, the relations of proportion and order remain invariant in conventional choice of unit for any quantity and give rise to natural divisions among tropes. As a consequence, tropes fall under distinct determinables and determinates. Our conception provides an accurate account of quantitative distances between tropes but avoids commitment to determinable universals. In this important respect, it compares favorably with the standard conception taking exact similarity and quantitative distances as primitive internal relations. Moreover, we argue for the superiority of our approach in comparison with two additional recent accounts of the similarity of quantity tropes. (shrink)

The paper interprets the concept “operator in the separable complex Hilbert space” (particalry, “Hermitian operator” as “quantity” is defined in the “classical” quantum mechanics) by that of “quantum information”. As far as wave function is the characteristic function of the probability (density) distribution for all possible values of a certain quantity to be measured, the definition of quantity in quantum mechanics means any unitary change of the probability (density) distribution. It can be represented as a particular case (...) of “unitary” qubits. The converse interpretation of any qubits as referring to a certain physical quantity implies its generalization to non-Hermitian operators, thus neither unitary, nor conserving energy. Their physical sense, speaking loosely, consists in exchanging temporal moments therefore being implemented out of the space-time “screen”. “Dark matter” and “dark energy” can be explained by the same generalization of “quantity” to non-Hermitian operators only secondarily projected on the pseudo-Riemannian space-time “screen” of general relativity according to Einstein's “Mach’s principle” and his field equation. (shrink)

This essay explores various problematical aspects of Descartes' conservation principle for the quantity of motion (size times speed), particularly its largely neglected "dual role" as a measure of both durational motion and instantaneous "tendencies towards motion". Overall, an underlying non-local, or "holistic", element of quantity of motion (largely derived from his statics) will be revealed as central to a full understanding of the conservation principle's conceptual development and intended operation; and this insight can be of use in responding (...) to some of the recent and traditional criticisms of Descartes' physics. (shrink)

In this paper we consider conditional random quantities (c.r.q.’s) in the setting of coherence. Based on betting scheme, a c.r.q. X|H is not looked at as a restriction but, in a more extended way, as \({XH + \mathbb{P}(X|H)H^c}\) ; in particular (the indicator of) a conditional event E|H is looked at as EH + P(E|H)H c . This extended notion of c.r.q. allows algebraic developments among c.r.q.’s even if the conditioning events are different; then, for instance, we can give a (...) meaning to the sum X|H + Y|K and we can define the iterated c.r.q. (X|H)|K. We analyze the conjunction of two conditional events, introduced by the authors in a recent work, in the setting of coherence. We show that the conjoined conditional is a conditional random quantity, which may be a conditional event when there are logical dependencies. Moreover, we introduce the negation of the conjunction and by applying De Morgan’s Law we obtain the disjoined conditional. Finally, we give the lower and upper bounds for the conjunction and disjunction of two conditional events, by showing that the usual probabilistic properties continue to hold. (shrink)

Quantities like mass and temperature are properties that come in degrees. And those degrees (e.g. 5 kg) are properties that are called the magnitudes of the quantities. Some philosophers (e.g., Byrne 2003; Byrne & Hilbert 2003; Schroer 2010) talk about magnitudes of phenomenal qualities as if some of our phenomenal qualities are quantities. The goal of this essay is to explore the anti-physicalist implication of this apparently innocent way of conceptualizing phenomenal quantities. I will first argue for a metaphysical thesis (...) about the nature of magnitudes based on Yablo’s proportionality requirement of causation. Then, I will show that, if some phenomenal qualities are indeed quantities, there can be no demonstrative concepts about some of our phenomenal feelings. That presents a significant restriction on the way physicalists can account for the epistemic gap between the phenomenal and the physical. I’ll illustrate the restriction by showing how that rules out a popular physicalist response to the Knowledge Argument. (shrink)

I analyze the meaning of mass in Newtonian mechanics. First, I explain the notion of primitive ontology, which was originally introduced in the philosophy of quantum mechanics. Then I examine the two common interpretations of mass: mass as a measure of the quantity of matter and mass as a dynamical property. I claim that the former is ill-defined, and the latter is only plausible with respect to a metaphysical interpretation of laws of nature. I explore the following options for (...) the status of laws: Humeanism, primitivism about laws, dispositionalism, and ontic structural realism. (shrink)

In this essay I propose a new measure of social welfare. It captures the intuitive idea that quantity, quality, and equality of individual welfare all matter for social welfare. More precisely, it satisfies six conditions: Equivalence, Dominance, Quality, Strict Monotonicity, Equality and Asymmetry. These state that i) populations equivalent in individual welfare are equal in social welfare; ii) a population that dominates another in individual welfare is better; iii) a population that has a higher average welfare than another population (...) is better, other things being equal; iv) the addition of a well-faring individual makes a population better, whereas the addition of an ill-faring individual makes a population worse; v) a population that has a higher degree of equality than another population is better, other things being equal; and vi) individual illfare matters more for social welfare than individual welfare. By satisfying the six conditions, the measure improves on previously proposed measures, such as the utilitarian Total and Average measures, as well as different kinds of Prioritarian measures. (shrink)

Kant's obscure essay entitled An Attempt to Introduce the Concept of Negative Quantities into Philosophy has received virtually no attention in the Kant literature. The essay has been in English translation for over twenty years, though not widely available. In his original 1983 translation, Gordon Treash argues that the Negative Quantities essay should be understood as part of an ongoing response to the philosophy of Christian Wolff. Like Hoffmann and Crusius before him, the Kant of 1763 is at odds with (...) the Leibnizian-Wolffian tradition of deductive metaphysics. He joins his predecessors in rejecting the assumption that the law of contradiction alone can provide proof of the principle of sufficient reason: -/- In his rejection of the possibility of deducing all philosophic truth from the law of contradiction, however, and in the clear recognition that this impossibility has immediate consequences for defense of the law of sufficient reason, Kant's work most definitely and positively constitutes a line of succession from Hoffmann and Crusius (Treash, 1983, p. 25). -/- The recognition that Kant's Negative Quantities essay is part of a response to the tradition of deductive metaphysics is, without a doubt, an important contribution to the Kant literature. However, there is still more to be said about this neglected essay. The full significance of the paper becomes known through its ties to a second, empiricist line of succession. Clues to this second line of succession can be found in Kant's prefatory remarks concerning Euler's 1748 Reflections on Space and Time and Crusius' 1749 Guidance in the Orderly and Careful Consideration of Natural Events. As I will show, these prefatory remarks suggest a reading of Kant's Negative Quantities paper that reaches beyond German deductive metaphysics to engage a debate regarding the application of mathematics in philosophy initiated by George Berkeley. (shrink)

The quantum information introduced by quantum mechanics is equivalent to that generalization of the classical information from finite to infinite series or collections. The quantity of information is the quantity of choices measured in the units of elementary choice. The qubit can be interpreted as that generalization of bit, which is a choice among a continuum of alternatives. The axiom of choice is necessary for quantum information. The coherent state is transformed into a well-ordered series of results in (...) time after measurement. The quantity of quantum information is the ordinal corresponding to the infinity series in question. Number and being (by the meditation of time), the natural and artificial turn out to be not more than different hypostases of a single common essence. This implies some kind of neo-Pythagorean ontology making related mathematics, physics, and technics immediately, by an explicit mathematical structure. (shrink)

A simple interpretation of quantity calculus is given. Quantities are described as two-place functions from objects, states or processes (or some combination of them) into numbers that satisfy the mutual measurability property. Quantity calculus is based on a notational simplification of the concept of quantity. A key element of the simplification is that we consider units to be intentionally unspecified numbers that are measures of exactly specified objects, states or processes. This interpretation of quantity calculus combines (...) all the advantages of calculating with numerical values (since the values of quantities are numbers, we can do with them everything we do with numbers) and all the advantages of calculating with standardly conceived quantities (calculus is invariant to the choice of units and has built-in dimensional analysis). This also shows that the standard metaphysics and mathematics of quantities and their magnitudes is not needed for quantity calculus. At the end of the article, arguments are given that the concept of quantity as defined here is a pivotal concept in understanding the quantitative approach to nature. As an application of this interpretation of quantity calculus, an easy proof of dimensional homogeneity of physical laws is given. (shrink)

Resemblances obtain not only between objects but between properties. Resemblances of the latter sort - in particular resemblances between quantitative properties - prove to be the downfall of a well-known theory of universals, namely the one presented by David Armstrong. This paper examines Armstrong's efforts to account for such resemblances within the framework of his theory and also explores several extensions of that theory. All of them fail.

In this paper, I present two crucial problems for Wolff’s metaphysics of quantities: 1) The structural identification problem and 2) the Pythagorean problem. The former is the problem of uniquely defining a general algebraic structure for all quantities; the latter is the problem of distinguishing physical quantitative structure from mathematical quantities. While Wolff seems to have a consistent and elegant solution to the first problem, the second problem may put in jeopardy his metaphysical view on quantities as spaces. After drawing (...) a parallelism between Wolff’s treatment of quantitative structures and Frege’s conception of quantitative domain, I propose a solution to the Pythagorean problem based on the idea that mathematical structures are the result of applying an abstraction principle on physical quantitative structures. In particular, I propose the view that abstraction may be seen as the operation of structure determination which transforms concrete physical quantities (i.e. undetermined structures) into abstract mathematical quantities (fully determined structures of thin and shallow objects). (shrink)

This article aims to interpret Leibniz’s dynamics project through a theory of the causation of corporeal motion. It presents an interpretation of the dynamics that characterizes physical causation as the structural organization of phenomena. The measure of living force by mv2 must then be understood as an organizational property of motion conceptually distinct from the geometrical or otherwise quantitative magnitudes exchanged in mechanical phenomena. To defend this view, we examine one of the most important theoretical discrepancies of Leibniz’s dynamics with (...) classical mechanics, the measure of vis viva as mv2 rather than ½ mv2. This “error”, resulting from the limits of Leibniz’s methodology, reveals the systematic role of this quantity mv2 in the dynamics. In examining the evolution of the quantity mv2 in the refinement of the force concept from potentia to actio, I argue that Leibniz’s systematic limitations help clarify dynamical causality as neither strictly metaphysical nor mechanical but a distinct level of reality to which Leibniz dedicates the “dynamica” as “nova scientia”. (shrink)

Newton published his deduction of universal gravity in Principia (first ed., 1687). To establish the universality (the particle-to-particle nature) of gravity, Newton must establish the additivity of mass. I call ‘additivity’ the property a body's quantity of matter has just in case, if gravitational force is proportional to that quantity, the force can be taken to be the sum of forces proportional to each particle's quantity of matter. Newton's argument for additivity is obscure. I analyze and assess (...) manuscript versions of Newton's initial argument within his initial deduction, dating from early 1685. Newton's strategy depends on distinguishing two quantities of matter, which I call ‘active’ and ‘passive’, by how they are measured. These measurement procedures frame conditions on the additivity of each quantity so measured. While Newton has direct evidence for the additivity of passive quantity of matter, he does not for that of the active quantity. Instead, he tries to infer the latter from the former via conceptual analyses of the third law of motion grounded largely on analogies to magnetic attractions. The conditions needed to establish passive additivity frustrate Newton's attempted inference to active additivity. (shrink)

In this article I argue for an empiricist view on laws. Some laws are fundamental in the sense that they are the result of inductive generalisations of observed regularities and at the same time in their formulation contain a new theoretical predicate. The inductive generalisations simul- taneously function as implicit definitions of these new predicates. Other laws are either explicit definitions or consequences of other previously established laws. I discuss the laws of classical mechanics, relativity theory and electromagnetism in detail. (...) Laws are necessary, whereas acciden- tal generalisations are not. But necessity here is not a modal concept, but rather interpreted as short for the semantic predicate “... is necessarily true”. Thus no modal logic is needed. The neces- sity attributed to law sentences is in turn interpreted as “necessary condition for the rest of the the- ory”, which is true since fundamental laws are implicit definitions of theoretical predicates use in the theory. (shrink)

An Aristotelian Philosophy of Mathematics breaks the impasse between Platonist and nominalist views of mathematics. Neither a study of abstract objects nor a mere language or logic, mathematics is a science of real aspects of the world as much as biology is. For the first time, a philosophy of mathematics puts applied mathematics at the centre. Quantitative aspects of the world such as ratios of heights, and structural ones such as symmetry and continuity, are parts of the physical world and (...) are objects of mathematics. Though some mathematical structures such as infinities may be too big to be realized in fact, all of them are capable of being realized. Informed by the author's background in both philosophy and mathematics, but keeping to simple examples, the book shows how infant perception of patterns is extended by visualization and proof to the vast edifice of modern pure and applied mathematical knowledge. (shrink)

Second Scholasticism greatly developed the medieval theory of continuous quantity as the Aristotelian notion for thematizing spatial extension, paving the way for the idea of space as extension in early modern natural philosophy. The article analyzes the section related to the category of continuous quantity in the Coimbra commentary on the Dialectics (1606), showing that it is indebted to the novel theory of Francisco Suárez on quantity as bestowing extension to a body in a particular sense, something (...) which had been overlooked by previous research. The scholarly debate on quantity was brought to China, and here the Chinese translation is examined of the section on quantity in the fourth volume of the Mingli Tan, published in China in 1636-­1639. (shrink)

Ted Sider has shown that my indeterminism argument for comparativist theories of quantity also applies to Mundy's absolutist theory. This is because Mundy's theory posits only "pure" relations, i.e. relations between values of the same quantity (between masses and other masses, or distances and other distances). It is straightforward to solve the problem by positing additional mixed relations.

Kant's special metaphysics is intended to provide the a priori foundation for Newtonian science, which is to be achieved by exhibiting the a priori content of Newtonian concepts and laws. Kant envisions a two-step mathematical construction of the dynamical concept of matter involving a geometrical construction of matter’s bulk and a symbolic construction of matter’s density. Since Newton himself defines quantity of matter in terms of bulk and density, there is no reason why we shouldn’t interpret Kant’s Dynamics as (...) a defence of a Newtonian concept of matter. When Kant’s reasoning is understood in relation to his criteria for mathematical construction, it is possible to maintain that matter theory is central to the Metaphysical Foundations, but that this does not undermine Kant’s stated aim of giving an a priori foundation for Newtonian science. (shrink)

In this paper a symmetry argument against quantity absolutism is amended. Rather than arguing against the fundamentality of intrinsic quantities on the basis of transformations of basic quantities, a class of symmetries defined by the Π-theorem is used. This theorem is a fundamental result of dimensional analysis and shows that all unit-invariant equations which adequately represent physical systems can be put into the form of a function of dimensionless quantities. Quantity transformations that leave those dimensionless quantities invariant are (...) empirical and dynamical symmetries. The proposed symmetries of the original argument fail to be both dynamical and empirical symmetries and are open to counterexamples. The amendment of the original argument requires consideration of the relationships between quantity dimensions. The discussion raises a pertinent issue: what is the modal status of the constants of nature which figure in the laws? Two positions, constant necessitism and constant contingentism, are introduced and their relationships to absolutism and comparativism undergo preliminary investigation. It is argued that the absolutist can only reject the amended symmetry argument by accepting constant necessitism. I argue that the truth of an epistemically open empirical hypothesis would make the acceptance of constant necessitism costly: together they entail that the facts are nomically necessary. (shrink)

The article evaluates the Domain Postulate of the Classical Model of Science and the related Aristotelian prohibition rule on kind-crossing as interpretative tools in the history of the development of mathematics into a general science of quantities. Special reference is made to Proclus’ commentary to Euclid’s first book of Elements , to the sixteenth century translations of Euclid’s work into Latin and to the works of Stevin, Wallis, Viète and Descartes. The prohibition rule on kind-crossing formulated by Aristotle in Posterior (...) analytics is used to distinguish between conceptions that share the same name but are substantively different: for example the search for a broader genus including all mathematical objects; the search for a common character of different species of mathematical objects; and the effort to treat magnitudes as numbers. (shrink)

The knowing subject does not think nature, he is thought of nature and of himself, not of a world which would be other to him but of a world of which he is the meaning. This meaning emerges by separation of his own individuation into participating singularities. Then the question, on the epistemic level, is how the fundamental concepts of mathematics and physics emerge, including the One, the quantified, the continuous, the more and the less etc.. what relationship is there (...) between the (objectified) meaning of these concepts and their real nature in the subject? (shrink)

This dissertation draws upon historical studies of scientific practice and contemporary issues in the metaphysics and epistemology of science to account for the nature of physical quantities. My dissertation applies this integrated HPS approach to dimensional analysis—a logic for quantitative physical equations which respects the distinct dimensions of quantities (e.g. mass, length, charge). Dimensional analysis and its historical development serve both as subjects of study and as a sources for solutions to contemporary problems. The dissertation consists primarily of three related (...) papers on: (1) the methodological and metaphysical foundations of dimensional analysis, (2) the use of dimensional analysis in determining physical symmetries, (3) the use of dimensional analysis in securing metrological extension. (shrink)

This study is about the Quality. Here I have dealt with the quality that differs significantly from the common understanding of quality /as determined quality/ that arise from the law of dialectics. This new quality is the quality of the quantity /quality of the quantitative changes/, noticed in philosophy by Plato as “quality of numbers”, and later developed by Hegel as “qualitative quantity. The difference between the known determined quality and qualitative quantity is evident in the exhibit (...) form of these two qualities. The exhibit form of the known determined quality from the law of dialectics /or it transformation/ is related with discreteness and abrupt changes. The exhibit form of the qualitative quantity /and it transformation/ is related with the continuity and gradual transition from one condition, to a different condition, without any abrupt changes. In my paper “Quality of the quantity”, I have argued that one of the most ancient implementation of quality of the number can be found in the dimensional mathematical model of point – line – surface – figure - introduced by Plato. The most whole presentation of the idea of quality of number in Plato is embeded in his teaching about the "eidical number". The quality of the quantity emerges as criteria for recognizing the difference between the eidical numbers and natural arithmetical number. The thesis concerning Plato is based on the The Unwritten Doctrine of Plato and one of the most original works in the history of philosophy written in the 20th century - “Arete bei Platon und Aristoteles” – “Arete in Plato and Aristotle” /Heidelberg 1959/ written by Hans Joachim Krämer. The new quality as the quality of the quantity /quality of the quantitative changes/, first noticed in philosophy by Plato as “quality of numbers” was developed in Hegel as “qualitative quantity”. Hegel proclaimed the Qualitative quantity, or Measure in the both of his Logics -The Science of Logic / the Greater Logic/ and The Lesser Logic/ Part One of the Encyclopedia of Philosophical Sciences: The Logic. In my paper I have offered the arguments that the concept of quality of the quantity should be enhanced with the adopted methodological approach of analogy with an implementation in the field of the Topology - Analysis Situs, developed by the Jules Henri Poincare. In the topology we could see homeomorphism as exhibit form of Quality on the Quantity. The explicit form of the quality of the quantity transformation is the continuous deformation – typically known in topology as homeomorphism. The concept of qualitative quantity is linked with the concept “structural stability” and nonequilibrum phase transition. The concept of structural stability is related with the topological homeomorphism. In his book “Synergetics: Introduction and Advanced Topics” /Springer, ISBN 3-540-40824/, in the Chapter 1.13. Qualitative Changes: General approach, p. 434-435, Hermann Haken explores and illustrate the structural stability with an example /figure 1.13, p.434/ given by of D'Arcy W. Thompson, the Scottish biologist, mathematician and classics scholar and pioneering mathematical biologist, Nobel Laureate in Medicine /1960/, the author of the book, On Growth and Form, /1917/. The quality of the quantity could be seen in the Herman Haken’s citation on the D'Arcy W. Thompson. My thesis is that the topological homeomorphism is the explicit form of the quality of the quantity transformation. The qualitative quantity change which becomes phenomenon, according to Émile Boutroux, is the subject of study in Cultural Phenomenology of Qualitative quantity. Our approach to this subject is Poincaré Model of the Subconscious Mind in Mathematics, which is the most suitable tool to unfold the arhetype of qualitative quantity. (shrink)

In this paper, I define and study an abstract algebraic structure, the dimensive algebra, which embodies the most general features of the algebra of dimensional physical quantities. I prove some elementary results about dimensive algebras and suggest some directions for future work.

A new computational methodology for executing calculations with infinite and infinitesimal quantities is described in this paper. It is based on the principle ‘The part is less than the whole’ introduced by Ancient Greeks and applied to all numbers (finite, infinite, and infinitesimal) and to all sets and processes (finite and infinite). It is shown that it becomes possible to write down finite, infinite, and infinitesimal numbers by a finite number of symbols as particular cases of a unique framework. The (...) new methodology has allowed us to introduce the Infinity Computer working with such numbers (its simulator has already been realized). Examples dealing with divergent series, infinite sets, and limits are given. (shrink)

This study has demonstrated that entropy is not a physical quantity, that is, the physical quantity called entropy does not exist. If the efficiency of heat engine is defined as η = W/W1, and the reversible cycle is considered to be the Stirling cycle, then, given ∮dQ/T = 0, we can prove ∮dW/T = 0 and ∮d/T = 0. If ∮dQ/T = 0, ∮dW/T = 0 and ∮dE/T = 0 are thought to define new system state variables, such (...) definitions would be absurd. The fundamental error of entropy is that in any reversible process, the polytropic process function Q is not a single-valued function of T, and the key step of Σ[(ΔQ)/T)] to ∫dQ/T doesn’t hold, P-V fig. should be P-V-T fig.in thermodynamics. Similarly, ∮dQ/T = 0, ∮dW/T = 0 and ∮dE/T = 0 do not hold, either. Since the absolute entropy of Boltzmann is used to explain Clausius entropy and the unit (J/K) of the former is transformed from the latter, the non-existence of Clausius entropy simultaneously denies Boltzmann entropy. (shrink)

This rich book differs from much contemporary philosophy of mathematics in the author’s witty, down to earth style, and his extensive experience as a working mathematician. It accords with the field in focusing on whether mathematical entities are real. Franklin holds that recent discussion of this has oscillated between various forms of Platonism, and various forms of nominalism. He denies nominalism by holding that universals exist and denies Platonism by holding that they are concrete, not abstract - looking to Aristotle (...) for inspiration. (shrink)

It is well known that the set of algebraic numbers (let us call it A) is countable. In this paper, instead of the usage of the classical terminology of cardinals proposed by Cantor, a recently introduced methodology using ①-based infinite numbers is applied to measure the set A (where the number ① is called grossone). Our interest to this methodology is explained by the fact that in certain cases where cardinals allow one to say only whether a set is countable (...) or it has the cardinality of the continuum, the ①-based methodology can provide a more accurate measurement of infinite sets. In this article, lower and upper estimates of the number of elements of A are obtained. Both estimates are expressed in ①-based numbers. (shrink)

If the import of a book can be assessed by the problem it takes on, how that problem unfolds, and the extent of the problem’s fruitfulness for further exploration and experimentation, then Duffy has produced a text worthy of much close attention. Duffy constructs an encounter between Deleuze’s creation of a concept of difference in Difference and Repetition (DR) and Deleuze’s reading of Spinoza in Expressionism in Philosophy: Spinoza (EP). It is surprising that such an encounter has not already been (...) explored, at least not to this extent and in this much detail. Since the two works were written simultaneously, as Deleuze’s primary and secondary dissertations, it is to be expected that there is much to learn from their interaction. Duffy proceeds by explicating, in terms of the differential calculus, a logic of what Deleuze in DR calls different/ciation, and then maps this onto Deleuze’s account of modal expression in EP. (shrink)

The paper discusses some changes in Bolzano's definition of mathematics attested in several quotations from the Beyträge, Wissenschaftslehre and Grössenlehre: is mathematics a theory of forms or a theory of quantities? Several issues that are maintained throughout Bolzano's works are distinguished from others that were accepted in the Beyträge and abandoned in the Grössenlehre. Changes are interpreted as a consequence of the new logical theory of truth introduced in the Wissenschaftslehre, but also as a consequence of the overcome of Kant's (...) terminology, and of the radicalization of Bolzano's anti‐Kantianism. Bolzano's evolution is understood as a coherent move, once the criticism expressed in the Beyträge on the notion of quantity is compared with a different and larger notion of quantity that Bolzano developed already in 1816. This discussion is enriched by the discovery that two unknown texts mentioned by Bolzano in the Beyträge can be identified with works by von Spaun and Vieth respectively. Bolzano's evolution is interpreted as a radicalization of the criticism of the Kantian definition of mathematics and as an effect of Bolzano's unaltered interest in the Leibnizian notion of mathesis universalis. As a conclusion, the author claims that Bolzano never abandoned his original idea of considering mathematics as a scientia universalis, i.e. as the science of quantities in general, and suggests that the question of ideal elements in mathematics, apart from being a main reason for the development of a new logical theory, can also be considered as a main reason for developing a different definition of quantity. (shrink)

This article motivates and develops a reductive account of the structure of certain physical quantities in terms of their mereology. That is, I argue that quantitative relations like "longer than" or "3.6-times the volume of" can be analyzed in terms of necessary constraints those quantities put on the mereological structure of their instances. The resulting account, I argue, is able to capture the intuition that these quantitative relations are intrinsic to the physical systems they’re called upon to describe and explain.

Two grams mass, three coulombs charge, five inches long – these are examples of quantitative properties. Quantitative properties have certain structural features that other sorts of properties lack. What are the metaphysical underpinnings of quantitative structure? This paper considers several accounts of quantity and assesses the merits of each.

There is a wide range of realist but non-Platonist philosophies of mathematics—naturalist or Aristotelian realisms. Held by Aristotle and Mill, they played little part in twentieth century philosophy of mathematics but have been revived recently. They assimilate mathematics to the rest of science. They hold that mathematics is the science of X, where X is some observable feature of the (physical or other non-abstract) world. Choices for X include quantity, structure, pattern, complexity, relations. The article lays out and compares (...) these options, including their accounts of what X is, the examples supporting each theory, and the reasons for identifying the science of X with (most or all of) mathematics. Some comparison of the options is undertaken, but the main aim is to display the spectrum of viable alternatives to Platonism and nominalism. It is explained how these views answer Frege’s widely accepted argument that arithmetic cannot be about real features of the physical world, and arguments that such mathematical objects as large infinities and perfect geometrical figures cannot be physically realized. (shrink)

In this paper we motivate and develop the analytic theory of measurement, in which autonomously specified algebras of quantities (together with the resources of mathematical analysis) are used as a unified mathematical framework for modeling (a) the time-dependent behavior of natural systems, (b) interactions between natural systems and measuring instruments, (c) error and uncertainty in measurement, and (d) the formal propositional language for describing and reasoning about measurement results. We also discuss how a celebrated theorem in analysis, known as Gelfand (...) representation, guarantees that autonomously specified algebras of quantities can be interpreted as algebras of observables on a suitable state space. Such an interpretation is then used to support (i) a realist conception of quantities as objective characteristics of natural systems, and (ii) a realist conception of measurement results (evaluations of quantities) as determined by and descriptive of the states of a target natural system. As a way of motivating the analytic approach to measurement, we begin with a discussion of some serious philosophical and theoretical problems facing the well-known representational theory of measurement. We then explain why we consider the analytic approach, which avoids all these problems, to be far more attractive on both philosophical and theoretical grounds. (shrink)

Revelation, or the view that the essence of phenomenal properties is presented to us, is as intuitively attractive as it is controversial. It is notably at the core of defences of anti-physicalism. I propose in this paper a new argument against Revelation. It is usually accepted that low-level sensory phenomenal properties, like phenomenal red, loudness or brightness, stand in relation of similarity and quantity. Furthermore, these similarity and quantitative relations are taken to be internal, that is, to be fixed (...) by what their relata are. I argue that, under some plausible additional premises, no account of what grounds these relations in the essence of their relata is consistent with Revelation, at least if we take common phenomenological descriptions for granted. As a result, the plausibility of Revelation is undermined. One might however resist this conclusion by weakening the epistemic relation postulated between subjects and their phenomenal properties. (shrink)

We generalize, by a progressive procedure, the notions of conjunction and disjunction of two conditional events to the case of n conditional events. In our coherence-based approach, conjunctions and disjunctions are suitable conditional random quantities. We define the notion of negation, by verifying De Morgan’s Laws. We also show that conjunction and disjunction satisfy the associative and commutative properties, and a monotonicity property. Then, we give some results on coherence of prevision assessments for some families of compounded conditionals; in particular (...) we examine the Fréchet-Hoeffding bounds. Moreover, we study the reverse probabilistic inference from the conjunction Cn+1 of n + 1 conditional events to the family {Cn,En+1|Hn+1}. We consider the relation with the notion of quasi-conjunction and we examine in detail the coherence of the prevision assessments related with the conjunction of three conditional events. Based on conjunction, we also give a characterization of p-consistency and of p-entailment, with applications to several inference rules in probabilistic nonmonotonic reasoning. Finally, we examine some non p-valid inference rules; then, we illustrate by an example two methods which allow to suitably modify non p-valid inference rules in order to get inferences which are p-valid. (shrink)

The trope bundle theories of objects are capable of analyzing monadic inherence (objects having tropes), which is one of their main advantage. However, the best current trope theoretical account of relational tropes, namely, the relata specific view leaves relational inherence (a relational trope relating two or more entities) primitive. This article presents the first trope theoretical analysis of relational inherence by generalizing the trope theoretical analysis of inherence to relational tropes. The analysis reduces the holding of relational inherence to the (...) obtaining of certain other facts about entities of the trope theoretical category system. Moreover, I show that the analysis can deal with asymmetric and non-symmetric relations by assuming that all relation-like tropes are quantities. Finally, I provide an account of the spatial location of tropes in the difficult case in which tropes contribute to determining of the location of other entities. (shrink)

The distinction between dimensions and units in physics is commonplace. But are dimensions a feature of reality? The most widely-held view is that they are no more than a tool for keeping track of the values of quantities under a change of units. This anti-realist position is supported by an argument from underdetermination: one can assign dimensions to quantities in many different ways, all of which are empirically equivalent. In contrast, I defend a form of dimensional realism, on which some (...) assignments of dimensions to quantities better describe reality than others. The argument I provide is a form of inference to the best explanation. In particular, the technique of dimensional analysis is explanatory, but it is only successful for certain systems of dimensions. Since these dimensional systems support scientific explanations, we have reason to believe that they are real. (shrink)

Starting from a recent paper by S. Kaufmann, we introduce a notion of conjunction of two conditional events and then we analyze it in the setting of coherence. We give a representation of the conjoined conditional and we show that this new object is a conditional random quantity, whose set of possible values normally contains the probabilities assessed for the two conditional events. We examine some cases of logical dependencies, where the conjunction is a conditional event; moreover, we give (...) the lower and upper bounds on the conjunction. We also examine an apparent paradox concerning stochastic independence which can actually be explained in terms of uncorrelation. We briefly introduce the notions of disjunction and iterated conditioning and we show that the usual probabilistic properties still hold. (shrink)

Physics presents us with a symphony of natural constants: G, h, c, etc. Up to this point, constants have received comparatively little philosophical attention. In this paper I provide an account of dimensionful constants, in particular the gravitational constant. I propose that they represent inter-quantity structure in the form of relations between quantities with different dimensions. I use this account of G to settle a debate over whether mass scalings are symmetries of Newtonian Gravitation. I argue that they are (...) not, but only if we interpret mass anti-quidditistically. This is analogous to anti-haecceitism in the presence of spacetime symmetries. (shrink)

In Science Without Numbers (1980), Hartry Field defends a theory of quantity that, he claims, is able to provide both i) an intrinsic explanation of the structure of space, spacetime, and other quantitative properties, and ii) an intrinsic explanation of why certain numerical representations of quantities (distances, lengths, mass, temperature, etc.) are appropriate or acceptable while others are not. But several philosophers have argued otherwise. In this paper I focus on arguments from Ellis and Milne to the effect that (...) one cannot provide an account of quantity in ''purely intrinsic'' terms. I show, first, that these arguments are confused. Second, I show that Field's treatment of quantity can provide an intrinsic explanation of the structure of quantitative properties; what it cannot do is provide an intrinsic explanation of why certain numerical representations are more appropriate than others. Third, I show that one could provide an intrinsic explanation of this sort if one modified Field's account in certain ways. (shrink)

We deepen the study of conjoined and disjoined conditional events in the setting of coherence. These objects, differently from other approaches, are defined in the framework of conditional random quantities. We show that some well known properties, valid in the case of unconditional events, still hold in our approach to logical operations among conditional events. In particular we prove a decomposition formula and a related additive property. Then, we introduce the set of conditional constituents generated by $n$ conditional events and (...) we show that they satisfy the basic properties valid in the case of unconditional events. We obtain a generalized inclusion-exclusion formula, which can be interpreted by introducing a suitable distributive property. Moreover, under logical independence of basic unconditional events, we give two necessary and sufficient coherence conditions. The first condition gives a geometrical characterization for the coherence of prevision assessments on a family F constituted by n conditional events and all possible conjunctions among them. The second condition characterizes the coherence of prevision assessments defined on $F\cup K$, where $K$ is the set of conditional constituents associated with the conditional events in $F$. Then, we give some further theoretical results and we examine some examples and counterexamples. Finally, we make a comparison with other approaches and we illustrate some theoretical aspects and applications. (shrink)

This paper introduces the reader to Meinong's work on the metaphysics of magnitudes and measurement in his Über die Bedeutung des Weber'schen Gesetzes. According to Russell himself, who wrote a review of Meinong's work on Weber's law for Mind, Meinong's theory of magnitudes deeply influenced Russell's theory of quantities in the Principles of Mathematics. The first and longest part of the paper discusses Meinong's analysis of magnitudes. According to Meinong, we must distinguish between divisible and indivisible magnitudes. He argues that (...) relations of distance, or dissimilarity, are indivisible magnitudes that coincide with divisible magnitudes called "stretches". The second part of the paper is concerned with Meinong's account of measurement as a comparison of parts. According to Meinong, since measuring consists in comparing parts only divisible magnitudes are directly measurable. Indivisible magnitudes can only be measured indirectly, by measuring the divisible stretches that coincide with them. (shrink)

Although physical theories routinely posit absolute quantities, such as absolute position or intrinsic mass, it seems that only comparative quantities such as distance and mass ratio are observable. But even if there are in fact only distances and mass ratios, the success of absolutist theories means that the world looks just as if there are absolute positions and intrinsic masses. If comparativism is nevertheless true, there is a sense in which it is a cosmic conspiracy that the world looks just (...) as if there are absolute quantities: the comparative quantities satisfy certain relations that only absolutism can explain. I show that such cosmic conspiracies are a pervasive feature of comparativist theories. The argument is structurally similar to the well-known No Miracles Argument for scientific realism. Just as anti-realism cannot explain the empirical adequacy of our theories in general, so comparativism cannot explain the empirical adequacy of absolutist theories in particular. (shrink)

The topic of this Handbook entry is the relationship between similarity and dimensional analysis, and some of the philosophical issues involved in understanding and making use of that relationship. Discusses basics of the relationship between units, dimensions, and quantities. It explains the significance of dimensionless parameters, and explains that similarity of a physical systems is established by showing equality of a certain set of dimensionless parameters that characterizes the system behavior. Similarity is always relative -- to some system behavior. Other (...) topics discussed: generalization of the notion of similarity, the difference between relative similarity and partial similarity; how the notion of similarity in science differs from similarity as it has been discussed in recent philosophy. Philosophers' views discussed: R. Giere, N. Goodman, P. Bridgman, and B. Ellis. (shrink)

A recently developed computational methodology for executing numerical calculations with infinities and infinitesimals is described in this paper. The approach developed has a pronounced applied character and is based on the principle “The part is less than the whole” introduced by the ancient Greeks. This principle is applied to all numbers (finite, infinite, and infinitesimal) and to all sets and processes (finite and infinite). The point of view on infinities and infinitesimals (and in general, on Mathematics) presented in this paper (...) uses strongly physical ideas emphasizing interrelations that hold between a mathematical object under observation and the tools used for this observation. It is shown how a new numeral system allowing one to express different infinite and infinitesimal quantities in a unique framework can be used for theoretical and computational purposes. Numerous examples dealing with infinite sets, divergent series, limits, and probability theory are given. (shrink)

Quite a few scholars claim that many implicata are propositions about the speaker's epistemic or doxastic states. I argue, on the contrary, that implicata are generally non-epistemic. Some alleged cases of epistemic implicature are not implicatures in the first place because they do not meet Grice's non-triviality requirement, and epistemic implicata in general would infringe on the maxim of quantity. Epistemic implicatures ought to be construed as members of a larger family of implicature-like phenomena.