In this book, we interpret post-truth as a multifaceted phenomenon which involves fake news, emotion-driven rhetoric (vs fact-driven discussion), credulism in the social-media, conspiracy theories and scientific denialism. We develop three models intended to represent the multifaceted nature of post-truth in terms of deviated forms of enquiry – which we label “post-enquiries”. The first form of post-enquiry posits the existence of alternative facts; the second prioritizes emotions over facts; the third limits the scope of the norms of enquiry. We elaborate (...) on the third model in relation to scientific denialism and we apply it to analyse the case of flat-earthism. (shrink)

A general criterion for distinguishing between epistemic and non-epistemic values is that the former promotes the attainment of truth whereas the latter does not. Daniel Steel is a proponent of this criterion, although it was initially proposed by McMullin. There are at least two consequences of this criterion; it always prioritizes epistemic values over non-epistemic values in scientific research, and it overlooks the diverse aims of science, especially the aims of regulatory or policy-oriented science. This criterion assumes the lexical priority (...) of truth or lexical priority of evidence. This paper attempts to show a few inadequacies of this assumption. The paper also demonstrates why epistemic priority over non-epistemic values is a problematic stance and how constraining the role of non-epistemic values as ‘tiebreakers’ may undermine the diverse aims of science. (shrink)

This paper examines the case of Ebola, ça Suffit trial which was conducted in Guinea during Ebola Virus Disease (EVD) outbreak in 2015. I demonstrate that various non-epistemic considerations may legitimately influence the criteria for evaluating the efficacy and effectiveness of a candidate vaccine. Such non-epistemic considerations, which are social, ethical, and pragmatic, can be better placed and addressed in scientific research by appealing to non-epistemic values. I consider two significant features any newly developed vaccine should possess; (1) the duration (...) of immunity the vaccine provides; and (2) safety with respect to the side effects of the vaccine. Then, I argue that social and ethical values are relevant and desirable in setting the parameters for evaluating these two features of vaccines. The parameters that are employed for setting up the criteria for assessing the features might have far-reaching implications on the well-being of society in general, and the health conditions of several thousand people in particular. The reason is that these features can play a decisive role during the evaluation of the efficacy and effectiveness of the vaccine. I conclude by showing why it is necessary to reject the concept of epistemic priority, at least when scientists engage in policy-oriented research. (shrink)

Criteria of empirical significance are supposed to state conditions under which reference to an unobservable object or property is “empirically meaningful”. The intended kind of empirical meaningfulness should be necessary for admissibility into the selective contexts of scientific inquiry. I defend Justus’s recent argument that the reasons generally given for rejecting the project of defining a significance criterion are unpersuasive. However, as I show, this project remains wedded to an overly narrow conception of its subject matter. Even the most cutting (...) edge significance criteria identify empirical significance with predictive power, and thereby rule out vocabulary with legitimate scientific functions. In a nutshell, the problem is that there are terms that reduce the computational burden of extracting predictions from theory, and that may therefore be scientifically useful, but that do not produce any additional predictions, and so are ruled scientifically inadmissibility by existing significance criteria. I spell out this objection by specifying terms of this kind that are ruled inadmissible by Creath’s and Schurz’s criteria. Having objected in this way to extant criteria, and to the equation of empirical significance with predictive power in general, I discuss an approach to defining empirical significance that is capable of avoiding my objection and, more ambitiously, that may break the cycle of “punctures and patches” that has plagued the project from the beginning: I gloss Goldfarb and Ricketts’s idea of “case-by-case” delineations of empirically significant terms as the provision of special rather than general explications of the informal concept of empirical significance. (shrink)

The article defines a comprehensive concept of cognitive objectivity applied to embodied subjects in health care. The aims of this study were: to specify some necessary conditions for the definition of a CCCO that will allow objective descriptions and assessments in health care, to formulate criteria for application of such a CCCO, and to investigate the usefulness of the criteria in work disability assessments in medical certificates from health care provided for social security purposes. The study design was based on (...) a philosophical conceptual analysis of objectivity and subjectivity, the phenomenological notions ‘embodied subject’, ‘life-world’, ‘phenomenological object’ and ‘empathy’, and an interpretation of certificates as texts. The study material consisted of 18 disability assessments from a total collection of 86 medical certificates provided for social security purposes, written in a Norwegian hospital-based mental health clinic. Four necessary conditions identified for defining a CCCO were: acknowledging the patient’s social context and life-world, perceiving patients as cognitive objects providing a variety of meaningful data, interpreting data in context, and using general epistemological principles. The criteria corresponding to these conditions were: describing the patient’s social context and recognizing the patient’s perspective, taking into consideration a variety of quantitative and qualitative data drawn from the clinician’s perceptions of the patient as embodied subject, being aware of the need to interpret the data in context, and applying epistemological principles. Genuine communication is presupposed. These criteria were tested in the work disability assessments of medical certificates. The criteria were useful for understanding both how objectivity fails during work disability assessments and how it can be improved in the writing of certificates. The article specifies four necessary conditions for the definition of a CCCO in health care and social security medicine and the corresponding criteria for its application. Analysis of the objectivity of work disability assessments in medical certificates for social security confirmed the usefulness of the criteria. (shrink)

In Sect. 1 it is argued that systems of logic are exceptional, but not a priori necessary. Logics are exceptional because they can neither be demonstrated as valid nor be confirmed by observation without entering a circle, and their motivation based on intuition is unreliable. On the other hand, logics do not express a priori necessities of thinking because alternative non-classical logics have been developed. Section 2 reflects the controversies about four major kinds of non-classical logics—multi-valued, intuitionistic, paraconsistent and quantum (...) logics. Its purpose is to show that there is no particular domain or reason that demands the use of a non-classical logic; the particular reasons given for the non-classical logic can also be handled within classical logic. The result of Sect. 2 is substantiated in Sect. 3, where it is shown (referring to other work) that all four kinds of non-classical logics can be translated into classical logic in a meaning-preserving way. Based on this fact a justification of classical logic is developed in Sect. 4 that is based on its representational optimality. It is pointed out that not many but a few non-classical logics can be likewise representationally optimal. However, the situation is not symmetric: classical logic has ceteris paribus advantages as a unifying metalogic, while non-classical logics can have local simplicity advantages. (shrink)

According to the paradigm of adaptive rationality, successful inference and prediction methods tend to be local and frugal. As a complement to work within this paradigm, we investigate the problem of selecting an optimal combination of prediction methods from a given toolbox of such local methods, in the context of changing environments. These selection methods are called meta-inductive strategies, if they are based on the success-records of the toolbox-methods. No absolutely optimal MI strategy exists—a fact that we call the “revenge (...) of ecological rationality”. Nevertheless one can show that a certain MI strategy exists, called “AW”, which is universally long-run optimal, with provably small short-run losses, in comparison to any set of prediction methods that it can use as input. We call this property universal access-optimality. Local and short-run improvements over AW are possible, but only at the cost of forfeiting universal access-optimality. The last part of the paper includes an empirical study of MI strategies in application to an 8-year-long data set from the Monash University Footy Tipping Competition. (shrink)

This is a response to the papers in the special issue Logical Perspectives on Science and Cognition—The Philosophy of Gerhard Schurz.

Tacking by conjunction is a well-known problem for Bayesian confirmation theory. In the first section, disadvantages of existing Bayesian solution proposals to this problem are pointed out and an alternative solution proposal is presented: that of genuine confirmation. In the second section, the notion of GC is briefly recapitulated and three versions of GC are distinguished: full GC, partial GC and quantitative GC. In the third section, the application of partial GC to pure post-facto speculations is explained. In the fourth (...) section it is demonstrated that full GC is a necessary condition for Bayesian convergence to certainty based on the accumulation of conditionally independent pieces of evidence. It is found that whenever a hypothesis is equivalent to a disjunction of more fine-grained hypotheses conveying different probabilities to the evidence, then conditional independence of the evidence fails. This failure occurs typically for unspecific negations of hypotheses. A refined version of the convergence to certainty theorem that overcomes this difficulty is developed in the final section. (shrink)

The paper starts with the distinction between conjunction-of-parts accounts and disjunction-of-possibilities accounts to truthlikeness. In Sect. 3, three distinctions between kinds of truthlikeness measures are introduced: comparative versus numeric t-measures, t-measures for qualitative versus quantitative theories, and t-measures for deterministic versus probabilistic truth. These three kinds of truthlikeness are explicated and developed within a version of conjunctive part accounts based on content elements. The focus lies on measures of probabilistic truthlikeness, that are divided into t-measures for statistical probabilities and single (...) case probabilities. The logical notion of probabilistic truthlikeness can be treated as a subcase of deterministic truthlikeness for quantitative theories. In contrast, the epistemic notion of probabilistic truthlikeness creates genuinely new problems, especially for hypotheses about single case probabilities that are evaluated not by comparison to observed frequencies, but by comparison to the truth values of single event statements. By the method of meta-induction, competing theories about single case probabilities can be aggregated into a combined theory with optimal predictive success and epistemic truthlikeness. (shrink)

How is metaphysics related to the empirical sciences? Should metaphysics in general be guided by the sources, methods and results of the sciences? And what about the special case of the metaphysics of the social world: should it likewise be guided by the sources, methods and results of the social sciences? In her paper “Social Science as a Guide to Social Metaphysics?”, K. Hawley raises the question: If we are sympathetic to the project of naturalising metaphysics, how should we approach (...) the metaphysics of the social world? She proceeds by discussing three approaches to social metaphysics: inference to the best explanation from current social science, descriptive conceptual analysis, and normative, especially ‘ameliorative’ projects. At the end of her discussion, she reaches a rather pessimistic conclusion, especially as regards the IBE approach: “a number of phenomena indicate that the prospects for securely basing social metaphysics via inference to the best explanation from social science are currently faint. […] We need to look elsewhere if we are to develop a metaphysics of the social world.” In my comments on her paper, I try to re-animate the program of an inductive metaphysics by defending the idea that the method of inference to the best explanation should be the central method of justification for metaphysics in general and for social metaphysics in particular. (shrink)

In this paper I reconstruct and compare criteria of theoreticity that have been developed by Carnap, Sneed and proponents of the Munich school of structuralist philosophy of science. For this purpose I develop a unified framework in which one can transform model-theoretic theory representations into linguistic ones, and vice versa. This bridges the gap between statement and non-statement view and allows a precise comparison of linguistic and model-theoretic criteria of theoreticity. In the final part I suggest a system of improved (...) definitions of theoreticity and pre-theoreticity. (shrink)

An important distinction is that between selective abductions, which select an optimal candidate from given multitude of possible explanations, and creative abductions, which introduce new theoretical concepts and models. The article focuses on creative abductions, which are essential for scientific progress, although they are rarely discussed in the literature. Scientifically, fruitful creative abductions are demarcated from purely speculative abductions by means of three virtues which are possessed by the former but not by the latter: (i) providing unification, (ii) detecting common (...) causes and (iii) generating novel predictions by means of which they can be independently tested. Based on historical examples it is demonstrated that common cause abduction from correlated dispositions is the fundamental abductive operation by which new theoretical concepts and models are scientifically generated. Statistical factor analysis can be regarded as a statistical generalization of common cause abduction. (shrink)

Two key ideas of scientific explanation−explanation as causal information and explanation as unification-have frequently been set into mutual opposition. This paper proposes a “dialectical solution” to this conflict, by arguing that causal explanations are preferable to non-causal ones, because they lead to a higherdegree of unification at the level of explaining statistical regularities. The core axioms of the theory of causal nets (TC) are justified because they offer the best if not the only unifying explanation of two statistical phenomena: screening (...) off and linking up. Alternative explanations of the two phenomena are discussed and it isshown why they don’t work. It is demonstrated that although the core axioms of TC are empirically vacuous, extended versions of TC have empirical content by means of which they can generate independently testable predictions.Con frecuencia se han planteado como contrapuestas dos ideas clave en la explicacion cientifica (explicacion como informacion causal y explicacion como unificacion). El presente articulo propone una “solucion dialectica” argumentando que las explicaciones causales son preferibles a las no-causales porque aquellas comportan un mayor grado de unificacion en la explicacion de regularidades estadisticas. Los axiomas centrales de la teoria de redes causales (TC) estan justificados porque ofrecen la mejor, si no la unica, explicacion unificada de dos fenomenos estadisticos: neutralizacion (screening off) y vinculacion (linking up). Se discuten las explicaciones alternativas de estos dos fenomenos y se razona por que no funcionan. Se demuestra ademas que aunque los axiomas centrales de TC son empiricamente vacuos, las versiones extendidas de TC tienen un contenido empirico gracias al cual pueden generar predicciones independientemente contrastables. (shrink)

Rationale: The new area of health system research requires a revision of the taxonomy of scientific knowledge that may facilitate a better understanding and representation of complex health phenomena in research discovery, corroboration and implementation. Method: A position paper by an expert group following and iterative approach. Results: ‘Scientific evidence’ should be differentiated from ‘elicited knowledge’ of experts and users, and this latter typology should be described beyond the traditional qualitative framework. Within this context ‘framing of scientific knowledge’ is defined (...) as a group of studies of prior expert knowledge specifically aimed at generating formal scientific frames. To be distinguished from other unstructured frames, FSK must be explicit, standardized, based on the available evidence, agreed by a group of experts and subdued to the principles of commensurability, transparency for corroboration and transferability that characterize scientific research. A preliminary typology of scientific framing studies is presented. This typology includes, among others, health declarations, position papers, expert-based clinical guides, conceptual maps, classifications, expert-driven health atlases and expert-driven studies of costs and burden of illness. Conclusions: This grouping of expert-based studies constitutes a different kind of scientific knowledge and should be clearly differentiated from ‘evidence’ gathered from experimental and observational studies in health system research. (shrink)

Bayesian confirmation theories might be the best standing theories of confirmation to date, but they are certainly not paradox-free. Here I recognize that BCTs’ appeal mainly comes from the fact that they capture some of our intuitions about confirmation better than those the- ories that came before them and that the superiority of BCTs is suffi- ciently justified by those advantages. Instead, I will focus on Sylvan and Nola’s claim that it is desirable that our best theory of confirmation be (...) as paradox-free as possible. For this reason, I will show that, as they respond to different interests, the project of the BCTs is not incompatible with Sylvan and Nola’s project of a paradox-free confirmation logic. In fact, it will turn out that, provided we are ready to embrace some degree of non-classicality, both projects complement each other nicely. (shrink)

Science is an activity of the human intellect and as such has ethical implications that should be reviewed and taken into account. Although science and ethics have conventionally been considered different, it is herewith proposed that they are essentially similar. The proposal set henceforth is to create a new ethics rooted in science: scientific ethics. Science has firm axiological foundations and searches for truth and knowledge. Hence, science cannot be value neutral. Looking at standard scientific principles, it is possible to (...) construct a scientific ethic, which can be applied to all sciences. These intellectual standards include the search for truth, human dignity and respect for life. Through these it is thence achievable to draft a foundation of a ethics based purely on science and applicable beyond the confines of science. A few applications of these will be presented. Scientific ethics can have vast applications in other fields even in non scientific ones. (shrink)

One way to show that text interpretation can be treated as a scientific problem is to show that the standards that are currently used in the natural sciences when dealing with problems not involving meaningful material can also be successfully employed in the case of text interpretation. These standards involve intersubjective intelligibility, testability with the use of evidence, rational argumentation, and making methodological decisions aiming at the attainment of truth, accuracy, simplicity and other epistemic values. In the case of text (...) interpretation—despite the fact that we deal with meaningful material—hypotheses can be formulated, consequences can be drawn by deduction, and these can be tested against empirical data. This claim is substantiated by the provision of an example of a scientific text. (shrink)

Carnap’s search for a criterion of empirical significance is usually considered a failure. I argue that the results from two out of his three different approaches are at the very least problematic, but that one approach led to success. Carnap’s criterion of translatability into logical syntax is too vague to allow for definite results. His criteria for terms—introducibility by chains of reduction sentences and his criterion from “The Methodological Character of Theoretical Concepts”—are almost trivial and have no clear relation to (...) the empirical significance of sentences. However, his criteria for sentences—translatability, verifiability, falsifiability, confirmability—are usable, and under the assumptions needed for the Carnap sentence approach, verifiability, falsifiability, and translatability become equivalent. As a result of the Carnap sentence approach, metaphysics is rendered analytic. (shrink)

The aim of this article is to argue that ontological choices in scientific practice undermine common formulations of the value-free ideal in science. First, I argue that the truth values of scientific statements depend on ontological choices. For example, statements about entities such as species, race, memory, intelligence, depression, or obesity are true or false relative to the choice of a biological, psychological, or medical ontology. Second, I show that ontological choices often depend on non-epistemic values. On the basis of (...) these premises, I argue that it is often neither possible nor desirable to evaluate scientific statements independently of non-epistemic values. Finally, I suggest that considerations of ontological choices do not only challenge the value-free ideal but also help to specify positive roles of non-epistemic values in an often neglected area of scientific practice. (shrink)

The aim of this article is to argue that ontological choices in scientific practice undermine common formulations of the value-free ideal in science. First, I argue that the truth values of scientific statements depend on ontological choices. For example, statements about entities such as species, race, memory, intelligence, depression, or obesity are true or false relative to the choice of a biological, psychological, or medical ontology. Second, I show that ontological choices often depend on non-epistemic values. On the basis of (...) these premises, I argue that it is often neither possible nor desirable to evaluate scientific statements independently of non-epistemic values. Finally, I suggest that considerations of ontological choices do not only challenge the value-free ideal but also help to specify positive roles of non-epistemic values in an often neglected area of scientific practice. (shrink)

Managers of multinational companies often favour an aggressive tax avoidance strategy that pushes the legal limits onto the advantage of shareholders and the disadvantage of the spirit of democratically legitimized tax laws. The public and media debate whether such aggressive behaviour is immoral. Aggressive tax avoidance is a subset of the aggressive legal interpretations potentially observable in all fields which places little weight on the will of a democratically legitimized legislation. A thorough ethical analysis based on the deontological approach of (...) Kant demonstrates that aggressive tax avoidance as a special case of operating on the edge of legal boundaries is potentially immoral. Applying the Kantian “contradiction of conception or will” test shows that this maxim might not be conceived or willed as a general law of nature. If all natural or legal persons aggressively interpret laws on all subjects and in every imaginable situation, then central principles of the system of law we all rely upon would be severely compromised. Therefore, aggressive tax avoidance by managers of multinational companies may violate the managers’ moral duty to obey not only the letter but also the intention or spirit of the law. The validity of the argumentation depends critically on the formulation and interpretation of the respective maxims and on assumptions about the legal system. Preserving central elements of Kantian philosophy, the article demonstrates the complexity of a philosophical argumentation which tries to justify the moral intuitions that underpin the common negative evaluation of aggressive legal strategies in business. (shrink)

Derivational robustness may increase the degree to which various pieces of evidence indirectly confirm a robust result. There are two ways in which this increase may come about. First, if one can show that a result is robust, and that the various individual models used to derive it also have other confirmed results, these other results may indirectly confirm the robust result. Confirmation derives from the fact that data not known to bear on a result are shown to be relevant (...) when it is shown to be robust. Second, robustness may increase the degree to which the robust result is indirectly confirmed if it increases the weight with which existing evidence indirectly confirms it. This may happen when it strengthens the connection between the core and the robust result by showing that auxiliaries are not responsible for the result. (shrink)

In the philosophy of science, the frame model is used in order to represent and analyze scientific concepts and conceptual change. However, the potential of the frame model is far from being fully exploited: Up to now, the frame model is only applied to a rather small set of different kinds of concepts and important advantages of the frame model for reconstructing and analyzing concepts have been neglected. In this article, we will essentially extend the frame model in the following (...) way: We will develop a frame-based approach for representing a comprehensive class of different kinds of concepts including conjunctively and disjunctively defined concepts, family resemblance concepts, prototype concepts, operationalized concepts, dual concepts integrating two different ways of concept determination, and theoretical concepts. In order to do so, we will define different kinds of frames with respect to the logical structure of the kind of concept that is represented by a particular frame. We will exemplify our approach by means of ten frames applied to standard cases of conceptual analyses in philosophy and cognitive science as well as to scientific concepts of political science, psychology, linguistics and physics. (shrink)

The frame model was developed in cognitive psychology and imported into the philosophy of science in order to provide representations of scientific concepts and conceptual taxonomies. The aim of this article is to show that beside the representation of scientific concepts the frame model is an efficient instrument to represent and analyze scientific theories. That is, we aim to establish the frame model as a representation tool for the structure of theories within the philosophy of science. For this, we will (...) develop the notion of a theory frame and distinguish between theory frames for qualitative theories in which scientific measurement is based on nominal scales and theory frames for quantitative theories in which measurement is based on ratio scales. In three case studies, we will apply frames to a psychological, a linguistic, and a physical theory, thereby showing that the frame model is a powerful and intuitively accessible instrument to analyze the laws of scientific theories, the determination of theoretical concepts, the explanatory role of theoretical concepts, the abductive introduction of a new theoretical concept, the distinction between the core and the periphery of a theory, the diachronic development of a theory, and the distinction between qualitative and quantitative scientific concepts. Finally, we will provide a comparison to the structuralist view of theories, one of the most elaborated and applied models of theory representation. (shrink)

According to a seminal paper by Barsalou , frames are attribute-value-matrices for representing exemplars or concepts. Frames have been used as a tool for reconstructing scientific concepts as well as conceptual change within scientific revolutions . In the frame-based representations of scientific concepts developed so far the semantic content of concepts is determined by a set of attribute-specific values. This way of representing semantic content works best for prototype concepts and defined concepts of a conceptual taxonomy satisfying the no-overlap principle. (...) In addition to the semantic content of prototype concepts and defined concepts, frames can also contain empirical knowledge that is represented as constraints between the values of the frame. Beside prototype concepts and defined concepts, theoretical concepts that are multiply operationalized play an important role in science. However, so far no frame-based representation of theoretical concepts has been proposed. In this paper, it will be shown that theoretical concepts can be represented by frames and that frame-based representations of prototype concepts and defined concepts have another structure than frame-based representations of theoretical concepts. In order to explicate this difference, we will develop a frame-based method for representing all three kinds of concepts by means of mathematical graph-theory. One important consequence will be that the constraints of a frame representing a theoretical concept are entailed by the structure of the frame, as opposed to a frame representing defined or prototype concepts. (shrink)

The nature of intuitions remains a contested issue in philosophy. Yet, intuitions are frequently cited in philosophical work, featuring most prominently in conceptual analysis, the philosophical method par excellence. In this paper, we approach the question about the nature of intuitions based on a pragmatist, namely, Wittgensteinian account of concepts. To Wittgenstein, intuitions are just immediate ‘reactions’ to certain cognitive tasks. His view provides a distinct alternative to identifying intuitions with either doxastic states or quasi-perceptual experiences. We discuss its implications (...) for intuitions’ role in conceptual analysis and show that a Wittgensteinian account of intuitions is compatible even with ambitious metaphysical projects traditionally associated with this method. (shrink)

The argument from inductive risk, as developed by Rudner and others, famously concludes that the scientist qua scientist makes value judgments. The paper aims to show that trust in the soundness of the argument is overrated – that philosophers who endorse its conclusion fail to refute two of the most important objections that have been raised to its soundness: Jeffrey’s objection that the genuine task of the scientist is to assign probabilities to hypotheses, and Levi’s objection that the argument is (...) ambiguous about decisions about how to act and decisions about what to believe, that only the former presuppose value judgments, and that qua scientist, the scientist only needs to decide what to believe. (shrink)

A number of authors have recently put forward arguments pro or contra various rules for scoring probability estimates. In doing so, they have skipped over a potentially important consideration in making such assessments, to wit, that the hypotheses whose probabilities are estimated can approximate the truth to different degrees. Once this is recognized, it becomes apparent that the question of how to assess probability estimates depends heavily on context.

Mark Wilson presents a highly original account of conceptual behavior that challenges many received views about concepts in analytic philosophy. Few attempts have been made to rationally reconstruct Wilson’s framework of patches and facades within a precise semantic framework. I will show how a modified version of the structuralist framework offers a semantic reconstruction of scientific theories capable of modeling Wilson’s ideas about conceptual behavior. Specifically, I will argue that Theory-Elements and a modified version of Theory-Nets explicate respectively Wilson’s patches (...) and facades. I will also demonstrate how several wandering phenomena described by Wilson can be adequately reconstructed within my framework. (shrink)

What is the relation or connection between formalizations of induction and the actual inductive inferences of scientists? Building from recent works in the philosophy of logic, this paper argues that these formalizations of induction are best viewed as models and not literal descriptions of inductive inferences in science. Three arguments are put forward to support this claim. First, I argue that inductive support is the kind of phenomenon that can be justifiably modeled. Second, I argue that these formalizations have the (...) features that define models—that they have representors, artefacts, and idealizations. Third, I argue that these formalizations being models explains their plurality and revisability. (shrink)

Large scale experiments at CERN’s Large Hadron Collider rely heavily on computer simulations, a fact that has recently caught philosophers’ attention. CSs obviously require appropriate modeling, and it is a common assumption among philosophers that the relevant models can be ordered into hierarchical structures. Focusing on LHC’s ATLAS experiment, we will establish three central results here: with some distinct modifications, individual components of ATLAS’ overall simulation infrastructure can be ordered into hierarchical structures. Hence, to a good degree of approximation, hierarchical (...) accounts remain valid at least as descriptive accounts of initial modeling steps. In order to perform the epistemic function Winsberg Model-based reasoning in scientific discovery. Kluwer Academic/plenum Publishers, New York, pp 255–269, 1999) assigns to models in simulation—generate knowledge through a sequence of skillful but non-deductive transformations—ATLAS’ simulation models have to be considered part of a network rather than a hierarchy, in turn making the associated simulation modeling messy rather than motley. Deriving knowledge-claims from this ‘mess’ requires two sources of justification: holistic validation :253–262, 2010; in Carrier M, Nordmann A Science in the context of application. Springer, Berlin, pp 115–130, 2011), and model coherence. As it turns out, the degree of model coherence sets HEP apart from other messy, simulation-intensive disciplines such as climate science, and the reasons for this are to be sought in the historical, empirical and theoretical foundations of the respective discipline. (shrink)

Two powerful arguments have famously dominated the realism debate in philosophy of science: The No Miracles Argument (NMA) and the Pessimistic Meta-Induction (PMI). A standard response to the PMI is selective scientific realism (SSR), wherein only the working posits of a theory are considered worthy of doxastic commitment. Building on the recent debate over the NMA and the connections between the NMA and the PMI, I here consider a stronger inductive argument that poses a direct challenge for SSR: Because it (...) is sometimes exactly the working posits which contradict each other, i.e., that which is directly responsible for empirical success, SSR cannot deliver a general explanation of scientific success. (shrink)

Howson famously argues that the no-miracles argument, stating that the success of science indicates the approximate truth of scientific theories, is a base rate fallacy: it neglects the possibility of an overall low rate of true scientific theories. Recently a number of authors has suggested that the corresponding probabilistic reconstruction is unjust, as it concerns only the success of one isolated theory. Dawid and Hartmann, in particular, suggest to use the frequency of success in some field of research \ to (...) infer a probability of truth for a new theory from \. I here shed doubts on the justification of this and similar moves and suggest a way to directly bound the probability of truth. As I will demonstrate, my bound can become incompatible with the assumption specific testing and Dawid and Hartmann’s estimate for success. (shrink)

The thesis provides a philosophically grounded account of a socialist planned economy. While I do not primarily consider a positive case for socialism, I address two major objections to it and thus argue that the possibility of socialism as an alternative form of economic organisation has been dismissed too quickly. Furthermore, I provide an account of the precise form a socialist economy should take, outlining general principles of planning and distribution. Based on a welfarist interpretation of Marx, I show that (...) distribution of consumer goods should be facilitated by an equal distribution of tokens. These tokens can be redeemed for consumer products or substituted for additional leisure time. The rates at which tokens can be redeemed for consumer products should correspond to market clearing prices. Welfare-oriented socialism is also defended against a deontological objection to socialism by Robert Nozick, who claims that socialism leads to injustice because it violates private property rights. The thesis also considers Ludwig von Mises’s calculation argument against socialism, which claims that socialism leads to the abolition of economic rationality. I show how this objection can be overcome by using optimal planning techniques which are responsive to consumer demand as signalled by the market clearing rates of consumer products. The resulting model of socialism is tested using a computer simulation. The simulation also demonstrates that a novel system of valuation based on opportunity cost leads to a better adaptation of production in response to environmental constraints when compared to the labour values of classical political economy. (shrink)

This thesis focuses on models of conceptual change in science and philosophy. In particular, I developed a new bootstrapping methodology for studying conceptual change, centered around the formalization of several popular models of conceptual change and the collective assessment of their improved formal versions via nine evaluative dimensions. Among the models of conceptual change treated in the thesis are Carnap’s explication, Lakatos’ concept-stretching, Toulmin’s conceptual populations, Waismann’s open texture, Mark Wilson’s patches and facades, Sneed’s structuralism, and Paul Thagard’s conceptual revolutions. (...) -/- In order to analyze and compare the conception of conceptual change provided by these different models, I rely on several historical reconstructions of episodes of scientific conceptual change. The historical episodes of scientific change that figure in this work include the emergence of the morphological concept of fish in biological taxonomies, the development of scientific conceptions of temperature, the Church-Turing thesis and related axiomatizations of effective calculability, the history of the concept of polyhedron in 17th and 18th century mathematics, Hamilton’s invention of the quaternions, the history of the pre-abstract group concepts in 18th and 19th century mathematics, the expansion of Newtonian mechanics to viscous fluids forces phenomena, and the chemical revolution. I will also present five different formal and informal improvements of four specific models of conceptual change. I will first present two different improvements of Carnapian explication, a formal and an informal one. My informal improvement of Carnapian explication will consist of a more fine-grained version of the procedure that adds an intermediate, third step to the two steps of Carnapian explication. I will show how this novel three-step version of explication is more suitable than its traditional two-step relative to handle complex cases of explications. My second, formal improvement of Carnapian explication will be a full explication of the concept of explication itself within the theory of conceptual spaces. By virtue of this formal improvement, the whole procedure of explication together with its application procedures and its pragmatic desiderata will be reconceptualized as a precise procedure involving topological and geometrical constraints inside the theory of conceptual spaces. My third improved model of conceptual change will consist of a formal explication of Darwinian models of conceptual change that will make vast use of Godfrey-Smith’s population-based Darwinism for targeting explicitly mathematical conceptual change. My fourth improvement will be dedicated instead to Wilson’s indeterminate model of conceptual change. I will show how Wilson’s very informal framework can be explicated within a modified version of the structuralist model-theoretic reconstructions of scientific theories. Finally, the fifth improved model of conceptual change will be a belief-revision-like logical framework that reconstructs Thagard’s model of conceptual revolution as specific revision and contraction operations that work on conceptual structures. -/- At the end of this work, a general conception of conceptual change in science and philosophy emerges, thanks to the combined action of the three layers of my methodology. This conception takes conceptual change to be a multi-faceted phenomenon centered around the dynamics of groups of concepts. According to this conception, concepts are best reconstructed as plastic and inter-subjective entities equipped with a non-trivial internal structure and subject to a certain degree of localized holism. Furthermore, conceptual dynamics can be judged from a weakly normative perspective, bound to be dependent on shared values and goals. Conceptual change is then best understood, according to this conception, as a ubiquitous phenomenon underlying all of our intellectual activities, from science to ordinary linguistic practices. As such, conceptual change does not pose any particular problem to value-laden notions of scientific progress, objectivity, and realism. At the same time, this conception prompts all our concept-driven intellectual activities, including philosophical and metaphilosophical reflections, to take into serious consideration the phenomenon of conceptual change. An important consequence of this conception, and of the analysis that generated it, is in fact that an adequate understanding of the dynamics of philosophical concepts is a prerequisite for analytic philosophy to develop a realistic and non-idealized depiction of itself and its activities. (shrink)

This addendum presents results that confound some commonly made claims about the sorts of environments in which the performance of TTB exceeds that of Franklin's rule, and vice versa.

I provide a compact reformulation of Carnap’s conditions of adequacy for the analytic and the synthetic component of a theory and show that, contrary to arguments by Winnie and Demopoulos, Carnap’s conditions of adequacy need not be supplemented by another condition. This has immediate implications for the analytic component of reduction sentences.

The emergence of mind is a central issue in cognitive philosophy. The main working assumption of the present paper is that several important insights in answering this question might be provided by the nature of life itself. It is in this line of thinking that this paper compares two major philosophical conceptualizations of the living in the history of theoretical biology, namely those of Maturana and Aristotle. The present paper shows how both thinkers describe the most fundamental properties of the (...) living as autonomous sustenance. The paper also shows how these theoretical insights might have a consequence upon our understanding of a specific constructiveness of human cognition, here referred to as enarrativity, if this can be considered in a structural as well as evolutionary connection with the structure of life as such. The paper finally suggests that the structural connection made here can be traced from the fundamental organization of self-preservation to survival behaviors to constructive orientation and action. (shrink)

Criteria of empirical significance are supposed to state conditions under which reference to an unobservable object or property is “empirically meaningful.” The intended kind of empirical meaningfulness should be necessary for admissibility into the selective contexts of scientific inquiry. I defend Justus’s recent argument that the reasons generally given for rejecting the project of defining a significance criterion are unpersuasive. However, as I show, this project remains wedded to an overly narrow conception of its subject matter. Even the most cutting (...) edge significance criteria identify empirical significance with predictive power, and thereby rule out vocabulary with legitimate scientific functions. In a nutshell, the problem is that there are terms that reduce the computational burden of extracting predictions from theory, and that may therefore be scientifically useful, but that do not add to the theory’s observational consequences, and so are ruled scientifically inadmissibility by existing significance criteria. I spell out this objection by specifying shortcut terms that are ruled inadmissible by Creath’s and Schurz’s criteria. Having objected in this way to extant criteria, and to the equation of empirical significance with predictive power in general, I discuss an approach to defining empirical significance that is capable of avoiding my objection and, more ambitiously, that may break the cycle of “punctures and patches” that has plagued the project from the beginning. I gloss Goldfarb and Ricketts’s idea of “case-by-case” delineations of empirically significant terms as the provision of special rather than general explications of the informal concept of empirical significance. (shrink)