Theoretical Virtues

A volume of papers inspired by the work of George E. Smith on confirmation and evidence in advanced science—from Newton's gravitation theory to the physics of molecules.

Bilimsel faaliyetin ve bilimsel bilginin en temel özelliklerinden bir tanesi olarak karşımıza çıkan bilimsel nesnellik bilim felsefesi alanı içerisinde sıklıkla tartışılan bir konu olagelmiştir. Bu doğrultuda, bilimsel nesnelliğin temin edilmesine yönelik çeşitli görüşler ileri sürülmektedir. Genel olarak bilimsel nesnellik bilim insanlarının çalışmalarında olguları doğrudan yansıtması ya da bilim insanlarının çalışmalarını tarafsız bir bakış açısıyla tamamlaması olarak anlaşılmaktadır. Bu görüşlerin bilim felsefesi içerisindeki yansımaları sırasıyla olgulara bağlılık olarak nesnellik ve hiçbir yerden bakış olarak nesnellik isimleriyle olmuştur. Bu bakış açısı, kişisel çıkarların (...) ve değerlerin bilimsel çalışmalardan izole edilmesi sayesinde bilimsel nesnelliğin sağlanabileceğini kabul etmektedir. Diğer bir deyişle, bilimler değerlerden bağımsız olduğu takdirde nesnel olabilmektedirler. Bu görüşe karşı olarak, Helen Longino gibi bilim insanları ise değerleri bilimsel nesnelliğin bir gerekliliği olarak görmektedirler. Bu çalışmada, özellikle değerlerin göz ardı edilmesiyle bilimsel nesnelliğin gerçekleştirilmesinin mümkün olamayacağını vurgulan Helen Longino’nun “bağlamsal deneycilik” olarak bilinen görüşlerine yer verilmektedir. Buna göre Longino, bilimsel araştırmanın toplumsal yönlerini göz önünde bulundurarak değerden bağımsız ideali tamamen reddetmektedir. O değer yüklü bir bilimin hem bilgi kuramsal açıdan hem de nesnellik açısından güvenilir olabileceğini düşünmektedir. -/- Scientific objectivity, which is one of the most basic features of scientific activity and scientific knowledge, is a subject that is frequently discussed in the field of philosophy of science. In this direction, various views are put forward to ensure scientific objectivity. In general, scientific objectivity is understood as scientists reflecting the facts as they are in their studies or scientists completing their studies with an impartial point of view. The reflections of these views in the philosophy of science were respectively called objectivity as faithfulness to facts and objectivity as a view from nowhere. This perspective recognizes that scientific objectivity can be achieved by isolating personal interests and values from scientific studies. In other words, sciences can only be objective if they are value-free. Against this view, scientists such as Helen Longino see values as a necessity of scientific objectivity. In this study, Helen Longino's views known as "contextual empiricism" are included. Accordingly, it is emphasized that it is not possible to realize scientific objectivity by ignoring values. Longino completely rejects the value-free ideal, considering the social aspects of scientific research. She thinks that a value-laden science can be reliable both in terms of epistemology and objectivity. (shrink)

The main purpose of this paper is to refute the metaphysicians ‘methodological continuation’ argument supporting epistemic realism in metaphysics. This argument aims to show that scientific realists have to accept that metaphysics is as rationally justified as science given that they both employ inference to the best explanation, i.e. that metaphysics and science are methodologically continuous. I argue that the reasons given by scientific realists as to why inference to the best explanation is reliable in science do not constitute a (...) reason to believe that it is reliable in metaphysics. The justification of IBE in science and the justification of IBE in metaphysics are two distinct issues with only superficial similarities, and one cannot rely on one for the other. This becomes especially clear when one analyses the debate about the legitimacy of IBE that has taken place between realists and empiricists. The metaphysician seeking to piggyback on the realist defense of IBE in science by the methodological continuation argument presupposes that the defense is straightforwardly applicable to metaphysics. I will argue that it is, in fact, not. The favoured defenses of IBE in scientific realism make extensive use of empirical considerations, predictive power and inductive evidence, all of which are paradigmatically absent in the metaphysical context. Furthermore, I argue that the metaphysician, even if the realist would concede to the methodological continuation argument, fails to offer any agreed upon conclusions resulting from its application in metaphysics. As a result, the scientific realist is not committed to believing that there is metaphysical knowledge. (shrink)

It has been suggested that particle physics has reached the "dawn of the post-naturalness era." I provide an explanation of the current shift in particle physicists' attitude towards naturalness. I argue that the naturalness principle was perceived to be supported by the theories it has inspired. The potential coherence between major beyond the Standard Model (BSM) proposals and the naturalness principle led to an increasing degree of credibility of the principle among particle physicists. The absence of new physics at the (...) Large Hadron Collider (LHC) has undermined the potential coherence and has led to the principle's loss of significance. (shrink)

This article starts an engagement on the aesthetics of experiments and offers an account for analysing how aesthetics features in the design, evaluation and reception of experiments. I identify two dimensions of aesthetic evaluation of experiments: design and significance. When it comes to design, a number of qualities, such as simplicity, economy and aptness, are analysed and illustrated with the famous Meselson-Stahl experiment. Beautiful experiments are also regarded to make significant discoveries, but I argue against a narrow construal of experimental (...) aims. By drawing on the plurality of goals experimenters have and diversity of aesthetic responses, I argue that experiments are aesthetically appreciated both when they discover and when they surprise with significant anomalous results. (shrink)

Is there a role for aesthetic judgements in science? One aspect of scientific practice, the use of thought experiments, has a clear aesthetic dimension. Thought experiments are creatively produced artefacts that are designed to engage the imagination. Comparisons have been made between scientific (and philosophical) thought experiments and other aesthetically appreciated objects. In particular, thought experiments are said to share qualities with literary fiction as they invite us to imagine a fictional scenario and often have a narrative form (Elgin 2014). (...) But philosophical discussions of aesthetics in science have focused mainly on the epistemic role of beauty and elegance when it comes to theories and mathematical proofs, and thought experiments have been widely overlooked. My aim in this chapter is to address how the aesthetic choices scientists make in the design of a thought experiment contribute to its function: to communicate, convince, or explain a theory or phenomenon. A key issue is whether any aesthetic features in science provide anything beyond catching our attention, or are at best, a mere heuristic aid. I respond to accounts that argue this way and show how formulation is important in scientific thought experiments and, similarly to literary fictions, there is more than one way of interpreting a thought experiment scenario. I end by considering which literary examples are most appropriate when making comparisons with thought experiments. As a result, the difference between representations in art and science raised in current discussions is not as stark as it has been made out to be, and science is a more heterogeneous practice than has been allowed. Part of the value of thought experiments in scientific practice includes the qualities they share with literary works. (shrink)

Philosophers of science discuss whether theory selection depends on aesthetic judgments or criteria, and whether these putatively aesthetic features are genuinely extra-epistemic. As examples, judgments involving criteria such as simplicity and symmetry are often cited. However, other theory selection criteria, such as fecundity, coherence, internal consistency, and fertility, more closely match those criteria used in art contexts and by scholars working in aesthetics. Paying closer attention to the way these criteria are used in art contexts allows us to understand some (...) evaluative and developmental practices in scientific theory selection as genuinely aesthetic, enlarging the scope of the goals of science. (shrink)

Scientists often use aesthetic values in the evaluation and choice of theories. Aesthetic values are not only regarded as leading to practically more useful theories but are often taken to stand in a special epistemic relation to the truth of a theory such that the aesthetic merit of a theory is evidence of its truth. This paper explores what aesthetic considerations influence scientists' reasoning, how such aesthetic values relate to the utility of a scientific theory, and how one can justify (...) the epistemic role for such values. The paper examines ways in which the link between beauty and truth can be defended, the challenges facing such accounts, and explores alternative epistemic roles for aesthetic values in scientific practice. (shrink)

Most scientists and philosophers of science recognize that, when it comes to accepting and rejecting theories in science, considerations that have to do with simplicity, unity, symmetry, elegance, beauty or explanatory power have an important role to play, in addition to empirical considerations. Until recently, however, no one has been able to give a satisfactory account of what simplicity (etc.) is, or how giving preference to simple theories is to be justified. But in the last few years, two different but (...) related accounts have appeared, both of which address the above issues. On the one hand, James McAllister has argued that aesthetic criteria in science reflect scientists' judgements about what kind of theory is most likely to be empirically successful, based on the relative empirical success and failure of different kinds of theories in the past. Scientists employ what McAllister dubs "the aesthetic induction". On the other hand, I have argued that we need to see science as making a hierarchy of metaphysical assumptions about the comprehensibility and knowability of the universe, these assumptions asserting less and less as one ascends the hierarchy. One of the more substantial of these assumptions is that the universe is physically comprehensible. The key non-empirical feature a body of fundamental theories in physics must possess to be acceptable is unity. The better such a body of theory exemplifies the metaphysical thesis that the universe is physically comprehensible, in the sense that it has a unified dynamic structure, so the more acceptable such a body of theory is, from this standpoint. This affects not just theoretical physics, but the whole of natural science. In this paper I compare and contrast, and try to assess impartially the relative merits of, these two views. (shrink)

Epistemic conservatism maintains that some beliefs are immediately justified simply because they are believed. The intuitive implausibility of this claim sets the burden of proof against it. Some epistemic conservatives have sought to lessen this burden by limiting its scope, but I show that they cannot remove it entirely. The only hope for epistemic conservativism is to appeal to its theoretical fruit. However, such a defense is undercut by the introduction of phenomenal conservatism, which accomplishes the same work from a (...) more intuitive starting point. Thus, if one opts for conservatism, better to choose the phenomenal kind. (shrink)

Timothy Hsiao asks a good question: Why believe animals deserve moral consideration? His answer is that we should not. He considers various other answers and finds them wanting. In this paper I consider an answer Hsiao has not yet discussed: We should accept a conservative view about how to form beliefs. And such a view will instruct us to believe that animals deserve moral consideration. I think conservatives like Hsiao do best to answer his question in a way that upholds (...) the moral status of animals. Since my answer is one Hsiao has not yet addressed, it is compatible with the main points he makes against various other motivations in his many papers on this topic. So my paper should be understood as an invitation to Hsiao to consider another answer. (shrink)

Design plays an integral role in the functions of modern society. Yet the abstract process by which designers carry out their work is not obvious. The study of design thinking has grown in recent years into a major area of academic research, yet it presently lacks a clear theoretical basis; and as a discipline, its methodologies are disparate. Here, we outline and clarify the framework of the scholarly study of design thinking, introducing the major ideas and concepts upon which the (...) field is based. We then discuss in detail the various methodological issues of the field, and argue that, in its current state, the field of design thinking cannot sustain itself as an independent area of academic research. We suggest that design thinking may best be studied from a sociological or science, technology, and society (STS) studies perspective. (shrink)

This article explores the implications of Michael Polanyi's concept of Tacit Knowledge for religious belief in general, and Christianity in particular, by investigating the relationship of tacit knowledge to commitment in scientific investigation, and extrapolating that relationship to commitments in the area of religious belief.

Conservatism about perceptual justification tells us that we cannot have perceptual justification to believe p unless we also have justification to believe that perceptual experiences are reliable. There are many ways to maintain this thesis, ways that have not been sufficiently appreciated. Most of these ways lead to at least one of two problems. The first is an over-intellectualization problem, whereas the second problem concerns the satisfaction of the epistemic basing requirement on justified belief. I argue that there is at (...) least one Conservative view that survives both difficulties, a view which has the further ability to undercut a crucial consideration that has supported Dogmatist views about perceptual justification. The final section explores a tension between Conservatism and the prospects of having a completely general account of propositional justification. Ironically, the problem is that Conservatives seem committed to making the acquisition of propositional justification too easy. My partial defense of Conservatism concludes by suggesting possible solutions to this problem. (shrink)

One increasingly popular technique in philosophy might be called the "platitudes analysis": a set of widely accepted claims about a given subject matter are collected, adjustments are made to the body of claims, and this is taken to specify a “role” for the phenomenon in question. (Perhaps the best-known example is analytic functionalism about mental states, where platitudes about belief, desire, intention etc. are together taken to give us a "role" for states to fill if they are to count as (...) mental states.) We then look to our best theory of the world to see where this role is satisfied, if at all. Unfortunately, the platitudes analysis, so characterised, does not seem to help when we are doing fundamental metaphysics—when we want to know what, at base, our world is like (and not merely where things like e.g. the mental would be found in an already-specified ontology). Nevertheless, I will argue that the platitudes analysis, properly understood, does have the materials to help us answer questions in fundamental metaphysics as well. I will explore three different ways it can do so. (shrink)

The predictive processing account of action, cognition, and perception is one of the most influential approaches to unifying research in cognitive science. However, its promises of grand unification will remain unfulfilled unless the account becomes theoretically robust. In this paper, we focus on empirical commitments of PP, since they are necessary both for its theoretical status to be established and for explanations of individual phenomena to be falsifiable. First, we argue that PP is a varied research tradition, which may employ (...) various kinds of scientific representations, differing in the scope of empirical commitments they entail. Two major perspectives on PP qua cognitive theory may then be distinguished: generalized vs. hierarchical. The first one fails to provide empirical detail, and the latter constrains possible physical implementations. However, we show that even hierarchical PP is insufficiently restrictive to disallow incorrect models and may be adjusted to explain any neurocognitive phenomenon–including non-existent or impossible ones–through flexible adjustments. This renders PP a universal modeling tool with an unrestricted number of degrees of freedom. Therefore, in contrast with declarations of its proponents, it should not be understood as a unifying theoretical perspective, but as a computational framework, possibly informing further theory development in cognitive science. (shrink)

Chapter 3 surveys objectivity in the natural sciences. Thomas Kuhn problematized the logicist understanding of the objectivity or rationality of scientific change, providing a very different picture than that of the cumulative or step-wise progress of theoretical science. Theories often compete, and when consensus builds around one competitor it may be for a variety of reasons other than just the direct logical implications of experimental successes and failures. Kuhn pitted the study of the actual history of science against what Hans (...) Reichenbach referred to as the “logical substitutes” logicists used to reconstruct the rationality of theory change. Such substitutes were promoted to show that theory confirmation is a purely epistemic affair, where purely epistemic implies purely inferential. But where the positivists saw logical compulsion as the reason for theory change, Kuhn saw psychology in values as relevant to how theories are actually confirmed or accepted by the scientific community. (shrink)

Bilim ve çarpık bilim arasına sınır çizebilmek için yapılan girişimler farklı teorilerin gelistirilmesini sağlamıştır. Henüz net bir sınır çizilememiştir ve tartışmalar devam etmektedir. İlk olarak doğrulama ve yanlışlama teorileri daha sonraları ise bilim çalışmalarını bir bütün olarak ele alan, araştırma programları olarak gören teoriler sunulmuştur. Bilimsel çalışmaların, yeni sorunlar üretmesi ve eleştirel bakış açısına sahip olması da bilim olanın sınırlarını çizebilmek için ölçütler arasında sayılmıştır. Bu çabalar ile bilim pratiklerinin irdelenmesi zamanla bilim insanına ve bilim kurumlarına yönelmiştir. Bu konunun önemli (...) bir sorunu bilim yolu ile ulaşabileceğimiz doğru bilginin ne olduğu ile neyin bilim olarak ele alınabileceğinin tek bir sorun gibi ele alınmasıdır. Bilimsel doğrunun ne olduğu ile bilimsel bilginin ne olduğu tartışması iç içe yürütülmektedir. Bir diğer sorun ise bilimin sınırlarını belirlerken bilim çalışmaları dışında etik ve sosyal ölçütler aranmasıdır. Bu yaklaşımlar konuyu çözümsüz bir noktaya götürmektedir. Diğer önemli nokta Astroloji örneğinin yanlış bilgilerle ele alınmasıdır. Bu çalışmada tartışmanın bilim pratiklerinde kalması gerektiği savunulmuştur. Çarpık bilimi ayırmak için sık kullanılan Astroloji örneği yeniden ele alınarak yanlış yargılara sebep olan bilgiler düzeltilmeye çalışılmıştır. Ayrıca önermelerin bilimsel doğruyu ayırma konusundaki önemi ve durumu tartışılmış böylece neyin bilim, neyin bilimsel doğru ve neyin bilim dışı olduğu netleştirilmeye çalışılmıştır. (shrink)

In this paper, I draw attention to a revolution in the metaphysical commitments of Western astrology. Although I do not wish to promote astrology, I propose a rational route to this revolution. But there is a strong argument, from a Popperian perspective, that my proposal fails to establish rationality. I then consider whether we should say that astrology is either false or unfalsifiable, drawing attention to some surprising findings from schizophrenia research. Also, in a footnote I present “Tompkins’ paradox.”.

Introduction: In the past, psychoanalysis was classified as a pseudoscience. Karl Popper was one of those who objected to the idea that psychoanalysis is a science, using falsifiability. However, falsifiability cannot be considered sufficient anymore, since it carries major weaknesses and better alternatives to address the issue are available. Objective: This article intends to evaluate the scientific status of psychoanalysis concerning the demarcation problem. Method: In order to do so, Sven Ove Hansson’s criteria were used. His proposal consists of a (...) set of sufficient and necessary conditions which is complemented by a multicriteria list that helps identifying pseudosciences. It was analyzed how much psychoanalysis fits each of Hansson's seven items, besides proposing the addition of an eighth. Results: The results showed that psychoanalysis was compatible with all eight demarcation of pseudoscience’s items. Conclusion: In the end, the conclusion was that even if falsifiability was to be dismissed, the evidence suggests that there are still enough reasons to affirm that psychoanalysis is a pseudoscience, since it significantly deviates from scientific quality standards. (shrink)

According to Karl Popper, science cannot verify its theories empirically, but it can falsify them, and that suffices to account for scientific progress. For Popper, a law or theory remains a pure conjecture, probability equal to zero, however massively corroborated empirically it may be. But it does just seem to be the case that science does verify empirically laws and theories. We trust our lives to such verifications when we fly in aeroplanes, cross bridges and take modern medicines. We can (...) do some justice to this apparent capacity of science to verify if we make a number of improvements to Popper’s philosophy of science. The key step is to recognize that physics, in accepting unified theories only, thereby makes a big metaphysical assumption about the nature of the universe. The outcome is a conception of scientific method which facilitates the criticism and improvement of metaphysical assumptions of physics. This view provides, not verification, but a perfect simulacrum of verification indistinguishable from the real thing. (shrink)

Karl Popper, ca raționalist critic, a fost un oponent al tuturor formelor de scepticism, convenționalism și relativism în știință. Multe dintre argumentele sale sunt îndreptate împotriva membrilor "Cercului Vienez". Popper este de acord cu aceștia cu privire la aspectele generale ale metodologiei științifice și neîncrederea lor în metodologia filosofică tradițională, dar soluțiile sale au fost semnificativ diferite. A contribuit semnificativ la dezbaterile privind metodologia științifică generală, demarcarea științei de pseudoștiință, natura probabilității și metodologia științelor sociale. DOI: 10.13140/RG.2.2.27356.85127/1 .

This paper discusses the logical possibility of testing inconsistent empirical theories. The main challenge for answering this affirmatively is to avoid that the inconsistent consequences of a theory both corroborate it and falsify it. I answer affirmatively by showing that we can define a class of empirical sentences whose truth would force us to abandon such inconsistent theory: the class of its potential rejecters. Despite this, I show that the observational contradictions implied by a theory could only be verified (provided (...) we make some assumptions), but not rejected. From this, it follows that, although inconsistent theories are rejectable, they cannot be rejected qua inconsistent. (shrink)

En el presente trabajo expongo la propuesta falsacionista de Karl Popper como resultado de su solución al problema de la inducción. En este sentido, la analizo bajo sus dos aspectos, el lógico y el metodológico. La idea detrás de ello es mostrar, en primer lugar, que su solución lógica al problema de la inducción es totalmente independiente de los criterios metodológicos que propone para la elección entre teorías rivales, y en segundo lugar, que estos últimos constituyen una transgresión a su (...) pretendida exclusión de la inducción en la práctica científica. (shrink)

Preuves et Réfutations est écrit comme une série de dialogues socratiques entre un groupe d'étudiants discutant de la démonstration des caractéristiques d'Euler définies pour les polyèdres. Le livre explique de nombreuses idées logiques importantes, mettant l'accent sur l'idée d'heuristique positive. Le livre comprend deux annexes. Dans le premier, Lakatos donne des exemples du processus heuristique de la découverte mathématique en particulier et du processus scientifique en général. Deuxièmement, il oppose les approches déductives et heuristiques et propose des analyses heuristiques des (...) concepts « preuves ». DOI: 10.13140/RG.2.2.20798.31042. (shrink)

This paper deals with a relatively recent trend in the history of analytic philosophy, philosophical logic, and theory of science: the philosophical study of the role of inconsistency in empirical science. This paper is divided in three sections that correspond to the three types of inconsistencies identified: (i) factual, occurring between theory and observations, (ii) external, occurring between two mutually contradictory theories, and (iii) internal, characterising theories that entail mutually contradictory statements.

This dissertation offers a proof of the logical possibility of testing empirical/factual theories that are inconsistent, but non-trivial. In particular, I discuss whether or not such theories can satisfy Popper's principle of falsifiablility. An inconsistent theory Ƭ closed under a classical consequence relation implies every statement of its language because in classical logic the inconsistency and triviality are coextensive. A theory Ƭ is consistent iff there is not a α such that Ƭ ⊢ α ∧ ¬α, otherwise it is inconsistent. (...) We say, instead, that Ƭ is non-trivial iff there is at least one α such that Ƭ ⊢ α, otherwise we say that it trivial. This happens because classical logic satisfies the principle of explosion, according ex contradictione sequitur quodlibet (from a contradiction anything follows). Under these conditions inconsistent classical theories would be compatible with any well-formed formula, which makes them useless for science. There are, however, so-called paraconsistent logics in which the principle of explosion does not generally hold and in which a theory can be (simply) inconsistent, but also absolutely consistent. It is in this logical framework that we can prove that some inconsistent theories can be falsifiable. (shrink)

Popper restricted his definition of falsifiability to consistent theories through what we may call his requirement of consistency. His main argument was that an inconsistent theory does not distinguish the sentences that corroborate it from those that contradict it, for all sentences follow from it. I propose to replace this requirement by the more basic requirement that the classes of potential corroborators and falsifiers of a theory do not overlap. This results not only in an unrestricted definition of falsifiability but (...) also in some inconsistent theories being falsifiable whenever that inconsistency is not located among its observational statements. Although this assumes a restriction of the principle of explosion or ex contradictione sequitur quodlibet (ECQ), it does not depend on any particular system or approach of paraconsistent logic. Finally, I propose to define the class of potential refuters of a theory, which is obtained by subtracting the class of potential corroborators from the class of potential falsifiers. Given that, by definition, the classes of potential refuters and corroborators of a theory do not overlap, it immediately follows that some observationally inconsistent theories are refutable in this sense. This establishes the bases for a new and more general formal theory of falsifiability of scientific factual/empirical theories. (shrink)

Peer review is an opportunity to perform an unlawful censorship which ensures that no apostate notion ever get published in mainstream journals. Or such peer review censorship is an opportunity to steal any content and to claim afterward the priority of first publication. And last but not least, the peer review is an academic tool to promote the mainstream pseudoscience.

Retractions play an important role in research communication by highlighting and explaining how research projects have failed and thereby preventing these mistakes from being repeated. However, the process of retraction and the data it produces is often sparse or incomplete. Drawing on evidence from 2046 retraction records, Quan-Hoang Vuong discusses the emerging trends this data highlights and argues for the need to enforce reporting standards for retractions, as a means of de-stigmatising retraction and rewarding practising integrity in the scholarly record.

The possibility of testing contradictory statements about the factual world has been suggested but barely discussed in the relevant literature. Here I argue that if we assume that there are contradictory observation sentences, it would be logically impossible to falsify them. Accordingly, the extension of the dialetheist programme into empirical science would be non-advisable, for it would introduce logically unfalsifiable claims.

In this paper I formalise the falsificationist proposal omitting Popper’s requirement of consistency. This omission results in (i) trivial theories being falsifiable in an inappropriate sense of the term, but also in (ii) some inconsistent non-trivial theories being so in an appropriate one. This justifies a slight alteration of the definition of falsifiability that excludes (i) but allows (ii). Instead of requiring that a falsifiable theory be consistent, my proposal only requires that the intersection of its classes of potential corroborators (...) and falsifiers be empty. (shrink)

A scientific theory, according to Popper, can be legitimately saved from falsification by introducing an auxiliary hypothesis to generate new, falsifiable predictions. Also, if there are suspicions of bias or error, the researchers might introduce an auxiliary falsifiable hypothesis that would allow testing. But this technique can not solve the problem in general, because any auxiliary hypothesis can be challenged in the same way, ad infinitum. To solve this regression, Popper introduces the idea of ​​a basic statement, an empirical statement (...) that can be used both to determine whether a given theory is falsifiable and, if necessary, to corroborate falsification assumptions. DOI: 10.13140/RG.2.2.22162.09923. (shrink)

În această lucrare argumentez faptul că, în ciuda criticilor teoriei falsificabilității propuse de Karl Popper pentru demarcarea între știință și ne-știință, în principal pseudoștiință, acest criteriu este încă foarte util, și perfect valabil după perfecționarea lui de către Popper și adepții lui. Mai mult, chiar și în versiunea sa inițială, considerată de Lakatos ca ”dogmatică”, Popper nu a afirmat că această metodologie este un criteriu absolut de demarcare: un singur contra-exemplu nu este suficient pentru a falsifica o teorie; mai mult, (...) o teorie poate fi salvată în mod legitim de falsificare prin introducerea unei ipoteze auxiliare. În comparație cu teoria lui Kuhn a revoluțiilor, de care el însuși s-a dezis ulterior transformând-o într-o teorie a ”micro-revoluțiilor”, consider că metodologia de demarcare a lui Popper, împreună cu dezvoltarea ulterioară propusă de acesta, inclusiv coroborarea și verosimilitudinea, deși imperfectă, nu numai că este valabilă și azi, dar este încă cea mai bună metodologie de demarcare. Pentru argumentare, m-am folosit de principalele lucrări ale lui Popper care tratează această problemă, și a principalilor săi critici și susținători. După o scurtă prezentare a lui Karl Popper, și o introducere în problema demarcației și metodologia falsificabilității, trec în revistă principalele critici aduse și argumentele susținătorilor săi, accentuând pe ideea că Popper nu a pus niciodată semnul egalității între falsificare și respingere. În final prezint propriile concluzii în această problemă. (shrink)

State of the art paper on the problem of induction: how to justify the conclusion that ‘all Fs are Gs’ from the premise that ‘all observed Fs are Gs’. The most prominent theories of contemporary philosophical literature are discussed and analysed, such as: inductivism, reliabilism, perspective of laws of nature, rationalism, falsificationism, the material theory of induction and probabilistic approaches, according to Carnap, Reichenbach and Bayesianism. In the end, we discuss the new problem of induction of Goodman, raised by the (...) grue predicate. (shrink)

Imre Lakatos' views on the philosophy of mathematics are important and they have often been underappreciated. The most obvious lacuna in this respect is the lack of detailed discussion and analysis of his 1976a paper and its implications for the methodology of mathematics, particularly its implications with respect to argumentation and the matter of how truths are established in mathematics. The most important themes that run through his work on the philosophy of mathematics and which culminate in the 1976a paper (...) are (1) the (quasi-)empirical character of mathematics and (2) the rejection of axiomatic deductivism as the basis of mathematical knowledge. In this paper Lakatos' later views on the quasi-empirical nature of mathematical theories and methodology are examined and specific attention is paid to what this view implies about the nature of mathematical argumentation and its relation to the empirical sciences. (shrink)

In their critique of Klein (2014a), Trafimow and Earp present two theses. First, they argue that, contra Klein, a well-specified theory is not a necessary condition for successful replication. Second, they contend that even when there is a well-specified theory, replication depends more on auxiliary assumptions than on theory proper. I take issue with both claims, arguing that (a) their first thesis confuses a material conditional (what I said) with a modal claim (T&E’s misreading of what I said), and (b) (...) their second thesis has the unfortunate consequence of refuting their first thesis. (shrink)

Hempel, Popper, and Kuhn argue that to be scientific is to be testable, to be falsifiable, and most nearly to do normal science, respectively. I argue that to be scientific is largely to be interactive, offering some examples from science to show that the ideas from different fields of science interact with one another. The results of the interactions are that hypotheses become more plausible, new phenomena are explained and predicted, we understand phenomena from a new perspective, and our worldview (...) becomes simpler. I also argue that given that the interactions are impressive features of science, astrology and religion would be regarded as science, provided that there are similar interactions in those enterprises. (shrink)

The paper demonstrates that falsifiability is fundamental to learning. We prove the following theorem for statistical learning and sequential prediction: If a theory is falsifiable then it is learnable -- i.e. admits a strategy that predicts optimally. An analogous result is shown for universal induction.

From the early-1950s on, F.A. Hayek was concerned with the development of a methodology of sciences that study systems of complex phenomena. Hayek argued that the knowledge that can be acquired about such systems is, in virtue of their complexity (and the comparatively narrow boundaries of human cognitive faculties), relatively limited. The paper aims to elucidate the implications of Hayek’s methodology with respect to the specific dimensions along which the scientist’s knowledge of some complex phenomena may be limited. Hayek’s fallibilism (...) was an essential (if not always explicit) aspect of his arguments against the defenders of both socialism ([1935] 1948, [1940] 1948) and countercyclical monetary policy ([1975] 1978); yet, despite the fact that his conceptions of both complex phenomena and the methodology appropriate to their investigation imply that ignorance might beset the scientist in multiple respects, he never explicated all of these consequences. The specificity of a scientific prediction depends on the extent of the scientist’s knowledge concerning the phenomena under investigation. The paper offers an account of the considerations that determine the extent to which a theory’s implications prohibit the occurrence of particular events in the relevant domain. This theory of “predictive degree” both expresses and – as the phenomena of scientific prediction are themselves complex in Hayek’s sense – exemplifies the intuition that the specificity of a scientific prediction depends on the relevant knowledge available. (shrink)

In paragraph 21 of his "Logic of Scientific Discovery", Karl Popper characterizes with the help of two seemingly synonymous definitions the falsifiability of a theory as a logical relation between the theory itself and its basic statements. It is shown that his definitions do not agree with each other, and this result is applied to the problem of the falsifiability of contradictions, to the difference between falsifiable and empirical statements and to the demarcation criterion.

The critique of the dogmatism of a-priorism from the Popperians suffered from the fact that Popper, too, was moving towards a certain dogmatic derivation. According to the a-priorists, in wanting to protect himself from any would-be-critics who would argue against the dogmatism of his approach, Popper left his philosophical foundation free to the critics. In fighting against German essentialism, he found himself in a position that necessitated the abandonment of either his presupposed anti-essentialism, or his critique of the positivists. Popper's (...) success stems less from his ability to rally the anti-historicist positivists towards the search for scientific foundations, than the fact that he was one of the greatest, if not the greatest, theoreticians of the scientific method, and critic of ideological simplicity. (shrink)

We information-theoretically reformulate two measures of capacity from statistical learning theory: empirical VC-entropy and empirical Rademacher complexity. We show these capacity measures count the number of hypotheses about a dataset that a learning algorithm falsifies when it finds the classifier in its repertoire minimizing empirical risk. It then follows from that the future performance of predictors on unseen data is controlled in part by how many hypotheses the learner falsifies. As a corollary we show that empirical VC-entropy quantifies the message (...) length of the true hypothesis in the optimal code of a particular probability distribution, the so-called actual repertoire. (shrink)

There are (at least) three approaches to quantifying information. The first, algorithmic information or Kolmogorov complexity, takes events as strings and, given a universal Turing machine, quantifies the information content of a string as the length of the shortest program producing it [1]. The second, Shannon information, takes events as belonging to ensembles and quantifies the information resulting from observing the given event in terms of the number of alternate events that have been ruled out [2]. The third, statistical learning (...) theory, has introduced measures of capacity that control (in part) the expected risk of classifiers [3]. These capacities quantify the expectations regarding future data that learning algorithms embed into classifiers. Solomonoff and Hutter have applied algorithmic information to prove remarkable results on universal induction. Shannon information provides the mathematical foundation for communication and coding theory. However, both approaches have shortcomings. Algorithmic information is not computable, severely limiting its practical usefulness. Shannon information refers to ensembles rather than actual events: it makes no sense to compute the Shannon information of a single string – or rather, there are many answers to this question depending on how a related ensemble is constructed. Although there are asymptotic results linking algorithmic and Shannon information, it is unsatisfying that there is such a large gap – a difference in kind – between the two measures. This note describes a new method of quantifying information, effective information, that links algorithmic information to Shannon information, and also links both to capacities arising in statistical learning theory [4, 5]. After introducing the measure, we show that it provides a non-universal analog of Kolmogorov complexity. We then apply it to derive basic capacities in statistical learning theory: empirical VC-entropy and empirical Rademacher complexity. A nice byproduct of our approach is an interpretation of the explanatory power of a learning algorithm in terms of the number of hypotheses it falsifies [6], counted in two different ways for the two capacities. We also discuss how effective information relates to information gain, Shannon and mutual information. (shrink)

I confront Feyerabend's position and critical rationalism in order to have a foundation or starting point for my (historical) investigation. The main difference of his position towards falsificationism is the belief that different theories cannot be discussed rationally. Feyerabend is convinced that Galilei's observations with the telescope in the historical context of the Copernican revolution supports his criticism. In particular, he argues that the Copernican theory was supported by deficient hypotheses, and falsifications were disposed by ad hoc hypotheses and propaganda. (...) Furthermore, he claims that his philosophy of science reconstructs Galilei's defence of the Copernican theory. He introduces a central principle of his position (the principle of tenacity) in order to justify a research strategy of not eliminating falsified theories. He tries to show that the tenacious defence of a theory corresponds to Galilei's defence of the Copernican theory. Remarkably, Feyerabend's approach to explain the development of science earns an important support from his interpretation of Galilei's observations. On this basis I give a falsificationist interpretation of Galilei's observations with the telescope, and oppose this interpretation to Feyerabend's. From a falsificationist perspective, auxiliary hypotheses compete during the Copernican revolution which can (with some effort) be critically discussed. Then I analyse the historical case in order to test Feyerabend's interpretation of the Copernican revolution. Inter alias I investigate thoroughly whether Galilei, as Feyerabend claims, immunised falsifications of the Copernican theory by the introduction of ad hoc hypotheses. The investigation considers Galilei's explanation of Venus' phases, his establishment of the irradiation hypothesis, the explanation of the telescope's functionality, and the role of the reproducibility of the observations with the telescope. Finally I provide a rational reconstruction of Galilei's falsification of the Ptolemaic theory. The formalisation shows that Galilei was not a cautious critical rationalist, but a very confident scientist using the method of falsification. (shrink)

The paper aims to expound on the issue of science being different from non science or prescience in the form of the scientific methodology used. Popper’s method of falsifiability ensures the aim of science to be successful. The aim of science which also needs a critical attitude, can enable scientific progress by rejecting inductivism as its scientific methodology. Popper’s view on what the aim of science is and why and how inductivism fails in the case of science, along with examples (...) from history of science besides its impact on philosophical foundations of science, has been stressed in the paper. (shrink)