Suppose that fn is a sequence of nonnegative functions with compact support on a locally compact metric space, that T is a nonnegative linear functional, and that equation imageT fn < T f0. A result of Bishop, foundational to a constructive theory of functional analysis, asserts the existence of a point x such that equation imagefn < f0. This paper extends this result to arbitrary Hausdorff spaces, and gives short proofs using nonstandard analysis. While such arguments used are (...) not themselves constructive, they can illuminate where the difficulty lies in finding the point x. An algorithm for constructing x is then given, with a nonstandard proof that the algorithm converges to a correct value. (shrink)

We introduce and study several nonstandard representations of Banach-valued operators defined on the space of Bochner integrable functions. They will be less restrictive than the usual standard representation. In particular, without any hypothesis, we shall find a representation whose kernel belongs to a space of “extended Bochner integrable functions”, introduced by Zimmer by using Loeb measures.

Mathematicians justify axioms of set theory “intrinsically”, by reference to the universe of sets of their intuition, and “extrinsically”, for example, by considerations of simplicity or usefullness for mathematical practice. Here we apply the same kind of justifications to Nonstandard Analysis and argue for acceptance of BNST+ . BNST+ has nontrivial consequences for standard set theory; for example, it implies existence of inner models with measurable cardinals. We also consider how to practice Nonstandard Analysis in BNST+, (...) and compare it with other existing nonstandard set theories. (shrink)

Currently the two popular ways to practice Robinson’s nonstandard analysis are the model-theoretic approach and the axiomatic/syntactic approach. It is sometimes claimed that the internal axiomatic approach is unable to handle constructions relying on external sets. We show that internal frameworks provide successful accounts of nonstandard hulls and Loeb measures. The basic fact this work relies on is that the ultrapower of the standard universe by a standard ultrafilter is naturally isomorphic to a subuniverse of the internal universe.

We develop a constructive version of nonstandard analysis, extending Bishop's constructive analysis with infinitesimal methods. A full transfer principle and a strong idealisation principle are obtained by using a sheaf-theoretic construction due to I. Moerdijk. The construction is, in a precise sense, a reduced power with variable filter structure. We avoid the nonconstructive standard part map by the use of nonstandard hulls. This leads to an infinitesimal analysis which includes nonconstructive theorems such as the Heine-Borel theorem, the Cauchy-Peano (...) existence theorem for ordinary differential equations and the exact intermediate-value theorem, while it at the same time provides constructive results for concrete statements. A nonstandard measure theory which is considerably simpler than that of Bishop and Cheng is developed within this context. (shrink)

A nonstandard universe is constructed from a superstructure in a Boolean-valued model of set theory. This provides a new framework of nonstandard analysis with which methods of forcing are incorporated naturally. Various new principles in this framework are provided together with the following applications: An example of an 1-saturated Boolean ultrapower of the real number field which is not Scott complete is constructed. Infinitesimal analysis based on the generic extension of the hyperreal numbers is provided, and the (...) hull completeness theorem and the Loeb measure construction are extended to objects in the generic extension of the internal universe. The reduction theory of the Boolean-valued complex numbers are developed as a prototype of the applications to the topological reduction theory of Boolean sheaves or operator algebras. (shrink)

Following [3], we build higher-order models of analysis resembling the frameworks of nonstandard analysis. The models are entirely canonical, constructed without Choice. Weak transfer principles are developed and the models are applied to topology, graph theory, and measure theory. A Loeb-like measure is constructed.

Following [3], we build higher-order models of analysis resembling the frameworks of nonstandard analysis. The models are entirely canonical, constructed without Choice. Weak transfer principles are developed and the models are applied to topology, graph theory, and measure theory. A Loeb-like measure is constructed.

Shelah's theory of forking is generalized in a way which deals with measures instead of complete types. This allows us to extend the method of forking from the class of stable theories to the larger class of theories which do not have the independence property. When restricted to the special case of stable theories, this paper reduces to a reformulation of the classical approach. However, it goes beyond the classical approach in the case of unstable theories. Methods from ordinary (...) forking theory and the Loeb measure construction from nonstandard analysis are used. (shrink)

In this paper, I advance an original view of the structure of space called Infinitesimal Gunk. This view says that every region of space can be further divided and some regions have infinitesimal size, where infinitesimals are understood in the framework of Robinson’s nonstandard analysis. This view, I argue, provides a novel reply to the inconsistency arguments proposed by Arntzenius and Russell, which have troubled a more familiar gunky approach. Moreover, it has important advantages over the alternative views these (...) authors suggested. Unlike Arntzenius’s proposal, it does not introduce regions with no interior. It also has a much richer measure theory than Russell’s proposal and does not retreat to mere finite additivity. (shrink)

Nonstandard set theory is an attempt to generalise nonstandard analysis to cover the whole of classical mathematics. Existing versions (Nelson, Hrbáček, Kawai) are unsatisfactory in that the unlimited idealisation principle conflicts with the wish to have a full theory of external sets. I re-analyse the underlying requirements of nonstandard set theory and give a new formal system, stratified nonstandard set theory, which seems to meet them better than the other versions.

In nonstandard measure theory the standard part map is very useful to represent standard measures by Loeb measures. We give here a different method of representing measures using the concept of a σ -homomorphism. As an application a measure extension theorem is derived. Finally a nonstandard proof of a result of Pták is given showing that his assumption of nonmeasurable cardinality is redundant.

The merits of set theory as a foundational tool in mathematics stimulate its use in various areas of artificial intelligence, in particular intelligent information systems. In this paper, a study of various nonstandard treatments of set theory from this perspective is offered. Applications of these alternative set theories to information or knowledge management are surveyed.

Useful as a text for students and a reference for the more advanced mathematician, this book presents a unified treatment of that part of measure theory most useful for its application in modern analysis. Coverage includes sets and classes, measures and outer measures, Haar measure and measure and topology in groups. From the reviews: "Will serve the interested student to find his way to active and creative work in the field of Hilbert space theory." --MATHEMATICAL (...) REVIEWS. (shrink)

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.

The Ultimatum Game is one of the most successful experimental designs in the history of the social sciences. In this article I try to explain this success—what makes it a “paradigmatic experiment”—stressing in particular its versatility. Despite the intentions of its inventors, the Ultimatum Game was never a good design to test economic theory, and it is now mostly used as a heuristic tool for the observation of nonstandard preferences or as a “social thermometer” for the observation of (...) culture‐specific norms. †To contact the author, please write to: Department of Sociology and Philosophy, University of Exeter, Amory Building, Exeter EX4 4DT, UK; e‐mail: [email protected]. (shrink)

In this paper we ask the question: to what extent do basic set theoretic properties of Loeb measure depend on the nonstandard universe and on properties of the model of set theory in which it lies? We show that, assuming Martin's axiom and κ-saturation, the smallest cover by Loeb measure zero sets must have cardinality less than κ. In contrast to this we show that the additivity of Loeb measure cannot be greater than ω 1 (...) . Define $\operatorname{cof}(H)$ as the smallest cardinality of a family of Loeb measure zero sets which cover every other Loeb measure zero set. We show that $\operatorname{card}(\lfloor\log_2(H)\rfloor) \leq \operatorname{cof}(H) \leq \operatorname{card}(2^H)$ , where card is the external cardinality. We answer a question of Paris and Mills concerning cuts in nonstandard models of number theory. We also present a pair of nonstandard universes $M \preccurlyeq N$ and hyperfinite integer H ∈ M such that H is not enlarged by N, 2 H contains new elements, but every new subset of H has Loeb measure zero. We show that it is consistent that there exists a Sierpiński set in the reals but no Loeb-Sierpiński set in any nonstandard universe. We also show that it is consistent with the failure of the continuum hypothesis that Loeb-Sierpiński sets can exist in some nonstandard universes and even in an ultrapower of a standard universe. (shrink)

We prove that Standardization fails in every nontrivial universe definable in the nonstandard set theory BST, and that a natural characterization of the standard universe is both consistent with and independent of BST. As a consequence we obtain a formulation of nonstandard class theory in the ∈-language.

The need for quantitative measurement represents a unifying bond that links all the physical, biological, and social sciences. Measurements of such disparate phenomena as subatomic masses, uncertainty, information, and human values share common features whose explication is central to the achievement of foundational work in any particular mathematical science as well as for the development of a coherent philosophy of science. This book presents a theory of measurement, one that is "abstract" in that it is concerned with highly general (...) axiomatizations of empirical and qualitative settings and how these can be represented quantitatively. It was inspired by, and represents a generalization and extension of, the last major research work in this field, Foundations of Measurement Vol. I, by Krantz, Luce, Suppes, and Tversky published in 1971. (shrink)

We develop measure theory in the context of subsystems of second order arithmetic with restricted induction. We introduce a combinatorial principleWWKL (weak-weak König's lemma) and prove that it is strictly weaker thanWKL (weak König's lemma). We show thatWWKL is equivalent to a formal version of the statement that Lebesgue measure is countably additive on open sets. We also show thatWWKL is equivalent to a formal version of the statement that any Borel measure on a compact metric (...) space is countably additive on open sets. (shrink)

. We demonstrate that a comprehensive nonstandard set theory can be developed in the standard $\displaystyle{\in}$ -language. As an illustration, a nonstandard ${\sf Law of Large Numbers}$ is obtained.

This paper presents a novel semantic analysis of unit names (like pound and meter) and gradable adjectives (like tall, short and happy), inspired by measurement theory (Krantz et al. In Foundations of measurement: Additive and Polynomial Representations, 1971). Based on measurement theory’s four-way typology of measures, I claim that different adjectives are associated with different types of measures whose special characteristics, together with features of the relations denoted by unit names, explain the puzzling limited distribution of measure (...) phrases, as well as unit-based comparisons between predicates (as in the table is longer than it is wide). All considered, my analyses support the view that the grammar of natural languages is sensitive to features of measurement theory. (shrink)

Measurement is said to be the basis of exact sciences as the process of assigning numbers to matter (things or their attributes), thus making it possible to apply the mathematically formulated laws of nature to the empirical world. Mathematics and empiria are best accorded to each other in laboratory experiments which function as what Nancy Cartwright calls nomological machine: an arrangement generating (mathematical) regularities. On the basis of accounts of measurement errors and uncertainties, I will argue for two claims: 1) (...) Both fundamental laws of physics, corresponding to ideal nomological machine, and phenomenological laws, corresponding to material nomological machine, lie, being highly idealised relative to the empirical reality; and also laboratory measurement data do not describe properties inherent to the world independently of human understanding of it. 2) Therefore the naive, representational view of measurement and experimentation should be replaced with a more pragmatic or practice-based view. (shrink)

In this book, we approach different topics related to neutrosophics, such as: Neutrosophic Set, Intuitionistic Fuzzy Set, Inconsistent Intuitionistic Fuzzy Set, Picture Fuzzy Set, Ternary Fuzzy Set, Pythagorean Fuzzy Set, Atanassov’s Intuitionistic Fuzzy Set of second type, Spherical Fuzzy Set, n-HyperSpherical Neutrosophic Set, q-Rung Orthopair Fuzzy Set, truth-membership, indeterminacy-membership, falsehood-nonmembership, Regret Theory, Grey System Theory, Three-Ways Decision, n-Ways Decision, Neutrosophy, Neutrosophication, Neutrosophic Probability, Refined Neutrosophy, Refined Neutrosophication, Nonstandard Analysis; (Theory, NeutroTheory, AntiTheory), S-denying an Axiom, Multispace with (...) Multistructure, and so on. (shrink)

Our primary aim in this paper is to sketch the account of virtue that we think most amenable to virtue measurement. Our account integrates Whole Trait Theory from psychology with a broadly neo-Aristotelian approach to virtue. Our account is ‘ecumenical’ in that it has appeal for a wide range of virtue ethicists. According to WTT, a personality trait is composed of a set of situation-specific trait-appropriate responses, which are produced when certain “social-cognitive” mechanisms are triggered by the perception of (...) trait-relevant stimuli in a person’s external and/or internal environment. Moving from this starting point, we discuss our conception of a virtue and respects in which it both aligns with and diverges from Aristotle’s conception. We discuss roles for practical wisdom and motivation in our conception of virtue, and highlight respects in which WTT provides an amenable empirical framework into which key Aristotelian elements can be integrated. We conclude with brief remarks about our conception as an empirically adequate and measurable account. (shrink)

Our primary aim in this paper is to sketch the account of virtue that we think most amenable to virtue measurement. Our account integrates Whole Trait Theory from psychology with a broadly neo-Aristotelian approach to virtue. Our account is ‘ecumenical’ in that it has appeal for a wide range of virtue ethicists. According to WTT, a personality trait is composed of a set of situation-specific trait-appropriate responses, which are produced when certain “social-cognitive” mechanisms are triggered by the perception of (...) trait-relevant stimuli in a person’s external and/or internal environment. Moving from this starting point, we discuss our conception of a virtue and respects in which it both aligns with and diverges from Aristotle’s conception. We discuss roles for practical wisdom and motivation in our conception of virtue, and highlight respects in which WTT provides an amenable empirical framework into which key Aristotelian elements can be integrated. We conclude with brief remarks about our conception as an empirically adequate and measurable account. (shrink)

Our primary aim in this paper is to sketch the account of virtue that we think most amenable to virtue measurement. Our account integrates Whole Trait Theory from psychology with a broadly neo-Aristotelian approach to virtue. Our account is ‘ecumenical’ in that it has appeal for a wide range of virtue ethicists. According to WTT, a personality trait is composed of a set of situation-specific trait-appropriate responses, which are produced when certain “social-cognitive” mechanisms are triggered by the perception of (...) trait-relevant stimuli in a person’s external and/or internal environment. Moving from this starting point, we discuss our conception of a virtue and respects in which it both aligns with and diverges from Aristotle’s conception. We discuss roles for practical wisdom and motivation in our conception of virtue, and highlight respects in which WTT provides an amenable empirical framework into which key Aristotelian elements can be integrated. We conclude with brief remarks about our conception as an empirically adequate and measurable account. (shrink)

Our primary aim in this paper is to sketch the account of virtue that we think most amenable to virtue measurement. Our account integrates Whole Trait Theory from psychology with a broadly neo-Aristotelian approach to virtue. Our account is ‘ecumenical’ in that it has appeal for a wide range of virtue ethicists. According to WTT, a personality trait is composed of a set of situation-specific trait-appropriate responses, which are produced when certain “social-cognitive” mechanisms are triggered by the perception of (...) trait-relevant stimuli in a person’s external and/or internal environment. Moving from this starting point, we discuss our conception of a virtue and respects in which it both aligns with and diverges from Aristotle’s conception. We discuss roles for practical wisdom and motivation in our conception of virtue, and highlight respects in which WTT provides an amenable empirical framework into which key Aristotelian elements can be integrated. We conclude with brief remarks about our conception as an empirically adequate and measurable account. (shrink)

The book offers an overview of experiences, theories and conceptions of time in the Graeco-Roman world. It presents the results of new research on neglected medical texts, relating to time management, aging and times of life, and the importance of t.

We present an axiomatic framework for nonstandard analysis-the Nonstandard Class Theory which extends von Neumann-Godel-Bernays Set Theory by adding a unary predicate symbol St to the language of NBG means that the class X is standard) and axioms-related to it- analogs of Nelson's idealization, standardization and transfer principles. Those principles are formulated as axioms, rather than axiom schemes, so that NCT is finitely axiomatizable. NCT can be considered as a theory of definable classes of Bounded (...) Set Theory by V. Kanovei and M. Reeken. In many aspects NCT resembles the Alternative Set Theory by P. Vopenka. For example there exist semisets in NCT and it can be proved that a set has a standard finite cardinality iff it does not contain any proper subsemiset. Semisets can be considered as external classes in NCT. Thus the saturation principle can be formalized in NCT. (shrink)

It is argued that a reformulation of classical measure theory is necessary if the theory is to accurately describe measurements of physical phenomena. The postulates of a generalized measure theory are given and the fundamentals of this theory are developed, and the reader is introduced to some open questions and possible applications. Specifically, generalized measure spaces and integration theory are considered, the partial order structure is studied, and applications to hidden variables and (...) the logic of quantum mechanics are given. (shrink)

The paper reconstructs the connections between the evolution of Patrick Suppes’ measurement theory from 1951 to 1958 and the research in utility analysis he conducted between 1953 and 1957 within the Stanford Value Theory Project. In particular, the paper shows that Suppes’ superseding of the classical understanding of measurement, his endorsement of the representational view of measurement, and his conceiving of an axiomatic version of the latter were prompted by his research in utility analysis.

A highly abstracted theory of measurement is synthesized from classical measurement theory, fuzzy set theory, generalized information theory, and predicate calculus. The theory does not require specific truth value concepts, nor does it specify what subsets of the reals can be observed, thus avoiding the usual fundamental difficulties. Problems such as the definition of systems, the significance of observations, numerical scales and observables, etc. are examined. The general logico-algebraic approach to quantum/classical physics is justified as (...) a special case of measurement theory. (shrink)

The Kubovy-Epstein proposal for the formalization of the relation between kinematic geometry and perception of motion has formal problems in itself. Motion phenomena are inadequately captured by the relational structures and the notion of isomorphism taken over from measurement theory. [Kubovy & Epstein].

We present a number of results on the structure of initial segments of models of Peano arithmetic with the arithmetic operations of addition, subtraction, multiplication, division, exponentiation and logarithm. Each of the binary operations introduced is defined in two dual ways, often with quite different results, and we attempt to systematise the issues and show how various calculations may be carried out. To understand the behaviour of addition and subtraction we introduce a notion of derivative on cuts, analogous to differentiation (...) in the calculus. Multiplication, division and other operations are described by higher order versions of derivative. The work here is presented as important preliminary work related to a nonstandard measure theory of non‐definable bounded subsets of a model of Peano arithmetic. (shrink)

It is shown that the application of the Lax-Phillips scattering theory to quantum mechanics provides a natural framework for the realization of the ideas of the “Many-Hilbert-Space” theory of Machida and Namiki to describe the development of decoherence in the process of measurement. We show that if the quantum mechanical evolution is pointwise in time, then decoherence occurs only if the Hamiltonian is time-dependent. If the evolution is not pointwise in time (as in Liouville space), then the decoherence (...) may occur even for closed systems. These conclusions apply as well to the general problem of mixing of states. (shrink)

We tested if the newly designed ToMotion task reflects a single construct and if the atypical groups differ in their performance compared to typically developing peers. Furthermore, we were interested if ToMotion maps a developmental sequence in a Theory of Mind performance as exemplified by increasing difficulty of the questions asked in every item. The sample consisted of 13 adolescents that have been diagnosed with a developmental language disorder and 14 adolescents that are deaf or hard of hearing. All (...) of these adolescents were in special schools for secondary vocational education. The control group existed of 34 typical developing adolescents who were in regular intermediate vocational education, ranging from level 2 to 4. The ToMotion, available in a spoken Dutch version and in a version in Sign Language of the Netherlands, was used to map ToM abilities. An attempt has been made to fill the gap of missing studies of ToM in adolescents by developing a new measuring instrument. In conclusion, assessing ToM with the ToMotion results in a picture that DHH adolescents score lower than TD peers. However, their scores are as consistent as those of the TD peers. The picture of DLD adolescents is the reverse. They show no differences in ToM scores, but seem to be somewhat more inconsistent compared to TD peers. We provide a discussion on those results and its implications for future research. What this paper adds? The current study introduces a new visual Theory of Mind task, ToMotion, designed specifically to assess ToM in adolescents in an ecologically valid way and adapted to the needs of adolescents with language and communication difficulties. (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)

This is an entry to the Compendium of Quantum Physics, edited by F Weinert, K Hentschel and D Greenberger, to be published by Springer-Verlag.