To say that evidence is normative is to say that what evidence one possesses, and how this evidence relates to any proposition, determines which attitude among believing, disbelieving and withholding one ought to take toward this proposition if one deliberates about whether to believe it. It has been suggested by McHugh that this view can be vindicated by resting on the premise that truth is epistemically valuable. In this paper, I modify the strategy sketched by McHugh so as to (...) overcome the initial difficulty that it is unable to vindicate the claim that on counterbalanced evidence with respect to P one ought to conclude deliberation by withholding on P. However, I describe the more serious difficulty that this strategy rests on principles whose acceptance commits one to acknowledging non-evidential reasons for believing. A way to overcome this second difficulty, against the evidentialists who deny this, is to show that we sometimes manage to believe on the basis of non-epistemic considerations. If this is so, one fundamental motivation behind the evidentialist idea that non-epistemic considerations could not enter as reason in deliberation would lose its force. In the second part of this paper I address several strategies proposed in the attempt to show that we sometimes manage to believe on the basis of non-epistemic considerations and show that they all fail. So, I conclude that the strategy inspired by McHugh to ground the normativity of evidence on the value of truth ultimately fails. (shrink)

The Value of Truth looks at the conditions that truths would have to meet to ascertain a value, as well as the different kinds of values a truth can possess.

The present crisis of truth, the "post-truth" crisis, puts the philosophy of truth in a new light. It calls for a reexamination of the tasks of the philosophy of truth and sets a new adequacy condition on this philosophy. One of the central roles of the philosophy of truth is to explain the importance of truth for human life and civilization. Among other things, it has to explain what is, or will be, lost in (...) a post-truth era. Clearly, the deflationist answer that the role of truth is to serve as a tool of generalization and oblique endorsement will not do. My account of truth in this paper addresses this task. Truth, I argue, is first and foremost a human value. Its importance to our life/civilization lies, not exclusively, but principally, in the centrality of this value to our humanity. I investigate the ramifications of this answer to the issues discussed in the contemporary philosophy of truth, and I end with a comparison of the substantivist and deflationist approaches to truth in light of this new perspective. (shrink)

Truths will be defined as an agreement on uncertainties, the consensus over matters of empirical and social nature such as mathematics, physics or economics. As illustrated by Dennis Lindley , ‘individuals tend to know things to be true and false but the extent of this truth and falsity would always remain unknown’. Leading individuals to a permanent state of stress, uncertainty becomes a risk for the social community. Problems could not be presumed to be solvable as any kind of (...) solution would be perceived as uncertain. The struggle for solutions would develop into a state of insecurity and conflict where no individual could trust the answers given by any other member of the community. To prevent a ‘war of all against all’ that would cause anxiety and permanent conflict, it will become an essential duty for the social community to diminish uncertainty by imposing truths. With those, individuals can be reassured about the certainty of their knowledge and use truths as a resolution tool for any dispute that might occur within the social space. For the purpose of social peace, truths will therefore be every outcome of the process through which uncertainty is transformed into an agreed form of knowledge. “Gravity”, “Death” and “God” will all be considered truths as they represent a form of agreement over different domains of the human and social life. It is not the intention of this essay to examine each of the truths separately but rather, to analyse them all together in order to formulate a hypothesis for all empirical and social matters. (shrink)

This paper is a reply to Michael Lynch's "Truth, Value and Epistemic Expressivism" in Philosophy and Phenomenological Research for 2009. It argues that Lynch's argument against expressivism fails because of an ambiguity in the employed notion of an 'epistemically disengaged standpoint'.

This paper outlines a new pluralistic theory of normative reasons for belief, welfarist pluralism, which aims to explain how there can be basic alethic/epistemic reasons for belief and basic pragmatic/non-alethic reasons for belief that can combine to determine what one ought to believe. The paper shows how this non-derivative first-order pluralism arises from a purely welfarist account of the foundations of theoretical normativity, thereby combining foundational pragmatism with non-derivative pluralism about normative reasons for belief. In addition, this paper outlines how (...) welfarist pluralism provides a new and potentialy attractive account of the value of truth (or its indicators), namely that the value of truth (or its indicators) is its direct contribution to individuals' personal good or wellbeing. (shrink)

Most epistemologists maintain that true beliefs are of final epistemic value. However, Richard Feldman is a rare philosopher who is skeptical that true beliefs are of final epistemic value. The aim of this paper is to evaluate Feldman’s criticisms. I’ll argue that Feldman’s arguments ultimately turn on a view about the relation between epistemic duties and epistemic value that is implausible and underdeveloped.

The thesis deals with the concept of truth and the paradoxes of truth. Philosophical theories usually consider the concept of truth from a wider perspective. They are concerned with questions such as - Is there any connection between the truth and the world? And, if there is - What is the nature of the connection? Contrary to these theories, this analysis is of a logical nature. It deals with the internal semantic structure of language, the mutual (...) semantic connection of sentences, above all the connection of sentences that speak about the truth of other sentences and sentences whose truth they speak about. Truth paradoxes show that there is a problem in our basic understanding of the language meaning and they are a test for any proposed solution. It is important to make a distinction between the normative and analytical aspect of the solution. The former tries to ensure that paradoxes will not emerge. The latter tries to explain paradoxes. Of course, the practical aspect of the solution is also important. It tries to ensure a good framework for logical foundations of knowledge, for related problems in Artificial Intelligence and for the analysis of the natural language. Tarski’s analysis emphasized the T-scheme as the basic intuitive principle for the concept of truth, but it also showed its inconsistency with the classical logic. Tarski’s solution is to preserve the classical logic and to restrict the scheme: we can talk about the truth of sentences of a language only inside another essentially richer metalanguage. This solution is in harmony with the idea of reflexivity of thinking and it has become very fertile for mathematics and science in general. But it has normative nature | truth paradoxes are avoided in a way that in such frame we cannot even express paradoxical sentences. It is also too restrictive because, for the same reason we cannot express a situation in which there is a circular reference of some sentences to other sentences, no matter how common and harmless such a situation may be. Kripke showed that there is no natural restriction to the T-scheme and we have to accept it. But then we must also accept the riskiness of sentences | the possibility that under some circumstances a sentence does not have the classical truth value but it is undetermined. This leads to languages with three-valued semantics. Kripke did not give any definite model, but he gave a theoretical frame for investigations of various models | each fixed point in each three-valued semantics can be a model for the concept of truth. The solutions also have normative nature | we can express the paradoxical sentences, but we escape a contradiction by declaring them undetermined. Such a solution could become an analytical solution only if we provide the analysis that would show in a substantial way that it is the solution that models the concept of truth. Kripke took some steps in the direction of finding an analytical solution. He preferred the strong Kleene three-valued semantics for which he wrote it was "appropriate" but did not explain why it was appropriate. One reason for such a choice is probably that Kripke finds paradoxical sentences meaningful. This eliminates the weak Kleene three valued semantics which corresponds to the idea that paradoxical sentences are meaningless, and thus indeterminate. Another reason could be that the strong Kleene three valued semantics has the so-called investigative interpretation. According to this interpretation, this semantics corresponds to the classical determination of truth, whereby all sentences that do not have an already determined value are temporarily considered indeterminate. When we determine the truth value of these sentences, then we can also determine the truth value of the sentences that are composed of them. Kripke supplemented this investigative interpretation with an intuition about learning the concept of truth. That intuition deals with how we can teach someone who is a competent user of an initial language (without the predicate of truth T) to use sentences that contain the predicate T. That person knows which sentences of the initial language are true and which are not. We give her the rule to assign the T attribute to the former and deny that attribute to the latter. In that way, some new sentences that contain the predicate of truth, and which were indeterminate until then, become determinate. So the person gets a new set of true and false sentences with which he continues the procedure. This intuition leads directly to the smallest fixed point of strong Kleene semantics as an analytically acceptable model for the logical notion of truth. However, since this process is usually saturated only on some transfinite ordinal, this intuition, by climbing on ordinals, increasingly becomes a metaphor. This thesis is an attempt to give an analytical solution to truth paradoxes. It gives an analysis of why and how some sentences lack the classical truth value. The starting point is basic intuition according to which paradoxical sentences are meaningful (because we understand what they are talking about well, moreover we use it for determining their truth values), but they witness the failure of the classical procedure of determining their truth value in some "extreme" circumstances. Paradoxes emerge because the classical procedure of the truth value determination does not always give a classically supposed (and expected) answer. The analysis shows that such an assumption is an unjustified generalization from common situations to all situations. We can accept the classical procedure of the truth value determination and consequently the internal semantic structure of the language, but we must reject the universality of the exterior assumption of a successful ending of the procedure. The consciousness of this transforms paradoxes to normal situations inherent to the classical procedure. Some sentences, although meaningful, when we evaluate them according to the classical truth conditions, the classical conditions do not assign them a unique value. We can assign to them the third value, \undetermined", as a sign of definitive failure of the classical procedure. An analysis of the propagation of the failure in the structure of sentences gives exactly the strong Kleene three-valued semantics, not as an investigative procedure, as it occurs in Kripke, but as the classical truth determination procedure accompanied by the propagation of its own failure. An analysis of the circularities in the determination of the classical truth value gives the criterion of when the classical procedure succeeds and when it fails, when the sentences will have the classical truth value and when they will not. It turns out that the truth values of sentences thus obtained give exactly the largest intrinsic fixed point of the strong Kleene three-valued semantics. In that way, the argumentation is given for that choice among all fixed points of all monotone three-valued semantics for the model of the logical concept of truth. An immediate mathematical description of the fixed point is given, too. It has also been shown how this language can be semantically completed to the classical language which in many respects appears a natural completion of the process of thinking about the truth values of the sentences of a given language. Thus the final model is a language that has one interpretation and two systems of sentence truth evaluation, primary and final evaluation. The language through the symbol T speaks of its primary truth valuation, which is precisely the largest intrinsic fixed point of the strong Kleene three valued semantics. Its final truth valuation is the semantic completion of the first in such a way that all sentences that are not true in the primary valuation are false in the final valuation. (shrink)

It has come to be widely accepted that jus post bellum includes responsibilities to rebuild. Consequently, duties to establish a sustainable peace are increasingly defined in terms of duties to protect and promote international human rights, including duties to effectively investigate human rights violations, to ensure access to effective remedy, and to transform institutional and legal contexts that have facilitated or sustained human abuse. But what are investigations by transitional bodies seeking when they take on these tasks? Often, investigators present (...) themselves as seeking the truth and claim value for their findings based on having produced a better description or explanation than was antecedently available. But is truth worth pursuing for its own sake in transitions from conflict or must it contribute to some other goal to be valuable? In what follows I argue that the value of truth in transitions from conflict lies in the role of truth in ascribing knowledge. The connection between truth and knowledge makes it important to preserve distinctively epistemological grounds for accepting and rejecting claims and narratives. These distinctively epistemological grounds explain how, if it is conceived of as adequate responsiveness to experience, truth is a legitimate and important goal in transitions from violence that is worth pursuing for its own sake. In particular, I argue that there is value in insisting that adequate responsiveness to experience serve as an arbiter in the reception of claims and narratives because when responsiveness to experience plays an arbitral role it becomes possible for bodies such as truth commissions to serve as vehicles by which groups may attain or ascribe knowledge. (shrink)

This paper explores the idea that it is instrumentally valuable to learn normative truths. We consider an argument for "normative hedging" based on this principle, and examine the structure of decision-making under moral uncertainty that arises from it. But it also turns out that the value of normative information is inconsistent with the principle that learning *empirical* truths is instrumentally valuable. We conclude with a brief comment on "metanormative regress.".

The value of up-hill skiing is double, it is first a sport and artistic expression, second it incorporates functional dependencies related to the natural obstacles which the individual aims to overcome. On the artistic side, M. Dufrenne shows the importance of living movement in dance, and we can compare puppets with dancers in order to grasp the lack of intentional spiritual qualities in the former. The expressivity of dance, as for, Chi Gong, ice skating or ski mountaineering is a (...) particular innocence and lightness which is called grace. It is life without the burden of worries. Grace, in slow progression uphill on snow, is as dance for Dufrenne, it has the most central and specific aesthetical quality of life. Others compared dance to a landscape, a landscape is for the sight, what dance is for life, a symbolical space, different from a usual space, where utility and dependency are present. A mountain can be a space of experience of natural beauty. Aesthetical qualities can be closely related to function related qualities as when a climber needs to adjust his movements to the natural convex inclination of the rocks, and avoid slippery forms of inclination, present on the other side of the mountain. The natural object, the quality of the snow or the rock differ from the aesthetical quality of the style of ascent by the absence of neutralization of the object, in case of a purely instrumental approach. On the contrary, grace in the rhythm of the progression of ski climbers needs a difference of attitude, which is not only proper to the playing, and delimited by the conditions of that play, but as a contingency driven attitude, without signification as radical alterity, without any finality. First ascent of the Matterhorn succeeded from the Swiss side, and not from the Italian side because of the different inclination of the rock on both sides. Grace in dance as in martial art or mountaineering is allowing to perceive an autonomy of the expression, as the truth of the perceived object, it puts away a cognitive and practical orientation and replaces it by a new meaning as movement in the whole set of movements done by the climber. This replacement of the functional expression resembles that operated by the painter who chooses a color in the whole set of colors in a painting, or a shape in the whole set of possible existing shapes. -/- Ref. Dufrenne, Mikel, (1989): The Phenomenology of Aesthetic Experience. Studies in Phenomenology and Existential Philosophy, trans. by Edward S. Casey, 1st publ. in 1953, Evanston: Northwestern University Press. (shrink)

Assertion is fundamental to our lives as social and cognitive beings. Philosophers have recently built an impressive case that the norm of assertion is factive. That is, you should make an assertion only if it is true. Thus far the case for a factive norm of assertion been based on observational data. This paper adds experimental evidence in favor of a factive norm from six studies. In these studies, an assertion’s truth value dramatically affects whether people think it (...) should be made. Whereas nearly everyone agreed that a true assertion supported by good evidence should be made, most people judged that a false assertion supported by good evidence should not be made. The studies also suggest that people are consciously aware of criteria that guide their evaluation of assertions. Evidence is also presented that some intuitive support for a non-factive norm of assertion comes from a surprising tendency people have to misdescribe cases of blameless rule-breaking as cases where no rule is broken. (shrink)

Some moral theories, such as objective forms of consequentialism, seem to fail to be practically useful: they are of little to no help in trying to decide what to do. Even if we do not think this constitutes a fatal flaw in such theories, we may nonetheless agree that being practically useful does make a moral theory a better theory, or so some have suggested. In this paper, I assess whether the uncontroversial respect in which a moral theory can be (...) claimed to be better if it is practically useful can provide a ground worth taking into account for believing one theory rather than another. I argue that this is not the case. The upshot is that if there is a sound objection to theories such as objective consequentialism that is based on considerations of practical usefulness, the objection requires that it is established that the truth about what we morally ought to do cannot be epistemically inaccessible to us. The value of practical usefulness has no bearing on the issue. (shrink)

On the basis of elementary thinking about language functioning, a solution of truth paradoxes is given and a corresponding semantics of a truth predicate is founded. It is shown that it is precisely the two-valued description of the maximal intrinsic fixed point of the strong Kleene three-valued semantics.

Like William James before him, Huw Price has influentially argued that truth has a normative role to play in our thought and talk. I agree. But Price also thinks that we should regard truth-conceived of as property of our beliefs-as something like a metaphysical myth. Here I disagree. In this paper, I argue that reflection on truth's values pushes us in a slightly different direction, one that opens the door to certain metaphysical possibilities that even a Pricean (...) pragmatist can love. (shrink)

A prevalent political narrative is that we are facing an epistemological crisis, where many citizens no longer care about truth and facts. Yet the view that we are living in a post-truth era relies on some implicit questionable empirical and normative assumptions. The post-truth rhetoric converts epistemic issues into motivational issues, treating people with whom we disagree as if they no longer believe in or care about truth. This narrative is also dubious on epistemic, moral, and (...) political grounds. It is epistemically dubious in being largely insensitive to the problem of complexity in politics; it is morally dubious because “post-truth” is often a derogatory label for individuals or groups that are deemed stupid, irrational, or morally compromised; and it is a politically toxic neologism because it purports to use the language of ‘truth’ as a weapon against power, yet these truth-claims are often themselves attempts to exert power over others by delegitimizing their perspectives. While it may seem as if truth and democracy are on especially bad terms lately, politics and truth have long had a vexed relationship, and moral panics about the value of truthfulness in politics are as old as politics itself. (shrink)

One of the most prominent myths in analytic philosophy is the so- called “Fregean Axiom”, according to which the reference of a sentence is a truth value. In contrast to this referential semantics, a use-based formal semantics will be constructed in which the logical value of a sentence is not its putative referent but the information it conveys. Let us call by “Question Answer Semantics” (thereafter: QAS) the corresponding formal semantics: a non-Fregean many-valued logic, where the meaning (...) of any sentence is an ordered n-tupled of yes-no answers to corresponding questions. A sample of philosophical problems will be approached in order to justify the relevance of QAS. These include: (1) illocutionary forces, and the logical analysis of speech-acts; (2) the variety of logical negations, and their characterization in terms of restricted ranges of logical values; (3) change in meaning, and the use of dynamic oppositions for belief sets. (shrink)

Why does knowledge matter? Two answers have been influential in the recent literature. One is that it has value: knowledge is one of the goods. Another is that it plays a significant normative role: knowledge is the norm of action, belief, assertion, or the like. This paper discusses whether one can derive one of the claims from the other. That is, whether assuming the idea that knowledge has value — and some defensible general hypotheses about norms and values (...) —, we could derive the claim that it plays the alleged normative role. Or whether, assuming that knowledge does play that role — and some defensible general hypotheses —, we could derive the claim that it has value. It argues that the route from Value to Norms is unsuccessful. The main problem here is that the idea that knowledge has value does not seem enough to derive the idea that one should act on what one knows. It finds the route from Norms to Value more promising, though a complete path is missing. The main idea here is that knowledge is good because it is normatively required to do good things, such as believing the truth and acting in view of true propositions. But since not all normative conditions for doing something good is itself good, we still lack an explanation of why knowledge would be so. The paper finally suggests an alternative perspective, on which we do not try to derive the idea that knowledge has value from its normative role, but rather use its normative role to explain away the idea that it has value. (shrink)

Infectious logics are systems that have a truth-value that is assigned to a compound formula whenever it is assigned to one of its components. This paper studies four-valued infectious logics as the basis of transparent theories of truth. This take is motivated as a way to treat different pathological sentences differently, namely, by allowing some of them to be truth-value gluts and some others to be truth-value gaps and as a way to treat (...) the semantic pathology suffered by at least some of these sentences as infectious. This leads us to consider four distinct four-valued logics: one where truth-value gaps are infectious, but gluts are not; one where truth-value gluts are infectious, but gaps are not; and two logics where both gluts and gaps are infectious, in some sense. Additionally, we focus on the proof theory of these systems, by offering a discussion of two related topics. On the one hand, we prove some limitations regarding the possibility of providing standard Gentzen sequent calculi for these systems, by dualizing and extending some recent results for infectious logics. On the other hand, we provide sound and complete four-sided sequent calculi, arguing that the most important technical and philosophical features taken into account to usually prefer standard calculi are, indeed, enjoyed by the four-sided systems. (shrink)

A key assumption fuelling optimism about the progress of Large Language Models (LLMs) in modelling the world is that the truth is systematic: true statements about the world form a whole that is not just consistent, in that it contains no contradictions, but cohesive, in that the truths are inferentially interlinked. This holds out the prospect that LLMs might rely on that systematicity to fill in gaps and correct inaccuracies in the training data: consistency and cohesiveness promise to facilitate (...) progress towards comprehensiveness in an LLM’s representation of the world. However, philosophers have identified reasons to doubt that the truth is systematic across all domains of thought, arguing that in normative domains, in particular, the truth is not necessarily systematic. I argue that insofar as the truth in normative domains is asystematic, this renders it correspondingly harder for LLMs to make progress, because they cannot rely on the consistency and cohesiveness of the truth to work towards comprehensiveness. And the less LLMs can rely on the systematicity of truth, the less we can rely on them to do our practical deliberation for us, as there is correspondingly more of a role for human agency in navigating asystematic normative domains. (shrink)

In this paper, the relationship between the e-value of a complex hypothesis, H, and those of its constituent elementary hypotheses, Hj, j = 1… k, is analyzed, in the independent setup. The e-value of a hypothesis H, ev, is a Bayesian epistemic, credibility or truth value defined under the Full Bayesian Significance Testing mathematical apparatus. The questions addressed concern the important issue of how the truth value of H, and the truth function of (...) the corresponding FBST structure M, relate to the truth values of its elementary constituents, Hj, and to the truth functions of their corresponding FBST structures Mj, respectively. (shrink)

ABSTRACT One striking feature of On the Genealogy of Morals is how it is written. Nietzsche employs a literary style that provokes his readers' emotions. In Beyond Selflessness, Christopher Janaway argues that such a literary approach is integral to Nietzsche's philosophical goals. Feeling the emotions Nietzsche's style arouses is necessary for understanding the views he defends. I argue that Janaway's position is mistaken. The evidence at our disposal fails to establish that emotion is ever necessary for cognition. However, I maintain (...) that we do have good evidence for a slightly weaker claim. The emotionally sensitive person is epistemically better off than the cold and dispassionate person. There are some truths he or she will be more likely to believe and will have better reasons for believing. I conclude that Janaway is right to defend the philosophical importance of Nietzsche's literary writing style. His error is simply that he overstates the case. (shrink)

Epistemic humility, a cornerstone of philosophical and scientific inquiry, emphasizes the recognition of human fallibility and the provisional nature of knowledge. This concept contrasts with epistemic arrogance by promoting a humble acknowledgment of the limits of understanding and a willingness to revise beliefs in light of new evidence. Historical perspectives, from Socrates' dialogues to Descartes' methodological doubt and Hume's critique of induction, illustrate the evolution of epistemic humility as a critical component of skeptical thought. Philosophical reflections on intellectual virtues, such (...) as curiosity and open-mindedness, underscore the importance of embracing uncertainty in the pursuit of truth. Contemporary discourse on epistemic humility addresses its role in scientific progress, public policy, and societal dialogue, highlighting its potential to foster intellectual integrity and informed decision-making amidst complexity and uncertainty. (shrink)

By re-examining Nietzsche's notion of the “eternal-feminine” and his views on women and feminism, this volume offers new perspectives on some of his key ideas. It brings together a diverse group of scholars to critically engage with Nietzsche's use of late-19th-century gender stereotypes and the ways in which they served his critique of values, including his use of “woman” as a trope for truth. -/- Among other subjects, the contributors consider the role of psychology in Nietzsche's thought, his concern (...) with style, self-creation, and advocacy of perfectionism, his views on romantic love and marriage, and his aim of revaluing all values to instigate a distant philosophy of the future. They investigate parallels between Nietzsche's thought and Shaktism, his relation to Goethe and Stendahl, and his influence on Beauvoir, Butler, and Dohm. With the inclusion of two seminal essays on Nietzsche and women by Lawrence J. Hatab and Kelly Oliver, the volume also illustrates some of the ways in which scholarship on these subjects has evolved over the last four decades. -/- Providing fresh insights into these inter-related subjects, Nietzsche on Women and the Eternal-Feminine highlights the enduring relevance of his thought and its still-underappreciated potential for re-thinking both the bases for and aims of feminism and other emancipatory movements. (shrink)

Straightening the current ‘value-laden turn’ (VLT) in the philosophical literature on values in science, and reviving the legacy of the value-free ideal of science (VFI), this paper argues that the influence of extra-scientific values should be minimised—not excluded—in the core phase of scientific inquiry where claims are accepted or rejected. Noting that the original arguments for the VFI (ensuring the truth of scientific knowledge, respecting the autonomy of science results users, preserving public trust in science) have not (...) been satisfactorily addressed by proponents of the VLT, it proposes four prerequisites which any model for values in the acceptance/rejection phase of scientific inquiry should respect, coming from the fundamental requirement to distinguish between facts and values: (1) the truth of scientific knowledge must be ensured; (2) the uncertainties associated with scientific claims must be stated clearly; (3) claims accepted into the scientific corpus must be distinguished from claims taken as a basis for action. An additional prerequisite of (4) simplicity and systematicity is desirable, if the model is to be applicable. Methodological documents from international institutions and regulation agencies are used to illustrate the prerequisites. A model combining Betz’s conception (stating uncertainties associated with scientific claims) and Hansson’s corpus model (ensuring the truth of the scientific corpus and distinguishing it from other claims taken as a basis for action) is proposed. Additional prerequisites are finally suggested for future research, stemming from the requirement for philosophy of science to self-reflect on its own values: (5) any model for values in science must be descriptively and normatively relevant; and (6) its consequences must be thoroughly assessed. (shrink)

Like many 19th c. thinkers, Kierkegaard embraces a cognitivist view of art. He thinks works of art matter because they can teach us in important ways. This chapter defends two striking features of Kierkegaard’s version of this theory. First, works of art do not teach “directly” by telling us truths and offering us evidence. Instead, they educate us “indirect-ly” by helping us make our own discoveries. Second, the fact that art does not teach in a straightforward manner is no defect. (...) On the contrary, it is precisely because art teaches indirectly that it teaches better than philosophy and science do. (shrink)

Cardinal Bessarion (1408–1472), in the second chapter of the first book of his influential work In calumniatorem Platonis, attempted to reply to Georgios Trapezuntios’ (1396–1474) criticism against Plato in the Comparatio Philosophorum Platonis et Aristotelis. Bessarion investigates why the Athenian philosopher maintained, in several dialogues, that the sacred truths should not be communicated to the general public and argued in favor of the value of oral transmission of knowledge, largely based on his theory about the cognitive processes. Recently, Fr. (...) Bessarion Kouotsis has argued that Cardinal Bessarion’s reasoning draws primarily on the “Disciplina Arcani”, i.e., the rule of secrecy, which was an established practice of the Early Christian Church, aimed at protecting and preserving the core elements of the religion from outsiders. While I find Kouotsis’ approach interesting and thought-provoking—for instance, the idea that Bessarion’s argumentation was likely influenced by Eastern Christian views on the rule of secrecy—I intend, first of all, to discuss why Bessarion did not explicitly mention it. Moreover, I would like to argue that Bessarion’s good knowledge of the long Platonic tradition and Eastern mysticism, encompassing both pagan and Christian elements, should also be considered a significant source. Furthermore, I would like to question Kouotsis’ implicit argument that Bessarion’s views were dominated by his training in Orthodox theology and discuss the possibility that Pletho’s (1355–1454) teaching was the obvious influence for Bessarion’s defense of secrecy. After all, we should bear in mind that Anastos has already pointed out Pletho’s reverence for the rule of secrecy. Finally, I would like to support that Bessarion, in the specific text, focused predominantly on the epistemological and cognitive aspects of oral teaching, resorting to the rule of secrecy only to enhance his views. (shrink)

هو أول كتاب باللغة العربية يعرض لمراحل وآليات تطور المنطق الرمزي المعاصر متعدد القيم بأنساقه المختلفة، مركزًا على مشكلة الغموض المعرفي للإنسان بأبعادها اللغوية والإبستمولوجية والأنطولوجية، والتي تتجلى – على سبيل المثال – فيما تحفل به الدراسات الفلسفية والمنطقية والعلمية من مفارقات تمثل تحديًا قويًا لثنائية الصدق والكذب الكلاسيكية، وكذلك في اكتشاف «هيزنبرج» لمبدأ اللايقين، وتأكيده وعلماء الكمّ على ضرورة التفسيرات الإحصائية في المجال دون الذري، الأمر الذي يؤكد عدم فعالية قانون الثالث المرفوع في التعامل مع معطيات الواقع الفعلي، واستحالة (...) مشروع إقامة لغة مثالية أو اصطناعية أو كاملة منطقيًا تتجاوز عيوب ونقائص اللغة العادية التي نفكر ونتعامل بها. وينتهي الكتاب إلى نتيجة مؤداها أن ما واجهه المنطق الكلاسيكي – ثنائي القيم – من مشكلات أدت إلى تطويره، لاسيما مشكلة الغموض، لابد وأن يواجهه بالمثل المنطق متعدد القيم، ذلك أن الغموض ظاهرة إبستمولوجية في المحل الأول، مردودها إلى الذات العارفة وقصور إمكاناتها الإدراكية والقياسية، لا إلى الوجود ذاته. وأننا حتى لو سمحنا لأية قضية منطقية بقيمة صدق ثالثة، أو بأكثر من قيمة تتوسط بين الصدق التام والكذب التام، فسوف تظل القضية – كتمثيل لغوي لإحدى وقائع العالم – صادقة أو كاذبة، سواء أدركنا ذلك أو لم ندركه، وذلك تأكيد لنزعة أفلاطون الواقعية القائلة بوجود أزلي وثابت للحقائق في عالم المثل، تحول دون معرفتنا الظنية بظلالها في عالم الحس المتغير. ويعني ذلك بعبارة أخرى أن الشك في قانون الثالث المرفوع هو إسقاط من الذات على الموضوع، مبعثه عدم اكتمال العملية المعرفية ومحدوديتها، وأن ظهور الأنساق المنطقية ذات القيم المتعددة ما هو إلا حلقة من حلقات العلاقة الجدلية اللامنتهية بين الإنسان والطبيعة، أو بيم ما هو مُدرك وما هو موجود بالفعل. والكتاب بصفة عامة هو أول كتاب باللغة العربية يعرض لأنساق المنطق متعدد القيم بعد مرحلة البرينكيبيا ماثيماتيكا. (shrink)

A pervasive and influential argument appeals to trivial truths to demonstrate that the aim of inquiry is not the acquisition of truth. But the argument fails, for it neglects to distinguish between the complexity of the sentence used to express a truth and the complexity of the truth expressed by a sentence.

Memory technologies are cultural artifacts that scaffold, transform, and are interwoven with human biological memory systems. The goal of this article is to provide a systematic and integrative survey of their philosophical dimensions, including their metaphysical, epistemological and ethical dimensions, drawing together debates across the humanities, cognitive sciences, and social sciences. Metaphysical dimensions of memory technologies include their function, the nature of their informational properties, ways of classifying them, and their ontological status. Epistemological dimensions include the truth-conduciveness of external (...) memory, the conditions under which external memory counts as knowledge, and the metacognitive monitoring of external memory processes. And lastly, ethical and normative dimensions include the desirability of the effects memory technologies have on biological memory, their effects on self and culture, and their moral status. Whilst the focus in the article is largely philosophical and conceptual, empirical issues such as the way we interact with memory technologies in various contexts are also discussed. We thus take a naturalistic approach in which philosophical and empirical concepts and approaches are seen as continuous. (shrink)

Logics based on weak Kleene algebra (WKA) and related structures have been recently proposed as a tool for reasoning about flaws in computer programs. The key element of this proposal is the presence, in WKA and related structures, of a non-classical truth-value that is “contaminating” in the sense that whenever the value is assigned to a formula ϕ, any complex formula in which ϕ appears is assigned that value as well. Under such interpretations, the contaminating states (...) represent occurrences of a flaw. However, since different programs and machines can interact with (or be nested into) one another, we need to account for different kind of errors, and this calls for an evaluation of systems with multiple contaminating values. In this paper, we make steps toward these evaluation systems by considering two logics, HYB1 and HYB2, whose semantic interpretations account for two contaminating values beside classical values 0 and 1. In particular, we provide two main formal contributions. First, we give a characterization of their relations of (multiple-conclusion) logical consequence—that is, necessary and sufficient conditions for a set Δ of formulas to logically follow from a set Γ of formulas in HYB1 or HYB2 . Second, we provide sound and complete sequent calculi for the two logics. (shrink)

Could it be right to convict and punish defendants using only statistical evidence? In this paper, I argue that it is not and explain why it would be wrong. This is difficult to do because there is a powerful argument for thinking that we should convict and punish defendants using statistical evidence. It looks as if the relevant cases are cases of decision under risk and it seems we know what we should do in such cases (i.e., maximize expected (...) class='Hi'>value). Given some standard assumptions about the values at stake, the case for convicting and punishing using statistical evidence seems solid. In trying to show where this argument goes wrong, I shall argue (against Lockeans, reliabilists, and others) that beliefs supported only by statistical evidence are epistemically defective and (against Enoch, Fisher, and Spectre) that these epistemic considerations should matter to the law. To solve the puzzle about the role of statistical evidence in the law, we need to revise some commonly held assumptions about epistemic value and defend the relevance of epistemology to this practical question. (shrink)

You can be convinced that something is true but still desire to see it for yourself. A trusted critic makes some observations about a movie, now you want to watch it with them in mind. A proof demonstrates the validity of a formula, but you are not satisfied until you see how the formula works. In these cases, we place special value on knowing by what Sosa (2021) calls “firsthand insight” a truth that we might already know in (...) some other way such as by testimony, the balance of evidence, or proof. This phenomenon raises two questions. First, what is the nature of firsthand insight? Second, what value motivates us to pursue firsthand insight when other kinds of knowledge are readily available? In the two central parts of this paper, I develop answers to these questions. I argue that firsthand insight that a proposition is true is knowledge based on experience of what makes that proposition true, and I argue that desires for firsthand insight are motivated by concerns with alienation. In a concluding section, I briefly illustrate how the resulting view of the nature and value of firsthand insight might bear on broader topics in the theory of value. (shrink)

Based on a crowdsourced truth value judgment experiment, we provide empirical evidence challenging two classical views in semantics, and we develop a novel account of counterfactuals that combines ideas from inquisitive semantics and causal reasoning. First, we show that two truth-conditionally equivalent clauses can make different semantic contributions when embedded in a counterfactual antecedent. Assuming compositionality, this means that the meaning of these clauses is not fully determined by their truth conditions. This finding has a clear (...) explanation in inquisitive semantics: truth-conditionally equivalent clauses may be associated with different propositional alternatives, each of which counts as a separate counterfactual assumption. Second, we show that our results contradict the common idea that the interpretation of a counterfactual involves minimizing change with respect to the actual state of affairs. We propose to replace the idea of minimal change by a distinction between foreground and background for a given counterfactual assumption: the background is held fixed in the counterfactual situation, while the foreground can be varied without any minimality constraint. (shrink)

Some philosophers (e.g., Pritchard, Grimm, and Hills) recently have objected that veritism cannot explain the epistemic value of understanding-why. And they have proposed two anti-veritist accounts. In this paper, I first introduce their objection and argue that it fails. Next, I consider a strengthened version of their objection and argue that it also fails. After that, I suggest a new veritist account: Understanding-why entails believing the truth that what is grasped is accurate (or accurate enough), and it is (...) this true belief, along with many other true beliefs understanding-why entails, that makes understanding-why finally epistemically valuable. Then, I explain why the two anti-veritist accounts are both false. Finally, I briefly discuss the idea that understanding involves a kind of know-how and show how veritism can explain the epistemic value of know-how in general. (shrink)

I aim to offer a practical response to skepticism. I begin by surveying a family of responses to skepticism that I term “dogmatic” and argue that they are problematically evasive; they do not address what I take to be a question that is central to many skeptics: Why am I justified in maintaining some beliefs that fail to meet ordinary standards of doxastic evaluation? I then turn to a discussion of these standards of evaluation and to the different kinds of (...) doxastic value to which they appeal. While there is something good about having a true belief and something bad about having a false one, I argue the value of true beliefs is not intrinsic or final. Truth and knowledge are valuable because they contribute to both individual and collective flourishing. But if contributing to flourishing is what ultimately provides truth with its value, then we have discovered another doxastic value. I call this kind of doxastic value “practical.” The practical response addresses the skeptic’s question by claiming that some beliefs can be justified by appealing to their practical, rather than alethic, value. In fleshing out this practical response I contrast it both with dogmatic responses as well as some seemingly similar “practical” alternatives, namely Crispin Wright’s appeals to entitlements and Susanna Rinard’s “pragmatic skepticism.” I end by addressing some objections. (shrink)

This article surveys recent literature by Parsons, McGee, Shapiro and others on the significance of categoricity arguments in the philosophy of mathematics. After discussing whether categoricity arguments are sufficient to secure reference to mathematical structures up to isomorphism, we assess what exactly is achieved by recent ‘internal’ renditions of the famous categoricity arguments for arithmetic and set theory.

The aim of this paper is twofold: first, I provide a cluster of theories of truth in classical logic that is (internally) consistent with global reflection principles: the theories of positive truth (and falsity). After that, I analyse the _epistemic value_ of such theories. I do so employing the framework of cognitive projects introduced by Wright (Proc Aristot Soc 78:167–245, 2004), and employed—in the context of theories of truth—by Fischer et al. (Noûs 2019. https://doi.org/10.1111/nous.12292 ). In particular, (...) I will argue that theories of positive truth are _trustworthy_, analogously to the theories of full disquotational truth. Moreover, I argue that, for a given cognitive project, _if_ the acceptance of trustworthy theories is taken to be an _epistemic norm_ of cognitive project, then one has good reasons to accept theories of positive truth over other rival theories of truth in classical logic. On the other hand, the latter theories are deemed epistemically unacceptable. (shrink)

This article informally presents a solution to the paradoxes of truth and shows how the solution solves classical paradoxes (such as the original Liar) as well as the paradoxes that were invented as counterarguments for various proposed solutions (“the revenge of the Liar”). This solution complements the classical procedure of determining the truth values of sentences by its own failure and, when the procedure fails, through an appropriate semantic shift allows us to express the failure in a classical (...) two-valued language. Formally speaking, the solution is a language with one meaning of symbols and two valuations of the truth values of sentences. The primary valuation is a classical valuation that is partial in the presence of the truth predicate. It enables us to determine the classical truth value of a sentence or leads to the failure of that determination. The language with the primary valuation is precisely the largest intrinsic fixed point of the strong Kleene three-valued semantics (LIFPSK3). The semantic shift that allows us to express the failure of the primary valuation is precisely the classical closure of LIFPSK3: it extends LIFPSK3 to a classical language in parts where LIFPSK3 is undetermined. Thus, this article provides an argumentation, which has not been present in contemporary debates so far, for the choice of LIFPSK3 and its classical closure as the right model for the truth predicate. In the end, an erroneous critique of Kripke-Feferman axiomatic theory of truth, which is present in contemporary literature, is pointed out. (shrink)

Traditionally it has been thought that the moral valence of a proposition is, strictly speaking, irrelevant to whether someone knows that the proposition is true, and thus irrelevant to the truth-value of a knowledge ascription. On this view, it’s no easier to know, for example, that a bad thing will happen than that a good thing will happen (other things being equal). But a series of very surprising recent experiments suggest that this is actually not how we view (...) knowledge. On the contrary, people are much more willing to ascribe knowledge of a bad outcome. This is known as the epistemic side-effect effect (ESEE), and is a specific instance of a widely documented phenomenon, the side-effect effect (a.k.a. “the Knobe effect”), which is the most famous finding in experimental philosophy. In this paper, I report a new series of five experiments on ESEE, and in the process accomplish three things. First, I confirm earlier findings on the effect. Second, I show that the effect is virtually unlimited. Third, I introduce a new technique for detecting the effect, which potentially enhances its theoretical significance. In particular, my findings make it more likely that the effect genuinely reflects the way we think about and ascribe knowledge, rather than being the result of a performance error. (shrink)

Our thesis is that there is a notion of justification, corresponding to the active exercise of a competence in order to attain truth, whose value is explained neither by reliabilism, nor by the usual versions of credit theory.

I argue that relativists about aesthetic and other evaluative language face some of the same objections as non-naturalists in ethics. These objections concern the metaphysics required to make it work. Unlike contextualists, relativists believe that evaluative propositions are not about the relation in which things stand to certain standards. Nevertheless, the truth of such propositions would depend on variable standards. I argue that relativism requires the existence of states of affairs very different from other things known to exist. Furthermore, (...) there seems to be no convincing reason to postulate such entities. However, if they do not exist, then relativism leads to an error theory. That is unattractive, as relativism was meant to preserve the truth of many evaluative claims. (shrink)

Knowledge has almost always been treated as good, better than mere true belief, but it is remarkably difficult to explain what it is about knowledge that makes it better. I call this “the value problem.” I have previously argued that most forms of reliabilism cannot handle the value problem. In this article I argue that the value problem is more general than a problem for reliabilism, infecting a host of different theories, including some that are internalist. An (...) additional problem is that not all instances of true belief seem to be good on balance, so even if a given instance of knowing p is better than merely truly believing p, not all instances of knowing will be good enough to explain why knowledge has received so much attention in the history of philosophy. The article aims to answer two questions: What makes knowingp better than merely truly believing p? The answer involves an exploration of the connection between believing and the agency of the knower. Knowing is an act in which the knower gets credit for achieving truth. What makes some instances of knowing good enough to make the investigation of knowledge worthy of so much attention? The answer involves the connection between the good of believing truths of certain kinds and a good life. In the best kinds of knowing, the knower not only gets credit for getting the truth but also gets credit for getting a desirable truth. The kind of value that makes knowledge a fitting object of extensive philosophical inquiry is not independent of moral value and the wider values of a good life. (shrink)

In 2001, W. Carnielli and Marcos considered a 3-valued logic in order to prove that the schema ϕ ∨ (ϕ → ψ) is not a theorem of da Costa’s logic Cω. In 2006, this logic was studied (and baptized) as G'3 by Osorio et al. as a tool to define semantics of logic programming. It is known that the truth-tables of G'3 have the same expressive power than the one of Łukasiewicz 3-valued logic as well as the one of (...) Gödel 3-valued logic G3. From this, the three logics coincide up-to language, taking into acccount that 1 is the only designated truth-value in these logics. -/- From the algebraic point of view, Canals-Frau and Figallo have studied the 3-valued modal implicative semilattices, where the modal operator is the well-known Moisil-Monteiro-Baaz Δ operator, and the supremum is definable from this. We prove that the subvariety obtained from this by adding a bottom element 0 is term-equivalent to the variety generated by the 3-valued algebra of G'3. The algebras of that variety are called G'3-algebras. From this result, we obtain the equations which axiomatize the variety of G'3-algebras. Moreover, we prove that this variety is semisimple, and the 3-element and the 2-element chains are the unique simple algebras of the variety. Finally an extension of G'3 to first-order languages is presented, with an algebraic semantics based on complete G'3-algebras. The corresponding soundness and completeness theorems are obtained. (shrink)

I argue that the semantics of sentences expressing future contingent propositions is best viewed as being based on a clear distinction between a time at which a proposition is true and a time at which a state of affairs that makes it true gets actualized. That a prediction is true here and now means that its truth-maker gets actualized later. This is not to say that if a contingent proposition p concerning the future is true at t, it acquires (...) the truth-value true at t only retrospectively, at a later moment. Nor must this be seen as suggesting that it is a settled, unpreventable fact at t that p is true at t. It just means that the reason for its present truth is something that happens later on: the future happens to evolve in such a way as to make a truth-maker of p obtain. In this case, then, it can be said that at t, p is truth-maker indeterminate, or that it has an indeterminate truth-maker. I develop a formal semantics based on this analysis in the follow-up article ‘A Formal Framework for Future Contingents’. Here, I lay down the conceptual framework and indicate Boethius and Abelard as precursors of the view I wish to defend. (shrink)

This article has one aim, to reject the claim that negation is semantically ambiguous. The first section presents the putative incompatibility between truth-value gaps and the truth-schema; the second section presents the motivation for the ambiguity thesis; the third section summarizes arguments against the claim that natural language negation is semantically ambiguous; and the fourth section indicates the problems of an introduction of two distinct negation operators in natural language.

In this paper I analyze the difficult question of the truth of mature scientific theories by tackling the problem of the truth of laws. After introducing the main philosophical positions in the field of scientific realism, I discuss and then counter the two main arguments against realism, namely the pessimistic metainduction and the abstract and idealized character of scientific laws. I conclude by defending the view that well-confirmed physical theories are true only relatively to certain values of the (...) variables that appear in the laws. (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)