The prospects and limitations of defining truth in a finite model in the same language whose truth one is considering are thoroughly examined. It is shown that in contradistinction to Tarski's undefinability theorem for arithmetic, it is in a definite sense possible in this case to define truth in the very language whose truth is in question.

We present a theory of truth in fiction that improves on Lewis's [1978] ‘Analysis 2’ in two ways. First, we expand Lewis's possible worlds apparatus by adding non-normal or impossible worlds. Second, we model truth in fiction as belief revision via ideas from dynamic epistemic logic. We explain the major objections raised against Lewis's original view and show that our theory overcomes them.

A theory of truth is usually demanded to be consistent, but -consistency is less frequently requested. Recently, Yatabe has argued in favour of -inconsistent first-order theories of truth, minimising their odd consequences. In view of this fact, in this paper, we present five arguments against -inconsistent theories of truth. In order to bring out this point, we will focus on two very well-known -inconsistent theories of truth: the classical theory of symmetric truth FS and the (...) non-classical theory of naïve truth based on ᴌukasiewicz infinitely valued logic: PAᴌT. (shrink)

The starting point of this paper concerns the apparent difference between what we might call absolute truth and truth in a model, following Donald Davidson. The notion of absolute truth is the one familiar from Tarski’s T-schema: ‘Snow is white’ is true if and only if snow is white. Instead of being a property of sentences as absolute truth appears to be, truth in a model, that is relative truth, is evaluated in (...) terms of the relation between sentences and models. I wish to examine the apparent dual nature of logical truth (without dwelling on Davidson), and suggest that we are dealing with a distinction between a metaphysical and a linguistic interpretation of truth. I take my cue from John Etchemendy, who suggests that absolute truth could be considered as being equivalent to truth in the ‘right model’, i.e., the model that corresponds with the world. However, the notion of ‘model’ is not entirely appropriate here as it is closely associated with relative truth. Instead, I propose that the metaphysical interpretation of truth may be illustrated in modal terms, by metaphysical modality in particular. One of the tasks that I will undertake in this paper is to develop this modal interpretation, partly building on my previous work on the metaphysical interpretation of the law of non-contradiction (Tahko 2009). After an explication of the metaphysical interpretation of logical truth, a brief study of how this interpretation connects with some recent important themes in philosophical logic follows. In particular, I discuss logical pluralism and propose an understanding of pluralism from the point of view of the metaphysical interpretation. (shrink)

In this paprer a class of so called mathematically acceptable (shortly MA) languages is introduced First-order formal languages containing natural numbers and numerals belong to that class. MA languages which are contained in a given fully interpreted MA language augmented by a monadic predicate are constructed. A mathematical theory of truth (shortly MTT) is formulated for some of these languages. MTT makes them fully interpreted MA languages which posses their own truth predicates, yielding consequences to philosophy of mathematics. (...) MTT is shown to conform well with the eight norms presented for theories of truth in the paper 'What Theories of Truth Should be Like (but Cannot be)' by Hannes Leitgeb. MTT is also free from infinite regress, providing a proper framework to study the regress problem. (shrink)

I am arguing that it is only by concentrating on the role of models in theory construction, interpretation and change, that one can study the progress of science sensibly. I define the level at which these models operate as a level above the purely empirical (consisting of various systems in reality) but also indeed below that of the fundamental formal theories (expressed linguistically). The essentially multi-interpretability of the theory at the general, abstract linguistic level, implies that it can potentially make (...) claims about systems in reality, other than the particular one which originally induced it. Any so-called correspondence relation between (systems in) reality and the entities and relations in some scientific theory, thus consists of two jumps or interpretations: from the theory (linguistic level) to some model of it (constructural level); and from there to some system in reality. Clearly then the level of fundamental theories cannot be ignored la Nancy Cartwright - in studying the relations between a theory and reality, because the particular features of the theory (the various systems in reality onto which the theory can be mapped) cannot be studied without the underlying knowledge that these systems have one common feature, namely that each of them is the range (or other pole) of a mapping of a context-specific model of the theory - which in itself, is a mapping, or more specifically, an interpretation of the theory. I am also claiming that the nature of these levels and the relations between them necessitate an epistemological rather than an ontological notion of truth criteria, and a referential rather than a representational link between science and reality. (shrink)

In the early 20th century, scepticism was common among philosophers about the very meaningfulness of the notion of truth – and of the related notions of denotation, definition etc. (i.e., what Tarski called semantical concepts). Awareness was growing of the various logical paradoxes and anomalies arising from these concepts. In addition, more philosophical reasons were being given for this aversion.1 The atmosphere changed dramatically with Alfred Tarski’s path-breaking contribution. What Tarski did was to show that, assuming that the syntax (...) of the object language is specified exactly enough, and that the metatheory has a certain amount of set theoretic power,2 one can explicitly define truth in the object language. And what can be explicitly defined can be eliminated. It follows that the defined concept cannot give rise to any inconsistencies (that is, paradoxes). This gave new respectability to the concept of truth and related notions. Nevertheless, philosophers’ judgements on the nature and philosophical relevance of Tarski’s work have varied. It is my aim here to review and evaluate some threads in this debate. (shrink)

This article confronts two different evaluations of the narrative identity paradigm in order to examine the possibility of a minimal narrative, practical identity without excessive stress on psychic unity and moral wholeness. It consists of three sections. The first part explains the criticisms of Lippitt and Quinn. Both authors warn of the MacIntyrean narrative model's emphasis on psychic unity and moral wholeness and argue for an ethical thinking that is built around concepts of psychic disunity and moral openness. The (...) second section introduces thoughts of Korsgaard and Frankfurt as having one important intuition in common: both their insights express the idea that our identity conceptions are intimately connected with processes of practical and moral reasoning; the ways in which we see ourselves are significant for the ways in which we act. Their sort-like conclusions are linked to the insights of Kennett and Matthews, who argue with help of empirical research on Dissociative Identity Disorder and psychopathy that we should understand our practical identity conceptions narratively. The third and last section shows how the insights of the first and second sections can be brought together in a truthful vision of moral reasoning and the moral person. It argues for a more realistic perspective on morality without altogether banishing narrative thinking, centred on the concept of moral responsiveness. This results in the affirmation of a basal practical, narrative identity and the acceptance of qualities as improvisation and imagination in moral reasoning. (shrink)

The problem analysed in this paper is whether we can gain knowledge by using valid inferences, and how we can explain this process from a model-theoretic perspective. According to the paradox of inference (Cohen & Nagel 1936/1998, 173), it is logically impossible for an inference to be both valid and its conclusion to possess novelty with respect to the premises. I argue in this paper that valid inference has an epistemic significance, i.e., it can be used by an agent (...) to enlarge his knowledge, and this significance can be accounted in model-theoretic terms. I will argue first that the paradox is based on an equivocation, namely, it arises because logical containment, i.e., logical implication, is identified with epistemological containment, i.e., the knowledge of the premises entails the knowledge of the conclusion. Second, I will argue that a truth-conditional theory of meaning has the necessary resources to explain the epistemic significance of valid inferences. I will explain this epistemic significance starting from Carnap’s semantic theory of meaning and Tarski’s notion of satisfaction. In this way I will counter (Prawitz 2012b)’s claim that a truth-conditional theory of meaning is not able to account the legitimacy of valid inferences, i.e., their epistemic significance. (shrink)

I explain why model theory is unsatisfactory as a semantic theory and has drawbacks as a tool for proofs on logic systems. I then motivate and develop an alternative, the truth-valuational substitutional approach (TVS), and prove with it the soundness and completeness of the first order Predicate Calculus with identity and of Modal Propositional Calculus. Modal logic is developed without recourse to possible worlds. Along the way I answer a variety of difficulties that have been raised against TVS (...) and show that, as applied to several central questions, model-theoretic semantics can be considered TVS in disguise. The conclusion is that the truth-valuational substitutional approach is an adequate tool for many of our logic inquiries, conceptually preferable over model-theoretic semantics. Another conclusion is that formal logic is independent of semantics, apart from its use of the notion of truth, but that even with respect to it its assumptions are minimal. (shrink)

The paper offers a model of Kant's claim that unity of consciousness entails objectivity of experience. This claim has nothing especially to do with thought, language or the categories but is a general truth about arbitrary signaling systems of the sort modeled in the paper. In conclusion I draw some consequences for various forms of idealism.

I introduce an account of when a rule normatively sustains a practice. My basic proposal is that a rule normatively sustains a practice when the value achieved by following the rule explains why agents continue following that rule, thus establishing and sustaining a pattern of activity. I apply this model to practices of belief management and identifies a substantive normative connection between knowledge and belief. More specifically, I proposes one special way that knowledge might set the normative standard for (...) belief: knowing is essentially the unique way of normatively sustaining cognition and, thereby, inquiry. In this respect, my proposal can be seen as one way of elaborating a “knowledge-first” normative theory. (shrink)

Yablo has argued for an alternative form of if-thenism that is more conducive with his figurative fictionalism. This commentary sets out to challenge whether the remainder, ρ, tends to be an inaccurate representation of the conditions that are supposed to complete the enthymeme from φ to Ψ. Whilst by some accounts the inaccuracies shouldn't set off any alarm bells, the truth of ρ is too inexact. The content of ρ, a partial truth, must display a sensitivity to the (...) contextual background conditions for subtraction to work properly in Yablo's view. Using a toy example, I argue that Yablo's subtraction model tends to yield partial truths as remainders that fail to rule out inaccurate expressions that may prove to be problematic for it. (shrink)

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

In this paper, we introduce the basics of what we shall call "partial model theory", which is an extension of traditional model theory to partial structures. These are a specific kind of structure developed within the partial structures approach, which is a view constituting the semantic approach of theories. And together with other related semantical concepts, like the concept of quasi-truth, partial structures have been used in contemporary philosophy of science for several purposes. Nonetheless, those uses presuppose (...) certain technical results, or could be improved by resorting to certain technical notions and results, that have not been put forward so far. Thus, in the present work, we intend to introduce part of this particular technical apparatus that is still lacking especially in logic, throughout the development of partial model theory. We begin by extending traditional notions of model theory for partial structures, like the notions of substructure and homomorphism, and by proving some results concerning the notion of quasi-truth. Posteriorly, we show how the content introduced can be used to improve a particular application of partial structures and quasi-truth in the philosophy of science. (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)

In this paper I investigate Putnam’s model-theoretic argument from a transcendent standpoint, in spite of Putnam’s well-known objections to such a standpoint. This transcendence, however, requires ascent to something more like a Tarskian meta-level than what Putnam regards as a “God’s eye view”. Still, it is methodologically quite powerful, leading to a significant increase in our investigative tools. The result is a shift from Putnam’s skeptical conclusion to a new understanding of realism, truth, correspondence, knowledge, and theories, or (...) certain aspects thereof, based on, among other things, a better understanding of what models are designed (and not designed) to do. (shrink)

This article explores the compatibility of posing and authenticity in portraiture. Often understood as a source of inauthenticity, I propose that posing in fact functions as an artistic tool that can support a truthful portrayal. My argument first discusses authenticity in relation to portraiture through the lens of Bernard Williams’s idea of “truthfulness,” which relies on his notions of “accuracy” and “sincerity.” Second, I introduce a phenomenology of posing. I identify two aspects of posing that can be present in the (...) portrait; these are the “posing sitter,” who holds the actual physical pose, but also point out the use of a “posing effect” in the image, which I call the “posed sitter.” Third, I address the worry of posing as a source of inauthenticity and demonstrate how this can be reframed in order to lay bare its capacity for enhancing truthfulness. The pose then need not be regarded with suspicion of artifice that clouds the authenticity of the sitter; instead, it can offer an approach to truthfully portray the sitter. (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 True enough,, Elgin argues against veritism, which is the view that truth is the paramount epistemic objective. Elgin’s argument against veritism proceeds from considering the role that models, idealizations, and thought experiments play in science to the conclusion that veritism is unacceptable. In this commentary, I argue that Elgin’s argument fails as an argument against veritism. I sketch a refutation by logical analogy of Elgin’s argument. Just as one can aim at gold medals and still find approximations to (...) gold, such as silver and bronze medals, to be acceptable and honest achievements in competitive sports, one can aim at full truths as the paramount epistemic objective and still find approximations to truth, such as models and idealizations, to be acceptable and honest achievements in scientific inquiry. (shrink)

According to possibilism, or non-actualism, fictional characters are possible individuals. Possibilist accounts of fiction do not only assign the intuitively correct truth-conditions to sentences in a fiction, but has the potential to provide powerful explanatory models for a wide range of phenomena associated with fiction (though these two aspects of possibilism are, I argue, crucially distinct). Apart from the classic defense by David Lewis the idea of modeling fiction in terms of possible worlds have been widely criticized. In this (...) article, I provide a defense of a possibilist account against some lines of criticism. To do so, I assume that names for fictional characters are directly referential and a possible-worlds model that accommodates transworld identity. On this background, I argue, it is possible to construct an elegant model of fictional discourse using familiar models of information exchange in ordinary discourse, and I sketch how this model can be used to i) make a natural distinction between fictional and counterfactual discourse, ii) account for creativity, and iii) sustain a natural definition of truth-in-fiction that avoids certain familiar objections to possibilism. Though I set aside questions about the metaphysical commitments of a possible-world interpretation here, there is accordingly reason to think that the battle over possibilist treatments of fiction will have to be fought over metaphysical foundations rather than technical shortcomings. (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)

Political fact-checkers evaluate the truthfulness of politicians’ claims. This paper contributes to an emerging scholarly debate on whether fact-checkers treat political parties differently in a systematic manner depending on their ideology (bias). We first examine the available approaches to analyze bias and then present a new approach in two steps. First, we propose a logistic regression model to analyze the outcomes of fact-checks and calculate how likely each political party will obtain a truth score. We test our (...) class='Hi'>model with a sample of fact-checks from Newtral, a major Spanish fact-checker. Our model would signal bias under two assumptions: a) all political parties are on average equally accurate in their statements; b) the verification method gives precise instructions and is implemented systematically. We investigate this second assumption with a series of interviews with Newtral fact-checkers. We show that standard verification protocols are so loosely implemented that fact-checks reflect a set of journalistic decisions, rather than a bias in the statistical sense. We call for a more rigorous definition of verification methods as a pre-requisite for an unbiased assessment of politician’s claims. (shrink)

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)

A reasoned argument or tarka is essential for a wholesome vāda that aims at establishing the truth. A strong tarka constitutes of a number of elements including an anumāna based on a valid hetu. Several scholars, such as Dharmakīrti, Vasubandhu and Dignāga, have worked on theories for the establishment of a valid hetu to distinguish it from an invalid one. This paper aims to interpret Dignāga’s hetu-cakra, called the wheel of grounds, from a modern philosophical perspective by deconstructing it (...) into a simple probabilistic mathematical model. The objective is to understand how and why a vāda based on a probabilistically weaker hetu can degrade into a Jalpa or vitaṇḍā. To do so, the paper maps the concept of ‘Bounded Rationality’ onto the hetu-cakra. Bounded Rationality, an idea coined by the management thinker Herbert Simon, is often employed in understanding decision-making processes of rational agents. In the context of this paper, the concept would state that the prativādin and ālocaka (debater) may not hold unbounded information to back their pratijñā (proposition). The paper argues that within the probabilistically deconstructed hetu-cakra model, most people argue in the ‘Zone of Bounded Rationality’, and thus, the probability of a debate degrading into Jalpa or vitaṇḍā is high. -/- . (shrink)

The issue discussed in this paper is as topical today as it was in the early modern period. The Reformation presented with heightened urgency the question of how to relate the system of beliefs and values regarded as fundamental by an established political community to alternative beliefs and values introduced by new groups and individuals. Through a discussion of the views on toleration advanced by some key early modern thinkers, this paper will revisit different ways of addressing this problem, focusing (...) on the relationship between truth and toleration. The comparison between different proposals in their historical and political contexts, will reveal a variety of understandings of toleration and of models for its promotion. These understandings will be shown to be grounded in different conceptions of religious belief, of its relation to truth, and of human reason’s ability to reach it. They will provide a map of possible models for addressing conflict in a pluralist world from which lessons of enduring relevance can be learnt. The upshot of the paper is that, from a theoretical point of view, the culprit in intolerance is not in itself belief in some objective truth. Some of the common assumptions about the denial of religious truth or the reduction of religious truth to a minimal creed as the best paths to universal toleration will be challenged. Likewise, the narrative centred on England and France which has led to the celebration of the heroes of a supposedly ‘universal’ toleration that still manages to exclude millions of people will be shown to be in need of significant revision. After discussing approaches based on the rights of the individual conscience and on the unknowability of religious truths above human reason, the paper will finally investigate whether grounds for a general and principled theory of toleration can be found in religious truth itself and, following the tradition of natural law, in some universal truth discoverable by natural reason. (shrink)

If the defenders of typical postmodern accounts of science (and their less extreme social-constructivist partners) are at one end of the scale in current philosophy of science, who shall we place at the other end? Old-style metaphysical realists? Neo-neo-positivists? ... Are the choices concerning realist issues as simple as being centered around either, on the one hand, whether it is the way reality is “constructed” in accordance with some contingent language game that determines scientific “truth”; or, on the other (...) hand, whether it is the way things are in an independent reality that makes our theories true or false? If, in terms of realism, “strong” implies “metaphysical” in the traditional sense, and “weak” implies “non-absolutist” or “non-unique”, what – if anything – could realism after Rorty's shattering of the mirror of nature still entail? In accordance with my position as a model-theoretic realist, I shall show in this article the relevance of the assumption of an independent reality for postmodern (philosophy of) science – against Lyotard's dismissal of the necessity of this assumption for science which he interprets as a non-privileged game among many others. I shall imply that science is neither the “child” of positivist philosophy who has outgrown her mother, freeing herself from metaphysics and epistemology, nor is science, at the other end of the scale, foundationless and up for grabs. S. Afr. J. Philos. Vol.22(3) 2003: 220–235. (shrink)

The paper deals with the main contribution of the Finnish logician Jaakko Hintikka: epistemic logic, in particular the 'static' version of the system based on the formal analysis of the concepts of knowledge and belief. I propose to take a different look at this philosophical logic and to consider it from the opposite point of view of the philosophy of logic. At first, two theories of meaning are described and associated with two competing theories of linguistic competence. In a second (...) step, I draw the conclusion that Hintikka's epistemic logic constitutes a sort of internalisation of meaning, by the introduction of epistemic modal operators into an object language. In this respect, to view meaning as the result of a linguistic competence makes epistemic logic nothing less than a logic of unified meaning and understanding. (shrink)

Evolutionary anthropologists and archaeologists have been considerably successful in modelling the cumulative evolution of culture, of technological skills and knowledge in particular. Recently, one of these models has been introduced in the philosophy of science by De Cruz and De Smedt (Philos Stud 157:411–429, 2012), in an attempt to demonstrate that scientists may collectively come to hold more truth-approximating beliefs, despite the cognitive biases which they individually are known to be subject to. Here we identify a major shortcoming in (...) that attempt: De Cruz & De Smedt’s mathematical model makes one particularly strong tractability assumption that causes the model to largely miss its target (namely, truth accumulation in science), and that moreover conflicts with empirical observations. The second, more constructive part of the paper presents an alternative, agent-based model, which allows one to much better examine the conditions for scientific progress and decline. (shrink)

A lot has been written on solutions to the semantic paradoxes, but very little on the topic of general theories of paradoxicality. The reason for this, we believe, is that it is not easy to disentangle a solution to the paradoxes from a specific conception of what those paradoxes consist in. This paper goes some way towards remedying this situation. We first address the question of what one should expect from an account of paradoxicality. We then present one conception of (...) paradoxicality that has been offered in the literature: the fixed-point conception. According to this conception, a statement is paradoxical if it cannot obtain a classical truth-value at any fixed-point model. In order to assess this proposal rigorously we provide a non-metalinguistic characterization of paradoxicality and we evaluate whether the resulting account satisfies a number of reasonable desiderata. (shrink)

Scientific models typically contain idealizations, or assumptions that are known not to be true. Philosophers have long questioned the nature of idealizations: Are they heuristic tools that will be abandoned? Or rather fictional representations of reality? And how can we reconcile them with realism about knowledge of nature? Immanuel Kant developed an account of scientific investigation that can inspire a new approach to the contemporary debate. Kant argued that scientific investigation is possible only if guided by ideal assumptions—what he calls (...) “regulative ideas”. These ideas are not true of objects of nature, and yet they are not heuristic tools or fictional represen- tations. They are necessary rules governing the construction and assessment of scientific explanations. In this paper, I suggest that some idealizations can be interpreted as having necessary regulative value and as being compatible with scientific realism. I first analyze the puzzle of the nature of idealization and present the main approaches to this topic in the literature. Second, I reconsider the puzzle vis-a-vis a restricted, Kantian definition of idealization and a novel characterization of the relation between idealization and truth. Finally, I discuss in detail an example of idealization (the Hardy-Weinberg equilibrium) along the suggested Kantian lines. (shrink)

Some say the swamping problem confronts all who believe that true belief is the sole fundamental epistemic value. This, I say, is mistaken. The problem only confronts T-Monists if they grant two teleological claims: that all derived epistemic value is instrumental, and that it is the state of believing truly rather than the standard of truth in belief that is fundamentally epistemically valuable. T-Monists should reject and, and appeal to a non-teleological form of value derivation I call Fitting Response (...) Derivation that obviates swamping. Since, alas, simple reliabilists can’t apply this model to knowledge, the problem remains for them, and is local. (shrink)

The starting point of this paper is the idea that linguistic representation is the result of a global process: a process of interaction of a community of cognitive-linguistic agents, with one another and with the environment. I maintain that the study of truth, meaning and related notions should be addressed without losing perspective of this process, and I oppose the ‘static’ or ‘analytic’ approach, which is fundamentally based on our own knowledge of the conventional meaning of words and sentences, (...) and the ability of using them that we have as competent speakers. I argue that the analytic perspective is responsible for five recurring difficulties in truthmaker theory: (1) the lack of attention to the difference of explanatory role between the distinct notions proposed as primary truthbearer; (2) the adscription of purely extra-linguistic truthmakers to ‘synthetic truths’, ignoring the contribution of the linguistic factor; (3) the adscription of purely linguistic truthmakers to ‘logical’ and ‘analytic truths’, ignoring the contribution of the worldly factor; (4) the difficulties in the search for minimal truthmakers; (5) the problems in the treatment of ‘negative facts’ and of other ‘logically complex facts’. I do not provide an account of how to solve these difficulties, but I do show how the ‘process model’ helps to clear up confusion regarding them. (shrink)

Despite widespread evidence that fictional models play an explanatory role in science, resistance remains to the idea that fictions can explain. A central source of this resistance is a particular view about what explanations are, namely, the ontic conception of explanation. According to the ontic conception, explanations just are the concrete entities in the world. I argue this conception is ultimately incoherent and that even a weaker version of the ontic conception fails. Fictional models can succeed in offering genuine explanations (...) by correctly capturing relevant patterns of counterfactual dependence and licensing correct inferences. Using the example of Newtonian force explanations of the tides, I show how, even in science, fiction can be a vehicle for truth. (shrink)

The meaning that expressions take on particular occasions often depends on the context in ways which seem to transcend its direct effect on context-sensitive parameters. ‘Truth-conditional pragmatics’ is the project of trying to model such semantic flexibility within a compositional truth-conditional framework. Most proposals proceed by radically ‘freeing up’ the compositional operations of language. I argue, however, that the resulting theories are too unconstrained, and predict flexibility in cases where it is not observed. These accounts fall into (...) this position because they rarely, if ever, take advantage of the rich information made available by lexical items. I hold, instead, that lexical items encode both extension and non-extension determining information. Under certain conditions, the non-extension determining information of an expression e can enter into the compositional processes that determine the meaning of more complex expressions which contain e. This paper presents and motivates a set of type-driven compositional operations that can access non-extension determining information and introduce bits of it into the meaning of complex expressions. The resulting multidimensional semantics has the tools to deal with key cases of semantic flexibility in appropriately constrained ways, making it a promising framework to pursue the project of truth-conditional pragmatics. (shrink)

From different angles of science, there has been a growing interest in the abilities of groups to track the truth. The Condorcet Jury Theorem (1785) states that without communication, infinitely big groups will reach a correct majority opinion with certainty. Coughlan (2000), meanwhile formulated a model in which all agents communicate with each other, showing that majorities are only just as good as fully-communicating individuals. In reality, communication is usually between these two extremes: some agents communicate with some (...) of the others, but not with all others. We refer to this as partial communication. This thesis provides a Bayesian framework to study the influence of partial communication on individual as well as group accuracy, thereby generalising Condorcet’s as well as Coughlan’s setting. We obtain results for individual and group accuracy in three type of networks. Firstly, we study the extreme case where there is either no communication or everyone communicates with everyone. Secondly, we determine accuracy for regular networks, in which all agents communicate with equally many other agents. Thirdly, we derive a formula to express the expected accuracy in random networks, in which agents can communicate with various numbers of other agents. The formula enables us to determine the effect of various parameters on the individual and group accuracy in a random network with partial communication. Finally, we show that in random networks, despite correlation between agents, we can still obtain accurate majorities under some constraints. (shrink)

What the Sorites has to tell us is a simple truth regarding our categories. It appears to saddle us with something other than a simple truth—something worse, a contradiction or a problem or a paradox—only when we insist on viewing it through a discrete logic of categories. Discrete categories and discrete logic are for robots. We aren’t robots, and the simple truth is that we don’t handle categories in the way any discrete logic would demand. For us (...) non-robots, what the Sorites has to offer is a straightforward truth regarding how incapable robots and their logic are of handling categories like ours. (shrink)

This article aims at reassessing a widespread view, according to which Francisco Suárez left behind the scholastic model of truth as adaequatio, founding a new concept of truth based on his metaphysics of objective being. In the first part, I reconstruct the debate on the complex and incomplex truth, focusing especially on the sources of Suárez’s Disputation 8, and presenting the views of Aquinas, Henry of Ghent, Hervaeus, Durandus, Capreolus and Fonseca. Especially the latter proposes an (...) eclectic synthesis, blending elements from the Dominican tradition and Henry of Ghent. In the second part, I analyze Suárez’s Disputation 8, showing that his doctrine of truth reprises and mitigates Fonseca’s, thus following most of the Dominican commentators of Aquinas. Here I explain especially the role played by objective being in the constitution of the truth in cognoscendo, also showing that the latter cannot be given without a previous adequation on the level of the truth in significando (the species). In the third part, I discuss three textual passages used by contemporary historiography to legitimate Suárez’s alleged abandonment of adaequatio, pointing out, in the light of the previous reconstruction, some misreadings in these interpretations. (shrink)

In the debate about semantic context dependence, various truth-conditional frameworks have been proposed. Indexicalism, associated with e.g. Jason Stanley, accounts for contextual effects on truth conditions in terms of a rich covert syntax. Truth-conditional pragmatics, associated with e.g. François Recanati, does not locate the mechanisms for context dependence in the syntactic structure but provides a more complex semantics. In this dissertation, the hypothesis that indexicalism and truth-conditional pragmatics are empirically equivalent is explored. The conclusion that the (...) hypothesis is correct emerges, when claims and accounts in the debate are made formally precise, within the framework of model-theoretic semantics. -/- . (shrink)

Modeling involves the use of false idealizations, yet there is typically a belief or hope that modeling somehow manages to deliver true information about the world. The paper discusses one possible way of reconciling truth and falsehood in modeling. The key trick is to relocate truth claims by reinterpreting an apparently false idealizing assumption in order to make clear what possibly true assertion is intended when using it. These include interpretations in terms of negligibility, applicability, tractability, early-step, and (...) more. Elaborations are suggested about their precise formulations, mutual relationships, and truth-aptness. (shrink)

By a classical result of Kotlarski, Krajewski and Lachlan, pathological satisfaction classes can be constructed for countable, recursively saturated models of Peano arithmetic. In this paper we consider the question of whether the pathology can be eliminated; we ask in effect what generalities involving the notion of truth can be obtained in a deflationary truth theory (a theory of truth which is conservative over its base). It is shown that the answer depends on the notion of pathology (...) we adopt. It turns out in particular that a certain natural closure condition imposed on a satisfaction class—namely, closure of truth under sentential proofs—generates a nonconservative extension of a syntactic base theory (Peano arithmetic). (shrink)

Gila Sher approaches knowledge from the perspective of the basic human epistemic situation—the situation of limited yet resourceful beings, living in a complex world and aspiring to know it in its full complexity. What principles should guide them? Two fundamental principles of knowledge are epistemic friction and freedom. Knowledge must be substantially constrained by the world (friction), but without active participation of the knower in accessing the world (freedom) theoretical knowledge is impossible. This requires a grounding of all knowledge, empirical (...) and abstract, in both mind and world, but the fall of traditional foundationalism has led many to doubt the viability of this ‘classical’ project. Sher challenges this skepticism, charting a new foundational methodology, foundational holism, that differs from others in being holistic, world-oriented, and universal (i.e., applicable to all fields of knowledge). Using this methodology, Epistemic Friction develops an integrated theory of knowledge, truth, and logic. This includes (i) a dynamic model of knowledge, incorporating some of Quine’s revolutionary ideas while rejecting his narrow empiricism, (ii) a substantivist, non-traditional correspondence theory of truth, and (iii) an outline of a joint grounding of logic in mind and world. The model of knowledge subjects all disciplines to demanding norms of both veridicality and conceptualization. The correspondence theory is robust and universal yet not simplistic or naive, admitting diverse forms of correspondence. Logic’s grounding in the world brings it in line with other disciplines while preserving, and explaining, its strong formality, necessity, generality, and normativity. (shrink)

Many classically valid meta-inferences fail in a standard supervaluationist framework. This allegedly prevents supervaluationism from offering an account of good deductive reasoning. We provide a proof system for supervaluationist logic which includes supervaluationistically acceptable versions of the classical meta-inferences. The proof system emerges naturally by thinking of truth as licensing assertion, falsity as licensing negative assertion and lack of truth-value as licensing rejection and weak assertion. Moreover, the proof system respects well-known criteria for the admissibility of inference rules. (...) Thus, supervaluationists can provide an account of good deductive reasoning. Our proof system moreover brings to light how one can revise the standard supervaluationist framework to make room for higher-order vagueness. We prove that the resulting logic is sound and complete with respect to the consequence relation that preserves truth in a model of the non-normal modal logic _NT_. Finally, we extend our approach to a first-order setting and show that supervaluationism can treat vagueness in the same way at every order. The failure of conditional proof and other meta-inferences is a crucial ingredient in this treatment and hence should be embraced, not lamented. (shrink)

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)

The majority rule has caught much attention in recent debate about the aggregation of judgments. But its role in finding the truth is limited. A majority of expert judgments is not necessarily authoritative, even if all experts are equally competent, if they make their judgments independently of each other, and if all the judgments are based on the same source of (good) evidence. In this paper I demonstrate this limitation by presenting a simple counterexample and a related general result. (...) I pave the way for this argument by introducing a Bayesian model of evidence and expert judgment in order to give a precise account of the basic problem. (shrink)

This paper updates (2017) a previously-presented* model of models, which can be used to clarify discussion and analysis in a variety of disputes and debates, since many such discussions hinge on displaying or implying models about how things are related. Knowing about models does not itself supply any new information about our world, but it might help us to recognize when and how information is being conveyed on these matters, or where possibly it is being obscured. If a claim (...) P is expressed in the context of a certain model, a disagreement about P may actually not be about whether the underlying model is accurate; it could reflect misunderstandings about the model’s assumptions or conventions. Also, in practice, constructed models are rarely fully elaborated for every detail, so misunderstandings can arise from apparent “gaps” in the model. In that case, developing and considering complementary versions of models can sometimes clarify ambiguities. Following the main analysis are several extended Case examples to illustrate the wide applicability of the models approach, for clarifying, if not necessarily “resolving”, numerous debates and issues. For example, a famous “counter example” by Nelson Goodman to a logical model proposed by Carnap is shown to be not as deal-breaking as presumed historically, if only plausible complementary models had been explored. And models sometimes presented as competing in Artificial Intelligence research— “Declarative” versus “Procedural”—can instead be viewed as good examples of “complementary” models. Also reconsidered in this light are some well-known, competing positions, by Russell, Strawson, and Kripke, in the literature regarding names, pointing, definite descriptions and “using” sentences, and so on. All these concepts are locatable within the presently proposed models analysis. Questions such as where “truth” resides (whether in sentences or in uses of sentences) are not settled in this paper; yet, practical questions about how testable claims about the world can be expressed by models are clarified. _* Original version presented at a University of Waterloo Philosophy Colloquium 1984. (shrink)

In this paper, we introduce the concepts of Pythagorean fuzzy valued neutrosophic set (PFVNS) and Pythagorean fuzzy valued neutrosophic (PFVNV) constructed by considering Pythagorean fuzzy values (PFVs) instead of numbers for the degrees of the truth, the indeterminacy and the falsity, which is a new extension of intuitionistic fuzzy valued neutrosophic set (IFVNS). By means of PFVNSs, the degrees of the truth, the indeterminacy and the falsity can be given in Pythagorean fuzzy environment and more sensitive evaluations are (...) made by a decision maker in decision making problems compared to IFVNSs. In other words, such sets enable a decision maker to evaluate the degrees of the truth, the indeterminacy and the falsity as PFVs to model the uncertainty in the evaluations. (shrink)

This paper presents four key results. Firstly, it distinguishes between _partial_ and _consistent_ assertion of a sentence, and introduces the concept of an _equivocal_ sentence, which is both partially asserted and partially denied. Secondly, it proposes a novel definition of truth, stating that _a true sentence is one that is consistently asserted_. This definition is immune from the Liar paradox, does not restrict classical logic, and can be applied to declarative sentences in the language used by any particular person. (...) Thirdly, the paper introduces an epistemic model of language, known as _assertional language_, which is used to formalize the definition of truth. Finally, it provides an argument for the falsity of so-called Liar sentences. The paper also discusses Tarski's solution to the Liar paradox and argues for the abandonment of the Tarski Scheme: _'p' is true if and only if p_, in the context of everyday language. The proposed definition of truth can be viewed as a formal account of the correspondence theory. The epistemic model is a powerful concept on its own that allows for combining different languages in a meaningful way. This model is uniquely capable of reflecting on epistemic inconsistencies, such as logical paradoxes, in a consistent manner. (shrink)

Most discussion in population ethics has concentrated how to order populations by the relations “is better than” and “is as good as”. The topic is characterized by paradoxes which show that our considered beliefs are inconsistent in cases where the number of people and their welfare varies. The best known and most discussed example shattering our intuitions is Parfit’s Mere Addition Paradox. But why are paradoxes prevalent in population ethics? Can the analysis of Buddhist intuitions contribute to answer this question? (...) -/- The comparison of classical utilitarian and Buddhist intuitions demonstrates the close tie between intuitions and interests. The perplexing Buddhist intuition about non-existence can be explained (except for metaphysical reasons) by a radically different priority given to survival. -/- The method of measuring the quality of life is not decisive for the existence of paradoxes. The Buddhist axiology changes but doesn’t remove counter-intuitive combinations. -/- If the conflict of interest (quantity versus quality) is described within a two-parameter model, it causes conflicting intuitions. In axiologies which favour quantity (utilitarianism) or quality (perfectionism) the conflicting intuitions inevitably lead to paradoxes. -/- In order to find a compromise, one would have to find a universal interest and a corresponding universal intuition. The obvious candidate to meet this request is sympathy. But since there is no universal consensus on the desirable degree of sympathy, the normative force of such an approach is limited. -/- Breaking out of the two-parameter model and accepting the incommensurability of certain qualities threatens the normative claim of population ethics. (shrink)

The aim of this thesis is to defend a presentist metaphysics. I respond to a series of objections against presentism, including some that draw on our best physics. I also explore ways in which presentism might play an active role in interpreting and constraining physical theory, beyond merely being consistent with it. -/- A unifying theme of this thesis is that I advocate for a reduction of presentism to its bare essentials. Within the proposed ontology, reality is three-dimensional. Time only (...) exists in the sense that three-dimensional reality primitively changes. I reject any temporal dimension, extension, or direction. I reject any primitively tensed facts or nonpresent-tensed truths. I also reject any notion of simultaneity, beyond the mere fact that multiple entities exist in the three-dimensional world. I accept and embrace that if ontology is ‘stripped back’ to the present, then other features of metaphysics that depend on ontology should be stripped back too. -/- The world, under this view, is a forgetful one. What we call the ‘past’ has been utterly lost from existence: there are not even any absolute facts or truths about how things once were. All that remain are records, memories, and the like, but there are no objective underlying truths to which those records correspond. This has implications for physics. In a forgetful world particles have positions, but no entire trajectories. The present may be certain and determinate, but the past and future are at best modelled using probabilistic mathematics. -/- I believe that the world is likely to be as I describe. I will not attempt to argue, however, that this view is intuitive. Instead I will argue that it can account for our experiences and observations, including those from physics, in a simple and effective way. Most importantly, I argue that this view succeeds in the face of challenges where other versions of presentism fail. (shrink)