Extensive measurement and ratio functions

Extensive measurement theory is developed in terms of theratio of two elements of an arbitrary (not necessarily Archimedean) extensive structure; thisextensive ratio space is a special case of a more general structure called aratio space. Ratio spaces possess a natural family of numerical scales (r-scales) which are definable in non-representational terms; ther-scales for an extensive ratio space thus constitute a family of numerical scales (extensive r-scales) for extensive structures which are defined in a non-representational manner. This is interpreted as involving arelational theory of quantity which contrasts in certain respects with thequalitative theory of quantity implicit in standard representational extensive measurement theory. The representational properties of extensiver-scales are investigated, and found to coincide withweak extensive measurement in the sense of Holman. This provides support for the thesis (developed in a separate paper) that weak extensive measurement is a more natural model of actual physical extensive scales than is the standard model using strong extensive measurement. Finally, the present apparatus is applied to slightly simplify the existing necessary and sufficient conditions for strong extensive measurement.This work was supported by a Junior Faculty Summer Research Fellowship awarded by the University Research Council of the University of Oklahoma for the summer of 1985.     

Elementary categorial logic,predicates of variable degree,and theory of quantity

Developing some suggestions of Ramsey (1925), elementary logic is formulated with respect to an arbitrary categorial system rather than the categorial system of Logical Atomism which is retained in standard elementary logic. Among the many types of non-standard categorial systems allowed by this formalism, it is argued that elementary logic with predicates of variable degree occupies a distinguished position, both for formal reasons and because of its potential value for application of formal logic to natural language and natural science. This is illustrated by use of such a logic to construct a theory of quantity which is argued to be scientifically superior to existing theories of quantity based on standard categorial systems, since it yields realvalued scales without the need for unrealistic existence assumptions. This provides empirical evidence for the hypothesis that the categorial structure of the physical world itself is non-standard in this sense.I would like to thank my collegue Mark Brown and an anonymous referee for helpful comments on an earlier draft of this paper.     

A Unified Nonparametric IRT Model for <Emphasis Type="Italic">d</Emphasis>-Dimensional Psychological Test Data (<Emphasis Type="Italic">d</Emphasis>-ISOP)

The (univariate) isotonic psychometric (ISOP) model (Scheiblechner, 1995) is a nonparametric IRT model for dichotomous and polytomous (rating scale) psychological test data. A weak subject independence axiom W1 postulates that the subjects are ordered in the same way except for ties (i.e., similarly or isotonically) by all items of a psychological test. A weak item independence axiom W2 postulates that the order of the items is similar for all subjects. Local independence (LI or W3) is assumed in all models. With these axioms, sample-free unidimensional ordinal measurements of items and subjects become feasible. A cancellation axiom (Co) gives, as a result, the additive isotonic psychometric (ADISOP) model and interval scales for subjects and items, and an independence axiom (W4) gives the completely additive isotonic psychometric (CADISOP) model with an interval scale for the response variable (Scheiblechner, 1999). The d-ISOP, d-ADISOP, and d-CADISOP models are generalizations to d-dimensional dependent variables (e.g., speed and accuracy of response). The author would like to thank an Associate Editor and two anonymous referees and also Professor H.H. Schulze for their very valuable suggestions and corrections.     

The Simplest Axiom System for Plane Hyperbolic Geometry

We provide a quantifier-free axiom system for plane hyperbolic geometry in a language containing only absolute geometrically meaningful ternary operations (in the sense that they have the same interpretation in Euclidean geometry as well). Each axiom contains at most 4 variables. It is known that there is no axiom system for plane hyperbolic consisting of only prenex 3-variable axioms. Changing one of the axioms, one obtains an axiom system for plane Euclidean geometry, expressed in the same language, all of whose axioms are also at most 4-variable universal sentences. We also provide an axiom system for plane hyperbolic geometry in Tarski's language L _B which might be the simplest possible one in that language.     

To Be is to Be the Object of a Possible Act of Choice

Aim of the paper is to revise Boolos’ reinterpretation of second-order monadic logic in terms of plural quantification ([4], [5]) and expand it to full second order logic. Introducing the idealization of plural acts of choice, performed by a suitable team of agents, we will develop a notion of plural reference. Plural quantification will be then explained in terms of plural reference. As an application, we will sketch a structuralist reconstruction of second-order arithmetic based on the axiom of infinite à la Dedekind, as the unique non-logical axiom. We will also sketch a virtual interpretation of the classical continuum involving no other infinite than a countable plurality of individuals.     

Quantitative Studies of Verbal Reinforcement in Classroom Situations: II. Occurrence of Error and Correct Responses Related to a Change in Stimulus Conditions

This study explores the representational processes underlying the young child's creation of the human figure, and examines the developmental origins, effects of socioeconomic status, IQ, age, sex, and function of verbalization to the task. Tasks were selected which required extensive use of symbolic processes and consisted of human figure drawing, figure completion, two form puzzles composed of geometric forms, and drawing on dictation. Ss were 151 preschoolers ranging in age from 2.3 to 5.7, enrolled in a day care center or nursery school. Ss came from two distinct socioeconomic backgrounds: upper-middle and working-class families. The study revealed the sensorymotor origins of representation and pointed toward an autonomous, perhaps universal, development of these representational processes. The results indicated major effects of IQ and age, minor effects of sex, and the absence of socioeconomic status effects on the five tasks. Achievement scores and the child's verbalization to the tasks suggested that the function of verbalization is explanatory rather than problem solving.     

A Piagetian perspective on mathematical construction

In this paper, we offer a Piagetian perspective on the construction of the logico-mathematical schemas which embody our knowledge of logic and mathematics. Logico-mathematical entities are tied to the subject's activities, yet are so constructed by reflective abstraction that they result from sensorimotor experience only via the construction of intermediate schemas of increasing abstraction. The ‘axiom set’ does not exhaust the cognitive structure (schema network) which the mathematician thus acquires. We thus view ‘truth’ not as something to be defined within the closed ‘world’ of a formal system but rather in terms of the schema network within which the formal system is embedded. We differ from Piaget in that we see mathematical knowledge as based on social processes of mutual verification which provide an external drive to any ‘necessary dynamic’ of reflective abstraction within the individual. From this perspective, we argue that axiom schemas tied to a preferred interpretation may provide a necessary intermediate stage of reflective abstraction en route to acquisition of the ability to use formal systems in abstracto.     

Proof and Dialogue in Aristotle

Jan ?ukasiewicz’s analysis of Aristotle’s syllogism drew attention to the nature of syllogisms as conditionals rather than premise-conclusion arguments. His further idea that syllogisms should be understood as theorems of an axiom system seems a step too far for many logicians. But there is evidence to suggest that Aristotle’s syllogism was to regularise some of the steps made in ‘dialogue games.’ This way of seeing the syllogism is explored in the framework of modern formal dialogue systems. A modern formal syllogistic game, DLSyll, is set out and analysed in use.     

Quantum logic as a dynamic logic

We address the old question whether a logical understanding of Quantum Mechanics requires abandoning some of the principles of classical logic. Against Putnam and others (Among whom we may count or not E. W. Beth, depending on how we interpret some of his statements), our answer is a clear “no”. Philosophically, our argument is based on combining a formal semantic approach, in the spirit of E. W. Beth’s proposal of applying Tarski’s semantical methods to the analysis of physical theories, with an empirical–experimental approach to Logic, as advocated by both Beth and Putnam, but understood by us in the view of the operational- realistic tradition of Jauch and Piron, i.e. as an investigation of “the logic of yes–no experiments” (or “questions”). Technically, we use the recently-developed setting of Quantum Dynamic Logic (Baltag and Smets 2005, 2008) to make explicit the operational meaning of quantum-mechanical concepts in our formal semantics. Based on our recent results (Baltag and Smets 2005), we show that the correct interpretation of quantum-logical connectives is dynamical, rather than purely propositional. We conclude that there is no contradiction between classical logic and (our dynamic reinterpretation of) quantum logic. Moreover, we argue that the Dynamic-Logical perspective leads to a better and deeper understanding of the “non-classicality” of quantum behavior than any perspective based on static Propositional Logic.     

Frege's Begriffsschrift is Indeed First-Order Complete

It is widely taken that the first-order part of Frege's Begriffsschrift is complete. However, there does not seem to have been a formal verification of this received claim. The general concern is that Frege's system is one axiom short in the first-order predicate calculus comparing to, by now, standard first-order theory. Yet Frege has one extra inference rule in his system. Then the question is whether Frege's first-order calculus is still deductively sufficient as far as the first-order completeness is concerned. In this short note we confirm that the missing axiom is derivable from his stated axioms and inference rules, and hence the logic system in the Begriffsschrift is indeed first-order complete.     

A laplacean formal semantics for single-case propensities

Conclusion Even those generally skeptical of propensity interpretations of probability must now grant the following two points. First, the above single-case propensity interpretation meets recognized formal conditions for being a genuine interpretation of probability. Second, this interpretation is not logically reducible to a hypothetical relative frequency interpretation, nor is it only vacuously different from such an interpretation.The main objection to this propensity interpretation must be not that it is too vague or vacuous, but that it is metaphysically too extravagant. It asserts not only that there are physical possibilities in nature, but further that nature itself contains innate tendencies toward these possibilities, tendencies which have the logical structure of probabilities. Thus the basic dispute between advocates of an actualist relative frequency interpretation and a single-case propensity interpretation is not a matter of epistemology, but metaphysics. The frequency theorist wishes to maintain that claims about physical probabilities are nothing more than claims about relative frequencies that will occur in the actual history of the world, be it infinite or no. It is a substantial, though hardly conclusive, argument for the propensity view that the mathematical structures commonly employed in studies of stochastic processes and statistical inference are richer than can be accommodated by a relative frequency interpretation. Whether it is possible to bridge this gap without going beyond an actualist metaphysics remains to be seen.³⁸     

The structure of analog representation

This paper develops a theory of analog representation. We first argue that the mark of the analog is to be found in the nature of a representational system's interpretation function, rather than in its vehicles or contents alone. We then develop the rulebound structure theory of analog representation, according to which analog systems use interpretive rules that map syntactic structural features onto semantic structural features. The theory involves three degree-theoretic measures that capture three independent ways in which a system can be more or less analog. We explain how our theory improves upon prior accounts of analog representation, provides plausible diagnoses for novel challenge cases, extends to hybrid systems that are partially analog and partially symbolic, and accounts for some of the advantages and disadvantages of representing analogically versus symbolically.     

Did Kant Conflate the Necessary and the A Priori?

It is commonly accepted by Kant scholars that Kant held that all necessary truths are a priori, and all a priori knowledge is knowledge of necessary truths. Against the prevailing interpretation, I argue that Kant was agnostic as to whether necessity and a priority are co‐extensive. I focus on three kinds of modality Kant implicitly distinguishes: formal possibility and necessity, empirical possibility and necessity, and noumenal possibility and necessity. Formal possibility is compatibility with the forms of experience; empirical possibility is compatibility with the causal powers of empirical objects; noumenal possibility is compatibility with the causal powers of things in themselves. Because we cannot know the causal powers of things in themselves, we cannot know what is noumenally necessary and what is noumenally contingent. Consequently, we cannot know whether noumenal necessity is co‐extensive with a priority. Therefore, for all we know, some a priori propositions are noumenally contingent, and some a posteriori propositions are noumenally necessary. Thus, contrary to the received interpretation, Kant distinguishes epistemological from metaphysical modality.     

A Response

My response addresses a few technical problems raised by Card—the function of chains in extending caring, a constructivist interpretation of formal relations, a variation of reciprocity—and then concentrates on the major charges of unidirec' tionality and continued exploitation of women. Caring is not construed as an individual virtue that makes continuous demands on one party, but as a relational attribute. An ethic of caring is liberational rather than exploitative because the expectation is that all people, not just women, should act as carers.     

Function and Argument in Begriffsschrift

It is well known that the formal system developed by Frege in Begriffsschrift is based upon the distinction between function and argument—as opposed to the traditional distinction between subject and predicate. Almost all of the modern commentaries on Frege's work suggest a semantic interpretation of this distinction, and identify it with the ontological structure of function and object, upon which Grundgesetze is based. Those commentaries agree that the system proposed by Frege in Begriffsschrift has some gaps, but it is taken as an essentially correct formal system for second-order logic: the first one in the history of logic. However, there is strong textual evidence that such an interpretation should be rejected. This evidence shows that the nature of the distinction between function and argument is stated by Frege in a significantly different way: it applies only to expressions and not to entities. The formal system based on this distinction is tremendously flexible and is suitable for making explicit the logical structure of contents as well as of deductive chains. We put forward a new reconstruction of the function-argument scheme and the quantification theory in Begriffsschrift. After that, we discuss the usual semantic interpretation of Begriffsschrift and show its inconsistencies with a rigorous reading of the text.     

Constructing reality with models

Scientific models are used to predict and understand the target phenomena in the reality. The kind of epistemic relationship between the model and the reality is always regarded by most of the philosophers as a representational one. I argue that, complementary to this representational role, some of the scientific models have a constructive role to play in altering and reconstructing the reality in a physical way. I hold that the idealized model assumptions and elements bestow the constructive force of a model on the reality. By recognizing the physical constructive force of some scientific models, the merit of these models could be judged by how successful they are in the reality construction, rather than by the traditional criterion of model-world representation.

     

Dopamine receptor D4 gene variation predicts preschoolers' developing theory of mind

Individual differences in preschoolers' understanding that human action is caused by internal mental states, or representational theory of mind (RTM), are heritable, as are developmental disorders such as autism in which RTM is particularly impaired. We investigated whether polymorphisms of genes affecting dopamine (DA) utilization and metabolism constitute part of the molecular basis of this heritability. Seventy-three 42- to 54-month-olds were given a battery of RTM tasks along with other task batteries that measured executive functioning and representational understanding more generally. Polymorphisms of the dopamine D4 receptor gene (DRD4) were associated with RTM performance such that preschoolers with shorter alleles outperformed those with one or more longer alleles. However, polymorphisms of the catechol-O-methyl transferase gene (COMT) and the dopamine transporter gene (DAT1) genes were not associated with children's RTM performance. Further tests showed that the association between DRD4 allele length and RTM performance was not attributable to a common association with executive functioning or representational understanding more generally. We conclude that DRD4 receptors, likely via their effects on frontal lobe development and functioning, may represent a neuromaturational constraint governing the stereotypical and universal trajectory of RTM development.     

Spinoza's PSR as a Principle of Clear and Distinct Representation

It is argued first, that Spinoza's Principle of Sufficient Reason (PSR) is best seen as an auxiliary premise and not as an axiom of the Ethics; second, that Spinoza held the PSR to be a self‐evident truth that indicates a necessary condition for clearly and distinctly representing the existence or non‐existence of a thing; and third, that this interpretation of Spinoza's PSR explains the near absence of the PSR within the demonstrations of the Ethics as well as the importance of the principle in Spinoza's thought.     

An Admissible Semantics for Propositionally Quantified Relevant Logics

The Routley-Meyer relational semantics for relevant logics is extended to give a sound and complete model theory for many propositionally quantified relevant logics (and some non-relevant ones). This involves a restriction on which sets of worlds are admissible as propositions, and an interpretation of propositional quantification that makes ∀ pA true when there is some true admissible proposition that entails all p-instantiations of A. It is also shown that without the admissibility qualification many of the systems considered are semantically incomplete, including all those that are sub-logics of the quantified version of Anderson and Belnap’s system E of entailment, extended by the mingle axiom and the Ackermann constant t. The incompleteness proof involves an algebraic semantics based on atomless complete Boolean algebras.