This paper is a discussion note on Isaacs et al. (2022), who have claimed to offer a new motivation for imprecise probabilities, based on the mathematical phenomenon of non-measurability. In this note, I clarify some consequences of their proposal. In particular, I show that if their proposal is applied to a bounded 3-dimensional space, then they have to reject at least one of the following: (i) If A is at most as probable as B and B is at most as (...) probable as C, then A is at most as probable as C. (ii) Let A ∩ C = B ∩ C = ∅. A is at most as probable as B iff (A ∪ C) is at most as probable as (B ∪ C). But rejecting either statement seems unattractive. (shrink)

– We offer a new motivation for imprecise probabilities. We argue that there are propositions to which precise probability cannot be assigned, but to which imprecise probability can be assigned. In such cases the alternative to imprecise probability is not precise probability, but no probability at all. And an imprecise probability is substantially better than no probability at all. Our argument is based on the mathematical phenomenon of non-measurable sets. Non-measurable propositions cannot receive precise probabilities, but there is (...) a natural way for them to receive imprecise probabilities. The mathematics of non-measurable sets is arcane, but its epistemological import is far-reaching; even apparently mundane propositions are liable to be affected by non-measurability. The phenomenon of non-measurability dramatically reshapes the dialectic between critics and proponents of imprecise credence. Non-measurability offers natural rejoinders to prominent critics of imprecise credence. Non-measurability even reverses some of the critics’ arguments—by the very lights that have been used to argue against imprecise credences, imprecise credences are better than precise credences. (shrink)

In a recent paper, Yoaav Isaacs, Alan Hájek, and John Hawthorne argue for the rational permissibility of "credal imprecision" by appealing to certain propositions associated with non-measurable spatial regions: for example, the proposition that the pointer of a spinner will come to rest within a certain non-measurable set of points on its circumference. This paper rebuts their argument by showing that its premises lead to implausible consequences in cases where one is trying to learn, by making multiple observations, (...) whether a certain outcome is associated with a non-measurable region or a measurable one. (shrink)

We prove that there is a structure, indeed a linear ordering, whose degree spectrum is the set of all non-hyperarithmetic degrees. We also show that degree spectra can distinguish measure from category.

In this paper, non-additivity of a set function is interpreted as a method to express relations between sets which are not modeled in a set theoretic way. Drawing upon a concept called “quasi-analysis” of the philosopher Rudolf Carnap, we introduce a transform for sets, functions, and set functions to formalize this idea. Any image-set under this transform can be interpreted as a class of (quasi-)components or (quasi-)properties representing the original set. We show that non-additive set functions can be represented as (...) signed σ-additive measures defined on sets of quasi-components. We then use this interpretation to justify the use of non-additive set functions in various applications like for instance multi criteria decision making and cooperative game theory. Additionally, we show exemplarily by means of independence, conditioning, and products how concepts from classical measure and probability theory can be transfered to the non-additive theory via the transform. (shrink)

For non-additive set functions, the independent product, in general, is not unique and the Fubini theorem is restricted to slice-comonotonic functions. In this paper, we use the representation theorem of Gilboa and Schmeidler (Math Oper Res 20:197–212, 1995) to extend the Möbius product for non-additive set functions to non-finite spaces. We extend the uniqueness result of Ghirardato (J Econ Theory 73:261–291, 1997) for products of two belief functions and weaken the requirements on the marginals necessary to obtain the Fubini property (...) in the product. More importantly, we show that for the Möbius product one side of the Fubini theorem holds for all integrable functions if one of the marginals either is a probability or a convex combination of a chain of unanimity games, i.e., we relax the requirement of slice-comonotonicity and enrich the set of possible applications. (shrink)

Let κ be an uncountable cardinal. Using the theory of conditional probability associated with de Finetti and Dubins, subject to several structural assumptions for creating sufficiently many measurable sets, and assuming that κ is not a weakly inaccessible cardinal, we show that each probability that is not κ-­additive has conditional probabilities that fail to be conglomerable in a partition of cardinality no greater than κ. This generalizes our result, where we established that each finite but not countably additive probability (...) has conditional probabilities that fail to be conglomerable in some countable partition. (shrink)

How to measure performance in charitable organisations continues to excite interest among academics and practitioners. Despite the intellectual interest, little consensus has emerged as to what are the best measures of performance in charities. This is against the backdrop of an increased demand by donors and other stakeholders on charities to provide information on their performance. Building on prior studies, this paper examines the measures of performance in charities using a hybrid methodological approach which consists of 14 exploratory interviews and (...) a quantitative survey of 105 chief executive officers/board of trustees of large British charities. The results of factor analysis and internal reliability produced five broad measures of performance of charities: financial measures; client satisfaction; management effectiveness; stakeholder involvement; and benchmarking, indicating that the overall performance of charities is best measured by a set of factors that reflect the multiple and diverse stakeholders associated with charities. Further analysis using structural equation modelling corroborates the results that non-financial measures such as management effectiveness, stakeholder involvement and benchmarking are important to the performance of charities. (shrink)

The empty set of course contains no computable point. On the other hand, surprising results due to Zaslavskiĭ, Tseĭtin, Kreisel, and Lacombe have asserted the existence of non-empty co-r. e. closed sets devoid of computable points: sets which are even “large” in the sense of positive Lebesgue measure.This leads us to investigate for various classes of computable real subsets whether they always contain a computable point.

Consecutive measurements performed on the same quantum system can reveal fundamental insights into quantum theory’s causal structure, and probe different aspects of the quantum measurement problem. According to the Copenhagen interpretation, measurements affect the quantum system in such a way that the quantum superposition collapses after each measurement, erasing any memory of the prior state. We show here that counter to this view, un-amplified measurements have coherent ancilla density matrices that encode the memory of the entire set of quantum measurements (...) that came before, and that the chain of this entire set is therefore non-Markovian. In contrast, sequences of amplified measurements are equivalent to a quantum Markov chain. We argue that the non-Markovian nature of quantum measurement has empirical consequences that are incompatible with the assumption of wave function collapse, thus elevating the collapse assumption into a testable hypothesis. Finally, we find that all of the information necessary to reconstruct an arbitrary non-Markovian quantum chain of measurements is encoded on the boundary of that chain, reminiscent of the holographic principle. (shrink)

I discuss the attitude of Jewish law sources from the 2nd–:5th centuries to the imprecision of measurement. I review a problem that the Talmud refers to, somewhat obscurely, as impossible reduction. This problem arises when a legal rule specifies an object by referring to a maximized measurement function, e.g., when a rule applies to the largest part of a divided whole, or to the first incidence that occurs, etc. A problem that is often mentioned is whether there might be hypothetical (...) situations involving more than one maximal value of the relevant measurement and, given such situations, what is the pertinent legal rule. Presumption of simultaneous occurrences or equally measured values are also a source of embarrassment to modern legal systems, in situations exemplified in the paper, where law determines a preference based on measured values. I contend that the Talmudic sources discussing the problem of impossible reduction were guided by primitive insights compatible with fuzzy logic presentation of the inevitable uncertainty involved in measurement. I maintain that fuzzy models of data are compatible with a positivistic epistemology, which refuses to assume any precision in the extra-conscious world that may not be captured by observation and measurement. I therefore propose this view as the preferred interpretation of the Talmudic notion of impossible reduction. Attributing a fuzzy world view to the Talmudic authorities is meant not only to increase our understanding of the Talmud but, in so doing, also to demonstrate that fuzzy notions are entrenched in our practical reasoning. If Talmudic sages did indeed conceive the results of measurements in terms of fuzzy numbers, then equality between the results of measurements had to be more complicated than crisp equations. The problem of impossible reduction could lie in fuzzy sets with an empty core or whose membership functions were only partly congruent. Reduction is impossible may thus be reconstructed as there is no core to the intersection of two measures. I describe Dirichlet maps for fuzzy measurements of distance as a rough partition of the universe, where for any region A there may be a non-empty set of - _A, where the problem of impossible reduction applies. This model may easily be combined with probabilistic extention. The possibility of adopting practical decision standards based on -cuts is discussed in this context. I propose to characterize the uncertainty that was presumably capped by the old sages as U- uncertainty, defined, for a non-empty fuzzy set A on the set of real numbers, whose -cuts are intervals of real numbers, as U = 1/h 0 h log [1+]d, where h is the largest membership value obtained by any element of A and is the measure of the -cut of A defined by the Lebesge integral of its characteristic function. (shrink)

Cylindric set algebras are algebraizations of certain logical semantics. The topic surveyed here, i.e. probabilities defined on cylindric set algebras, is closely related, on the one hand, to probability logic (to probabilities defined on logical formulas), on the other hand, to measure theory. The set algebras occuring here are associated, in particular, with the semantics of first order logic and with non-standard analysis. The probabilities introduced are partially continous, they are continous with respect to so-called cylindric sums.

A simplified relationship between setting of a norm and an individual’s compliance can be characterized by three distinct stages: norm comprehension and processing; the deliberate compliance decision of the individual; and non-deliberate decision-making. On each stage, there is insight from social sciences, experimental psychology and behavioural law and economics making different predictions about individual compliance behaviour. We study the implications of extra-juridical insight as well as normative constitutional requirements on the optimal design of norms. We find considerable variance in norm (...) designs for improving compliance depending on the respective empirical insight. Regarding norm comprehension, there is ambiguity in the relationship between individual’s limited cognitive processing capacity and the constitutional law imperative for norm specificity. The stage of deliberate decision-making relates to the rationality model of human behaviour allowing for economic, reciprocal, communicative human dispositions, each of which requires different law designs to induce individual’s compliance. Homo oeconomicus responds to law design using costs as steering tool. Homo reciprocans can be directed through decentralized self-regulation, governance of small political units and belief management. And compliance of homo communicans can be induced when procedures are perceived as being fair and inclusive. Finally, the existence of non-deliberate decision-making may justify paternalistic legal measures. The findings may inform lawmakers in how to design and draft laws to optimize norm compliance. (shrink)

IntroductionThe National Institute for Health and Care Excellence guidelines acknowledge the importance of the parent–infant relationship for child development but highlight the need for further research to establish reliable tools for assessment, particularly for parents of children under 1 year. This study explores the acceptability and psychometric properties of a co-developed tool, ‘Me and My Baby’.Study designA cross-sectional design was applied. The MaMB was administered universally with mothers during routine 6–8-week Health Visitor contacts. The sample comprised 467 mothers. Dimensionality of (...) instrument responses were evaluated via exploratory and confirmatory ordinal factor analyses. Item response modeling was conducted via a Rasch calibration to evaluate how the tool conformed to principles of ‘fundamental measurement’. Tool acceptability was evaluated via completion rates and comparing ‘completers’ and ‘non-completers’ demographic differences on age, parity, ethnicity, and English as an additional language. Free-text comments were summarized. Data sharing agreements and data management were compliant with the General Data Protection Regulation, and University of York data management policies.ResultsHigh completion rates suggested the MaMB was acceptable. Psychometric analyses showed the response data to be an excellent fit to a unidimensional confirmatory factor analytic model. All items loaded statistically significantly and substantially on a single underlying factor. The item response modeling showed that most MaMB items fitted the Rasch model. item reliability was high yet the test yielded little information on each respondent, as highlighted by the relatively low ‘person separation index’ of 0.1.Conclusion and next stepsMaMB reliably measures a single construct, likely to be infant bonding. However, further validation work is needed, preferably with ‘enriched population samples’ to include higher-need/risk families. The MaMB tool may benefit from reduced response categories and some modest item wording amendments. Following further validation and reliability appraisal the MaMB may ultimately be used with fathers/other primary caregivers and be potentially useful in research, universal health settings as part of a referral pathway, and clinical practice, to identify dyads in need of additional support/interventions. (shrink)

We propose a reformulation of the ideal $\mathcal {N}$ of Lebesgue measure zero sets of reals modulo an ideal J on $\omega $, which we denote by $\mathcal {N}_J$. In the same way, we reformulate the ideal $\mathcal {E}$ generated by $F_\sigma $ measure zero sets of reals modulo J, which we denote by $\mathcal {N}^*_J$. We show that these are $\sigma $ -ideals and that $\mathcal {N}_J=\mathcal {N}$ iff J has the Baire property, which in turn is equivalent to (...) $\mathcal {N}^*_J=\mathcal {E}$. Moreover, we prove that $\mathcal {N}_J$ does not contain co-meager sets and $\mathcal {N}^*_J$ contains non-meager sets when J does not have the Baire property. We also prove a deep connection between these ideals modulo J and the notion of nearly coherence of filters (or ideals). We also study the cardinal characteristics associated with $\mathcal {N}_J$ and $\mathcal {N}^*_J$. We show their position with respect to Cichoń’s diagram and prove consistency results in connection with other very classical cardinal characteristics of the continuum, leaving just very few open questions. To achieve this, we discovered a new characterization of $\mathrm {add}(\mathcal {N})$ and $\mathrm {cof}(\mathcal {N})$. We also show that, in Cohen model, we can obtain many different values to the cardinal characteristics associated with our new ideals. (shrink)

Reality is hierarchically structured, or so proponents of the metaphysical posit of grounding argue. The less fundamental facts obtain in virtue of, or are grounded in, the more fundamental facts. But what exactly is it for one fact to be more fundamental than another? The aim of this paper is to provide a measure of relative fundamentality. I develop and defend an account of the metaphysical hierarchy that assigns to each fact a set of ordinals representing the levels on which (...) it occurs. The account allows one to compare any two facts with respect to their fundamentality and it uses immediate grounding as its sole primitive. In the first section, I will set the stage and point to some shortcomings of a rival account proposed by Karen Bennett. The second section will present my own proposal and the third section will discuss how it can be extended to non-foundationalist settings. The fourth section discusses potential objections. (shrink)

This book uses the formal semantics of counterfactual conditionals to analyze the problem of non-locality in quantum mechanics. Counterfactual conditionals enter the analysis of quantum entangled systems in that they enable us to precisely formulate the locality condition that purports to exclude the existence of causal interactions between spatially separated parts of a system. They also make it possible to speak consistently about alternative measuring settings, and to explicate what is meant by quantum property attributions. The book develops the possible-world (...) semantics of quantum counterfactuals using David Lewis's famous approach as a starting point but modifying it significantly in order to achieve compatibility with the demands of the special theory of relativity as well as quantum mechanics. There have been several attempts to use counterfactuals semantics to strengthen Bell's theorem and its cognates such as the GHZ and Hardy theorems. These are critically evaluated in the book. Finally, a counterfactual reconstruction of the EPR argument and Bell's theorem is proposed that sheds a new light on their philosophical consequences regarding the relations between realism and local causation. (shrink)

In this article we consider linear isomorphisms over the field of rational numbers between the linear spaces ℝ2 and ℝ. We prove that if f is such an isomorphism, then the image by f of the unit disk is a strictly nonmeasurable subset of the real line, which has different properties than classical non-measurable subsets of reals. We shall also consider the question whether all images of bounded measurable subsets of the plane via a such mapping are non- (...) class='Hi'>measurable. (shrink)

Purpose: Performance measurement systems (PMS) in Nonprofit Organizations (NPOs) are more complex than in for-profit organizations. NPOs have an orientation towards social mission and values, and they consider not only organizational efficiency and viability, but also the social impact of the organization. This research provides a comprehensive synthesis of PMSs in NPOs. Design/methodology/approach: Using a literature review, supported by bibliometric and network analyses. A paper set of 240 articles related to this research field is examined. Topics that are the most (...) prevalent in this research area and their interrelationships are identified, presenting an outline of current efforts. Findings: Despite the descriptive analyses for the paper set, a framework is proposed for organizing the design-implementation factors of PMSs in nonprofit organizations, identifying the main requirements for their successful development. Originality/value: Investigation on performance measurement in nonprofit organizations is still in its early stages of development with many opportunities to further develop the field. Conceptual frameworks and models, as well as specific theories, are being generated for this field of research, and the process of adapting models from the general field of performance measurement is taking place. The meta-framework that organizes the main research topics of PMS in nonprofit organizations and the framework that consolidates factors that influence the design-implementation of PMSs in nonprofit organizations developed represents this paper contribution. (shrink)

A complete set of mutually unbiased bases for a Hilbert space of dimension N is analogous in some respects to a certain finite geometric structure, namely, an affine plane. Another kind of quantum measurement, known as a symmetric informationally complete positive-operator-valued measure, is, remarkably, also analogous to an affine plane, but with the roles of points and lines interchanged. In this paper I present these analogies and ask whether they shed any light on the existence or non-existence of such symmetric (...) quantum measurements for a general quantum system with a finite-dimensional state space. (shrink)

Starting from an abstract setting for the Lüders-von Neumann quantum measurement process and its interpretation as a probability conditionalization rule in a non-Boolean event structure, the author derived a certain generalization of operator algebras in a preceding paper. This is an order-unit space with some specific properties. It becomes a Jordan operator algebra under a certain set of additional conditions, but does not own a multiplication operation in the most general case. A major objective of the present paper is the (...) search for such examples of the structure mentioned above that do not stem from Jordan operator algebras; first natural candidates are matrix algebras over the octonions and other nonassociative rings. Therefore, the case when a nonassociative commutative multiplication exists is studied without assuming that it satisfies the Jordan condition. The characteristics of the resulting algebra are analyzed. This includes the uniqueness of the spectral resolution as well as a criterion for its existence, subalgebras that are Jordan algebras, associative subalgebras, and more different levels of compatibility than occurring in standard quantum mechanics. However, the paper cannot provide the desired example, but contribute to the search by the identification of some typical differences between the potential examples and the Jordan operator algebras and by negative results concerning some first natural candidates. The possibility that no such example exists cannot be ruled out. However, this would result in an unexpected new characterization of Jordan operator algebras, which would have a significant impact on quantum axiomatics since some customary axioms (e.g., power-associativity or the sum postulate for observables) might turn out to be redundant then. (shrink)

This paper argues that Cantorian transfinite cardinality is not a necessary assumption for the ontological claims in Badiou’s L’Être et l’Événement (Vol. 1). The necessary structure for Badiou’s mathematical ontology in this work was only the ordinality of sets. The method for reckoning the sizes of sets was only assumed to follow the standard Cantorian measure. In the face of different and compelling forms of measuring non-finite sets (following Benci and Di Nasso, and Mancosu), it is argued that Badiou’s project (...) can indeed accommodate this pluralism of measurement. In turn, this plurality of measurement implies that Badiou’s insistence on the “subtraction of the one”, the move to affirm the unconditioned being of the “inconsistent multiple”, results in the virtuality of the one, a pluralism of counting that further complicates the relationship between the one and the multiple in the post-Cantorian era. (shrink)

Modal interpretations constitute a particular approach to associating dynamical variables with physical systems in quantum mechanics. Given the “quantum logical” constraints that are typically adopted by such interpretations, only certain sets of variables can be taken to be simultaneously definite-valued, and only certain sets of values can be ascribed to these variables at a given time. Moreover, each allowable set of variables and values can be uniquely specified by a single “core” projector in the Hilbert space associated with the system. (...) In general, the core projector can be one of several possibilities at a given time. In most previous modal interpretations, the different possible core projectors have formed an orthogonal set. This paper investigates the possibility of adopting a non-orthogonal set. It is demonstrated that such non-orthogonality is required if measurements for which the outcome can be predicted with probability 1 are to reveal the pre-existing value of the variable measured, an assumption which has traditionally constituted a strong motivation for the modal approach. The existing framework for modal interpretations is generalized to explicitly accommodate non-orthogonal core projectors. (shrink)

Our main inspiration is the work in paper (Gitik and Shelah in Isr J Math 124(1):221–242, 2001). We will prove that for a partition \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{A}}$$\end{document} of the real line into meager sets and for any sequence \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{A}_n}$$\end{document} of subsets of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{A}}$$\end{document} one can find a sequence \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} (...) \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{B}_n}$$\end{document} such that \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{B}_{n}}$$\end{document}’s are pairwise disjoint and have the same “outer measure with respect to the ideal of meager sets”. We get also generalization of this result to a class of σ-ideals posessing Suslin property. However, in that case we use additional set-theoretical assumption about non-existing of quasi-measurable cardinal below continuum. (shrink)

We show that in contrast with the Cohen version of Solovay's model, it is consistent for the continuum to be Cohen-measurable and for every function to be continuous on a non-meagre set.

This book provides an introduction to measurement theory for non-specialists and puts measurement in the social and behavioural sciences on a firm mathematical foundation. Results are applied to such topics as measurement of utility, psychophysical scaling and decision-making about pollution, energy, transportation and health. The results and questions presented should be of interest to both students and practising mathematicians since the author sets forth an area of mathematics unfamiliar to most mathematicians, but which has many potentially significant applications.

In this paper we study a notion of a κ -covering set in connection with Bernstein sets and other types of non-measurability. Our results correspond to those obtained by Muthuvel in [7] and Nowik in [8]. We consider also other types of coverings.

BackgroundHuman female orgasm is a vexed question in the field while there is credible evidence of cryptic female choice that has many hallmarks of orgasm in other species. Our initial goal was to produce a proof of concept for allowing females to study an aspect of infertility in a home setting, specifically by aligning the study of human infertility and increased fertility with the study of other mammalian fertility. In the latter case - the realm of oxytocin-mediated sperm retention mechanisms (...) seems to be at work in terms of ultimate function while the proximate function remains unresolved.MethodA repeated measures design using an easily taught technique in a natural setting was used. Participants were a small, non-representative sample of females. The introduction of a sperm-simulant combined with an orgasm-producing technique using a vibrator/home massager and other easily supplied materials.ResultsThe sperm flowback (simulate... (shrink)

Relying on some auxiliary assumptions, usually considered mild, Bell’s theorem proves that no local theory can reproduce all the predictions of quantum mechanics. In this work, we introduce a fully local, superdeterministic model that by explicitly violating ‘settings independence’—one of these auxiliary assumptions, requiring statistical independence between measurement settings and systems to be measured—is able to reproduce all the predictions of quantum mechanics. Moreover, we show that contrary to widespread expectations, our model can break settings independence without an initial state (...) that is too complex to handle, without visibly losing all explanatory power, and without outright nullifying all of experimental science. Still, we argue that our model is unnecessarily complicated and does not offer true advantages over its non-local competitors. We conclude that while our model does not appear to be a viable contender to its non-local counterparts, it provides the ideal framework to advance the debate over violations of statistical independence via the superdeterministic route. (shrink)

Extending a construction of Andreka, Givant, and Nemeti (2019), we construct some finite vector spaces and use them to build finite non-representable relation algebras. They are simple, measurable, and persistently finite, and they validate arbitrary finite sets of equations that are valid in the variety RRA of representable relation algebras. It follows that there is no finitely axiomatisable class of relation algebras that contains RRA and validates every equation that is both valid in RRA and preserved by completions of (...) relation algebras. Consequently, the variety generated by the completions of representable relation algebras is not finitely axiomatisable. This answers a question of Maddux (2018). (shrink)

We provide a solution to the well-known “Shooting-Room” paradox, developed by John Leslie in connection with his Doomsday Argument. In the “Shooting-Room” paradox, the death of an individual is contingent upon an event that has a 1/36 chance of occurring, yet the relative frequency of death in the relevant population is 0.9. There are two intuitively plausible arguments, one concluding that the appropriate subjective probability of death is 1/36, the other that this probability is 0.9. How are these two values (...) to be reconciled? We show that only the first argument is valid for a standard, countably additive probability distribution. However, both lines of reasoning are legitimate if probabilities are non-standard. The subjective probability of death rises from 1/36 to 0.9 by conditionalizing on an event that is not measurable, or whose probability is zero. Thus we can sometimes meaningfully ascribe conditional probabilities even when the event conditionalized upon is not of positive finite (or even infinitesimal) measure. (shrink)

This paper introduces considerations about constraints in the construction of measures of an agent's freedom. It starts with motivating the exercise from both the philosophical and the informational point of view. Then it presents two rankings of opportunity sets based on information about the extent of options and the constraints that a decision maker faces. The first ranking measures freedom as variety of choice; the second as non-restrictedness in choice.

Many philosophers have claimed that extensive or additive measurement is incompatible with the existence of "higher values", any amount of which is better than any amount of some other value. In this paper, it is shown that higher values can be incorporated in a non-standard model of extensive measurement, with values represented by sets of ordered pairs of real numbers, rather than by single reals. The suggested model is mathematically fairly simple, and it applies to structures including negative as well (...) as positive values. (shrink)

Abstract.We prove in ZF+DC, e.g. that: if \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $\mu=|{\cal H}(\mu)|$\end{document} and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $\mu>\cf(\mu)>\aleph_0$\end{document} then \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $\mu ^+$\end{document} is regular but non measurable. This is in contrast with the results on measurability for \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $\mu=\aleph_\omega$\end{document} due to Apter and Magidor [ApMg].

Management scholars have paid close attention to the construct of organizational or corporate reputation, particularly in the applied business ethics and corporate social responsibility fields. Extant research demonstrates that CR is one of the key mediators between CSR and important organizational outcomes, which ultimately improve organizational performance. Yet, hitherto the research focused on CR construct has been plagued by multiple definitions, conflicting conceptualizations, and unclear operationalizations. The purpose of this article is to provide theoretical ground for positioning of CR as (...) an assessment construct that is modeled as a second-order factor affecting individual first-order dimensions, and to provide methodological and empirical support toward such conceptualization. We assert that intangible, socially complex, and causally ambiguous CR can be accurately estimated through its individual measurable dimensions. Using survey data from Peru, we empirically test the hypothesized second-order reflective model within a hierarchy of nested and non-nested models, and compare its model fit and predictive power with alternative conceptualizations. Modeling CR as a second-order reflective construct relies on a set of theoretical propositions and yields several methodological advantages, including strong conceptual interpretability and parsimony when tested within a nomological context. We explicitly demonstrate positive organizational outcomes of CR: customer trust, corporate identification, in-role behavior, and extra-role behavior. Then, we demonstrate that the shorter scales of CR can be used as a good proxy for the full construct measure. The paper concludes by highlighting theoretical insights, and methodological and managerial implications of the findings. (shrink)

This paper generalises an argument for probabilism due to Lindley [9]. I extend the argument to a number of non-classical logical settings whose truth-values, seen here as ideal aims for belief, are in the set $\{0,1\}$, and where logical consequence $\models $ is given the “no-drop” characterization. First I will show that, in each of these settings, an agent’s credence can only avoid accuracy-domination if its canonical transform is a (possibly non-classical) probability function. In other words, if an agent values (...) accuracy as the fundamental epistemic virtue, it is a necessary requirement for rationality that her credence have some probabilistic structure. Then I show that for a certain class of reasonable measures of inaccuracy, having such a probabilistic structure is sufficient to avoid accuracy-domination in these non-classical settings. (shrink)

A physical mechanical sequence is proposed representing measurement interactions ‘hidden' within QM's proverbial ‘black box'. Our ‘beam splitter' pairs share a polar angle, but head in opposite directions, so ‘led' by opposite hemisphere rotations. For orbital ‘ellipticity', we use the inverse value momentum ‘pairs' of Maxwell's ‘linear' and ‘curl' momenta, seen as vectors on the Poincare spherical surface. Values change inversely from 0 to 1 over 90 degrees, then ± inverts.. Detector polarising screens consist of electrons with the same vector (...) distributions, but polar angles set independently by A & B. The absorption/re-emission interaction process is modelled as surface vector additions at the angle of polar latitude of each interaction. This ‘collapse' of characteristic ‘wave values' is really then simply ‘re-polarisation', with new ellipticity. We then obtain the relation Cosθ at polarisers. We may simplify this to new ellipses with major/minor axis values. Considering as spherical orbital angular momentum rotation we invoke the unique quality of spheres to rotate concurrently on three axes! Rotating on y or z axes concurrent with x axis spin can return surface points to starting positions with non-integer x axis rotations, from half to infinity!. Second interactions at photomultiplier/ analysers are identical but at two orthogonal ‘channels'. Vector addition interactions at BOTH channel orientations normally produce a vector value of adequate amplitude to give a *click* from the MAJOR axis direction. At the ‘crossover' points at near circular polarity the orthogonal ‘certainty' is ~ 50:50, so both or neither channels may produce a ‘click'. The apparently unphysical but proved ‘Malus' law' relation; Cos2θ emerges physically from the 2nd set of interactions. The main departure from QM's assumptions are; That the original pair members each actually possessed two inverse momenta sets; ‘curl' and ‘linear'. Also that complex ‘vector additions' of those pairs occurs. Vector quantities allow A & B to reverse their OWN finding by reversing dial setting, reproducing experimental outputs without problematic ‘non-locality'. (shrink)

We consider the time delay of massive, non-relativistic, one-dimensional particles due to a tunneling potential. In this setting the well-known Hartman effect asserts that often the sub-ensemble of particles going through the tunnel seems to cross the tunnel region instantaneously. An obstacle to the utilization of this effect for getting faster signals is the exponential damping by the tunnel, so there seems to be a trade-off between speedup and intensity. In this paper we prove that this trade-off is never in (...) favor of faster signals: the probability for a signal to reach its destination before some deadline is always reduced by the tunnel, for arbitrary incoming states, arbitrary positive and compactly supported tunnel potentials, and arbitrary detectors. More specifically, we show this for several different ways to define “the same incoming state” and “the same detector” when comparing the settings with and without tunnel potential. The arrival time measurements are expressed in the time-covariant approach, but we also allow the detection to be a localization measurement at a later time. (shrink)

This paper brings together Dana Scottʼs measure-based semantics for the propositional modal logic S4, and recent work in Dynamic Topological Logic. In a series of recent talks, Scott showed that the language of S4 can be interpreted in the Lebesgue measure algebra, M, or algebra of Borel subsets of the real interval, [0,1], modulo sets of measure zero. Conjunctions, disjunctions and negations are interpreted via the Boolean structure of the algebra, and we add an interior operator on M that interprets (...) the □-modality. In this paper we show how to extend this measure-based semantics to the bimodal logic S4C. S4C is interpreted in ‘dynamic topological systems,’ or topological spaces together with a continuous function acting on the space. We extend Scottʼs measure based semantics to this bimodal logic by defining a class of operators on the algebra M, which we call O-operators and which take the place of continuous functions in the topological semantics for S4C. The main result of the paper is that S4C is complete for the Lebesgue measure algebra. A strengthening of this result, also proved here, is that there is a single measure-based model in which all non-theorems of S4C are refuted. (shrink)

We propose an alternative approach to probability theory closely related to the framework of numerosity theory: non-Archimedean probability (NAP). In our approach, unlike in classical probability theory, all subsets of an infinite sample space are measurable and only the empty set gets assigned probability zero (in other words: the probability functions are regular). We use a non-Archimedean field as the range of the probability function. As a result, the property of countable additivity in Kolmogorov’s axiomatization of probability is replaced (...) by a different type of infinite additivity. (shrink)

Sorkin’s recent proposal for a realist interpretation of quantum theory, the anhomomorphic logic or coevent approach, is based on the idea of a “quantum measure” on the space of histories. This is a generalisation of the classical measure to one which admits pair-wise interference and satisfies a modified version of the Kolmogorov probability sum rule. In standard measure theory the measure on the base set Ω is normalised to one, which encodes the statement that “Ω happens”. Moreover, the Kolmogorov sum (...) rule implies that the measure of any subset A is strictly positive if and only if A cannot be covered by a countable collection of subsets of zero measure. In quantum measure theory on the other hand, simple examples suffice to demonstrate that this is no longer true. We propose an appropriate generalisation, the quantum cover, which in addition to being a cover of A, satisfies the property that if the quantum measure of A is non-zero then this is also the case for at least one of the elements in the cover. Our work implies a non-triviality result for the coevent interpretation for Ω of finite cardinality, and allows us to cast the Peres-Kochen-Specker theorem in terms of quantum covers. (shrink)

We present a nonparametric approach to prediction of the n-back n \in {1, 2} task as a proxy measure of mental workload using Near Infrared Spectroscopy (NIRS) data. In particular, we focus on measuring the mental workload through hemodynamic responses in the brain induced by these tasks, thereby realizing the potential that they can offer for their detection in real world scenarios (e.g., difficulty of a conversation). Our approach takes advantage of intrinsic linearity that is inherent in the components of (...) the NIRS time series to adopt a one step regression strategy. We demonstrate the correctness of our approach through its mathematical analysis. Furthermore, we study the performance of our model in an inter-subject setting in contrast with state-of-the-art techniques in the literature to show a significant improvement on prediction of these tasks (82.50% and 86.40% for female and male participants, respectively). Moreover, our empirical analysis suggest a gender difference effect on the performance of the classifiers (with male data exhibiting a higher non-linearity) along with the left-lateralized activation in both genders with higher specificity in females. (shrink)

Acts are functions from states of nature into finite-support distributions over a set of ‘deterministic outcomes’. We characterize preference relations over acts which have a numerical representation by the functional J(f)=min>∫u∘ f dP¦PϵC where f is an act, u is a von Neumann-Morgenstern utility over outcomes, and C is a closed and convex set of finitely additive probability measures on the states of nature. In addition to the usual assumptions on the preference relation as transitivity, completeness, continuity and monotonicity, we (...) assume uncertainty aversion and certainty-independence. The last condition is a new one and is a weakening of the classical independence axiom: It requires that an act f is preferred to an act g if and only if the mixture of f and any constant act h is preferred to the same mixture of g and h. If non-degeneracy of the preference relation is also assumed, the convex set of priors C is uniquely determined. Finally, a concept of independence in case of a non-unique prior is introduced. (shrink)

We improve results of Marczewski, Frankiewicz, Brown, and others comparing the σ-ideals of measure zero, meager, Marczewski measure zero, and completely Ramsey null sets; in particular, we remove CH from the hypothesis of many of Brown's constructions of sets lying in some of these ideals but not in others. We improve upon work of Marczewski by constructing, without CH, a nonmeasurable Marczewski measure zero set lacking the property of Baire. We extend our analysis of σ-ideals to include the completely Ramsey (...) null sets relative to a Ramsey ultrafilter and obtain all 32 possible examples of sets in some ideals and not others, some under the assumption of MA, but most in ZFC alone. We also improve upon the known constructions of a Marczewski measure zero set which is not Ramsey by using a set theoretic hypothesis which is weaker than those used by other authors. We give several consistency proofs: one concerning the relative sizes of the covering numbers for the meager sets and the completely Ramsey null sets; another concerning the size of non(CRU 0); and a third concerning the size of add(CRU 0). We also study those classes of perfect sets which are bases for the class of always first category sets. (shrink)

We empirically examine the effect of two measures of culture, the World Values Survey and Hofstede's six dimensions, on three measures of corruption, Transparency International's CPI, the International Country Risk Guide, and the World Bank's Corruption Index. By adopting three measures of corruption and using a large data set covering many countries over many years, we offer more robust results as to the effects of aspects of culture on corruption. Using the World Values Survey, we find that Trust in society, (...) Control over one's destiny and Respect for others decrease corruption while Obedience increases corruption. We find strong evidence that societies characterized by high Power Distance and Masculinity are more corrupt. Some evidence is found to indicate Long Term Orientation, Indulgence, and Individualism have a negative effect on corruption. The effect of Uncertainty Avoidance on corruption is unclear. The results have implications for international business leaders as well as policy makers. (shrink)

This paper makes two central claims. The first is that there is an intimate and non-trivial relation between the mass/count distinction on the one hand and the measure/individuation distinction on the other: a defining property of mass nouns is that they denote sets of entities which can be measured, while count nouns denote sets of entities which can be counted. Crucially, this is a difference in grammatical perspective and not in ontological status. The second claim is that the mass/count distinction (...) between two types of nominals has its direct correlate at the level of classifier phrases: classifier phrases like two bottles of wine are ambiguous between a counting, or individuating, reading and a measure reading. On the counting reading, this phrase has count semantics, on the measure reading it has mass semantics. (shrink)

There is no way literally to measure health, because health is multi-dimensional, and there is no metric whereby one person who is healthier than a second with respect to one dimension but less healthy with respect to another counts as healthier, less healthy or equally healthy overall. Health analysts instead measure how good or bad health states are in some regard. If these values are measures of health states, then identical health states must have identical values. But in different circumstances, (...) the same health state may have different values. It may be better or worse. Uniform values can nevertheless be assigned to kinds of health states, either as a weighted average of the values of their tokens or as the value of the performance in a standard environment of the capacity the health state constitutes. These uniform values are not well suited for some of the purposes for which summary measures of population health have been intended, and a set of non-evaluative indicators may be an attractive alternative. (shrink)

We prove completeness of the propositional modal logic S 4 for the measure algebra based on the Lebesgue-measurable subsets of the unit interval, [0, 1]. In recent talks, Dana Scott introduced a new measure-based semantics for the standard propositional modal language with Boolean connectives and necessity and possibility operators, and . Propositional modal formulae are assigned to Lebesgue-measurable subsets of the real interval [0, 1], modulo sets of measure zero. Equivalence classes of Lebesgue-measurable subsets form a measure (...) algebra, , and we add to this a non-trivial interior operator constructed from the frame of ‘open’ elements—elements in with an open representative. We prove completeness of the modal logic S 4 for the algebra . A corollary to the main result is that non-theorems of S 4 can be falsified at each point in a subset of the real interval [0, 1] of measure arbitrarily close to 1. A second corollary is that Intuitionistic propositional logic (IPC) is complete for the frame of open elements in. (shrink)

We summarize the known methods of producing a non-supercompact strongly compact cardinal and describe some new variants. Our Main Theorem shows how to apply these methods to many cardinals simultaneously and exactly control which cardinals are supercompact and which are only strongly compact in a forcing extension. Depending upon the method, the surviving non-supercompact strongly compact cardinals can be strong cardinals, have trivial Mitchell rank or even contain a club disjoint from the set of measurable cardinals. These results improve (...) and unify Theorems 1 and 2 of [5], due to the first author. (shrink)