It is well known that the process of quantization—constructing a quantum theory out of a classical theory—is not in general a uniquely determined procedure. There are many inequivalent methods that lead to different choices for what to use as our quantum theory. In this paper, I show that by requiring a condition of continuity between classical and quantum physics, we constrain and inform the quantum theories that we end up with.

Artists and critics regularly enlist theory in the creation and assessment of artworks, but few have scrutinized the art theories themselves. Here, Daniel examines and critiques the norms, assumptions, historical conditions, and institutions that have framed the development and uses of art theory. Spurred by the theoretical claims of Arthur Danto, a leader in the philosophy of the avant-garde, Herwitz reexamines the art and theory of major figures in the avant-garde movement including John Cage, Jean-François Lyotard, Jean (...) Baudrillard, and Andy Warhol. (shrink)

In this paper, the methodological character of the internal point of view (IPoV) will be examined. That the IPoV is a method of legal philosophy is not disputed. What is disputed is which point of view a theorist needs to occupy in order to successfully theorise about law. However, the choice between different points of view is based on the participant the theory chooses to study. This means that the participant’s viewpoint is not a method of our theory (...) but an epistemic point through which the object of our study becomes available. If this is the case, different theories simply aim to study different participants. Hence, the criticisms raised on methodological grounds against theories not taking the IPoV or not taking the correct IPoV lose their force. Here, to demonstrate this point, the paper will offer a definition of method from a theory-construction perspective and examine the uses of the IPoV in Hart’s theory since it is the one that introduced the notion in legal philosophy. I will argue that the IPoV cannot play a methodological role for reaching main epistemic aims, but it can be a method for identifying the object of study. (shrink)

This paper focuses on the empiricism/realism debate. The initial portion of the paper is a short sketch of the nature of the enterprise of philosophy of science. What are taken as empiricist views on theory construction and experiment are described. The paper concludes with a simple recasting of the main points at issue in the empiricism/realism debate.

Theoretical realism claims—against instrumentalism, constructive empiricism, entity realism, and structural realism —that the theoretical terms of successful scientific theories refer to real entities in the world, even beyond the edge of direct observability, and the principles and laws in theories are true. Critical realism qualifies this view by employing the notion of truthlikeness, which in particular applies to theories containing approximations and idealizations. The notion of truthlikeness also allows a precise formulation of a charitable account of reference for theoretical terms: (...) unlike in Fregean approaches, a theory may refer to an entity even though its description is only approximately true or truthlike. This shows that rival or successive theories may refer to the same entities in spite of the phenomenon of meaning variance or incommensurability. Illustrations of the realism debates are given in the fields of astronomy, quantum mechanics, psychology, and economics. (shrink)

Science is a process, through which theoretical frameworks are developed, new phenomena defined and discovered, and properties of entities tested. The goal of this dissertation is to illustrate how high-energy physics exemplified the process of theory construction from the 1950s to 1970s, and the promising ways in which it can continue to do so today. The lessons learned from the case studies examined here can inform future physics, and may provide methodological clues as to the best way forward (...) today. I examine the discovery of parity nonconservation in weak interactions, the emergence of Yang-Mills theories as the foundation of the standard model, and contemporary precision testing of quantum electrodynamics. In each of these cases, I examine the details of the physicists’ practice to draw conclusions regarding the epistemology behind successful episodes of theory construction. I reconstruct the methodology of each episode in order to find generalizable lessons to apply to contemporary issues at the frontiers of the search for a theory of quantum gravity. In order to understand the many moving parts in each case study, I introduce a new terminology to distinguish the “parts” of a scientific discipline, inspired by the literature on scientific modelling. These terms—theoretical framework, dynamical model, phenomenological model, experiment, and mathematical tools—are meant to aid in investigating other quantitative scientific disciplines beyond high-energy physics. Ultimately, high-energy physics is at its best when various avenues of theoretical ideas are being pursued, spurring the development of new mathematical techniques to use as tools, and new ideas are quickly and vigorously tested experimentally. Proliferation of new ideas in response to theoretical developments is characteristic of the era of construction of the standard model, and is still ongoing in precision testing of quantum electrodynamics today. (shrink)

One of the major philosophical problems in physical sciences is what criteria should determine how scientific theories are selected and justified in practice and whether, in describing observable physical phenomena, such theories are effectively constrained to be unique. This book studies the example of a particular theory, the S-matrix theory. The S-matrix program was initiated by Heisenberg to deal with difficulties encountered in quantum field theories in describing particular phenomena. Since then, each theory has at different times (...) been favored as the explanation of observed phenomena. Certainly the S-matrix theory was adequate, feasible and fertile. However, the quantum field theory interpretation is now widely accepted and the study of alternative theories is all but abandoned. By examining the philosophy which influenced the turns in this story, the author explains how an adequate and viable theory fell out of favor and concludes with a critique of different methodologies in the history of science. (shrink)

Almost a half century after the publication of the Philosophical Investigations, it seems important to ask why Wittgenstein"s ideas have had so little impact on contemporary discussions in the philosophy of mind. A clue can be discerned by what Georges Rey says in the introduction to his book on contemporary philosophy of mind. Rey announces at the outset to his readers that his treatment of the mind aspires to be continuous with science, not with literature. He explains that there is (...) a recent resurgence of interest in the philosophy of mind with "explanatory questions� about what sort of thing a pain, a thought, a mental image, a desire, or an emotion is. Neither materialism nor dualism provides a "serious� theory about the mind, which will give us a "serious� explanation of mental phenomena. According to Rey, although old-style grammatical investigations may have given us a "heightened sensitivity to complexities and nuances of our ordinary mental talk,� they "tended to occur at the expense of further theorizing about the mental phenomena themselves� (Rey, 4). (shrink)

Constructive and intuitionistic Zermelo-Fraenkel set theories are axiomatic theories of sets in the style of Zermelo-Fraenkel set theory (ZF) which are based on intuitionistic logic. They were introduced in the 1970's and they represent a formal context within which to codify mathematics based on intuitionistic logic. They are formulated on the basis of the standard first order language of Zermelo-Fraenkel set theory and make no direct use of inherently constructive ideas. In working in constructive and intuitionistic ZF we (...) can thus to some extent rely on our familiarity with ZF and its heuristics. -/- Notwithstanding the similarities with classical set theory, the concepts of set defined by constructive and intuitionistic set theories differ considerably from that of the classical tradition; they also differ from each other. The techniques utilised to work within them, as well as to obtain metamathematical results about them, also diverge in some respects from the classical tradition because of their commitment to intuitionistic logic. In fact, as is common in intuitionistic settings, a plethora of semantic and proof-theoretic methods are available for the study of constructive and intuitionistic set theories. -/- The entry introduces the main features of Constructive and Intuitionistic ZF and offers links to the relevant bibliography. (shrink)

This paper examines the process that led to the identification of chromosomes as carriers of genes. It focuses on the role played by explanations in theory construction and analyzes the status given to the entities and processes introduced through such explanations. I argue that the theory of the gene was a functional explanation that, as such, could not offer decisive support for the existence of genes. However, I maintain that functional explanations set the conditions of identification needed (...) to discover the physical structure that has a certain function in a given system. In this case, the theory of the gene helped to select the chromosomes as the physical structure responsible for the Mendelian segregation of genes. In its turn, the theory of chromosome inheritance helped to reduce the permissive character of the theory of the gene, regulating its further development. (shrink)

The Lovász local lemma (LLL) is a technique from combinatorics for proving existential results. There are many different versions of the LLL. One of them, the lefthanded local lemma, is particularly well suited for applications to two player games. There are also constructive and computable versions of the LLL. The chief object of this thesis is to prove an effective version of the lefthanded local lemma and to apply it to effectivise constructions of non-repetitive sequences.The second goal of this thesis (...) is to categorize some classes of cohesive powers. We completely describe both the isomorphism types of cohesive powers of equivalence structures and injection structures, as well as clarify the relationship between these cohesive powers and their original structures. We also describe the finite condensation of cohesive powers of computable copies of the integers as a linear order by cohesive sets whose complement are computably enumerable.Finally, we investigate the possibility of decomposing problems in the Weihrauch degrees into a product of first order part and second order part. We give a preliminary result in this direction.Abstract prepared by Daniel Mourad.E-mail: daniel.mourad@uconn.eduURL: https://daniel-mourad.scholar.uconn.edu/wp-content/uploads/sites/2530/2023/06/ThesisFinalWithRevisio ns-2.pdf. (shrink)

Despite considerable recent attention, important features of Schelling’s famous work, the 1809 treatise On the Essence of Human Freedom, remain under-explored. One of these is the methodological dualism which Schelling advocates at the very start of the text. Schelling aims to weld together into a coherent position a first-person phenomenology of freedom and an explanation achieved by locating freedom within a conceptual system articulating the basic structure of the world. Most interpretations of the Freiheitsschrift, however, concentrate on only one of (...) these approaches, thus foreshortening their understanding of Schelling’s enterprise. The article explores this tendency towards one-sidedness by considering two sophisticated recent interpretations of the work, taking opposite tacks. One, by Markus Gabriel, focuses on the distinctive, self-reflexive metaphysics which Schelling proposes, while the other, by Sebastian Gardner, claims that Schelling’s ontology is extrapolated entirely from his account of our moral consciousness, a procedure pioneered by Kant. The article argues that neither of these interpretations can do full justice to Schelling’s project. Furthermore, although the Freiheitsschrift is not entirely successful, and hence points towards later developments in Schelling’s thinking, its treatment of freedom is superior to the ‘soft naturalism’ pioneered by Peter Strawson, and currently influential across various philosophical traditions. (shrink)

In this paper, I address the issue of to what extent the theory-dominated view of scientific experimentation describes scientific practice. I rely on a time period from the history of High Energy Physics (HEP), which spans from early 1960s to early 1970s. I argue that theory-ladenness of experimentation (TLE), which grounds theory-dominated conception of experimentation is too coarse-grained inasmuch as it prevents us from seeing the correct relationship that exists between theorizing and experimenting in the scientific practice (...) of HEP. I articulate that in order to be able to get a better understanding of scientific practice, a revision needs to be made in the general conception of TLE. I propose that such a revision is possible if we abandon the commitment that experimentation is always driven by theory. I consider what I call “theory-drivenness” of experimentation (TDE) as a form of theory-ladenness, which amounts to the claim that experiments, from their initial design up to their final stage, are carried out under the framework of a prevailing theory for the purpose of providing definite answers to specific questions already posed by the same theory. I argue that electron-proton inelastic scattering experiments in HEP were firstly carried out without having any recourse to a phenomenological model. From here, I claim that these experiments are not theory-laden in the sense implied by TDE. On the other hand, I argue, inelastic scattering experiments are theory-laden due to the fact that the scientists who perform them are committed to background theories of HEP. That is, I admit the validity of TLE as a philosophical claim, but I attribute a weaker status to it as opposed to its general conception. That is, I propose to differentiate TDE from TLE by claiming that TLE does not entail TDE. (shrink)

In Constructics: A Methodology of Theory Construction, author Shokichi Uto introduces a systematic methodology called "Constructics." By utilizing this theory, individuals can create, construct, and effectively establish their own philosophical theory.

Robert Merton's essays on theories of the middle range and his essays on functional explanation and the structural approach are among the most influential in the history of sociology. But their import is a puzzle. He explicitly allied himself with some of the most extreme scientistic formalists and contributed to and endorsed the Columbia model of theory construction. But Merton never responded to criticisms by Ernest Nagel of his arguments or acknowledged the rivalry between Lazarsfeld and Herbert Simon, (...) rarely cited the philosophical and methodological literature, and responded to critics with ambiguous concessions, leaving the Mertonian legacy profoundly ambiguous. Key Words: Robert Merton • Paul Lazarsfeld • theory construction • middle range theory • causal modeling • Émile Durkheim. (shrink)

In recent years several proposals to view reasoning with legal cases as theory construction have been advanced. The most detailed of these is that of Bench-Capon and Sartor, which uses facts, rules, values and preferences to build a theory designed to explain the decisions in a set of cases. In this paper we describe CATE (CAse Theory Editor), a tool intended to support the construction of theories as described by Bench-Capon and Sartor, and which produces (...) executable code corresponding to a theory. CATE has been used in a series of experiments intended to explore a number of issues relating to such theories, including how the theories should be constructed, how sets of values should be compared, and the representation of cases using structured values as opposed to factors. (shrink)

This paper examines the hypothesis that analogies may play a role in the generation of new ideas that are built into new explanatory theories. Methods of theory construction by analogy, by failed analogy, and by modular components from several analogies are discussed. Two different analyses of analogy are contrasted: direct mapping (Mary Hesse) and shared abstraction (Michael Genesereth). The structure of Charles Darwin's theory of natural selection shows various analogical relations. Finally, an "abstraction for selection theories" is (...) shown to be the structure of a number of theories. (shrink)

ABSTRACT Theories of sets such as Zermelo Fraenkel set theory are usually presented as the combination of two distinct kinds of principles: logical and set-theoretic principles. The set-theoretic principles are imposed ‘on top’ of first-order logic. This is in agreement with a traditional view of logic as universally applicable and topic neutral. Such a view of logic has been rejected by the intuitionists, on the ground that quantification over infinite domains requires the use of intuitionistic rather than classical logic. (...) In the following, I consider constructive set theories, which use intuitionistic rather than classical logic, and argue that they manifest a distinctive interdependence or an entanglement between sets and logic. In fact, Martin-Löf type theory identifies fundamental logical and set-theoretic notions. Remarkably, one of the motivations for this identification is the thought that classical quantification over infinite domains is problematic, while intuitionistic quantification is not. The approach to quantification adopted in Martin-Löf’s type theory is subtly interconnected with its predicativity. I conclude by recalling key aspects of an approach to predicativity inspired by Poincaré, which focuses on the issue of correct quantification over infinite domains and relate it back to Martin-Löf type theory. (shrink)

The central thesis of this article is that measurement units are theoretical concepts because measurement presumes theoretical definition. New theoretical constructs can be defined in terms of algebraic combinations of previously defined measurement units. Physics has developed an impressive hierarchical knowledge structure on this basis. The unitless measures favored by psychology preclude the generation of such a knowledge hierarchy. It also leads to definitions of reliability and validity in correlational terms which can result in inaccurate measurement. Psychology has long used (...) time as a fundamental unit. Adoption of a second measurement unit would enable construction of a psychological knowledge hierarchy to begin. (shrink)

Introductory background -- Paradigms in the arts and social sciences -- General-integrative paradigms in psychology -- Particular-specific paradigms in psychology -- Operational paradigms in psychology -- Conclusion.

In this collection of previously published essays, Sally Haslanger draws on insights from feminist and critical race theory and on the resources of contemporary analytic philosophy to develop the idea that gender and race are positions ...

Andrews et al. present a form of instrumental adaptationism that is designed to test the hypothesis that a given trait is an adaptation. This epistemological commitment aims to make clear statements about behavioural natural kinds. The instrumental logic is sound, but it is the limits of our empirical imagination that can cause problems for theory construction.

This study explores the dynamic feature of organizational citizenship behaviors under the condition of challenge stressors, as this has not been addressed by previous research. Combining the cybernetic theory of stress and social exchange theory, this study builds a dynamic computational model regarding the circular causality between challenge stressors and organizational citizenship behaviors. By conducting a series of simulation experiments, we validated and demonstrated important questions regarding organizational citizenship behaviors. Specifically, when both the initial value of challenge stressors (...) and the importance of challenge appraisal are higher, organizational citizenship behaviors tend to show a sharped inverted U shape at the early stage. When both the equilibrium level of job satisfaction and the initial value of challenge stressors are higher, organizational citizenship behaviors will show an inverted N shape over time. The number and frequency of assigned challenge tasks have an interactive effect on the accumulation of organizational citizenship behaviors within a period. Our theory contributes to identifying the dynamic relationship between challenge stressors and organizational citizenship behaviors. Findings from dynamic computational theory can offer suggestions for managers to encourage employees’ engagement in organizational citizenship behaviors. (shrink)