Book reviewed:;Jerrold J. Katz, Sense, Reference, and Philosophy.

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

This paper argues that a certain type of self-referential sentence falsifies the widespread assumption that a declarative sentence's meaning is identical to its truth condition. It then argues that this problem cannot be assimilated to certain other problems that the assumption in question is independently known to face.

Kilimanjaro is an example of what some philosophers would call a ‘vague object’: it is only roughly 5895 m tall, its weight is not precise and its boundaries are fuzzy because some particles are neither determinately part of it nor determinately not part of it. It has been suggested that this vagueness arises as a result of semantic indecision: it is because we didn’t make up our mind what the expression “Kilimanjaro” applies to that we can truthfully say such things (...) as “It is indeterminate whether this particle is part of Kilimanjaro”. After reviewing some of the limitations of this approach, I will propose an alternative account, based on a new semantic relation—multiple reference—capable of holding in a one-many pattern between a term and several objects in the domain. I will explain how multiple reference works, what differentiates it from plural reference and how it might be used to accommodate at least some aspects of our ordinary discourse about vague objects. (shrink)

In this paper, I revisit Frege's theory of sense and reference in the constructive setting of the meaning explanations of type theory, extending and sharpening a program–value analysis of sense and reference proposed by Martin-Löf building on previous work of Dummett. I propose a computational identity criterion for senses and argue that it validates what I see as the most plausible interpretation of Frege's equipollence principle for both sentences and singular terms. Before doing so, I examine Frege's implementation of his (...) theory of sense and reference in the logical framework of Grundgesetze, his doctrine of truth values, and views on sameness of sense as equipollence of assertions. (shrink)

I here investigate the sense in which diagonalization allows one to construct sentences that are self-referential. Truly self-referential sentences cannot be constructed in the standard language of arithmetic: There is a simple theory of truth that is intuitively inconsistent but is consistent with Peano arithmetic, as standardly formulated. True self-reference is possible only if we expand the language to include function-symbols for all primitive recursive functions. This language is therefore the natural setting for investigations of self-reference.

Truth seems to be an indispensable element of authority which presents itself as being based on more than just power and efficiency. In the domain of law,there is not only and primarily the problem of establishing the truth about the facts which are to be judged; there is also the problem of norms—does their authority rest solely on the act of establishing them, or is there “something behind”, a truth which contributes to the strength of law, and (...) which provides legitimacy to both legislator and to the legal norms themselves. In theoretical reflection, the very possibility of talking about true norms or true evaluations is under challenge, and this view dominates in the academic education of lawyers and other professionals. At the basis of this project lies the conviction that the problem of true norms, and the more general problem of the place of truth in law, is worth re-examining. In the course of such a re-examination, it is also worth returning to certain points in the tradition of thinking about the foudations of law. In the tradition recalled by the papers presented here—by both Italian and Polish authors—a prominent place is occupied by Polish thinkers such as Leon Petrażycki, Czesław Znamierowski, and Zygmunt Ziembiński. The book consists of three major parts. The titles—Tradition, Theory, Practice mark important points of reference in the reflection on truth in the context of law. The contributions relate to these points in different degrees, and each, though placed in one of these parts, also refer to the others. (shrink)

My goal is to illuminate truth-making by way of illuminating the relation of making. My strategy is not to ask what making is, in the hope of a metaphysical theory about is nature. It's rather to look first to the language of making. The metaphor behind making refers to agency. It would be absurd to suggest that claims about making are claims about agency. It is not absurd, however, to propose that the concept of making somehow emerges from some (...) feature to do with agency. That's the contention to be explore in this paper. The way to do this is through expressivism,. Truth-making claims, and making-claims generfally, are claims in which we express mental states linked to our maipulation of concepts, like truth. In particular, they express disposition to undertake derivations using inference rules, in which introduction rules have a specific role. I then show how this theory explains our intuitions about truth's asymmetric dependence on being. (shrink)

The aim of this paper is to present an interpretation of Shepherd’s account of our most fundamental cognitive powers, most especially the faculty that Shepherd calls perception, which she claims is a unity of contributions from the understanding and the senses. I find that Shepherd is what we would nowadays call a meaning holist: she holds that the meaning of any natural-kind term is constituted by its place in a system of definitions, which system specifies the causal roles of the (...) objects its terms name. Such an account of meaning raises questions about the contact that such a system of definitions, or conceptual scheme, makes with the world. The natural place to seek answers to these questions is in Shepherd’s account of perception, which I argue Shepherd takes to be our most fundamental cognitive faculty. Our cognitive lives begin with perceptions, representations of objects as the cause of those very perceptions of them. With this interpretation in hand, I draw a contrast between it and Boyle’s and Lolordo’s recent work on Shepherd’s theory of meaning. I argue that for Shepherd truths about the causal powers of objects are analytic, and that the relevant empirical questions answered by science concern whether our conceptual scheme accurately represents the world. Finally, I provide additional support for this interpretation by showing that it comports with Shepherd’s criticism of her philosophical opponents, Berkeley, Hume, and Reid. (shrink)

This paper examines causal theories of reference with respect to how plausible an account they give of non-physical natural kind terms such as ‘gene’ as well as of the truth of the associated theoretical claims. I first show that reference fixism for ‘gene’ fails. By this, I mean the claim that the reference of ‘gene’ was stable over longer historical periods, for example, since the classical period of transmission genetics. Second, I show that the theory of partial reference does (...) not do justice to some widely held realist intuitions about classical genetics. This result is at loggerheads with the explicit goals usually associated with partial theories of reference, which is to defend a realist semantics for scientific terms. Thirdly, I show that, contrary to received wisdom and perhaps contrary to physics and chemistry, neither reference fixism nor partial reference are necessary in order to hold on to scientific realism about biology. I pinpoint the reasons for this in the nature of biological kinds, which do not even remotely resemble natural kinds (i.e., Lockean real essences) as traditionally conceived. (shrink)

In this paper, I develop a criticism to a method for metaontology, namely, the idea that a discourse’s or theory’s ontological commitments can be read off its sentences’ truth- conditions. Firstly, I will put forward this idea’s basis and, secondly, I will present the way Quine subscribed to it. However, I distinguish between two readings of Quine’s famous ontological criterion, and I center the focus on the one currently dubbed “ontological minimalism”, a kind of modern Ockhamism applied to the (...) mentioned metaontological view. I show that this view has a certain application via Quinean thesis of reference inscrutability but that it is not possible to press that application any further and, in particular, not for the ambitious metaontological task some authors try to employ. The conclusion may sound promising: having shown the impossibility of a semantic ontological criterion, intentionalist or subjectivist ones should be explored. (shrink)

Fiction is often characterized by way of a contrast with truth, as, for example, in the familiar couplet “Truth is always strange/ Stranger than fiction" (Byron 1824). And yet, those who would maintain that “we will always learn more about human life and human personality from novels than from scientific psychology” (Chomsky 1988: 159) hold that some truth is best encountered via fiction. The scrupulous novelist points out that her work depicts no actual person, either living or (...) dead; nonetheless, we use names from fiction in ways that suggest that we take these names to refer. Philosophers who investigate fiction aim to reconcile such apparently incompatible phenomena, and, in general, to account for the myriad ways that we talk, think, and feel about fiction. (shrink)

ABSTRACT: In its strongest unqualified form, the principle of wholistic reference is that in any given discourse, each proposition refers to the whole universe of that discourse, regardless of how limited the referents of its non-logical or content terms. According to this principle every proposition of number theory, even an equation such as "5 + 7 = 12", refers not only to the individual numbers that it happens to mention but to the whole universe of numbers. This principle, its (...) history, and its relevance to some of Oswaldo Chateaubriand's work are discussed in my 2004 paper "The Principle of Wholistic Reference" in Essays on Chateaubriand's "Logical Forms". In Chateaubriand's réplica (reply), which is printed with my paper, he raised several important additional issues including the three I focus on in this tréplica (reply to his reply): truth-values, universes of discourse, and formal ontology. This paper is self-contained: it is not necessary to have read the above-mentioned works. The principle of wholistic reference (PWR) was first put forth by George Boole in 1847 when he espoused a monistic fixed-universe viewpoint similar to the one Frege and Russell espoused throughout their careers. Later, Boole elaborated PWR in 1854 from the pluralistic multiple-universes perspective. (shrink)

Quine has moved toward "naturalism" in philosophy, which I applaud; at the same time his work has touched off a new round of pseudo-problems in philosophy, which I lament. I read the pseudo-problems as evidence that the shift toward naturalism has not been thorough-going enough. In this paper I undertake an extended discussion of sane of the problems and prospects of a thorough-going shift to a naturalistic viewpoint in philosophy, making frequent reference to Quine’s work. I suggest, in particular, that (...) the notions of truth and reference, so central to Quine’s views, are not likely to survive as theoretically central notions within the kind of theory of language and thought which a more perfect naturalism foresees and works toward. (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 truthmaker theory rests on the thesis that the link between a true judgment and that in the world to which it corresponds is not a one-to-one but rather a one-to-many relation. An analogous thesis in relation to the link between a singular term and that in the world to which it refers is already widely accepted. This is the thesis to the effect that singular reference is marked by vagueness of a sort that is best understood in supervaluationist terms. (...) In what follows we show that the supervaluationist approach to singular reference, when wedded to the truthmaker idea, yields a framework of surprising power, which offers a uniform set of solutions to a range of problems regarding identity, reference and knowledge, problems which have hitherto been dealt with on an ad hoc basis. (shrink)

Techne and Truth. The problem of techne in the dispute between Gorgias and Plato -/- The source of the problem matter of the book is the Plato’s dialogue „Gorgias”. One of the main subjects of the discussion carried out in this multi-aspect work is the issue of the art of rhetoric. In the dialogue the contemporary form of the art of rhetoric, represented by Gorgias, Polos and Callicles, is confronted with Plato’s proposal of rhetoric and concept of art (techne). (...) The ingenuous and dramatic structure of the dialogue composed of three acts, in each of which Socrates’ consecutive interlocutors emerge, is difficult to interpret. It seems, however, that even though the first conversation between Socrates and Gorgias constitutes a small part of the dialogue, it forms the foundations for the discussion. This part, dealing with such important issues as the subject of art, knowledge, power and relation between art and good, is the starting point for the conversations which follow. What do the differences between the Gorgias’ and Plato’s concepts of art consist in? Any attempt to answer the question requires presentation of the background for the discussion taking place in Plato’s work as well as the reconstruction of Gorgias’ vision of the art of rhetoric and art in general, defining the relation between art and knowledge. The latter may be undertaken on the basis of two paraphrases of the treatise “On Non-existence”, two epideictic speeches entitled “Helen” and “Palamedes” and some smaller fragments which have been preserved from Gorgias’ creative output. The treatise “On Non–existence”, very paradoxical in its philosophical meaning, testifies to new, sophistic thinking represented by Gorgias of Leontinoi. The treatise is the polemic and attack on Eleatism based on certain principles and methods elaborated by the Eleatics themselves. It also shows that Gorgias – using traditional Eleatic schemes – is opposed to this tradition. Even though the treatise does not discuss the problem of art directly, it anticipates the considerations from epideictic speeches. “Helen” and “Palamedes” constitute further stages in the development of Gorgias’ thought and concept of art combining typically epideictic elements with some philosophical convictions. Gorgias refers to the Eleatic theme considering the issues of truth, knowledge and belief, yet defining them in the empirical spirit. Solutions in the cognitive sphere determine the horizon of Gorgias’ rhetoric. The word is separated from the existence. Human cognition is limited and therefore the word and visual images affect the belief. This promotes the great importance of rhetoric, painting and sculpture, i.e. the areas which influence in a specific way – creating the “delusion” (ἀπάτη). Through idealization art provides pleasure, which is its objective. Therefore the task of art is to create delusion. The rhetor of Leontinoi discusses the issue of “how?” to use the word ‘rhetoric’. Gorgias is aware that rhetoric may be used to talk about what is unknown and that technical correctness of a rhetoric statement is not identical with the truthfulness of the proclaimed message. Mentioning it, Gorgias shows his respect to the truth as a value which should be respected in speech on the one hand, and on the other emphasizes that the truth in itself has no persuasive power. For this reason it is not enough to proclaim the truth, but, to convince the listeners, the orator should possess the skill of speaking. What is then the relation between truth and art emerging from epideictic speeches? Gorgias undoubtedly emphasizes the formal aspect of speech, as rhetoric is art, thus an ability based on certain principles. According to Gorgias, the truth is the value which should be respected in speeches. Rhetoric is able to create a fictive world, as a great range of reality remains outside direct human experience. Rhetoric does not oppose the truth but discussing not only what is directly given concerns the area outside the sphere of direct experience. This concept of rhetoric is the basis of the discussion about art carried out in the dialogue “Gorgias”. Even though the first of the discussions in the dialogue – the conversation between Socrates and Gorgias – is directly concerned with rhetoric itself, numerous remarks testify to its much wider character. This is best exemplified by the way of carrying out the conversation by Socrates, who, asking questions about rhetoric practised by Gorgias, throughout the whole conversation compares it with other skills. Additionally, the manner and the structure of the conversation prove that Plato considers the issue of rhetoric from a wider perspective determined by the issue of art. The specific feature of the conversation is ordering it around main issues – such notions as πρᾶγμα, ἐπιστήμη, δύναμις, each of which has its own meaning in Plato. In the first part of Gorgias Plato presents the principles previously occurring in other dialogues in a certain order, thus constructing the structure of the conversation with Gorgias. The notions are not novum in Plato but the fact that he clearly wants to systematise them and present a certain concept of art is a new and significant aspect. This tendency is of paramount importance for the discussion because Gorgias’ answers are evaluated by Plato from the perspective of this clearly set concept consisting of not only established notions but also certain principles. The discussion between Socrates and Gorgias introduces a theme which is crucial for the dialogue: the relation between art and good, i.e. the technical and ethical spheres. The issue is introduced by Gorgias, who mentions that rhetoric may be used for evil purposes. On this basis Socrates proves that if rhetoricians can use rhetoric for evil purposes, they have no knowledge concerning the subject of their art – justice, because one who knows what is just, always acts justly. Thus the relation between the technical and ethical spheres transpires to be the main point of contention. The question is whether a technician following the principles of the art he practices may act against good. This paradoxical statement based on the well-known Socrates’ principle "nemo sua sponte peccat" acquires philosophical foundations in the dialogue. In its remaining two parts Plato presents a justification, placing the principle within the framework of a certain concept of art, as a result of which not only rhetoric but also many other skills are criticised. The notions on which the conversation with Gorgias focuses are more precisely defined in the subsequent parts of the dialogue. Additionally, Plato presents twice the conditions which art should fulfill. They oblige the “technicians” to know the nature and purpose of the art and to know the causes of undertaken activities and to be able to justify them. These conditions determine the relation between the two spheres – technical and ethical. According to Plato, art may not act against good because it should be the objective of its activities. Certain concepts of good and knowledge outlined in the dialogue are the guarantees of “technicality”. Good, which should be respected by every art, is understood objectively and is contrasted with subjective pleasure. Knowledge, which should be the basis of art, opposes experience, which uses observation and recollection. Additionally, the definition of knowledge, significance of order in the world assuming the form of “geometrical equality”, significance of mathematics becoming the ideal of exactness indicate that Plato’s concept of knowledge is formed in Gorgias. These conclusions render it impossible that the results of any activity deserving the name of art should oppose good. And this is Plato’s main reproach of Gorgias’ concept, who wrote about false speeches possessing the power of conviction because they were written according to the principles proof of art or who defined tragedy as “a deceit, where he who cheats is more just than he who does not and the cheated is wiser than he who was not cheated”. Such determination of the relation between the technical and ethical sphere resulted from Gorgias’ concept of the world and fundamental philosophical principles. The whole concept of art described by Plato in the dialogue opposes the view presented by Gorgias. According to Plato, every technical activity has a defined object (ἔργον), is based on knowledge (ἐπιστήμη) and is always aimed at the good of human soul or body. The danger revealed and presented in the dialogue by Plato exists in the very concept of art presented by Gorgias, i.e. in its empirical foundations and the resulting understanding of the relation between art and good. Gorgias’ concept of art based on empirical cognition, which concerns the world of phenomena and rejects the possibility of perfect knowledge, leads, according to Plato, to a dangerous falsification of the relation between art and good. Plato proves that this weakness of Gorgias’ concept is revealed when confronted with these representatives of “the magnificent art” who are not protected against radicalism by the adherence to the moral tradition. The comparison of two, completely contrasting concepts of art based on different philosophical understanding of knowledge and good is decisive for the criticism of rhetoric in Gorgias. The concept presented by Plato criticises contemporary rhetoric and sophistry but determines the direction of research of the real art of rhetoric. (shrink)

Under semantic monism I understand the thesis “The Good is said in one way” and under semantic pluralism the antithesis “The Good is said in many ways”. Plato’s Socrates seems to defend a “semantic monism”. As only one sun exists, so the “Good” has for Socrates and Plato only one reference. Nevertheless, Socrates defends in the Philebus a semantic pluralism, more exactly trialism, of “beauty, symmetry and truth” . Therefore, metaphorically speaking, there seem to exist not only one sun, (...) but three suns. If the platonic Socrates defends a semantic monism on the one hand and pluralism on the other, how can we unite his pluralism with his monism? My thesis is that the three references are “qualities” of the one single reference, or again, speaking metaphorically, “side suns” of the single sun. In the following, I propose first an exegesis of Plato’s last written word on the Good in Phil. 65 A 1-5 by dividing it into five sentences. Second, I ask a philosophical question on this monism and the corresponding hierarchy of values. (shrink)

In recent decades, the problem of post-truth has emerged. Values such as fairness, objectivity, and critical dialogue have become more difficult to achieve. Various characteristics are associated with this, such as the emergence of new technologies and a new era in political relations with the rise of fundamentalism and populism. Besides, the reference to postmodernism is always commonplace in the bibliography on the subject. Considering this, the article’s main objective is to philosophically analyze the theoretical foundation of post-truth, (...) postmodernism. From the methodological point of view, this theoretical study will take the interpretive approach as a reference. Interpretive hermeneutical criticism has been combined with a documentary analysis of the main works that address this problem. The article explains the main characteristics of the concept, considering the current and notorious interpretation, and then interprets the position that criticizes postmodernism as the theoretical basis of the post-truth era. It concludes by defining that the relationship between post-truth and its theoretical foundation has a dogmatic and contradictory character since it confronts subjectivist relativism with the dogma of a realist metaphysics. (shrink)

I defend the hypothesis that the semantic paradoxes, the paradoxes about collections, and the sorites paradoxes, are all paradoxes of reference fixing: they show that certain conventionally adopted and otherwise functional reference-fixing principles cannot provide consistent assignments of reference to certain relevant expressions in paradoxical cases. I note that the hypothesis has interesting implications concerning the idea of a unified account of the semantic, collection and sorites paradoxes, as well as about the explanation of their “recalcitrance”. I also note that (...) it does not necessarily imply that one should not expect the sometimes hoped for “unique” solution to a paradox of these kinds. (shrink)

Philosophical discussion of truthmaking has flourished in recent times, but what exactly does it mean to ‘make’ a truth-bearer true? I argue that ‘making’ is a concept with modal force, and this renders it a problematic deployment for truthmaker theorists with nominalist sympathies, which characterises most current theories. I sketch the outlines of what I argue is a more genuinely realist truthmaker theory, which is capable of answering the explanatory question: In virtue of what does each particular truthmaker make (...) its particular truthbearer(s) true? I do this by drawing on recent work by Frederik Stjernfelt on Charles Peirce’s account of the proposition as having a ‘particular double structure’, according to which a proposition not only depicts certain characters of an object, it also depicts itself claiming those characters to pertain to the object. This double structure, I shall argue, also resolves important issues in analytic philosophers’ truthmaker theory, including the proper distinction between reference and truthmaking, and a dilemma concerning an infinite regress of truthmaking. (shrink)

In this paper I investigate how differences in approach to truth and logic (in particular, a deflationist vs. a substantivist approach to these fields) affect philosophers’ views concerning pluralism and normativity in these fields. My perspective on truth and logic is largely epistemic, focusing on the role of truth in knowledge (rather than on the use of the words “true” and “truth” in natural language), and my reference group includes Carnap (1934), Harman (1986), Horwich (1990), Wright (...) (1992), Beall and Restall (2006), Field (2009), Lynch (2009), and Sher (2016a).1 Whenever possible, I focus on positive rather than negative views on the issues involved, although in some cases this is not possible. (shrink)

Inflationists have argued that truth is a causal-explanatory property on the grounds that true belief facilitates practical success: we must postulate truth to explain the practical success of certain actions performed by rational agents. Deflationists, however, have a seductive response. Rather than deny that true belief facilitates practical success, the deflationist maintains that the sole role for truth here is as a device for generalisation. In particular, each individual instance of practical success can be explained only by (...) reference to a relevant instance of a T-schema; the role of truth is just to generalise over these individualised explanations. I present a critical problem for this strategy. Analogues of the deflationist’s individualised explanations can be produced by way of explanation of coincidental instances of practical success where the agent merely has the right false beliefs. By deflationary lights, there is no substantive explanatory difference between such coincidental and non-coincidental instances of practical success. But the non-/coincidental distinction just is an explanatory distinction. The deflationist’s individualised explanations of non-coincidental instances of practical success must therefore be inadequate. However, I argue that the deflationist’s prospects for establishing an explanatory contrast between these cases by supplementing her individualised explanations are, at best, bleak. The inflationist, by contrast, is entitled to the obvious further explanatory premise needed to make sense of the distinction. As such, pending some future deflationary rejoinder, the deflationary construal of the principle that true belief facilitates practical success must be rejected; and with it the deflationary conception of truth. (shrink)

Philosopher’s judgements on the philosophical value of Tarski’s contributions to the theory of truth have varied. For example Karl Popper, Rudolf Carnap, and Donald Davidson have, in their different ways, celebrated Tarski’s achievements and have been enthusiastic about their philosophical relevance. Hilary Putnam, on the other hand, pronounces that “[a]s a philosophical account of truth, Tarski’s theory fails as badly as it is possible for an account to fail.” Putnam has several alleged reasons for his dissatisfaction,1 but one (...) of them, the one I call the modal objection (cf. Raatikainen 2003), has been particularly influential. In fact, very similar objections have been presented over and over again in the literature. Already in 1954, Arthur Pap had criticized Tarski’s account with a similar argument (Pap 1954). Moreover, both Scott Soames (1984) and John Etchemendy (1988) use, with an explicit reference to Putnam, similar modal arguments in relation to Tarski. Richard Heck (1997), too, shows some sympathy for such considerations. Simon Blackburn (1984, Ch. 8) has put forward a related argument against Tarski. Recently, Marian David has criticized Tarski’s truth definition with an analogous argument as well (David 2004, p. 389-390).2 This line of argument is thus apparently one of the most influential critiques of Tarski. It is certainly worthy of serious attention. Nevertheless, I shall argue that, given closer scrutiny, it does not present such an acute problem for the Tarskian approach to truth as many philosophers think. But I also believe that it is important to understand clearly why this is so. Moreover, I think that a careful consideration of the issue illuminates certain important but somewhat neglected aspects of the Tarskian approach. (shrink)

One of the most fundamental questions in the philosophy of mathematics concerns the relation between truth and formal proof. The position according to which the two concepts are the same is called deflationism, and the opposing viewpoint substantialism. In an important result of mathematical logic, Kurt Gödel proved in his first incompleteness theorem that all consistent formal systems containing arithmetic include sentences that can neither be proved nor disproved within that system. However, such undecidable Gödel sentences can be established (...) to be true once we expand the formal system with Alfred Tarski s semantical theory of truth, as shown by Stewart Shapiro and Jeffrey Ketland in their semantical arguments for the substantiality of truth. According to them, in Gödel sentences we have an explicit case of true but unprovable sentences, and hence deflationism is refuted. -/- Against that, Neil Tennant has shown that instead of Tarskian truth we can expand the formal system with a soundness principle, according to which all provable sentences are assertable, and the assertability of Gödel sentences follows. This way, the relevant question is not whether we can establish the truth of Gödel sentences, but whether Tarskian truth is a more plausible expansion than a soundness principle. In this work I will argue that this problem is best approached once we think of mathematics as the full human phenomenon, and not just consisting of formal systems. When pre-formal mathematical thinking is included in our account, we see that Tarskian truth is in fact not an expansion at all. I claim that what proof is to formal mathematics, truth is to pre-formal thinking, and the Tarskian account of semantical truth mirrors this relation accurately. -/- However, the introduction of pre-formal mathematics is vulnerable to the deflationist counterargument that while existing in practice, pre-formal thinking could still be philosophically superfluous if it does not refer to anything objective. Against this, I argue that all truly deflationist philosophical theories lead to arbitrariness of mathematics. In all other philosophical accounts of mathematics there is room for a reference of the pre-formal mathematics, and the expansion of Tarkian truth can be made naturally. Hence, if we reject the arbitrariness of mathematics, I argue in this work, we must accept the substantiality of truth. Related subjects such as neo-Fregeanism will also be covered, and shown not to change the need for Tarskian truth. -/- The only remaining route for the deflationist is to change the underlying logic so that our formal languages can include their own truth predicates, which Tarski showed to be impossible for classical first-order languages. With such logics we would have no need to expand the formal systems, and the above argument would fail. From the alternative approaches, in this work I focus mostly on the Independence Friendly (IF) logic of Jaakko Hintikka and Gabriel Sandu. Hintikka has claimed that an IF language can include its own adequate truth predicate. I argue that while this is indeed the case, we cannot recognize the truth predicate as such within the same IF language, and the need for Tarskian truth remains. In addition to IF logic, also second-order logic and Saul Kripke s approach using Kleenean logic will be shown to fail in a similar fashion. (shrink)

In this paper, I argue that the cleavage between the theory of reference and the theory of meaning, which under the influence of Quine has dominated a large part of the philosophy of language of the last fifty years, is based on a misrepresentation of Tarski's achievement and on an overestimation of the scope and value of disquotation. In particular, I show that, if we accept Davidson's critique of disquotation, the same kind of reasons that Quine offered in opposition to (...) the Carnapian theory of meaning also apply, mutatis mutandis, to the Tarskian theory of reference. (shrink)

This essay develops a critical interpretation of Gadamer’s account of Renaissance painting. My point of departure is a brief reference in Truth and Method to Leon Battista Alberti, the Italian Renaissance humanist who developed an influential mathematical theory of perspective in painting. Through an explication of Gadamer’s critique of Alberti and of perspective generally, I argue that what is ultimately at stake in Gadamer’s confrontation with Alberti is Gadamer’s opposition to relativism and subjectivism and his downgrading of the importance (...) of the artistic medium for evaluating the truth-claim of an artwork. Against the theory of perspective, Gadamer contends that artworks make substantive claims to truth to which we interpretatively respond. By emphasizing this theme, our discussion resonates with contemporary “hermeneutical realism.”. (shrink)

The paper uses the tools of mereotopology (the theory of parts, wholes and boundaries) to work out the implications of certain analogies between the 'ecological psychology' of J. J Gibson and the phenomenology of Edmund Husserl. It presents an ontological theory of spatial boundaries and of spatially extended entities. By reference to examples from the geographical sphere it is shown that both boundaries and extended entities fall into two broad categories: those which exist independently of our cognitive acts (for example, (...) the planet Earth, its exterior surface); and those which exist only in virtue of such acts (for example: the equator, the North Sea). The visual field, too, can be conceived as an example of an extended entity that is dependent in the sense at issue. The paper suggests extending this analogy by postulating entities which would stand to true judgments as the visual field stands to acts of visual perception. The judgment field is defined more precisely as that complex extended entity which comprehends all entities which are relevant to the truth of a given (true) judgment. The work of cognitive linguists such as Talmy and Langacker, when properly interpreted, can be shown to yield a detailed account of the structures of the judgment fields corresponding to sentences of different sorts. A new sort of correspondence-theoretic definition of truth for sentences of natural language can then be formulated on this basis. (shrink)

Our ordinary assertions are often imprecise, insofar as the way we represent things as being only approximates how things are in the actual world. The phenomenon of assertoric imprecision raises a challenge to standard accounts of both the norm of assertion and the connection between semantics and the objects of assertion. After clarifying these problems in detail, I develop a framework for resolving them. Specifically, I argue that the phenomenon of assertoric imprecision motivates a rejection of the widely held belief (...) that a semantic theory for a language associates a single semantic value with each of the simple and complex expressions of that language, relative to the contexts in which they occur. Instead, I propose that we adopt a framework I call semantic pluralism. (shrink)

The paper shows how ideas that explain the sense of an expression as a method or algorithm for finding its reference, preshadowed in Frege’s dictum that sense is the way in which a referent is given, can be formalized on the basis of the ideas in Thomason (1980). To this end, the function that sends propositions to truth values or sets of possible worlds in Thomason (1980) must be replaced by a relation and the meaning postulates governing the behaviour (...) of this relation must be given in the form of a logic program. The resulting system does not only throw light on the properties of sense and their relation to computation, but also shows circular behaviour if some ingredients of the Liar Paradox are added. The connection is natural, as algorithms can be inherently circular and the Liar is explained as expressing one of those. Many ideas in the present paper are closely related to those in Moschovakis (1994), but receive a considerably lighter formalization. (shrink)

In his influential Naming and Necessity lectures, Saul Kripke made new sense of modal statements: “Kant might have been a bachelor”, “Königsberg is necessarily identical with Kaliningrad”. Many took the notions he introduced-metaphysical necessity and rigid designation -- to herald new metaphysical issues and have important consequences. In fact, the Kripkean insight is at bottom semantic, rather than metaphysical: it is part of how proper names work that they purport to refer to individuals to whom modal properties can be ascribed. (...) We can see this by reflecting on analytic truths that ground modal claims like the two examples above. (shrink)

When I was first studying Hegel I encountered quite divergent readings of his views on religion. The teacher who first presented Hegel to me was a Jesuit, Quentin Lauer at Fordham University, who read Hegel as a Christian theologian providing a better metaphysical system for understanding the doctrines of the Trinity and Incarnation. When I studied at Yale, Kenley Dove read Hegel as the first thoroughly atheistic philosopher, who presented the conditions of thought without reference to any foundational absolute being. (...) Meanwhile, also at Yale, John Findlay read us a deeply Neo-Platonic Hegel who taught about absolute forms held in a cosmic mind. In giving my own reading I want to talk about the ways Hegel redefines both metaphysics and religion. I would like to approach these issues by way of the medieval controversy over double truth, which was a previous conflict between religion and science. (shrink)

Nietzsche regarded nihilism as an outgrowth of the natural sciences which, he worried, were bringing about “an essentially mechanistic [and hence meaningless] world.” Nihilism in this sense refers to the doctrine that there are no values, or that everything we might value is worthless. In the last issue of Modern Horizons, I offered this conditional explanation of the relation of science and nihilism: that a scientific worldview is nihilistic insofar as it rules out the existence of anything that cannot in (...) principle be precisely picked out or identified.i What kinds of entities would a scientific worldview eliminate on the basis of such an assumption? The list is long and various, but it includes those intentional (mentalii) entities of our consciousness that underwrite the existence of persons, and more basically of thought itself – e.g., belief, value, agency, truth, and meaning. I argued in that previous paper that intentional concepts are ultimately inscrutable, and yet impossible coherently to deny. I claimed that we could no more doubt the existence of values than we could doubt reality itself – and when I spoke of values I had in mind the (suspicion-engendering) concept of the good, and was even toying with the related idea of the Logos (an even more suspect concept). There are a several attractive reasons why the idea of the good, or the Logos, might be regarded with suspicion, and why either might reasonably be discarded as a pseudo concept. Leaving the latter concern until later, we might worry that insisting on the possibility of an overarching good supports the idea of a total worldview, or that we are gradually progressing towards a single correct vision of things. A progressivist, totalising vision would seem to foreclose on outlooks, values, and persons that deviate from its most likely trajectory, and may stymie or interfere with incommensurate forms of otherness,iii awkward disturbances, and idiosyncrasies threatening its more well-established precincts – perhaps whatever stands out as strange, rare, and indissolubly individual. The idea of an emerging universal standard of values thus might amount to a source of oppression, e.g., if it provides a warrant to transform a currently limited universally prescriptive set of global practices and institutes into an ever more elaborate totalising hierarchy. In the discussion below, I will say why the good, conceived as the Logos, suggests a more salutary trajectory for individuals, and erodes support for either a totalitarian vision or a dissolving nihilistic outlook on the world. (shrink)

Conference paper presented at the 10th International Congress of Logic, Methodology, and Philosophy of Science, Florence, Italy (19-25 August 1995). Extrapolation here refers to the act of inferring more widely from a limited range of known facts. This notion of extrapolation, especially when applied to past events, has recently been used to formulate a pragmatic definition of truth. This paper shows that this definition has serious problems. The pragmatic definition of truth has been formulated in discussions on internal (...) realism. In this paper, the basic internal realist starting point, as expounded in the works of H. Putnam and N. Jardine, will be taken to be the claim that the distinction between judgements that are true from judgements that are false is explainable from within our judgement-forming faculty — no recourse to the external world is necessary. The paper first shows how the pragmatic definition of truth involves a counterfactual statement. It then describes how the counterfactual definition is apparently justified by an inductive argument. In the final step, this justification is shown to be unsuccessful. (shrink)

According to the accepted translation-failure interpretation, the problem of incommensurability involves the nature of the meaning-referential relation between scientific languages. The incommensurability thesis is that some competing scientific languages are mutually untranslatable due to the radical variance of meaning or/and reference of the terms they employ. I argue that this interpretation faces many difficulties and cannot give us a tenable, coherent, and integrated notion of incommensurability. It has to be rejected. ;On the basis of two case studies, I find that (...) the confrontations between many classical incommensurable languages are not confrontations between two untranslatable languages with different distribution of truth values, but rather the confrontations between incompatible fundamental presuppositions at the ontological level. We can always identify a truth-value gap between two incommensurable languages. Such a truth-value gap indicates a communication breakdown between the two language communities on the one hand, and is caused by the incompatible fundamental presuppositions underlying them on the other. ;I thereby identify the truth-value functional relationship between sentences, instead of the meaning-referential relationship between terms, as the dominant semantic relation between two incommensurable languages. According to my presuppositional interpretation of incommensurability, the real secret of incommensurability lies in the ontological setup of two competing presuppositional languages. When two presuppositional languages with incompatible factual commitments encounter with each other, the confrontation leads to a truth-value gap, and consequently a communication breakdown between them. Formally put, two scientific languages are incommensurable when core sentences of one language, which have truth values when considered within its own context, lack truth values when considered within the context of the other due to an ontological gap between them. ;The presuppositional interpretation makes many significant contributions to the discussion of the issue of incommensurability and the related metaphysical and epistemological issues: It confirms the existence of the phenomenon of incommensurability and makes it metaphysically and epistemologically significant. It establishes the tenability and integrity of the notion of incommensurability. It avoids many alleged unattractive epistemological and metaphysical consequences of the translation-failure interpretation. (shrink)

Gettier presented the now famous Gettier problem as a challenge to epistemology. The methods Gettier used to construct his challenge, however, utilized certain principles of formal logic that are actually inappropriate for the natural language discourse of the Gettier cases. In that challenge to epistemology, Gettier also makes truth claims that would be considered controversial in analytic philosophy of language. The Gettier challenge has escaped scrutiny in these other relevant academic disciplines, however, because of its façade as an epistemological (...) analysis. This article examines Gettier's methods with the analytical tools of logic and analytic philosophy of language. (shrink)

In this work I defend moral realism, the thesis that there are objective moral truths, by defending “epistemic realism.” Epistemic realism is the thesis that epistemic judgments, e.g., judgments that some belief is epistemically reasonable, or justified, or known or should be held, are sometimes true and made true by stance-independent epistemic facts and properties. -/- One might think that epistemic realism needs no defense because it is obviously true and nearly universally accepted. But there are influential arguments against moral (...) realism, which is analogous to epistemic realism: moral realists think that moral judgments, e.g., that something is morally good, or ought to be done, are sometimes true because there are stance-independent moral facts and properties. Moral irrealists deny this for a variety of semantic, metaphysical, psychological and epistemological reasons. They argue that moral judgments are neither true nor false since they are non-cognitive expressions of emotion or commands, or are never true since they fail to refer, or that their truth is “relative.” -/- Drawing on the moral irrealisms of Ayer, Stevenson, Hare, Mackie, Harman, and more recent thinkers, I construct parallel arguments for epistemic irrealisms. On these views, epistemic judgments are also merely expressive, a kind of command, always false, or relativistic in truth conditions: even “epistemic platitudes” like “justified beliefs are better than unjustified beliefs” and “ideally, one’s beliefs ought to be consistent” are understood not as epistemic propositions that might be believed (much less believed truly), or as attempts to accurately represent epistemic facts, or as attributions of epistemic properties. -/- The implications of these claims are highly at odds with common epistemological assumptions, even those that moral irrealists tend to accept. I argue that these implications are rationally unacceptable and that, therefore, the premises that support them should be rejected. Since these premises are those given in defense of moral irrealisms, I thereby defend both moral and epistemic realism. Thus, I argue that “oughts,” “shoulds” and other evaluative judgments are equally legitimate in both ethics and epistemology. (shrink)

This paper offers an analysis of a hitherto neglected text on insoluble propositions dating from the late XiVth century and puts it into perspective within the context of the contemporary debate concerning semantic paradoxes. The author of the text is the italian logician Peter of Mantua (d. 1399/1400). The treatise is relevant both from a theoretical and from a historical standpoint. By appealing to a distinction between two senses in which propositions are said to be true, it offers an unusual (...) solution to the paradox, but in a traditional spirit that contrasts a number of trends prevailing in the XiVth century. It also counts as a remarkable piece of evidence for the reconstruction of the reception of English logic in italy, as it is inspired by the views of John Wyclif. Three approaches addressing the Liar paradox (Albert of Saxony, William Heytesbury and a version of strong restrictionism) are first criticised by Peter of Mantua, before he presents his own alternative solution. The latter seems to have a prima facie intuitive justification, but is in fact acceptable only on a very restricted understanding, since its generalisation is subject to the so-called revenge problem. (shrink)

Spinoza distinguishes between causation that is external, as in A causing B where A is external to B, and causation that is internal, where C causes itself (causa sui), without any involvement of anything external to C. External causation is easy to understand, but self causation is not. This note explores an approach to self-causation based upon Gödelian undecidability and draws upon ideas from an earlier study of Gödel’s proof and the quantum measurement problem (Zwick, 1978).

A “self-effacing” property is one that is definable without referring to it. Colin McGinn (2000) has argued that there is exactly one such property: truth. I show that if truth is a self-effacing property, then there are very many others—too many even to constitute a set.

A theory of truth is an explanation of the nature of truth and set of rules that true things obey. A theory of truth is basically an attempt to enlighten on the nature of truth and formulate a set of laws that ‘true’ things follow. When we recall a memory, or analyze a statement, or appeal to evaluate within our brain, in fact, we are in quest for truth. Different theories of truth try to (...) understand it from different perspectives. Attempts to analyze truth down the history can neatly be divided into two: Classical and Contemporary theories. The classical or otherwise known as the traditional theories of truth are, Correspondence theory, Coherence theory, Pragmatic theory. Contemporary theories or otherwise known as modern theories of truth are mostly deflationary theories. Over and above these two categories we shall discuss a new theory of truth known as Functional theory of truth. When we analyze contemporary theories of truth, such as functionalist theory of truth, specifically alethic pluralism which commits the problem of mixed compound and also suggest the solution for the same. (shrink)

Like cognition, the language in which the cognition finds expression has, in principle, a function of synthesis, that is, a function of connecting the cognizing subject with the object of cognition. The language enables the human subject to have epistemic access to the object; in its form and function this epistemic access constitutes the necessary referentiality of the language itself. Cognition must inevitably refer to the object of knowledge in the mode of pre-linguistic sensory and abstract-conceptual accesses, as clearly highlighted (...) by Kant in his basic notion of the synthetic nature and structure of conceptual knowledge. This points to an aporetic ambiguity of the epistemic referentiality of language. In the process of cognition the subject should have an epistemic access to the particular. However, the conceptual cognition departs from the particular and is directed to a general universal idea. The ambiguity between the referential access and the referential departure in cognition necessarily requires a supplementation of the abstractlogical through the pre-linguistic-sensory or aesthetic knowledge, as emphasized by Alexander G. Baumgarten in his doctrine of sensory cognition (cognitio sensitiva) and the aesthetic-logical truth. Such a supplementation within the framework of a theory of perception seems to establish a unique form of epistemological reference, in which the subjective-epistemic access to the particular object does not terminate in the ontological finality of a concept or conceptual cognition, but transcends the cognition into the infinity of an aesthetic perception. (shrink)

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

Truthmaking non-maximalism usually assumes that some truths do not have truthmakers. I suggest, however, that non-maximalism can be understood more specifically, and that different types of non-maximalism can be distinguished. To do so, I refer to two positions. The first is deflationary truthmaking, some of whose proponents assume that no truths have truthmakers. The second distinguishes between truths that do not have truthmakers but depend on being, and truths that do not have truthmakers and moreover do not depend on being. (...) Given the combinations of these positions, I propose a new classification indicating the positions available to a non-maximalist. I argue that one of these positions is particularly worth adopting because of its advantages over the other options. (shrink)

“Violence” and “nonviolence” are, increasingly, misleading translations for the Sanskrit words hiṃsā and ahiṃsā—used by Gandhi as the basis for his philosophy of satyāgraha. I argue for rereading hiṃsā as “maleficence” and ahiṃsā as “beneficence.” These two more mind-referring English words capture the primacy of intention implied by Gandhi’s core principles. Reflecting a political turn in moral accountability detectable through linguistic data, both the scope and the usage of the word “violence” have expanded dramatically, making it harder to convincingly characterize (...) people and actions as “nonviolent.” New terminology could clarify the distinction between hiṃsā and ahiṃsā, and, thereby, prevent misunderstandings of Gandhi. Training in beneficence would reflect Gandhi’s psychological path to reducing avoidable harm: ego-detachment, universal love, and seeking truth by experiment. -/- NOTE: An extended, unpublished version, with additional arguments and evidence, is also available on PhilPapers as "The Primacy of Intention and the Duty to Truth: A Gandhi-Inspired Argument for Retranslating Hiṃsā and Ahiṃsā, with Connections to History, Ethics, and Civil Resistance". (shrink)