Information and preference in partial orders: A bimatrix representation

This paper presents a bimatrix structure for examining ordinal partial rankings. A set of axioms is given similar to those of Kemeny and Snell (1962) and Bogart (1973), which uniquely determines the distance between any pair of such rankings. Thel ¹ norm is shown to satisfy this set of axioms, and to be equivalent to the Kemeny and Snell distance on their subspace of weak orderings. Consensus formation is discussed.This research was supported by a NSERC grant A8966.     

A Hierarchy of Weak Double Negations

In this paper, a way of constructing many-valued paraconsistent logics with weak double negation axioms is proposed. A hierarchy of weak double negation axioms is addressed in this way. The many-valued paraconsistent logics constructed are defined as Gentzen-type sequent calculi. The completeness and cut-elimination theorems for these logics are proved in a uniform way. The logics constructed are also shown to be decidable.     

An approach to combine the logistic threshold model of psychophysics with the Bradley-Terry-Luce models of choice theory

The paper presents a straightforward extension of the Bradley-Terry-Luce model (BTL model) that can be derived from the logistic threshold model of psychophysics which assumes that psychometric functions are logistic probability functions. It is shown that (under weak side conditions) the logistic threshold model is a submodel of the extended BTL model. Moreover, representation and uniqueness theorems are proven that provide some evidence that the extended BTL model is a useful and widely applicable generalization of the ordinary BTL model. Finally, the logistic shape of the psychometric function is derived from axioms about binary choice probabilities. This characterization of the logistic threshold model can replace goodness of fit tests for the logistic probability distribution.     

Measurement scales and scale independence in the analytic hierarchy process

One approach to evaluate the relative performance of decision alternatives with respect to multiple criteria is provided by the analytic hierarchy process. The method is based on pairwise comparisons between attributes, and several numerical measurement scales for the ratio statements have been proposed. The choice of measurement scale is re‐examined, and new arguments supporting the measurement scale of geometric progression are derived. Separately from the measurement scale considerations, the effects of the scale parameter in geometric measurement scale are also studied. By using a regression model for pairwise comparisons data, it is shown that the statistical inference does not depend on the value of the scale parameter in the case of a single pairwise comparison matrix. It is also shown when the scale independence of statistical inference can be achieved in a decision hierarchy. This requires the use of the geometric‐mean aggregation rule instead of the traditional arithmetic‐mean aggregation. The results of the case study demonstrate that the measurement scale and the aggregation rule have potentially large impacts on decision support. Copyright © 2000 John Wiley & Sons, Ltd.     

Prior distributions for random choice structures

We study various axioms of discrete probabilistic choice, measuring how restrictive they are, both alone and in the presence of other axioms, given a specific class of prior distributions over a complete collection of finite choice probabilities. We do this by using Monte Carlo simulation to compute, for a range of prior distributions, probabilities that various simple and compound axioms hold. For example, the probability of the triangle inequality is usually many orders of magnitude higher than the probability of random utility. While neither the triangle inequality nor weak stochastic transitivity imply the other, the conditional probability that one holds given the other holds is greater than the marginal probability, for all priors in the class we consider. The reciprocal of the prior probability that an axiom holds is an upper bound on the Bayes factor in favor of a restricted model, in which the axiom holds, against an unrestricted model. The relatively high prior probability of the triangle inequality limits the degree of support that data from a single decision maker can provide in its favor. The much lower probability of random utility implies that the Bayes factor in favor of it can be much higher, for suitable data.     

The exchangeable multinomial model as an approach to testing deterministic axioms of choice and measurement

The multinomial (Dirichlet) model, derived from de Finetti's concept of exchangeability, is proposed as a general Bayesian framework to test axioms on data, in particular, deterministic axioms characterizing theories of choice or measurement. For testing, the proposed framework does not require a deterministic axiom to be cast in a probabilistic form (e.g., casting deterministic transitivity as weak stochastic transitivity). The generality of this framework is demonstrated through empirical tests of 16 different axioms, including transitivity, consequence monotonicity, segregation, additivity of joint receipt, stochastic dominance, coalescing, restricted branch independence, double cancellation, triple cancellation, and the Thomsen condition. The model generalizes many previously proposed methods of axiom testing under measurement error, is analytically tractable, and provides a Bayesian framework for the random relation approach to probabilistic measurement (J. Math. Psychol. 40 (1996) 219). A hierarchical and nonparametric generalization of the model is discussed.     

On the role of language in social choice theory

Axiomatic characterization results in social choice theory are usually compared either regarding the normative plausibility or regarding the logical strength of the axioms involved. Here, instead, we propose to compare axiomatizations according to the language used for expressing the axioms. In order to carry out such a comparison, we suggest a formalist approach to axiomatization results which uses a restricted formal logical language to express axioms. Axiomatic characterization results in social choice theory then turn into definability results of formal logic. The advantages of this approach include the possibility of non-axiomatizability results, a distinction between absolute and relative axiomatizations, and the possibility to ask how rich a language needs to be to express certain axioms. We argue for formal minimalism, i.e., for favoring axiomatizations in the weakest language possible.     

On component analyses

Principal components analysis can be redefined in terms of the regression of observed variables upon component variables. Two criteria for the adequacy of a component representation in this context are developed and are shown to lead to different component solutions. Both criteria are generalized to allow weighting, the choice of weights determining the scale invariance properties of the resulting solution. A theorem is presented giving necessary and sufficient conditions for equivalent component solutions under different choices of weighting. Applications of the theorem are discussed that involve the components analysis of linearly derived variables and of external variables.Preparation of this article was supported in part by National Institute of Aging Grant NIA-AG03164-03 to William Meredith.     

论基础公理与反基础公理

"循环并不可恶"。本文在此基础上讨论基础公理和反基础公理。首先指出基础公理原本就是一条有争议的公理;第二,说明基础公理的局限性;第三,详细论述反基础公理家族中的三个成员,并给出它们两两不相容的一个证明;第四,分析反基础公理导致集合论域在V=WF上不断扩张的方法,并指出这种扩张的方法与数系扩张的方法相同;最后结论:良基集合理论(ZFC)与非良基集合理论(ZFC~-+AFA(或者ZFC和ZFC~-+FAFA或者ZFC和ZFC~-+SAFA))之间的关系类似于欧几里得几何学与非欧几何学之间的关系。     

Note on two necessary and sufficient axioms for a well-graded knowledge space

We introduce two pedagogically sound axioms for a knowledge structure modeling a student’s learning: outer fringe coherence and learning smoothness. We show that the knowledge structures satisfying these two axioms are equivalent to well-graded knowledge spaces.     

确定、不确定及风险状态下选择反转:“齐当别”选择方式的解释

应用广义“弱优势”（weak dominance）模型检验确定、不确定及风险状态下的选择反转现象。该模型将人们的二择一选择行为描述为一种搜寻一备择方案在主观上优越于另一备择方案的过程。即：在甲方案在某一维度上优越于乙方案,而乙方案在另一维度上优越于甲方案的情况下,为了利用“弱优势”（weak dominance）原则达成决策,人们必须在一维度上将两者间较小的差异人为地“齐同”掉,而在另一维度上将“辨别”两者间较大的差异作为最终选择的依据。因此,在每次选择时,如果不认为最大的差异都是来自同一维度,就会导致选择反转。此项研究设计了一“匹配”任务,并借此检验,在不同的决策状态下,判断两备择方案在各维度上的差异是否能预测人们的重复选择变异。总的测试-再测试结果支持“齐当别”选择方式的解释。其发现表明：重复选择之所以可能是一致的,并不是因为每次都认定被选中的备择方案具有最大值,而是因为每次选择都认定最大的差异来自一固定的维度。     

Stochastic transitivity and the unidimensional control of choice

A concurrent-chains paradigm was used to test three models of preference for schedules of reinforcement. Each model assumes choice to be a monotonic function of values on a single dimension (“simple scalability”). For choices involving variable-interval and fixed-interval schedules, this dimension is assumed to be an harmonic average of the interreinforcement intervals; for choices involving fixedinterval and fixed-ratio schedules, the dimension is the time to reinforcement irrespective of response rate; for choices involving different combinations of rate and duration of reinforcement, the dimension is the rate of “reinforcement-time”, or the product of the two parameters. Each model implies a strong form of transitivity (“functional equivalence”), which held for half the subjects (that half exclusively sensitive to the reinforcement variable specified by the model). An alternative unidimensional model which implies a weaker form of transitivity (“weak binary utility model”) was consistent with the preferences of all subjects. This model states that a single factor controls the direction of preferences but not necessarily the exact choice probability, as simple scalability assumes.     

Coherent choice functions under uncertainty

We discuss several features of coherent choice functions—where the admissible options in a decision problem are exactly those that maximize expected utility for some probability/utility pair in fixed set S of probability/utility pairs. In this paper we consider, primarily, normal form decision problems under uncertainty—where only the probability component of S is indeterminate and utility for two privileged outcomes is determinate. Coherent choice distinguishes between each pair of sets of probabilities regardless the “shape” or “connectedness” of the sets of probabilities. We axiomatize the theory of choice functions and show these axioms are necessary for coherence. The axioms are sufficient for coherence using a set of probability/almost-state-independent utility pairs. We give sufficient conditions when a choice function satisfying our axioms is represented by a set of probability/state-independent utility pairs with a common utility.     

An Experiment on the Numerical Modelling of Verbal Ratio Statements

Verbal statements are intuitively attractive for preference elicitation. In the analytic hierarchy process (AHP) the verbal responses to pairwise comparisons of relative importance are converted into real numbers according to the nine-point integer scale. Several alternative scales have been proposed for the conversion, but sufficient empirical evidence has not been produced to support the choice among these scales. We performed a comparative study in which subjects were requested to quantify verbal ratio statements by adjusting the heights of visually displayed bars. Subjects were also asked to employ verbal expressions in pairwise comparisons of areas of figures with different shapes. The principal result of the experiment was that the perceived meaning of the verbal expressions varies from one subject to the next and also depends on the set of elements involved in the comparison. Our results indicate that there are alternative numerical scales which yield more accurate estimates than the usual 1-to-9 scale and reduce the inconsistency of the comparison matrices. Alternative ways of using verbal preference statements are suggested to overcome the difficulties that arise from the context dependence of verbal pairwise comparisons. © 1997 John Wiley & Sons, Ltd.     

Replacement—A Sheffer Stroke for Belief Change

By replacement is meant an operation that replaces one sentence by another in a belief set. Replacement can be used as a kind of Sheffer stroke for belief change, since contraction, revision, and expansion can all be defined in terms of it. Replacement can also be defined either in terms of contraction or in terms of revision. Close connections are shown to hold between axioms for replacement and axioms for contraction and revision. Partial meet replacement is axiomatically characterized. It is shown that this operation can have outcomes that are not obtainable through either partial meet contraction or partial meet revision.     

Stevens' power law and the problem of meaningfulness

Frequently, it is postulated that the results of a ratio production (resp., ratio estimation) experiment can be summarized by Stevens' power law psi=alphaphi(beta). In the present article, it is argued that the power law parameters depend, among other things, on the standard stimulus presented as a reference point, and the physical stimulus scale by which the physical intensities are measured. To formalize this idea, a new formulation of Stevens' power law is presented. We show that the exponent in Stevens' power law can only be interpreted in a meaningful way if the stimulus scale is a ratio scale. Furthermore, we present empirically testable axioms (termed invertibility and weak multiplicativity) which are both necessary and sufficient for the power law exponent to be invariant under changes of the standard stimulus. Finally, invertibility and weak multiplicativity are evaluated in a ratio production experiment. Ten participants were required to adjust the area of variable circles to prescribed ratio production factors. Both axioms are violated for all participants. The results cast doubts on the well-established practice of comparing power law exponents across different modalities.     

The Role of Axioms in Mathematics

To answer the question of whether mathematics needs new axioms, it seems necessary to say what role axioms actually play in mathematics. A first guess is that they are inherently obvious statements that are used to guarantee the truth of theorems proved from them. However, this may neither be possible nor necessary, and it doesn’t seem to fit the historical facts. Instead, I argue that the role of axioms is to systematize uncontroversial facts that mathematicians can accept from a wide variety of philosophical positions. Once the axioms are generally accepted, mathematicians can expend their energies on proving theorems instead of arguing philosophy. Given this account of the role of axioms, I give four criteria that axioms must meet in order to be accepted. Penelope Maddy has proposed a similar view in Naturalism in Mathematics, but she suggests that the philosophical questions bracketed by adopting the axioms can in fact be ignored forever. I contend that these philosophical arguments are in fact important, and should ideally be resolved at some point, but I concede that their resolution is unlikely to affect the ordinary practice of mathematics. However, they may have effects in the margins of mathematics, including with regards to the controversial “large cardinal axioms” Maddy would like to support.

---

The ontology of intentionality I: the dependence ontological account of order: mediate and immediate moments and pieces of dependent and independent objects

This is the first of three essays which use Edmund Husserl's dependence ontology to formulate a non-Diodorean and non-Kantian temporal semantics for two-valued, first-order predicate modal languages suitable for expressing ontologies of experience (like physics and cognitive science). This essay's primary desideratum is to formulate an adequate dependence-ontological account of order. To do so it uses primitive (proper) part and (weak) foundation relations to formulate seven axioms and 28 definitions as a basis for Husserl's dependence ontological theory of relating moments. The essay distinguishes between dependence v. independence, pieces v. moments, mediate v. immediate pieces and moments, maximal v. non-maximal pieces, founded v. unfounded qualities, integrative v. disintegrative dependence, and defines the concepts of the completion of an object, the adumbrational equivalence relation of objects, moments of unity which unify objects, and relating moments which relate objects. The eight theorems [CUT90]-[CUT97] show that relating moments of unity provide an adequate account of order in terms of primitive (proper) part and (weak) foundation relations.     

Pairwise Likelihood Ratio Tests and Model Selection Criteria for Structural Equation Models with Ordinal Variables

Correlated multivariate ordinal data can be analysed with structural equation models. Parameter estimation has been tackled in the literature using limited-information methods including three-stage least squares and pseudo-likelihood estimation methods such as pairwise maximum likelihood estimation. In this paper, two likelihood ratio test statistics and their asymptotic distributions are derived for testing overall goodness-of-fit and nested models, respectively, under the estimation framework of pairwise maximum likelihood estimation. Simulation results show a satisfactory performance of type I error and power for the proposed test statistics and also suggest that the performance of the proposed test statistics is similar to that of the test statistics derived under the three-stage diagonally weighted and unweighted least squares. Furthermore, the corresponding, under the pairwise framework, model selection criteria, AIC and BIC, show satisfactory results in selecting the right model in our simulation examples. The derivation of the likelihood ratio test statistics and model selection criteria under the pairwise framework together with pairwise estimation provide a flexible framework for fitting and testing structural equation models for ordinal as well as for other types of data. The test statistics derived and the model selection criteria are used on data on ‘trust in the police’ selected from the 2010 European Social Survey. The proposed test statistics and the model selection criteria have been implemented in the R package lavaan.