Axiomatic and numerical conjoint measurement: An evaluation of diagnostic efficacy

Synthetic data are used to examine how well axiomatic and numerical conjoint measurement methods, individually and comparatively, recover simple polynomial generators in three dimensions. The study illustrates extensions of numerical conjoint measurement (NCM) to identify and model distributive and dual-distributive, in addition to the usual additive, data structures. It was found that while minimum STRESS was the criterion of fit, another statistic, predictive capability, provided a better diagnosis of the known generating model. That NCM methods were able to better identify generating models conflicts with Krantz and Tversky's assertion that, in general, the direct axiom tests provide a more powerful diagnostic test between alternative composition rules than does evaluation of numerical correspondence. For all methods, dual-distributive models are most difficult to recover, while consistent with past studies, the additive model is the most robust of the fitted models.Douglas Emery is now at the Krannert Graduate School of Management, Purdue University, West Lafayette, IN, on leave from the University of Calgary.     

Generalized extensive measurement for lexicographic orders

Theories of extensive measurement usually assume an “Archimedean axiom”, designed to exclude the possibility of infinite or infinitesimal differences among the objects of measurement. The standard theories are therefore not applicable to structures containing lexicographic orders. In this paper, a generalized theory of extensive measurement is developed, which allows infinite and infinitesimal differences. The theory has potential applications in areas such as value and preference research, where lexicographically ordered structures are common. Our result is fully analogous to the standard representation and uniqueness theorem of extensive measurement, and only simple and familiar mathematical concepts are assumed.     

Biased extensive measurement: The general case

We develop a theory of biased extensive measurement which allows us to prove the existence of a ratio-scale without transitivity of indifference and with a property of homothetic invariance weaker than independence. These representations, which cover the cases of interval orders and of semiorders, reveal a unique biasing function smaller or equal to 1 that distorts extensive measurement and explains departures from its standard axioms. We interpret this biasing function as characterizing the qualitative influence of the underlying measurement process and we show that it induces a proportional indifference threshold.     

Biased extensive measurement: The homogeneous case

In the homogeneous case of one type of objects, we prove the existence of an additive scale unique up to a positive scaling transformation without transitivity of indifference and with a property of homothetic invariance weaker than monotonicity. The representation, which is a particular case of a semiorder representation, reveals a unique positive factor α?1 that biases extensive structures and explains departures from these standard axioms of extensive measurement (α=1). We interpret α as characterizing the qualitative influence of the underlying measurement process and we show that it induces a proportional indifference threshold.     

Faithful representation,physical extensive measurement theory and Archimedean axioms

The formal methods of the representational theory of measurement (RTM) are applied to the extensive scales of physical science, with some modifications of interpretation and of formalism. The interpretative modification is in the direction of theoretical realism rather than the narrow empiricism which is characteristic of RTM. The formal issues concern the formal representational conditions which extensive scales should be assumed to satisfy; I argue in the physical case for conditions related to weak rather than strong extensive measurement, in the sense of Holman 1969 and Colonius 1978. The problem of justifying representational conditions is addressed in more detail than is customary in the RTM literature; this continues the study of the foundations of RTM begun in an earlier paper. The most important formal consequence of the present interpretation of physical extensive scales is that the basic existence and uniqueness properties of scales (representation theorem) may be derived without appeal to an Archimedean axiom; this parallels a conclusion drawn by Narens for representations of qualitative probability. It is concluded that there is no physical basis for postulation of an Archimedean axiom.     

Axiomatic Quantum Theory

The basis of a rigorous formal axiomatization of quantum mechanics is constructed, built upon Dirac's bra–ket notation. The system is three-sorted, with separate variables for scalars, vectors and operators. First-order quantification over all three types of variable is permitted. Economy in the axioms is effected by, e.g., assigning a single logical function * to transform (i) a scalar into its complex conjugate, (ii) a ket vector into a bra and a bra into a ket, (iii) an operator into its adjoint. The system is accompanied by a formal semantics. Further papers will deal with vector subspaces and projection operators, operators with continuous spectra, tensor products, observables, and quantum mechanical probabilities.     

Axiomatic quantum mechanics and radioactive decay

This paper explores the consequences of the orthodox resolution of the measurement problem for the axiomatic base of non-relativistic elementary quantum mechanics. It is argued that the standard resolution of the measurement problem generates a paradox whose dissolution may be achieved through an enrichment of the axiomatic foundations of quantum mechanics. These results are also linked to some recent creative proposals by Nancy Cartwright concerning the nature of the so-called reduction of the wave packet.     

An Axiomatic Theory of Law

This paper presents in outline Luigi Ferrajoli’s axiomatic and general theory of law, as developed in his lifelong work Principia Iuris. The first section focuses on the three main aspects of the theory: the methodological, the theoretical and the pragmatic, which respectively represent the theory’s syntax, semantics and its pragmatics. Ferrajoli identifies three deontic gaps of norms: firstly, the one between their validity and efficacy; secondly, the one between their justice and validity; and finally, and most importantly, the one between validity and existence (i.e. normative force). The presence of such gaps is, according to Ferrajoli, the extraordinary innovation that entrenched constitutions have brought into modern legal systems, by establishing norms that are superior to statutes and case law. In this sense, all normative phenomena (except for the constitution itself) can be conceived both as norms and as facts. In the second section the role of juridical science is briefly discussed.     

Axiomatic Extensions of IMT3 Logic

In this paper we characterize, classify and axiomatize all axiomatic extensions of the IMT3 logic. This logic is the axiomatic extension of the involutive monoidal t-norm logic given by ¬φ³ ∨ φ. For our purpose we study the lattice of all subvarieties of the class IMT3, which is the variety of IMTL-algebras given by the equation ¬(x³) ∨ x ≈ ?, and it is the algebraic counterpart of IMT3 logic. Since every subvariety of IMT3 is generated by their totally ordered members, we study the structure of all IMT3-chains in order to determine the lattice of all subvarieties of IMT3. Given a family of IMT3-chains the number of elements of the largest odd finite subalgebra in the family and the number of elements of the largest even finite subalgebra in the family turns out to be a complete classifier of the variety generated. We obtain a canonical set of generators and a finite equational axiomatization for each subvariety and, for each corresponding logic, a finite set of characteristic matrices and a finite set of axioms.     

The Constitution as an Axiomatic System

The Constitution is considered as an informal axiomatic system. The strategy proposed by the authors rests on the following propositions: (1) axioms are considered as contextual definitions of those concepts by means of which they are formulated; and (2) the main requirement for this type of system is internal consistency. The first proposition is necessary for considering the Constitution as an informal axiomatic system, while the second is sufficient, because the approach proposed, apart from consistency, must certainly consider the requirements for formal axiomatic systems, such as independence and completeness. The authors argue that the Constitution can be compared to axiomatic constructions in modern science in the sense that is given in the research on the logic and methodology of deductive sciences. This analogy is appropriate to the extent to which constitutional provisions are interpreted as the basic elements of the legal system, just as in the formal sciences axioms are regarded as basic principles that define the main features of the formal system. This means that the Constitution itself is seen as coherent, consistent discourse that contextually defines the meaning of the basic terms of the legal system.     

Axiomatic Theories of Partial Ground II

This is part two of a two-part paper in which we develop an axiomatic theory of the relation of partial ground. The main novelty of the paper is the of use of a binary ground predicate rather than an operator to formalize ground. In this part of the paper, we extend the base theory of the first part of the paper with hierarchically typed truth-predicates and principles about the interaction of partial ground and truth. We show that our theory is a proof-theoretically conservative extension of the ramified theory of positive truth up to ?? ₀ and thus is consistent. We argue that this theory provides a natural solution to Fine’s “puzzle of ground” about the interaction of truth and ground. Finally, we show that if we apply the truth-predicate to sentences involving our ground-predicate, we run into paradoxes similar to the semantic paradoxes: we get ground-theoretical paradoxes of self-reference.     

Axiomatic Theories of Partial Ground I

This is part one of a two-part paper, in which we develop an axiomatic theory of the relation of partial ground. The main novelty of the paper is the of use of a binary ground predicate rather than an operator to formalize ground. This allows us to connect theories of partial ground with axiomatic theories of truth. In this part of the paper, we develop an axiomatization of the relation of partial ground over the truths of arithmetic and show that the theory is a proof-theoretically conservative extension of the theory PT of positive truth. We construct models for the theory and draw some conclusions for the semantics of conceptualist ground.     

基于广义谢弗竖的分析性模态公理系统

沿着安德森等人开创的方向,我们将分析性公理系统从经典逻辑推向模态逻辑,所定义的广义谢弗竖混合了模态词和广义析舍。在这篇论文中,我们给出常见的正规模态逻辑的分析性公理系统及其强完全性定理和插值定理,并讨论演绎关系的性质：单调性和切割性。     

Remarks on Compositionality and Weak Axiomatic Theories of Truth

The paper draws attention to an important, but apparently neglected distinction relating to axiomatic theories of truth, viz. the distinction between weakly and strongly truth-compositional theories of truth. The paper argues that the distinction might be helpful in classifying weak axiomatic theories of truth and examines some of them with respect to it.