This paper examines the role existence plays in measurement validity. I argue that existing popular theories of measurement and of validity follow a correspondence framework, which starts by assuming that an entity exists in the real world with certain properties that allow it to be measurable. Drawing on literature from the sociology of measurement, I show that the correspondence framework faces several theoretical and practical challenges. I suggested the validity-first framework of measurement, which starts with a practice-based validation process as (...) the basis for a measurement theory, and only posits objective existence when it is scientifically useful to do so. (shrink)

There is a widely held view on measurement inferences, that goes back to Stevens’s ([1946]) theory of measurement scales and ‘permissible statistics’. This view defends the following prohibition: you should not make inferences from averages taken with ordinal scales (versus quantitative scales: interval or ratio). This prohibition is general—it applies to all ordinal scales—and it is sometimes endorsed without qualification. Adhering to it dramatically limits the research that the social and biomedical sciences can conduct. I provide a Bayesian analysis of (...) this inferential problem, determining when measurements from ordinal scales can be used to confirm hypotheses about relative group averages. The prohibition, I conclude, cannot be upheld, even in a qualified sense. The beliefs needed to make average comparisons are less demanding than those appropriate for quantitative scales. I illustrate with the alleged paradigm ordinal scale, Mohs’ scale of mineral hardness, arguing that the literature has mischaracterized it. (shrink)

In 2001, W. Carnielli and Marcos considered a 3-valued logic in order to prove that the schema ϕ ∨ (ϕ → ψ) is not a theorem of da Costa’s logic Cω. In 2006, this logic was studied (and baptized) as G'3 by Osorio et al. as a tool to define semantics of logic programming. It is known that the truth-tables of G'3 have the same expressive power than the one of Łukasiewicz 3-valued logic as well as the one of Gödel (...) 3-valued logic G3. From this, the three logics coincide up-to language, taking into acccount that 1 is the only designated truth-value in these logics. -/- From the algebraic point of view, Canals-Frau and Figallo have studied the 3-valued modal implicative semilattices, where the modal operator is the well-known Moisil-Monteiro-Baaz Δ operator, and the supremum is definable from this. We prove that the subvariety obtained from this by adding a bottom element 0 is term-equivalent to the variety generated by the 3-valued algebra of G'3. The algebras of that variety are called G'3-algebras. From this result, we obtain the equations which axiomatize the variety of G'3-algebras. Moreover, we prove that this variety is semisimple, and the 3-element and the 2-element chains are the unique simple algebras of the variety. Finally an extension of G'3 to first-order languages is presented, with an algebraic semantics based on complete G'3-algebras. The corresponding soundness and completeness theorems are obtained. (shrink)

We reexamine some of the classic problems connected with the use of cardinal utility functions in decision theory, and discuss Patrick Suppes's contributions to this field in light of a reinterpretation we propose for these problems. We analytically decompose the doctrine of ordinalism, which only accepts ordinal utility functions, and distinguish between several doctrines of cardinalism, depending on what components of ordinalism they specifically reject. We identify Suppes's doctrine with the major deviation from ordinalism that conceives of utility functions as (...) representing preference differences, while being non- etheless empirically related to choices. We highlight the originality, promises and limits of this choice-based cardinalism. (shrink)

An early, very preliminary edition of this book was circulated in 1962 under the title Set-theoretical Structures in Science. There are many reasons for maintaining that such structures play a role in the philosophy of science. Perhaps the best is that they provide the right setting for investigating problems of representation and invariance in any systematic part of science, past or present. Examples are easy to cite. Sophisticated analysis of the nature of representation in perception is to be found already (...) in Plato and Aristotle. One of the great intellectual triumphs of the nineteenth century was the mechanical explanation of such familiar concepts as temperature and pressure by their representation in terms of the motion of particles. A more disturbing change of viewpoint was the realization at the beginning of the twentieth century that the separate invariant properties of space and time must be replaced by the space-time invariants of Einstein's special relativity. Another example, the focus of the longest chapter in this book, is controversy extending over several centuries on the proper representation of probability. The six major positions on this question are critically examined. Topics covered in other chapters include an unusually detailed treatment of theoretical and experimental work on visual space, the two senses of invariance represented by weak and strong reversibility of causal processes, and the representation of hidden variables in quantum mechanics. The final chapter concentrates on different kinds of representations of language, concluding with some empirical results on brain-wave representations of words and sentences. (shrink)

I am going to argue for a robust realism about magnitudes, as irreducible elements in our ontology. This realistic attitude, I will argue, gives a better metaphysics than the alternatives. It suggests some new options in the philosophy of science. It also provides the materials for a better account of the mind’s relation to the world, in particular its perceptual relations.

A recurring claim in a number of behavioural, cognitive and neuro-scientific literatures is that there is, or must be, a unidimensional ‘common currency’ in which the values of different available options are represented. There is striking variety in the quantities or properties that have been proposed as determinants of the ordering in motivational strength. Among those seriously suggested are pain and pleasure, biological fitness, reward and reinforcement, and utility among economists, who have regimented the notion of utility in a variety (...) of ways, some of them incompatible. This topic deserves philosophical attention for at least the following reasons. Repeated invocation of the ‘common currency’ idiom isn’t merely terminological coincidence because most of the claims are competing explanations either of manifest pattern in choices, or of order in the processes producing choice. We can’t suppose that the different currency claims within each area are compatible, because there are significant obstacles to identifying pairs of members of either the ‘pattern’ or ‘process’ group. There are, finally, seriously opposed positions about the relationships between the pattern facts and the process facts. There are philosophical positions both favouring and opposing a common currency. But direct consideration of the abstract relationships between claims about common currencies across scientific settings, and the arguments for and against these claims, is relatively rare. There is, though, much of philosophical interest to be found here. (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)

The sheer multitude of criteria of empirical significance has been taken as evidence that the pre-analytic notion being explicated is too vague to be useful. I show instead that a significant number of these criteria—by Ayer, Popper, Przełęcki, Suppes, and David Lewis, among others—not only form a coherent whole, but also connect directly to the theory of definition, the notion of empirical content as explicated by Ramsey sentences, and the theory of measurement; two criteria by Carnap and Sober are trivial, (...) but can be saved and connected to the other criteria by slight modifications. A corollary is that the ordinary language defense of Lewis, the conceptual arguments by Ayer and Popper, the theoretical considerations by Przełęcki, and the practical considerations by Suppes all apply to the same criterion or closely related criteria. Furthermore, the equivalence of some criteria allows for their individual justifications to be taken cumulatively and, together with the entailment relations between nonequivalent criteria, suggest criteria for general auxiliary assumptions, comparative criteria, and more liberal conceptions of observation. (shrink)

Shepard has supposed that the mind is stocked with innate knowledge of the world and that this knowledge figures prominently in the way we see the world. According to him, this internal knowledge is the legacy of a process of internalization; a process of natural selection over the evolutionary history of the species. Shepard has developed his proposal most fully in his analysis of the relation between kinematic geometry and the shape of the motion path in apparent motion displays. We (...) argue that Shepard has made a case for applying the principles of kinematic geometry to the perception of motion, but that he has not made the case for injecting these principles into the mind of the percipient. We offer a more modest interpretation of his important findings: that kinematic geometry may be a model of apparent motion. Inasmuch as our recommended interpretation does not lodge geometry in the mind of the percipient, the motivation of positing internalization, a process that moves kinematic geometry into the mind, is obviated. In our conclusion, we suggest that cognitive psychologists, in their embrace of internal mental universals and internalization may have been seduced by the siren call of metaphor. Key Words: apparent motion; imagery; internalization; inverse projection problem; kinematic geometry; measurement; metaphors of mind. (shrink)

We explicate representational content by addressing how representations that ex- plain intelligent behavior might be acquired through processes of Darwinian evo- lution. We present the results of computer simulations of evolved neural network controllers and discuss the similarity of the simulations to real-world examples of neural network control of animal behavior. We argue that focusing on the simplest cases of evolved intelligent behavior, in both simulated and real organisms, reveals that evolved representations must carry information about the creature’s environ- ments (...) and further can do so only if their neural states are appropriately isomor- phic to environmental states. Further, these informational and isomorphism rela- tions are what are tracked by content attributions in folk-psychological and cognitive scientific explanations of these intelligent behaviors. (shrink)

Rosanna Keefe (`Vagueness by Numbers' MIND 107 1998 565--79) argues that theories of vagueness based upon fuzzy logic and set theory rest on a confusion: once we have assigned a number to an object to represent (for example) its *height*, there is no distinct purpose left to be served by assigning a number to the object to represent its *degree of tallness*; she claims that ``any numbers assigned in an attempt to capture the vagueness of `tall' do no more than (...) serve as another measure of height.'' In this paper I defend fuzzy theories of vagueness against Keefe's attack. I show that the numbers that we assign to objects to measure (for example) heights serve a quite distinct purpose from the numbers that fuzzy theories of vagueness assign to objects to measure degrees of tallness: the two sorts of assignment are both *formally* and *conceptually* distinct; the fuzzy approach to vagueness is well-motivated and free of confusion. (shrink)

The numerical representations of measurement, geometry and kinematics are here subsumed under a general theory of representation. The standard theories of meaningfulness of representational propositions in these three areas are shown to be special cases of two theories of meaningfulness for arbitrary representational propositions: the theories based on unstructured and on structured representation respectively. The foundations of the standard theories of meaningfulness are critically analyzed and two basic assumptions are isolated which do not seem to have received adequate justification: the (...) assumption that a proposition invariant under the appropriate group is therefore meaningful, and the assumption that representations should be unique up to a transformation of the appropriate group. A general theory of representational meaningfulness is offered, based on a semantic and syntactic analysis of representational propositions. Two neglected features of representational propositions are formalized and made use of: (a) that such propositions are induced by more general propositions defined for other structures than the one being represented, and (b) that the true purpose of representation is the application of the theory of the representing system to the represented system. On the basis of these developments, justifications are offered for the two problematic assumptions made by the existing theories. (shrink)

This paper presents a representational theory of derived physical measurements. The theory proceeds from a formal definition of a class of similar systems. It is shown that such a class of systems possesses a natural proportionality structure. A derived measure of a class of systems is defined to be a proportionality-preserving representation whose values are n-tuples of positive real numbers. Therefore, the derived measures are measures of entire physical systems. The theory provides an interpretation of the dimensional parameters in a (...) large class of physical laws, and it accounts for the monomial dimensions of these parameters. It is also shown that a class of similar systems obeys a dimensionally invariant law, which one may safely subject to a dimensional analysis. (shrink)

Angle Grinder Man removes wheel locks from cars in London.1 He is something of a folk hero, saving drivers from enormous parking and towing fi nes, and has succeeded thus far in eluding the authorities. In spite of his cape and lamé tights, he is no fi ction; he’s a real person. By contrast, Pegasus, Zeus and the like are fi ctions. None of them is real. In fact, not only is each of them different from the others, all differ (...) from Angle Grinder Man. After all, Zeus throws thunderbolts but doesn’t remove boots from cars; unlike Superman, Angle Grinder Man couldn’t leap over a parked Mini, and all sightings suggest that he is a human being, not a horse. (shrink)

I defend a theory of mental representation that satisfies naturalistic constraints. Briefly, we begin by distinguishing (i) what makes something a representation from (ii) given that a thing is a representation, what determines what it represents. Representations are states of biological organisms, so we should expect a unified theoretical framework for explaining both what it is to be a representation as well as what it is to be a heart or a kidney. I follow Millikan in explaining (i) in terms (...) of teleofunction, explicated in terms of natural selection. -/- To explain (ii), we begin by recognizing that representational states do not have content, that is, they are neither true nor false except insofar as they both “point to” or “refer” to something, as well as “say” something regarding whatever it is they are about. To distinguish veridical from false representations, there must be a way for these separate aspects to come apart; hence, we explain (ii) by providing independent theories of what I call f-reference and f-predication (the ‘f’ simply connotes ‘fundamental’, to distinguish these things from their natural language counterparts). -/- Causal theories of representation typically founder on error, or on what Fodor has called the disjunction problem. Resemblance or isomorphism theories typically founder on what I’ve called the non-uniqueness problem, which is that isomorphisms and resemblance are practically unconstrained and so representational content cannot be uniquely determined. These traditional problems provide the motivation for my theory, the structural preservation theory, as follows. F-reference, like reference, is a specific, asymmetric relation, as is causation. F-predication, like predication, is a non-specific relation, as predicates typically apply to many things, just as many relational systems can be isomorphic to any given relational system. Putting these observations together, a promising strategy is to explain f-reference via causal history and f-predication via something like isomorphism between relational systems. -/- This dissertation should be conceptualized as having three parts. After motivating and characterizing the problem in chapter 1, the first part is the negative project, where I review and critique Dretske’s, Fodor’s, and Millikan’s theories in chapters 2-4. Second, I construct my theory about the nature of representation in chapter 5 and defend it from objections in chapter 6. In chapters 7-8, which constitute the third and final part, I address the question of how representation is implemented in biological systems. In chapter 7 I argue that single-cell intracortical recordings taken from awake Macaque monkeys performing a cognitive task provide empirical evidence for structural preservation theory, and in chapter 8 I use the empirical results to illustrate, clarify, and refine the theory. (shrink)

The relation between two systems of attitude ascription that capture all the empirically significant aspects of an agents thought and speech may be analogous to that between two systems of magnitude ascription that are equivalent relative to a transformation of scale. If so, just as an objects weighing eight pounds doesnt relate that object to the number eight (for a different but equally good scale would use a different number), similarly an agents believing that P need not relate her to (...) P (for a different but equally adequate interpretive scheme could use a different proposition). In either case the only reality picked out by any system of ascription is what is common to all equivalent rivals. By emphasizing some contrasts between decision theory and belief-desire psychology, it is argued that if attitude ascription is appropriately analogous to measurement then not only is being related to a proposition an artifact of the system of representation chosen, so are belief and desire. (shrink)

Our pains can be more or less intense, our mental imagery can be more or less vivid, our perceptual experiences can be more or less striking. These degrees of intensity of conscious experiences are all manifestations of a phenomenal property I call mental strength. In this article, I argue that mental strength is a domain-general phenomenal magnitude; in other words, it is a phenomenal quantity shared by all conscious experiences that explains their degree of felt intensity. Mental strength has been (...) largely overlooked in favor of mental states’ type, representational contents, domain-specific phenomenology, or processes such as attention. Considering mental strength in our reflections about the mind illuminates debates about the relation of representational contents and phenomenal character, and it also helps address questions about the structure and functions of consciousness. Mental strength provides a unifying construct to model what is shared in the phenomenology of different types of conscious experiences. (shrink)

What are the pillars on which the success of modern science rest? Although philosophers have much discussed what is behind science’s success, this paper argues that much of the discussion is misdirected. The extant literature rightly regards the semantic and inferential tools of formal logic and probability theory as pillars of scientific rationality, in the sense that they reveal the justificatory structure of important aspects of scientific practice. As key elements of our rational reconstruction toolbox, they make a fundamental contribution (...) to our understanding of the success of science.At the same time, any science, however exact, is dominated by approximation, error, and uncertainty, a fact that makes one wonder how science can be so successful. This paper articulates and illustrates general themes—e.g., that truth-preserving arguments often fail to preserve approximate truth—that highlight the need for additional semantic resources. Thus, our proposal is that persistent failures to unravel the reasons behind the success of science in the face of pervasive error and uncertainty should be attributed to an insufficiently rich way of rationally reconstructing scientific and mathematical knowledge. What is missing? This paper claims that there is a third formal method of reasoning that constitutes a distinct pillar on which rests the success of science, namely, perturbation theory. The paper outlines how the representational and inferential tools of perturbation theory differ from those of logic and probability theory, and how they enable us to understand the apparently elusive aspects of the success of science.However, compared to its peers, perturbative reasoning has not received the attention it deserves. As the paper explains, this partly results from the circumstances in which perturbation theory is taught, and partly from the fact that perturbation theory first appears to be a vaguely related collection of methods offering no systematic semantic insight. In an attempt to show that this first impression is wrong, this paper presents its contribution to the semantic dimension of scientific representation and inference in terms of what I call “semantic layering.”. (shrink)

This article analyses the relationship between the concept of single aspect similarity and proposed measures of similarity. More precisely, it compares eleven measures of similarity in terms of how well they satisfy a list of desiderata, chosen to capture common intuitions concerning the properties of similarity and the relations between similarity and dissimilarity. Three types of measures are discussed: similarity as commonality, similarity as a function of dissimilarity, and similarity as a joint function of commonality and difference. Relative to the (...) desiderata, it is found that a measure of the second type fares the best. However, rather than recommend this measure alone as a measure of similarity, it is suggested that there are at least three separate concepts of single aspect similarity, corresponding to the three types of measures. In light of this proposal, three of the eleven measures (and variants of these) are deemed acceptable. (shrink)

According to the preference-centric approach to understanding partial belief, the connection between partial beliefs and preferences is key to understanding what partial beliefs are and how they’re measured. As Ramsey put it, the ‘degree of a belief is a causal property of it, which we can express vaguely as the extent to which we are prepared to act on it’ The Foundations of Mathematics and Other Logical Essays, Routledge, Oxon, pp 156–198, 1931). But this idea is not as popular as (...) it once was. Nowadays, the preference-centric approach is frequently dismissed out-of-hand as behaviouristic, unpalatably anti-realist, and/or prone to devastating counterexamples. Cases like Eriksson and Hájek’s :183–213, 2007) preferenceless Zen monk and Christensen’s :356–376, 2001) other roles argument have suggested to many that any account of partial belief that ties them too closely to preferences is irretrievably flawed. In this paper I provide a defence of preference-centric accounts of partial belief. (shrink)

One of the most unsettling problems in the history of philosophy examines how mathematics can be used to adequately represent the world. An influential thesis, stated by Eugene Wigner in his paper entitled "The Unreasonable Effectiveness of Mathematics in the Natural Sciences," claims that "the miracle of the appropriateness of the language of mathematics for the formulation of the laws of physics is a wonderful gift which we neither understand nor deserve." Contrary to this view, this thesis delineates and implements (...) a strategy to show that the applicability of mathematics is very reasonable indeed. I distinguish three forms of the problem of the applicability of mathematics, and focus on one I call the problem of uncanny accuracy: Given that the construction and manipulation of mathematical representations is pervaded by uncertainty, error, approximation, and idealization, how can their apparently uncanny accuracy be explained? I argue that this question has found no satisfactory answer because our rational reconstruction of scientific practice has not involved tools rich enough to capture the logic of mathematical modelling. Thus, I characterize a general schema of mathematical analysis of real systems, focusing on the selection of modelling assumptions, on the construction of model equations, and on the extraction of information, in order to address contextually determinate questions on some behaviour of interest. A concept of selective accuracy is developed to explain the way in which qualitative and quantitative solutions should be utilized to understand systems. The qualitative methods rely on asymptotic methods and on sensitivity analysis, whereas the quantitative methods are best understood using backward error analysis. The basic underpinning of this perspective is readily understandable across scientific fields, and it thereby provides a view of mathematical tractability readily interpretable in the broader context of mathematical modelling. In addition, this perspective is used to discuss the nature of theories, the role of scaling, and the epistemological and semantic aspects of experimentation. In conclusion, we argue for a method of local and global conceptual analysis that goes beyond the reach of the tools standardly used to capture the logic of science; on their basis, the applicability of mathematics finds itself demystified. (shrink)

The leading account of intrinsicality over the last thirty years has arguably been David Lewis's account in terms of perfect naturalness. Lewis's account, however, has three serious problems: i) it cannot allow necessarily coextensive properties to differ in whether they are intrinsic; ii) it falsely classifies non-qualitative properties like being Obama as non-intrinsic; and iii) it is incompatible with a number of metaphysical theories that posit irreducibly non-categorical properties. I argue that, as a result of these problems, Lewis's account should (...) be rejected and replaced with an alternative account, which also analyses intrinsicality in terms of perfect naturalness, but which avoids these problems. (shrink)

The semantic function of the modifier 'together' in adnominal position has generally been considered to be that of preventing a distributive reading of the predicate. This paper will argue that this view is mistaken. The semantic function of adnominal 'together' rather is that of inducing a cumulative measurement of the group that together is associated with. The measurement-based analysis of adnominal together that I propose can also, with some modifications, be extended to adverbial occurrences of together.

Evidence hierarchies are widely used to assess evidence in systematic reviews of medical studies. I give several arguments against the use of evidence hierarchies. The problems with evidence hierarchies are numerous, and include methodological shortcomings, philosophical problems, and formal constraints. I argue that medical science should not employ evidence hierarchies, including even the latest and most-sophisticated of such hierarchies.

This volume analyzes and studies how vagueness occurs and matters as a specific problem in the context of theories that are primarily about something else.

The design, maintenance and use of all measuring instruments involve indicators of the thing, property, or event they are expected to detect or measure. And every quantitative indicator is a functional relation between imperceptible and perceptible facts—for example, the “flow” of time and the rotation of a watch’s hands. The empirical test of any quantitative hypothesis involves the translation of the unobservable variables occurring in it into the observable variable(s) in the indicator hypothesis. Yet, indicators have escaped the notice of (...) nearly all philosophers of science—a fact that may indicate unfamiliarity with laboratory work. (shrink)

In formal theories of measurement meaningfulness is usually formulated in terms of numerical statements that are invariant under admissible transformations of the numerical representation. This is equivalent to qualitative relations that are invariant under automorphisms of the measurement structure. This concept of meaningfulness, appropriately generalized, is studied in spaces constructed from a number of conjoint and extensive structures some of which are suitably interrelated by distribution laws. Such spaces model the dimensional structures of classical physics. It is shown that this (...) qualitative concept corresponds exactly with the numerical concept of dimensionally invariant laws of physics. (shrink)

According to comparativist theories of quantities, their intrinsic values are not fundamental. Instead, all the quantity facts are grounded in scale-independent relations like "twice as massive as" or "more massive than." I show that this sort of scale independence is best understood as a sort of metaphysical symmetry--a principle about which transformations of the non-fundamental ontology leave the fundamental ontology unchanged. Determinism--a core scientific concept easily formulated in absolutist terms--is more difficult for the comparativist to define. After settling on the (...) most plausible comparativist understanding of determinism, I offer some examples of physical systems that the comparativist must count as indeterministic although the relevant physical theory gives deterministic predictions. Several morals are drawn. In particular: comparativism is metaphysically contingent if true, and it is most natural for a comparativist to accept an at-at theory of motion. (shrink)

The thesis studies the problem of measuring freedom of choice. It analyzes the concept of freedom of choice, discusses conditions that a measure should satisfy, and introduces a new class of measures that uniquely satisfy ten proposed conditions.

This paper is divided in four parts. In the first part we introduce the method of internal critique of philosophical theories by examination of their external consistency with scientific theories. In the second part two metaphysical and one epistemological postulate of Wittgenstein's Tractatus are made explicit and formally expressed. In the third part we examine whether Tractarian metaphysical and epistemological postulates (the independence of simple states of affairs, the unique mode of their composition, possibility of complete empirical knowledge) are externally (...) consistent with the theory of quantum mechanics. The result of the inquiry is negative: Tractarian postulates ought to be be revised. Relying on the result we approach the question of the empirical character of logic in the fourth part. The description of theoretical transformations of the notion of disjunction, in its ontological, epistemological, and logical sense, is a common element of in all parts of the text. The conjecture on the existence of different types of disjunctive connectives in the language of quantum mechanics concludes the paper. (shrink)

In Writing the Book of the World, Ted Sider argues that David Lewis’s distinction between those predicates which are ‘perfectly natural’ and those which are not can be extended so that it applies to words of all semantic types. Just as there are perfectly natural predicates, there may be perfectly natural connectives, operators, singular terms and so on. According to Sider, one of our goals as metaphysicians should be to identify the perfectly natural words. Sider claims that there is a (...) perfectly natural first-order quantifier. I argue that this claim is not justified. Quine has shown that we can dispense with first-order quantifiers, by using a family of ‘predicate functors’ instead. I argue that we have no reason to think that it is the first-order quantifiers, rather than Quine’s predicate functors, which are perfectly natural. The discussion of quantification is used to provide some motivation for a general scepticism about Sider’s project. Shamik Dasgupta’s ‘generalism’ and Jason Turner’s critique of ‘ontological nihilism’ are also discussed. (shrink)

This paper formulates and axiomatizes utility models for denumerable time streams that make no commitment in regard to discounting future outcomes. The models address decision under certainty and decision under risk. Independence assumptions in both contexts lead to additive or multiplicative utilities over time periods that allow unambiguous comparisons of the relative importance of different periods. The models accommodate all patterns of future valuation. This discount-neutral feature is attained by restricting preference comparisons to outcome streams or probability distributions on outcome (...) streams that differ in at most a finite number of periods. (shrink)

Part II: Suppes and the mature theory. Representation and uniqueness.

Measurement is a process aimed at acquiring and codifying information about properties of empirical entities. In this paper we provide an interpretation of such a process comparing it with what is nowadays considered the standard measurement theory, i.e., representational theory of measurement. It is maintained here that this theory has its own merits but it is incomplete and too abstract, its main weakness being the scant attention reserved to the empirical side of measurement, i.e., to measurement systems and to the (...) ways in which the interactions of such systems with the entities under measurement provide a structure to an empirical domain. In particular it is claimed that (1) it is on the ground of the interaction with a measurement system that a partition can be induced on the domain of entities under measurement and that relations among such entities can be established, and that (2) it is the usage of measurement systems that guarantees a degree of objectivity and intersubjectivity to measurement results. As modeled in this paper, measurement systems link the abstract theory of measuring, as developed in representational terms, and the practice of measuring, as coded in standard documents such as the International Vocabulary of Metrology. (shrink)

This paper studies the theory of uniqueness of scales of measurement, and in particular, the theory of meaningfulness of statements using scales. The paper comments on the general theory of meaningfulness adopted by Luce in connection with his work on dimensionally invariant numerical laws. It comments on Luce's generalization of the concept of meaningfulness of a statement involving scales to a concept of meaningfulness of an arbitrary relation relative to the defining relations in a relational structure. It is argued that (...) in studying the concept of meaningfulness, it is necessary to consider invariance under endomorphisms, not just automorphisms. The difference between the endomorphism and automorphism concepts of meaningfulness is studied. Luce's primary result, that automorphism meaningfulness is preserved under isomorphism, is extended to the result that endomorphism meaningfulness is preserved under homomorphism. (shrink)

An empirically based view of size and distance perceptual content and phenomenology is introduced, in which perceivers measure worldly size and distance against their bodies. Central principles of the formal, representational theory of the measurement of extensive magnitudes are then applied in framing the account in a precise way. The question of whether spatial-perceptual experience is “unit-free” is clarified. The framework is used to assess Dennis Proffitt's proposal that spatial setting is perceived in various “units,” “scales,” or “rulers”, some of (...) them non-spatial—distance in terms of calories burned to traverse and the like. The debate between Proffitt and Firestone about the commensurability of differing measurement scales held by Proffitt to be relied on by perceivers is then clarified and resolved. Finally, the measurement theory framed account of size and distance perception is used to illuminate Gibson’s famous but elusive contrasts between “geometrical optics” and “ecological optics” and between the “physical world” and the “animal environment”. (shrink)