The aim of this paper is to show that the principles of logics based on the Law of Contradiction are not universal in the sense that their use can appear to be irrelevant if premises are contradictory.

The difficulties facing Humean regularity accounts of laws have led some philosophers to a theory that takes laws to be necessitation relations between universals. In this paper I evaluate David Armstrong's version of this theory by considering two of its key elements: its solution to the so-called “Inference Problem” and its denial of uninstantiated universals. After considering some potential problems with each of these elements on their own, I argue that Armstrong's solution to the Inference Problem (...) and his denial of uninstantiated universals are not two independent aspects of his view. His solution to the Inference Problem depends upon his denial of uninstantiated universals. (shrink)

The first complete English translation of a groundbreaking work. An ambitious account of the relation of mathematics to logic. Includes a foreword by Crispin Wright, translators' Introduction, and an appendix on Frege's logic by Roy T. Cook. The German philosopher and mathematician Gottlob Frege (1848-1925) was the father of analytic philosophy and to all intents and purposes the inventor of modern logic. Basic Laws of Arithmetic, originally published in German in two volumes (1893, 1903), is Freges magnum opus. It (...) was to be the pinnacle of Freges lifes work. It represents the final stage of his logicist project the idea that arithmetic and analysis are reducible to logic and contains his mature philosophy of mathematics and logic. The aim of Basic Laws of Arithmetic is to demonstrate the logical nature of mathematical theorems by providing gapless proofs in Frege's formal system using only basic laws of logic, logical inference, and explicit definitions. The work contains a philosophical foreword, an introduction to Frege's logic, a derivation of arithmetic from this logic, a critique of contemporary approaches to the real numbers, and the beginnings of a logicist treatment of real analysis. As is well-known, a letter received from Bertrand Russell shortly before the publication of the second volume made Frege realise that his basic law V, governing the identity of value-ranges, leads into inconsistency. Frege discusses a revision to basic law V written in response to Russells letter in an afterword to volume II. The continuing importance of Basic Laws of Arithmetic lies not only in its bearing on issues in the foundations of mathematics and logic but in its model of philosophical inquiry. Frege's ability to locate the essential questions, his integration of logical and philosophical analysis, and his rigorous approach to criticism and argument in general are vividly in evidence in this, his most ambitious work. Philip Ebert and Marcus Rossberg present the first full English translation of both volumes of Freges major work preserving the original formalism and pagination. The edition contains a foreword by Crispin Wright and an extensive appendix providing an introduction to Frege's formal system by Roy T. Cook. Readership: Scholars and advanced students in philosophy of logic, philosophy of mathematics, and early analytic philosophy. (shrink)

TheTractatusfirst appeared in 1921, the same year that Post's “Introduction to a General Theory of Elementary Propositions” appeared in theAmerican Journal of Mathematics. As the latter is the first piece clearly to present and exploit the distinction between a deductive system and a truth-functional interpretation of such a system, we may conclude that Wittgenstein's views had been arrived at somewhat before a variety of logical concepts had received the clarification and refinement incipient on the now taken-for-granted distinction between proof and (...) model theory. One such concept, of considerable interest to Wittgenstein, was that of inference. The following constitutes an attempt to explicate his notion. In particular, I shall attempt to show that his repudiation of “laws of inference” is closely tied to his rejection of logical constants; and that both can be seen as the product of what might be termed a “metaphysics of completeness”—before, of course, any notion of completeness had achieved a measure of precision or currency. (shrink)

This article investigates the relationship between Hume’s causal philosophy and Newton ’s philosophy of nature. I claim that Newton ’s experimentalist methodology in gravity research is an important background for understanding Hume’s conception of causality: Hume sees the relation of cause and effect as not being founded on a priori reasoning, similar to the way that Newton criticized non - empirical hypotheses about the properties of gravity. However, according to Hume’s criteria of causal inference, the law of universal gravitation (...) is not a complete causal law, since it does not include a reference either to contiguity or to temporal priority. It is still argued that because of the empirical success of Newton ’s theory—the law is a statement of an exceptionless repetition—Hume gives his support to it in interpreting gravity force instrumentally as if it bore a causal relation to motion. (shrink)

When “general physiology” emerged as a basic field of research within biology in the early nineteenth century, Henri Ducrotay de Blainville (1777–1850) on the one hand and Johannes Peter Müller (1801–1858) on the other appealed to chemical analysis to account for the properties and operations of organisms that were observed to differ from what was found in inorganic compounds. Their aim was to establish laws of vital organization that would be based on organic chemical processes, but would also be (...) of use to explain morphological and functional differences among life forms. The intent of this paper is to specify for each of these leading physiologists the different presuppositions that provided theoretical frameworks for their interpretation of what they conceived of as laws of organization underpinning the dynamics of vital phenomena. Blainville presumed that the properties of organic compounds depended on the chemical properties of their constitutive molecules, but combined according to patterns of functional development, and that the latter could only be inferred from an empirical survey of modes of organization across the spectrum of life forms. For Müller, while all vital processes involved chemical reactions, in the formative and functional operations of organisms, these reactions would result from the action of life forces that were responsible for the production of organic combinations and thus for vital and animal functions. As both physiologists set significant methodological patterns for their many disciples and followers, their respective quasi-reductionist and anti-reductionist positions need to be accounted for. (shrink)

Adults increase the certainty of their inductive inferences by observing more diverse instances. However, most young children fail to do so. The present study tested the hypothesis that children's sensitivity to instance diversity is determined by three variables: ability to discriminate among instances ( Discrimination ); an intuition that large numbers of instances increase the strength of conclusion ( Monotonicity ); ability to detect subcategories and evaluate numerical differences between the subcategories, or Extraction . A total of 219 Chinese children (...) aged 6 to 11 were tested for sensitivity to diversity by means of Discrimination, Monotonicity, and Extraction. The results indicated that children at all ages were able to discriminate instances and attend to set size. However, only 9- and 11-year-olds demonstrated Extraction and sensitivity to diversity. Furthermore, among all children diversity scores increased linearly with the level of Extraction. These results suggest that the law of large numbers plays a role in children's diversity-based reasoning. (shrink)

Abstract. As a general theory of reasoning—and as a general theory of what holds true under every possible circumstance—logic is supposed to be ontologically neutral. It ought to have nothing to do with questions concerning what there is, or whether there is anything at all. It is for this reason that traditional Aristotelian logic, with its tacit existential presuppositions, was eventually deemed inadequate as a canon of pure logic. And it is for this reason that modern quantification theory, too, with (...) its residue of existentially loaded theorems and patterns of inference, has been claimed to suffer from a defect of logical purity. The law of non-contradiction rules out certain circumstances as impossible—circumstances in which a statement is both true and false, or perhaps circumstances where something both is and is not the case. Is this to be regarded as a further ontological bias? (shrink)

The revisionist critique of conventional just war theory has undoubtedly scored some important victories. Walzer’s elegantly unified defense of combatant legal equality and noncombatant immunity has been seriously undermined. This critical success has not, however, been matched by positive arguments, which when applied to the messy reality of war would deprive states and soldiers of the permission to fight wars that are plausibly thought to be justified. The appeal to law that is sought to resolve this objection by casting it (...) as a practical concern, a pragmatic worry about implementation, which while germane to debates over the laws of war, need not undermine our convictions in the fundamental principles the revisionists advocate. This response is inadequate. Revisionists have not shown that soldiers should obey the laws of war, in practice, when they conflict with their other moral reasons – our worries about application remain intact. Moreover, a theory of war that offers only an account of the laws of war, and a set of fundamental principles developed in abstraction from feasibility constraints, is radically incomplete. We need to know how to apply those fundamental principles, and whether, when applied, they lead to defensible conclusions. Only two options seem to remain. Perhaps the revisionists’ arguments for their chosen fundamental principles are sufficiently compelling that we should stick with them, and accept their troubling conclusions – in other words, accept pacifism. Alternatively, we need to revise our fundamental principles, so that when applied they yield conclusions that we can more confidently endorse. -/- Though it does not save the revisionist view from the responsibility dilemma and cognate objections, the appeal to law does raise an important, and previously inadequately theorized, question – or, rather, resurrects a neglected topic, discussed in depth by historical just war theorists such as Grotius and Vattel. There are good grounds for distinguishing the laws of war from the morality of war, and for adjusting the former to accommodate predictable noncompliance, that should not impact on our account of the latter. Nonetheless, I have argued that there are some profound moral insights underlying both combatant legal equality and noncombatant immunity: specifically, we cannot infer from a combatant’s side having not satisfied jus ad bellum that he may not justifiably use lethal force; and other things equal, it is more wrongful to harm a nonliable noncombatant than to harm a nonliable combatant. (shrink)

The question of whether the Pyrrhonist adheres to certain logical principles, criteria of justification, and inference rules is of central importance for the study of Pyrrhonism. Its significance lies in that, whereas the Pyrrhonist describes his philosophical stance and argues against the Dogmatists by means of what may be considered a rational discourse, adherence to any such principles, criteria, and rules does not seem compatible with the radical character of his skepticism. Hence, if the Pyrrhonist does endorse them, one (...) must conclude that he is inconsistent in his outlook. Despite its import, the question under consideration has not received, in the vast literature on Pyrrhonism of the past three decades, all the attention it deserves. In the present paper, I do not propose to provide a full examination of the Pyrrhonist’s attitude towards rationality, but to focus on the question of whether he endorses the law of non-contradiction (LNC). However, I will also briefly tackle the question of the Pyrrhonist’s outlook on both the canons of rational justification at work in the so-called Five Modes of Agrippa and the logical rules of inference. In addition, given that the LNC is deemed a fundamental principle of rationality, determining the Pyrrhonist’s attitude towards it will allow us to understand his general attitude towards rationality. (shrink)

That laws of nature play a vital role in explanation, prediction, and inductive inference is far clearer than the nature of the laws themselves. My hope here is to shed some light on the nature of natural laws by developing and defending the view that they involve genuine relations between properties. Such a position is suggested by Plato, and more recent versions have been sketched by several writers.~ But I am not happy with any of these (...) accounts, not so much because they lack detail or engender minor difficulties, though they do, but because they share a quite fundamental defect. My goal here is to make this defect clear and, more importantly, to present a rather different version of this general conception of laws that avoids it. I begin by considering several features of natural laws and argue that these are best explained by the view that laws involve properties, that this involvement takes the form of a genuine relation between properties, and, finally, that the relation is a metaphysically necessary one. In the second section I start at the other end, and by reflecting on the nature of properties arrive at a similar account of natural laws. In the final section I develop this account in more detail, with emphasis on the nature of the relation between properties it invokes. Along the way several natural objections to the account are answered. (shrink)

Conflict resolution is a core component of healthcare ethics consultation (HEC) and proficiency in this skill set is recognized by the national bioethics organization and its HEC certification process. Difficult interpersonal interactions between the clinical team and patients or their families are often inexorably connected to the normative disputes that are the catalyst for the consult. Ethics consultants are often required to navigate challenging dynamics that have become entrenched and work with patient-provider or family-provider relationships that have already broken down. (...) The first step in conflict resolution is diagnosing the source of the conflict. Because so many interpersonal and normative conflicts rest on misunderstanding and mischaracterization, the diagnosis of the problem requires untangling the actual positions and perspectives of the conflicting parties from the fallacious assumptions made about the parties’ respective positions and views. Developed in management science, the Ladder of Inference (LOI) is a diagnostic tool for assisting stakeholders in re-examining the process they used to form beliefs about others involved in the conflict. The LOI is a device that detects errors in reasoning, including implicit racial bias, that lead to false judgments and counterproductive responses to those judgments. The LOI is an instrument that can be used by ethics consultants to help resolve contentious bedside conflicts, but the LOI can also be employed as a teaching tool used by healthcare ethics consultants in training the clinical staff in how to avoid such conflicts in the first place. (shrink)

I propose a realist theory of laws formulated in terms of tropes that avoids both the problems of the "best-systems-analysis" and the "inference problem" of realism of universals. I analyze the concept of an exceptional situation, characterized as a situation in which a particular object satisfies the antecedent but not the consequent of the regularity associated with a law, without thereby falsifying that law. To take this possibility into account, the properties linked by a law must be conceived (...) as dispositional and not necessarily manifest. (shrink)

Skeptical theism is a leading response to the evidential argument from evil against the existence of God. Skeptical theists attempt to block the inference from the existence of inscrutable evils to gratuitous evils by insisting that given our cognitive limitations, it wouldn’t be surprising if there were God-justifying reasons we can’t think of. A well-known objection to skeptical theism is that it opens up a skeptical Pandora’s box, generating implausibly wide-ranging forms of skepticism, including skepticism about the external world (...) and past. This paper looks at several responses to this Pandora’s box objection, including a popular response devised by Beaudoin and Bergmann. I find that all of the examined responses fail. It appears the Pandora’s box objection to skeptical theism still stands. (shrink)

This article attacks “open systems” arguments that because constant conjunctions are not generally observed in the real world of open systems we should be highly skeptical that universal laws exist. This work differs from other critiques of open system arguments against laws of nature by not focusing on laws themselves, but rather on the inference from open systems. We argue that open system arguments fail for two related reasons; 1) because they cannot account for the “systems” (...) central to their argument (nor the implied systems labeled “exogenous factors” in relation to the system of interest) and 2) they are nomocentric, fixated on laws while ignoring initial and antecedent conditions that are able to account for systems and exogenous factors within a fundamentalist framework. (shrink)

In the Tractatus Wittgenstein criticizes Frege and Russell's view that laws of inference (Schlussgesetze) "justify" logical inferences. What lies behind this criticism, I argue, is an attack on Frege and Russell's conceptions of logical entailment. In passing, I examine Russell's dispute with Bradley on the question whether all relations are "internal".

This paper develops a means–end analysis of an inductive problem that arises in particle physics: how to infer from observed reactions conservation principles that govern all reactions among elementary particles. I show that there is a reliable inference procedure that is guaranteed to arrive at an empirically adequate set of conservation principles as more and more evidence is obtained. An interesting feature of reliable procedures for finding conservation principles is that in certain precisely defined circumstances they must introduce hidden (...) particles. Among the reliable inductive methods there is a unique procedure that minimizes convergence time as well as the number of times that the method revises its conservation principles. Thus the aims of reliable, fast and steady convergence to an empirically adequate theory single out a unique optimal inference for a given set of observed reactions—including prescriptions for when exactly to introduce hidden particles. (shrink)

Congress's national-security legislation will often require clear and specific congressional authorization before the executive can undertake certain actions. The War Powers Resolution, for example, prohibits any law from authorizing military hostilities unless it "specifically authorizes" them. And the Foreign Intelligence Surveillance Act of 1978 required laws to amend FISA or repeal its "exclusive means" provision before they could authorize warrantless electronic surveillance. But efforts to legislate clear-statement regimes in national-security law have failed to induce compliance. The Clinton Administration inferred (...) congressional "authorization" for the 1999 Kosovo War from an appropriations statute that failed to specifically authorize the conflict. And the Bush Administration inferred congressional "authorization" for the NSA surveillance program from ambiguous language in the post-September 11th Authorization to Use Military Force. In both situations, executive-branch lawyers employed expansive theories of implied repeal and constitutional avoidance to evade the codified clear-statement requirements, and Congress and the courts acquiesced to the President's actions. Recent proposals to strengthen the clear-statement requirements in Congress's national-security framework legislation are unlikely to be effective without institutional mechanisms, such as points of order, that can deter future legislators from enacting vague or ambiguous legislation from which the executive might claim implicit congressional "authorization," and that can induce Congress to confront Presidents that act without specific congressional authorization. Simply enacting more narrow or explicit clear-statement requirements, or adding funding restrictions to Congress's framework legislation, fails to counter the aggressive interpretive doctrines that executives of both political parties have used to concoct congressional "authorization" from vague or ambiguous statutory language. (shrink)

Many philosophers have criticized John Rawls’s Law of Peoples. However, often these criticisms take it for granted that the moral conclusions drawn in A Theory of Justice are superior to those in the former book. In my view, however, Rawls comes to many of his 'conclusions' without too many actual inferences. More precisely, my argument here is that if one takes Rawls’s premises and the assumptions made about the original position(s) seriously and does in fact think them through to their (...) logical conclusions, both 'A Theory of Justice' and 'The Law of Peoples' have abysmally counterintuitive and immoral implications. To wit, if the members in the original position think, as Rawls suggests,that their society is closed and they will have no interaction with outsiders, and if, furthermore, they are self-interested and concerned with the basic structure of their own society, than there is absolutely no reason for them to use the terms “persons” or “least advantaged” in the formulation of the two principles. Rather, they will use the terms “citizens of our society” and “least advantaged of our society” instead. But thus revised, the principles of justice imply that the genocide or the enslavement of outsiders is unobjectionable. I will consider attempts to block this conclusion and demonstrate that they all fail. The Law of Peoples, moreover, faces similar problems. (shrink)

A well-known difficulty that affects all accounts of laws of nature according to which the latter are higher-order facts involving relations between universals (the so-called DTA accounts, from Dretske in Philosophy of Science 44:248–268, 1977; Tooley in Canadian Journal of Philosophy 7:667–698, 1977 and Armstrong (What is a Law of Nature?, Cambridge University Press, Cambridge, 1983)) is the Inference Problem: how can laws construed in that way determine the first-order regularities that we find in the actual world? (...) Bird (Analysis 65:147–55, 2005) has argued that there is no solution to the Inference Problem which is consistent with both categorical monism (that is, the view that all natural properties are categorical) and basic tenets of Armstrong’s account of the laws of nature. This paper shows that, given Armstrong’s view about laws as first-order structural universals whose instantiation ‘produce’ nomic regularities and under specific plausible metaphysical assumptions concerning nomic relations which are consistent with a broadly construed DTA approach to laws, there is no extra difficulty regarding the Inference Problem in a categorical monistic context besides the ones that beset structural universals in general. (shrink)

Could laws of nature be violated, in the sense that some proposition is both a law and false? I argue that opponents of regularity theories of laws should accept the metaphysical possibility of such genuine violations. I begin with a clarification of this claim. The main argument is then developed in three steps. I first argue that opponents of regularity theory should endorse the modal-essence view: certain modal principles are essential to the laws of nature. Second, I (...) argue that the modal-essence view entails sophisticated modal primitivism. Third, I argue from sophisticated primitivism to the metaphysical possibility of genuine violations of laws. (shrink)

It is sometimes said that there are two, competing versions of W. V. O. Quine’s unrelenting empiricism, perhaps divided according to temporal periods of his career. According to one, logic is exempt from, or lies outside the scope of, the attack on the analytic-synthetic distinction. This logic-friendly Quine holds that logical truths and, presumably, logical inferences are analytic in the traditional sense. Logical truths are knowable a priori, and, importantly, they are incorrigible, and so immune from revision. The other, radical (...) reading of Quine does not exempt logic from the attack on analyticity and a priority. Logical truths and inferences are themselves part of the web of belief, and the same global methodology applies to logic as to any other part of the web, such as theoretical chemistry or ordinary beliefs about ordinary objects. Everything, including logic, is up for grabs in our struggle for holistic confirmation. The purpose of this paper is to examine the law of non-contradiction, and the concomitant principle of ex falso quodlibet, from the perspective of the principles advocated by the radical Quine. I show that he has no compelling reason to accept either of these. To put it bluntly, neither the law of non-contradiction nor the rule of ex falso quodlibet is empirically confirmed, and these principles fare poorly on the various criteria for theory acceptance on the methodology of the radical Quine. So the radical Quine is led rather quickly and rather directly into something in the neighborhood of Graham Priest’s dialetheism. (shrink)

The main problem with the law of sufficient reason lies in whether or not it is universally applicable to all forms of thinking, and especially how it works in the process of inference. If we hold that an inference violates the law of sufficient reason because its premise is false, then it would amount to saying that the law of sufficient reason can meet the requirement of a true premise. As a result, the law of sufficient reason would (...) substitute for all branches of concrete science. If we hold that an inference still conformed to the law of sufficient reason even if its premise were false, then what would be the point for the law to require that "the reason must be true" ? Isn't the requirement but an empty shell? Obviously, something is wrong with both answers. Therefore I am of the opinion that the crux of the matter lies in whether or not it is applicable to the process of inference and how it works in the process. (shrink)

Hilary Kornblith (1993) has recently offered a reliabilist defense of the use of the Law of Small Numbers in inductive inference. In this paper I argue that Kornblith's defense of this inferential rule fails for a number of reasons. First, I argue that the sort of inferences that Kornblith seeks to justify are not really inductive inferences based on small samples. Instead, they are knowledge-based deductive inferences. Second, I address Kornblith's attempt to find support in the work of Dorrit (...) Billman and I try to show that close attention to the workings of her computational model reveals that it does not support Kornblith's argument. While the knowledge required to ground the inferences in question is perhaps inductively derived, Billman's work does not support the notion that small samples provide a reliable basis for our generalizing inferences. (shrink)

Discussions about the nature of essence and about the inference problem for non-Humean theories of nomic modality have largely proceeded independently of each other. In this article I argue that the right conclusions to draw about the inference problem actually depend significantly on how best to understand the nature of essence. In particular, I argue that this conclusion holds for the version of the inference problem developed and defended by Alexander Bird. I argue that Bird’s own argument (...) that this problem is fatal for David Armstrong’s influential theory of the laws of nature but not for dispositional essentialism is seriously flawed. In place of this argument, I develop an argument that whether Bird’s inference problem raises serious difficulties for Armstrong’s theory depends on the answers to substantial questions about how best to understand essence. The key consequence is that considerations about the nature of essence have significant, underappreciated implications for Armstrong’s theory. (shrink)

This collection of contributions from both linguists and lawyers brings a pragmatic perspective to the linguistic basis for legal meaning and for finding a norm by which to decide a case. That is, it turns from notions of linguistic meaning as residing in the text, as literal meaning waiting to be dug out, to focus instead on how readers infer pragmatic meaning, and on the kinds of inferencing that characterise legal discourse.

Logic is usually considered to be the study of logical consequence – of the most basic laws governing how a statement’s truth depends on the truth of other statements. Some of the pioneers of modern formal logic, notably Hilbert and Carnap, assumed that the only way to get hold of the relation of consequence was to reconstruct it as a relation of inference within a formal system built upon explicit inferential rules. Even Alfred Tarski in 1930 seemed to (...) foresee no kind of consequence other than one induced by a set of inference rules: "Let A be an arbitrary set of sentences of a particular discipline. With the help of certain operations, the so-called rules of inference, new sentences are derived from the set A, called the.. (shrink)

How do non-Humean laws govern regularities in nature? According to the Inference Problem, non-Humean accounts of governing face a central problem: it is not clear how such laws do perform their governing function. Recently, Jonathan Schaffer has argued that the introduction of a law-to-regularity axiom is sufficient to solve the Inference Problem. The authors argue that Schaffer’s solution faces a devastating dilemma: either the required axiom cannot, on its own, differentiate the non-Humean account from a Humean (...) account of laws or, if more content is added to the primitive governing posit, it should be shown how and why the ‘outfitted’ posit obtains in the world. Furthermore, the authors show that those cases that Schaffer presents to motivate his approach are not analogous to the case of lawhood and so they cannot provide justification for his axiomatic solution. (shrink)

A widespread thesis in the analytical theory of law is that norms exist as linguistic entities. Rodolfo Sacco is one of the authors who have most fruitfully insisted, on the contrary, that there is no necessary correlation between norms and language, not even in the specific context of law. He thus extended the conceptualisation of legal normativity well beyond the boundaries of language through the notions of cryptotype and mute law. This paper takes into account two alternative hypotheses to the (...) hypothesis that norms exist as linguistic entities, which are respectively based on the concepts of deontic state-of-affairs and deontic noema. Both hypotheses are tested for their applicability to the phenomena investigated by Sacco under the notion of mute law, notably with reference to cryptotypes. The question is raised then of how the existence of cryptotypes can be inferred from behaviour. The paper emphasizes the role that can be played in this context by nomotrophic behaviour, that is, the behaviour that consists in a reaction to the violation of a norm. (shrink)

The topic of laws of nature provides a kind of Rorschach test for philosophy. Some philosophers see in laws only Humean regularities; others see a kind of physical necessity; others see a necessity closer to logical necessity; others see expressions of causal powers; others see inference tickets; still others see relations between universals; ... ; and some see only a messy inkblot. We can also perform a meta-Rorschach test on the results of the first test. When van (...) Fraassen and I submit ourselves to this meta-test we both recoil with shock and horror. Where we differ is in drawing morals from this un- pleasant experience. For me the opprobrium falls mainly on the way philos- ophy is practiced. For van Fraassen, the disgrace also touches the practice, but for him the source is the rottenness of the concept of laws. (shrink)

Fred Dretske, Michael Tooley, and David Armstrong accept a theory of governing laws of nature according to which laws are atomic states of affairs that necessitate corresponding natural regularities. Some philosophers object to the Dretske/Tooley/Armstrong theory on the grounds that there is no illuminating account of the necessary connection between governing law and natural regularity. In response, Michael Tooley has provided a reductive account of this necessary connection in his book Causation (1987). In this essay, I discuss an (...) improved version of his account and argue that it fails. First, the account cannot be extended to explain the necessary connection between certain sorts of laws—namely, probabilistic laws and laws relating structural universals—and their corresponding regularities. Second, Tooley’s account succeeds only by (very subtly) incorporating primitive necessity elsewhere, so the problem of avoiding primitive necessity is merely relocated. (shrink)

In this article I intend to show that the inference problem, one of the main objections raised against the anti-Humean theory of natural laws defended by Dretske, Tooley and Armstrong (“DTA theory” for short), can be successfully answered. First, I argue that a proper solution should meet two essential requirements that the proposals made by the DTA theorists do not satisfy. Then I state a solution to the inference problem that assumes a local immanentistic view of universals, (...) a partial definition of the nomic necessitation relation as a relation of existential dependence, and a principle constraining multiple occupancy. I also argue that my solution meets the two requirements. Finally, I deal with non-standard laws such as exclusion laws, causal laws and laws involving spatiotemporal parameters. (shrink)

The main objective of the paper is to propose a frequentist interpretation of probability in the context of model-based induction, anchored on the Strong Law of Large Numbers (SLLN) and justifiable on empirical grounds. It is argued that the prevailing views in philosophy of science concerning induction and the frequentist interpretation of probability are unduly influenced by enumerative induction, and the von Mises rendering, both of which are at odds with frequentist model-based induction that dominates current practice. The differences between (...) the two perspectives are brought out with a view to defend the model-based frequentist interpretation of probability against certain well-known charges, including [i] the circularity of its definition, [ii] its inability to assign ‘single event’ probabilities, and [iii] its reliance on ‘random samples’. It is argued that charges [i]–[ii] stem from misidentifying the frequentist ‘long-run’ with the von Mises collective. In contrast, the defining characteristic of the long-run metaphor associated with model-based induction is neither its temporal nor its physical dimension, but its repeatability (in principle); an attribute that renders it operational in practice. It is also argued that the notion of a statistical model can easily accommodate non-IID samples, rendering charge [iii] simply misinformed. (shrink)

Standard objections to the notion of a hedged, or ceteris paribus, law of nature usually boil down to the claim that such laws would be either 1) irredeemably vague, 2) untestable, 3) vacuous, 4) false, or a combination thereof. Using epidemiological studies in nutrition science as an example, I show that this is not true of the hedged law-like generalizations derived from data models used to interpret large and varied sets of empirical observations. Although it may be ‘in principle (...) impossible’ to construct models that explicitly identify all potential causal interferers with the relevant generalization, the view that our failure to do so is fatal to the very notion of a cp-law is plausible only if one illicitly infers metaphysical impossibility from epistemic impossibility. I close with the suggestion that a model-theoretic approach to cp-laws poses a problem for recent attempts to formulate a Mill-Ramsey-Lewis theory of cp-laws. (shrink)

However little that various disciplines in the humanities and social sciences might seem to have in common, they share certain interests in methodological problems relating to evidence, inference, and interpretation. By pursuing these shared interests across divergent topics and fields, the contributors to this book advance our understanding of how such truth-seeking, proof-finding methods work, and of what it means to prove something in a range of contexts. Coedited by William Twining, one of the world's outstanding evidence scholars, and (...) Lain HempsherMonk, a leading political theorist, the volume considers intriguing questions from different realms--Assyriology, theatre iconography, musicology, criminology, the history of ideas and colonial history--as it reveals how particular concepts, lines of questioning, and techniques of reasoning and analysis developed in one context can be fruitfully applied in others. (shrink)

In this article I intend to show that the inference problem, one of the main objections raised against the anti-Humean theory of natural laws defended by Dretske, Tooley and Armstrong (?DTA theory? for short), can be successfully answered. First, I argue that a proper solution should meet two essential requirements that the proposals made by the DTA theorists do not satisfy. Then I state a solution to the inference problem that assumes a local immanentistic view of universals, (...) a partial definition of the nomic necessitation relation as a relation of existential dependence, and a principle constraining multiple occupancy. I also argue that my solution meets the two requirements. Finally, I deal with non-standard laws such as exclusion laws, causal laws and laws involving spatiotemporal parameters. (shrink)

It is impossible to hold patently contradictory beliefs in mind together at once. Why? Because we know that it is impossible for both to be true. This impossibility is a species of rational necessity, a phenomenon that uniquely characterizes the relation between one person's beliefs. Here, Eric Marcus argues that the unity of the rational mind--what makes it one mind--is what explains why, given what we already believe, we can't believe certain things and must believe certain others in this special (...) sense. What explains this is that beliefs, and the inferences by which we acquire them, are constituted by a particular kind of endorsement of those very states and acts. This, in turn, entails that belief and inference are essentially self-conscious: to hold a belief or to make an inference is at the same time to know that one does. An examination of the nature of belief and inference, in light of the phenomenon of rational necessity, reveals how the unity of the rational mind is a function of our knowledge of ourselves as bound to believe the true. Rational self-consciousness is the form of mental togetherness. (shrink)

The proof-theoretic analysis of logical semantics undermines the received view of proof theory as being concerned with symbols devoid of meaning, and of model theory as the sole branch of logical theory entitled to access the realm of semantics. The basic tenet of proof-theoretic semantics is that meaning is given by some rules of proofs, in terms of which all logical laws can be justified and the notion of logical consequence explained. In this paper an attempt will be made (...) to unravel some aspects of the issue and to show that this justification as it stands is untenable, for it relies on a formalistic conception of meaning and fails to recognise the fundamental distinction between semantic definitions and rules of inference. It is also briefly suggested that the profound connection between meaning and proofs should be approached by first reconsidering our very notion of proof. (shrink)

This paper is a critical and comparative legal historical study, which offers a global vision of the U.S. Legal System, according to the religious factor impact and its complex dimensions (e.g. religious liberty, Church-State relations, welfare state & solidarity). The principal goal is the deconstruction of the fake official History, elaborated after the Second World War (e.g. inferences, impostures, fallacies). At the same time, it shows the social development (and the kind of commitment in each period), and how it happens (...) the consolidation of the system thanks to the regulation. In this way, it is possible to pay attention to the American experimental evolution (not lineal or exceptional –as many U.S.hand-books pretend): from colonial Blue Laws (or Sunday regulation), up to the current regulation on freedom of religion and non-discrimination. Also, this paper offers a systematic set of diverse legal sources (e.g. Executive orders & rules, Legislative statutes, Judicial cases & resolutions). Another goal of this paper is the evaluation of the allegedly paradoxical policies and regulations in this field, during the last two Administrations (Clinton and W. Bush); both of them, from extreme views (linked at the end), they used incorrectly the religious factor, and they confused the institutions. The result seems to be a landed in the Postmodernity (less realistic and more speech based). (shrink)

Philosophy and Phenomenological Research, EarlyView.

Abstract: While recent scholarship often makes the claim that Plato’s theology in the Laws is based upon inferences from observable features about the world, this interpretation runs into difficulties when one considers (1) the continuing importance that the Socratic turn undertaken in the Phaedo has for speculation in the Laws about the order of the cosmos and (2) the actual observations that Plato makes about the sublunar and celestial realms in the Laws. In light of these difficulties, (...) I develop an interpretation of the theology of the Laws that seeks to show the priority of soul to matter by means of an articulation of the fundamental orientation to the world that is manifest in human beings seeking shared understanding through λόγος. This fundamental orientation is characterized by the recognition that νοῦς, not personal ambition, should guide human action and thought, and I argue that this recognition supplies at least partial support for the belief that νοῦς is in control of the cosmos. This interpretation helps makes sense of difficult passages in the Platonic corpus that ground cosmology on piety (Laws 10.898c6, Philebus 28e2, Timaeus 29a4). The relationship of this philosophical piety to the piety required by the laws of Magnesia is, however, problematic, and it could appear that Plato bridges this gap by a prudentialist account of why the laws of the city should be considered divine. I broach this problem in the final section of this paper by way of an examination of the relationship between the second sailing (δεύτερος πλοῦς) of the Phaedo and the δεύτερος πλοῦς of the Statesman and the Laws. I conclude with the observation that both the Phaedo and the Laws make use of an enchantment (ἐπῳδή) that goes beyond the bounds of what λόγος can establish. (shrink)

Legal systems often rule that people own objects in their territory. We propose that an early-developing ability to make territory-based inferences of ownership helps children address informational demands presented by ownership. Across 6 experiments (N = 504), we show that these inferences develop between ages 3 and 5 and stem from two aspects of the psychology of ownership. First, we find that a basic ability to infer that people own objects in their territory is already present at age 3 (Experiment (...) 1). Children even make these inferences when the territory owner unintentionally acquired the objects and was unaware of them (Experiments 2 and 3). Second, we find that between ages 3 and 5, children come to consider past events in these judgments. They move from solely considering the current location of an object in territory-based inferences, to also considering and possibly inferring where it originated (Experiments 4 to 6). Together, these findings suggest that territory-based inferences of ownership are unlikely to be constructions of the law. Instead, they may reflect basic intuitions about ownership that operate from early in development. (shrink)

The law-governed world-picture -- A remarkable idea about the way the universe is cosmos and compulsion -- The laws as the cosmic order : the best-system approach -- The three ways : no-laws, non-governing-laws, governing-laws -- Work that laws do in science -- An important difference between the laws of nature and the cosmic order -- The picture in four theses -- The strategy of this book -- The meta-theoretic conception of laws -- (...) The measurability approach to laws -- What comes where -- In defense of some received views -- Some assumptions that will be in play -- The laws are propositions -- The laws are true -- The logically contingent consequences of the laws are laws themselves -- At least some laws are metaphysically contingent -- The meta-theoretic conception of laws -- Laws of nature, laws of science, laws of theories -- The first-order conception versus the meta-theoretic conception -- What is a law of nature? -- Some examples of meta-theoretic accounts -- The virtues of the meta-theoretic conception -- Weighing the virtues and shortcomings of the meta-theoretic conception -- An epistemological argument for the meta-theoretic conception of laws -- The discoverability thesis, the governing thesis, and the first-order conception -- The main argument -- The objection from bad company -- The objection from inference to the best explanation -- The objection from bayesianism -- The objection from contextualist epistemology -- The objection from the threat of inductive skepticism -- Laws, governing, and counterfactuals -- Where we are now -- What would things have to be like in order for the laws of nature to govern the universe? -- Lawhood, inevitability, counterfactuals -- What is it for a proposition to be inevitably true? -- What is it for a whole class of propositions to be inevitably true? -- What is it for lawhood to confer inevitability? -- NP and supporting counterfactuals -- The worry about context-variability -- A solution and a look ahead -- When would the laws have been different? -- Where we are now -- The God cases -- Other counterexamples to NP -- A moral-theoretic counterexample to NP -- Scientific contexts and non-scientific contexts -- Scientific God cases? -- Lewisian non-backtracking counterexamples -- Where things stand now -- How could science show that the laws govern? -- Why the law-governed world-picture must include the science-says-so thesis -- What is extra-scientific? -- How can the science-says-so thesis be true? -- NP as a consequence of the presuppositions in any scientific context -- Np as true in all possible scientific contexts -- But how could it be so? -- Attack of the actual-factualists -- Measurement and counterfactuals -- Where we are now -- Measurements, reliability, counterfactuals -- A general principle that captures the relation between measurement and counterfactuals -- What we can learn about lawhood from what we have learned about the counterfactual commitments of science -- A first-order account of laws or a meta-theoretic account of laws? -- What methods are presupposed to be legitimate measurement procedures? -- Why we must adopt a meta-theoretic account of laws -- What lawhood is -- Where we are now -- The measurability account of laws -- Brief review of the case for the mal -- A note about hedged laws -- How plausible is the mal? -- What if we don't care about the law-governed world-picture? -- Newton's God and Laplace's demon -- Beyond humean and non-humean -- Two views of laws -- Humean supervenience and the meta-theoretic conception -- Alleged counterexamples to humean supervenience -- Governing and non-trivial necessity -- How the mal lets us have it all -- Humeanism? non-humeanism? -- What is the significance of the idea of the law-governed universe? -- Where in the world are the laws of nature? -- Appendix: The mal in action : a few examples -- Of scientific theories and their laws -- Newton's theory as a paradigm example -- Classical special-force laws -- Geometrical optics and one of its laws -- Local deterministic field theories. (shrink)

Hogan argues that the basis of interpretive method is ordinary inferential reasoning - that there is no general methodological difference between interpretation in the humanities and theory construction in the physical sciences. Further, the nature of interpretation does not entail cultural, historical, or other forms of relativism, as is commonly thought. However, this does not imply that there is only one way of approaching interpretation or that there is one true meaning of any particular work. Rather, there are many kinds (...) of interpretation and many kinds of meaning and the interpreter is free to stipulate one of these in the context of a particular enquiry. More exactly, discussing the constraints upon stipulation, Hogan says that, although there are a large number and variety of intents (those of authors and readers, conscious and unconscious), there are no nonintentional meanings - Platonic, social, essential, or otherwise. (shrink)

This book grew out of previously published papers of mine composed over a period of years; they have been reworked (sometimes beyond recognition) so as to form a reasonably coherent whole. Part One treats of informative inference. I argue (Chapter 2) that the traditional principle of induction in its clearest formulation (that laws are confirmed by their positive cases) is clearly false. Other formulations in terms of the 'uniformity of nature' or the 'resemblance of the future to the (...) past' seem to me hopelessly unclear. From a Bayesian point of view, 'learning from experience' goes by conditionalization (Bayes' rule). The traditional stum bling block for Bayesians has been to fmd objective probability inputs to conditionalize upon. Subjective Bayesians allow any probability inputs that do not violate the usual axioms of probability. Many subjectivists grant that this liberality seems prodigal but own themselves unable to think of additional constraints that might plausibly be imposed. To be sure, if we could agree on the correct probabilistic representation of 'ignorance' (or absence of pertinent data), then all probabilities obtained by applying Bayes' rule to an 'informationless' prior would be objective. But familiar contra dictions, like the Bertrand paradox, are thought to vitiate all attempts to objectify 'ignorance'. BuUding on the earlier work of Sir Harold Jeffreys, E. T. Jaynes, and the more recent work ofG. E. P. Box and G. E. Tiao, I have elected to bite this bullet. In Chapter 3, I develop and defend an objectivist Bayesian approach. (shrink)

There are several approaches implementing reasoning based on conditional knowledge bases, one of the most popular being System Z (Pearl, Proceedings of the 3rd conference on theoretical aspects of reasoning about knowledge, TARK ’90, Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, pp. 121–135, 1990). We look at ranking functions (Spohn, The Laws of Belief: Ranking Theory and Its Philosophical Applications, Oxford University Press, Oxford, 2012) in general, conditional structures and c-representations (Kern-Isberner, Conditionals in Nonmonotonic Reasoning and Belief Revision: (...) Considering Conditionals as Agents, vol. 2087 of LNCS, Springer, Berlin, 2001) in order to examine the reasoning strength of the different approaches by learning which of the known calculi of nonmonotonic reasoning (System P and R) and Direct Inference are applicable to these inference relations. Furthermore we use the recently proposed Enforcement-postulate (Kern-Isberner and Krümpelmann, Proceedings of the 22nd international joint conference on artificial intelligence, vol. 2, IJCAI’11, AAAI Press, pp. 937–942, 2011) to show dependencies between these approaches. (shrink)