The purpose of this work is to analyse the cognitive process of the domain theories in terms of the measurement theory to develop a computational machine learning approach for implementing it. As a result, the relational data mining approach, the authors proposed in the preceding books, was improved. We present the approach as an implementation of the cognitive process as the measurement theory perceived. We analyse the cognitive process in the first part of the paper and present the theory and (...) method of the logically most powerful empirical theory discovery in the second. The theory is based on the notion of law-like rules, which conform to all the properties of laws of nature, namely generality, simplicity, maximum refutability and minimum number of parameters. This notion is defined for deterministic and probabilistic cases. Based on the method, the discovery system is developed. The system was successfully applied to many practical tasks. (shrink)

Evidence hierarchies are widely used to assess evidence in systematic reviews of medical studies. I give several arguments against the use of evidence hierarchies. The problems with evidence hierarchies are numerous, and include methodological shortcomings, philosophical problems, and formal constraints. I argue that medical science should not employ evidence hierarchies, including even the latest and most-sophisticated of such hierarchies.

Rosanna Keefe (`Vagueness by Numbers' MIND 107 1998 565--79) argues that theories of vagueness based upon fuzzy logic and set theory rest on a confusion: once we have assigned a number to an object to represent (for example) its *height*, there is no distinct purpose left to be served by assigning a number to the object to represent its *degree of tallness*; she claims that ``any numbers assigned in an attempt to capture the vagueness of `tall' do no more than (...) serve as another measure of height.'' In this paper I defend fuzzy theories of vagueness against Keefe's attack. I show that the numbers that we assign to objects to measure (for example) heights serve a quite distinct purpose from the numbers that fuzzy theories of vagueness assign to objects to measure degrees of tallness: the two sorts of assignment are both *formally* and *conceptually* distinct; the fuzzy approach to vagueness is well-motivated and free of confusion. (shrink)

Theories in the usual sense, as characterized by a language and a set of theorems in that language ("statement view"), are related to theories in the structuralist sense, in turn characterized by a set of potential models and a subset thereof as models ("non-statement view", J. Sneed, W. Stegmüller). It is shown that reductions of theories in the structuralist sense (that is, functions on structures) give rise to so-called "representations" of theories in the statement sense and vice versa, where representations (...) are understood as functions that map sentences of one theory into another theory. It is argued that commensurability between theories should be based on functions on open formulas and open terms so that reducibility does not necessarily imply commensurability. This is in accordance with a central claim by Stegmüller on the compatibility of reducibility and incommensurability that has recently been challenged by D. Pearce. (shrink)

We reexamine some of the classic problems connected with the use of cardinal utility functions in decision theory, and discuss Patrick Suppes's contributions to this field in light of a reinterpretation we propose for these problems. We analytically decompose the doctrine of ordinalism, which only accepts ordinal utility functions, and distinguish between several doctrines of cardinalism, depending on what components of ordinalism they specifically reject. We identify Suppes's doctrine with the major deviation from ordinalism that conceives of utility functions as (...) representing preference differences, while being non- etheless empirically related to choices. We highlight the originality, promises and limits of this choice-based cardinalism. (shrink)

The semantic function of the modifier 'together' in adnominal position has generally been considered to be that of preventing a distributive reading of the predicate. This paper will argue that this view is mistaken. The semantic function of adnominal 'together' rather is that of inducing a cumulative measurement of the group that together is associated with. The measurement-based analysis of adnominal together that I propose can also, with some modifications, be extended to adverbial occurrences of together.

Measurement theory in (Hand in The world through quantification. Oxford University Press, 2004; Suppes and Zinnes in Basic measurement theory. Psychology Series, 1962) is concerned with the assignment of number to objects of phenomena. Representational aspect of measurement is the extent to which the assigned numbers and arithmetics truthfully represent the underlying objects and their relations, and is characteristic to natural sciences; pragmatic aspect is the extent to which the assigned numbers serve purposes other than representing the underlying phenomena, and (...) is characteristic to social sciences (Hand in The world through quantification. Oxford University Press, 2004). Here I criticise this distinction of representational and pragmatic measurements on the basis of the earlier history of the periodic system of chemical elements, viewed in terms of a practice based philosophy of science by Rein Vihalemm. I argue that the periodic system, although a natural scientific system interpretable as a measurement system, has considerable, in Hand’s terms pragmatic, aspects in it. Those aspects include: tampering with the material measurement results for the theoretical ideal of systematicity; adopting metaphysical assumptions that cannot be experimentally proven, like individuality of elements and atomicity; theoretical construction of the abstract entity—element—as the reference of the measurement system amenable to mathematically elegant ordering. Contrary to Suppes and Zinnes (Basic measurement theory. Psychology Series, 1962) I also argue for the dependence of the assigned numerical system on the material-procedural base of the measurement. (shrink)

Shepard has supposed that the mind is stocked with innate knowledge of the world and that this knowledge figures prominently in the way we see the world. According to him, this internal knowledge is the legacy of a process of internalization; a process of natural selection over the evolutionary history of the species. Shepard has developed his proposal most fully in his analysis of the relation between kinematic geometry and the shape of the motion path in apparent motion displays. We (...) argue that Shepard has made a case for applying the principles of kinematic geometry to the perception of motion, but that he has not made the case for injecting these principles into the mind of the percipient. We offer a more modest interpretation of his important findings: that kinematic geometry may be a model of apparent motion. Inasmuch as our recommended interpretation does not lodge geometry in the mind of the percipient, the motivation of positing internalization, a process that moves kinematic geometry into the mind, is obviated. In our conclusion, we suggest that cognitive psychologists, in their embrace of internal mental universals and internalization may have been seduced by the siren call of metaphor. Key Words: apparent motion; imagery; internalization; inverse projection problem; kinematic geometry; measurement; metaphors of mind. (shrink)

Angle Grinder Man removes wheel locks from cars in London.1 He is something of a folk hero, saving drivers from enormous parking and towing fi nes, and has succeeded thus far in eluding the authorities. In spite of his cape and lamé tights, he is no fi ction; he’s a real person. By contrast, Pegasus, Zeus and the like are fi ctions. None of them is real. In fact, not only is each of them different from the others, all differ (...) from Angle Grinder Man. After all, Zeus throws thunderbolts but doesn’t remove boots from cars; unlike Superman, Angle Grinder Man couldn’t leap over a parked Mini, and all sightings suggest that he is a human being, not a horse. (shrink)

In Writing the Book of the World, Ted Sider argues that David Lewis’s distinction between those predicates which are ‘perfectly natural’ and those which are not can be extended so that it applies to words of all semantic types. Just as there are perfectly natural predicates, there may be perfectly natural connectives, operators, singular terms and so on. According to Sider, one of our goals as metaphysicians should be to identify the perfectly natural words. Sider claims that there is a (...) perfectly natural first-order quantifier. I argue that this claim is not justified. Quine has shown that we can dispense with first-order quantifiers, by using a family of ‘predicate functors’ instead. I argue that we have no reason to think that it is the first-order quantifiers, rather than Quine’s predicate functors, which are perfectly natural. The discussion of quantification is used to provide some motivation for a general scepticism about Sider’s project. Shamik Dasgupta’s ‘generalism’ and Jason Turner’s critique of ‘ontological nihilism’ are also discussed. (shrink)

The design, maintenance and use of all measuring instruments involve indicators of the thing, property, or event they are expected to detect or measure. And every quantitative indicator is a functional relation between imperceptible and perceptible facts—for example, the “flow” of time and the rotation of a watch’s hands. The empirical test of any quantitative hypothesis involves the translation of the unobservable variables occurring in it into the observable variable(s) in the indicator hypothesis. Yet, indicators have escaped the notice of (...) nearly all philosophers of science—a fact that may indicate unfamiliarity with laboratory work. (shrink)

The crucial point of the mind-body-problem appears to be that mental phenome- na (events, properties, states) seem to have features which at first sight make it impossible to integrate these phenomena into a naturalistic world view, i.e. to identify them with, or to reduce them to, physical phenomena.1 In the contemp- orary discussion, there are mainly two critical features which are important in this context. The first of these is the feature of intentional states, e.g. beliefs and desires, to have (...) a representational or semantic content. The problem of the naturalization of these states I will call the problem of intentionality. The second critical feature is the property of other mental states, e.g. perceptions and sensations, to have a qualitative aspect, i.e. that it is somehow, or feels in a characteristic way, to be in one of those states. The problem of the naturalization of these states is generally called the qualia-problem. (shrink)

One of the most unsettling problems in the history of philosophy examines how mathematics can be used to adequately represent the world. An influential thesis, stated by Eugene Wigner in his paper entitled "The Unreasonable Effectiveness of Mathematics in the Natural Sciences," claims that "the miracle of the appropriateness of the language of mathematics for the formulation of the laws of physics is a wonderful gift which we neither understand nor deserve." Contrary to this view, this thesis delineates and implements (...) a strategy to show that the applicability of mathematics is very reasonable indeed. I distinguish three forms of the problem of the applicability of mathematics, and focus on one I call the problem of uncanny accuracy: Given that the construction and manipulation of mathematical representations is pervaded by uncertainty, error, approximation, and idealization, how can their apparently uncanny accuracy be explained? I argue that this question has found no satisfactory answer because our rational reconstruction of scientific practice has not involved tools rich enough to capture the logic of mathematical modelling. Thus, I characterize a general schema of mathematical analysis of real systems, focusing on the selection of modelling assumptions, on the construction of model equations, and on the extraction of information, in order to address contextually determinate questions on some behaviour of interest. A concept of selective accuracy is developed to explain the way in which qualitative and quantitative solutions should be utilized to understand systems. The qualitative methods rely on asymptotic methods and on sensitivity analysis, whereas the quantitative methods are best understood using backward error analysis. The basic underpinning of this perspective is readily understandable across scientific fields, and it thereby provides a view of mathematical tractability readily interpretable in the broader context of mathematical modelling. In addition, this perspective is used to discuss the nature of theories, the role of scaling, and the epistemological and semantic aspects of experimentation. In conclusion, we argue for a method of local and global conceptual analysis that goes beyond the reach of the tools standardly used to capture the logic of science; on their basis, the applicability of mathematics finds itself demystified. (shrink)

In this paper we motivate and develop the analytic theory of measurement, in which autonomously specified algebras of quantities (together with the resources of mathematical analysis) are used as a unified mathematical framework for modeling (a) the time-dependent behavior of natural systems, (b) interactions between natural systems and measuring instruments, (c) error and uncertainty in measurement, and (d) the formal propositional language for describing and reasoning about measurement results. We also discuss how a celebrated theorem in analysis, known as Gelfand (...) representation, guarantees that autonomously specified algebras of quantities can be interpreted as algebras of observables on a suitable state space. Such an interpretation is then used to support (i) a realist conception of quantities as objective characteristics of natural systems, and (ii) a realist conception of measurement results (evaluations of quantities) as determined by and descriptive of the states of a target natural system. As a way of motivating the analytic approach to measurement, we begin with a discussion of some serious philosophical and theoretical problems facing the well-known representational theory of measurement. We then explain why we consider the analytic approach, which avoids all these problems, to be far more attractive on both philosophical and theoretical grounds. (shrink)

I defend a theory of mental representation that satisfies naturalistic constraints. Briefly, we begin by distinguishing (i) what makes something a representation from (ii) given that a thing is a representation, what determines what it represents. Representations are states of biological organisms, so we should expect a unified theoretical framework for explaining both what it is to be a representation as well as what it is to be a heart or a kidney. I follow Millikan in explaining (i) in terms (...) of teleofunction, explicated in terms of natural selection. -/- To explain (ii), we begin by recognizing that representational states do not have content, that is, they are neither true nor false except insofar as they both “point to” or “refer” to something, as well as “say” something regarding whatever it is they are about. To distinguish veridical from false representations, there must be a way for these separate aspects to come apart; hence, we explain (ii) by providing independent theories of what I call f-reference and f-predication (the ‘f’ simply connotes ‘fundamental’, to distinguish these things from their natural language counterparts). -/- Causal theories of representation typically founder on error, or on what Fodor has called the disjunction problem. Resemblance or isomorphism theories typically founder on what I’ve called the non-uniqueness problem, which is that isomorphisms and resemblance are practically unconstrained and so representational content cannot be uniquely determined. These traditional problems provide the motivation for my theory, the structural preservation theory, as follows. F-reference, like reference, is a specific, asymmetric relation, as is causation. F-predication, like predication, is a non-specific relation, as predicates typically apply to many things, just as many relational systems can be isomorphic to any given relational system. Putting these observations together, a promising strategy is to explain f-reference via causal history and f-predication via something like isomorphism between relational systems. -/- This dissertation should be conceptualized as having three parts. After motivating and characterizing the problem in chapter 1, the first part is the negative project, where I review and critique Dretske’s, Fodor’s, and Millikan’s theories in chapters 2-4. Second, I construct my theory about the nature of representation in chapter 5 and defend it from objections in chapter 6. In chapters 7-8, which constitute the third and final part, I address the question of how representation is implemented in biological systems. In chapter 7 I argue that single-cell intracortical recordings taken from awake Macaque monkeys performing a cognitive task provide empirical evidence for structural preservation theory, and in chapter 8 I use the empirical results to illustrate, clarify, and refine the theory. (shrink)

The sheer multitude of criteria of empirical significance has been taken as evidence that the pre-analytic notion being explicated is too vague to be useful. I show instead that a significant number of these criteria—by Ayer, Popper, Przełęcki, Suppes, and David Lewis, among others—not only form a coherent whole, but also connect directly to the theory of definition, the notion of empirical content as explicated by Ramsey sentences, and the theory of measurement; two criteria by Carnap and Sober are trivial, (...) but can be saved and connected to the other criteria by slight modifications. A corollary is that the ordinary language defense of Lewis, the conceptual arguments by Ayer and Popper, the theoretical considerations by Przełęcki, and the practical considerations by Suppes all apply to the same criterion or closely related criteria. Furthermore, the equivalence of some criteria allows for their individual justifications to be taken cumulatively and, together with the entailment relations between nonequivalent criteria, suggest criteria for general auxiliary assumptions, comparative criteria, and more liberal conceptions of observation. (shrink)

This paper attempts to show how the Bergsonian method works in philosophy on a concrete problem: how is it possible to measure sensations? Bergson explains that a sensation is not a psychological object, since what it is depends on what is, is doing to us. Then it is not only represented. It is lived. All sensation measuring is adding a new feeling to what is measured This specific feeling is in connection with nothing but duration. The first aim is to (...) show that this old epistemological problem is still attractive today. We don’t know exactly how to measure sensations neither with additive nor with ordinal measuring. But we want to explain also how the metaphysical intuition is working in the first Bergson’s book. It is not coming first. It is always coming after the examination of a specific scientific problem, since the philosophical insight is always emerging in an indirect way. It is impossible then to assert with Bergson that science is not thinking. It is just important to observe that science is not thinking alone. It needs the critical action of philosophy. (shrink)

The thesis studies the problem of measuring freedom of choice. It analyzes the concept of freedom of choice, discusses conditions that a measure should satisfy, and introduces a new class of measures that uniquely satisfy ten proposed conditions.

This paper discusses the importance of scientifically informed philosophy and philosophically informed science for improving extant approaches to the study of the mind, and in particular, of conscious awareness. By using the work of Patrick Suppes as an illustration, the paper shows that a balance between science and philosophy is needed not only to produce new insights, but also to prevent dogmatism.

This dissertation offers new proposals, based on a philosophical appraisal of scientific findings, to address old philosophical problems regarding our immediate acquaintance with time. It focuses on two topics: our capacity to determine the length of intervals and our acquaintance with the present moment. A review of the relevant scientific findings concerning these topics grounds the main contributions of this dissertation. Thus, this study introduces to the philosophical literature an empirically adequate way to talk about how the mind represents time (...) at the most fundamental level. In order to account for our immediate acquaintance with the duration of intervals, a theoretical framework for classifying clocks is used to explain why the representational outputs of the circadian clock and the stopwatch have metric structure. A philosophical analysis of these outputs is proposed to classify them and explain their properties. With respect to our immediate acquaintance with the present, a novel two-phase model of the present is proposed. This model shows that there are two forms of acquaintance with the present, which has consequences for contemporary debates in the philosophy of time. (shrink)

Detractors of temporal passage often argue that it is meaningless to say that time passes or flows, else time would have to pass at a rate of one second per second, which is in fact not a rate but a number, namely one. Several attempts have been recently made to avoid this conclusion, by retorting that one second per second is in fact not identical to one. This paper shows that this kind of reply is not satisfactory, because it demands (...) a substantive revision of the algebraic behaviour of quantities. (shrink)

We explicate representational content by addressing how representations that ex- plain intelligent behavior might be acquired through processes of Darwinian evo- lution. We present the results of computer simulations of evolved neural network controllers and discuss the similarity of the simulations to real-world examples of neural network control of animal behavior. We argue that focusing on the simplest cases of evolved intelligent behavior, in both simulated and real organisms, reveals that evolved representations must carry information about the creature’s environ- ments (...) and further can do so only if their neural states are appropriately isomor- phic to environmental states. Further, these informational and isomorphism rela- tions are what are tracked by content attributions in folk-psychological and cognitive scientific explanations of these intelligent behaviors. (shrink)

This dissertation consists of three parts. Part I is a defense of an artificial language methodology in philosophy and a historical and systematic defense of the logical empiricists' application of an artificial language methodology to scientific theories. These defenses provide a justification for the presumptions of a host of criteria of empirical significance, which I analyze, compare, and develop in part II. On the basis of this analysis, in part III I use a variety of criteria to evaluate the scientific (...) status of intelligent design, and further discuss confirmation, reduction, and concept formation. (shrink)

This paper is divided in four parts. In the first part we introduce the method of internal critique of philosophical theories by examination of their external consistency with scientific theories. In the second part two metaphysical and one epistemological postulate of Wittgenstein's Tractatus are made explicit and formally expressed. In the third part we examine whether Tractarian metaphysical and epistemological postulates (the independence of simple states of affairs, the unique mode of their composition, possibility of complete empirical knowledge) are externally (...) consistent with the theory of quantum mechanics. The result of the inquiry is negative: Tractarian postulates ought to be be revised. Relying on the result we approach the question of the empirical character of logic in the fourth part. The description of theoretical transformations of the notion of disjunction, in its ontological, epistemological, and logical sense, is a common element of in all parts of the text. The conjecture on the existence of different types of disjunctive connectives in the language of quantum mechanics concludes the paper. (shrink)