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.

This article argues that certain interpretive trajectories within Jewish tradition – both halakhic (nomos) and aggadic (narrative) – can be illuminated vis-a-vis classical American pragmatism (CAP). Contrary to a prevalent belief, Peirce, James, and Dewey were neither anti-metaphysical nor anti-traditional. They contended, in different ways, that the ‘pragmatic maxim’ (PM) – “truth is what works” in James’s phrasing – is not a narrowly instrumentalist truth test. The PM rather implies that ideas and beliefs (philosophical and religious alike) should be (...) examined against their worldly consequences. After a clarification of this relational idea in its pragmatist philosophical context, and an introductory sketch of the appearances of the PM in Jewish tradition, the article examines the PM within the thought of Rabbi Ḥayyim Hirschensohn (RḤH; 1857-1935). The article runs as follows: Section 1 presents CAP and clarifies what the PM is. Section 2 offers a bird’s eye mapping of the application of the PM within Jewish tradition. Section 3 briefs RḤH’s intellectual biography and elaborates on his pragmatist premises and his application of the PM. Rather than conceiving divine commandments as an arbitrary dictate, RḤH viewed them as purposive, relational, and as constituted and reaffirmed by individual and collective human agreements. Finally, the article reflects on the theological-intellectual prerequisites for the application of the PM. (shrink)

Paul Horwich (1990) once suggested restricting the T-Schema to the maximally consistent set of its instances. But Vann McGee (1992) proved that there are multiple incompatible such sets, none of which, given minimal assumptions, is recursively axiomatizable. The analogous view for set theory---that Naïve Comprehension should be restricted according to consistency maxims---has recently been defended by Laurence Goldstein (2006; 2013). It can be traced back to W.V.O. Quine(1951), who held that Naïve Comprehension embodies the only really intuitive conception of set (...) and should be restricted as little as possible. The view might even have been held by Ernst Zermelo (1908), who,according to Penelope Maddy (1988), subscribed to a ‘one step back from disaster’ rule of thumb: if a natural principle leads to contra-diction, the principle should be weakened just enough to block the contradiction. We prove a generalization of McGee’s Theorem, anduse it to show that the situation for set theory is the same as that for truth: there are multiple incompatible sets of instances of Naïve Comprehension, none of which, given minimal assumptions, is recursively axiomatizable. This shows that the view adumbrated by Goldstein, Quine and perhaps Zermelo is untenable. (shrink)

To the extent that William James had an account of ‘meaning,’ it is best captured in his “pragmatic maxim”, but James’s maxim has notoriously been open to many conflicting interpretations. It will be argued here that some of these interpretive difficulties stem from the fact that (1) James seriously understates the differences between his own views and those presented by Peirce in “How to Make our Ideas Clear”, and (2) James’s understanding of the maxim typically ties meaning (...) to truth, but since James takes “truth” talk to stretch from “temporary” to “absolute” truth, a similar ‘elasticity’ can be found in his conception of meaning. However, this ‘elasticity’ is found in our everyday talk of meaning as well, and James manages to capture it in a more cohesive way than more contemporary accounts that often try to do so by positing two completely distinct types of meaning or content. (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 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)

This paper examines the Gricean view that quality maxims take priority over other conversational maxims. It is shown that Gricean conversational implicatures are routinely inferred from utterances that are recognized to be untruthful. It is argued that this observation falsifies Grice’s original claim that hearers assume that speakers are obeying other maxims only if the speaker is assumed to be obeying quality maxims, and furthermore the related claim that hearers assume that speakers are being cooperative only to the extent that (...) they assume they are being truthful. (shrink)

A Cantorian argument that there is no set of all truths. There is, for the same reason, no possible world as a maximal set of propositions. And omniscience is logically impossible.

An important objection to signaling approaches to representation is that, if signaling behavior is driven by the maximization of usefulness, then signals will typically carry much more information about agent-dependent usefulness than about objective features of the world. This sort of considerations are sometimes taken to provide support for an anti-realist stance on representation itself. The author examines the game-theoretic version of this skeptical line of argument developed by Donald Hoffman and his colleagues. It is shown that their argument only (...) works under an extremely impoverished picture of the informational connections that hold between agent and world. In particular, it only works for cue-driven agents, in Kim Sterelny’s sense. In cases in which the agents’ understanding of what is useful results from combining pieces of information that reach them in different ways, and that complement one another, maximizing usefulness involves construing first a picture of agent-independent, objective matters of fact. (shrink)

Why should we make our beliefs consistent or, more generally, probabilistically coherent? That it will prevent sure losses in betting and that it will maximize one’s chances of having accurate beliefs are popular answers. However, these justifications are self-centered, focused on the consequences of our coherence for ourselves. I argue that incoherence has consequences for others because it is liable to mislead others, to false beliefs about one’s beliefs and false expectations about one’s behavior. I argue that the moral obligation (...) of truthfulness thus constrains us to either conform to the logic our audience assumes we use, educate them in a new logic, or give notice that one will do neither. This does not show that probabilistic coherence is uniquely suited to making truthful communication possible, but I argue that classical probabilistic coherence is superior to other logics for maximizing efficiency in communication. (shrink)

C. S. Peirce once defined pragmatism as the opinion that metaphysics is to be largely cleared up by the application of the following maxim for attaining clearness of apprehension: ‘Consider what effects that might conceivably have practical bearings we conceive the object of our conception to have. Then, our conception of these effects is the whole of our conception of the object.’ (Peirce 1982a: 48) More succinctly, Richard Rorty has described the position in this way.

Merging of opinions results underwrite Bayesian rejoinders to complaints about the subjective nature of personal probability. Such results establish that sufficiently similar priors achieve consensus in the long run when fed the same increasing stream of evidence. Initial subjectivity, the line goes, is of mere transient significance, giving way to intersubjective agreement eventually. Here, we establish a merging result for sets of probability measures that are updated by Jeffrey conditioning. This generalizes a number of different merging results in the literature. (...) We also show that such sets converge to a shared, maximally informed opinion. Convergence to a maximally informed opinion is a (weak) Jeffrey conditioning analogue of Bayesian “convergence to the truth” for conditional probabilities. Finally, we demonstrate the philosophical significance of our study by detailing applications to the topics of dynamic coherence, imprecise probabilities, and probabilistic opinion pooling. (shrink)

According to a common interpretation, most explicitly defended by Onora O’Neill and Patricia Kitcher, Kant held that epistemic obligations normatively depend on moral obligations. That is, were a rational agent not bound by any moral obligation, then she would not be bound by any epistemic obligation either. By contrast, in this paper, I argue that, according to Kant, some epistemic obligations are normatively independent from moral obligations, and are indeed normatively absolute. This view, which I call epistemicism, has two parts. (...) First, it claims that in the absence of other kinds of obligations, rational agents would still be bound by these epistemic obligations, i.e., that the latter are normatively independent. Second, it claims that, no matter what other obligations are at stake, rational agents are bound by these epistemic obligations, i.e., the normativity of these epistemic obligations is absolute in that it cannot be undercut by any moral or other sort of obligation. The argument turns on an exploratory reading of Kant’s remarks in “What Is Orientation in Thinking?” (1786) about the maxim of “thinking for oneself” as the “supreme touchstone of truth.” In contrast to O’Neill and Kitcher, I argue that if we interpret this maxim as stating the unifying principle of theoretical and practical reason, then we must interpret it as stating an epistemic, and not merely practical imperative. This result, I argue, vindicates epistemicism and illuminates interesting lessons about Kant’s conception of the category of “epistemic” norms. Further, it helps us make headway with Kant’s enigmatic remarks about the unity of practical and theoretical reason in the Groundwork, first and the second Critiques, and the Lectures on Logic. On my proposal, principles of the practical and theoretical uses of rea-son are unified through a formal epistemic principle. (shrink)

The richer you are, the less equally rich or richer people. The richest is only one (=unique). Maximization of richness or leisure (=classic utility), maximizes the uniqueness (=improbability) that can be maximized also by: extreme sport, suicide, tattoo, count of views... The richest seem unique as the poorest, but the rich can easily become poor, while the poor can hardly get rich. So the aim of maximization reflects IQ and options. Few options increase irrationality, regardless of IQ. I also present (...) the law of values' equality, Utility of Suicide, motivation to support the better, and overview the economics as such. Presented as PhD thesis at CERGE-EI, 2000, exhibited in Holland Park, W8 6LU, 2013, presented at conferences in Santorini 2016, Daejon 2016, Adelaide 2016. (shrink)

This paper is about the alethic aspect of epistemic rationality. The most common approaches to this aspect are either normative (what a reasoner ought to/may believe?) or evaluative (how rational is a reasoner?), where the evaluative approaches are usually comparative (one reasoner is assessed compared to another). These approaches often present problems with blindspots. For example, ought a reasoner to believe a currently true blindspot? Is she permitted to? Consequently, these approaches often fail in describing a situation of alethic maximality, (...) where a reasoner fulfills all the alethic norms and could be used as a standard of rationality (as they are, in fact, used in some of these approaches). I propose a function α, which accepts a set of beliefs as inputand returns a numeric alethic value. Then I use this function to define a notion of alethic maximality that is satisfiable by finite reasoners (reasoners with cognitive limitations) and does not present problems with blindspots. Function α may also be used in alethic norms and evaluation methods (comparative and non-comparative) that may be applied to finite reasoners and do not present problems with blindspots. A result of this investigation isthat the project of providing purely alethic norms is defective. The use of function α also sheds light on important epistemological issues, such as the lottery and the preface paradoxes, and the principles of clutter avoidance and reflection. (shrink)

Addressing the question in the form of Kant’s maxim, this paper moves on to a more controversial topic in biomedical ethics, physician-assisted suicide. However, my conclusion is tentative, and what is worse, negative: I partially approve suicide. It does not imply a moral hazard. The situation is opposite: in the present times, terminal patients seriously wish it. I, as an author, put an emphasis on this very respect. Now suicide is, for certain circles, nothing but justice. The arguments of (...) thinkers who approve suicide are also cited from this angle. (shrink)

The notion that natural selection is a process of fitness maximization gets a bad press in population genetics, yet in other areas of biology the view that organisms behave as if attempting to maximize their fitness remains widespread. Here I critically appraise the prospects for reconciliation. I first distinguish four varieties of fitness maximization. I then examine two recent developments that may appear to vindicate at least one of these varieties. The first is the ‘new’ interpretation of Fisher's fundamental theorem (...) of natural selection, on which the theorem is exactly true for any evolving population that satisfies some minimal assumptions. The second is the Formal Darwinism project, which forges links between gene frequency change and optimal strategy choice. In both cases, I argue that the results fail to establish a biologically significant maximization principle. I conclude that it may be a mistake to look for universal maximization principles justified by theory alone. A more promising approach may be to find maximization principles that apply conditionally and to show that the conditions were satisfied in the evolution of particular traits. (shrink)

Advancement in cognitive science depends, in part, on doing some occasional ‘theoretical housekeeping’. We highlight some conceptual confusions lurking in an important attempt at explaining the human capacity for rational or coherent thought: Thagard & Verbeurgt’s computational-level model of humans’ capacity for making reasonable and truth-conducive abductive inferences (1998; Thagard, 2000). Thagard & Verbeurgt’s model assumes that humans make such inferences by computing a coherence function (f_coh), which takes as input representation networks and their pair-wise constraints and gives as output (...) a partition into accepted (A) and rejected (R) elements that maximizes the weight of satisfied constraints. We argue that their proposal gives rise to at least three difficult problems. (shrink)

Critical review of Gillian Russell's "Truth in Virtue of Meaning".

The concept of truth and competing philosophical theories on what truth amounts to have an important place in contemporary philosophy. The aim of this chapter is to give a synopsis of different theories of truth and the particular philosophical issues related to the concept of truth. The literature on this topic is vast, and we must necessarily be rather selective and very brief about complex questions of interpretation of various philosophers. The focus of the chapter is mainly on selected systematic (...) issues and the most influential and well-established philosophical theories and key concepts. (shrink)

Democritus of Abdera, best known as a cosmologist and the founder of atomism, wrote more on ethics than anyone before Plato. His work Peri euthumiês (On Contentment) was extremely influential on the later development of teleological and intellectualist ethics, eudaimonism, hedonism, therapeutic ethics, and positive psychology. The loss of his works, however, and the transmission of his fragments in collections of maxims (gnomai), has obscured the extent his contribution to the history of systematic ethics and influence on later philosophy, especially (...) in the Hellenistic age. In this essay I review the evidence basis for Democritus’ ethics, discuss the rhetorical and logical aspects of his maxims, attempt to synthesize the fragments into an overall interpretation, and offer a summary some of the more influential aspects of his ethics. (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)

Many areas of philosophy employ a distinction between factual and non-factual (descriptive/non-descriptive, cognitive/non-cognitive, etc) uses of language. This book examines the various ways in which this distinction is normally drawn, argues that all are unsatisfactory, and suggests that the search for a sharp distinction is misconceived. The book develops an alternative approach, based on a novel theory of the function and origins of the concept of truth. The central hypothesis is that the main role of the normative notion of truth (...) is to encourage speakers to argue, with long-run behavioural advantages. This offers a fresh perspective on many debates about realism in contemporary philosophy. (shrink)

Coherence and correspondence are classical contenders as theories of truth. In this paper we examine them instead as interacting factors in the dynamics of belief across epistemic networks. We construct an agent-based model of network contact in which agents are characterized not in terms of single beliefs but in terms of internal belief suites. Individuals update elements of their belief suites on input from other agents in order both to maximize internal belief coherence and to incorporate ‘trickled in’ elements of (...) truth as correspondence. Results, though often intuitive, prove more complex than in simpler models (Hegselmann & Krause 2002, 2006; Grim, Singer, Reade & Fisher 2015). The optimistic finding is that pressures toward internal coherence can exploit and expand on small elements of truth as correspondence is introduced into epistemic networks. Less optimistic results show that pressures for coherence can also work directly against the incorporation of truth, particularly when coherence is established first and new data is introduced later. (shrink)

Intuitionism’s disagreement with classical logic is standardly based on its specific understanding of truth. But different intuitionists have actually explicated the notion of truth in fundamentally different ways. These are considered systematically and separately, and evaluated critically. It is argued that each account faces difficult problems. They all either have implausible consequences or are viciously circular.

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.

Questions about the morality of lying tend to be decided in a distinctive way early in discussions of Kant’s view on the basis of readings of the false promising example in his Groundwork of The metaphysics of morals. The standard deception-as-interference model that emerges typically yields a very general and strong presumption against deception associated with a narrow and rigorous model subject to a range of problems. In this paper, I suggest an alternative account based on Kant’s discussion of self-deception (...) in the Metaphysics of Morals. I argue that we make the concern with respect for our capacity for inner freedom seen in the case of self-deception the model for deception in general. Focusing on the case of paternalistic lying, I claim that this approach yields a subtle and integrated account that promises the kind of resources we need if we are to be able to make headway with hard cases where deception may seem permissible. (shrink)

This article reexamines Vico’s early critique of Cartesian reasoning and of how the Cartesian method, which comes from epistemology, creates problems for the sciences once embedded into their methodologies and given a foundational role. The focus will be on De nostri temporis studiorum ratione (1709), where Vico argues against generalizing the Cartesian method and overemphasizing clarity and distinctness in the search for truth. To this end, Vico’s relation to Cartesianism is first carefully contextualized. Then, Vico is presented as a hylomorphist (...) when it comes to how scientific disciplines and their instruments interrelate, something key for understanding why he questions the “instrumentalization” of the Cartesian method in the first place. Afterwards, Vico’s account of the impossibility of maximal scientific progress when the Cartesian method is prioritized across the sciences is presented, as probabilistic reasoning and the importance of the imagination and memory take centerstage. Lastly, the article looks at Vico’s opposition to the geometrical method’s role in physics and his defense of visual thinking in mathematics. The hope throughout is to advance a picture of the early Vico as being not only a neo- Baconian pragmatist, but a hypermodern ”meta-Cartesian” thinker concerned with humanity’s optimizing its creative potential in order to achieve scientific advances. (shrink)

The topic of truth has long been thought to be connected to scientific realism and its opposition. In this essay, I discuss the various ways that truth might be related to realism. First, I consider how truth might be of use when defining scientific realism and its opposition. Second, I consider whether various stances regarding realism require specific stances on the nature of truth. I survey "neutralist" views that argue that one's stance on realism is independent of one's view on (...) truth, and partisan positions that claim that one's attitude on realism is, in part, determined by one's theory of truth. Though partisan views have been popular, and defended by seminal figures such as Thomas Kuhn, Richard Rorty, Hilary Putnam, and Arthur Fine, I raise a number of objections for them. (shrink)

No evangelistic erroneous network of ideas can guarantee the satisfaction of these two demands : (1) propagate the network without revision and (2) completely insulate itself against losses in credibility and adherents through criticism. If a network of ideas is false, or inconsistent or fails to solve its intended problem, or unfeasible, or is too costly in terms of necessarily forsaken goals, its acceptability may be undermined given only true assumptions and valid arguments. People prefer to adopt ideologies that (i) (...) are logically consistent, (ii) are more truth-like and of higher information content than their rivals, (iii) are systematically organised, (iv) solve their problems better than their rivals, (v) do not contain unfeasible demands, and (vi) do not contain uneconomic demands. Truth and validity therefore act as Darwinian-like filters on ideologies. Using Popper's notion of situational analysis and with reference to Darwinian evolution, considered as a special case of the former, and Bartley's theory of comprehensively critical rationalism I argue that a propagandist cannot guarantee his message or his movement from sound criticism. All positions are in a methodological sense open to argument. Moreover, the logic of a propagandist's situation constrains him into making his message and himself open to criticism in order to maximize its chances of being propagated through the population. But he then loses control of the message in two respects. Firstly, his audience are disposed to select from the competing ideas they encounter those that satisfy (i) to (vi) because of man's evolutionary history. Secondly, he cannot guarantee protection from criticism even a privileged section of his message because he cannot predict in a systematic way what logical repercussions each protective reformulation of the ideology will have on other sections of the ideology and what criticism the ideology will encounter. He cannot do the latter because of certain logical properties of theories that endow them with unfathomable depths. Marxism and Freudianism serve as case studies, especially for the analysis of Popper's notion of the immunizing stratagem, a methodological/logical device that is supposed to save theories from criticism. "Immunizing stratagems" either abandon the ideology they are meant to protect or seriously lower its chances of being reproduced. (shrink)

A preliminary statement of the formal theory of the truthmaker relation advanced in the paper “Truth-makers” (Mulligan, Simons and Smith) in 1984. Correspondence theories of truth have. I give a brief account of some more or less obvious formal characteristics of this almost forgotten basic truthmaker relation. I then attempt to show how this account may be extended to provide elements of a theory of truth which is in keeping with the spirit of Wittgenstein’s Tractatus.

The currently used humanity model is chaotic, devoid of logic or coherence. In Part 1 of this two-part paper, we examined human traits of a scientific model in absence of ‘born sinner’ starting point. We demonstrated that the so-called ‘viceroy model’ that is characterized as scientifically sustainable can replace the existing models that are based on fear and scarcity. Part Two of the paper deals with adequate definition of moral campus that conforms to the viceroy model. In this paper, it (...) is shown that the talk of morality or a moral compass is aphenomenal in absence of strict necessary and sufficient conditions. It also follows that natural justice can only be followed after defining the term ‘natural’ with the same scientific rigor as that of the viceroy model. Once these terms are consistently defined, one is well poised to talk about inalienable rights, moral compass, environmental sustainability, and humanity. The immediate consequence of this model is the demonstration that currently used governance models, such as democracy, is inherently implosive and must be replaced with a new model that is in conformance with the scientific definition of ‘natural’. This emerging model is free from inconsistencies and will remain effective as a governance tool that optimizes individual rights and balances with the right of the state as well as a Creator. It is concluded that this model offers the only hope of maximizing individual liberty without compromising universal peace and natural justice. At this point, morality and legality become equivalent to each. The implications of this paper are overwhelming, making all current judicial actions immoral, in essence repudiating the entire Establishment as little more than a mafia entity, bringing back ‘might is right’ mantra, packaged as ‘social progress’. The paper finally shows how a standard that is necessarily and sufficiently universal can become impetus for a true knowledge. (shrink)

This paper attempts to address the question what logical strength theories of truth have by considering such questions as: If you take a theory T and add a theory of truth to it, how strong is the resulting theory, as compared to T? It turns out that, in a wide range of cases, we can get some nice answers to this question, but only if we work in a framework that is somewhat different from those usually employed in discussions of (...) axiomatic theories of truth. These results are then used to address a range of philosophical questions connected with truth, such as what Tarski meant by "essential richness" and the so-called conservativeness argument against deflationism. -/- This draft dates from about 2009, with some significant updates having been made around 2011. Around then, however, I decided that the paper was becoming unmanageable and that I was trying to do too many things in it. I have therefore exploded the paper into several pieces, which will be published separately. These include "Disquotationalism and the Compositional Principles", "The Logical Strength of Compositional Principles", "Consistency and the Theory of Truth", and "What Is Essential Richness?" You should probably read those instead, since this draft remains a bit of a mess. Terminology and notation are inconsistent, and some of the proofs aren't quite right. So, caveat lector. I make it public only because it has been cited in a few places now. (shrink)

This book proposes a novel theory of truth and falsity. It argues that truth is a form of reference and falsity is a form of reference failure. -/- Most of the philosophical literature on truth concentrates on certain ontological and epistemic problems. This book focuses instead on language. By utilizing the Fregean idea that sentences are singular referring expressions, the author develops novel connections between the philosophical study of truth and falsity and the huge literature in in the philosophy of (...) language on the notion of reference. The first part of the book constructs the author’s theory and argues for it in length. Part II addresses the ways in which the theory relates to, and is different from, some of the basic theories of truth. Part III takes up how to account for the truth of sentences with logical operators and quantifiers. Finally, Part IV discusses the applications and implications of the theory for longstanding problems in philosophy of language, metaphysics, and epistemology. -/- A Referential Theory of Truth and Falsity will appeal to researchers and advanced students working in philosophy of language, epistemology, metaphysics, and linguistics. -/- . (shrink)

In a recent paper, Haig and Borsboom explore the relevance of the theory of truth for psychological science. Although they conclude that correspondence theories of truth are best suited to offer the resources for making sense of scientific practice, they leave open the possibility that other theories might accomplish those same ends. I argue that deflationary theories of truth, which deny that there is any substantive property that unifies the class of truths, makes equally good sense of scientific practice as (...) the correspondence theory, but at lesser theoretical cost. I also argue that the considerations Haig and Borsboom draw on are better thought of as issues relevant to realism, and thus separate from the theory of truth. I conclude that while they are correct to engage questions about what makes true the various claims that arise in psychological research, they may do so without saddling themselves with a correspondence theory. (shrink)

In this dissertation, I argue that we should be pluralists about truth and in turn, eliminativists about the property Truth. Traditional deflationists were right to suspect that there is no such property as Truth. Yet there is a plurality of pluralities of properties which enjoy defining features that Truth would have, were it to exist. So although, in this sense, truth is plural, Truth is non-existent. The resulting account of truth is indebted to deflationism as the provenance of the suspicion (...) that Truth doesn't exist. But it would be hasty to simply classify the account as deflationary. Each of the 'truth-like' properties that it recognizes is highly substantive--that is, complex and explanatorily potent. So we should deflate Truth by recognizing that it doesn't exist, but we should also recognize that one of the most vital tasks in truth theory is to discover the essences of the many truth-like properties. My aim here is to do precisely this. (shrink)

The article develops a correctness theory of truth (CTT) for semantic information. After the introduction, in section two, semantic information is shown to be translatable into propositional semantic information (i). In section three, i is polarised into a query (Q) and a result (R), qualified by a specific context, a level of abstraction and a purpose. This polarization is normalised in section four, where [Q + R] is transformed into a Boolean question and its relative yes/no answer [Q + A]. (...) This completes the reduction of the truth of i to the correctness of A. In sections five and six, it is argued that (1) A is the correct answer to Q if and only if (2) A correctly saturates (in a Fregean sense) Q by verifying and validating it (in the computer science’s sense of “verification” and “validation”); that (2) is the case if and only if (3) [Q + A] generates an adequate model (m) of the relevant system (s) identified by Q; that (3) is the case if and only if (4) m is a proxy of s (in the computer science’s sense of “proxy”) and (5) proximal access to m commutes with the distal access to s (in the category theory’s sense of “commutation”); and that (5) is the case if and only if (6) reading/writing (accessing, in the computer science’s technical sense of the term) m enables one to read/write (access) s. The last section draws a general conclusion about the nature of CTT as a theory for systems designers not just systems users. (shrink)

Every countable language which conforms to classical logic is shown to have an extension which has a consistent definitional theory of truth. That extension has a consistent semantical theory of truth, if every sentence of the object language is valuated by its meaning either as true or as false. These theories contain both a truth predicate and a non-truth predicate. Theories are equivalent when sentences of the object lqanguage are valuated by their meanings.

Reading science fiction in China as a science project, this paper articulates a philosophical reflection on the ontology and ethics of truth that stems from the world of China. Through the reading of various texts of and about science fiction in China, from the Republican to the contemporary period, this article analyzes the situation of science fiction in China. Since science fiction was originally conceived as a science novel—a literary form that meant to convey scientific truth in order to create (...) a self-determining Chinese public—the history of science fiction in China is punctuated with the political question of what scientific truth is and what it does. Reading though such a milieu and Liu Cixin’s short novel, Hearing Dao in the Morning, this article will demonstrate that science fiction in China offers science a different modality of truth, that evokes an ethic of truth based on the curiosity towards the “unknown unknown.” The “unknown unknown” truth is significant because it re-structures the relationship between science fiction, truth, self-determination and the public. (shrink)

Arguments pro and contra convergent realism - underdetermination of theory by observational evidence and pessimistic meta-induction from past falsity- are considered. It is argued that, to meet the counter-arguments challenge, convergent realism should be considerably changed with a help of modification of the propositions from this meta-programme’s “hard core” and “protecting belt”. Maybe one of the ways out is to turn to the coherent theory of truth. Some of the works of Hegel (as interpreted by Merab Mamardashvili and Alexandre Kojev), (...) Husserl and Heidegger can help to dig still deeper into the background of this theory. Key words: Husserl, Heidegger, Hegel, convergent realism, internal realism, coherent theory of truth. -/- . (shrink)

Truth about matters of fact is objective. This is not just because truth is objective. It is also because facts are objective. An objective fact makes an assertion of that fact true. The objectivity of the fact adds a further element of objectivity to the objective truth of the assertion. True assertions of fact are true because truth is objective and because the facts that make them true are objective. True assertions of fact are objective twice over. Their objectivity is (...) twofold. Or, at least, that is the point I seek to establish here. (shrink)

This thesis engages with three topics and the relationships between them: (i) the phenomenon of disagreement (paradigmatically, where one person makes a claim and another denies it); (ii) the normative character of disagreements (the issue of whether, and in what sense, one of the parties is “at fault” for believing something that’s untrue); (iii) the issue of which theory of what truth is can best accommodate the norms relating belief and truth. People disagree about all sorts of things: about whether (...) climate is changing, death penalty is wrong, sushi is delicious, or Louis C.K. is funny. However, even focusing on disagreements in the evaluative domain (e.g., taste, moral and comedic), where people have the intuition that there is ‘no fact of the matter’ about who is right, there are significant differences that require explanation. For instance, disagreement about taste is generally perceived as shallow. People accept to disagree and live comfortably with that fact. By contrast, moral disagreement is perceived as deep and sometimes hard to tolerate. Comedic disagreement is similar to taste. However, it may involve an element of ‘intellectual snobbery’ that is absent in taste disagreement. The immediate questions are whether these contrasts allow of precise characterization and what is responsible for them. I argue that, once a case is made for the truth-aptness of judgments in these areas, the contrast can be explained in terms of variable normative function of truth – as exerting a lightweight normative constraint in the domain of taste and a stricter constraint in the moral domain. In particular I claim that while truth in the moral domain exerts a sui generis deontic control, this normative feature of truth is silent in both the taste and the comedic domains. This leads me to investigate how to conceive of truth in the light of normative variability. I argue that an amended version of deflationism – minimally inflated deflationism – can account for the normative variability of truth. (shrink)

Whether truth, morality, and beauty have an objective basis has been a perennial question for philosophy, ethics, and aesthetics, while for a great many relativists and skeptics it poses a problem without a solution. In this essay, the author proposes an innovative approach that shows how cognitive intelligence, moral intelligence, and aesthetic intelligence provide the basis needed for objective judgments about truth, morality, and beauty.

This paper aims to increase our understanding of the genealogical method by taking a developmental approach to Nietzsche’s genealogical methodology and reconstructing an early instance of it: Nietzsche’s genealogy of truthfulness in On Truth and Lie. Placing this essay against complementary remarks from his notebooks, I show that Nietzsche’s early use of the genealogical method concerns imagined situations before documented history, aims to reveal practical necessity before contingency, and focuses on vindication before it turns to subversion or problematization. I (...) argue that we understand Nietzsche’s later critique of truthfulness better if we place it against the background of his earlier vindicatory insight into the practical necessity of cultivating truthfulness in some form; and I suggest that Nietzsche’s own mature genealogical method has roots in its supposed contrary, the method of the “English” genealogists. (shrink)

The truthmaker theory rests on the thesis that the link between a true judgment and that in the world to which it corresponds is not a one-to-one but rather a one-to-many relation. An analogous thesis in relation to the link between a singular term and that in the world to which it refers is already widely accepted. This is the thesis to the effect that singular reference is marked by vagueness of a sort that is best understood in supervaluationist terms. (...) In what follows we show that the supervaluationist approach to singular reference, when wedded to the truthmaker idea, yields a framework of surprising power, which offers a uniform set of solutions to a range of problems regarding identity, reference and knowledge, problems which have hitherto been dealt with on an ad hoc basis. (shrink)

Two central themes of Douglas Edwards's The Metaphysics of Truth are anti-deflationism and substantial pluralism. In Part I of this paper I discuss Edwards's grounds for rejecting deflationism and suggest a few additional grounds. In Part II I discuss Edward's truth-pluralism and respond to his criticism of my correspondence-pluralism. While these pluralisms share significant features, their differences also raise several important questions.

Deflationists claim that the truth predicate was introduced into our language merely to full a certain logico-linguistic function. Oddly enough, the question what this function exactly consists in has received little attention. We argue that the best way of understanding the function of the truth predicate is as enabling us to mimic higher-order quantification in a first-order framework. Indeed, one can show that the full simple theory of types is reducible to disquotational principles of truth. Our analysis has important consequences (...) for our understanding of truth. In this paper, we can only touch on one of them: we will argue that the insubstantiality of truth does not imply a conservativity requirement on our best theories of truth. (shrink)

This article surveys different philosophical theories about the nature of truth. We give much importance to truth; some demand to know it, some fear it, and others would even die for it. But what exactly is truth? What is its nature? Does it even have a nature in the first place? When do we say that some truth-bearers are true? Philosophers offer varying answers to these questions. In this article, some of these answers are explored and some of the problems (...) raised against them are presented. (shrink)

The aim of this dissertation is to offer and defend a correspondence theory of truth. I begin by critically examining the coherence, pragmatic, simple, redundancy, disquotational, minimal, and prosentential theories of truth. Special attention is paid to several versions of disquotationalism, whose plausibility has led to its fairly constant support since the pioneering work of Alfred Tarski, through that by W. V. Quine, and recently in the work of Paul Horwich. I argue that none of these theories meets the correspondence (...) intuition---that a true sentence or proposition in some way corresponds to reality---despite the explicit claims by each to capture this intuition. I distinguish six versions of the correspondence theory, and defend two against traditional objections, standardly taken as decisive against them, and show, plainly, that these two theories capture the correspondence intuition. Due to the importance of meeting this intuition, only these two theories stands a chance of being a satisfactory theory of truth. I argue that the version of the correspondence theory incorporating a simple semantic representation relation is preferable to its rival, for which the representation relation is complex. I present and argue for a novel version of this correspondence theory according to which truth is a correspondence property sensitive to semantic context. One consequence of this context-sensitivity is that an ungrounded sentence does not express a proposition. In addition to accounting for the similarity between the Liar and Truth-Teller sentences, this theory of truth is immune to the Liar Paradox, including empirical versions. It is argued that the Liar Paradox is devastating to all of the other theories above, and even formal theories of truth designed to solve it, such as the revision and vagueness theories. Customized versions of the Liar Paradox besetting this theory are handled by its context-sensitivity, and by enforcing the distinction between truth and truth value. This same pair of considerations also yields solutions to Lob's Paradox and Grelling's Paradox. Arguments similar to those given to defend this correspondence theory show that with one minor alteration, Kripke's fixed point theory may be used to model this correspondence notion of truth. (shrink)

The concept of truth has many aims but only one source. The article describes the primary concept of truth, here called the synthetic concept of truth, according to which truth is the objective result of the synthesis of us and nature in the process of rational cognition. It is shown how various aspects of the concept of truth -- logical, scientific, and mathematical aspect -- arise from the synthetic concept of truth. Also, it is shown how the paradoxes of truth (...) arise. (shrink)