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)

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)

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)

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)

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)

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..

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)

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)

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)

The average, general readings in philosophy anthology have five to seven readings on necessary truth. This volume has fourteen. The old workhorses are here: Kant on synthetic and analytic propositions, Mill on necessary truths, Ayer on the a priori, Quine, Grice, and Strawson on dogmas of empiricism. In addition, Pap has two items, one in the middle of an exchange with Putnam over reds, greens, and the synthetic a priori. There is a tough logical analysis by Hintikka, (...) contributions by Jonathan Bennett and Hanson, and a final exchange between Katz and Quine. The selections are by no means comprehensive, but, as the editors note, this would have been impossible. A seventeen-page bibliography comes closer to fulfilling the completeness criterion. The editors include a short introduction, which really should have been expanded, since it raises some of the ontological issues that implicitly guide the debate that takes place among the selections.--E. A. R. (shrink)

The essay considers whether there are necessary truths about rights. The existence of rights is contingent, but our practices involving rights rest upon fundamental conceptual assumptions necessary to their coherence. Hohfeld's analysis is proffered as the embodiment of those assumptions. An examination of the concept of necessity shows how those assumptions can be necessary truths about rights without being logically necessary.

There is a widespread belief, more often implied than explicitly asserted, that Hume considered all necessary propositions to be analytic.Of course Hume did not use the analytic-synthetic distinction explicitly. This only come to the forefront with Kant; and it is Kant who is probably the main source of the above-mentioned belief. Kant ascribed to Hume the view that mathematical propositions are, in his terminology, analytic. If this is correct, then since mathematics was for Hume the paradigm of a body (...) of necessary truths, it is plausible to infer that he considered necessary propositions to be one and all analytic. The absence in Hume's writings of the analytic-synthetic terminology is by no means decisive: though he did not have the terms he may well have possessed the concepts, as evidenced by his use of them. (shrink)

The paper argues that there is a fruitful analogy to be made between classic pre-analytic Euclidean geometry and a certain kind of mechanism models, called ideal mechanisms. Both supply necessary truths. Bunge is of the opinion that pure mathematics is about fictions, but that mathematics nonetheless is useful in science and technology because we can go “to reality through fictions.” Similarly, the paper claims that ideal mechanisms are useful because we can go to real mechanisms through the fictions of (...) ideal mechanisms. The view put forward takes it for granted that two important distinctions concerned with the classification of fictions can be made. One is between ideal and non-ideal fictions, and the other between social and non-social fictions. Pure numbers, purely geometric figures, and ideal mechanisms are claimed to be ideal and social fictions. (shrink)

Duncan Pritchard has argued that his basis-relative anti-luck construal of a safety condition on knowing avoids the problem with necessary truths that safety conditions are often thought to have, viz., that beliefs the contents of which are necessarily true are trivially safe. He has further argued that adding an ability condition to truth, belief, and his anti-luck safety conditions yields an adequate account of knowledge. In this paper, we argue that not only does Pritchard’s anti-luck safety condition have (...) a problem with necessary truths, adding an ability condition is of no help. Indeed, the same sort of case that precipitates Pritchard’s introduction of an ability condition shows the inadequacy of his completed anti-luck account of knowledge. Moreover, reconstruing safety as an anti-risk condition as Pritchard has recently done does not fix the problem we’ve identified. We conclude by entertaining a radical suggestion to the effect that the failures of safety-based accounts of modal knowledge are due to failures of doxastic success rather than failures to satisfy an anti-luck (or anti-risk) condition. Accepting this radical suggestion makes available the view that there is, after all, no special problem between safety and necessary truths. (shrink)

It is traditionally held that our knowledge of necessity is a priori; but the familiar theories of a priori knowledge – platonism and conventionalism – have now been discredited, and replaced by either modal skepticism or a posteriori essentialism. The main thesis of this paper is that Kant's theory of a priori knowledge, when detached from his transcendental idealism, offers a genuine alternative to these unpalatable options. According to Kant's doctrine, all epistemic necessity is grounded directly or indirectly on our (...) capacity for clear and distinct rational intuition. Insight, in turn, depends upon functions of the imagination for creating “mental models” of necessary truths. This doctrine is well exemplified by Kant's account of our knowledge of simple analytic truths. (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 target belief when evaluating whether a belief is safe or not. In this paper, it is argued that, if we should only examine the target belief, then the account fails to account for ignorance of necessary truths. But, if we should also examine beliefs in other (...) relevant propositions, then the account fails to account for knowledge from falsehood. Therefore, the safety account of knowledge is undermined by knowledge from falsehood and ignorance of necessary truths. (shrink)

The aim of this paper is to relate the debate about the status of S4 and S5 as modal logics for metaphysical modality to the debate about the identity of propositions. The necessary truth of the characteristic axioms of S4 and S5 (when interpreted in terms of metaphysical modality) is derived from a view about the identity of propositions, the view that necessarily equivalent propositions are identical.

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)

It is traditionally held that our knowledge of necessity is a priori; but the familiar theories of a priori knowledge – platonism and conventionalism – have now been discredited, and replaced by either modal skepticism or a posteriori essentialism. The main thesis of this paper is that Kant's theory of a priori knowledge, when detached from his transcendental idealism, offers a genuine alternative to these unpalatable options. According to Kant's doctrine, all epistemic necessity (which he calls “conviction” (Ueberzeugung) is grounded (...) directly or indirectly on our capacity for clear and distinct rational intuition (which he calls “insight” (Einsicht). Insight, in turn, depends upon functions of the imagination for creating “mental models” of necessary truths. This doctrine is well exemplified by Kant's account of our knowledge of simple analytic truths. (shrink)

According to the safety condition, a subject knows that p only if she would believe that p only if p was true. The safety condition has been a very popular necessary condition for knowledge of late. However, it is well documented that the safety condition is trivially satisfied in cases where the subject believes in a necessary truth. This is for the simple reason that a necessary truth is true in all possible worlds, and therefore (...) it is true in all possible worlds where it is believed. But clearly, all beliefs concerning necessary truths do not amount to knowledge. The safety theorists have attempted to deal with the problem caused by necessary truths by restricting the safety condition to purely contingent truths and by globalizing the safety condition to a set of propositions. Both of these solutions are problematic. The principal aim of this paper is to develop a version of the safety condition that is able to deal with cases featuring necessary truths. (shrink)