In this paper, I argue that Constructive Empiricism (CE) is ambiguous between two interpretations: CE as a normative epistemology of science and CE as a descriptive philosophy of science. When they present CE, constructive empiricists write as if CE is supposed to be more than a normative epistemology of science and that it is meant to be responsible to actual scientific practices. However, when they respond to objections, constructive empiricists fall back on a strictly normative interpretation of CE. This ambiguity (...) seems to make CE immune to objections in a rather ad hoc fashion. (shrink)

It is well known that the process of scientific inquiry, according to Peirce, is drivenby three types of inference, namely abduction, deduction, and induction. What isbehind these labels is, however, not so clear. In particular, the common identificationof abduction with Inference to the Best Explanation (IBE) begs the question,since IBE appears to be covered by Peirce's concept of induction, not that of abduction.Consequently, abduction ought to be distinguished from IBE, at least on Peirce's account. The main aim of the paper, (...) however, is to show that this distinction is most relevant with respect to current problems in philosophy of science and epistemology (like attempts to supply suitable notions of realism and truth as well as related concepts like coherence and unification). In particular, I also try to show that (and in what way) Peirce's inferential triad can function as a method that ensures both coherence and correspondence. It is in this respect that his careful distinction between abduction and induction (or IBE) ought to be heeded. (shrink)

The concern of this paper is not with the truth of any particular realist or anti-realist view, but rather with determining what it is to be a realist or anti-realist in the first place. While much skepticism has been voiced in recent years about the viability of such a project, my goal is to articulate interesting and informative conditions whereby any view in any domain of experience can count as either a realist or an anti-realist position.

Despite its profound influence on modern thought, psychoanalysis remains peripheral to the concerns of most analytic philosophers. I suggest that one of the main reasons for this is intellectual reservation, and explore some philosophical arguments against psychoanalysis that may be contributing to such reservation. Specifically, I address the objections that psychoanalytic theories are unfalsifiable, that the purported findings of psychoanalysis are readily explained as due to suggestion, that there is a troubling lack of consensus in psychoanalytic interpretation, and that there (...) is a lack of support for psychoanalysis within mainstream science. I also consider a major obstacle to the acceptance of contemporary defenses of psychoanalysis: the “bad lot” argument against Inference to the Best Explanation. My conclusion is that, though these objections have some merit, they are not sufficient reasons for not taking psychoanalytic ideas seriously. (shrink)

This pair of articles provides a critical commentary on contemporary approaches to statistical mechanical probabilities. These articles focus on the two ways of understanding these probabilities that have received the most attention in the recent literature: the epistemic indifference approach, and the Lewis-style regularity approach. These articles describe these approaches, highlight the main points of contention, and make some attempts to advance the discussion. The first of these articles provides a brief sketch of statistical mechanics, and discusses the indifference approach (...) to statistical mechanical probabilities. (shrink)

This pair of articles provides a critical commentary on contemporary approaches to statistical mechanical probabilities. These articles focus on the two ways of understanding these probabilities that have received the most attention in the recent literature: the epistemic indifference approach, and the Lewis-style regularity approach. These articles describe these approaches, highlight the main points of contention, and make some attempts to advance the discussion. The second of these articles discusses the regularity approach to statistical mechanical probabilities, and describes some areas (...) where further research is needed. (shrink)

http://dx.doi.org/10.5007/1808-1711.2012v16n2p341 Current supervaluation models of opinion, notably van Fraassen’s (1984; 1989; 1990; 1998; 2005; 2006) use of intervals to characterize vague opinion, capture nuances of ordinary reflection which are overlooked by classic measure theoretic models of subjective probability. However, after briefly explaining van Fraassen’s approach, we present two limitations in his current framework which provide clear empirical reasons for seeking a refinement. Any empirically adequate account of our actual judgments must reckon with the fact that these are typically neither uniform (...) through the range of outcomes we take to be serious possibilities nor abrupt at the edges. (shrink)

Recent work on inference to the best explanation has come to an impasse regarding the proper way to coordinate the theoretical virtues in explanatory inference with probabilistic confirmation theory, and in particular with aspects of Bayes's Theorem. I argue that the theoretical virtues are best conceived heuristically and that such a conception gives us the resources to explicate the virtues in terms of ceteris paribus theorems. Contrary to some Bayesians, this is not equivalent to identifying the virtues with likelihoods or (...) priors per se; the virtues may be more accessible epistemically than likelihoods or priors. I then prove a ceteris paribus theorem regarding theoretical consilience, use it to correct a recent application of Reichenbach's common cause principle, and apply it to a test case of scientific reasoning. Explanation and confirmation The heuristic conception of theoretical virtues Abduction and the accessibility of explanatory power Evidential and theoretical consilience A test case: gravitational lensing Conclusion Thus natural science appears completely to lose from sight the large and general questions; but all the more splendid is the success when, groping in the thicket of special questions, we suddenly find a small opening that allows a hitherto undreamt of outlook on the whole. (L. Boltzmann, Theoretical Physics and Philosophical Problems). (shrink)

Explaining phenomena is a primary goal of science. Consequently, it is unsurprising that gaining a proper understanding of the nature of explanation is an important goal of science education. In order to properly understand explanation, however, it is not enough to simply consider theories of the nature of explanation. Properly understanding explanation requires grasping the relation between explanation and understanding, as well as how explanations can lead to scientific knowledge. This article examines the nature of explanation, its relation to understanding, (...) and how explanations are used to generate scientific knowledge via inferences to the best explanation. Studying these features and applications of explanation not only provides insight into a concept that is important for science education in its own right, but also sheds light on an aspect of recent debates concerning the so-called consensus view of nature of science (NOS). Once the relation between explanation, understanding, and knowledge is clear, it becomes apparent that science is unified in important ways. Seeing this unification provides some support for thinking that there are general features of NOS of the sort proposed by the consensus view and that teaching about these general features of NOS should be a goal of science education. (shrink)

For forty years I have argued that we urgently need to bring about a revolution in academia so that the basic task becomes to seek and promote wisdom. How did I come to argue for such a preposterously gigantic intellectual revolution? It goes back to my childhood. From an early age, I desired passionately to understand the physical universe. Then, around adolescence, my passion became to understand the heart and soul of people via the novel. But I never discovered how (...) to tell stories in order to tell the truth. So, having failed to become a physicist, and failed to become a novelist, I studied philosophy at Manchester University and then, in six weeks of inspiration, discovered that the riddle of the universe is the riddle of our desires. Philosophy should be about how to live, and should not just do conceptual analysis. I struggled to reconcile the two worlds of my childhood ambitions, the physical universe and the human world. I decided they could be reconciled with one another if one regarded the two accounts of them, physics and common sense, as myths, and not as literal truths. But then I discovered Karl Popper: truth is too important to be discarded. I revised my ideas: physics seeks to depict truly only an aspect of all that there is; in addition, there is the aspect of the experiential features of the world as we experience it. I was immensely impressed with Popper’s view that science makes progress, not by verification, but by ferocious attempted falsification of theories. I was impressed, too, with his generalization of this view to form critical rationalism. Then it dawned on me: Popper’s view of science is untenable because it misrepresents the basic aim of science. This is not truth as such; rather it is explanatory truth – truth presupposed to be unified or physically comprehensible. We need, I realized, a new conception of science, called by me aim-oriented empiricism, which acknowledges the real, problematic aims of science, and seeks to improve them. Then, treading along a path parallel to Popper’s, I realized that aim-oriented empiricism can be generalized to form a new conception of rationality, aim-oriented rationality, with implications for all that we do. This led on to a new conception of academic inquiry. From the Enlightenment we have inherited the view that academia, in order to help promote human welfare, must first acquire knowledge. But this is profoundly and damagingly irrational. If academia really does seek to help promote human welfare, then its primary tasks must be to articulate problems of living, and propose and critically assess possible solutions – possible actions, policies, political programmes, philosophies of life. The pursuit of knowledge is secondary. Academia needs to promote cooperatively rational problem solving in the social world, and needs to help humanity improve individual and institutional aims by exploiting aim-oriented rationality, arrived at by generalizing the real progress-achieving methods of science. We might, as a result, get into life some of the progressive success that is such a marked feature of science. Thus began my campaign to promote awareness of the urgent need for a new kind of academic inquiry rationally devoted to helping humanity create a wiser world. (shrink)

We propose a formal framework to examine the relationship between models and observations. To make our analysis precise,models are reduced to first-order theories that represent both terminological knowledge – e.g., the laws that are supposed to regulate the domain under analysis and that allow for explanations, predictions, and simulations – and assertional knowledge – e.g., information about specific entities in the domain of interest. Observations are introduced into the domain of quantification of a distinct first-order theory that describes their nature (...) and their organization and takes track of the way they are experimentally acquired or intentionally elaborated. A model mainly represents the theoretical knowledge or hypotheses on a domain, while the theory of observations mainly represents the empirical knowledge and the given experimental practices. We propose a precise identity criterion for observations and we explore different links between models and observations by assuming a degree of independence between them. By exploiting some techniques developed in the field of social choice theory and judgment aggregation, we sketch some strategies to solve inconsistencies between a given set of observations and the assumed theoretical hypotheses. The solutions of these inconsistencies can impact both the observations – e.g., the theoretical knowledge and the analysis of the way observations are collected or produced may highlight some unreliable sources – and the models – e.g. empirical evidences may invalidate some theoretical laws. (shrink)

The very last of words of Naming and Necessity are ‘The third lecture suggests that a good deal of what contemporary philosophy regards as mere physical necessity is actually necessary tout court. The question how far this can be pushed is one I leave for further work.’ Kripke (1980). To my knowledge he never conducted that further work; moreover, no one following him has wished to take up the baton either. Herein, I argue that in general, physical necessity is neither (...) reducible to, nor implies, tout court necessity. Furthermore, it is demonstrated that even if Kripke’s speculations are restricted to a subset of the physical necessities where it might be granted that all such are necessary tout court, physical necessity is still not reducible to tout court necessity. (shrink)

I begin by distinguishing two notions of model, the notion of a truth-making structure and the notion of a mathematical model (in one specific sense). I then argue that although the models of the semantic view have often been taken to be both truth-making structures and mathematical models, this is in part due to a failure to distinguish between two ways of truth-making; in fact, the talk of truth-making is best excised from the view altogether. The result is a version (...) of the semantic view which is better supported by the direct evidence offered for it, better equipped to achieve its avowed aims, and, I think, closer to the intentions of the original proponents of the view in many ways, despite some of their own declarations to the contrary. (shrink)

I consider the question of how literally one can construe the “gauge argument,” which is the canonical means of understanding the putatively central import of local gauge symmetry principles for fundamental physics. As I argue, the gauge argument must be afforded a heuristic reading. Claims to the effect that the argument reflects a deep “logic of nature” must, for numerous reasons I discuss, be taken with a grain of salt.

I consider the question of how literally one can construe the “gauge argument,” which is the canonical means of understanding the putatively central import of local gauge symmetry principles for fundamental physics. As I argue, the gauge argument must be afforded a heuristic reading. Claims to the effect that the argument reflects a deep “logic of nature” must, for numerous reasons I discuss, be taken with a grain of salt.

Analyses of dispositional ascriptions in terms of conditional statements famously confront the problems of finks and masks. We argue that conditional analyses of dispositions, even those tailored to avoid finks and masks, face five further problems. These are the problems of: (i) Achilles' heels, (ii) accidental closeness, (iii) comparatives, (iv) explaining context sensitivity, and (v) absent stimulus conditions. We conclude by offering a proposal that avoids all seven of these problems.

Antirealist explanations for the success of science have been widely discussed up to today and have received several formulations. This makes it rather complex to assess them all. The objective of this paper is to help understand and assess the proposal of an anti-realist explanation for science’s success. I show the core assumptions contained in the several anti-realist explanations, how they relate to each other, and which background assumptions are required in order to warrant each position. I argue that, since (...) the many anti-realist explanations are only plausible when maintained conjointly, there is essentially only one anti-realist account to science’s success: scientists find successful (and even fertile) theories because they use methods of theory-selection and theory-construction that preserve only successful theories; the fact that these theories prove themselves successful will not be mysterious if it is conjointly assumed that false theories are often empirically successful. This explanation relies on a semantic and a methodological view concerning the probabilistic relation between success and truth, and also on an epistemic stance regarding the limits of explanatory reasoning. The crucial divergence between realist and antirealist accounts of science's success lies in how probable they assess the possibility of a theory to be false and empirically successful. Since the stale-mate between realist and antirealist explanations results from a prior disagreement about the probabilistic connection between success and truth (or the underdetermination thesis), the challenge raised by the antirealist explanation to realism becomes equivalent to the traditional charge that the no-miracles argument is circular. (shrink)

Simpson's Paradox is introduced and analysed via the mishaps of a researcher who at first falls afoul of the traps Simpson-reversals can set, and then he learns to exploit those traps to advantage. (Note: An error in the treatment of the Sure Thing Principle is corrected in "Simpson's Paradox: A Logically Benign, Empirically Treacherous Hydra").

According to a widely shared generic conception of inferential justification—‘the standard conception’—an agent is inferentially justified in believing that p only if she has antecedently justified beliefs in all the non-redundant premises of a good argument for p. This conception tends to serve as the starting-point in contemporary debates about the nature and scope of inferential justification: as neutral common ground between various competing, more specific, conceptions. But it’s a deeply problematic starting-point. This paper explores three questions that haven’t been (...) given the attention they deserve, that complicate the application of the standard conception to cases, and that reveal it to be underspecified at the core—in ways that aren’t resolved but inherited by more specific (extant) versions of it. The goal isn’t to answer the questions, but to articulate them, explain what turns on them, and invite a critical re-examination of the standard conception. (shrink)

The semantical structures called T x W frames were introduced in (Thomason, 1984) for the Ockhamist temporal-modal language, $[Unrepresented Character]_{o}$ , which consists of the usual propositional language augmented with the Priorean operators P and F and with a possibility operator ◇. However, these structures are also suitable for interpreting an extended language, $[Unrepresented Character]_{so}$ , containing a further possibility operator $\lozenge^{s}$ which expresses synchronism among possibly incompatible histories and which can thus be thought of as a cross-history 'simultaneity' operator. (...) In the present paper we provide an infinite set of axioms in $[Unrepresented Character]_{so}$ , which is shown to be strongly complete for T x W-validity. Von Kutschera (1997) contains a finite axiomatization of T x W-validity which however makes use of the Gabbay Irreflexivity Rule (Gabbay, 1981). In order to avoid using this rule, the proof presented here develops a new technique to deal with reflexive maximal consistent sets in Henkin-style constructions. (shrink)

The word ‘probability’ in ordinary language has two different senses, here called inductive and physical probability. This paper examines the concept of inductive probability. Attempts to express this concept in other words are shown to be either incorrect or else trivial. In particular, inductive probability is not the same as degree of belief. It is argued that inductive probabilities exist; subjectivist arguments to the contrary are rebutted. Finally, it is argued that inductive probability is an important concept and that it (...) is a mistake to try to replace it with the concept of degree of belief, as is usual today. (shrink)

I conceive of inductive logic as a project of explication. The explicandum is one of the meanings of the word `probability' in ordinary language; I call it inductive probability and argue that it is logical, in a certain sense. The explicatum is a conditional probability function that is specified by stipulative definition. This conception of inductive logic is close to Carnap's, but common objections to Carnapian inductive logic (the probabilities don't exist, are arbitrary, etc.) do not apply to this conception.

Why should interpretation of conceptual schemes and practices across traditions work at all? In this paper we present the following necessary conditions of possibility for interpretation in comparative and Chinese philosophy: the interpreter must presuppose that there are mutually recognizable human practices; the interpreter must presuppose that “the other” is, on the whole, sincere, consistent, and right; the interpreter must be committed to certain epistemic virtues. Some of these necessary conditions are consistent with the fact that interpretation is not thwarted (...) by the “danger” of relativism or of incommensurability. Some other conditions are suggestive of reorientations of methodologies of comparative and Chinese philosophy. (shrink)

It is usually supposed that the central limit theorem explains why various quantities we find in nature are approximately normally distributed—people's heights, examination grades, snowflake sizes, and so on. This sort of explanation is found in many textbooks across the sciences, particularly in biology, economics, and sociology. Contrary to this received wisdom, I argue that in many cases we are not justified in claiming that the central limit theorem explains why a particular quantity is normally distributed, and that in some (...) cases, we are actually wrong. 1 Introduction2 Normal Distributions and the Central Limit Theorem2.1 Normal distributions2.2 The central limit theorem2.3 Terminology3 Explaining Normality3.1 Loaves of bread3.2 Varying variances and probability densities3.3 Tensile strengths and problems with summation3.4 Products of factors and log-normal distributions3.5 Transforming factors and sub-factors3.6 Transformations of quantities3.7 Quantitative genetics3.8 Inference to the best explanation4 Maximum Entropy Explanations5 Conclusion. (shrink)

Syntactic approaches in the philosophy of science, which are based on formalizations in predicate logic, are often considered in principle inferior to semantic approaches, which are based on formalizations with the help of structures. To compare the two kinds of approach, I identify some ambiguities in common semantic accounts and explicate the concept of a structure in a way that avoids hidden references to a specific vocabulary. From there, I argue that contrary to common opinion (i) unintended models do not (...) pose a significant problem for syntactic approaches to scientific theories, (ii) syntactic approaches can be at least as language-independent as semantic ones, and (iii) in syntactic approaches, scientific theories can be as well connected to the world as in semantic ones. Based on these results, I argue that syntactic and semantic approaches fare equally well when it comes to (iv) ease of application, (v) accommodating the use of models in the sciences, and (vi) capturing the theory-observation relation. (shrink)

The debate between critics of syntactic and semantic approaches to the formalization of scientific theories has been going on for over 50 years. I structure the debate in light of a recent exchange between Hans Halvorson, Clark Glymour, and Bas van Fraassen and argue that the only remaining disagreement concerns the alleged difference in the dependence of syntactic and semantic approaches on languages of predicate logic. This difference turns out to be illusory.

Celem artykułu jest częściowe uzasadnienie negacji tezy, którą nazywam tezą o genezie realizmu strukturalnego. Dotyczy ona postulowanych w obrębie pewnej metafilozoficznej narracji związków między współczesnymi stanowiskami zwanymi epistemicznym realizmem strukturalnym i ontycznym realizmem strukturalnym a poglądami filozofów z początku XX wieku. W artykule rekonstruuję wymienione dwa stanowiska, postulowane związki, jakie mają one mieć z dwoma filozofami, Henri Poincarém oraz Ernstem Cassirerem, a następnie przedstawiam, dlaczego te postulowane związki są nietrafnie rozpoznane. Niesie to za sobą wnioski dotyczące swoistości wymienionych stanowisk oraz (...) pojęć obiektywności i rzeczywistości w ich kontekście. (shrink)

I defend the Received View on scientific theories as developed by Carnap, Hempel, and Feigl against a number of criticisms based on misconceptions. First, I dispute the claim that the Received View demands axiomatizations in first order logic, and the further claim that these axiomatizations must include axioms for the mathematics used in the scientific theories. Next, I contend that models are important according to the Received View. Finally, I argue against the claim that the Received View is intended to (...) make the concept of a theory more precise. Rather, it is meant as a generalizable framework for explicating specific theories. (shrink)

I provide an explicit formulation of empirical adequacy, the central concept of constructive empiricism, and point out a number of problems. Based on one of the inspirations for empirical adequacy, I generalize the notion of a theory to avoid implausible presumptions about the relation of theoretical concepts and observations, and generalize empirical adequacy with the help of approximation sets to allow for lack of knowledge, approximations, and successive gain of knowledge and precision. As a test case, I provide an application (...) of these generalizations to a simple interference phenomenon. (shrink)

I show that the central notion of Constructive Empiricism, empirical adequacy, can be expressed syntactically and specifically in the Received View of the logical empiricists. The formalization shows that the Received View is superior to Constructive Empiricism in the treatment of theories involving constants or functions from observable to unobservable objects. It also suggests a formalization of ‘full empirical informativeness’ in Constructive Empiricism.

In a recent paper, Appley and Stoutenburg present two new objections to Explanationist Evidentialism : the Regress Objection and the Threshold Objection. In this paper, I develop a version of EE that is independently plausible and empirically grounded, and show that it can meet Appley and Stoutenburg’s objections.

One of the modern approaches to the laws of nature regards them as relations between universals. The most advanced version of such an approach has been presented by D. M. Armstrong. The aim of this paper is to reconstruct and interpret Armstrong’s conception but also to evaluate his theory and to point out what expectations from it are inadequate. My point of reference are two objections to Armstrong’s ideas, namely the problems of identification and inference. I claim that Armstrong’s theory (...) in general and his response to both problems in particular are based on some fundamental metaphysical principles, namely: the principle of identity for universals, the principle of non-contradiction, the relational principle of the indiscernibility of identicals and the principle of contingent necessity. The central part of my interpretation shows how from the laws of nature, properly understood, the occurrence of some states of affairs necessarily results provided that these principles are employed. (shrink)

In this paper, I discuss the problem of scientific laws in general and laws of biology in particular. After reviewing the debate around the existence of laws in biology, I examine the subject in the light of the structuralist notion of a fundamental law and argue for the law of matching as the fundamental law of genetics.

The Humean best systems account identifies laws of nature with the regularities in a system of truths that, as a whole, best conforms to scientific standards for theory-choice. A principled problem for the BSA is that it returns the wrong verdicts about laws in cases where multiple systems, containing different regularities, satisfy these standards equally well. This problem affects every version of the BSA because it arises regardless of which standards for theory-choice Humeans adopt. In this paper, we propose a (...) Humean response to the problem. We invoke pragmatic aspects of Humean laws to show that the BSA, despite violating some of our intuitive judgements, can capture everything that is relevant for scientific practice. (shrink)

This paper develops an account of the metaphysics of fundamental laws I call “the Package Deal Account ” that is a descendent of Lewis’ BSA but differs from it in a number of significant ways. It also rejects some elements of the metaphysics in which Lewis develops his BSA. First, Lewis proposed a metaphysical thesis about fundamental properties he calls “Humean Supervenience” according to which all fundamental properties are instantiated by points or point sized individuals and the only fundamental relations (...) are geometrical spatial and temporal relations between these. While the BSA does not require HS Lewis seems to hope that it is true. In contrast, the PDA is not committed to HS or even to the fundamental arena in which fundamental properties are instantiated possessing geometrical structure and thus is able to accommodate relations and structures found in contemporary physics that apparently conflict with HS. Second, although Lewis’ BSA doesn’t require HS his Humeanism does require that fundamental properties are categorical. In contrast, the PDA allows for the possibility that fundamental properties are individuated in terms of laws and so are not categorical. Third, the PDA expands and develops the criteria for what counts in favor of a candidate system with more attention to the criteria employed by physicists in evaluating proposed theories. Fourth and most importantly, unlike Lewis’ BSA, the PDA does not presuppose metaphysically primitive elite properties/quantities that Lewis calls “perfectly natural” properties/quantities or presuppose a metaphysically preferred language whose terms denote such properties/quantities. It replaces Lewis’ account with an account on which natural properties are not metaphysically prior to the laws but are elements of a package that includes a fundamental arena that plays the role of space-time as well as fundamental laws and properties. By doing so it responds to some epistemological and metaphysical issues that have been raised regarding natural properties and their role in the BSA. In sum, the PDA goes further in explicating the notion of laws in terms of the aims and practices of science especially fundamental physics rather than in terms of prior metaphysics. I begin by reviewing Lewis’ account of perfectly natural properties and his Humean BSA of laws. (shrink)

Among the most important questions in the metaphysics of science are "What are the natures of fundamental laws and chances?" and "What grounds the direction of time?" My aim in this paper is to examine some connections between these questions, discuss two approaches to answering them and argue in favor of one. Along the way I will raise and comment on a number of issues concerning the relationship between physics and metaphysics and consequences for the subject matter and methodology of (...) metaphysics. (shrink)

Humean reductionism about laws of nature appears to leave a central aspect of scientific practice unmotivated: If the world’s fundamental structure is exhausted by the actual distribution of non-modal properties and the laws of nature are merely efficient summaries of this distribution, then why does science posit laws that cover a wide range of non-actual circumstances? In this paper, we develop a new version of the Humean best systems account of laws based on the idea that laws need to organize (...) information in a way that maximizes their cognitive usefulness for creature like us. We argue that this account motivates scientific practice because the laws’ applicability to non-actual circumstances falls right out of their cognitive usefulness. (shrink)

In this article my primary intention is to engage in a discussion on the inherent constraints of models, taken as models of theories, that reaches beyond the epistemological level. Naturally the paper takes into account the ongoing debate between proponents of the syntactic and the semantic view of theories and that between proponents of the various versions of scientific realism, reaching down to the most fundamental, subjective level of discourse. In this approach, while allowing for a limited discussion of physical (...) and positive science models, I am primarily focused on the structure and ontology of mathematical models, in particular Cohen’s forcing models and to a lesser extent Gödel’s constructible universe, to the extent that these were designed to answer questions bearing on the scope, the capacity and ultimately the ontology of models themselves, therefore influencing in one or the other way the status of models in general. This status, it is argued, is largely defined by the way models subsume a set-theoretical structure whose constraints, reducible to an extra-linguistic level of discourse, may implicitly condition the epistemic status of models as representations of axiomatic theories. In the last section I deal extensively with the inner constraints of theories as subjectively originated in a less technical philosophically oriented discussion with certain prompts from phenomenology. (shrink)

The paper, as Part I of a two-part series, argues for a hybrid formulation of the semantic view of scientific theories. For stage-setting, it first reviews the elements of the model theory in mathematical logic (on whose foundation the semantic view rests), the syntactic and the semantic view, and the different notions of models used in the practice of science. The paper then argues for an integration of the notions into the semantic view, and thereby offers a hybrid semantic view, (...) which at once secures the view's logical foundations and enhances its applicability. The dilemma of either losing touch with the practice of science or yielding up the benefits of the model theory is thus avoided. (shrink)

In this paper, a criticism of the traditional theories of approximation and idealization is given as a summary of previous works. After identifying the real purpose and measure of idealization in the practice of science, it is argued that the best way to characterize idealization is not to formulate a logical model – something analogous to Hempel's D-N model for explanation – but to study its different guises in the praxis of science. A case study of it is then made (...) in thermostatistical physics. After a brief sketch of the theories for phase transitions and critical phenomena, I examine the various idealizations that go into the making of models at three difference levels. The intended result is to induce a deeper appreciation of the complexity and fruitfulness of idealization in the praxis of model-building, not to give an abstract theory of it. (shrink)

Traditional theories construe approximate truth or truthlikeness as a measure of closeness to facts, singular facts, and idealization as an act of either assuming zero of otherwise very small differences from facts or imagining ideal conditions under which scientific laws are either approximately true or will be so when the conditions are relaxed. I first explain the serious but not insurmountable difficulties for the theories of approximation, and then argue that more serious and perhaps insurmountable difficulties for the theory of (...) idealization force us to sever its close tie to approximation. This leads to an appreciation of lawlikeness as a measure of closeness to laws, which I argue is the real measure of idealization whose main purpose is to carve nature at its joints. (shrink)

Scientists often think of the world as a dynamical system, a stochastic process, or a generalization of such a system. Prominent examples of systems are the system of planets orbiting the sun or any other classical mechanical system, a hydrogen atom or any other quantum–mechanical system, and the earth’s atmosphere or any other statistical mechanical system. We introduce a general and unified framework for describing such systems and show how it can be used to examine some familiar philosophical questions, including (...) the following: how can we define nomological possibility, necessity, determinism, and indeterminism; what are symmetries and laws; what regularities must a system display to make scientific inference possible; how might principles of parsimony such as Occam’s Razor help when we make such inferences; what is the role of space and time in a system; and might they be emergent features? Our framework is intended to serve as a toolbox for the formal analysis of systems that is applicable in several areas of philosophy. (shrink)

In this essay, I defend a bi-constructivist approach to ethology—a constructivist ethology assuming that each animal adopts constructivist strategies. I put it in opposition to what I call a realist-Cartesian approach, which is currently the dominant approach to ethology and comparative psychology. The starting point of the bi-constructivist approach can be formulated as a shift from the classical Aristotelian question “What is an animal?” to the Spinozean question, which is much less classical but which seems to me to be much (...) stronger: “What are the capacities of the animal?”. Is it possible to conceptualize an ethology which insists on interpretation and therefore on invention, innovation and creativity, rather than on causality, the monotony of behavioural routines, and/or genetic or environmental determination? Such an ethology would be based not on the fiction of an absent observer but on fully recognizing the necessity of an observer, who is effectively present in order to get an observation. A pluralistic ethology does not dissociate itself from the marginal epistemologies of practitioners like animal trainers, hunters, stockbreeders etc., or, moreover, non-western experts. An ethology of this kind is not clamped within the boundaries of purely academic epistemology, obsessed by demarcation lines between the human and the animal. My work on the bi-constructivist approach represents a contribution towards the elaboration of an authentically biosemiotic ethology, one which is significantly different from the mechanical ethology of today. (shrink)