There is an incompatibility between the deflationist approach to truth, which makes truth transparent on the basis of an antecedent grasp of meaning, and the traditional endeavour, exemplified by Davidson, to explicate meaning through of truth. I suggest that both parties are in the explanatory red: deflationist lack a non-truth-involving theory of meaning and Davidsonians lack a non-deflationary account of truth. My focus is on the attempts of the latter party to resolve their problem. I look in detail at Davidson's (...) more recent work and suggest that it seeks to articulate a primitive notion of truth that may balance between a notion that collapses into deflationism and one that is wholly subsumed under a general theory of interpretation. I conclude that this tightrope walk is ultimately unsuccessful. Equally, however, some reasons are provided for thinking that deflationism might be equally unsuccessful with its problem. 'Truth or meaning?' remains an open question. (shrink)

This paper takes the first steps in the construction of a theory of event identity as that theory applies to historical sentences. The theory is extensional throughout. Following statements of criteria of adequacy for the construction, Davidson's method of regimenting sentences is adopted in order to allow for variables ranging over events. Events in this theory are only partially construed, that is, to the extent of treating them as concrete individuals rather than as classes or repeatable universals. The paper concludes (...) with a statement of several theorems and definitions and an example of how the theory works. (shrink)

constructive empiricism asserts that it is not for science to reach a verdict on whether a theory is true or false, if the theory is about unobservable entities; science's only interest here, says Van Fraassen, is to discover whether the theory is ‘empirically adequate’. However, if a theory is soley about observables, empirical adequacy and truth are said to ‘coincide’, here discovering the theory's truth value is an appropriate scientific goal. Constructive empiricism thus rests an epistemological thesis on a semantical (...) distinction. This paper critically examines the notion of aboutness and its epistemological significance. * I am grateful to members of my philosophy of science seminar during Spring, 1983 for useful discussion and to the two anonymous referees of this journal for providing helpful suggestions. I also thank the University of Wisconsin, Madison Graduate School for support in the form of a Romnes Faculty Fellowship. (shrink)

NeoFregeanism is an intriguing but elusive philosophy of mathematical existence. At crucial points, it goes cryptic and metaphorical. I want to put forward an interpretation of neoFregeanism—perhaps not one that actual neoFregeans will embrace—that makes sense of much of what they say. NeoFregeans should embrace quantifier variance.

In his 1936 paper,On the Concept of Logical Consequence, Tarski introduced the celebrated definition oflogical consequence: “The sentenceσfollows logicallyfrom the sentences of the class Γ if and only if every model of the class Γ is also a model of the sentenceσ.” [55, p. 417] This definition, Tarski said, is based on two very basic intuitions, “essential for the proper concept of consequence” [55, p. 415] and reflecting common linguistic usage: “Consider any class Γ of sentences and a sentence which (...) follows from the sentences of this class. From an intuitive standpoint it can never happen that both the class Γ consists only of true sentences and the sentenceσis false. Moreover, … we are concerned here with the concept of logical, i.e.,formal, consequence.” [55, p. 414] Tarski believed his definition of logical consequence captured the intuitive notion: “It seems to me that everyone who understands the content of the above definition must admit that it agrees quite well with common usage. … In particular, it can be proved, on the basis of this definition, that every consequence of true sentences must be true.” [55, p. 417] The formality of Tarskian consequences can also be proven. Tarski's definition of logical consequence had a key role in the development of the model-theoretic semantics of modern logic and has stayed at its center ever since. (shrink)

The view that toposes originated as generalized set theory is a figment of set theoretically educated common sense. This false history obstructs understanding of category theory and especially of categorical foundations for mathematics. Problems in geometry, topology, and related algebra led to categories and toposes. Elementary toposes arose when Lawvere's interest in the foundations of physics and Tierney's in the foundations of topology led both to study Grothendieck's foundations for algebraic geometry. I end with remarks on a categorical view of (...) the history of set theory, including a false history plausible from that point of view that would make it helpful to introduce toposes as a generalization from set theory. (shrink)

In this essay I present a statement of Quine's indeterminacy thesis in its general form. It is shown that the thesis is not about difficulties peculiar to so-called "radical translation." It is a general thesis about meaning and reference with important consequences for any theory of our theories and beliefs. It is claimed that the thesis is inconsistent with Quine's realism, his doctrine of the relativity of reference, and that the argument for the thesis has the consequence that the concept (...) of stimulus meaning is empty. The sense in which linguistic science, as a branch of behavioral science, is "part of physics" is discussed. An alternative to Quine's view of the nature and content of linguistic science is proposed. It is shown to be consistent with Quine's assumptions concerning the legitimate scope of behavioral science and not to involve the notions of analyticity, synonymy and "prevalent attitudes toward meaning, idea and proposition" ([9], p. 304) rejected by Quine. (shrink)

By 'positivism' its contemporary critics mean either (a) the comte-Mill views of science, Or (b) methodological naturalism, Or (c) phenomenalism and/or instrumentalism. However, Most philosophers of science are positivists on some of these criteria and antipositivists otherwise. For example, (b) may be combined with the rejection of (c), E.G., Popper; neo-Wittgensteinians, E.G., Wright, Toulmin, Kuhn, Winch, Like nineteenth century neo-Kantians and conventionalists hold instrumentalist views of language, Theories and explanation; 'positive economics' may be either instrumentalist, E.G., Friedman, Or realist; instrumentalism, (...) Contrary to popper's account, Occurs with any admixture of realism and has pioneered anti-Inductivism, Hypotheticism and theoretical pluralism. (shrink)

In considering the possibility that the fundamental particles of matter might violate Leibniz's Principle, one is confronted with logical proofs that the Principle is a Theorem of Logic. This paper shows that the proof of that theorem is not universal enough to encompass entities that might not be unique, and also strongly suggests that photons, for example, do violate Leibniz's Principle. It also shows that the existence of non-individuals would imply the breakdown of Quine's criterion of ontological commitment.

In this paper I critically evaluate the Implicit Definition Theory and its possibility of resolution of two main problems concerning logical knowledge: the explication and the justification. I point at five results that can be obtained: apriority, factuality, normativity applicability and non-circularity. I argue that in case of explication all mentioned results can be obtained but in case of justification the circularity is inevitable. In the last paragraph I propose a solution of this problem.

Mathematical pluralism can take one of three forms: (1) every consistent mathematical theory consists of truths about its own domain of individuals and relations; (2) every mathematical theory, consistent or inconsistent, consists of truths about its own (possibly uninteresting) domain of individuals and relations; and (3) the principal philosophies of mathematics are each based upon an insight or truth about the nature of mathematics that can be validated. (1) includes the multiverse approach to set theory. (2) helps us to understand (...) the significance of the distinguished non‐logical individual and relation terms of even inconsistent theories. (3) is a metaphilosophical form of mathematical pluralism and hasn't been discussed in the literature. In what follows, I show how the analysis of theoretical mathematics in object theory exhibits all three forms of mathematical pluralism. (shrink)

A perennial issue in contemporary philosophy is the question of how, in Wilfrid Sellars’ terms, categories of the ‘manifest image’ relate to those of the ‘scientific image’. A widespread kind of naturalism assumes that the categories of science have a certain kind of ontological priority and that other categories (meaning, mind, morality and so on) have to be somehow placed or located in the world of science to be fully vindicated. Huw Price has argued in several papers that if one (...) gives up a view of how language functions he calls ‘representationalism’ then this way of understanding placement problems—object naturalism—necessarily lapses. Price argues that in foregoing representationalism and embracing semantic deflationism we should remain naturalists, but subject naturalists, seeking to understand the function our different discourses play in our lives as natural beings: the project of global expressivism. This argument has recently been challenged by several authors who argue that object naturalism can coherently and rationally be pursued within a semantic deflationist framework. I will argue that these objections to Price’s view are all ultimately unconvincing given a wide enough purview of the dialectic. The viability and coherence of global expressivism itself, and whether it is the only possible form of subject naturalism, are briefly addressed in conclusion. (shrink)

Truth appears to be a predicate of sentence-like structures. This raises the question of what a sentence is (or what it is to be sentence-like) such that it is truth-apt. A natural move is to treat sentences and truth-aptness as somehow conceptually or metaphysical coeval—made for each other. This resolution conflicts, however, with now standard approaches in syntactic theory that treat sentences as mere epiphenomena. Siding with the developments in syntax, the paper argues that truth-aptness properly belongs, not to sentences, (...) but to clauses as structures that can be selected by verbs that specify truth-apt states. It is further argued that this arrangement is perfectly consistent with truth-conditional semantics. (shrink)

This article explores the place of truth and truthfulness in painting and drawing, and criticises logocentrism in the theory of truth.

The word ‘true’ shows some evidence of gradability. For instance, there are cases where truth-bearers are described as ‘slightly true’, ‘completely true’ or ‘very true’. Expressions that accept these types of modifiers are analysed in terms of properties that can be possessed to a greater or lesser degree. If ‘true’ is genuinely gradable, then it would follow that there are degrees of truth. It might also follow that ‘true’ is context-sensitive, like other gradable expressions. Such conclusions are difficult to reconcile (...) with most existing theories: deflationists and inflationists alike tend to reject the thesis that one true truth-bearer can have more or less truth than another. Based on work in natural language, I argue that ‘true’ is not a genuinely gradable expression. I also provide an explanation of the apparent evidence for gradability. Hence there is no reason to think that there is a truth property that comes in degrees. (shrink)

According to Lehrer’s defeasibility account of knowledge, we can understand knowledge as undefeated justified true belief. But this account faces many serious problems. One important problem is that from one’s subjective point of view, one can hardly bridge the gap between one’s personal justification and objective truth. Another important problem is that this account can hardly accommodate the externalist intuition that the epistemic status of a belief is not entirely determined by factors that are internal to the subject’s perspective. The (...) goal of this paper is to offer an alternative account of knowledge which can successfully deal with these problems. On the basis of a Sellarsian social practice theory of justification, I argue that we can understand knowledge as objectively justified belief. (shrink)

Thought: A Journal of Philosophy, Volume 10, Issue 3, Page 188-198, September 2021.

Since the discovery of the paradoxes of Zeno, the problem of infinity was dominated by the meaning of endlessness—a view also adhered to by Herman Dooyeweerd. Since Aristotle, philosophers and mathematicians distinguished between the potential infinite and the actual infinite. The main aim of this article is to highlight the strengths and limitations of Dooyeweerd’s philosophy for an understanding of the foundations of mathematics, including Dooyeweerd’s quasi-substantial view of the natural numbers and his view of the other types of numbers (...) as functions of natural numbers. Dooyeweerd’s rejection of the actual infinite is turned upside down by the exploring of an alternative perspective on the interrelations between number and space in support of the idea of infinite totalities, or infinite wholes. No other trend has succeeded in justifying the mathematical use of the actual infinite on the basis of an analysis of the intermodal coherence between number and space. (shrink)

Truth-theoretic deflationism holds that truth is simple, and yet that it can fulfil many useful logico-linguistic roles. Deflationism focuses on axioms for truth: there is no reduction of the notion of truth to more fundamental ones such as sets or higher-order quantifiers. In this paper I argue that the fundamental properties of reasonable, primitive truth predicates are at odds with the core tenets of classical truth-theoretic deflationism that I call fix, express, and quantify. Truth may be regarded as a broadly (...) logical, sui generis notion. However, this has little to do with the original aims of the deflationary theory of truth. (shrink)

The present contribution might be regarded as a kind of defense of the common sense in logic. It is demonstrated that if the classical negation is interpreted as the minimal negation with n = 2 truth values, then deviant logics can be conceived as extension of the classical bivalent frame. Such classical apprehension of negation is possible in non- classical logics as well, if truth value is internalized and bivalence is replaced by bipartition.

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)

W.V. Quine is a well-known proponent of naturalism, the view on which reality is described only in science. He is also well-known for arguing that our current scientific theories commit us to the existence of abstract objects. It is tempting to believe that the naturalistic philosopher should think scientists outside of philosophy are in the best position to assess the merits of revising our current commitment to abstract objects. But Quine rejects this deferential view. On the reading of Quine’s philosophical (...) methodology that I defend in this paper, the naturalistic philosopher not only may assess the merits of revising the commitments of our scientific theories, but also will recommend we make such revisions if doing so simplifies and clarifies our science. To develop my reading, I will examine John Burgess and Gideon Rosen’s naturalism in ontology that includes the deferential view Quine rejects. By explaining how Quine’s naturalism differs from the anti-revisionist, deferential naturalism in philosophy of mathematics that Burgess and Rosen advance, I seek to clarify and advance contemporary debates on naturalism. (shrink)

Intra-theoretical logical pluralism is a form of meaning-invariant pluralism about logic, articulated recently by Hjortland :355–373, 2013). This version of pluralism relies on it being possible to define several distinct notions of provability relative to the same logical calculus. The present paper picks up and explores this theme: How can a single logical calculus express several different consequence relations? The main hypothesis articulated here is that the divide between the internal and external consequence relations in Gentzen systems generates a form (...) of intra-theoretical logical pluralism. (shrink)

This thesis investigates the conceptual relationship between laws of nature and free will. In order to clarify the discussion, I begin by distinguishing several questions with respect to the nature of a law: i) do the laws of nature cover everything that happens? ii) are they deterministic? iii) can there be exceptions to universal and deterministic laws? iv) do the laws of nature govern everything in the world? In order to answer these questions I look at three widely endorsed accounts (...) of laws: "Humean" regularity accounts, laws as relations among universals, and the dispositional essentialist account. I argue that there is nothing in the very nature of a law - in any of the accounts surveyed - that implies a positive answer to questions (i) and (ii). I show that this has important consequences for the free will problem. I then turn to the compatibility of free will and determinism. I focus on the Humean view and the dispositional essentialist account of laws. And the bulk of this discussion concerns the consequence argument, especially the question of whether the laws of nature are "up to us". I show that, on the dispositional conception of laws, there is no sense in which the laws of nature are up to us, contrary to the Humean view. However, this does not mean that there is no room for free will on the dispositional account. I argue that free will requires the laws of nature to be limited in scope, rather than being indeterministic. I conclude by showing that this allows one to resist the claim that indeterminism rules out free will. (shrink)

Nonclassical theories of truth have in common that they reject principles of classical logic to accommodate an unrestricted truth predicate. However, different nonclassical strategies give up different classical principles. The paper discusses one criterion we might use in theory choice when considering nonclassical rivals: the maxim of minimal mutilation.

Restrictionism is a response to the Liar and other paradoxes concerning truth. Restrictionists—as I will call proponents of the strategy—respond to these paradoxes by giving up instances of the schema -/- <p> is true iff p. -/- My aim is to show that the current unpopularity of restrictionism is undeserved. I will argue that, whilst cautious versions of the strategy may face serious problems, a radical and previously overlooked version of restrictionism provides a strong and defensible response to the paradoxes.

The purpose of this paper is to assess the prospects for a neo‐logicist development of set theory based on a restriction of Frege's Basic Law V, which we call (RV): ∀P∀Q[Ext(P) = Ext(Q) ≡ [(BAD(P) & BAD(Q)) ∨ ∀x(Px ≡ Qx)]] BAD is taken as a primitive property of properties. We explore the features it must have for (RV) to sanction the various strong axioms of Zermelo–Fraenkel set theory. The primary interpretation is where ‘BAD’ is Dummett's ‘indefinitely extensible’.1 Background: what (...) and why?2 Framework3 GOOD candidates, indefinite extensibility4 The framework of (RV) alone, or almost alone5 The axioms6 Brief closing. (shrink)

The paper examines Davidson′s discussion of Frege on the problem of predication. Simple declarative sentences are unities that are true or false; how do predicates contribute to this kind of semantic unity? According to Davidson, the problem cannot be solved by assigning referents to predicates, since this leads to an infinite regress. Frege famously contributes the idea that predicates are “incomplete” or “unsaturated” functional expressions, mapping objects to truth-values. However, he takes predicates to refer to concepts and thus is exposed (...) to Davidson′s argument. I will show that Davidson is only right with regards to “Frege′s semantics”. Yet Frege′s logical doctrine of the decomposition of a sentence – I shall argue – allows for a resolution of this problem. (shrink)

Ignoring primitive terms leads to an infinite regress. The alternative is to account for an intuitive understanding into the meaning of such terms. The current investigation proceeds on the basis of an idea of the structure of the various modes of being within which concrete entities function. Examples of primtive terms are given from disciplines such as mathematics, physics and logic and they are related to the general idea of a modal aspect. It is argued that primitive terms are not (...) isolated but reveal their meaning only through their interconnections with other primitive terms that are embedded in other modal aspects. However, although primitive terms are found within the various aspects, the meaning of an aspect only comes to expression through its coherence with other aspects, evinced in modal analogies that are qualified by the core meaning of an aspect. There appears to be two options, either reduce what is irreducible or merely provide synonymous terms for given primitives. The former happens when other unique terms are used to define a specific one and the latter when the attempted ‘definitions’ revert to terms with which the original terms could be meaningfully replaced. It is been pointed out that the coherence between primitives invites every academic discipline to account for the meaning attached to the analogies of primitive terms it is employing, without exploring this additional theme any further. (shrink)

Russell says that logical constructions are fictions. Does this show that he took them not to be real things?

The background of this paper (section 1) consists in a new account to foundation‐theoretic epistemology characterized by two features: (i) All beliefs are to be justified by deductive, inductive or abductive inferences from a minimalistic class of unproblematic (introspective or analytic) basic beliefs. (ii) Higher‐order justifications for these inferences are given by means of the novel method of optimality justifications. Optimality justifications are a new tool for epistemology (section 2). An optimality justification does not attempt todemonstratethat a cognitive method is (...) reliable (which is impossible), but pursues the more modest goal of demonstrating that the method isoptimalamong all accessible alternative methods for the given epistemic goal. The reasoning from the established optimality of a method to the acceptability of a particular belief generated by the method is accomplished by so‐called optimality principles. In sections 3–5, the method of optimality justifications is carried out in detail for three fundamental problems: justifying induction, logic, and theory‐generating abduction. (shrink)

This paper compares two ways of holding that logic is special among the sciences in that it has no restricted class of entities as its subject matter, but instead concerns all entities alike. One way is Williamson’s explanation of how inquiry into logical consequence and logical truth only superficially concerns the linguistic or conceptual entities that bear these properties. Williamson draws on ideas familiar from deflationism about truth, and his account has been called “deflationary.” I argue that the analogy is (...) misleading. While there’s a broad sense in which Williamson offers a deflationary account of logical inquiry, his view differs from deflationism about truth in being best understood as a form of instrumentalism. By contrast, I elaborate a deflationism about logical properties modeled on deflationism about truth. I defend this expressive device deflationism as an explanation of our use of logical predicates. (shrink)

Pragmatic theories of truth need to pass the pragmatic test: they need to make a difference. Unfortunately, defenders of the pragmatic theory have rarely applied this test. I argue that a Deweyan pragmatic account of truth passes the test by identifying the political and epistemic dangers of certain types of social networks that create a durable consensus around false beliefs. To better understand Dewey’s account of truth I propose an excursion through Wittgenstein’s later views on knowledge and certainty.

En este artículo discutimos la tesis de Jc Beall según la cual no hay negación lógica. Evaluamos la solidez del argumento con el que defiende su tesis y presentamos dos razones para rechazar una de sus premisas: que la negación tiene que ser excluyente o exhaustiva. La primera razón involucra una presentación alternativa de las reglas de la negación en sistemas de secuentes diferentes al que Beall presupone. La segunda razón establece que la negación no tiene que ser excluyente o (...) exhaustiva. (shrink)

We critically examine Bermejo-Luque’s account of the logical dimension of argumentation and its logical or semantic evaluation. Our considerations concern her views on inference claims, validity, logical normativity, warrants, necessity, warrants and the justification of inferences, ontological versus epistemic modal qualifiers, ontological versus epistemic probability, and ontological versus conditional probability.

There are two perspectives from which formal theories can be viewed. On the one hand, one can take a theory to be about some privileged models. On the other hand, one can take all models of a theory to be on a par. In contrast with what is usually done in philosophical debates, we adopt the latter viewpoint. Suppose that from this perspective we want to add an adequate truth predicate to a background theory. Then on the one hand the (...) truth theory ought to be semantically conservative over the background theory. At the same time, it is generally recognised that the central function of a truth predicate is an expressive one. A truth predicate ought to allow us to express propositions that we could not express before. In this article we argue that there are indeed natural truth theories which satisfy both the demand of semantical conservativeness and the demand of adequately extending the expressive power of our language. (shrink)

In this paper I explore three related topics emerging from Prior's work on the logic of time. First, what is the proper province of logic, if any? Is temporal (modal) logic just logic, on a par with the paradigmatic case of first-order quantification theory or even simple propositional logic? Second, what counts as an interpretation of a formal system? In particular, can formal semantics provide an interpretation? Third, what is the proper role of the meta-theory? In connection with this last (...) question we will see how Prior's attitude towards instants of time may teach us something about the analogous case of possible worlds. (shrink)

Negation is widely thought to be uniquely captured by the usual extensional Boolean connective in the setting of classical logic. However, there has been recent interest in a modal approach to negation. This essay examines the problem of modal negation with an Husserlian phenomenological lens. I argue that the Husserlian approach to negation contains an ambiguity which points to a pluralism about negation. On this view, negation begins its life as a modal notion with nonclassical properties, and the question of (...) classical negation is a question of its demodalization. I reconstruct a phenomenological legitimation of the demodalization, but I remain skeptical about its wider prospects. Nevertheless, the phenomenological-modal approach to negation answers the skepticism about the very possibility of debates about negation and gives valuable insight into the fundamental nature of the problem. The argument should be of interest both to those who are specifically interested in Husserl's logic and the relationship of phenomenology to intuitionistic (and other nonclassical) logics, as well as to philosophers of logic more generally interested in obtaining different angles on the problem of negation from a systematic perspective. (shrink)

One of the standard views on plural quantification is that its use commits one to the existence of abstract objects–sets. On this view claims like ‘some logicians admire only each other’ involve ineliminable quantification over subsets of a salient domain. The main motivation for this view is that plural quantification has to be given some sort of semantics, and among the two main candidates—substitutional and set-theoretic—only the latter can provide the language of plurals with the desired expressive power (given that (...) the nominalist seems committed to the assumption that there can be at most countably many names). To counter this approach I develop a modal-substitutional semantics of plural quantification (on which plural variables, roughly speaking, range over ways names could be) and argue for its nominalistic acceptability. (shrink)