Mādhyamikas argue that ultimate reality, which is without any delimitation and hence cannot be verbalized in itself, can be expressed in words on the basis of the attribution or superimposition of the basis for the application of the word. The denotation theory of ultimate reality Bhartṛhari advances in the Dravyasamuddeśa of his Vākyapadīya convincingly explains that, insofar as ultimate reality is spoken of, we must say that it is denoted by the word; ultimate reality is said to be ineffable (...) only in the sense that it is far from what is conveyed as something by the word; language is a pointer to the ultimate reality. The point that the application of a word to ultimate reality depends on the attribution of the basis for the application of the word to it naturally leads to an idea that one should not hypostatize the basis, although without resorting to it any word cannot be used to convey the ultimate reality; otherwise, it would have to be said that the ultimate reality to which the word is applied has in essence the property which serves as the basis. Such a property is precisely what the Mādhyamikas consider to be the svabhāva ‘intrinsic nature’. What they understand by the term śūnyatā is precisely that everything has no real basis for the application of the word to it. (shrink)

We give a decision procedure for the ∀∃-theory of the weak truth-table (wtt) degrees of the recursively enumerable sets. The key to this decision procedure is a characterization of the finite lattices which can be embedded into the r.e. wtt-degrees by a map which preserves the least and greatest elements: a finite lattice has such an embedding if and only if it is distributive and the ideal generated by its cappable elements and the filter generated by its cuppable elements (...) are disjoint. We formulate general criteria that allow one to conclude that a distributive upper semi-lattice has a decidable two-quantifier theory. These criteria are applied not only to the weak truth-table degrees of the recursively enumerable sets but also to various substructures of the polynomial many-one (pm) degrees of the recursive sets. These applications to the pm degrees require no new complexity-theoretic results. The fact that the pm-degrees of the recursive sets have a decidable two-quantifier theory answers a question raised by Shore and Slaman in [21]. (shrink)

This paper proposes a critical analysis of that interpretation of the Nāgārjunian doctrine of the two truths as summarized—by both Mark Siderits and Jay L. Garfield—in the formula: “the ultimate truth is that there is no ultimate truth”. This ‘semantic reading’ of Nāgārjuna’s theory, despite its importance as a criticism of the ‘metaphysical interpretations’, would in itself be defective and improbable. Indeed, firstly, semantic interpretation presents a formal defect: it fails to clearly and explicitly express that which it (...) contains logically; the previously mentioned formula must necessarily be completed by: “the conventional truth is that nothing is conventional truth”. Secondly, after having recognized what Siderits’ and Garfield’s analyses contain implicitly, other logical and philological defects in their position emerge: the existence of the ‘conventional’ would appear—despite the efforts of semantic interpreters to demonstrate quite the contrary—definitively inconceivable without the presupposition of something ‘real’; moreover, the number of verses in Nāgārjuna that are in opposition to the semantic interpretation (even if we grant semantic interpreters that these verses do not justify a metaphysical reconstruction of Nagarjuna’s doctrine) would seem too great and significant to be ignored. (shrink)

This paper proposes an interpretation of Nāgārjuna’s doctrine of the two truths that considers saṃvṛti and paramārtha-satya two visions of reality on which the Buddhas, for soteriological and pedagogical reasons, build teachings of two types: respectively in agreement with (for example, the teaching of the Four Noble Truths) or in contrast to (for example, the teaching of emptiness) the category of svabhāva. The early sections of the article show to what extent the various current interpretations of the Nāgārjunian (...) doctrine of the dve satye—despite their sometimes even macroscopic differences—have a common tendency to consider the notion of śūnyatā as a teaching not based on, but equivalent to supreme truth. This equivalence—philologically questionable—leads to interpretative paths that prove inevitably aporetic: indeed, according to whether the interpretation of śūnyatā is ‘metaphysical’ or ‘anti-metaphysical’, it gives rise to readings of Nāgārjuna’s thought incompatible, respectively, with anti-metaphysical and realistic types of verses traceable in the works of the author of the Mūla-madhyamaka-kārikā (MMK). On the contrary, by giving more emphasis to the expression samupāśritya (“based on”), which recurs in MMK.24.8, and therefore, by epistemologically separating the notion of śūnyatā from the notion of paramārtha-satya (and of some of its conceptual equivalents such as nirvāṇa, tattva and dharmatā), we may obtain an interpretation—at once realistic and anti-metaphysical—of the theory of the two truths compatible with the vast majority (or even totality) of Nāgārjuna’s verses. (shrink)

In the third chapter of his book Psychosemantics , Jerry A. Fodor argues that the truth of meaning holism (the thesis that the content of a psychological state is determined by the totality of that state's epistemic liaisons) would be fatal for intentionalistic psychology. This is because holism suggests that no two people are ever in the same intentional state, and so a psychological theory that generalizes over such states will be composed of generalizations which fail to generalize. Fodor (...) then sets out to show that there is no reason to believe in holism by arguing that its primary foundation (i.e. functional-role semantics), when properly understood (i.e. when construed as a two-factor theory of content), is demonstrably false. In this paper, I argue two claims. First, I try to show that Fodor has seriously misrepresented two-factor theories and that his arguments against his strawman do nothing to indicate the falsity of the genuine article. Second, I argue that if one accepts meaning holism in the form of a two-factor theory, there is no particular reason to think that one is hereby committed to the futility of intentionalistic psychology. In making this point, I make a brief excursion into the psychological literature during which I discuss the belief perseverance phenomenon, the encoding specificity hypothesis, and a problem in human deductive reasoning. My second argument leads to a discussion of how such a psychology could be developed even if no two people are ever in the same intentional state. (shrink)

It is part of the current wisdom that the Liar and similar semantic paradoxes can be taken care of by the use of certain non-classical multivalued logics. In this paper I want to suggest that bivalent logic can do just as well. This is accomplished by using a non-deterministic matrix to define the negation connective. I show that the systems obtained in this way support a transparent truth predicate. The paper also contains some remarks on the conceptual interest of such (...) systems. (shrink)

Libertarianism about free will is the conjunction of two theses: the existence of free will is incompatible with the truth of determinism, and at least some human beings sometimes exercise free will (or act freely, for short). 1 Some libertarian views feature agent causation, others maintain that free actions are uncaused, and yet others – event-causal libertarian views – reject all views of these two kinds and appeal to indeterministic causation by events and states. 2 This article explores the relative (...) merits of two different views of this third kind. One is Robert Kane's prominent view, and the other is the ‘daring libertarian’ view that I floated in Free Will and Luck. 3 (I labeled the view ‘daring’ to distinguish it from a more modest libertarian view that I floated a decade earlier.) 4 I say ‘floated’ because I am not a libertarian. I do not endorse incompatibilism; instead, I am agnostic about it. But if I were a libertarian, I would embrace my daring libertarian view (or DLV, for short). This article's thesis is that event-causal libertarians should prefer DLV to Kane's ‘dual or multiple efforts’ view. (shrink)

Drawing on theories related to interpersonal and intergroup behavior, this study investigated effects of personality traits (i.e., empathy and identity insecurity) and attitudes (i.e., anti-migration attitudes and social dominance orientation) on the perceived severity of digital hate against immigrants in Austria. Findings of autoregressive path modeling using two-wave panel data revealed that empathic suffering and egalitarianism positively predicted perceived severity, while anti-migrant attitudes exhibited a negative prediction. In terms of interactions between personality and attitudes, we observed that the prediction of (...) empathic suffering becomes less relevant for egalitarian individuals, which indicates an overwriting process that might be a promising way to counteract socially harmful digital hate perceptions. Implications for research on annotation tasks and hate interventions are discussed. (shrink)

What requirements must deflationary formal theories of truth satisfy? This chapter argues against the widely accepted view that compositional and Tarskian theories of truth are substantial or otherwise unacceptable to deflationists. First, two purposes that a formal truth theory can serve are distinguished: one descriptive, the other logical (i.e., to characterise the correctness of inferences involving ‘true’). The chapter argues that the most compelling arguments for the incompatibility of compositional and Tarskian theories concern descriptive theories only. -/- Second, two (...) requirements that any deflationist truth theory intended to serve a logical purpose must satisfy are put forward. These requirements, it is argued, suggest that (i) many well-known compositional and Tarskian theories are acceptable from a deflationist standpoint (including CT); (ii) certain other popular theories of truth (including KF and FS) are not similarly acceptable; (iii) there are no conclusive reasons to impose a conservativeness requirement on deflationary theories of truth. (shrink)

We will present a three-valued consequence relation for metainferences, called CM, defined through ST and TS, two well known substructural consequence relations for inferences. While ST recovers every classically valid inference, it invalidates some classically valid metainferences. While CM works as ST at the inferential level, it also recovers every classically valid metainference. Moreover, CM can be safely expanded with a transparent truth predicate. Nevertheless, CM cannot recapture every classically valid meta-metainference. We will afterwards develop a hierarchy of consequence relations (...) CMn for metainferences of level n. Each CMn recovers every metainference of level n or less, and can be nontrivially expanded with a transparent truth predicate, but cannot recapture every classically valid metainferences of higher levels. Finally, we will present a logic CMω, based on the hierarchy of logics CMn, that is fully classical, in the sense that every classically valid metainference of any level is valid in it. Moreover, CMω can be nontrivially expanded with a transparent truth predicate. (shrink)

A view among methodologists is that truth and convergence are related in such a way that scienti…c theories in their historical order of appearance contribute to the convergence to an ultimate ideal theory. It is not a fact that science develops accordingly but rather a hypothetical thought experiment to explain why science develops at all. Here, a simple formal model is presented for scrutinizing the relations between two truths and convergence.

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

As one of the most pivotal thinkers in the history Mahāyāna Buddhism, the writings of Nāgārjuna have long attracted the attention of scholars aiming to interpret in declarative terms the meaning of the arguments contained therein. However, the very aim of such an endeavor that seeks to ascribe to Nāgārjuna a philosophical position is fundamentally at odds with the unwaveringly critical nature of his project. In order to illustrate the singular character of Nāgārjuna’s methodology, this article seeks to clarify three (...) crucial points concerning his thought: (1) the central concept in his philosophical works, dependent origination (_pratītyasamutpāda_), ironically denotes the non-origination (_anutpāda_) of any entity (_bhāva_) whatsoever and is universal in scope; (2) emptiness (_śūnyatā_) is not a meaningful predicate of any entity, meaning that no entity exists that can be identified as being empty; and (3) the Two Truths (_satyadvaya_) are not a philosophically significant device for Nāgārjuna and subsequently do not provide a means by which to mitigate the radical consequences of his arguments. As a result, we can understand Nāgārjuna’s claim to have no postulative thesis (_pratijñā_) as a statement that he predicates no quality (_dharma_) of any subject (_dharmin_), and that his methodology is strictly critical, offering us no constructive theory by which to make sense of reality. (shrink)

Arguably, there is no substantial, general answer to the question of what makes for the approximate truth of theories. But in one class of cases, the issue seems simply resolved. A wide class of applied dynamical theories can be treated as two-component theories—one component specifying a certain kind of abstract geometrical structure, the other giving empirical application to this structure by claiming that it replicates, subject to arbitrary scaling for units etc., the geometric structure to be found in some real-world (...) dynamical phenomenon. In such a case, a theory is approximately true just if the one geometric structure approximately replicates the other (and if problems remain here, they are problems in geometry, of specifying suitable metric approximation relations, not conceptual problems). This article amplifies and defends this simple approach to approximate truth for dynamical theories. (shrink)

I present two counterexamples to the recently back-in-favour truth-tracking account of knowledge: one involving a true belief resting on a counterfactually robust delusion, one involving a true belief acquired alongside a bunch of false beliefs. These counterexamples carry over to a recent modification of the theory due to Briggs and Nolan (2012), and seem invulnerable to a recent defence of the theory against known counterexamples, by Adams and Clarke (2005).

In this paper I outline and defend a theory of immediate or foundational justification that I call "phenomenal reliabilism". This theory incorporates elements from Huemer’s theory of phenomenal conservatism and Comesaña’s indexical reliabilism. The basic idea of the theory I propose is that certain mental states contribute in a twofold way to the epistemic justification of beliefs, namely due to the way they determine how things seem to a subject and due to the fact that they (...) are actually reliable indicators of the truth of their contents. The first component allows this theory to accommodate internalist intuitions. The second component allows it to foster the connection between justification and truth without being subject to the counterexamples that plague simple or unqualified reliabilist theories. I also try to show that this theory is superior to rival theories that have been proposed in the literature, like Huemer’s theory itself (2001) or a process-reliabilist treatment of foundational justification as in Goldman (2008a). (shrink)

Realists regarding scientific knowledge – those who think that our best scientific representations truly describe both observable and unobservable aspects of the natural world – have special need of a notion of approximate truth. Since theories and models are rarely considered true simpliciter, the realist requires some means of making sense of the claim that they may be false and yet close to the truth, and increasingly so over time. In this paper, I suggest that traditional approaches to approximate truth (...) are insensitive to two crucial features of scientific knowledge, and that for each of these, analogies between representational practices in the sciences and in art prove useful to understanding how this situation can be remedied. First, I outline two distinct ways in which representations deviate from the truth, commonly referred to as ‘abstraction’ and ‘idealization’. Second, I argue that these practices exemplify different conventions of representation, and that for each, the conditions of approximation relevant to explicating the concept of approximate truth must be understood differently. The concept is thus heterogeneous; approximate truth is a virtue that is multiply realized, relative to different contexts of representation. This understanding is facilitated, I suggest, by considering the distinction between realistic and non-realistic representation in art. (shrink)

The paper identifies two major strands of truth theories, ontological and epistemological ones, and argues that both are of equal primacy and find their home within two-dimensional semantics. Contrary to received views, it argues further that epistemological truth theories operate on Lewisian possible worlds and ontological truth theories on Wittgensteinian possible worlds and that both are mediated by the so-called epistemic-ontic map the further specification of which is of utmost philosophical importance.

In this paper the authors recapitulate, justify, and defend against criticism the extension of the redundancy theory of truth to cover a wide range of uses of ‘true’ and ‘false’. In this they are guided by the work of A. N. Prior. They argue Prior was right about the scope and limits of the redundancy theory and that the line he drew between those uses of ‘true’ which are and are not susceptible to treatment via redundancy serves to (...) distinguish two important and mutually irreducible types of truth: redundancy truth and predicative truth. Only the latter serves for semantic theorizing. (shrink)

In a recent paper, Tristan Haze offers two examples that, he claims, are counterexamples to Nozick's Theory of Knowledge. Haze claims his examples work against Nozick's theory understood as relativized to belief forming methods M. We believe that they fail to be counterexamples to Nozick's theory. Since he aims the examples at tracking theories generally, we will also explain why they are not counterexamples to Dretske's Conclusive Reasons Theory of Knowledge.

In this article I contrast in two ways those conceptions of semantic theory deriving from Richard Montague's Intensional Logic (IL) and later developments with conceptions that stick pretty closely to a far weaker semantic apparatus for human first languages. IL is a higher-order language incorporating the simple theory of types. As such, it endows predicates with a reference. Its intensional features yield a conception of propositional identity (namely necessary equivalence) that has seemed to many to be too coarse (...) to be acceptable. In the most usual expositions, it takes the object of linguistic explication to be the sentence in a context, as in Kaplan, 1977. This last has led to recent speculations about 'shifted' contexts. IL may be contrasted with a more linguistically (representationally) bound conception of propositions and interpretation of their predicational and functional parts, and with the explication, not of sentences in contexts, but of potential utterances, relative to the antecedent referential intentions of their speakers. We may then advance, as an empirical hypothesis about all human languages, that contexts never shift, and propose that apparent counterexamples stem from the misconstrual of linguistically coded anaphoric relations, relations that are wanted independently anyway. Donald Davidson's posthumous volume Truth and Predication mounts a sustained criticism of the notion of predicate reference. This criticism is not decisive. However, it may put the ball in the other court, insofar as it asks for a justification of what IL takes as given. Elaborations of IL using structured propositions, recently defended in King, 2007, recognize the problem of predicate reference, and the correlative issue of the 'unity of the proposition'; but I do not see that they can do better than bite the bullet already bitten in IL. I agree with Frege's insight that full justification of predicate reference pushes the boundaries of natural language, and to that extent may not be found within the semantic (as opposed to general scientific) enterprise. (shrink)

This paper is part of a broader project whose aim is to present a coherent unified approach to natural language dialogue semantics using tools from type theory. Here we explore aspects of our approach which relate to situation theory and situation semantics. We first point out a relationship between type theory and the Austinian notion of truth. We then consider how records in type theory might be used to represent situations and how dependent record types can (...) be used to model constraints on situations. We then sketch treatments of attitude phenomena for which Barwise and Perry proposed situation semantic analyses (perception complements, belief, the Pierre puzzle) as well as two other intensional phenomena (intensional verbs and intentional identity). Finally we give a characterisation of the type theory used and a small illustrative fragment of English. (shrink)

The essay introduces a non-Diodorean, non-Kantian temporal modal semantics based on part-whole, rather than class, theory. Formalizing Edmund Husserl’s theory of inner time consciousness, §3 uses his protention and retention concepts to define a relation of self-awareness on intentional events. §4 introduces a syntax and two-valued semantics for modal first-order predicate object-languages, defines semantic assignments for variables and predicates, and truth for formulae in terms of the axiomatic version of Edmund Husserl’s dependence ontology (viz. the Calculus [CU] of (...) Urelements) introduced by The Ontology of Intentionality I & II. It then uses the §3 results to define the modalities of truth, and §5 extends the semantics to identity claims. §6 defines and contrasts synthetic a priori truths to analytic a priori truths, and §7 compares Brentano School noetic semantic and Leibnizian possible-world semantic perspectives on modality. The essay argues that the modal logics it defines semantically are two-valued, first-order versions of the type of language which Husserl viewed as the language of any ontology of experience (i.e. of any science), and conceived as the logic of intentionality. (shrink)

Presupposition, vagueness, and oddness can lead to some sentences failing to have a clear truth value. The homogeneity property of plural predication with definite descriptions may also create truth-value gaps: The books are written in Dutch is true if all relevant books are in Dutch, false if none of them are, and neither true nor false if, say, half of the books are written in Dutch. We study the projection property of homogeneity by deploying methods of general interest to identify (...) truth-value gaps. Method A consists in collecting both truth judgments and, independently, falsity judgments. The second method, employed in experiment series B and C, is based on one-shot ternary judgments: completely true vs. completely false vs. neither. After a calibration of these methods, we use them to demonstrate that homogeneity projects out of negation, the scope of universal sentences and the scope of non-monotonic quantifiers such as exactly two, to some extent. We assess our results in light of different theoretical approaches to homogeneity—approaches based on presuppositions, scalar implicatures, and something like supervaluations, respectively. We identify free parameters in these theories and assess various variants of them based on our results. Our experimental paradigms may be of broader significance insofar as they can be applied to other phenomena which result in the failure of a sentence to have a definite truth value. (shrink)

This paper critically discusses two points concerning some recent views about the concept of truth. Firstly, contrary to Davidson, it shows that meaning of sentences cannot be explicated by T-equivalences. In particular, “is true” is an extensional predicate, but “means that” an intensional one. Secondly, the minimalist account of truth does not provide a satisfactory analysis of the concept of falsity. In this respect, minimalism does not satisfy Russell’s claim that any adequate truth-theory must be a theory of (...) falsity as well. (shrink)

This article explores the epistemological ramifications of understanding Thomas Aquinas’ conception of truth in terms of a dynamic process of cognitive assimilation within the human psyche. In particular, the author addresses two potential pitfalls for his theory, namely ‘failed assimilation’ as the basis of false judgments and ‘negative assimilation’, i.e., correspondence to non-being: how is the human mind capable of assimilation to ‘nothing’ at all? Aquinas addresses these two problems in various passages throughout his works; the author connects and (...) reviews their arguments with regard to their philosophical cogency and attempts to answer the question of whether Aquinas ultimately succeeds in solving the several puzzles that ‘failed’ as well as ‘negative assimilation’ seem to create in his conception of truth. (shrink)

Substructural theories of truth are theories based on logics that do not include the full complement of usual structural rules. Existing substructural approaches fall into two main families: noncontractive approaches and nontransitive approaches. This paper provides a sketch of these families, and argues for two claims: first, that substructural theories are better-positioned than other theories to grapple with the truth-theoretic paradoxes, and second—more tentatively—that nontransitive approaches are in turn better-positioned than noncontractive approaches.

Søren Kierkegaard (1813–1855) and Friedrich Nietzsche (1844–1900) were two seminal 19th century thinkers, each of whom presented dramatically different theological and philosophical conceptions of Christianity and truth. Prior historical investigations into the relationship between these two individuals have problematised what was once a truism in Nietzsche (and Kierkegaard) studies whereby the younger Nietzsche was considered to have nil knowledge of the older Kierkegaard insofar as the former did not read the latter’s writings. Focusing on the topic of truth, this study (...) canvasses the historical literature on Nietzsche’s reception of Kierkegaard to evidence the various ways in which Nietzsche indeed may be said to have ‘known’ Kierkegaard, or at least to have become conversant with Kierkegaard’s thought at some level of awareness. However, despite evidence of Nietzsche having encountered the thought of Kierkegaard in general and Kierkegaard’s theory of truth in particular, this study will contend that such evidence for Nietzsche’s knowledge of Kierkegaard generates as many questions as answers for the historical inquirer. Of note, as Nietzsche inauspiciously did not, in unequivocal writing, address Kierkegaard, this study concludes by illustrating a central challenge confronting historians and historiographers intent on tracking these thinkers’ influence on theological truth claims without recourse to a primary literature. That is, without recourse to a literature in which Nietzsche autonomously responded to Kierkegaard regarding the topic of truth. (shrink)

In order to shed light on the question of whether reliabilism entails or excludes certain kinds of truth theories, I examine two arguments that purport to establish that reliabilism cannot be combined with antirealist and epistemic theories of truth. I take antirealism about truth to be the denial of the recognition-transcendence of truth, and epistemic theories to be those that identify truth with some kind of positive epistemic status. According to one argument, reliabilism and antirealism are incompatible because the former (...) takes epistemic justification to be recognition-transcendent in a certain sense that conflicts with the latter's denial of the recognition-transcendence of truth. I show that, because the recognition-transcendence of reliabilist justification is significantly weaker than the recognition-transcendence required by a realist conception of truth, antirealist theories of truth that deny the strong transcendence of truth do not threaten the externalist character of reliabilism. According to the second argument, reliabilism cannot be combined with an epistemic truth theory because reliabilists analyze positive epistemic status in terms of truth but epistemic theorists analyze truth in terms of positive epistemic status. However, I argue that reliabilists who wish to adopt an epistemic theory of truth can avoid circularity by appealing to a multiplicity of positive epistemic statuses. (shrink)

This article offers an exposition and critical discussion of the account of the truth of practical reason in the natural-law theory of Germain Grisez, Joseph Boyle, and John Finnis. The exposition rests mainly on an article published by these authors in 1987. There they argue that “true” is said of theoretical and practical knowledge in radically diverse senses. They also distinguish, within practical knowledge, between two kinds of truth, practical and moral. This distinction is tied to their understanding of (...) relations that obtain among the first principles of practical reason. The essay’s critical discussion raises problems for the account in all three areas and favors the view that “true” means the same for all knowledge. National Catholic Bioethics Quarterly 15.2 : 303–329. (shrink)

This paper was written with two aims in mind. A large part of it is just an exposition of Tarski's theory of truth. Philosophers do not agree on how Tarski's theory is related to their investigations. Some of them doubt whether that theory has any relevance to philosophical issues and in particular whether it can be applied in dealing with the problems of philosophy (theory) of science.In this paper I argue that Tarski's chief concern was the (...) following question. Suppose a language L belongs to the class of languages for which, in full accordance with some formal conditions set in advance, we are able to define the class of all the semantic interpretations the language may acquire. Every interpretation of L can be viewed as a certain structure to which the expressions of the language may refer. Suppose that a specific interpretation of the language L was singled out as the intended one. Suppose, moreover, that the intended interpretation can be characterized in a metalanguage L +. If the above assumptions are satisfied, can the notion of truth for L be defined in the metalanguage L + and, if it can, how can this be done? (shrink)

One of the most intuitive concepts of truth is the classical correspondence theory of truth. Aside from the theoretical cogency and plausibility, this truth theory has two fundamental problems. I shall explore both of these problems. This will not be to reveal the problematic nature of the classical correspondence theory of truth itself, but to demonstrate the implications it has on Islam. I shall establish that the problems of this truth theory contribute in the failure to (...) determine the truth of a particular notion of an Islamic God. Consequently this truth theory would prove inconsistent with a particular notion of God within the Islamic tradition. (shrink)

The identity theory of truth takes on different forms depending on whether it is combined with a dual relation or a multiple relation theory of judgment. This paper argues that there are two significant problems for the dual relation identity theorist regarding thought’s answerability to reality, neither of which takes a grip on the multiple relation identity theory.

In 1920 Łukasiewicz published a two-page article whose title was “On Three-valued Logic”. The paper proposes a semantic characterization for the logic that has been later called Ł3 . In spite of the shortness of the paper, all the important points concerning the semantics of Ł3 are already there and can be naturally generalized to the case of a generic number n of truth-values . The conclusion of the article is quite interesting:The present author is of the opinion that three-valued (...) logic has above all theoretical importance as an endeavour to construct a system of non-aristotelian logic. Whether the new system of logic has any practical importance will be seen only when the logical phenomena, especially those in the deductive sciences, are thoroughly examined, and when the consequences of the indeterministic philosophy, which is the metaphysical substratum of the new logic, can be compared with empirical data. (shrink)

In Michael Ruse's recent publications, such as Taking Darwin Seriously (1998) and Evolutionary Naturalism (1995), he has advocated a certain sort of evolutionary epistemology and has argued that it implies a rejection of metaphysical realism (MR) in favor of a position that he calls “internal realism” (IR). Additionally, he has maintained that, insofar as his evolutionary epistemology implies a rejection of MR in favor of IR, it escapes the kind of argument against naturalism that Alvin Plantinga makes in his Warrant (...) and Proper Function (1993). In this article I explain the relevant views and arguments of Ruse and Plantinga, and I critically engage with Ruse's views, arguing that (1) his case for rejecting MR has no essential connection to evolutionary considerations; (2) his case for rejecting MR depends upon internalist assumptions about the nature of knowledge that are in need of some kind of defense; and (3) given his implicit internalism and his commitment to IR, his argument for rejecting MR can be used against his IR. (shrink)

This papers deals with the class of axiomatic theories of truth for semantically closed languages, where the theories do not allow for standard models; i.e., those theories cannot be interpreted as referring to the natural number codes of sentences only (for an overview of axiomatic theories of truth in general, see Halbach[6]). We are going to give new proofs for two well-known results in this area, and we also prove a new theorem on the nonstandardness of a certain theory (...) of truth. The results indicate that the proof strategies for all the theorems on the nonstandardness of such theories are "essentially" of the same kind of structure. (shrink)

Misunderstanding occurs between speakers when they disagree about the meaning of words in use. In the case of truth-values, Frege took these to be referents of sentences which consist of classes of accepted (i.e. “true”) or rejected (i.e. “false”) sentences. From this usual depiction of truth and falsity, a general algebraic framework is proposed to systematize the use of truth-values from a dialogical point of view of logic. A special attention will be paid to two radically opposed pseudo-speakers: Heraclites and (...) Nagarjuna, according to whom truth-values respectively refer to everything or nothing. Finally, dialectical (pseudo-Hegelian) negation will be rendered as a very special function: an ontological object-forming operator, similar to the arithmetic successor-forming operator Sn+1(x) on integers and consistent within our generalized theory of truth-values as variable referents. (shrink)

one hand, it raises fundamental doubts about the Davidsonian project, which seems to involve isolating specifically semantic knowledge from any other knowledge or skill in a way reflected by the ideal of homophony. Indexicality forces a departure from this ideal, and so from the aspiration of deriving the truth conditions of an arbitrary utterance on the basis simply of axioms which could hope to represent purely semantic knowledge. In defence of Davidson, I argue that once his original idea for dealing (...) with the familiar indexical expressions is suitably implemented, in terms of theorems expressing conditional truth-conditions, the contrast between semantic and nonsemantic knowledge occurs in an appropriate place: between knowledge of the conditional truth conditions themselves (semantic), and knowledge of their antecedents (non-semantic). For example, a simplified version of a conditional truth condition for an utterance u of “That is a cat” will say that for all x, if the utterer in uttering “that” in u thereby referred to x, u is true iff x is a cat. The conditional fact belongs to semantic knowledge; non-semantic knowledge is required to work out what the utterer referred to; the two kinds of knowledge conspire to enable a truth condition to be detached. The other kind of worry relates to difficult technical questions, relating to specific idioms, raised by context-dependence. I consider whether an argument by Travis (2006), designed to establish that there can be no correct truth conditional semantics, can be turned on its head, and used to establish a general method for bringing all forms of context-dependence within Davidsonʼs framework (using quantification into the qualifier “on understanding U”). I argue that this will not work, and that we are committed to a piecemeal examination of various cases, of which I give some examples. One of these relates directly to Travisʼs argument concerning the context-dependence of “grunt”. In addition, Davidsonians need to have a sharp eye for the distinction between pragmatic and semantic content, to be specified by a test akin to Griceʼs notion of cancelability; they should treat sentences like “Itʼs raining” by the conditional truth-condition method; and they should treat possessives as semantically very unspecific. It is part of the thesis of the paper that this list of examples by no means exhausts the cases a Davidsonian needs to address. (shrink)

This chapter discusses formal theories of truth: the redundancy theory and its ilk, distinguished by the attempt to characterize truth in terms of its structural properties, in the context of the position adopted by Putnam in his John Dewey Lectures, here styled ‘Common-sense Realism’. This position is described, combining two principles called the Thesis of the Internality and the Thesis of World-Embeddedness, with a formal account of truth. It is argued that Common-sense Realism, along with all theories comprising a (...) formal account of truth, should be committed to the flames, because they are cut off from exploiting the Fregean model of meaning, based on a recursion on truth. (shrink)

A central concern of Joseph Heath's Communicative Action and Rational Choice is to find a plausible response to “the problem of convergence … to explain why we should ever expect to secure agreement on moral questions”. In Chapter 7 of his book, Heath proposes what he calls “a pragmatic theory of convergence.” This account is presented as contrasting with the one proposed by Jürgen Habermas, which emphasizes the existence of an internal relation between convergence and moral truth. According to (...) Habermas, there is a “connection … between moral cognitivism and the expectation of convergence”. One cannot take moral judgements to be amenable to rational justification unless one also assumes that an agreement among those participating in the discursive evaluation of that moral judgement is possible in principle. Heath considers this claim about a supposed internal connection as a remnant of foundationalism in Habermas's otherwise promissory contextualist account of moral justification. To reject non-cognitivism, according to Heath, we need not demonstrate that convergence on moral judgement is always forthcoming. It is enough to show that ordinary moral thinking takes moral claims as amenable to discursive justification. As to whether actual practices of discursive justification of moral claims will indeed end in agreement or convergence, a “wait and see” attitude seems all we can legitimately hope for. (shrink)