Recent work on analyticity distinguishes two kinds, metaphysical and epistemic. This paper argues that the distinction allows for a new view in the philosophy of logic according to which the claims of logic are metaphysically analytic and have distinctive modal profiles, even though their epistemology is holist and in many ways rather Quinean. It is argued that such a view combines some of the more attractive aspects of the Carnapian and Quinean approaches to logic, whilst avoiding (...) some famous problems. (shrink)

This article describes some core elements of Logic-Based Therapy and Consultation and examines some of their epistemic properties.

The essay addresses the well‐known idea that there has to be a place for intuition, thought of as a kind of non‐inferential rational insight, in the epistemology of basic logic if our knowledge of its principles is non‐empirical and is to allow of any finite, non‐circular reconstruction. It is argued that the error in this idea consists in its overlooking the possibility that there is, properly speaking, no knowledge of the validity of principles of basic logic. When (...) certain important distinctions are observed, for instance that between recognising that Modus Ponenes is sound and recognising that it is proof against the competent discovery of basic counterexamples, the case for thinking that there is indeed no space for genuine recognition of the validity of Modus Ponens becomes increasingly impressive. It is argued however that, the impossibility of knowledge notwithstanding, we are, in an important sense, entitled to take it that Modus Ponens is sound and that this notion of entitlement can help break the trichotomy ‐ intuition, inference, experience ‐ which imprisons our ordinary thinking about logical knowledge. (shrink)

This paper is about the putative theoretical virtue of strength, as it might be used in abductive arguments to the correct logic in the epistemology of logic. It argues for three theses. The first is that the well-defined property of logical strength is neither a virtue nor a vice, so that logically weaker theories are not—all other things being equal—worse or better theories than logically stronger ones. The second thesis is that logical strength does not entail the (...) looser characteristic of scientific strength, and the third is that many modern logics are on a par—or can be made to be on a par—with respect to scientific strength. (shrink)

This essay attempts to clarify the project of explaining the possibility of ‘blind reasoning’—namely, of basic logical inferences to which we are entitled without our having an explicit justification for them. The role played by inferentialism in this project is examined and objections made to inferentialism by Paolo Casalegno and Timothy Williamson are answered. Casalegno proposes a recipe for formulating a counterexample to any proposed constitutive inferential role by imaging a subject who understands the logical constant in question but fails (...) to have the capacity to make the inference in question; Williamson’s recipe turns on imagining an expert who continues to understand the constant in question while having developed sophisticated considerations for refusing to make it. It’s argued that neither recipe succeeds. (shrink)

After introducing the adoption problem (AP) as the claim that certain basic logical principles cannot be adopted, I offer a characterization of this notion as a two-phase process consisting in (1) the acceptance of a basic logical principle, and (2) the development, in virtue of Phase 1, of a practice of inferring in accordance with that principle. The case of a subject who does not infer in accordance with universal instantiation is considered in detail. I argue that the AP has (...) deep and wide implications for the epistemology of logic, extending well beyond Kripke’s original target, viz. Putnam’s proposal for the empirical revision of logic and its background Quinean epistemology. In particular, the AP questions whether basic logical principles could have a fundamental role in our inferential practices, drawing our attention to the nature of basic inferences and the need to have a clearer conception of them before taking a stand on the matter of the epistemic justification of the logical principles. (shrink)

We think of logic as objective. We also think that we are reliable about logic. These views jointly generate a puzzle: How is it that we are reliable about logic? How is it that our logical beliefs match an objective domain of logical fact? This is an instance of a more general challenge to explain our reliability about a priori domains. In this paper, I argue that the nature of this challenge has not been properly understood. I (...) explicate the challenge both in general and for the particular case of logic. I also argue that two seemingly attractive responses – appealing to a faculty of rational insight or to the nature of concept possession – are incapable of answering the challenge. (shrink)

On an internalist account of logical inference, we are warranted in drawing conclusions from accepted premises on the basis of our knowledge of logical laws. Lewis Carroll's regress challenges internalism by purporting to show that this kind of warrant cannot ground the move from premises to conclusion. Carroll's regress vindicates a repudiation of internalism and leads to the espousal of a standpoint that regards our inferential practice as not being grounded on our knowledge of logical laws. Such a standpoint can (...) take two forms. One can adopt either a broadly externalist model of inference or a sceptical stance. I will attempt, in what follows, to defend a version of internalism which is not affected by the regress. The main strategy will be to show that externalism and scepticism are not satisfying standpoints to adopt with regard to our inferential practice, and then to suggest an internalist alternative. (shrink)

On an internalist account of logical inference, we are warranted in drawing conclusions from accepted premises on the basis of our knowledge of logical laws. Lewis Carroll’s regress challenges internalism by purporting to show that this kind of warrant cannot ground the move from premises to conclusion. Carroll’s regress vindicates a repudiation of internalism and leads to the espousal of a standpoint that regards our inferential practice as not being grounded on our knowledge of logical laws. Such a standpoint can (...) take two forms. One can adopt either a broadly externalist model of inference or a sceptical stance. I will attempt, in what follows, to defend a version of internalism which is not affected by the regress. The main strategy will be to show that externalism and scepticism are not satisfying standpoints to adopt with regard to our inferential practice, and then to suggest an internalist alternative. (shrink)

본 연구는 기하학에 대한 구조-구성주의 인식론을 정당화하는 것이다. 즉 구조주의와 구성주의를 융합하는 필자의 고유한 인식론으로 기하학적 인식의 본성을 해명하는 것이다. 그러나 현재의 연구는 이러한 큰 주제에 접근하기 위한 예비적 연구로서 칸트의 기하학적 직관 개념에 대한 역사-비판적 분석을 제공하는 데 한정된다. 잘 알려져 있는 것처럼, 칸트는 수학적 인식, 특히 기하학적 인식을 위해서 직관이 핵심적으로 중요하다고 주장했다. 그런데 칸트가 말하는 기하학적 인식을 위한 직관의 역할이 무엇인지는 여전히 논쟁적이다. 이점과 관련해서 역사적으로 대립적인 두 가지 해석이 있다. 하나는 베스(E. Beth), 힌티카(J. Hintikka), 프리드만(M. Fridman) (...) 등으로 이어지는 논리적 해석이며, 다른 하나는 파슨스(Parsons)와 칼슨(E. Carson)에 의해 제공된 현상학적 해석이다. 이에 필자는 특히 프리드만과 칼슨의 논쟁을 중심으로 두 해석의 내용을 재구성하고, 다음에 두 해석의 종합 가능성을 해명하고자 한다. 이를 위해 헬름홀츠-피아제의 인식론, 즉 “군 이론”에 근거한 새로운 구성주의 인식론을 제안할 것이다. 그러나 본고에서는 1차적 근사의 차원에서 그 개략적 구조만을 소개하는 데 만족하고, 종합의 구체적 내용인, 헬름홀츠-피아제의 공간 인식론에 근거한 구조-구성주의 공간 이론은 다른 지면에서 전개될 것이다. (shrink)

What I will call “the deviant logician objection” [DLO] is one line of attack against the common and compelling tenet that our justification for logical truths is grounded in our understanding of their constituent concepts. This objection seeks to undermine the possibility of any deep constitutive connection, in the epistemology of logic, between understanding and justification. I will consider varieties of the deviant logician objection developed by Horwich and by Williamson. My thesis is that while the deviant logician (...) objection falls short of proving that this traditional tenet must be rejected, nonetheless it serves to bolster some important refinements. (shrink)

somewhat like Henkin's nonstandard interpretation of higher-order logics, while the right semantics [or logical modalities is an analogue to the standard of type theory in Henkin's sense. interpretation Another possibility would be to follow W.V. Quine's advice to give up logi­ cal modalities as being beyond repair. Or we could also try to develop a logic of conceptual possibility, restricting the range of our "possible worlds" to those compatible with the transcendental presuppositions of our own conceptual sys­ tem. This (...) looks in fact like one of the most interesting possible theories I have dreamt of developing but undoubtedly never will. Its kinship with Kant's way of thinking should be obvious. Besides putting the entire enterprise of possible-worlds semantics into a perspective, we can also see that the actual history of possible-worlds seman­ tics is more complicated than it might first appear to be. For the standard in­ terpretation of modal logics has reared its beautiful head repeatedly in the writings of Stig Kanger, Richard Montague the pre-Montague-semantics theorist, and Nino Cocchiarella. (shrink)

Recent work on analyticity distinguishes two kinds, metaphysical and epistemic. This paper argues that the distinction allows for a new view in the philosophy of logic according to which the claims of logic are metaphysically analytic and have distinctive modal profiles, even though their epistemology is holist and in many ways rather Quinean. It is argued that such a view combines some of the more attractive aspects of the Carnapian and Quinean approaches to logic, whilst avoiding (...) some famous problems. (shrink)

Metaphysical and epistemological commitments seem to determine the course of research in the field of logic as well as its theoretical interpretation. What we take the objects of logical investigation to be determines our views on how they are to be known, and our view of the possible types of knowledge in turn places restrictions on what kinds of things those objects could be. Perhaps it is true that logical studies can be pursued to great lengths without indulging in (...) general declarations about the nature of reality or of human knowledge. But to say this is very far from admitting the possibility of “logic without ontology.” The thoughtful beginning student in logic quickly wants to know what it is he or she is really studying and what, precisely, it has to do with the real worlds. The slightest philosophical stimulation will lead him or her, further, to ask about the evidence supporting the various sorts of claims made as the course progresses, and about the methodology of logic from a scientific point of view. Rarely is any answer given to such questions, much less a reasonable and well elaborated one. Questions of this type are usually discouraged and avoided by text books and instructors, and there may even be some suggestion that to ask them evidences confusion and stupidity. But when they are pressed it turns out that logic as a field of knowledge and inquiry remains in chaos at its philosophical foundations. I mean by this that the leading investigators cannot agree—indeed, they disagree in dimensions categorial—concerning what the subject of logical knowledge is, and concerning the modes of logical knowledge. (shrink)

Every essay in The Logic of Epistemology and the Epistemology of Logic deals with various problems arising from "possible world semantics." A philosopher with little understanding of these problems naturally approaches a book having such a title with some trepidation. It is clear enough what the logic of epistemology is; the notion of an epistemology of logic is intelligible only from a certain philosophical perspective. Those philosophers who think of "possible world semantics" (...) as a basically misconceived endeavor will find very little in this book to make them reconsider their position. Jaakko Hintikka notes in his introduction that "expressions of frustration and criticisms have been levelled at the entire enterprise...," and recognizes that a systematic treatment is needed. He does not pretend that this book is such a treatment, and indeed it is not. It is simply a collection of fourteen essays. Merrill Hintikka is credited as the co-author of two of the essays, and her help with others is acknowledged. (shrink)

This paper deals with Husserl’s idea of pure logic as it is coined in the Logical Investigations. First, it exposes the formation of pure logic around a conception of completeness ; then, it presents intentionality as the keystone of such a structuring ; and finally, it provides a systematic reconstruction of pure logic from the semiotic standpoint of intentionality. In this way, it establishes Husserlian pure logic as a phenomenological epistemology of mathematical logic.

Conditionals are sentences of the form 'If A, then B', and they play a central role in scientific, logical, and everyday reasoning. They have been in the philosophical limelight for centuries, and more recently, they have been receiving attention from psychologists, linguists, and computer scientists. In spite of this, many key questions concerning conditionals remain unanswered. While most of the work on conditionals has addressed semantical questions - questions about the truth conditions of conditionals - this book focuses on the (...) main epistemological questions that conditionals give rise to, such as: what are the probabilities of conditionals? When is a conditional acceptable or assertable? What do we learn when we receive new conditional information? In answering these questions, this book combines the formal tools of logic and probability theory with the experimental approach of cognitive psychology. It will be of interest to students and researchers in logic, epistemology, and psychology of reasoning. (shrink)

The impact of social factors upon the philosophical investigations in a broad sense is quite evident. Nevertheless their impact upon epistemology as a branch of philosophy, logic, and history of science as fields of research with noticeable philosophical content is not evident enough. We are keen to claim that this impact exists within some limits, although it is not so overtly evident. Moreover in the case of Marxism it is of a paradoxical nature. Marxism always puts the accent (...) on the role of social and economic factors in the development, development of science included. To a large extent due to Marxism, externalism emerged; the key idea of externalism may be expressed through the statement that social and economic reasons are the main sources of development of science. B.M. Hessen declared and did his best in 1931 to justify this statement through the example of the emergence of classical mechanics. Meanwhile the social milieu of Marxist countries placed a taboo on the externalist approach towards epistemology, the interpretation of logic, and history of science. All these fields of knowledge were evolved in the Marxist era in the USSR and Eastern Europe - despite the spirit of Marxism - within strict internalist boarders. We offer the explanation of this contradiction. (shrink)

In a world of appalling social inequalities people are becoming more aware of the multiple dimensions of injustice, whether social, political, cultural, sexual, ethnic, religious, historical, or ecological. Rarely acknowledged is another vital dimension: cognitive injustice, the failure to recognize the different ways of knowing by which people across the globe run their lives and provide meaning to their existence. This book shows why cognitive injustice underlies all the other dimensions; global social justice is not possible without global cognitive justice. (...) Santos s argument unfolds in two inquiries. No matter how internally diverse, Western Modernity provided the knowledge underlying the long cycle of colonialism followed by global capitalism. These historical processes profoundly devalued and marginalized the knowledge and wisdom that had been in existence in the global South. Today, working against epistemicide is imperative in order to recover and valorize the epistemological diversity of the world. Such recovery and valorization is the book s second inquiry and is based on four key analytical tools: sociology of absences, sociology of emergences, ecology of knowledges, and intercultural translation. The transformation of the world s epistemological diversity into an empowering instrument against hegemonic globalization points to a new kind of bottom-up cosmopolitanism. It would promote a wide conversation of humankind, celebrating conviviality, solidarity, and life against the logic of market-ridden greed and individualism and the destruction of life to which world populations large and small are condemned by the dominant forces of globalization. --Provided by publisher. (shrink)

In two recent papers, Bob Hale has attempted to free second-order logic of the 'staggering existential assumptions' with which Quine famously attempted to saddle it. I argue, first, that the ontological issue is at best secondary: the crucial issue about second-order logic, at least for a neo-logicist, is epistemological. I then argue that neither Crispin Wright's attempt to characterize a `neutralist' conception of quantification that is wholly independent of existential commitment, nor Hale's attempt to characterize the second-order domain (...) in terms of definability, can serve a neo-logicist's purposes. The problem, in both cases, is similar: neither Wright nor Hale is sufficiently sensitive to the demands that impredicativity imposes. Finally, I defend my own earlier attempt to finesse this issue, in "A Logic for Frege's Theorem", from Hale's criticisms. (shrink)

The dissertation contrasts Kant's epistemological assertiveness with his ontological skepticism as a central issue in the development of the discourse in German Idealism. Fichte's phenomenological demarche essentially amplifies this problem but, at the same time, allows him to advance a path breaking critique of formal logic and to stress the importance of contradiction. Schelling, by restoring metaphysics, attempts to overcome Fichte's contrast between ontological dualism and epistemological monism. Finally, it is Hegel who directly addresses the need for a non-formal (...) cognitive logic. The author analyzes Hegel's deduction in the Phenomenology, invokes current genetic epistemology, and reads the Science of Logic as a genetic theory of systematic knowledge and as circular epistemology. Emphasizing the unity between the logical and the historical, the distinction between intellectual and rational explanation, and the cognitive importance of contradiction, the dissertation argues for the possibility a coming-to-be totality of reflective scientific reason. (shrink)

In this paper I outline my conception of the epistemology of science, by reference to my published papers, showing how the ideas presented there fit together. In particular I discuss the aim of science, scientific progress, the nature of scientific evidence, the failings of empiricism, inference to the best (or only) explanation, and Kuhnian psychology of discovery. Throughout, I emphasize the significance of the concept of scientific knowledge.

The method of doubt has been used in philosophy and theology by both philosophers and theologians, among them al-Ghazālī. Al-Ghazālī’s method conveys the process of how he was cured of his epistemological and existential crisis. This study analyzes each phase of the process in terms of epistemology and logic; it explains the problems and how they appeared to al-Ghazālī.

The method of doubt has been used in philosophy and theology by both philosophers and theologians, among them al-Ghazālī. Al-Ghazālī’s method conveys the process of how he was cured of his epistemological and existential crisis. This study analyzes each phase of the process in terms of epistemology and logic; it explains the problems and how they appeared to al-Ghazālī.

Agustín Rayo’s The Construction of Logical Space offers an exciting and ambitious defense of a broadly Carnapian approach to metaphysics. This essay will focus on one of the main differences between Rayo’s and Carnap’s approaches. Carnap distinguished between analytic, a priori “meaning postulates”, and empirical claims, which were both synthetic and knowable only a posteriori. Like meaning postulates, they determine the boundaries of logical space. But Rayo is skeptical that the a priori/a posteriori or analytic/synthetic distinctions can do the work (...) Carnap wanted them to, so unlike meaning postulates, ‘just is’-statements aren’t assumed to be analytic or knowable a priori. This essay will concern the epistemology of ‘just is’-statements in Rayo’s picture. If not by a priori reflection, how can we determine which ones to accept? I’ll distinguish two competing strands in Rayo’s work. The less radical, Lewisian strand holds that the question of whether to accept a ‘just is’-statement can be addressed in a neutral, non-question-begging way, by a kind of cost-benefit analysis. The more radical, Kuhnian strand holds that there can be no ‘just is’-statement-independent, rational choice of which ‘just is’-statements to accept. I argue that Rayo faces strong internal pressure to adopt the Kuhnian picture. While it is possible for Rayo to resist these Kuhnian pressures, natural strategies for doing so leave his view more similar to Carnap’s than the above gloss suggested. (shrink)

This chapter contains sections titled: Belief Revision in Latin America: The Legacy of Carlos Alchourrón The AGM Approach The Logic of Theory Change and Epistemology What Is an Epistemic State? Departures from AGM References.

In the process of challenging epistemological assumptions that preclude relationships between knowers and the objects of knowing, feminist epistemologists Lorraine Code and Donna Haraway also can be interpreted as troubling forms of argumentation predicated on positivist-derived logic. Against the latter, Christopher Tindale promotes a rhetorical model of argument that appears able to better engage epistemologies of situated knowledges. I detail key features of the latter from Code, especially, and compare and contrast them with relevant parts of Tindale’s discussion of (...) context on the rhetorical model, and I suggest ways that his work could be expanded to accommodate rhetorical implications of situated knowledges. (shrink)

This article examines the translator, Rongzom’s, scholastic philosophical defense of early Dzokchen or “Great Perfection.” As our earliest instance of religious apologia in Tibet, this examination contributes to a growing body of knowledge about the Tibetan assimilation of post-tenth century of Vajrayāna Buddhism and the indigenous response to the forces of cultural transformation shaping the late eleventh/early twelfth century Tibet. Traditional authorities and academics have identified Dzokchen as a Tibetan tradition of Buddhism that drew intense criticism at the time from (...) renaissance agents. This paper explores the primary Tibetan response by describing Rongzom’s philosophical defense of Great Perfection. As such, it illuminates the intellectual and ideological context of the milieu as it evinces Rongzom’s innovation and mastery of Indian systems of logic, language, and epistemology in the Dzokchen approach to the Buddhist path. (shrink)

I briefly discuss the epistemological role of quasi-set theory in mathematics and theoretical physics. Quasi-set theory is a first order theory, based on Zermelo-Fraenkel set theory with Urelemente. Nevertheless, quasi-set theory allows us to cope with certain collections of objects where the usual notion of identity is not applicable, in the sense that $x = x$ is not a formula, if $x$ is an arbitrary term. Basically, quasi-set theory offers us some sort of logical apparatus for questioning the need for (...) identity in some branches of mathematics and theoretical physics. I also use this opportunity to discuss a misunderstanding about quasi-sets due mainly to Nicholas J. J. Smith, who argues, in a general way, that sense cannot be made of vague identity. (shrink)

Conversation, dialogue, reasonable disagreement, and the acquisition of knowledge through the words of others, all of this has always been at the center of philosophers’ concerns since the emergence of philosophy in Ancient Greece. It is also important to recognize that in contemporary philosophy, marked by the linguistic turn, there is a wealth of intellectual production on ethical, psycho-linguistic, logical-linguistic, and pragmatic aspects of the conversation. Despite all this, this is the first collection of texts dedicated exclusively to the strictly (...) epistemic aspects of this phenomenon which is so decisive for the very constitution of our humanity. This book brings together the contributions of fifteen leading philosophers on some of the most relevant issues of what we could call the Epistemology of Conversation. (shrink)

An epistemology of art has seemed problematic mainly because of arguments claiming that an essential element of a theory of knowledge, truth, has no place in aesthetic contexts. For, if it is objectively true that something is beautiful, it seems to follow that the predicate “is beautiful” expresses a property – a view asserted by Plato but denied by Hume and Kant. But then, if the belief that something is beautiful is not objectively true, we cannot be said to (...) know that something is beautiful and the path to an epistemology of art is effectively blocked. The article places the existence aesthetic properties in the proper context; presents a logically correct argument for the existence of such properties; identifies strategies for responding to this argument; explains why objections by Hume, Kant, and several other philosophers fail; and sketches a realization account of beauty influenced by Hogarth. (shrink)

This paper proposes new semantics for propositional dynamic logic (PDL), replacing the standard relational semantics. Under these new semantics, program execution is represented as fundamentally deterministic (i.e., functional), while nondeterminism emerges as an epistemic relationship between the agent and the system: intuitively, the nondeterministic outcomes of a given process are precisely those that cannot be ruled out in advance. We formalize these notions using topology and the framework of dynamic topological logic (DTL) (Kremer and Mints in Ann Pure (...) Appl Logic 131:133–158, 2005). We show that DTL can be used to interpret the language of PDL in a manner that captures the intuition above, and moreover that continuous functions in this setting correspond exactly to deterministic processes. We also prove that certain axiomatizations of PDL remain sound and complete with respect to the corresponding classes of dynamic topological models. Finally, we extend the framework to incorporate knowledge using the machinery of subset space logic (Dabrowski et al. in Ann Pure Appl Logic 78:73–110, 1996), and show that the topological interpretation of public announcements as given in Bjorndahl (in: van Ditmarsch and Sandu (eds) Jaakko Hintikka on knowledge and game theoretical semantics, outstanding contributions to Logic, vol 12, Springer, 2018) coincides exactly with a natural interpretation of test programs. (shrink)

Spontaneously broken symmetries are often called hidden or secret symmetries. They are symmetries in the laws of nature that do not show up in observable phenomena. This raises the basic epistemological question: Is there reason to believe that these hidden symmetries are real features of nature rather than artifacts of theorizing. This paper clarifies the epistemic status of spontaneously broken symmetries. It presents the details of an argument by analogy that suggests the spontaneously broken gauge symmetry of electroweak interactions, and (...) the subsequent hypothetico-deductive testing of the hypothesis. It is a story of how dubious means can lead to a credible end. (shrink)

Transcendental epistemology of physics Content Type Journal Article Pages 1-3 DOI 10.1007/s11016-010-9507-z Authors Andrés Rivadulla, Department of Logic and Philosophy of Science, Complutense University, 28040 Madrid, Spain Journal Metascience Online ISSN 1467-9981 Print ISSN 0815-0796.

Abstract. Traditional epistemology of knowledge and belief can be succinctly characterized as JTB-epistemology, i.e., it is characterized by the thesis that knowledge is justified true belief. Since Gettier’s trail-blazing paper of 1963 this account has become under heavy attack. The aim of is paper is to study the Gettier problem and related issues in the framework of topological epistemic logic. It is shown that in the framework of topological epistemic logic Gettier situations necessarily occur for most (...) topological models of knowledge and belief. On the other hand, there exists a special class of topological models (based on so called nodec spaces) for which traditional JTB-epistemology is valid. Further, it is shown that for each topological model of Stalnaker’s combined logic KB of knowledge and belief a canonical JTB-model (its JTB-doppelganger) can be constructed that shares many structural properties with the original model but is free of Gettier situations. The topological model and its JTB-doppelganger both share the same justified belief operator and have very similar knowledge operators. Seen from a somewhat different perspective, the JTB-account of epistemology amounts to a simplification of a more general epistemological account of knowledge and belief that assumes that these two concepts may differ in some cases. The JTB-account of knowledge and belief assumes that the epistemic agent’s cognitive powers are rather large. Thereby in the JTB-epistemology Gettier cases do not occur. Eventually, it is shown that for all topological models of Stalnaker’s KB-logic Gettier situations are topologically characterized as nowhere dense situations. This entails that Gettier situations are epistemologically invisible in the sense that they can neither be known nor believed with justification with respect to the knowledge operator and the belief operator of the models involved. (shrink)

Spontaneously broken symmetries are often called hidden or secret symmetries. They are symmetries in the laws of nature that do not show up in observable phenomena. This raises the basic epistemological question: Is there reason to believe that these hidden symmetries are real features of nature rather than artifacts of theorizing. This paper clarifies the epistemic status of spontaneously broken symmetries. It presents the details of an argument by analogy that suggests the spontaneously broken gauge symmetry of electroweak interactions, and (...) the subsequent hypothetico-deductive testing of the hypothesis. It is a story of how dubious means can lead to a credible end. (shrink)