In the addenda to his Naming and Necessity, Kripke provides an account of how necessary aposteriori statements are possible. In such a case, there is an apriori general principle telling us that it is necessary if true at all. Though straightforward in its broad compass, this account faces two obvious questions in its application: in each case of necessary aposteriori statements, what is the underlying principle and how is it established apriori? I treat these questions (...) with respect to theoretical identity statements concerning chemical substances, such as ‘water is H2OH2O’. I argue that the general principle underlying the necessity of the statements is that if a chemical substance has a certain chemical composition, then it could not have had any other chemical composition. Then I defend the view that the principle is a conceptual truth by providing a novel derivation of it from the theoretical concept of chemical substance with a sufficient level of formal rigor. The logical principles required for the derivation will also be stated and defended. (shrink)

Theistic metaethics usually places one key restriction on the explanation of moral facts, namely: every moral fact must ultimately be explained by some fact about God. But the widely held belief that moral truths are necessary truths seems to undermine this claim. If a moral truth is necessary, then it seems like it neither needs nor has an explanation. Or so the objection typically goes. Recently, two proponents of theistic metaethics — William Lane Craig and Mark (...) Murphy — have argued that this objection is flawed. They claim that even if a truth is necessary, it does not follow that it neither needs nor has an explanation. In this article, I challenge Craig and Murphy’s reasoning on three main grounds. First, I argue that the counterexamples they use to undermine the necessary truth objection to theistic metaethics are flawed. While they may provide some support for the notion that necessary truths can be explained, they do not provide support for the notion that necessary moral truths can be explained. Second, I argue that the principles of explanation that Murphy and Craig use to support theistic metaethics are either question-begging (in the case of Murphy) or improperly motivated (in the case of Craig). And third, I provide a general defence of the claim that necessary moral truths neither need nor have an explanation. (shrink)

In this book Gregory Browne rejects the views of David Hume and the Logical Positivists, and argues that there are necessary factual truths, which include a wide range of truths from many fields of knowledge. Browne argues for the necessity of Newton's Laws and truths about natural kinds, and for the factuality of definitional truths and truths of logic and mathematics. Browne synthesizes the work of Kripke, Putnam, Quine and others, but goes beyond the (...) usual discussions of the meanings and definitions of terms to discuss the references of various kinds of terms, and specifically to develop a theory of kinds, distinguishing 'Deep Kinds' and 'Shallow Kinds' . His theory of Deep Kinds does not accept all of the assumptions commonly associated wtih a theory of natural kinds. (shrink)

Saul Kripke’s discussion of the necessary aposteriori in Naming and Necessity and “Identity and Necessity” -- in which he lays the foundation for distinguishing epistemic from metaphysical possibility, and explaining the relationship between the two – is, in my opinion, one of the outstanding achievements of twentieth century philosophy.1 My aim in this essay is to extract the enduring lessons of his discussion, and disentangle them from certain difficulties which, alas, can also be found there. I will argue (...) that there are, in fact, two Kripkean routes to the necessary aposteriori – one correct and philosophically far-reaching, the other incorrect and philosophically misleading. (shrink)

Es conocido que Kripke argumentó que la ilusión de contingencia en el caso de la conciencia no puede explicarse del modo en que se explica en el resto de casos familiares de enunciados necesarios a posteriori. En un artículo reciente, Pérez Otero (2002) argumenta que hay una explicación alternativa, en términos de mera aposterioridad. Argumento en contra de la corrección exegética y de la verdad de esta tesis.Kripke famously argued that the illusion of contingency cannot be explained away, in the (...) case of consciousness, in the way it is explained away in the rest of familiar cases of necessary aposteriori statements. In a recent paper, Pérez Otero (2002) argues that there is an alternative way of explaining it a way, in terms of mere aposteriority. I argue against the exegetical accuracy and the truth of this contention. (shrink)

Es conocido que Kripke argumentó que la ilusión de contingencia en el caso de la conciencia no puede explicarse del modo en que se explica en el resto de casos familiares de enunciados necesarios a posteriori. En un artículo reciente, Pérez Otero (2002) argumenta que hay una explicación alternativa, en términos de mera aposterioridad. Argumento en contra de la corrección exegética y de la verdad de esta tesis.Kripke famously argued that the illusion of contingency cannot be explained away, in the (...) case of consciousness, in the way it is explained away in the rest of familiar cases of necessary aposteriori statements. In a recent paper, Pérez Otero (2002) argues that there is an alternative way of explaining it a way, in terms of mere aposteriority. I argue against the exegetical accuracy and the truth of this contention. (shrink)

Prominent analytical jurisprudents assert that a theory of law consists of necessary, universal truths about the nature of law. This often-repeated claim, which has not been systematically established, is critically examined in this essay. I begin with the distinction between natural kinds and social artifacts, drawing on the philosophy of society to show that necessity claims about law require a fundamental reworking of basic understandings of ontology and epistemology, which legal philosophers have not undertaken. I show law is (...) a poor fit for a priori and a posteriori knowledge. I distinguish between universal application and universal truth, showing the former is sound while the latter is not. I expose the implications that follow from the initial selection of the central case of law, demonstrating that this choice must be justified, and I reveal two ways analytical jurisprudents shield their theories of law from refutation. This analysis raises significant doubts about the claim by analytical jurisprudents that they are identifying necessary, universal truths about the nature of law. (shrink)

According to the knowledge view of evidence notoriously defended by Timothy Williamson (2000), for any subject, her evidence consists of all and only her propositional knowledge (E=K). Many have found (E=K) implausible. However, few have offered arguments against Williamson’s positive case for (E=K). In this paper, I propose an argument against Williamson’s positive case in favour of (E=K). Central to my argument is the possibility of the knowledge of necessary truths. I also draw some more general conclusions concerning (...) theorizing about evidence. (shrink)

The paper seeks a perfectly general argument regarding the non-contingent limits to any (human or non-human) knowledge. After expressing disappointment with the history of philosophy on this score, an argument is grounded in Fitch’s proof, which demonstrates the unknowability of some truths. The necessity of this unknowability is then defended by arguing for the necessity of Fitch’s premise—viz., there this is in fact some ignorance.

What makes necessary truths true? I argue that all truth supervenes on how things are, and that necessary truths are no exception. What makes them true are proofs. But if so, the notion of proof needs to be generalized to include verification-transcendent proofs, proofs whose correctness exceeds our ability to verify it. It is incumbent on me, therefore, to show that arguments, such as Dummett's, that verification- truth is not compatible with the theory of meaning, are (...) mistaken. The answer is that what we can conceive and construct far outstrips our actual abilities. I conclude by proposing a proof-theoretic account of modality, rejecting a claim of Armstrong's that modality can reside in non-modal truthmakers. (shrink)

pt. 1. De dicto: Necessary and contingent truths, by G. W. Leibniz. New essays concerning human understanding, by G. W. Leibniz. Introduction to the critique of pure reason, by Immanuel Kant. On the nature of mathematical truth, C. G. Hempel. Two dogmas of empiricism, by W. V. O. Quine. In defense of a dogma, by H. P. Grace and P. F. Strawson. The a priori and the analytic, by A. Quinton. The truths of reason, by R. Chisholm.--pt. (...) 2. De re: Reference and modality, by W. V. O. Quine. De re et de dicto, by A. Plantinga. World and essence, by A. Plantinga.--Bibliography (p. 200-202). (shrink)

I argue that Fregeanism with respect to proper names—the view that modes of presentation are relevant to the contents of proper names—is able to account for the thesis that there are necessarily true a posteriori identity propositions such as the one expressed in “Hesperus is identical with Phosphorus”, whereas the Direct Reference Theory—according to which the semantic function of certain expressions, e.g., proper names, is only to pick out an object —is able to deal with only their necessary truth. (...) Thus, at least in so far as necessarily true a posteriori identity propositions are concerned, Fregeanism should be preferred to the Direct Reference Theory. (shrink)

I introduce new details in an argument for necessarily existing propositions. The crux of the argument marks out a pathway to the conclusion that necessary truths cannot themselves be necessarily true unless they necessarily exist. I motivate the steps in the argument and then address several standard objections, including one that makes use of the distinction between ‘truth in’ and ‘truth at’. The purpose of the argument is to generate deeper insights into the nature of propositions and the (...) logic of necessity. The argument also gives us a new reason to believe the traditional answer to the question of why there is anything: there is something because the alternative is impossible. (shrink)

That believing truly as a matter of luck does not generally constitute knowing has become epistemic commonplace. Accounts of knowledge incorporating this anti-luck idea frequently rely on one or another of a safety or sensitivity condition. Sensitivity-based accounts of knowledge have a well-known problem with necessary truths, to wit, that any believed necessary truth trivially counts as knowledge on such accounts. In this paper, we argue that safety-based accounts similarly trivialize knowledge of necessary truths and (...) that two ways of responding to this problem for safety, issuing from work by Williamson and Pritchard, are of dubious success. (shrink)

Throughout history, oppressors have used multiple forms of violence to impose their own logic on the human universe they oppress. One such form is epistemic violence, which is based on the monopoly control of truth and the hijacking of universality. Those who apply this violence seek to convince everyone of the absolute character of their supposed truths, of the quasi-natural universality of their ways of thinking, of living, of organizing socially. Truth and universality are ineludible objects in dispute between (...) conservative and emancipating forces. The scenario of this complaint today reaches global dimensions. Life itself is at stake. It is obvious that, without an undermining of oppressive truths and predatory particularisms dressed-up as universalities, social emancipation is not feasible. It is also not possible to conserve life. Unlimited growth, the permanent trend towards wealth accumulation, the pursuit at all costs of profit, make capital increasingly incompatible with life. False truths, such as the inevitable centrality of the market and the natural character of capitalism, must be dismantled. Following the logical-deductive method, this work aims to speak critically of the truth, but not denying its existence. This work speaks critically of truth, but does not negate its existence. Attempts are made to uncover the social conditions of the possibility of truth. It seeks to describe how truth can and should exist, if it aspires to be free and decolonized within a social paradigm such as Our America. (shrink)

According to the safety account of knowledge, one knows that p only if one's belief could not easily have been false. An important issue for the account is whether we should only examine the belief in the target proposition when evaluating whether a belief is safe or not. In this paper, it is argued that if we only examine the belief in the target proposition, then the account fails to account for why beliefs in necessary truths could fall (...) short of knowledge. But, if we also examine beliefs in other relevant propositions, then the account fails to preserve epistemic closure. Therefore, the safety account cannot find a safe path between epistemic closure and necessary truths. (shrink)

The author describes an interpreted modal language and produces some clear examples of logical and analytic truths that are not necessary. These examples: (a) are far simpler than the ones cited in the literature, (b) show that a popular conception of logical truth in modal languages is incorrect, and (c) show that there are contingent truths knowable ``a priori'' that do not depend on fixing the reference of a term.

AT POSTERIOR ANALYTICS 1.1.71B15 AND FOLLOWING, Aristotle identifies six characteristics of the first principles from which demonstrative science proceeds. These are traditionally grouped into two sets of three: group A: ex alêthôn, prôtôn, amêsôn; group B: gnôrimôterôn, proterôn, and aitiôn. The characteristic, which I believe has been underrated and somewhat misinterpreted by scholars and commentators from Philoponus to the present day, is the characteristic of truth. In this paper I propose to present a textually based interpretation of truth that shows (...) the following: that truth is necessarily linked to being. The example given of nonbeing, the commensurability of the diagonal with the sides of a square, suggests more than simple truth is required for first principles and premises of demonstrative science; and that Aristotle later in the APo changes this characteristic to necessary truth, for he recognizes that truth alone is an insufficient basis for scientific demonstration. The referents of necessary truth are eternal being, and the need for eternal being demands that universals exist extramentally for Aristotle. Finally, one of the important ways that universal genera and species exist for Aristotle are as real, causal principles. (shrink)

One longstanding problem for glut theorists is the problem of ‘just true.’ On Beall's conservative version of glut theory advanced in Spandrels of Truth , he addresses the problem in two steps. The first is a rejection of the problem: he claims that the only general notion of ‘just true’ is just truth itself. On that view, the alleged problem of ‘just true’ is reduced to the problem of truth itself, which has a solution—glut theory. The second step is to (...) acknowledge that there is a notion of ‘just true’ which is more limited but nonetheless meets all reasonable criteria demanded by those who advance the longstanding just-true objection. Marcus Rossberg disagrees. According to Rossberg, a just-true operator ought to iterate and be non-arbitrary in ways that Beall's proposed just-true operator is not. My aim in this paper is to construct a new conditional in terms of which a new just-true operator may be defined, a necessity operator, and to show that it meets all of the target desiderata of the debate. I then use that new operator to address the arbitrariness worries raised by Rossberg. (shrink)

Starting with a trustworthy theory T, Galvan (1992) suggests to read offš, from the usual hierarchy of theories determined by consistency strength, a finer-grained hierarchy in which theories higher up are capable of ‘explaining’, though not fully justifying, our commitment to theories lower down. One way to ascend Galvan’s ‘hierarchy of explanation’ is to formalize soundness proofs: to this extent it often suffices to assume a full theory of truth for the theory T whose soundness is at stake. In this (...) paper, we investigate the possibility of an extension of this method. Our ultimate goal will be to extend T not only with truth axioms, but with a combination of axioms for predicates for truth and necessity. We first consider two alternative strategies for providing possible worlds semantics for necessity as a predicate, one based on classical logic, the other on a supervaluationist interpretation of necessity. We will then formulate a deductive system of truth and necessity in classical logic that is sound with respect to the given (nonclassical) semantics. (shrink)

After defining a standard modal language and semantics, we offer some clear examples of logical and analytic truths that are not necessary. These examples: (a) are far simpler than the ones cited in the literature, (b) show that a popular conception of logical truth in modal languages is incorrect, and (c) show that there are contingent truths knowable ``a priori'' that do not depend on fixing the reference of a term.

The integration challenge for modality states that metaphysical theories of modality tend to fail in one of two ways: either they render the meanings of modal sentences mysterious, or they render modal knowledge mysterious. I argue that there are specific semantic and epistemic constraints on metaphysics implied by the integration challenge and that a plausible metaphysical theory of modality will satisfy both of them. I further argue that no popular metaphysical theory of modality simultaneously satisfies both of the constraints. Therefore, (...) a new metaphysical theory of modality is needed, one that can offer a clear response to the integration challenge. I attempt to supply the needed theory and show that it satisfies the constraints of the integration challenge. The overall result is an argument for a new and unique metaphysical theory of modality that I call constructionism. (shrink)

Pure mathematical truths are commonly thought to be metaphysically necessary. Assuming the truth of pure mathematics as currently pursued, and presupposing that set theory serves as a foundation of pure mathematics, this article aims to provide a metaphysical explanation of why pure mathematics is metaphysically necessary.

In philosophical logic necessity is usually conceived as a sentential operator rather than as a predicate. An intensional sentential operator does not allow one to express quantified statements such as 'There are necessary a posteriori propositions' or 'All laws of physics are necessary' in first-order logic in a straightforward way, while they are readily formalized if necessity is formalized by a predicate. Replacing the operator conception of necessity by the predicate conception, however, causes various problems and forces one (...) to reject many philosophical accounts involving necessity that are based on the use of operator modal logic. We argue that the expressive power of the predicate account can be restored if a truth predicate is added to the language of first-order modal logic, because the predicate 'is necessary' can then be replaced by 'is necessarily true'. We prove a result showing that this substitution is technically feasible. To this end we provide partial possible-worlds semantics for the language with a predicate of necessity and perform the reduction of necessities to necessary truths. The technique applies also to many other intensional notions that have been analysed by means of modal operators. (shrink)

Two sentences express the same proposition if they are synonymous; they express the same statement if they attribute the same properties to the same objects at the same time (however objects and times are picked out). Neither propositions nor statements are necessary a posteriori. Suggested examples of the necessary a posteriori, such as "Hesperus is Phosphorus", or "water is H2O", only appear to be such because of a confusion between proposition and statement.

analytic tradition, from its early 20th-century roots in the work of G.E. Moore and Bertrand Russell through Saul Kripke’s pioneering advances in..