According to Roderick Chisholm, there are three ways of responding to the Problem of the Criterion and they all leave something to be desired. Michael DePaul, Paul Moser, and Earl Conee have each proposed variations of a fourth way of responding to this problem that rely on reflective equilibrium. We argue that these four options for responding to the Problem of the Criterion leave one with a tough choice: accept one of the three that Chisholm describes or DePaul’s reflective equilibrium (...) approach and beg the question or accept a reflective equilibrium response of the sort Conee and Moser propose and embrace epistemic circularity. (shrink)

Riddles of induction – old or new, Hume’s or Goodman’s – pose unanswered challenges to assumptions that experiences logically legitimate expectations or classifications. The challenges apply both to folk beliefs and to scientific ones. In particular, Goodman’s ‘new riddle’ famously confounds efforts to specify how additional experiences confirm the rightness of currently preferred ways of organizing objects, i.e. our favored theories of what kinds there are.1 His riddle serves to emphasize that neither logic nor experience certifies accepted groupings of objects (...) into kinds.2 Hacking strongly endorses Goodman’s riddle and its chief consequences – nature does not dictate any organizing scheme to us, and different schemes need have no connection to one another. (shrink)

Empirical examinations about cross-cultural variability of intuitions, the well-known publication of Stich and his colleagues criticiz-ing thought-experiments and intuitions in philosophical debates, is still a challenge that faces analytical philosophers, as any systematic investigation of the methodology of philosophy must give answers to these basic questions: What is intuition? What role should intuitions play in philosophy? I present and examine the sceptical argument of experimental philosophers, and claim that experimental philosophers misunderstand the role of evidence in philosophy. My argument will (...) utilize Goldman’s view, according to which intuitions give reliable evidence about a person’s concepts, and this knowledge is valuable for further philosophical research as well. I will argue that the sceptical conclusions of experimental philosophers are harmless against this conception of philosophy, because even from a naturalist perspective certain kind of intuitive judgments about our concepts can be warranted, and this grants the specific epistemic status of intuitions. Of course, the reliability of introspection can be challenged. However, denying self-knowledge about my internal mental states is disputable – as I will show – both from a philosophical and a scientific point of view. (shrink)

A large part of the controversy surrounding the publication of DSM-5 stems from the possibility of replacing the purely descriptive approach to classification favored by the DSM since 1980. This paper examines the question of how mental disorders should be classified, focusing on the issue of whether the DSM should adopt a purely descriptive or theoretical approach. I argue that the DSM should replace its purely descriptive approach with a theoretical approach that integrates causal information into the DSM’s descriptive diagnostic (...) categories. The paper proceeds in three sections. In the first section, I examine the goals (viz., guiding treatment, facilitating research, and improving communication) associated with the DSM’s purely descriptive approach. In the second section, I suggest that the DSM’s purely descriptive approach is best suited for improving communication among mental health professionals; however, theoretical approaches would be superior for purposes of treatment and research. In the third section, I outline steps required to move the DSM towards a hybrid system of classification that can accommodate the benefits of descriptive and theoretical approaches, and I discuss how the DSM’s descriptive categories could be revised to incorporate theoretical information regarding the causes of disorders. I argue that the DSM should reconceive of its goals more narrowly such that it functions primarily as an epistemic hub that mediates among various contexts of use in which definitions of mental disorders appear. My analysis emphasizes the importance of pluralism as a methodological means for avoiding theoretical dogmatism and ensuring that the DSM is a reflexive and self-correcting manual. (shrink)

I offer a defense of ana-logical accounts of scientific models by meeting certain logical objections to the legitimacy of analogical reasoning. I examine an argument by Joseph Agassi that purports to show that all putative cases of analogical inference succumb to the following dilemma: either (1) the reasoning remains hopelessly vague and thus establishes no conclusion, or (2) can be analyzed into a logically preferable non-analogical form. In rebuttal, I offer a class of scientific models for which (a) there is (...) no satisfactory non-analogical analysis, and (b) we can gain sufficient clarity for the legitimacy of the inference to be assessed. This result constitutes an existence proof for a class of analogical models that escape Agassi’s dilemma. (shrink)

Work on analogy has been done from a number of disciplinary perspectives throughout the history of Western thought. This work is a multidisciplinary guide to theorizing about analogy. It contains 1,406 references, primarily to journal articles and monographs, and primarily to English language material. classical through to contemporary sources are included. The work is classified into eight different sections (with a number of subsections). A brief introduction to each section is provided. Keywords and key expressions of importance to research on (...) analogy are discussed in the introductory material. Electronic resources for conducting research on analogy are listed as well. (shrink)

Normative theories can be useful in developing descriptive theories, as when normative subjective expected utility theory is used to develop descriptive rational choice theory and behavioral game theory. “Ought” questions are also the essence of theories of moral reasoning, a domain of higher mental processing that could not survive without normative considerations.

Our target article identified normativism as the view that rationality should be evaluated against unconditional normative standards. We believe this to be entrenched in the psychological study of reasoning and decision making and argued that it is damaging to this empirical area of study, calling instead for a descriptivist psychology of reasoning and decision making. The views of 29 commentators (from philosophy and cognitive science as well as psychology) were mixed, including some staunch defences of normativism, but also a number (...) that were broadly supportive of our position, although critical of various details. In particular, many defended a position that we call which sees a role for normative evaluation within boundaries alongside more descriptive research goals. In this response, we clarify our use of the term and add discussion of defining both as descriptive and non-normative concepts. We consider the debate with reference to dual-process theory, the psychology of reasoning, and empirical research strategy in these fields. We also discuss cognitive variation by age, intelligence, and culture, and the issue of relative versus absolute definitions of norms. In conclusion, we hope at least to have raised consciousness about the important boundaries between norm and description in the psychology of thinking. (shrink)

Inductive probability is the logical concept of probability in ordinary language. It is vague but it can be explicated by defining a clear and precise concept that can serve some of the same purposes. This paper presents a general method for doing such an explication and then a particular explication due to Carnap. Common criticisms of Carnap's inductive logic are examined; it is shown that most of them are spurious and the others are not fundamental.

ABSTRACT: Appealing to the failure of counterfactual support is a standard device in refuting a Humean view on laws of nature: some true generalisations do not support relevant counterfactuals; therefore not every true general fact is a law of nature—so goes the refutation. I will argue that this strategy does not work, for our understanding of the truth-value of any counterfactual is grounded in our understanding of the lawhood of some statements related to it.

The paper shows why and how an empirical study of fast-and-frugal heuristics can provide norms of good reasoning, and thus how (and how far) rationality can be naturalized. We explain the heuristics that humans often rely on in solving problems, for example, choosing investment strategies or apartments, placing bets in sports, or making library searches. We then show that heuristics can lead to judgments that are as accurate as or even more accurate than strategies that use more information and computation, (...) including optimization methods. A standard way to defend the use of heuristics is by reference to accuracy-effort trade-offs. We take a different route, emphasizing ecological rationality (the relationship between cognitive heuristics and environment), and argue that in uncertain environments, more information and computation are not always better (the “less-can-be-more” doctrine). The resulting naturalism about rationality is thus normative because it not only describes what heuristics people use, but also in which specific environments one should rely on a heuristic in order to make better inferences. While we desist from claiming that the scope of ecological rationality is unlimited, we think it is of wide practical use. (shrink)

In the spirit of James and Dewey, I ask what one might want from a theory of knowledge. Much Anglophone epistemology is centered on questions that were once highly pertinent, but are no longer central to broader human and scientific concerns. The first sense in which epistemology without history is blind lies in the tendency of philosophers to ignore the history of philosophical problems. A second sense consists in the perennial attraction of approaches to knowledge that divorce knowing subjects from (...) their societies and from the tradition of socially assembling a body of transmitted knowledge. When epistemology fails to use the history of inquiry as a laboratory in which methodological claims can be tested, there is a third way in which it becomes blind. Finally, lack of attention to the growth of knowledge in various domains leaves us with puzzles about the character of the knowledge we have. I illustrate this last theme by showing how reflections on the history of mathematics can expand our options for understanding mathematical knowledge. (shrink)

We argue that it is a mistake to approach goodman's new riddle of induction by demarcating projectible from non-Projectible predicates and hypotheses, And put forward an alternative way of looking at the whole question.

Begins by explaining then proving a generalized language dependence result similar to Goodman's "grue" problem. I then use this result to cast doubt on the existence of an objective evidential favoring relation (such as "the evidence confirms one hypothesis over another," "the evidence provides more reason to believe one hypothesis over the other," "the evidence justifies one hypothesis over the other," etc.). Once we understand what language dependence tells us about evidential favoring, our options are an implausibly strong conception of (...) the a priori, a hard externalism on which agents are unable to determine what their evidence favors, or a subjectivist view that makes evidential favoring relative to features of the agent. (shrink)

In recent years, realism?particularly critical realism?has become an important philosophical and methodological foundation for social science. A key feature is that of natural necessity, but this coexists alongside an acceptance of contingency in the social world. I argue in this paper that there cannot be any natural necessity in the social world, but rather the real nature of the social world is that it is contingent. This need not lead to an abandonment of realism, and indeed I argue that a (...) contingent form of realism allows us to bring ontological probability back into realism. (shrink)

C'est avec la grammaire générative que la discussion sur les rapports entre l'analyse linguistique et le rationalisme est devenue particulièrement abondante, en même temps qu'elle devenait une affaire idéologique concernant un large public. En présentant sa Cartesian Linguistics comme un chapitre dans l'histoire du rationalisme, Chomsky a prétendu avec éclat que: il y aurait une tradition rationaliste ayant des idées précises sur le langage, liée aux thèses cartésiennes et à la grammaire générale de Port-Royal; la grammaire générative reprendrait cette tradition (...) et lui apporterait une confirmation définitive. De manière générale, la validité historique des thèses de Chomsky a été contestée avec succès par les historiens: qu'il s'agisse de l'idée d'une linguistique cartésienne, de la prédominance du rationalisme aux dix-septième et dix-huitième siècles, de l'identité de démarche entre Port-Royal et la grammaire générative, voire même de la définition du rationalisme classique. (shrink)

Suppose that one is at least a minimal realist about a given domain, in that one thinks that that domain contains truths that are not in any interesting sense of our own making. Given such an understanding, what can be said for and against the method of reflective equilibrium as a procedure for investigating the domain? One fact that lends this question some interest is that many philosophers do combine commitments to minimal realism and a reflective equilibrium methodology. Here, for (...) example, is David Lewis on philosophy: Our “intuitions” are simply opinions: our philosophical theories are the same. Some are commonsensical, some are sophisticated; some are particular; some general; some are more firmly held, some less. But they are all opinions, and a reasonable goal for a philosopher is to bring them into equilibrium. Our common task it to find out what equilibria there are that can withstand examination, but it remains for each of us to come to rest at one or another of them… Once the menu of well-worked out theories is before us, philosophy is a matter of opinion. Is that to say that there is no truth to be had? Or that the truth is of our own making, and different ones of us can make it differently? Not at all! If you say flatly that there is no god, and I say that there are countless gods but none of them are our worldmates, then it may be that neither of us is making any mistake of method. We may each be bringing our opinions to equilibrium in the most careful possible way, taking account of all the arguments, distinctions, and counterexamples. But one of us, at least, is making a mistake of fact. Which one is wrong depends on what there is (1983: x-xi). In addition to philosophy in general, the method of reflective equilibrium has also been endorsed as the appropriate procedure for investigating various other subject.. (shrink)

In this article, I argue that norms and customs, despite frequently being described as being causes of behavior in the social sciences and ordinary conversation, cannot really cause behavior. Terms like "norms" and the like seem to refer to philosophically disreputable disjunctive properties. More problematically, even if they do not, or even if there can be disjunctive properties after all, I argue that norms and customs still cannot cause behavior. The social sciences would be better off without referring to properties (...) like norms and customs as if they could be causal. (shrink)

Traditional attempts to delineate the distinctive rationality of modern science have taken it for granted that the purpose of empirical research is to test judgments. The choice of concepts to use in those judgments is therefore seen either a matter of indifference (Popper) or as important choice which must be made, so to speak, in advance of all empirical research (Carnap). I argue that scientific method aims precisely at empirical testing of concepts, and that even the simplest scientific ex- periment (...) or observation results in conceptual change. (shrink)

In this paper I explore Aristotle’s views on natural kinds and the compatibility of pluralism and realism, a topic that has generated considerable interest among contemporary philosophers. I argue that, when it came to zoology, Aristotle denied that there is only one way of organizing the diversity of the living world into natural kinds that will yield a single, unified system of classification. Instead, living things can be grouped and regrouped into various cross-cutting kinds on the basis of objective similarities (...) and differences in ways that subserve the explanatory context. Since the explanatory aims of zoology are diverse and variegated, the kinds it recognizes must be equally diverse and variegated. At the same time, there are certain constraints on which kinds can be selected. And those constraints derive more from the causal structure of the world than from the proclivities of the classifier (hence the realism). This distinguishes Aristotle’s version of pluralistic realism from those contemporary versions (like Dupré’s “promiscuous realism”) that treat all or most classifications of a given domain as equally legitimate and not just a sub-set of kinds recognized by the science that studies it. By contrast, Aristotle privileges scientifically important kinds on the basis of their role in causal investigations. On this picture natural kinds are those kinds with the sort of causal structure that allows them to enter into scientific explanations. In the final section I argue that Aristotle’s zoology should remain of interest to philosophers and biologists alike insofar as it combines a pluralistic form of realism with a rank-free approach to classification. (shrink)

I argue that a concept is applied correctly when it is applied to the kind of things it is the concept of. Correctness as successful kind-tracking is fulfilling an externally and naturalistically individuated standard. And the normative aspect of concept-application so characterized depends on the relational (non-individualistic) feature of conceptual content. I defend this view against two objections. The first is that norms should provide justifications for action, and the second involves a version of the thesis of indeterminacy of reference.

According to a prevalent view among philosophers formal logic is the philosopher’s main tool to assess the validity of arguments, i.e. the philosopher’s ars iudicandi. By drawing on a famous dispute between Russell and Strawson over the validity of a certain kind of argument – of arguments whose premises feature definite descriptions – this paper casts doubt on the accuracy of the ars iudicandi conception. Rather than settling the question whether the contentious arguments are valid or not, Russell and Strawson, (...) upon discussing the proper logical analysis of definite descriptions, merely contrast converse informal validity assessments rendered explicit by nonequivalent logical for-malizations. (shrink)

This paper concerns anti-Humean intuitions about connections in nature. It argues for the existence of a de re link that is not necessity.Some anti-Humeans tacitly assume that metaphysical necessity can be used for all sorts of anti-Humean desires. Metaphysical necessity is thought to stick together whatever would be loose and separate in a Hume world, as if it were a kind of universal superglue.I argue that this is not feasible. Metaphysical necessity might connect synchronically co-existent properties—kinds and their essential features, (...) for example—but it is difficult to see how it could also serve as the binding force for successions of events. That is, metaphysical necessity seems not to be fit for diachronic, causal affairs in which causal laws, causation, or dispositions are involved. A different anti-Humean connection in nature has to do that job.My arguments focus mainly on a debate which has been the battleground for Humean vs. anti-Humean intuitions for many decades—namely, the analysis of dispositional predicates—yet I believe (but do not argue here) that the arguments generalise to causation and causal laws straightforwardly. (shrink)

Poverty of the Stimulus Arguments have convinced many linguists and philosophers of language that a domain specific language acquisition device (LAD) is necessary to account for language learning. Here we review empirical evidence that casts doubt on the necessity of this domain specific device. We suggest that more attention needs to be paid to the early stages of language acquisition. Many seemingly innate language-related abilities have to be learned over the course of several months. Further, the language input contains rich (...) stochastic information that can be accessed by domain-general learning mechanisms. Computer simulation has shown how mechanisms that are not domain specific can exploit the information contained in language. We conclude that (i) Poverty of the Stimulus Arguments need to be conceptually clarified and (ii) more empirical research needs to be carried out before we can rule out that data driven general purpose mechanisms can account for language learning. (shrink)

Non-empirical principles have always been a subject of interest of philoso-phers. Authors from different times and traditions agree that principles such as analogy or simplicity are present in the scientific practice. The disagreement comes out when these authors affirm that these principles have an epistemic function, and when they try to present reasons in order to found this state-ment. The first goal of this paper is to describe these principles and to point out their methodological importance. The second goal is (...) to introduce the discussion between the two most important models of philosophical fundamentation – it means, the logicism and the psychologism. The last goal – the main one – is to defend that the non-empirical principals have, legitimately, an epistemic role in the scientific investigation. (shrink)

Semifactual thinking about what might have been the same, e.g., ''even if Philip had not chosen the chocolate ice-cream sundae, he would have developed an allergic reaction'' has been neglected compared to counterfactual thinking about what might have been different, e.g., ''if only Philip had not chosen the chocolate ice-cream sundae, he would not have developed an allergic reaction''. We report the first systematic comparison of the two sorts of thinking in two experiments. The first experiment showed that counterfactual ''if (...) only'' thoughts about an antecedent event lead people to judge the event to be more causally related to the outcome, whereas semifactual ''even if'' thoughts lead people to judge the antecedent event to be less causally related to the outcome. In addition, the experiment showed that generating counterfactual ''if only'' thoughts increases emotional reactions such as regret, whereas generating semifactual ''even if'' thoughts decreases such reactions. The second experiment, along with a replication experiment, showed that when people complete ''if only'' and ''even if'' sentence stems, they focus on different alternative antecedents to the outcome: ''if only'' thoughts focus on alternatives that would undo the outcome whereas ''even if'' thoughts focus on alternatives that would not undo it, from among a set of available alternative antecedents in which either all, some, or none would undo the outcome. The implications of the results for theories of thinking about what might have been are discussed. (shrink)

A celebrated problem for representationalist theories of phenomenal character is that, given externalism about content, these theories lead to externalism about phenomenal character. While externalism about content is widely accepted, externalism about phenomenal character strikes many philosophers as wildly implausible. Even if internally identical individuals could have different thoughts, it is said, if one of them has a headache, or a tingly sensation, so must the other. In this paper, I argue that recent work on phenomenal concepts reveals that, contrary (...) to appearances, this standard conjunction of externalism about content and internalism about phenomenal character is ultimately untenable on other models of phenomenal character as well, including even “qualia realism.” This would be significant for a number of reasons. The first is patent: it would undermine a primary objection to representationalism. The fact that representationalism is incompatible with the conjunction would be no serious problem for representationalism if no other plausible model of phenomenal character is compatible with it. The second is that the many philosophers who embrace the conjunction would be forced to abandon one of the two views; externalism would be true either of both content and phenomenal character, or of neither. Likewise, those philosophers who have taken a stance on only one of the two internalism/externalism debates would have to be seen as thereby committed to a particular stance on the other. The third reason stems from the fact that qualia realism typically goes hand in hand with internalism about phenomenal character. To the extent that it does, my argument would reveal that qualia realism is itself in tension with externalism about content. This would perhaps be the most surprising result of all. (shrink)

After reviewing several failed arguments that laws cannot change, I use the laws' special relation to counterfactuals to show how temporary laws would have to differ from eternal but time-dependent laws. Then I argue that temporary laws are impossible and that neither Lewis's nor Armstrong's analyses of law nicely accounts for the laws' immutability. *Received September 2006; revised September 2007. ‡Many thanks to John Roberts and John Carroll for valuable comments on earlier drafts, as well as to several anonymous referees (...) for their good suggestions. †To contact the author, please write to: Department of Philosophy, University of North Carolina, CB #3125, Caldwell Hall, Chapel Hill, NC 27599-3125; e-mail: [email protected]. (shrink)

In this age of post-Moorean modesty, many of us are inclined to doubt that philosophy is in possession of arguments that might genuinely serve to undermine what we ordinarily believe. It may perhaps be conceded that the arguments of the skeptic appear to be utterly compelling; but the Mooreans among us will hold that the very plausibility of our ordinary beliefs is reason enough for supposing that there must be something wrong in the skeptic’s arguments, even if we are unable (...) to say what it is. In so far then, as the pretensions of philosophy to provide a world view rest upon its.. (shrink)

In this paper we propose to argue for two claims. The first is that a sizeable group of epistemological projects – a group which includes much of what has been done in epistemology in the analytic tradition – would be seriously undermined if one or more of a cluster of empirical hypotheses about epistemic intuitions turns out to be true. The basis for this claim will be set out in Section 2. The second claim is that, while the jury is (...) still out, there is now a substantial body of evidence suggesting that some of those empirical hypotheses are true. Much of this evidence derives from an ongoing series of experimental studies of epistemic intuitions that we have been conducting. A preliminary report on these studies will be presented in Section 3. In light of these studies, we think it is incumbent on those who pursue the epistemological projects in question to either explain why the truth of the hypotheses does not undermine their projects, or to say why, in light of the evidence we will present, they nonetheless assume that the hypotheses are false. In Section 4, which is devoted to Objections and Replies, we’ll consider some of the ways in which defenders of the projects we are criticizing might reply to our challenge. Our goal, in all of this, is not to offer a conclusive argument demonstrating that the epistemological projects we will be criticizing are untenable. Rather, our aim is to shift the burden of argument. (shrink)

Explaining the connection, if any, between simplicity and truth is among the deepest problems facing the philosophy of science, statistics, and machine learning. Say that an efficient truth finding method minimizes worst case costs en route to converging to the true answer to a theory choice problem. Let the costs considered include the number of times a false answer is selected, the number of times opinion is reversed, and the times at which the reversals occur. It is demonstrated that (1) (...) always choosing the simplest theory compatible with experience, and (2) hanging onto it while it remains simplest, is both necessary and sufficient for efficiency. †To contact the author, please write to: Department of Philosophy, Carnegie Mellon University, Baker Hall 135, Pittsburgh, PA 15213-3890; e-mail: [email protected]. (shrink)

1. What are called ‘intuitions’ in philosophy are just applications of our ordinary capacities for judgement. We think of them as intuitions when a special kind of scepticism about those capacities is salient. 2. Like scepticism about perception, scepticism about judgement pressures us into conceiving our evidence as facts about our internal psychological states: here, facts about our conscious inclinations to make judgements about some topic rather than facts about the topic itself. But the pressure should be resisted, for it (...) rests on bad epistemology: specifically, on an impossible ideal of unproblematically identifiable evidence. 3. Our resistance to scepticism about judgement is not simply epistemic conservativism, for we resist it on behalf of others as well as ourselves. A reason is needed for thinking that beliefs tend to be true. 4. Evolutionary explanations of the tendency assume what they should explain. Explanations that appeal to constraints on the determination of reference are more promising. Davidson’s truth-maximizing principle of charity is examined but rejected. 5. An alternative principle is defended on which the nature of reference is to maximize knowledge rather than truth. It is related to an externalist conception of mind on which knowing is the central mental state. 6. The knowledge-maximizing principle of charity explains why scenarios for scepticism about judgement do not warrant such scepticism, although it does not explain how we know in any particular case. We should face the fact that evidence is always liable to be contested in philosophy, and stop using talk of intuition to disguise this unpleasant truth from ourselves. (shrink)

According to Hempel's paradox, evidence (E) that an object is a nonblack nonraven confirms the hypothesis (H) that every raven is black. According to the standard Bayesian solution, E does confirm H but only to a minute degree. This solution relies on the almost never explicitly defended assumption that the probability of H should not be affected by evidence that an object is nonblack. I argue that this assumption is implausible, and I propose a way out for Bayesians. Introduction Hempel's (...) paradox, the standard Bayesian solution, and the disputed assumption Attempts to defend the disputed assumption Attempts to refute the disputed assumption A way out for Bayesians Conclusion. (shrink)

There are two facts about word learning that everyone accepts. The first is that words really do have to be learned. There is controversy over how much conceptual structure and linguistic knowledge is innate, but nobody thinks that this is the case for the specific mappings between sounds (or signs) and meanings. This is because these mappings vary arbitrarily from culture to culture. No matter how intelligent a British baby is, for instance, she still has to learn, by attending to (...) the language of the people around her, that rabbits are called ‘rabbits’, that sleeping is called ‘sleeping’, and so on. (shrink)

Several philosophers of science have claimed that the correspondence principle can be generalized from quantum physics to all of (particularly physical) science and that in fact it constitutes one of the major heuristical rules for the construction of new theories. In order to evaluate these claims, first the use of the correspondence principle in (the genesis of) quantum mechanics will be examined in detail. It is concluded from this and from other examples in the history of science that the principle (...) should be qualified with respect to its nature and relativized with respect to its scope of application. At the same time this conclusion implies a qualification and a relativization of the heuristic power of the principle. Generally speaking, intertheoretical correspondence is primarily of a formal-mathematical and empirical but not of a conceptual nature. Moreover, it only applies to certain parts of the theories involved. Finally, a number of philosophical justifications of the principle are discussed and some conclusions are drawn concerning the debates on theory reduction and on the discovery-justification distinction. (shrink)

Debates concerning the analysis of the concept of law of nature must address the following problem. On the one hand, our grasp of laws of nature is via our knowledge of their instances. And this seems not only an epistemological truth but also a semantic one. The concept of a law of nature must be explicated in terms of the things that instantiate the law. It is not simply that a piece of metal that conducts electricity is evidence for a (...) law that metals conduct electricity. It is also the case that to explicate what it is for there to be such a law requires, and requires little more than, alluding to the fact that the piece of metal conducting electricity is an instance of that law. This is the driving intuition behind regularity theories of laws — to understand the concept ‘law,’ as in ‘it is a law that metals conduct electricity’ one need only understand little more than what it is for something to be a metal and to conduct electricity and the concept of universal generalization. On this view a law just is a regularity (or some kind of regularity) among its instances. (shrink)

This article identifies problems with regard to providing criteria that regulate the matching of logical formulae and natural language. We then take on to solve these problems by defining a necessary and sufficient criterion of adequate formalization. On the basis of this criterion we argue that logic should not be seen as an ars iudicandi capable of evaluating the validity or invalidity of informal arguments, but as an ars explicandi that renders transparent the formal structure of informal reasoning.