This monograph examines truth in fiction by applying the techniques of a naturalized logic of human cognitive practices. The author structures his project around two focal questions. What would it take to write a book about truth in literary discourse with reasonable promise of getting it right? What would it take to write a book about truth in fiction as true to the facts of lived literary experience as objectivity allows? It is argued that the most semantically distinctive feature of (...) the sentences of fiction is that they are unambiguously true and false together. It is true that Sherlock Holmes lived at 221B Baker Street and also concurrently false that he did. A second distinctive feature of fiction is that the reader at large knows of this inconsistency and isn't in the least cognitively molested by it. Why, it is asked, would this be so? What would explain it? Two answers are developed. According to the no-contradiction thesis, the semantically tangled sentences of fiction are indeed logically inconsistent but not logically contradictory. According to the no-bother thesis, if the inconsistencies of fiction were contradictory, a properly contrived logic for the rational management of inconsistency would explain why readers at large are not thrown off cognitive stride by their embrace of those contradictions. As developed here, the account of fiction suggests the presence of an underlying three - or four-valued dialethic logic. The author shows this to be a mistaken impression. There are only two truth-values in his logic of fiction. The naturalized logic of Truth in Fiction jettisons some of the standard assumptions and analytical tools of contemporary philosophy, chiefly because the neurotypical linguistic and cognitive behaviour of humanity at large is at variance with them. Using the resources of a causal response epistemology in tandem with the naturalized logic, the theory produced here is data-driven, empirically sensitive, and open to a circumspect collaboration with the empirical sciences of language and cognition. (shrink)

This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Dummett's justification of logical laws, Kreisel's theory of constructions, paradoxical reasoning, and the defence of model theory. The field of proof-theoretic semantics has existed for almost 50 years, but the term (...) itself was proposed by Schroeder-Heister in the 1980s. Proof-theoretic semantics explains the meaning of linguistic expressions in general and of logical constants in particular in terms of the notion of proof. This volume emerges from presentations at the Second International Conference on Proof-Theoretic Semantics in Tübingen in 2013, where contributing authors were asked to provide a self-contained description and analysis of a significant research question in this area. The contributions are representative of the field and should be of interest to logicians, philosophers, and mathematicians alike. (shrink)

A comprehensive introduction to the Language of Though Hypothesis (LOTH) accessible to general audiences. LOTH is an empirical thesis about thought and thinking. For their explication, it postulates a physically realized system of representations that have a combinatorial syntax (and semantics) such that operations on representations are causally sensitive only to the syntactic properties of representations. According to LOTH, thought is, roughly, the tokening of a representation that has a syntactic (constituent) structure with an appropriate semantics. Thinking thus consists in (...) syntactic operations defined over representations. Most of the arguments for LOTH derive their strength from their ability to explain certain empirical phenomena like productivity, systematicity of thought and thinking. (shrink)

Graham Priest 2002 argues that all logical paradoxes that include set-theoretic paradoxes and semantic paradoxes share a common structure, the Inclosure Schema, so they should be treated as one family. Through a discussion of Berry's Paradox and the semantic notion ?definable?, I argue that (i) the Inclosure Schema is not fine-grained enough to capture the essential features of semantic paradoxes, and (ii) the traditional separation of the two groups of logical paradoxes should be retained.

The medieval Islamic solutions to the liar paradox can be categorized into three different families. According to the solutions of the first family, the liar sentences are not well-formed truth-apt...

In this book, Zalta attempts to lay the axiomatic foundations of metaphysics by developing and applying a (formal) theory of abstract objects. The cornerstones include a principle which presents precise conditions under which there are abstract objects and a principle which says when apparently distinct such objects are in fact identical. The principles are constructed out of a basic set of primitive notions, which are identified at the end of the Introduction, just before the theorizing begins. The main reason for (...) producing a theory which defines a logical space of abstract objects is that it may have a great deal of explanatory power. It is hoped that the data explained by means of the theory will be of interest to pure and applied metaphysicians, logicians and linguists, and pure and applied epistemologists. (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)

There are various ways of achieving an enlarged understanding of a concept of interest. One way is by giving its proper definition. Another is by giving something else a proper definition and then using it to model or formally represent the original concept. Between the two we find varying shades of grey. We might open up a concept by a direct lexical definition of the predicate that expresses it, or by a theory whose theorems define it implicitly. At the other (...) end of the spectrum, the modelling-this-as-that option also admits of like variation, ranging from models rooted in formal representability theorems to models conceived of as having only heuristic value. There exist on both sides of this divide further differences still. In one of them, both the definiendum and definiens of a definition are words or phrases of some common natural language. In others, the item of interest is a natural language expression and its representation is furnished by the artificial linguistic system that models it. The modern history of these approaches is both very large and growing. Much of this evolution has given too short a shrift to the history of the demotion of ‘intuitive’ concepts in favour of the artificially contrived ones intended to model them. A working assumption of this article is that in the absence of a good understanding of what motivated the modelling-turn in the foundations of mathematics and the intuitive theory of truth, the whole notion of formal representability will have been inadequately understood. In the interests of space, I will concentrate on seminal issues in set theory as dealt with by Russell and Frege, and in the theory of truth in natural languages as dealt with by Tarski. The nub of the present focus is the representational role of model theory in the logics of formalized languages. (shrink)

This paper discusses the distinctions indicated in its title. It is argued that the distinction between syntax and semantics is much more important for the present situation in logic than other distinctions. In particular, doing formal syntax and formal semantics requires the use of an informal melanguage based on ordinary mathematics.

Kripke [1975] gives a formal theory of truth based on Kleene's strong evaluation scheme. It is probably the most important and influential that has yet been given—at least since Tarski. However, it has been argued that this theory has a problem with generalized quantifiers such as All—that is, All ϕs are ψ—or Most. Specifically, it has been argued that such quantifiers preclude the existence of just the sort of language that Kripke aims to deliver—one that contains its own truth predicate. (...) In this paper I solve the problem by showing how Kleene's strong scheme, and Kripke's theory based on it, can in a natural way be extended to accommodate the full range of generalized quantifiers. (shrink)

Are there ‘self-referential’ propositions? That is, propositions that say of themselves that they have a certain property, such as that of being false. There can seem reason to doubt that there are. At the same time, there are a number of reasons why it matters. For suppose that there are indeed no such propositions. One might then hope that while paradoxes such as the Liar show that many plausible principles about sentences must be given up, no such fate will befall (...) principles about propositions. But the existence of self-referential propositions would dash such hopes. Further, the existence of such propositions would also seem to challenge the widespread claim that Liar sentences fail to express propositions. The aim of this paper is thus to settle the question–at least given an assumption. In particular, I argue that if propositions are structured, then self-referential propositions exist. (shrink)

The notion of a proposition is central to philosophy. But it is subject to paradoxes. A natural response is a hierarchical account and, ever since Russell proposed his theory of types in 1908, this has been the strategy of choice. But in this paper I raise a problem for such accounts. While this does not seem to have been recognized before, it would seem to render existing such accounts inadequate. The main purpose of the paper, however, is to provide a (...) new hierarchical account that solves the problem. (shrink)

Fine (2007) argues that Frege’s puzzle and its relatives demonstrate a need for a basic reorientation of the field of semantics. According to this reorientation, the domain of semantic facts would be closed not under the classical consequence relation but only under a stronger relation Fine calls “manifest consequence.” I examine Fine’s informally sketched analyses of manifest consequence, showing that each can be amended to determine a class of strong consequence relations. A best candidate relation emerges from each of the (...) two classes, and I prove that the two candidates extensionally coincide. The resulting consequence relation is of independent interest, for it might be held to constitute a cogent standard of reasoning that proceeds under a deficient grasp on the identity of objects. (shrink)

In the last decade, many problematic cases of scientific conduct have been diagnosed; some of which involve outright fraud others are more subtle. These and similar problems can be interpreted as caused by lack of scientific objectivity. The current philosophical theories of objectivity do not provide scientists with conceptualizations that can be effectively put into practice in remedying these issues. We propose a novel way of thinking about objectivity for individual scientists; a negative and dynamic approach.We provide a philosophical conceptualization (...) of objectivity that is informed by empirical research. In particular, it is our intention to take the first steps in providing an empirically and methodologically informed inventory of factors that impair the scientific practice. The inventory will be compiled into a negative conceptualization, which could in principle be used by individual scientists to assess objectivity of scientific practice. We propose a preliminary outline of a usable and testable instrument for indicating the objectivity of scientific practice. (shrink)

Philosophical issues often turn into logic. That is certainly true of Moore’s Paradox, which tends to appear and reappear in many philosophical contexts. There is no doubt that its study belongs to pragmatics rather than semantics or syntax. But it is also true that issues in pragmatics can often be studied fruitfully by attending to their projection, so to speak, onto the levels of semantics or syntax — just in the way that problems in spherical geometry are often illuminated by (...) the study of projections onto a plane. To begin I will describe a potentially vast landscape of logics of a certain form, with some illustrations of how they appear naturally in response to some problems in philosophical logic. Then I will turn Moore’s Paradox into logic, within that landscape, and show how far it can be illuminated therein. (shrink)

Alfred Tarski’s refinement of an account of truth into a formal system that turns on the acceptance of Convention-T has had a lasting impact on philosophical logic, especially work concerning truth, meaning, and other semantic notions. In a series of studies completed from the 1930s to the 1960s, Arne Næss collected and analysed intuitive responses from non-philosophers to questions concerning truth, synonymy, certainty, and probability. Among the formulations of truth studied by Næss were practical variants of expressions of the form (...) “p’ is true if and only if p’. This paper calls attention to a series of experimental results Næss overlooked in his original study. These data collectively suggest that acceptance of expressions of the form “p’ is true if and only if p’ varies according to what kind of statement p is. (shrink)

This paper aims to describe and examine Alfred Tarski's famous semantic conception of truth as well as some of the critiques presented against it. The first part of this paper is divided into five segments: criteria imposed upon every adequate definition of truth are discussed in the first segment; the second is dedicated to Tarski’s Convention T; distinction between object language and metalanguage, as well as Tarski’s attitude toward formalized and colloquial languages, is described in the third segment; fourth segment (...) is devoted to Tarski’s definition of truth using the notion of “satisfaction”; the last segment is the evaluation of Tarski’s solution of paradoxes. In the second part of this paper the selected objections against Tarski’s conception are presented with emphasis on their diversity. (shrink)

At least since Aristotle’s famous 'sea-battle' passages in On Interpretation 9, some substantial minority of philosophers has been attracted to the doctrine of the open future--the doctrine that future contingent statements are not true. But, prima facie, such views seem inconsistent with the following intuition: if something has happened, then (looking back) it was the case that it would happen. How can it be that, looking forwards, it isn’t true that there will be a sea battle, while also being true (...) that, looking backwards, it was the case that there would be a sea battle? This tension forms, in large part, what might be called the problem of future contingents. A dominant trend in temporal logic and semantic theorizing about future contingents seeks to validate both intuitions. Theorists in this tradition--including some interpretations of Aristotle, but paradigmatically, Thomason (1970), as well as more recent developments in Belnap, et. al (2001) and MacFarlane (2003, 2014)--have argued that the apparent tension between the intuitions is in fact merely apparent. In short, such theorists seek to maintain both of the following two theses: (i) the open future: Future contingents are not true, and (ii) retro-closure: From the fact that something is true, it follows that it was the case that it would be true. It is well-known that reflection on the problem of future contingents has in many ways been inspired by importantly parallel issues regarding divine foreknowledge and indeterminism. In this paper, we take up this perspective, and ask what accepting both the open future and retro-closure predicts about omniscience. When we theorize about a perfect knower, we are theorizing about what an ideal agent ought to believe. Our contention is that there isn’t an acceptable view of ideally rational belief given the assumptions of the open future and retro-closure, and thus this casts doubt on the conjunction of those assumptions. (shrink)

The starting point of this paper is a claim defended most famously by Graham Priest: that given certain observed similarities between the set-theoretic and the semantic paradoxes, we should be looking for a ‘uniform solution’ to the members of both families. Despite its indisputable surface attractiveness, I argue that this claim hinges on a problematic reasoning move. This is seen most clearly, I suggest, when the claim and its underlying assumptions are examined by the lights of a novel, quite general (...) and, I contend, promising take on inter-theoretic analogy. The ensuing discussion is intended to serve as both a possible case study and a first step towards the broader aim of the paper: namely, to initiate a wider conversation on the methodology of paradox-solving on the one hand, and the use of inter-theoretic analogies on the other. (shrink)

Compared to the extensive amount of literature on various themes of W.V.O. Quine’s philosophy, his immanent concept of truth remains a relatively unexplored topic. This relative lack of research contributes to a persistent confusion on the deflationary and inflationary details of Quine’s truth. According to a popular reading, Quine’s disquotational definition of the truth predicate exhausts the content of truth, thus amounting to a deflationary view. Others promote opposing interpretations. I argue that by relying on Tarski’s semantic conception of truth, (...) Quine’s disquotational account inherits a commitment to classical correspondence intuitions. Based on this, Quine posits a firm constitution for truth as an intermediary between language and the world. From this constitution claim follows that the disquotational account proves incompatible with both the general deflationary thesis and, more specifically, the minimalist account, which deny any constitution for truth past what is given by the preferred deflationary schema. This reading is significant for refuting the widespread misrepresentations of Quine as a prominent deflationist. (shrink)

In this manuscript, published here for the first time, Tarski explores the concept of logical notion. He draws on Klein's Erlanger Programm to locate the logical notions of ordinary geometry as those invariant under all transformations of space. Generalizing, he explicates the concept of logical notion of an arbitrary discipline.

According to methodological anti-exceptionalism, logic follows a scientific methodology. There has been some discussion about which methodology logic has. Authors such as Priest, Hjortland and Williamson have argued that logic can be characterized by an abductive methodology. We choose the logical theory that behaves better under a set of epistemic criteria. In this paper, I analyze some important discussions in the philosophy of logic, and I show that they presuppose different methodologies, involving different notions of evidence and different epistemic values. (...) I argue that, rather than having a specific methodology such as abductivism, logic can be characterized by methodological pluralism. This position can also be seen as the application of scientific pluralism to the realm of logic. (shrink)

Remarks on the Foundations of Mathematics, Wittgenstein, despite his official 'mathematical nonrevisionism', slips into attempting to refute Gödel's theorem. Actually, Wittgenstein could have used Gödel's theorem to good effect, to support his view that proof, and even truth, are 'family resemblance' concepts. The reason that Wittgenstein did not see all this is that Gödel's theorem had become an icon of mathematical realism, and he was blinded by his own ideology. The essay is a reply to Juliet Floyd's work on Gödel: (...) what she says Wittgenstein said, I say he should have said, but didn't (couldn't). (shrink)

A collection of material on Husserl's Logical Investigations, and specifically on Husserl's formal theory of parts, wholes and dependence and its influence in ontology, logic and psychology. Includes translations of classic works by Adolf Reinach and Eugenie Ginsberg, as well as original contributions by Wolfgang Künne, Kevin Mulligan, Gilbert Null, Barry Smith, Peter M. Simons, Roger A. Simons and Dallas Willard. Documents work on Husserl's ontology arising out of early meetings of the Seminar for Austro-German Philosophy.

This essay explores an ideal notion of form (mathematical structure) that embraces logical, phenomenological, and ontological form. Husserl envisioned a correlation among forms of expression, thought, meaning, and object—positing ideal forms on all these levels. The most puzzling formal entities Husserl discussed were those he called ‘manifolds’. These manifolds, I propose, are forms of complex states of affairs or partial possible worlds representable by forms of theories (compare structuralism). Accordingly, I sketch an intentionality-based semantics correlating these four Husserlian levels of (...) form—thereby integrating logic, phenomenology, and ontology. (shrink)

The mereological predicate ‘is part of’ can be used to define the predicate ‘is identical with’. I argue that this entails that mereological theories can be ideologically simpler than nihilistic theories that do not use the notion of parthood—contrary to what has been argued by Ted Sider. Moreover, if one accepts an extensional mereology, there are good philosophical reasons apart from ideological simplicity to give a mereological definition of identity.

Quotation is employed in mentioning linguistic items with varying degrees of specificity depending upon context, occasionally in the service of multiple purposes. It is also often employed in cases where the mentioned items are simultaneously being used in their ordinary roles. I argue that against appearances to the contrary, the recently proposed formal disambiguation approach to quotation fails to account for this quotational mixing of use and mention. I further argue that, given the ubiquity of the mixing in question, the (...) demonstrative theory, in its ability to accommodate such cases, fares better than its rivals. (shrink)

Consider the following argument written on the board in room 227: 1 = 1. So, the argument on the board in room 227 is not valid. This argument generates a paradox. The aim of this paper is to present a resolution of this paradox and related paradoxes of validity, including a version of the Curry paradox. The proposal stresses the close connections between these validity paradoxes and paradoxes of truth and paradoxes of denotation. So a more general aim is to (...) provide a unified response to semantic paradox. The positive proposal is in part inspired by a brief, tantalizing suggestion of Gödel’s, that the paradoxes might appear “as something analogous to dividing by zero”—so that the concept of validity, for example, is everywhere applicable except for certain singular points or singularities. A second central claim is that ‘valid’ is a context-sensitive predicate. The key notions of this contextual-singularity theory are presented and applied to a variety of cases. Any purported solution to paradox must deal with the phenomenon of revenge, and a response to revenge is outlined. The paper closes with remarks about the accommodation of Tarski’s claim that natural languages are universal. (shrink)

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

In this paper I examine a cluster of concepts relevant to the methodology of truth theories: 'informative definition', 'recursive method', 'semantic structure', 'logical form', 'compositionality', etc. The interrelations between these concepts, I will try to show, are more intricate and multi-dimensional than commonly assumed.

The paper seeks to answer two new questions about truth and scientific change: What lessons does the phenomenon of scientific change teach us about the nature of truth? What light do recent developments in the theory of truth, incorporating these lessons, throw on problems arising from the prevalence of scientific change, specifically, the problem of pessimistic meta-induction?

Substantivism is a general philosophical methodology advocating a substantive approach to philosophical theorizing. In this article, I present an overview of this methodology with a special emphasis on the field of truth. I begin with a framework for understanding what is at stake in the substantivist–deflationist debate and describe the substantivist critique of deflationism. I then proceed to discuss contemporary substantivism as a positive methodology, present examples of recent substantivist theories of truth, delineate several principles of philosophical substantivism, and connect (...) it to contemporary thought about the nature and methods of philosophy. Due to limitations of space, I am unable to discuss all the forms contemporary substantivism has taken. But I try to give a clear sense of the central principles, challenges, and promise of this methodology. (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)

The paper offers a new analysis of the difficulties involved in the construction of a general and substantive correspondence theory of truth and delineates a solution to these difficulties in the form of a new methodology. The central argument is inspired by Kant, and the proposed methodology is explained and justified both in general philosophical terms and by reference to a particular variant of Tarski's theory. The paper begins with general considerations on truth and correspondence and concludes with a brief (...) outlook on the "family" of theories of truth generated by the new methodology. (shrink)

Many philosophers are baffled by necessity. Humeans, in particular, are deeply disturbed by the idea of necessary laws of nature. In this paper I offer a systematic yet down to earth explanation of necessity and laws in terms of invariance. The type of invariance I employ for this purpose generalizes an invariance used in meta-logic. The main idea is that properties and relations in general have certain degrees of invariance, and some properties/relations have a stronger degree of invariance than others. (...) The degrees of invariance of highly-invariant properties are associated with high degrees of necessity of laws governing/describing these properties, and this explains the necessity of such laws both in logic and in science. This non-mysterious explanation has rich ramifications for both fields, including the formality of logic and mathematics, the apparent conflict between the contingency of science and the necessity of its laws, the difference between logical-mathematical, physical, and biological laws/principles, the abstract character of laws, the applicability of logic and mathematics to science, scientific realism, and logical-mathematical realism. (shrink)

This paper has three interdependent aims. The first is to make Reichenbach’s views on induction and probabilities clearer, especially as they pertain to his pragmatic justification of induction. The second aim is to show how his view of pragmatic justification arises out of his commitment to extensional empiricism and moots the possibility of a non-pragmatic justification of induction. Finally, and most importantly, a formal decision-theoretic account of Reichenbach’s pragmatic justification is offered in terms both of the minimax principle and the (...) dominance principle. (shrink)

There is a standard objection against purported explanations of how a language L can express the notion of being a true sentence of L. According to this objection, such explanations avoid one paradox (the Liar) only to succumb to another of the same kind. Even if L can contain its own truth predicate, we can identify another notion it cannot express, on pain of contradiction via Liar-like reasoning. This paper seeks to undermine such ‘revenge’ by arguing that it presupposes a (...) dubious assumption about the linguistic expression of concepts. Successful revenge would require that there be a notion other than truth that plays the same role with respect to concept-expression that truth is naturally thought to play before we are confronted with the Liar paradox. (shrink)

Stephen Schiffer; XIII*—Contextualist Solutions to Scepticism, Proceedings of the Aristotelian Society, Volume 96, Issue 1, 1 June 1996, Pages 317–334, https://.