Using focus groups, this small-scale, qualitative study investigated the way that students tend to think about religious truth-claims as compared to other types of truth-claim. All the student participants conceived of religious truth-claims as ‘opinions’, to be contrasted with the certain, indisputable ‘facts’ of science. For many students, it was the lack of empirical verification, as well as the existence of disagreement, which meant religious beliefs were relegated to this position. If these findings are generalisable, then (...) there are implications for the ongoing theoretical dispute over the extent to which truth should be a focus in religious education. The tendency for students to see religious claims as subjective lends support for a critical pedagogy that places evaluation of truth centre-stage. The findings also suggest a need for religious education and science teachers to include more reflection on the nature of the scientific method in their schemes of work in order to dispel the myths of unanimity and certainty in science. (shrink)

In this work Ockham proposes a theory of simple predication, which he uses in explicating the truth conditions of progressively more complicated kinds of propositions. His discussion includes what he takes to be the correct semantic treatment of quantified propositions, past tense and future tense propositions, and modal propositions, all of which are receiving much attention from contemporary philosophers. He also illustrates the use of exponential analysis to deal with propositions that prove troublesome in both semantic theory and other (...) disciplines, such as metaphysics, physics, and theology. This type of analysis plays an essential role in his substantive philosophical and theological works, and in many cases then can hardly be understood without a prior acquaintance with this section of the Summa. An introduction by Alfred J. Freddoso clarifies and summarizes Ockham's theory, discusses certain philosophical problems which it engenders, and proposes new interpretations for parts of it. The essay will be helpful both to those interested in Ockham as a historical figure and to those interested in his substantive systematic contributions to logical theory. (shrink)

This book is a contribution to the flourishing field of formal and philosophical work on truth and the semantic paradoxes. Our aim is to present several theories of truth, to investigate some of their model-theoretic, recursion-theoretic and proof-theoretic aspects, and to evaluate their philosophical significance. In Part I we first outline some motivations for studying formal theories of truth, fix some terminology, provide some background on Tarski’s and Kripke’s theories of truth, and then discuss the prospects (...) of classical type-free truth. In Chapter 4 we discuss some minimal adequacy conditions on a satisfactory theory of truth based on the function that the truth predicate is intended to fulfil on the deflationist account. We cast doubt on the adequacy of some non-classical theories of truth and argue in favor of classical theories of truth. Part II is devoted to grounded truth. In chapter 5 we introduce a game-theoretic semantics for Kripke’s theory of truth. Strategies in these games can be interpreted as reference-graphs of the sentences in question. Using that framework, we give a graph-theoretic analysis of the Kripke-paradoxical sentences. In chapter 6 we provide simultaneous axiomatizations of groundedness and truth, and analyze the proof-theoretic strength of the resulting theories. These range from conservative extensions of Peano arithmetic to theories that have the full strength of the impredicative system ID1. Part III investigates the relationship between truth and set-theoretic comprehen- sion. In chapter 7 we canonically associate extensions of the truth predicate with Henkin-models of second-order arithmetic. This relationship will be employed to determine the recursion-theoretic complexity of several theories of grounded truth and to show the consistency of the latter with principles of generalized induction. In chapter 8 it is shown that the sets definable over the standard model of the Tarskian hierarchy are exactly the hyperarithmetical sets. Finally, we try to apply a certain solution to the set-theoretic paradoxes to the case of truth, namely Quine’s idea of stratification. This will yield classical disquotational theories that interpret full second-order arithmetic without set parameters, Z2- . We also indicate a method to recover the parameters. An appendix provides some background on ordinal notations, recursion theory and graph theory. (shrink)

This paper argues that there are two camps in narrative theology, "pure" (e.g., Hans Frei) and "impure" (e.g., Paul Ricoeur) narrative theologians. Narrative theology, reflection on religious claims embedded in stories, is one of the most significant currents of late twentieth century thought. H. Richard Niebuhr initiated the conversation when he wrote in 1941 of "The Story of Our Lives." If his theme lay undeveloped for several decades, it burst onto the theological scene in the early 1970s. Demurrers followed, and (...) we now recognize the limits of the metaphor" narrative." Still, scholarly interest has not waned. Books and articles keep coming: on narrative in the Bible, narrative and theology, narrative and morality, narrative tradition, narrative practice, even narrative truth. The conversation, it appears, is as lively as ever. And if it has produced lasting contributions, it is because of the quality of the minds it has managed to attract: Paul Ricoeur, Hans Frei, David Tracy, George Lindbeck, Stanley Hauerwas, Julian Hartt, Sallie McFague, Johann Baptist Metz. (shrink)

This paper is concerned with the interaction between formal semantics and the foundations of mathematics. We introduce a formal theory of truth, TLR, which extends the classical first order theory of pure combinators with a primitive truth predicate and a family of truth approximations, indexed by a directed partial ordering. TLR naturally works as a theory of partial classifications, in which type-free comprehension coexists with functional abstraction. TLR provides an inner model for a well known subsystem of (...) second order arithmetic; indeed, TLR is proof-theoretically equivalent to Predicative Analysis. (shrink)

Martin Heidegger devotes extensive discussion to medieval philosophers, particularly to their treatment of Truth and Being. On both these topics, Heidegger accuses them of forgetting the question of Being and of being responsible for subjugating truth to the modern crusade for certainty: ‘truth is denied its own mode of being’ and is subordinated ‘to an intellect that judges correctly’. Though there are some studies that discuss Heidegger’s debt to and criticism of medieval thought, particularly that of Thomas (...) Aquinas, there is no constructive reply to his assertions. As a result, Heidegger’s critique had an unprecedented effect on the credibility of medieval philosophy, whereby great portions of the philosophical community dismiss it altogether as an illegitimate Onto‐Theology. It is the aim of this study to offer a constructive reply that will fundamentally grapple with these allegations. By constructive reply we mean not only a reply that avoids the problems Heidegger raises regarding existence, essence and truth, but more importantly, one that uses Heidegger’s criticism in order to present a more insightful account of these notions. The present study is composed of two parts where the second serves as a sort of addendum. The first part, the core of this study, is an attempt to develop an understanding of the distinction between essence and existence that, on the one hand, accords with Heidegger’s criticism while on the other hand advances our understanding of how we think and understand reality. After presenting Heidegger’s depiction of Aquinas’s distinction between essence and existence (esse) as a real distinction, the study will present several views propounded by scholars of Aquinas regarding the status of this distinction. It will be argued that it is not clear whether the distinction is real, formal or conceptual, and that different types of distinction are applied in different places, particularly in regard to the phantasm that Aquinas considers essential to the human act of thinking. The second part diverges from the first part and focuses on Heidegger’s criticism of Aquinas’s conception of truth as adequation, i.e., what it is that grounds the possibility of truth as adequation. This divergence is necessary in order to present a full metaphysical response to Heidegger’s criticism. Since the aim of the present study is to argue that Aquinas’s philosophical system can contend with Heidegger’s criticism, a partial reply would greatly diminish its effectiveness. (shrink)

Studies the threefold hierarchy of certainty, from its origins in Mahāyāna Buddhism, through Islam, to 17th century China. This tripartite scheme may be traced back to the ancient Buddhist scheme of the threefold wisdom as systematized by Vasubandhu of Gandhāra in the 4th-5th centuries CE. Following the advent of Islam in the 8th century, it was combined with Qur'anic notions of certainty. Initially taken up by early Islamic mystics such as Sahl al-Tustarī and al-Ḥākim al-Tirmiḏī, the notion of yaqīn was (...) gradually systematized into the three-level hierarchy of “knowledge or science of certainly”, “essence” of certainty, and “truth or reality of certainty”, a hierarchy that bears a distinct resemblance to the Buddhist threefold path of wisdom as discussed by Marc-Henri Deroche. Half a millennium later, this threefold hierarchy of levels of certainty, remotely inspired by Buddhism and integrated into the philosophical Sufism of Ibn ʿArabī and his Persian disciple Jāmī, this complex of ideas may have resurfaced in 17th century China. (shrink)

In VAGUENESS AND DEGREES OF TRUTH, Nicholas Smith develops a new theory of vagueness: fuzzy plurivaluationism. -/- A predicate is said to be VAGUE if there is no sharply defined boundary between the things to which it applies and the things to which it does not apply. For example, 'heavy' is vague in a way that 'weighs over 20 kilograms' is not. A great many predicates -- both in everyday talk, and in a wide array of theoretical vocabularies, from (...) law to psychology to engineering -- are vague. -/- Smith argues, based on a detailed account of the defining features of vagueness, that an accurate theory of vagueness must involve the idea that truth comes in degrees. The core idea of degrees of truth is that while some sentences are true and some are false, others possess intermediate truth values: they are truer than the false sentences, but not as true as the true ones. Degree-theoretic treatments of vagueness have been proposed in the past, but all have encountered significant objections. In light of these, Smith develops a new type of degree theory. Its innovations include a definition of logical consequence that allows the derivation of a classical consequence relation from the degree-theoretic semantics, a unified account of degrees of belief and their relationships with degrees of truth and subjective probabilities, and the incorporation of semantic indeterminacy -- the view that vague statements need not have unique meanings -- into the degree-theoretic framework. -/- As well as being essential reading for those working on vagueness, Smith's book provides an excellent entry-point for newcomers to the area -- both from elsewhere in philosophy, and from computer science, logic and engineering. It contains a thorough introduction to existing theories of vagueness and to the requisite logical background. (shrink)

Modern science is big business. Governments, universities, and corporations have invested billions of dollars in scientific and technological research in the hope of obtaining power and profit. For the most part, this investment has benefited science and society, leading to new discoveries, inventions, disciplines, specialties, jobs, and career opportunities. However, there is a dark side to the influx of money into science. Unbridled pursuit of financial gain in science can undermine scientific norms, such as objectivity, honesty, openness, respect for research (...) participants, and social responsibility. In The Price of Truth, David B. Resnik examines some of the important and difficult questions resulting from the financial and economic aspects of modern science. How does money affect scientific research? Have scientists become entrepreneurs bent on making money instead of investigators searching for the truth? How does the commercialization of research affect the public's perception of science? Can scientists prevent money from corrupting the research enterprise? What types of rules, polices, and guidelines should scientists adopt to prevent financial interests from adversely affecting research and the public's opinion of science? (shrink)

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

It is a fundamental intuition about truth that the conditions under which a sentence is true are given by what the sentence asserts. My aim in this paper is to show that this intuition captures the concept of truth completely and correctly. This is conceptual deflationism, for it does not go beyond what is asserted by a sentence in order to define the truth status of that sentence. This paper, hence, is a defense of deflationism as a (...) conceptual account of truth. This defense is developed in four stages. In the first stage I present a distinction between two types of deflationism, conceptual and metaphysical. This is the central stage of the argument and its main conclusion is that conceptual deflationism when joined with the principle of bivalence is inconsistent with metaphysical deflationism, that is, conceptual deflationism together with bivalence entails a non-deflationary metaphysical account of truth. In the second and third stages of the argument I argue that the totality of the Tarskian biconditionals, when interpreted as definitional biconditionals, offers a description of the nature of truth. In the fourth, and final, stage of the argument I advance a positive case for conceptual deflationism. I explain how the revision theory of truth provides this sort of deflationism with its best evidence: a clear demonstration of its consistency and a compelling argument for its material adequacy. (shrink)

An examination of conditionals in di¤erent languages leads to a distinction of three types of conditionals instead of the usual two (indicative and subjunctive). The three types can be explained by the degree of acceptance or as-if acceptance of the truth of the antecedent. The labels subjunctive and indicative are shown to be inadequate. So-called indicative conditionals comprise two classes, the very frequent uncertain-fact conditionals and the quite rare accepted-fact conditionals. Uncertain-fact conditionals may have a time shift (...) in contemporary English and the future subjunctive in Portuguese (though not all of them do). Moreover, paraphrases of if with in case or supposing are usually possible with approximately the same meaning. Accepted-fact conditionals never have these features. (shrink)

Definitional and axiomatic theories of truth -- Objects of truth -- Tarski -- Truth and set theory -- Technical preliminaries -- Comparing axiomatic theories of truth -- Disquotation -- Classical compositional truth -- Hierarchies -- Typed and type-free theories of truth -- Reasons against typing -- Axioms and rules -- Axioms for type-free truth -- Classical symmetric truth -- Kripke-Feferman -- Axiomatizing Kripke's theory in partial logic -- Grounded truth -- Alternative (...) evaluation schemata -- Disquotation -- Classical logic -- Deflationism -- Reflection -- Ontological reduction -- Applying theories of truth. (shrink)

Problem of truth and reality is age old in the field of philosophy as well as in the field of science. People very often confuse between ‘Truth’ and ‘Reality’ Most people think them to be one and the same, but there are differences. Whatever exist is real, reality and existence are interchangeable words. We can say truth, which is unchangeable and reality, which exist but change. False, which is not exist at all. People have suggested various taste (...) to decide the truth falsity of our description of reality. Some suggested Pragmatic theory and some other have suggested Coherence as a test of truth. Realism is also an ontological theory and has been probably the most ancient one. According to ancient man, real is that which perceived. Latter on, due to religious impact the knower became more important then the knowing object. Barkeley developed an extreme position that the objective material world does not exist at all. Dewey has developed the position called Instrumentalism. Halt, Perry, Marvin, Pitkin are the chief advocates of this position. Philosophers such as Darke, Lovejoy, Cellars, and Santayana held a position of Critical Realism. These people hold that mind does not see the object directly as they are but only through their representatives, as regards the object of knowledge is concerned, the Neo Realist are monist while Critical Realist are dualist. Indian rationalist philosopher Dr. D.D. Bandiste introduces a new concept of reality Radical Realism. He proved that knowledge change the knower not the object. to him every new knowledge make some change or other inthe knowing person. Epistemological position of john Dewey called instrumentalism. According to him knowledge is an instrument of action and a meaningful action is always of a problem-solving type. Every knowledge is an instrument to serve some need or other, neither is any knowledge final, nor is any truth final. Not only everything in the world is changing, their mutual relations also change. Knowledge is not a goal, but only a instrument to achieve this or that goal. In my paper I haves discussed various theories regarding whether knowledge change the object known. In this contest I have discussed varieties of realism, Idealismand so on, but importantly I have also discussed a new theory Radical Realism. (shrink)

How can the presence of truth in art be philosophically justified? A fundamental question that can be answered in the wisdom of Mullā Ṣadrā, one of the most important philosophers of Islam. The importance of the question of the relationship between art and truth arises from the state of art in the present era. In fact, the degradation of reason in front of feeling from the nineteenth century until today has made the field of arts devoid of any (...) representation of the truth and caused the importance and originality of finding pleasure or evoking feelings in the arts. Therefore, with a philosophical approach and relying on the descriptive-analytical method, at first, it described the fundamental of truth and delusion, the unity of the world, and the known, practical reason and the function of imagination in shaping intellectual concepts based on Mullā Ṣadrā’s views, and then with relying on those principles, he has examined the formation of truth-based works of art. The most important conclusion of the article is that art is not the only product of the feelings and taste of its creator; Rather, the artist, in his understanding of the truth, prepares the ground for its manifestation in the work of art. With this characteristic, art finds a form of rational knowledge, and symbolic and mystical arts are among the most important examples of this type of artistic creation. (shrink)

Recalling the Greek origins of philosophy and its attachment to science as universal knowledge: “thinking and being are one”. Contrast with the challenge of Levinas’ conception of philosophy as significance of signification via encounter with irreducible alterity of the vulnerable other person through moral responsibility. Challenge to science as first philosophy by ethics – morality and justice – as first philosophy. The intelligibility of the latter explicated in terms of the “saying” of the “said”, i.e., the origination of meaning in (...) the moral communication situation of the face-to-face. Thus science, knowledge, truth, unable to ground themselves by themselves, receive grounding – justification – in ethics. (shrink)

The fact that the names of two philosophers who lived and worked in such different periods, under conditions of quite dissimilar cultures and civilizations, share the title of this article is in itself enough to require clarification. Nikolai Berdiaev, who belonged to a current of Russian philosophy that called itself mystical, hardly needs to be presented to the reader. Muhyiuddin ibn-'Arabi , the greatest mystic of the Arab Middle Ages, is known as the founder of a philosophical conception that was (...) later referred to as the "unity of being" and enjoyed broad popularity among Islamic thinkers, philosophers, and poets of the late Middle Ages. Moreover, motifs of this conception are not difficult to find in the works of contemporary literati enthralled by the ideas of Islamic mysticism, i.e., of Sufism. Hence these two outstanding figures can be compared on the common ground that they belonged to the current of philosophical thought of mankind that is called mysticism or mystical philosophy. Despite all the differences that doubtlessly exist among Russian, Arabic, and, let us say, European mysticism, there are also certain fundamental common features of this way of looking at the world that enable us to bring all these currents together under a single generic concept. (shrink)

The paper seeks to specify how, according to Plato’s Sophist, true statements achieve their being about objects and their saying that ‘what is about such objects is’. Drawing on the 6th definition of the sophist, I argue for a normative-teleological conception of truth in which the best condition of our soul –in its making statements or having mental states– consists in its seeking to attain the telos of truth. Further, on the basis of Plato’s discussion of original and (...) image, his distinction between correct and incorrect image, and the 7th definition, I argue that achieving the telos of truth involves preserving the original’s proportions and appropriate features. The view that Plato’s conception of truth takes statements or mental states to be certain types of image is not ground-breaking. The important contribution of my argument is that it offers a plausible way to understand two recalcitrant claims made by Plato: first, that falsity obtains not only in the region of incorrect images (appearances) but also within correct images (likenesses); second, that some incorrect images are based on knowledge and so could be true. (shrink)

Traditional correspondence theory of truth with the concept of fact encounters many serious difficulties, main one of which is that it is too difficult to explain clearly the concept of ‘fact’ and how propositions ‘correspond’ to facts. This does not mean that we should abandon the traditional correspondence theory of truth and turn to some other type theories of truth. In order to guarantee the objectivity of truth, any reasonable theory of truth must adhere to (...) the core insight of the traditional correspondence theory: it is not something in our language, nor in our mind, but something in the external world, that make the propositions we use to describe the states of affairs in the world either true or false. It is entirely possible to formulate a new correspondence theory of truth without the concept of fact but still adhering to the core insights mentioned above of the traditional correspondence theory. New correspondence theory of truth has its own metaphysical and epistemological assumptions, and also its assumption in the philosophy of language. Because of the generativity of language, in defining the concept of truth, the new correspondence theory of truth must resort to Tarskian recursive procedure. First, it gives the semantic value of the components of a proposition, defines the truth of its atomic propositions, then gradually defines the truth of its more and more complex propositions and finally of the whole proposition. Coherence is the intrinsic element of truth. The concept of truth is by no means trivial and insignificant; on the contrary, it is very substantive. The pursuit of truth is our mission. (shrink)

This paper presents a conception of corruption informed by epistemic democratic theory. I first explain the view of corruption as a disease of the political body. Following this view, we have to consider the type of actions that debase a political entity of its constitutive principal in order to assess corruption. Accordingly, we need to consider what the constitutive principle of democracy is. This is the task I undertake in the second section where I explicate democratic legitimacy. I present democracy (...) as a procedure of social inquiry about what ought to be done that includes epistemic and practical considerations. In the third section, I argue that the problem of corruption for a procedural conception of democracy is that the epistemic value of the procedure is diminished by corrupted agents’ lack of concern for truth. Corruption, according to this view, consists in two deformities of truth: lying and bullshit. These deformities corrupt since they conceal private interests under the guise of a concern for truth. In the fourth section, I discuss the difficulties a procedural account may face in formulating solutions to the problem of corruption. (shrink)

T-biconditionals have often been regarded as insufficient as axioms for truth. This verdict is based on Tarski’s observation that the typed T-sentences suffer from deductive weakness. As indicated by McGee, the situation might change radically if we consider type-free disquotational theories of truth. However, finding a well-motivated set of untyped T-biconditionals that is consistent and recursively enumerable has proven to be very difficult. Moreover, some authors ) have argued that any solution to the semantic paradoxes necessarily involves ‘inflationary’ (...) means, thus spelling doom to deflationist and minimalist truth theories in particular. The situation is indeed worrisome as formal theories of minimalist truth are missing so far. This makes it very hard to properly evaluate the tenets of minimalism. In the present article, we will show how to find safe instances of the T-schema just by relying on syntactic features of the sentences of our language—in particular, we will explore Quine’s idea of stratification. Based on that, we will introduce some disquotational truth theories that are deductively very strong. (shrink)

Truth is often considered to be a logico-linguistic tool for expressing indirect endorsements and infinite conjunctions. In this article, I will point out another logico-linguistic function of truth: to enable and validate what I call a blind argument, namely, an argument that involves indirectly endorsed statements. Admitting this function among the logico-linguistic functions of truth has some interesting consequences. In particular, it yields a new type of so-called conservativeness argument, which poses a new type of threat to (...) deflationism about truth. (shrink)

It is well known that the process of scientific inquiry, according to Peirce, is drivenby three types of inference, namely abduction, deduction, and induction. What isbehind these labels is, however, not so clear. In particular, the common identificationof abduction with Inference to the Best Explanation (IBE) begs the question,since IBE appears to be covered by Peirce's concept of induction, not that of abduction.Consequently, abduction ought to be distinguished from IBE, at least on Peirce's account. The main aim of the (...) paper, however, is to show that this distinction is most relevant with respect to current problems in philosophy of science and epistemology (like attempts to supply suitable notions of realism and truth as well as related concepts like coherence and unification). In particular, I also try to show that (and in what way) Peirce's inferential triad can function as a method that ensures both coherence and correspondence. It is in this respect that his careful distinction between abduction and induction (or IBE) ought to be heeded. (shrink)

This article consists of three parts, two introductory, in which the limits and the methods of analysis of dialogues are expounded, and the major part, in which the main features of a philosophical theory of disputation are outlined.It was an essential aim of the philosophical analysis of argumentative dialogues to develop tools of substantiation for cases in which logic doesn't help any more. In the first part of this paper I show that such tools can and will be developed only (...) by analyzing argumentations (“argumentation” in the sense of a monologue in which arguments for a thesis are brought forward), and that the analysis of argumentative dialogues doesn't contribute anything to the development of such tools.The systematically first task of the philosophical analysis of dialogues consists in understanding the general practical aims of philosophically interesting types of dialogue. Only subsequently the rules of the dialogue can be reconstructed as good means for reaching these aims. Dialogical games constructed without referring to such a purpose are externally senseless and useless.The third part is an outline of a philosophical theory of disputation (“disputation” here will mean: (learned) dialogue in which the participants cooperatively though perhaps controversially attempt to find out by means of arguments and mutual criticism whether a thesis is true or false). Disputations contain argumentations, and many functions of a disputation can also be fulfilled by argumentations alone. Certifying the truth of convictions is the specific aim of disputation. This is accomplished by eliminating errors of substantiation and foundation as effectively as possible, in revising false convictions and their foundations, thereby making the remaining convictions more certain. Based on this analysis of the aim of disputation, the basic rules of disputations will be critically reconstructed: possible moves, rules of sequence, and the internal aim and ends of disputations. (shrink)

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)

Freedom interpreted as absence of restraints, as such, is a vacuous ideal. It requires reference to some setting and course of action in order to distinguish those restraints that block human effort from those, say, that support it. More broadly, this notion of freedom has little meaning and less value without some external criterion for evaluating human action and its conditions. Many thinkers have argued that the. criterion must be the absolute Truth ? truth that is unconditioned, indubitable, (...) and imperative. They have often argued that there is no freedom of error, and that the many persons who do not know such Truth are free only in obeying the few who do. This concept of freedom is often regarded as intolerable. A third possibility is to interpret freedom as a name for a range of significant alternatives for thought and action. Freedom, here, is compatible with truth interpreted in terms of the process of inquiry, rather than as substantive possession. It is a necessary condition for judging which restraints are real obstacles and which courses of action may be harmless, legitimate or good. The third meaning, especially, is illustrated with reference to the freedoms of utterance (expression) and speech (communication). (shrink)

We present an overview of typed and untyped disquotational truth theories with the emphasis on their (non)conservativity over the base theory of syntax. Two types of conservativity are discussed: syntactic and semantic. We observe in particular that TB—one of the most basic disquotational theories—is not semantically conservative over its base; we show also that an untyped disquotational theory PTB is a syntactically conservative extension of Peano Arithmetic.

It is well known that the process of scientific inquiry, according to Peirce, is drivenby three types of inference, namely abduction, deduction, and induction. What isbehind these labels is, however, not so clear. In particular, the common identificationof “abduction” with “Inference to the Best Explanation” (IBE) begs the question,since IBE appears to be covered by Peirce's concept of induction, not that of abduction.Consequently, abduction ought to be distinguished from IBE, at least on Peirce's account. The main aim of the (...) paper, however, is to show that this distinction is most relevant with respect to current problems in philosophy of science and epistemology (like attempts to supply suitable notions of realism and truth as well as related concepts like coherence and unification). In particular, I also try to show that (and in what way) Peirce's inferential triad can function as a method that ensures both coherence and correspondence. It is in this respect that his careful distinction between abduction and induction (or IBE) ought to be heeded. (shrink)

In this paper I address the question 'How is knowledge of logical truths possible'. The sought-after explanation should be independent of what the true story about logical truth is. In particular, I try to account for the epistemic warrant that is conferred upon logical beliefs when they are neither inferred from other beliefs nor grounded on empirical evidence or testimony. The need for such an account is motivated by the apparent failure of the notions ofanalyticity on the one hand (...) and intuition on the other in addressing the relevant question. I end up defending an account according to which warranted logical beliefs can be grounded on pure reasoning: they can be inferentially formed on the basis of pieces of suppositional reasoning. (shrink)

Abstract:The goal of this article is to examine some differences between two types of incompatibilism, concerning, on the one hand, incompatibilism about free will and past causes, and, on the other, incompatibilism concerning free will and past divine beliefs or past truths about future actions. On standard conceptions, determinism comes relatively cheap. On van Inwagen's explication, all that is required is that truths about our actions are implied by appropriate descriptions of the past and the laws. Here, the author (...) proposes a more robust notion of determinism and explore some of its consequences for the free will debate. (shrink)

The symposium »Does the Concept of ›Truth‹ Have Value in the Pursuit of Cross-Cultural Philosophy?« hones on a methodological question which has deep implications on doing philosophy cross-culturally. Drawing on early Confucian writers, the anchor, Henry Rosemont, Jr., attempts to explain why he is skeptical of pat, affirmative answers to this question. His co-symposiasts James Maffie, John Maraldo, and Sonam Thakchoe follow his trail in working out multi-faceted views on truth from Mexican, Japanese Confucian, and Tibetan Buddhist perspectives (...) respectively. As these positions substantiate, the aforementioned non-Anglo-European traditions seem to draw on an integrated view of thinking, feeling, and living a human life. For their practitioners, truth is less of a correspondence with a given external reality. In fact, it enables human beings to strike the right path in living good, social lives. (shrink)

A statement is said to be true when the historic state of affairs to which it is correlated by the demonstrative conventions (the ones to which it ‘refers’) is of a type with which the sentence used in making it is correlated by the descriptive conventions.

Quentin Smith has argued that the new tenseless theory of time is faced with insurmountable problems and should be abandoned in favour of the tensed theory of time. Smith;s main argument attacks the fundamental premise of the tenseless theory: that tenseless truth conditions for tokens of tensed sentences adequately capture the meaning of tensed sentences. His position is that tenseless truth conditions cannot explain the logical relations between tensed sentences, thus the tensed theory must be accepted. Against Smith, (...) this paper adopts an alternative approach to the explanation of the entailment relations between sentences which contain indexicals. The approach drops the reliance upon tokens and instead relies on the evaluation of sentence types with respect to a context rather than upon actual or possible utterances of tokens of the types. This (new) version of the tenseless theory of time can adequately explain the relevant entailment relations between tensed sentences. (shrink)

A strong case can be made that Peirce’s formal rhetoric is primarily a theory of inquiry. Peirce’s convergence theory of truth requires a community of inquiry enduring indefinitely over time. Such a community, then, must promote “solidarity” in Peirce’s terms, a consistent practice of cooperation among inquirers over generations. One of the tasks of his formal rhetoric, then, is to analyze the conditions for solidarity. Using Peirce’s framework of a belief-desire model for practical action, solidarity can be promoted if (...) there are commonly desired ends and a consensus of beliefs about the best means to attain those ends in inquiry. Peirce recognizes, however, that the community of inquiry is constituted with different types of inquirers who have different purposes for inquiry. He divides them among the “pure” theoretical scientists, applied scientists and practical inquirers – the general public – who are interested in the practical applications that can bring betterment to their lives. It is argued here that Peirce’s apparent inconsistencies concerning the role and purpose of science can be attributed to cautions addressed to each of these different audiences. The remainder of the paper explores the problematics of solidarity in a community of inquirers who have different ends for inquiry, and how Peirce attempts to address the puzzles and paradoxes that result. (shrink)

In this paper I am going to inquire to what extent the main requirements of a minimalist theory of truth and falsity (as formulated, for example, by Horwich and Field) can be consistently implemented in a formal theory. I will discuss several of the existing logical theories of truth, including Tarski-type (un)definability results, Kripke’s partial interpretation of truth and falsity, Barwise and Moss’ theory based upon non-well-founded sets, McGee’s treatment of truth as a vague predicate, and (...) Hintikka’s languages of imperfect information, to see which axioms of the minimalist theory they satisfy or fail to satisfy. Finally, I will discuss the relation between the minimalist program and compositionality. (shrink)

Deflationism about truth describes truth as a logical notion. In the present paper, I explore the implication of the alleged logicality of truth from the perspective of axiomatic theories of truth, and argue that the deflationist doctrine of the logicality of truth gives rise to two types of self-undermining arguments against deflationism, which I call the conservativeness argument from logicality and the topic-neutrality argument.

Consider the following 'principles':2(Norm of Belief Schema) Necessarily, a belief of is correct (relative to some scenario) if and only if p (at that scenario) — where 'p' has the aforementioned content .(Generalized Norm of Belief) Necessarily, for all propositions , a belief of is correct (relative to some scenario) if and only if is true (at that scenario).Both 'principles' appear to capture the aim(s) of belief. (NBS) particularizes the aims to beliefs of distinct content-types. (GNB) generalizes these aims (...) of beliefs as truth. Properly understood, the instances of (NBS) appear to be at least approximately true as does (GNB). Of course, one might harbor concerns about whether these are mere .. (shrink)