It is argued that contraposition is valid for a class of natural language conditionals, if some modifications are allowed to preserve the meaning of the original conditional. In many cases, implicit temporal indices must be considered, making a change in verb tense necessary. A suitable contrapositive for implicative counterfactual conditionals can also usually be found. In some cases, the addition of certain words is necessary to preserve meaning that is present in the original sentence and would be lost (...) or changed in the contrapositive without them. A distinction is made between adding new meaning and adding new words to preserve existing meaning. For concessive conditionals and relevance conditionals, however, no valid contrapositive can be found. They do not belong to the class of contraposable conditionals, which can be independently defined. Difficult cases are also discussed in which the contradictory of the consequent semantically entails the truth of the antecedent. In such cases the content of the antecedent is implicit in the meaning of the consequent. Contraposition becomes possible if what is implicit in the original consequent is made explicit in the contrapositive antecedent. (shrink)

Monists say that the nature of truth is invariant, whichever sentence you consider; pluralists say that the nature of truth varies between different sets of sentences. The orthodoxy is that logic and logical form favour monism: there must be a single property that is preserved in any valid inference; and any truth-functional complex must be true in the same way as its components. The orthodoxy, I argue, is mistaken. Logic and logical form impose only structural constraints on (...) a metaphysics of truth. Monistic theories are not guaranteed to satisfy these constraints, and there is a pluralistic theory that does so. (shrink)

Approximation involves representing things in ways that might be close to the truth but are nevertheless false. Given the widespread reliance on approximations in science and everyday life, here we ask whether it is conceptually possible for false approximations to qualify as knowledge. According to the factivity account, it is impossible to know false approximations, because knowledge requires truth. According to the representational adequacy account, it is possible to know false approximations, if they are close enough to the (...) truth for present purposes. In this paper, we adopt an experimental methodology to begin testing these two theories. When an agent provides a false and practically inadequate answer, both theories predict that people will deny knowledge. But the theories disagree about an agent who provides a false but practically adequate answer: the factivity hypothesis again predicts knowledge denial, whereas the representational adequacy hypothesis predicts knowledge attribution. Across two experiments, our principal finding was that people tended to attribute knowledge for false but practically adequate answers, which supports the representational adequacy account. We propose an interpretation of existing findings that preserves a conceptual link between knowledge and truth. According to this proposal, truth is not necessary for knowledge, but it is a feature of prototypical knowledge. (shrink)

Nicolas Malebranche (1638-1715) holds that the senses, imagination, and passions aim at survival and the satisfaction of the body’s needs, rather than truth or the good of the mind. Each of these faculties makes a distinctive and, indeed, an indispensable contribution to the preservation of life. Commentators have largely focused on how the senses keep us alive. By comparison, the imagination and passions have been neglected. In this paper, I reconstruct Malebranche’s account of how the imagination contributes to (...) the preservation of the body by compensating for the limitations of the senses. First, the imagination represents non-actual states of affairs, such as probable or possible future states. Second, the imagination forges new and often helpful associations based on past experiences. Third, the imagination (mis)represents that objects will cause pleasure and pain, thereby imbuing them with emotional significance they would otherwise lack. Together, these features flesh out Malebranche’s view that the imagination is necessary for the preservation of life. (shrink)

This article discusses Rik Peels's response to Williams's argument against voluntary belief. Williams argues that voluntary beliefs must be acquired independently of truth-considerations, so they cannot count as beliefs after all, since beliefs aim at truth. Peels attempted to reply by showing that in cases of self-fulfilling beliefs, a belief can indeed be voluntarily acquired in conditions which retain the necessary truth-orientation. But even if we make two crucial concessions to Peels’s proposal, his argument ultimately fails. (...) The first concession is that beliefs can be weakly voluntary-namely, we can acquire them at will though we do not preserve them at will but on the basis of evidence. Conceding this, however, only lands us in the “acquisition problem”: how a belief can be acquired qua belief when we still do not think we have justification for it. This leads us to the second concession: that knowing in advance that a certain belief is self-fulfilling provides us with such a justification. However, this concession lands us in the ultimate obstacle: that, precisely because such a justification is available both before and at the moment of forming the belief, the cognitive perspective of the subject is identical at both moments, which obscures what it even means to say that at a certain moment she started to have a belief. (shrink)

A truth-preservation fallacy is using the concept of truth-preservation where some other concept is needed. For example, in certain contexts saying that consequences can be deduced from premises using truth-preserving deduction rules is a fallacy if it suggests that all truth-preserving rules are consequence-preserving. The arithmetic additive-associativity rule that yields 6 = (3 + (2 + 1)) from 6 = ((3 + 2) + 1) is truth-preserving but not consequence-preserving. As noted in James (...) Gasser’s dissertation, Leibniz has been criticized for using that rule in attempting to show that arithmetic equations are consequences of definitions. -/- A system of deductions is truth-preserving if each of its deductions having true premises has a true conclusion—and consequence-preserving if, for any given set of sentences, each deduction having premises that are consequences of that set has a conclusion that is a consequence of that set. Consequence-preserving amounts to: in each of its deductions the conclusion is a consequence of the premises. The same definitions apply to deduction rules considered as systems of deductions. Every consequence-preserving system is truth-preserving. It is not as well-known that the converse fails: not every truth-preserving system is consequence-preserving. Likewise for rules: not every truth-preserving rule is consequence-preserving. There are many famous examples. In ordinary first-order Peano-Arithmetic, the induction rule yields the conclusion ‘every number x is such that: x is zero or x is a successor’—which is not a consequence of the null set—from two tautological premises, which are consequences of the null set, of course. The arithmetic induction rule is truth-preserving but not consequence-preserving. Truth-preserving rules that are not consequence-preserving are non-logical or extra-logical rules. Such rules are unacceptable to persons espousing traditional truth-and-consequence conceptions of demonstration: a demonstration shows its conclusion is true by showing that its conclusion is a consequence of premises already known to be true. The 1965 Preface in Benson Mates (1972, vii) contains the first occurrence of truth-preservation fallacies in the book. (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)

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)

In Saving Truth from Paradox, Hartry Field presents and defends a theory of truth with a new conditional. In this paper, I present two criticisms of this theory, one concerning its assessments of validity and one concerning its treatment of truth-preservation claims. One way of adjusting the theory adequately responds to the truth-preservation criticism, at the cost of making the validity criticism worse. I show that in a restricted setting, Field has a way to (...) respond to the validity criticism. I close with some general considerations on the use of revision-theoretic methods in theories of truth. (shrink)

According to a standard story, part of what we have in mind when we say that an argument is valid is that it is necessarily truth preserving: if the premises are true, the conclusion must also be true. But—the story continues—that’s not enough, since ‘Roses are red, therefore roses are coloured’ for example, while it may be necessarily truth-preserving, is not so in virtue of form. Thus we arrive at a standard contemporary characterisation of validity: an argument is (...) valid when it is NTP in virtue of form. Here I argue that we can and should drop the N; the resulting account is simpler, less problematic, and performs just as well with examples. (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)

Modal epistemologists parse modal conditions on knowledge in terms of metaphysical possibilities or ways the world might have been. This is problematic. Understanding modal conditions on knowledge this way has made modal epistemology, as currently worked out, unable to account for epistemic luck in the case of necessary truths, and unable to characterise widely discussed issues such as the problem of religious diversity and the perceived epistemological problem with knowledge of abstract objects. Moreover, there is reason to think that (...) this is a congenital defect of orthodox modal epistemology. This way of characterising modal epistemology is however optional. It is shown that one can non-circularly characterise modal conditions on knowledge in terms of epistemic possibilities, or ways the world might be for the target agent. Characterising the anti-luck condition in terms of epistemic possibilities removes the impediment to understanding epistemic luck in the case of necessary truths and opens the door to using these conditions to shed new light on some longstanding epistemological problems. (shrink)

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)

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)

Gómez-Torrente’s papers have made important contributions to vindicate Tarski’s model-theoretic account of the logical properties in the face of Etchemendy’s criticisms. However, at some points his vindication depends on interpreting the Tarskian account as purportedly modally deflationary, i.e., as not intended to capture the intuitive modal element in the logical properties, that logical consequence is (epistemic or alethic) necessary truth-preservation. Here it is argued that the views expressed in Tarski’s seminal work do not support this modally deflationary (...) interpretation, even if Tarski himself was sceptical about modalities. (shrink)

Epistemic two-dimensional semantics, advocated by Chalmers and Jackson, among others, aims to restore the link between necessity and a priority seemingly broken by Kripke, by showing how armchair access to semantic intensions provides a basis for knowledge of necessary a posteriori truths. The most compelling objections to E2D are that, for one or other reason, the requisite intensions are not accessible from the armchair. As we substantiate here, existing versions of E2D are indeed subject to such access-based objections. But, (...) we moreover argue, the difficulty lies not with E2D but with the typically presupposed conceiving-based epistemology of intensions. Freed from that epistemology, and given the right alternative—one where inference to the best explanation provides the operative guide to intensions—E2D can meet access-based objections, and fulfill its promise of restoring the desirable link between necessity and a priority. This result serves as a central application of Biggs and Wilson, according to which abduction is an a priori mode of inference. (shrink)

How to accommodate the possibility of lucky true beliefs in necessary (or armchair) truths within contemporary modal epistemology? According to safety accounts luck consists in the modal proximity of a false belief, but a belief in a true mathematical proposition could not easily be false because a proposition believed could never be false. According to Miščević modal stability of a true belief under small changes in the world is not enough, stability under small changes in the cognizer should also (...) (and primarily) be considered. I argue for a more traditional modal reliabilism based on the critical question: how easy is it for a belief to be false, given the way it was formed? A belief (a priori or a posteriori) is then agent-lucky when based on a specific method which might easily lead to a false belief in the target proposition. Miščević suggests a unifying approach in terms of virtue epistemology. It seems to me that this approach, if successful, will undermine the project that he started with: formulate an anti-luck condition in the frame of a modal theory of luck. (shrink)

Much mainstream analytic epistemology is built around a sceptical treatment of modality which descends from Hume. The roots of this scepticism are argued to lie in Hume’s (nominalist) theory of perception, which is excavated, studied and compared with the very different (realist) theory of perception developed by Peirce. It is argued that Peirce’s theory not only enables a considerably more nuanced and effective epistemology, it also (unlike Hume’s theory) does justice to what happens when we appreciate a proof in mathematics.

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)

Some arguments include imperative clauses. For example: ‘Buy me a drink; you can’t buy me that drink unless you go to the bar; so, go to the bar!’ How should we build a logic that predicts which of these arguments are good? Because imperatives aren’t truth apt and so don’t stand in relations of truth preservation, this technical question gives rise to a foundational one: What would be the subject matter of this logic? I argue that declaratives (...) are used to produce beliefs, imperatives are used to produce intentions, and beliefs and intentions are subject to rational requirements. An argument will strike us as valid when anyone whose mental state satisfies the premises is rationally required to satisfy the conclusion. For example, the above argument reflects the principle that it is irrational not to intend what one takes to be the necessary means to one’s intended ends. I argue that all intuitively good patterns of imperative inference can be explained using off-the-shelf formulations of our rational requirements. I then develop a formal-semantic theory embodying this view that predicts a range of data, including free-choice effects and Ross’s paradox. The resulting theory shows one way that our aspirations to rational agency can be discerned in the patterns of our speech, and is a case study in how the philosophy of language and the philosophy of action can be mutually illuminating. (shrink)

Are rights to privacy consistent with sexual equality? In a brief, but influential, article Catherine MacKinnon trenchantly laid out feminist criticisms of the right to privacy. In “Privacy v. Equality: Beyond Roe v. Wade” she linked familiar objections to the right to privacy and connected them to the fate of abortion rights in the U.S.A. (MacKinnon, 1983, 93-102). For many feminists, the Supreme Court’s decision in Roe v. Wade (1973) had suggested that, notwithstanding a dubious past, legal rights to privacy (...) might serve feminist objectives, and prove consistent with sexual equality. By arguing that Roe’s privacy justification of abortion rights was directly responsible for the weakness and vulnerability of abortion rights in America, MacKinnon took aim at feminist hopes for the right to privacy at their strongest point. Maintaining that Roe’s privacy justification of abortion is intimately, and not contingently, related to the Supreme Court’s subsequent decision in Harris v. McRae, (1980) MacKinnon concluded that privacy rights cannot be reconciled with the freedom and equality of women, and so can have no place in a democracy.1 In Harris, the Supreme Court held that the State need not provide Medicaid coverage for abortions that are necessary to preserve the health, but not the life, of a pregnant woman, effectively depriving poor women of almost all state aid for abortions.2 Moreover, the Court’s subsequent decision in Bowers v . Hardwick (1986) appeared to confirm the truth of MacKinnon’s observation – though this case concerned gay rights, rather than abortion rights, and occurred several years after MacKinnon’s condemnation of Harris. -/- This paper examines MacKinnon’s claims about the relationship of rights to privacy and equality in light of the reasoning in Harris and Bowers. When we contrast the Majority and Minority decisions in these cases, it shows, we can distinguish interpretations of the right to privacy that are consistent with sexual equality from those that are not. This is not simply because the two differ in their consequences – though they do - but because the former, unlike the latter, rely on empirical and normative assumptions that would justify sexual inequality whatever right they were used to interpret. So while I agree with MacKinnon that the Majority’s interpretation of the right to privacy in Harris is inconsistent with the equality of men and women, I show that there is no inherent inconsistency in valuing both privacy and equality, and no reason why we must chose to protect the one, rather than the other. Indeed, an examination of MacKinnon’s article, I suggest, can help us to see why rights to privacy can be part of a scheme of democratic rights, and how we might go about democratising the right to privacy in future. To avoid confusion I should emphasise that my arguments are of a philosophical, not a legal, nature. Thus, I will be ignoring the specifically legal and constitutional aspects of MacKinnon’s article, and of the Supreme Court decisions, in order to bring their philosophical significance into focus. -/- . (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)

Resolution of Frege's Puzzle by denying that synonym substitution in logical truths preserves sentence sense and explaining how logical form has semantic import. Intensional context substitutions needn't preserve truth, because intercepting doesn't preserve sentence meaning. Intercepting is nonuniformly substituting a pivotal term in syntactically secured truth. Logical sentences and their synonym interceptions share factual content. Semantic content is factual content in synthetic predications, but not logical sentences and interceptions. Putnam's Postulate entails interception nonsynonymy. Syntax and vocabulary explain only (...) the factual content of synthetic predications; extrasentential reality explains their truth. Construction of logical factual content explains logical necessity. Terms retain objectual reference, but logical syntax preempts their function in explaining truth. Grasping the facts GG/gg assert entails understanding this. Understanding what GH states requires some recognition that GH must be true just because GmH, and GmH state an empirical fact. GH is standardly used to express that fact. Church's Test exposes puzzles. QMi sentences, and QTi sentences are metalogical necessities, true by syntax. Intercepting QMi creates empirical QM contingencies. Synonymy turns semantic contingencies into metalogical and lexical necessities. That transformation is syntactic, via the syntactic duality of definite descriptions. GmH is a contingent copredication, and a lexically necessary referential identity with rigidly codesignating indexicals. Metalogical sentences may be about expressional matter or what it expresses. GG has GG's semantic content, but the referent expression switches. Metalogical syntax secures truth by self-referential quotational indexing. Metalogically, referents are identified with intrasentential replica. Extrasentential identifications are metalogically irrelevant. (shrink)

Analyticity is a bogus explanatory concept, and is so even granting genuine synonomy. Definitions can't explain the truth of a statement, let alone its necessity and/or our a priori knowledge of it. The illusion of an explanation is revealed by exposing diverse confusions: e.g., between nominal, conceptual and real definitions, and correspondingly between notational, conceptual, and objectual readings of alleged analytic truths, and between speaking a language and operating a calculus. The putative explananda of analyticity are (alleged) truths about (...) essential properties. Real definitions (a la Socrates) are the (alleged) explananda, not the explanans of analyticity. Their truth can be explained neither by conceptual definitions (a la Kant), nor by nominal definitions (a la Frege). The Quinean assault on synonomy is unsuccessful and in any case misplaced, because analyticity turns on the explanatory import of synonomy, not its existence. Synonym substitution in a logical truth cannot yield a necessary truth for it doesn't preserve logical form. Self-identity statements (for properties and/or individuals) differ in logical form from alter-identity statements. (shrink)

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)

Thomas Hofweber takes the semantic paradoxes to motivate a radical reconceptualization of logical validity, rejecting the idea that an inference rule is valid just in case every instance thereof is necessarily truth-preserving. Rather than this “strict validity”, we should identify validity with “generic validity”, where a rule is generically valid just in case its instances are truth preserving, and where this last sentence is a generic, like “Bears are dangerous”. While sympathetic to Hofweber’s view that strict validity should (...) be replaced by something allowing for exceptions, I argue that this should instead be truth-conduciveness, a matter of a large majority of instances being truth-preserving. The fact that inference rules have uncountably many instances, I argue, can be handled by defining truth-conduciveness as relative to finite sets of instances. Moreover, I argue that Hofweber’s position, while seemingly radical, may be less so under closer scrutiny. For the mere claim that classical rules and unrestricted truth rules are generically valid (or truth-conducive) is not in itself controversial. Also, if there is an answer to the question of which of these are also strictly valid, then the claim that generic validity is the central notion in logic is at most an interest-relative matter, since there is then also a fact of the matter as to which inference rules are (not) strictly valid. If no solution operating with strict validity to the paradoxes can be had, however, then the claim that validity should be identified with a weaker notion is better motivated. I argue that it is reasonable, in view of past failures, to conjecture that no ordinary solution will score high enough relative to standard (uncontroversial) desiderata to merit justified belief. Hence, it is unknowable which solution is correct. I further argue that this is best explained by its being metaphysically indeterminate which solution is correct. If this conjecture is true, then we ought instead to think of validity as allowing exceptions, and then take the “true logic” to be one that takes both the classical rules and the truth rules to be valid, i.e., truth-conducive. This logic scores very high on the desiderata on logics, and is therefore preferable to any logic operating with strict validity. (shrink)

Here, I explore a modernist aesthetics of death metal. First, I briefly describe a few themes that characterize some modern art, without any claim that they are necessary, sufficient, or exhaustive. The goal is to obtain a set of themes that might be set against similar themes characteristic of death metal. This is the task in the second half of the paper. In particular, I argue that (some) modernist art and death metal share themes centered on transgressively breaking with (...) the past, pursue their conception of the truth, eliminate elements in their art form to purity them, and attack the art/non-art or music/non-music distinction. I contend that centering on death metal vocals reflects these themes. Death metal growls, like some modernist art, transgresses on past vocal traditions, tells us important truths, eliminates traditional concepts/techniques of signing, and undermines the singing/noise distinction. (shrink)

Logical reasoning is not only a component of religious faith (cf., for instance, the "Golden rule"), but, in addition, the religious faith itself can be conceived as a logical pragmatic function applied to sentences and their meanings. Pragmatic role of religious faith is shown on the examples of the analogy of seed and spoken word (e.g., Mt 13:3-23) and on the degrees of faith described in the episode about Nicodemus (John 3). Pragmatics adds (different grades of) perseverance to the correctness (...) of reasoning and to the truth-preservation of the consequence relation. Correspondingly, religious faith is described by formally defined model and satisfaction relation, which are applied to and examined on the text of John 3. (shrink)

Kuhn's alleged taxonomic interpretation of incommensurability is grounded on an ill defined notion of untranslatability and is hence radically incomplete. To supplement it, I reconstruct Kuhn's taxonomic interpretation on the basis of a logical-semantic theory of taxonomy, a semantic theory of truth-value, and a truth-value conditional theory of cross-language communication. According to the reconstruction, two scientific languages are incommensurable when core sentences of one language, which have truth values when considered within its own context, lack truth (...) values when considered within the context of the other due to the unmatchable taxonomic structures underlying them. So constructed, Kuhn's mature interpretation of incommensurability does not depend upon the notion of truth-preserving translatability, but rather depends on the notion of truth-value-status-preserving cross-language communication. The reconstruction makes Kuhn's notion of incommensurability a well grounded, tenable and integrated notion.Author Keywords: Incommensurability; Thomas Kuhn; Taxonomic structures; Lexicons; Truth-value; Untranslatability; Cross-language communication. (shrink)

Mümkün varlıkları aracı kılmadan Vâcibü’l-Vücûd’un varlığını ispatlama çabalarının bir sonucu olan sıddıkîn burhanı ilk defa Müslüman filozoflar tarafından dillendirildi. İbn Sînâ (ö. 428/1037) da Fârâbî’nin etkisiyle yeni bir burhan açıkladı ve buna sıddıkîn adını verdi. Molla Sadrâ (ö. 1050/1641) varlığın asaleti ilkesini mutasavvıflardan, teşkîk ilkesini de Sühreverdî’den iktibas ederek yeni bir sıddıkîn burhanı dillendirdi. Bu burhanın, varlığın asaleti, basîtliği/yalınlığı, teşkîkî ve ma’lûlün illete ihtiyacı olmak üzere bazı öncülleri vardır. O, bu öncülleri açıkladıktan sonra teselsüle ihtiyaç duymadan Vâcibü’l-Vücûd’un varlığını ispatlar. Onun (...) burhanı diğer sıddıkîn burhanlarına nispetle bazı üstün özelliklere sahiptir. Öncelikle bu burhan varlığın asaleti ilkesi üzerine bina edildiğinden dayanağı varlık kavramı değil, varlığın nesnel hakikatidir. İkincisi bu burhan Vâcibü’l-Vücûd’un zâtını ispatlamakla birlikte Vâcibü’l-Vücûd’un birliğini ve kemâlî sıfatlarını ispatlar. Üçüncüsü bu burhana göre mümkün varlıklar hiçbir aracı olmadan Vâcibü’l-Vücûd’a bağımlı olduklarından burhanın açıklanmasında teselsül ve kısır döngüden yararlanma ihtiyacı yoktur. Molla Sadrâ’nın teselsül ve kısır döngüden de yararlanarak Vâcibü’l-Vücûd’un varlığını ispatladığı burhanlar da vardır. Molla Sadrâ bu burhanıyla hem Vâcibü’l-Vücûd’un varlığını ve hem de onun kemâlî sıfatlarını ispatladığını iddia eder. Bu çalışmada bu iddia incelecek ve ispat-ı vacip meselesinde Molla Sadrâ’nın ne gibi yenilikler getirdiği ele alınacaktır. ABSTRACT A result of the attempts to prove the existence of The Necessary Existence without the mediation of possible beings, proof of the truthful was first expressed by Muslim philosophers called it sıddıkin. Mullā Ṣadrā’s “proof” that he explains has certain premises such as the fundamental of existence, indivisibility of the existence, existential gradation, effect’s need for cause. After explanining these premises, Mullā Ṣadrā then proves the Necessary Existence without needing succession. Mullā Ṣadrā’s proof of the truthful has certain superior features tan the proofs of truthful expressed before him. First of all, as this proof is built upon the principle of the fundamental of existence, its foundation is the external truth of existence, not the concept of existence itself. Secondly, this proof proves the unity and perfection attributes of The Necessary Existence as well as proving the existence of the Necessary Existence. Thirdly, according to this proof, as all possible existences are dependent on The Necessary Existence without any mediation, there is no need to benefit from succession and vicious circle in explaining the proof. However, Mullā Ṣadrā proves the Necessary Existence by benefitting from succession and vicious circle in other proofs. Mullā Ṣadrā asserts that this proof demonstrates the presence of The Necessary Existence and its perfection attributions. This study examines this assertion and addresses what kind of innovations was brought by Mullā Ṣadrā in terms of proving The Necessary Existence. (shrink)

In matters of personal taste, faultless disagreement occurs between people who disagree over what is tasty, fun, etc., in those cases when each of these people seems equally far from the objective truth. Faultless disagreement is often taken as evidence that truth is relative. This article aims to help us avoid the truth-relativist conclusion. The article, however, does not argue directly against relativism; instead, the article defends non-relative truth constructively, aiming to explain faultless disagreement with the (...) resources of semantic contextualism. To this end the article describes and advocates a contextualist solution inspired by supervaluationist truth-value gap approaches. The solution presented here, however, does not require truth value gaps; it preserves both logical bivalence and non-relative truth, even while it acknowledges and explains the possibility of faultless disagreement. The solution is motivated by the correlation between assertions’ being true and their being useful. This correlation, furthermore, is used not only to tell which assertions are true, but also to determine which linguistic intuitions are reliable. (shrink)

Conceptual engineering is to be explained by appeal to the externalist distinction between concepts and conceptions. If concepts are determined by non-conceptual relations to objective properties rather than by associated conceptions (whether individual or communal), then topic preservation through semantic change will be possible. The requisite level of objectivity is guaranteed by the possibility of collective error and does not depend on a stronger level of objectivity, such as mind-independence or independence from linguistic or social practice more generally. This (...) means that the requisite level of objectivity is exhibited not only by natural kinds, but also by a wide range of philosophical kinds, social kinds and artefactual kinds. The alternative externalist accounts of conceptual engineering offered by Herman Cappelen and Derek Ball fall back into a kind of descriptivism which is antithetical to externalism and fails to recognise this basic level of objectivity. (shrink)

Traditional inflationary approaches that specify the nature of truth are attractive in certain ways; yet, while many of these theories successfully explain why propositions in certain domains of discourse are true, they fail to adequately specify the nature of truth because they run up against counterexamples when attempting to generalize across all domains. One popular consequence is skepticism about the efficaciousness of inflationary approaches altogether. Yet, by recognizing that the failure to explain the truth of disparate propositions (...) often stems from inflationary approaches' allegiance to alethic monism, pluralist approaches are able to avoid this explanatory inadequacy and the resulting skepticism, though at the cost of inviting other conceptual difficulties. A novel approach, alethic functionalism, attempts to circumvent the problems faced by pluralist approaches while preserving their main insights. Unfortunately, it too generates additional problems---namely, with its suspect appropriation of the multiple realizability paradigm and its platitude-based strategy---that need to be dissolved before it can constitute an adequate inflationary approach to the nature of truth. (shrink)

Common-sense allows that talk about moral truths makes perfect sense. If you object to the United States’ Declaration of Independence’s assertion that it is a truth that ‘all men’ are ‘endowed by their Creator with certain unalienable Rights’, you are more likely to object that these rights are not unalienable or that they are not endowed by the Creator, or even that its wording ignores the fact that women have rights too, than that this is not the sort of (...) thing which could be a truth. Whether it is a truth or not seems beside the point, anyway; the writers of the Declaration could just have well written, ‘We hold it to be self-evident that all men are created equal, and also that it is self-evident that all men are endowed by their Creator with certain unalienable Rights,’ save only that its cadence would lack some of the poetic resonance of the version which garnered Hancock’s signature. Yet famously, ethical noncognitivists have proclaimed that moral sentences can’t be true or false – that, like ‘Hooray!’ or ‘dammit!’, they are not even the kinds of things to be true or false. Noncognitivism is sometimes even defined as the view that this is so, but even philosophers who define ‘noncognitivism’ more broadly, as consistent with the idea that moral sentences may be true or false, have believed that they needed to do important philosophical spadework in order to make sense of how moral sentences could be true or false. In this article we’ll look at the puzzle about moral truth as it is faced by early noncognitivists and by metaethical expressivists, the early noncognitivists’ contemporary cousins. We’ll look at what it would take for expressivists to ‘earn the right’ to talk about moral truths at all, and in particular at what it would take for them to earn the right to claim that moral truths behave in the ways that we should expect – including that meaningful moral sentences which lack presuppositions are true or false, and that classically valid arguments are truth-preserving.. (shrink)

This paper argues that McDowell wrongly assumes that “terror”, Cavell’s reaction to the radical contingency of our shared modes of knowing or our “attunement”, expresses a skepticism that is antinomically bound to an equally unacceptable dogmatism because Cavell rather regards terror as a mood that reveals the “truth of skepticism”, namely, that there is no conclusive evidence for necessary attunement on pain of a category error, and that a precedent for McDowell’s misunderstanding is Hegel’s argument for necessary (...) attunement in a system of knowing, whose refutation Schelling holds it is the “merit of skepticism” to provide. (shrink)

It is necessarily true that water is H2O, but it is a contingent fact that there is any water at all. Water therefore seems ill suited to ground the necessary truth that water is H2O. One view traditionally attributed to Scotus and Henry of Ghent was that while water is contingent, the essence of water is necessary; hence, the essence of water can ground the so-called eternal truth that water is H2O. Francisco Suárez rejects this view (...) on the grounds that it contradicts the Christian doctrine of creation, according to which everything other than God was contingently created in time. Suárez’s own view of the eternal truths has proven elusive to commentators, but I argue that Suárez ultimately endorses a version of the view he rejects: essences ground the eternal truths. But this raises several puzzles: how is Suárez’s view distinct from the views traditionally ascribed to Scotus and Henry? How does Suárez’s view escape the argument from creation, which Suárez raises against his opponents? I argue that Suárez distinguishes between his view and his opponents’ view by saying that essences have “extrinsic being,” whereas his opponents claim that essences have “intrinsic being.” The distinction between intrinsic and extrinsic being has not received much attention, but I argue that it marks an important fault line in scholastic thinking about the ontological status of non-existents. I argue that the notion of extrinsic being can be explicated in terms of ontological pluralism and grounding. The notion of extrinsic being helps differentiate Suárez’s view from his Scotistic and Henrician opponents, and it allows Suárez to respond to the creation argument he raises against his opponents. On my reading, Suárez’s solution to the problem of eternal truths turns out to be both highly original and philosophically satisfying. (shrink)

In the first part of this paper, I argue against the view that laws of nature are contingent, by attacking a necessary condition for its truth within the framework of a conception of laws as relations between universals. I try to show that there is no independent reason to think that universals have an essence independent of their nomological properties. However, such a non-qualitative essence is required to make sense of the idea that different laws link the same (...) universals in different possible worlds. In the second part, I give a positive argument for the necessity of at least some laws of nature, by showing with the example of a paradigmatic law of association that it consists in an internal relation between two universals which are determinables of the same class of determinates, where this relation is essential to both. Furthermore, I show that the necessity of laws of association could be accommodated within David Lewis' Humean metaphysics, but that it is incompatible with David Armstrong's combinatorialism. (shrink)

A logically impossible sentence is one which entails a contradiction, a logically necessary sentence is one whose negation entails a contradiction, and a logically possible sentence is one which does not entail a contradiction. Metaphysically impossible, necessary and possible sentences are ones which become logically impossible, necessary, or possible by substituting what I call informative rigid designators for uninformative ones. It does seem very strongly that a negative existential sentence cannot entail a contradiction, and so ”there is (...) a God’ cannot be a metaphysically necessary truth. If it were such a truth, innumerable other sentences which seem paradigm examples of logically possible sentences, such as ”no one knows everything’ would turn out to be logically impossible. The only way in which God could be a logically necessary being is if there were eternal necessary propositions independent of human language or God’s will, such that the proposition that there is no God would entail -- via propositions inaccessible to us -- a contradiction. But if there were such propositions, God would have less control over the universe than he would have otherwise. (shrink)

We argue that a command and control system can undermine a commander’s moral agency if it causes him/her to process information in a purely syntactic manner, or if it precludes him/her from ascertaining the truth of that information. Our case is based on the resemblance between a commander’s circumstances and the protagonist in Searle’s Chinese Room, together with a careful reading of Aristotle’s notions of ‘compulsory’ and ‘ignorance’. We further substantiate our case by considering the Vincennes Incident, when the (...) crew of a warship mistakenly shot down a civilian airliner. To support a combat commander’s moral agency, designers should strive for systems that help commanders and command teams to think and manipulate information at the level of meaning. ‘Down conversions’ of information from meaning to symbols must be adequately recovered by ‘up conversions’, and commanders must be able to check that their sensors are working and are being used correctly. Meanwhile ethicists should establish a mechanism that tracks the potential moral implications of choices in a system’s design and intended operation. Finally we highlight a gap in normative ethics, in that we have ways to deny moral agency, but not to affirm it. (shrink)

In this paper I consider two strategies for providing tenseless truth-conditions for tensed sentences: the token-reflexive theory and the date theory. Both theories have faced a number of objections by prominent A-theorists such as Quentin Smith and William Lane Craig. Traditionally, these two theories have been viewed as rival methods for providing truth-conditions for tensed sentences. I argue that the debate over whether the token-reflexive theory or the date theory is true has arisen from a failure to distinguish (...) between conditions for the truth of tensed tokens and conditions for the truth of propositions expressed by tensed tokens. I demonstrate that there is a true formulation of the token-reflexive theory that provides necessary and sufficient conditions for the truth of tensed tokens, and there is a true formulation of the date theory that provides necessary and sufficient conditions for the truth of propositions expressed by tensed tokens. I argue that once the views are properly formulated, the A-theorist’s objections fail to make their mark. However, I conclude by claiming that even though there is a true formulation of the token-reflexive theory and a true formulation of the date theory, the New B-theory nonetheless fails to provide a complete account of the truth and falsity of tensed sentences. (shrink)

In this paper, I explore what gives collective testimony its epistemic credentials, through a critical discussion of three competing accounts of the epistemology of collective testimony. According to the first view, collective testimony inherits its epistemic credentials from the beliefs the testimony expresses— where this can be seen either as the beliefs of all or some of the group’s members, or as the beliefs of group itself. The second view denies any necessary connection to belief, claiming instead that the (...) epistemic credentials of collective testimony derive from the reliability or truth-conduciveness of the statement that expresses the testimony. Finally, the third view claims that the epistemic credentials of collective testimony derive from the fact that it involves undertaking a collective commitment to trustworthiness, which makes the group susceptible to rebuke and blame if its testimony is not trustworthy. I argue that this last account holds the most promise for preserving what is distinctive about testimonial knowledge while still underwriting a robust epistemology of collective testimony. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Spinoza and the Theory of Organism HANS JONAS I CARTESIANDUALISMlanded speculation on the nature of life in an impasse: intelligible as, on principles of mechanics, the correlation of structure and function became within the res extensa, that of structure-plus-function with feeling or experience (modes of the res cogitans) was lost in the bifurcation, and thereby the fact of life itself became unintelligible at the same time that the explanation (...) of its bodily performance seemed to be assured. The impasse became manifest in Occasionalism : its tour de force of an extraneous, divine "synchronization" of the outer and the inner world (the latter denied to animals) not only suffered from its extreme artificiality, the common failing of such ad hoc constructions, but even at so high a cost failed to accomplish its theoretical purpose by its own terms. For the animal machine, like any machine, raises beyond the question of the "how" that of the "what for" of its functioning---of the purpose for which it had thus been constructed by its maker.1 Its performance, however devoid of immanent teleology, must serve an end, and that end must be someone's end. This end may (directly) be itself, as indeed Descartes had implied when declaring self-preservation to be the effect of the functioning of the organic automaton. In that case the existence as such of the machine would be its end--either terminally, or in turn to benefit something else. In the former case, the machine would have to be more than a machine, for a mere machine cannot enioy its existence. But since, by the rigorous conception of the res extensa, it cannot be more than a machine, its function and/or existence must serve something other than itself. Automata in Descartes ' time were mainly for entertainment (rather than work). But the raison d'etre of the living kingdom could not well be seen in God's indulging his mechanical abilities or in the amusement of celestial spectators--especially since mere complexity of arrangement does not create new quality and thus add something to the unrelieved sameness of the simple substratum that might enrich the spectrum of being. For quality, beyond the primitive determinations of the extended per se, is the subjective creature of sensation, the confused representation of quantity in a mind; and thus organisms cannot harbor it because as mere machines they lack mentality, and pure spirits cannot because they lack sensuality, or the privilege of confusion and thereby of illusion with its possible enjoyment. And as to their intellectual enjoyment, even that, deprived of the thrill of discovery by the same token, would pale in the contemplation of what to sufficiently large The concept of "machine," adopted for its strict confinementto efficientcause, is still a finalisticconcept,even thoughthe final cause is no longer internal to the entity, as a mode of its own operation,but external to it as antecedent design. [43] 44 HISTORY OF PHILOSOPHY intellects is nothing but the ever-repeated exemplification of the same few, elementary (and ultimately trivial) truths. There remained, then, the time-honored--Stoic as well as Christian--idea that plants and animals are for the benefit of Man. Indeed, since the existence of a living world is the necessary condition for the existence of any of its members, the self-justifying nature of at least one such member (= species) would justify the existence of the whole. In Stoicism, Man provided this end by his possession of reason, which makes him the culmination of a terrestrial scale of being that is also self-justifying throughout all its grades (the end as the best of many that are good in degrees) ; in Christianity, by his possession of an immortal soul, which makes him the sole imago Dei in creation (the end as the sole issue at stake) ; and Cartesian dualism radicalized this latter position by making man even the sole possessor of inwardness or "soul" of any kind, thus the only one of whom "end" can meaningfully be predicated as he alone can entertain ends. All other life then, the product of physical necessity, can be considered his means. However, this traditional idea, in its anthropocentric vanity never a... (shrink)

This paper examines causal theories of reference with respect to how plausible an account they give of non-physical natural kind terms such as ‘gene’ as well as of the truth of the associated theoretical claims. I first show that reference fixism for ‘gene’ fails. By this, I mean the claim that the reference of ‘gene’ was stable over longer historical periods, for example, since the classical period of transmission genetics. Second, I show that the theory of partial reference does (...) not do justice to some widely held realist intuitions about classical genetics. This result is at loggerheads with the explicit goals usually associated with partial theories of reference, which is to defend a realist semantics for scientific terms. Thirdly, I show that, contrary to received wisdom and perhaps contrary to physics and chemistry, neither reference fixism nor partial reference are necessary in order to hold on to scientific realism about biology. I pinpoint the reasons for this in the nature of biological kinds, which do not even remotely resemble natural kinds (i.e., Lockean real essences) as traditionally conceived. (shrink)

This book tells the story of modern ethics, namely the story of a discourse that, after the Renaissance, went through a methodological revolution giving birth to Grotius’s and Pufendorf’s new science of natural law, leaving room for two centuries of explorations of the possible developments and implications of this new paradigm, up to the crisis of the Eighties of the eighteenth century, a crisis that carried a kind of mitosis, the act of birth of both basic paradigms of the two (...) following centuries: Kantian ethics and utilitarianism. The new science of natural law carried a fresh start for ethics, resulting from a mixture of the Old and the New. It was, as suggested by Schneewind, an attempt at rescuing the content of Scholastic and Stoic doctrines on a new methodological basis. The former was the claim of existence of objective and universal moral laws; the latter was the self-aware attempt at justifying a minimal kernel of such laws facing skeptical doubt. What Bentham and Kant did was precisely carrying this strategy further on, even if restructuring it each of them around one out of two alternative basic claims. The nineteenth- and twentieth-century critics of the Enlightenment attacked both not on their alleged failure in carrying out their own projects, but precisely on having adopted Grotius’s and Pufendorf’s project. What counter-enlightenment has been unable to spell out is which alternative project could be carried out facing the modern condition of pluralism, while on the contrary, if we takes a closer look at developments in twentieth-century ethics or at on-going discussions on practical issues, we might feel inclined to believe that Grotius’s and Pufendorf’s project is as up-to-date as ever. -/- Table of Contents -/- Preface I. Fathers of the Reformation and Schoolmen 1.1. Luther: passive justice and the good deeds; 1.2. Calvin: voluntarism and predestination; 1.3. Baroque Scholasticism; 1.4. Casuistry and Institutiones morales -/- II Neo-Platonists, neo-Stoics, neo-Sceptics 2.1. Aristotelian, neo-Platonic, neo-Epicurean and neo-Cynic Humanists; 2.2. Oeconomica and the art of living; 2.3. Neo-Stoics; 2.4. Neo-Sceptics; 2.5. Moralistic literature -/- III Neo-Augustinians 3.l. The Jansenists on natura lapsa, sufficient grace, pure love; 3.2. Nicole on the impossibility of self-knowledge; 3.3. Nicole on self-love and charity; 3.4. Nicole against civic virtue, for Christian civility; 3.5. Malebranche on general laws and necessary evil; 3.6. Malebranche on Neo-Augustinianism and Platonism. -/- IV Grotius, Pufendorf and the new moral science 4.1. Grotius against Aristotle and the sceptics; 4.2. Mersenne and Gassendi; 4.3. Descartes on ethics as the last branch of philosophy’s tree; 4.4. Hobbes on scepticism and the new moral science; 4.5. Spinoza on the new moral science as a descriptive science;4.6. Locke on voluntarism and probabilism; 4.7. Pufendorf on natural law as an exact science; 4.8. Pufendorf on physical and moral entities; 10. Pufendorf on self-preservation -/- V The empiricist version of the new moral science: from Cumberland to Paley 5.1. Cumberland against Hobbesian voluntarism; 5.2. Cumberland and theological consequentialism; 5.3. Cumberland on universal benevolence and self-love; 5.4. Shaftesbury on the moral sense; 5.5. Hutcheson on natural law and moral faculties; 5.6. Gay, Brown, Paley and theological consequentialism. -/- VI The rationalist version of the new moral science: from Cudworth to Price 6.1. The Cambridge Platonists; 6.2. Shaftesbury on the moral sense; 6.3. Butler and a third way between voluntarism and scepticism; 6.4. Price and the rational character of moral truths; -/- VII Leibniz’s compromise between the new moral science and Aristotelianism 1.Leibniz against voluntarism; 2.Leibniz against the division between the physical and the moral good; 3.Leibniz on la place d’autrui and theological consequentialism; 4.Thomasius, Wolff, Crusius -/- VIII French eighteenth-century philosophers without the new moral science 8.1. The genealogy of our ideas of virtue and vice; 8.2. Maupertuis and moral arithmetic 8.3. The philosophes and the harmony of interests; 8.4. Rousseau on corruption, self-love, and virtue; 8.5. Sade on the merits of vice -/- IX Experimental moral science: Hume and Adam Smith 9.1. Mandeville’s paradox; 9.2. Hutcheson on the law of nature and moral faculties; 9.3. Hume on experimental moral philosophy and the intermediate principles; 9.4. Hume’s Law; 9.5. Hume on the fellow-feeling; 9.6. Hume on natural and artificial virtues and disinterested pleasure for utility; 9.7. Adam Smith’s anti-realist metaethics; 9.8. Adam Smith on self-deception and the paradox of happiness; 9.9. Adam Smith on sympathy and the impartial spectator; 9.10. Adam Smith on the twofold criterion for moral judgement and its paradox; 9.11. Reid on the refutation of scepticism and the self-evidence of duty -/- X Kantian ethics 10.1. Kantian metaethics: moral epistemology; 10.2. Kantian metaethics: moral ontology; 10.3. Kantian metaethics: moral psychology; 10.4. Kantian normative ethics; 10.5. Kant on the impracticability of applied ethics; 10.6. Kantian moral anthropology; 10.7. Civilisation and moralisation; 10.8. Theology on a moral basis and the origins of evil; 10.9. Fichte and the transformation of theoretical philosophy into practical philosophy XI Bentham and utilitarianism 11.1. Bentham’s linguistic theory; 11.2. Bentham’s moral ontology, psychology, and theory of action; 11.3. The principle of greatest happiness; 11.4. The critique of religious ethics; 11.5. The new morality; 11.6. Interest and duty; 11.7. Virtues; 11.8. Private ethics and legislation -/- XII Followers of the Enlightenment: liberal Judaism and Liberal Theology 12.1. Mendelssohn; 12.2. Salomon Maimon; 12.3. Haskalā and liberal Judaism; 12.4. Liberal Theology. -/- XIII Counter-Enlighteners 13.1.Romanticism and the fulfilment of individuality as the Summum Bonum; 13.2. Hegel on history as the making of liberty; 13.3. Hegel on the unhappy consciousness and the beautiful soul; 13.4. Hegel on Morality and Sittlichkeit; 13.5. Marx on ideology, alienation, and praxis; 13.6. Schopenhauer on compassion; 13.7. Kierkegaard on faith beyond ethics. -/- XIV Followers of the Enlightenment: intuitionists and utilitarian 14.1 Whewell‘s criticism of utilitarianism; 14.2 Whewell on morality and the philosophy of morality; 14.3 Whewell on the Supreme Norm; 14.4 Whewell on the conflict between duties; 14.5 Mill and the proof of the principle of utility; 14.6 Mill’s eudemonistic utilitarianism; 14.7 Mill on rules -/- XV Followers of the Enlightenment: neo-Kantians and positivists 15.1. French spiritualism; 15.2. Neo-Kantians: the Marburg school; 15.3. Neo-Kantians: the Marburg school; 15.4. Comte’s positivism and the invention of altruism; 15.5. Social Darwinism; 15.6. Wundt and an ethic of humankind -/- XVI Post-enlighteners: Sidgwick 16.1. Criticism of intuitionism; 16.2. On ethical egoism; 16.3. Criticism of utilitarianism -/- XVII Post-enlighteners: Durkheim 17.1. Sociology as physics of customs; 17.2. Morality as physics of customs and as practical science; 17.3. On Kantian ethics and utilitarianism; 17.4. The variability of moralities;17.5. Social solidarity as end and justification of morality; 17.6. Secular morality as “sociodicy”; XVIII Post-enlighteners: Nietzsche 18.1. On the Dionysian; 18.2. On the deconstruction of the world of values 18.3 On the twofold genealogy of moralities; 18.4. On ascetics and nihilism; 18.5. Normative ethics of self-fulfilment -/- Bibliography / Index of names / Index of concepts -/- . (shrink)

What makes an intellectual virtue a virtue? A straightforward and influential answer to this question has been given by virtue-reliabilists: a trait is a virtue only insofar as it is truth-conducive. In this paper I shall contend that recent arguments advanced by Jack Kwong in defence of the reliabilist view are good as far as they go, in that they advance the debate by usefully clarifying ways in how best to understand the nature of open-mindedness. But I shall argue (...) that these considerations do not establish the desired conclusions that open-mindedness is truth-conducive. To establish these much stronger conclusions we would need an adequate reply to what I shall call Montmarquet’s objection. I argue that Linda Zagzebski’s reply to Montmarquet’s objection, to which Kwong defers, is inadequate. I conclude that it is contingent if open-mindedness is truth-conducive, and if a necessary tie to truth is what makes an intellectual virtue a virtue, then the status of open-mindedness as an intellectual virtue is jeopardised. We either need an adequate reliabilist response to Montmarquet’s objection, or else seek alternative accounts of what it is that makes a virtue a virtue. I conclude by briefly outlining some alternatives. (shrink)

We consider the argument that Tarski's classic definitions permit an intelligence---whether human or mechanistic---to admit finitary evidence-based definitions of the satisfaction and truth of the atomic formulas of the first-order Peano Arithmetic PA over the domain N of the natural numbers in two, hitherto unsuspected and essentially different, ways: (1) in terms of classical algorithmic verifiabilty; and (2) in terms of finitary algorithmic computability. We then show that the two definitions correspond to two distinctly different assignments of satisfaction and (...) truth to the compound formulas of PA over N---I_PA(N; SV ) and I_PA(N; SC). We further show that the PA axioms are true over N, and that the PA rules of inference preserve truth over N, under both I_PA(N; SV ) and I_PA(N; SC). We then show: (a) that if we assume the satisfaction and truth of the compound formulas of PA are always non-finitarily decidable under I_PA(N; SV ), then this assignment corresponds to the classical non-finitary putative standard interpretation I_PA(N; S) of PA over the domain N; and (b) that the satisfaction and truth of the compound formulas of PA are always finitarily decidable under the assignment I_PA(N; SC), from which we may finitarily conclude that PA is consistent. We further conclude that the appropriate inference to be drawn from Goedel's 1931 paper on undecidable arithmetical propositions is that we can define PA formulas which---under interpretation---are algorithmically verifiable as always true over N, but not algorithmically computable as always true over N. We conclude from this that Lucas' Goedelian argument is validated if the assignment I_PA(N; SV ) can be treated as circumscribing the ambit of human reasoning about `true' arithmetical propositions, and the assignment I_PA(N; SC) as circumscribing the ambit of mechanistic reasoning about `true' arithmetical propositions. (shrink)

In “The Myth of Factive Verbs” (Hazlett 2010), I had four closely related goals. The first (pp. 497-99, p. 522) was to criticize appeals to ordinary language in epistemology. The second (p. 499) was to criticize the argument that truth is a necessary condition on knowledge because “knows” is factive. The third (pp. 507-19) – which was the intended means of achieving the first two – was to defend a semantics for “knows” on which <S knows p> can (...) be true even if p isn’t true. The fourth (Ibid.) – which seemed necessary for the success of the third – was to defend a pragmatic account of the fact that utterances of <S knows p> typically imply p, on which the implication in those cases is down to conversational implicature. In this paper I’ll go after these goals again, with an emphasis on the second. Our topic will be whether the factivity of “knows” (whatever this amounts to) supports the truth condition on knowledge. A new goal will be to defend my argument against some criticisms from John Turri (2011) and Savas Tsohatzidis (forthcoming). We’ll first look at the truth condition (§1) and factive presupposition (§§2 – 3), before turning to replies to Turri and Tsohatzidis (§§4 – 7). (shrink)

Rawlsian political liberalism famously requires a prohibition on truth. This has led to the charge that liberalism embraces non-cognitivism, according to which political claims have the moral status of emotions or expressions of preference. This result would render liberalism a non-starter for liberatory politics, a conclusion that political liberals themselves disavow. This conflict between what liberalism claims and what liberalism does has led critics to charge that the theory is disingenuous and functions as political ideology. In this paper, I (...) explore one way that this charge unfolds: critics charge that liberalism utilizes an individualistic and identity-insensitive social ontology, which in turn yields epistemic deficiencies that render it incapable of detecting oppression. The theory’s claim to freestandingness then shields it from necessary critique. I argue that this objection relies on constructing a conflict between liberalism’s professed non-cognitivism and its actual cognitivist commitments. By demonstrating that Rawlsian political liberalism explicitly endorses substantive moral truths, and that the method of avoidance applies only to public justification for coercive state action, I show that the theory is openly and foundationally cognitivist, and thus that the charge of disingenuousness does not stick. (shrink)

What is reality? How do we know? Answers to these fundamental questions of ontology and epistemology, based on Mahatma Gandhi's "experiments with truth", are: reality is nonviolent (in the sense of not-inconsistent), and nonviolence (in the sense of respecting-meaning) is the only means of knowing (Gandhi, 1940). Be that as it may, science is what we think of when we think of reality and knowing. How does Gandhi's nonviolence, discovered in his spiritual quest for Truth, relate to the (...) scientific pursuit of truth? Here we show that Gandhian nonviolent knowing of nonviolent reality is an abstraction of both individual knowing (looking, reasoning) and collective scientific knowing (measurements, calculations). Specifically, Gandhi's truth-through-nonviolence is a law-like summation of the methods of physics ("do not disturb" of measurements) and of mathematics ("do not tear" of calculations) that are used to know. Moreover, physics (with its lawful behaviour of bodies) and biology (in preserving the meaning of genetic code) do affirm that the defining attribute of reality is nonviolence. In light of these correspondences, the Mahatma's derivation of a universal method of knowing (nonviolence of preserving-structure) from a universal truth (nonviolence of consistent-becoming) constitutes a science-supported general theory of reality and knowing. (shrink)

Monism is a metaphysical view according to which there is only one fundamental object. This paper will explore monism within the context of truthmaker theory, or Truthmaker Monism, a view rarely discussed in literature. Although few truthmaker theorists defend monism, at least explicitly, some theories seem to share the spirit of monism to some extent. Interestingly, they are proposed as solutions for the same problem, called the problem of negative truth. A close examination will show that while each of (...) these solutions can account for the problem, they are unsatisfactory for different reasons. This paper will suggest a novel solution to the problem of negative truth which preserves the advantages of existing solutions while avoiding the difficulties with which they are faced. (shrink)