I draw attention to how one of Donald Davidson’s arguments against the claim that others have an alternative conceptual scheme does not look compatible with his rejection of analytic truths – how his rejection of the third dogma of empiricism depends on accepting the first. The appendix contests Davidson’s approach to organizing the Pacific Ocean.

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)

On the political nature of the analytic - continental distinction in professional philosophy and the general tendency to discredit continental philosophy while redesignating the rubric as analytically conceived.

I defend the thesis that Kantian analytic judgments are about objects (as opposed to concepts) against two challenges raised by recent scholars. First, can it accommodate cases like “A two-sided polygon is two-sided”, where no object really falls under the subject-concept as Kant sees it? Second, is it compatible with Kant’s view that analytic judgments make no claims about objects in the world and that we can know them to be true without going beyond the given concepts? I (...) address these challenges in two steps. First, given Kant’s distinction between an object in general = x from an object of sensible intuition, I argue that analytic judgments are about objects in the former sense, no matter whether the purported objects can be given in our intuition. Second, using Kant’s method of representing certain logical relations of concepts with such figures as circles, I construct a model to show that analytic truths are truths about objects in general = x and yet can be determined solely by the intensional relation between the given concepts plus certain Kantian-logical laws. Analytic truths are thus shown as formal in the Kantian sense that they do not presuppose the purported objects as givable in our intuition. This account of the formality of analytic truths captures Kant’s diagnosis of the Leibnizian illusion that we can make material claims about the world by analytically true judgments. (shrink)

The reintroduction of Aristotle's Analytics to the Latin West—in particular, the reintroduction of the Posterior Analytics—forever altered the course of medieval epistemological discussions. Although the Analytics fell decidedly from grace in later centuries, the sophisticated account of human cognition developed in the Posterior Analytics appealed so strongly to thirteenth-century European scholars that it became one of the two central theories of knowledge advocated in the later Middle Ages. Robert Grosseteste's 'Commentarius in Posteriorum Analyticorum Libro', written in the 1220s, is most (...) likely the first complete Latin commentary on the Posterior Analytics. As the thirteenth century wore on, Aristotle’s account of human cognition was generally set in opposition to the Augustinian-influenced theory of divine illumination that was de rigueur in the early thirteenth century. Although common consensus holds that this pattern of opposition was set already in Grosseteste’s CPA, I argue that the story of the Posterior Analytics’s early reception is, in fact, quite different. In particular, I maintain that, rather than seeing himself as forced to choose between his earlier theory of divine illumination and the “new” Aristotelian epistemology, Grosseteste is perfectly content to blend and bring together the diverse elements of these systems and to present a consciously synthetic rather than adversarial picture of these differing accounts of human cognition. (shrink)

Critical review of Gillian Russell's "Truth in Virtue of Meaning".

At least since W. V. O. Quine's famous critique of the analytic/synthetic distinction, philosophers have been deeply divided over whether there are any analytic truths. One line of thought suggests that the simple fact that people have ' intuitions of analyticity' might provide an independent argument for analyticities. If defenders of analyticity can explain these intuitions and opponents cannot, then perhaps there are analyticities after all. We argue that opponents of analyticity have some unexpected resources for explaining these (...) intuitions and that, accordingly, the argument from intuition fails. (shrink)

The starting point of this paper is the idea that linguistic representation is the result of a global process: a process of interaction of a community of cognitive-linguistic agents, with one another and with the environment. I maintain that the study of truth, meaning and related notions should be addressed without losing perspective of this process, and I oppose the ‘static’ or ‘analytic’ approach, which is fundamentally based on our own knowledge of the conventional meaning of words and (...) sentences, and the ability of using them that we have as competent speakers. I argue that the analytic perspective is responsible for five recurring difficulties in truthmaker theory: (1) the lack of attention to the difference of explanatory role between the distinct notions proposed as primary truthbearer; (2) the adscription of purely extra-linguistic truthmakers to ‘synthetic truths’, ignoring the contribution of the linguistic factor; (3) the adscription of purely linguistic truthmakers to ‘logical’ and ‘analytic truths’, ignoring the contribution of the worldly factor; (4) the difficulties in the search for minimal truthmakers; (5) the problems in the treatment of ‘negative facts’ and of other ‘logically complex facts’. I do not provide an account of how to solve these difficulties, but I do show how the ‘process model’ helps to clear up confusion regarding them. (shrink)

/Analyticity theorists/, as I will call them, endorse the /doctrine of analyticity in ontology/: if some truth P analytically entails the existence of certain things, then a theory that contains P but does not claim that those things exist is no more ontologically parsimonious than a theory that also claims that they exist. Suppose, for instance, that the existence of a table in a certain location is analytically entailed by the existence and features of certain particles in that location. (...) The doctrine implies that the table's existence requires nothing more of the world than that those particles exist and bear the features in question. Analyticity theorists have alleged that this idea may be used to defend controversial existence claims against a battery of objections. I argue that this style of defense fails, because the doctrine faces counter-examples. An existence claim may be analytically entailed by some truth and still report a substantial further fact. (shrink)

Does Carnap’s treatment of philosophical questions about existence, such as “Are there numbers?” and “Are there physical objects?”, depend on his analytic–synthetic distinction? If so, in what way? I answer these questions by clarifying, defending, and developing the reading of Carnap’s paper “Empiricism, Semantics, and Ontology” that W. V. Quine proposes, with little justification or explanation, in his paper “On Carnap’s Views on Ontology”. The primary methodological value of studying Quine’s reading of “Empiricism, Semantics, and Ontology” is that it (...) prompts us to look for, and helps us to see the significance of, passages by Carnap that reveal the logical foundations of his views on ontology. Guided in this way by Quine’s reading, I show that (1) in “Empiricism, Semantics, and Ontology” Carnap’s preferred treatment of philosophical questions relies on paraphrasing them so that their answers are immediately obvious elementary logical truths, and are therefore, by his standards, trivially analytic; and (2) in its most general form, Carnap’s treatment of philosophical questions about existence depends on his controversial view that the analytic truths of a language L may include sentences that are not elementary logical truths, but that are nevertheless, by Carnap’s standards, analytic-in-L simply because we have stipulated that they are to be among the “meaning postulates” of L. (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)

This paper provides an overview of the history of the notion of essence in 20th century analytic philosophy, focusing on views held by influential analytic philosophers who discussed, or relied on essence or cognate notions in their works. It in particular covers Russell and Moore’s different approaches to essence before and after breaking with British idealism, the (pre- and post-)logical positivists’ critique of metaphysics and rejection of essence (Wittgenstein, Carnap, Schlick, Stebbing), the tendency to loosen the notion of (...) logical necessity to accommodate certain metaphysical truths in Wittgenstein and others, Quine’s logical rehabilitation of metaphysics and criticism of de re modality, the modal view of essence promoted by the development of quantified modal logic (C. I. Lewis, Barcan Marcus, Kripke) and direct reference theory (Barcan Marcus, Kripke, Putnam), and the emergence of the notion of metaphysical necessity (Kneale, Kripke), and finally Fine’s re-establishment of a Neo-Aristotelian, hyperintensional notion of essence in contemporary metaphysics. (shrink)

In the 'Critique of Pure Reason' Kant appears to characterize analytic judgments in four distinct ways: once in terms of “containment,” a second time in terms of “identity,” a third time in terms of the explicative–ampliative contrast, and a fourth time in terms of the notion of “cognizability in accordance with the principle of contradiction.” The paper asks: Which of these characterizations—or apparent characterizations—best captures Kant’s conception of analyticity in the first Critique? It suggests: “the second.” It argues, further, (...) that Kant’s distinction is intended to apply only to judgments of subject–predicate form, and that the fourth alleged characterization is not properly speaking a characterization at all. These theses are defended in the course of a more general investigation of the distinction’s meaning, its epistemology, and its tenability. (shrink)

In this interview Prof. Brian Leftow answers questions concerning the causes of the emergence of Analytic Philosophical Theology within the analytic tradition; the advantages of maintaining the traditional picture of perfect being theology with regards to divine attributes; his conception about the origin of necessary truths; the problem of evil; and the importance for universities of investing in research on philosophical theology.

Alfred Tarski seems to endorse a partial conception of truth, the T-schema, which he believes might be clarified by the application of empirical methods, specifically citing the experimental results of Arne Næss (1938a). The aim of this paper is to argue that Næss’ empirical work confirmed Tarski’s semantic conception of truth, among others. In the first part, I lay out the case for believing that Tarski’s T-schema, while not the formal and generalizable Convention-T, provides a partial account of (...) truth that may be buttressed by an examination of the ordinary person’s views of truth. Then, I address a concern raised by Tarski’s contemporaries who saw Næss’ results as refuting Tarski’s semantic conception. Following that, I summarize Næss’ results. Finally, I will contend with a few objections that suggest a strict interpretation of Næss’ results might recommend an overturning of Tarski’s theory. (shrink)

The paper examines the plausibility of analytical dispositionalism about practical reason, according to which the following claims are conceptual truths about common sense ethical discourse: i) Ethics: agents have reasons to act in some ways rather than others, and ii) Metaphysical Modesty: there is no such thing as a response independent normative reality. By elucidating two uncontroversial assumptions which are fundamental to the common sense commitment to ethics, I argue that common sense ethical discourse is most plausibly construed as committed (...) to the denial of metaphysical modesty, and thereby as committed to the existence of a response independent normative reality. (shrink)

Empiricist philosophers like Carnap invoked analyticity in order to explain a priori knowledge and necessary truth. Analyticity was “truth purely in virtue of meaning”. The view had a deflationary motivation: in Carnap’s proposal, linguistic conventions alone determine the truth of analytic sentences, and thus there is no mystery in our knowing their truth a priori, or in their necessary truth; for they are, as it were, truths of our own making. Let us call this (...) “Carnapian conventionalism”, conventionalismC and cognates for short. This conventionalistC explication of the a priori has been the target of sound criticisms. Arguments like Quine’s in “Truth by Convention” are in our view decisive: the truth of conventionalismC requires that the class of logical truths and logical validities be reductively accounted for as conventionally established; however, no such reduction is forthcoming, because logic is needed to generate the entire class from any given set of conventions properly so-called. Granted that conventionalismC is untenable, we want to take issue with a different, usually made criticism. Although the argument uncovers some difficulties for the way conventionalist claims are defended by some of its advocates, we will try to show that it fails. The criticism thus stands in the way of a proper appreciation of why the Carnapian account of the a priori is not correct. We will try to illustrate this by showing that the criticism we will dispute would dispose of conventionalist claims not only regarding philosophically problematic cases – logical and mathematical truths –, but also regarding cases for which they have some prima facie plausibility. One such case is that of truths that follow from mere abbreviations, “nominal” definitions; ‘someone is a bachelor if and only if he is an unmarried adult male’ can serve at this point for illustration. We will try to articulate a clear sense in which the contents of assertion such as this can be truths by convention. We do not need to prove that a conventionalist claim is true in those cases; it is enough for us to show that it is intelligible, for the arguments we will confront question even this. (shrink)

This article focuses on the distinction between analytic truths and synthetic truths, and between a priori truths and a posteriori truths in philosophy, beginning with a brief historical survey of work on the two distinctions, their relationship to each other, and to the necessary/contingent distinction. Four important stops in the history are considered: two involving Kant and W. V. O. Quine, and two relating to logical positivism and semantic externalism. The article then examines questions that have been raised about (...) the analytic–synthetic and a priori–a posteriori distinctions, such as whether all distinctively philosophical truths fall on one side of the line and whether the distinction is relevant to philosophy. It also discusses the argument that there is a lot more a priori knowledge than we ever thought, and concludes by describing epistemological accounts of analyticity. (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)

Beall’s (e.g., 2009, 2021) transparency theory of truth is recognized as a prominent, deflationist solution to the liar paradox. However, it has been neglected by truth theorists who have attempted to show that a deflationist theory of truth can (or cannot) account for truth dependence, i.e., the claim that the truth of a proposition depends on how things described by the proposition are, but how these things are does not depend on the truth of (...) the proposition. Truth theorists interested in truth dependence have, instead, been focused on Horwich’s Minimalism (e.g., 1998). The goal of this paper is twofold. First, I construct what versions of the transparency theory would say about truth dependence. Second, I argue that even the best version of transparent truth ultimately fails to account for truth dependence. On the assumption that accounting for truth dependence is an adequacy condition on any theory of truth, the paper rejects transparency theory as an adequate theory of truth. (shrink)

Even after Willard Quine’s critique of the analytic-synthetic distinction in “Two Dogmas of Empiricism,” Wilfrid Sellars maintained some forms of analyticity or truth in virtue of meaning. In this article, I aim to reconstruct (a) his neglected account of the analytic-synthetic distinction and the revisability of analytic sentences, (b) its connection to his inferentialist account of meaning, and (c) his response to Quine. While Sellars’s account of the revisability of analytic sentences bears certain similarities to (...) Carnap’s and Grice and Strawson’s accounts, it is still striking in that it is part of his broader picture of how our language develops dynamically in our ongoing inquiry. I aim to show how it relates to his account of how the diachronic continuity in meaning, language, or conceptual framework can be preserved through a revision of analytic sentences and to his evolutionary account of the development of our language or conceptual framework. (shrink)

The thesis deals with the concept of truth and the paradoxes of truth. Philosophical theories usually consider the concept of truth from a wider perspective. They are concerned with questions such as - Is there any connection between the truth and the world? And, if there is - What is the nature of the connection? Contrary to these theories, this analysis is of a logical nature. It deals with the internal semantic structure of language, the mutual (...) semantic connection of sentences, above all the connection of sentences that speak about the truth of other sentences and sentences whose truth they speak about. Truth paradoxes show that there is a problem in our basic understanding of the language meaning and they are a test for any proposed solution. It is important to make a distinction between the normative and analytical aspect of the solution. The former tries to ensure that paradoxes will not emerge. The latter tries to explain paradoxes. Of course, the practical aspect of the solution is also important. It tries to ensure a good framework for logical foundations of knowledge, for related problems in Artificial Intelligence and for the analysis of the natural language. Tarski’s analysis emphasized the T-scheme as the basic intuitive principle for the concept of truth, but it also showed its inconsistency with the classical logic. Tarski’s solution is to preserve the classical logic and to restrict the scheme: we can talk about the truth of sentences of a language only inside another essentially richer metalanguage. This solution is in harmony with the idea of reflexivity of thinking and it has become very fertile for mathematics and science in general. But it has normative nature | truth paradoxes are avoided in a way that in such frame we cannot even express paradoxical sentences. It is also too restrictive because, for the same reason we cannot express a situation in which there is a circular reference of some sentences to other sentences, no matter how common and harmless such a situation may be. Kripke showed that there is no natural restriction to the T-scheme and we have to accept it. But then we must also accept the riskiness of sentences | the possibility that under some circumstances a sentence does not have the classical truth value but it is undetermined. This leads to languages with three-valued semantics. Kripke did not give any definite model, but he gave a theoretical frame for investigations of various models | each fixed point in each three-valued semantics can be a model for the concept of truth. The solutions also have normative nature | we can express the paradoxical sentences, but we escape a contradiction by declaring them undetermined. Such a solution could become an analytical solution only if we provide the analysis that would show in a substantial way that it is the solution that models the concept of truth. Kripke took some steps in the direction of finding an analytical solution. He preferred the strong Kleene three-valued semantics for which he wrote it was "appropriate" but did not explain why it was appropriate. One reason for such a choice is probably that Kripke finds paradoxical sentences meaningful. This eliminates the weak Kleene three valued semantics which corresponds to the idea that paradoxical sentences are meaningless, and thus indeterminate. Another reason could be that the strong Kleene three valued semantics has the so-called investigative interpretation. According to this interpretation, this semantics corresponds to the classical determination of truth, whereby all sentences that do not have an already determined value are temporarily considered indeterminate. When we determine the truth value of these sentences, then we can also determine the truth value of the sentences that are composed of them. Kripke supplemented this investigative interpretation with an intuition about learning the concept of truth. That intuition deals with how we can teach someone who is a competent user of an initial language (without the predicate of truth T) to use sentences that contain the predicate T. That person knows which sentences of the initial language are true and which are not. We give her the rule to assign the T attribute to the former and deny that attribute to the latter. In that way, some new sentences that contain the predicate of truth, and which were indeterminate until then, become determinate. So the person gets a new set of true and false sentences with which he continues the procedure. This intuition leads directly to the smallest fixed point of strong Kleene semantics as an analytically acceptable model for the logical notion of truth. However, since this process is usually saturated only on some transfinite ordinal, this intuition, by climbing on ordinals, increasingly becomes a metaphor. This thesis is an attempt to give an analytical solution to truth paradoxes. It gives an analysis of why and how some sentences lack the classical truth value. The starting point is basic intuition according to which paradoxical sentences are meaningful (because we understand what they are talking about well, moreover we use it for determining their truth values), but they witness the failure of the classical procedure of determining their truth value in some "extreme" circumstances. Paradoxes emerge because the classical procedure of the truth value determination does not always give a classically supposed (and expected) answer. The analysis shows that such an assumption is an unjustified generalization from common situations to all situations. We can accept the classical procedure of the truth value determination and consequently the internal semantic structure of the language, but we must reject the universality of the exterior assumption of a successful ending of the procedure. The consciousness of this transforms paradoxes to normal situations inherent to the classical procedure. Some sentences, although meaningful, when we evaluate them according to the classical truth conditions, the classical conditions do not assign them a unique value. We can assign to them the third value, \undetermined", as a sign of definitive failure of the classical procedure. An analysis of the propagation of the failure in the structure of sentences gives exactly the strong Kleene three-valued semantics, not as an investigative procedure, as it occurs in Kripke, but as the classical truth determination procedure accompanied by the propagation of its own failure. An analysis of the circularities in the determination of the classical truth value gives the criterion of when the classical procedure succeeds and when it fails, when the sentences will have the classical truth value and when they will not. It turns out that the truth values of sentences thus obtained give exactly the largest intrinsic fixed point of the strong Kleene three-valued semantics. In that way, the argumentation is given for that choice among all fixed points of all monotone three-valued semantics for the model of the logical concept of truth. An immediate mathematical description of the fixed point is given, too. It has also been shown how this language can be semantically completed to the classical language which in many respects appears a natural completion of the process of thinking about the truth values of the sentences of a given language. Thus the final model is a language that has one interpretation and two systems of sentence truth evaluation, primary and final evaluation. The language through the symbol T speaks of its primary truth valuation, which is precisely the largest intrinsic fixed point of the strong Kleene three valued semantics. Its final truth valuation is the semantic completion of the first in such a way that all sentences that are not true in the primary valuation are false in the final valuation. (shrink)

Some say the swamping problem confronts all who believe that true belief is the sole fundamental epistemic value. This, I say, is mistaken. The problem only confronts T-Monists if they grant two teleological claims: that all derived epistemic value is instrumental, and that it is the state of believing truly rather than the standard of truth in belief that is fundamentally epistemically valuable. T-Monists should reject and, and appeal to a non-teleological form of value derivation I call Fitting Response (...) Derivation that obviates swamping. Since, alas, simple reliabilists can’t apply this model to knowledge, the problem remains for them, and is local. (shrink)

It seems that no philosopher these days wants a theory of truth which can be accused of being metaphysical. But even if we agree that grandiose metaphysics is to be spurned, even if we agree that our theory of truth should be a deflated one, the controversy does not die down. A variety of deflationist options present themselves. Some, with Richard Rorty, take the notion of truth to be so wedded to metaphysics that we are advised to (...) drop it altogether. Others, with Paul Horwich, take the disquotational or equivalence schema—'p' is T if and only if p—to completely capture the content of the predicate 'is true'. And others argue that there is a conception of truth to be had which is non-metaphysical but which goes beyond the triviality expressed by the disquotational schema. (shrink)

The tendency to idealise artificial intelligence as independent from human manipulators, combined with the growing ontological entanglement of humans and digital machines, has created an “anthrobotic” horizon, in which data analytics, statistics and probabilities throw our agential power into question. How can we avoid the consequences of a reified definition of intelligence as universal operation becoming imposed upon our destinies? It is here argued that the fantasised autonomy of automated intelligence presents a contradistinctive opportunity for philosophical consciousness to understand itself (...) anew as holistic and co-creative, beyond the recent “analytic” moment of the history of philosophy. Here we introduce the concept of “crealectic intelligence”, a meta-analytic and meta-dialectic aspect of consciousness. Intelligent behaviour may consist in distinguishing discrete familiar parts or reproducible functions in the midst of noise via an analytic process of segmentation; intelligence may also manifest itself in the constitution of larger wholes and dynamic unities through a dialectic process of association or assemblage. But, by contrast, crealectic intelligence co-creates realities in the image of an ideal or truth, taking into account the desiring agent imbued with a sense of possibility, in a relationship not only with the Real but also with the creative sublime or “Creal”. (shrink)

In their recent paper Bi-facial truth: a case for generalized truth values Zaitsev and Shramko [7] distinguish between an ontological and an epistemic interpretation of classical truth values. By taking the Cartesian product of the two disjoint sets of values thus obtained, they arrive at four generalized truth values and consider two “semi-classical negations” on them. The resulting semantics is used to define three novel logics which are closely related to Belnap’s well-known four valued logic. A (...) syntactic characterization of these logics is left for further work. In this paper, based on our previous work on a functionally complete extension of Belnap’s logic, we present a sound and complete tableau calculus for these logics. It crucially exploits the Cartesian nature of the four values, which is reflected in the fact that each proof consists of two tableaux. The bi-facial notion of truth of Z&S is thus augmented with a bi-facial notion of proof. We also provide translations between the logics for semi-classical negation and classical logic and show that an argument is valid in a logic for semi-classical negation just in case its translation is valid in classical logic. (shrink)

This is a thesis in support of the conceptual yoking of analytic truth to a priori knowledge. My approach is a semantic one; the primary subject matter throughout the thesis is linguistic objects, such as propositions or sentences. I evaluate arguments, and also forward my own, about how such linguistic objects’ truth is determined, how their meaning is fixed and how we, respectively, know the conditions under which their truth and meaning are obtained. The strategy is (...) to make explicit what is distinctive about analytic truths. The objective is to show that truths, known a priori, are trivial in a highly circumscribed way. My arguments are premised on a language-relative account of analytic truth. The language relative account which underwrites much of what I do has two central tenets: 1. Conventionalism about truth and, 2. Non-factualism about meaning. I argue that one decisive way of establishing conventionalism and non-factualism is to prioritise epistemological questions. Once it is established that some truths are not known empirically an account of truth must follow which precludes factual truths being known non-empirically. The function of Part 1 is, chiefly, to render Carnap’s language-relative account of analytic truth. I do not offer arguments in support of Carnap at this stage, but throughout Parts 2 and 3, by looking at more current literature on a priori knowledge and analytic truth, it becomes quickly evident that I take Carnap to be correct, and why. In order to illustrate the extent to which Carnap’s account is conventionalist and non-factualist I pose his arguments against those of his predecessors, Kant and Frege. Part 1 is a lightly retrospective background to the concepts of ‘analytic’ and ‘a priori’. The strategy therein is more mercenary than exegetical: I select the parts from Kant and Frege most relevant to Carnap’s eventual reaction to them. Hereby I give the reasons why Carnap foregoes a factual and objective basis for logical truth. The upshot of this is an account of analytic truth (i.e. logical truth, to him) which ensures its trivial nature. In opposition to accounts of a priori knowledge, which describe it as knowledge gained from rational apprehension, I argue that it is either knowledge from logical deduction or knowledge of stipulations. I therefore reject, in Part 2, three epistemologies for knowing linguistic conventions (e.g. implicit definitions): 1. intuition, 2. inferential a priori knowledge and, 3. a posteriori knowledge. At base, all three epistemologies are rejected because they are incompatible with conventionalism and non-factualism. I argue this point by signalling that such accounts of knowledge yield unsubstantiated second-order claims and/or they render the relevant linguistic conventions epistemically arrogant. For a convention to be arrogant it must be stipulated to be true. The stipulation is then considered arrogant when its meaning cannot be fixed, and its truth cannot be determined without empirical ‘work’. Once a working explication of ‘a priori’ has been given, partially in Part 1 (as inferential) and then in Part 2 (as non-inferential) I look, in Part 3, at an apriorist account of analytic truth, which, I argue, renders analytic truth non-trivial. The particular subject matter here is the implicit definitions of logical terms. The opposition’s argument holds that logical truths are known a priori (this is part of their identification criteria) and that their meaning is factually based. From here it follows that analytic truth, being determined by factually based meaning, is also factual. I oppose these arguments by exposing the internal inconsistencies; that implicit definition is premised on the arbitrary stipulation of truth which is inconsistent with saying that there are facts which determine the same truth. In doing so, I endorse the standard irrealist position about implicit definition and analytic truth (along with the “early friends of implicit definition” such as Wittgenstein and Carnap). What is it that I am trying to get at by doing all of the abovementioned? Here is a very abstracted explanation. The unmitigated realism of the rationalists of old, e.g. Plato, Descartes, Kant, have stoically borne the brunt of the allegation of yielding ‘synthetic a priori’ claims. The anti-rationalist phase of this accusation I am most interested in is that forwarded by the semantically driven empiricism of the early 20th century. It is here that the charge of the ‘synthetic a priori’ really takes hold. Since then new methods and accusatory terms are employed by, chiefly, non-realist positions. I plan to give these proper attention in due course. However, it seems to me that the reframing of the debate in these new terms has also created the illusion that current philosophical realism, whether naturalistic realism, realism in science, realism in logic and mathematics, is somehow not guilty of the same epistemological and semantic charges levelled against Plato, Descartes and Kant. It is of interest to me that in, particularly, current analytic philosophy (given its rationale) realism in many areas seems to escape the accusation of yielding synthetic priori claims. Yet yielding synthetic a priori claims is something which realism so easily falls prey to. Perhaps this is a function of the fact that the phrase, ‘synthetic a priori’, used as an allegation, is now outmoded. This thesis is nothing other than an indictment of metaphysics, or speculative philosophy (this being the crime), brought against a specific selection of realist arguments. I, therefore, ask of my reader to see my explicit, and perhaps outmoded, charge of the ‘synthetic a priori’ levelled against respective theorists as an attempt to draw a direct comparison with the speculative metaphysics so many analytic philosophers now love to hate. I think the phrase ‘synthetic a priori’ still does a lot of work in this regard, precisely because so many current theorists wrongly think they are immune to this charge. Consequently, I shall say much about what is not permitted. Such is, I suppose, the nature of arguing ‘against’ something. I’ll argue that it is not permitted to be a factualist about logical principles and say that they are known a priori. I’ll argue that it is not permitted to say linguistic conventions are a posteriori, when there is a complete failure in locating such a posteriori conventions. Both such philosophical claims are candidates for the synthetic a priori, for unmitigated rationalism. But on the positive side, we now have these two assets: Firstly, I do not ask us to abandon any of the linguistic practises discussed; merely to adopt the correct attitude towards them. For instance, where we use the laws of logic, let us remember that there are no known/knowable facts about logic. These laws are therefore, to the best of our knowledge, conventions not dissimilar to the rules of a game. And, secondly, once we pass sentence on knowing, a priori, anything but trivial truths we shall have at our disposal the sharpest of philosophical tools. A tool which can only proffer a better brand of empiricism. (shrink)

Many philosophers still believe that metaphysically analytic sentences exist, where a sentence is understood to be metaphysically analytic if and only if it is true solely in virtue of its meaning. I provide two arguments against this claim and hence conclude that metaphysically analytic sentences do not exist. Still, some philosophers, however, hold out hope that epistemically analytic sentences exist, where a sentence is epistemically analytic if and only if an agent's understanding the sentence suffices (...) for the agent to be justified in believing that this sentence is true. One such philosopher is Paul Boghossian, whose so-called analytic theory of the a priori is intended to show how epistemically analytic sentences can explain our a priori knowledge of the truths about logic. His theory, however, relies on the dubious Argument by Implicit Definition. I provide an objection to this argument and hence conclude that Boghossian's analytic theory of the a priori fails to vindicate the notion of epistemic analyticity. Still, I concede that just because Boghossian's attempt to do so fails, it does not follow that the notion of epistemic analyticity cannot, in another way, be vindicated. (shrink)

A. J. Ayer’s Language, Truth, and Logic had been responsible for introducing the Vienna Circle’s ideas, developed within a Germanophone framework, to an Anglophone readership. Inevitably, this migration from one context to another resulted in the alteration of some of the concepts being transmitted. Such alterations have served to facilitate a number of false impressions of Logical Empiricism from which recent scholarship still tries to recover. In this paper, I will attempt to point to the ways in which LTL (...) has helped to foster the various mistaken stereotypes about Logical Empiricism which were combined into the received view. I will begin by examining Ayer’s all too brief presentation of an Anglocentric lineage for his ideas. This lineage, as we shall see, simply omits the major 19th century Germanophone influences on the rise of analytic philosophy. The Germanophone ideas he presents are selectively introduced into an Anglophone context, and directed towards various concerns that arose within that context. I will focus on the differences between Carnap’s version of the overcoming of metaphysics, and Ayer’s reconfiguration into what he calls the elimination of metaphysics. Having discussed the above, I will very briefly outline the consequences that Ayer’s radicalisation of the Vienna Circle’s doctrines had on the subsequent Anglophone reception of Logical Empiricism. (shrink)

In this paper we give an analytic tableau calculus P L 1 6 for a functionally complete extension of Shramko and Wansing’s logic. The calculus is based on signed formulas and a single set of tableau rules is involved in axiomatising each of the four entailment relations ⊧ t, ⊧ f, ⊧ i, and ⊧ under consideration—the differences only residing in initial assignments of signs to formulas. Proving that two sets of formulas are in one of the first three (...) entailment relations will in general require developing four tableaux, while proving that they are in the ⊧ relation may require six. (shrink)

Analytic philosophy has been perhaps the most successful philosophical movement of the twentieth century. While there is no one doctrine that defines it, one of the most salient features of analytic philosophy is its reliance on contemporary logic, the logic that had its origin in the works of George Boole and Gottlob Frege and others in the mid‐to‐late nineteenth century. Boolean algebra, the heart of Boole's contributions to logic, has also come to represent a cornerstone of modern computing. (...) Frege had broad philosophical interests, and his writings on the nature of logical form, meaning and truth remain the subject of intense theoretical discussion, especially in the analytic tradition. Frege's works, and the powerful new logical calculi developed at the end of the nineteenth century, influenced many of its most seminal figures, such as Bertrand Russell, Ludwig Wittgenstein and Rudolf Carnap. (shrink)

Many scholars claimed that, according to Immanuel Kant, some judgements lack a truth-value: analytic judgements, judgements about items of which humans cannot have experience, judgements of perception, and non-assertoric judgements. However, no one has undertaken an extensive examination of the textual evidence for those claims. Based on an analysis of Kant's texts, I argue that: (1) according to Kant, only judgements of perception are not truth-apt. All other judgements are truth-apt, including analytic judgements and judgements (...) about items of which humans cannot have experience. (2) Kant sometimes states that truth-apt judgements are actual bearers of truth or falsity only when they are taken to state what is actually the case. Kant calls these judgements assertoric. Other texts ascribe truth and falsity to judgements, regardless of whether they are assertoric. Kant's views on truth-aptness raise challenges for correspondentist and coherentist interpretations of Kant's theory of truth; they rule out the identification of Kant's crucial notion of objective validity with truth-aptness; and they imply that Kant was not a verificationist about truth or meaning. (shrink)

Owing to the analytic tradition, contemporary analytic existentialism deliberately avoids metaphysical discussions to the detriment of the field. Specifically, Thaddeus Metz’ Fundamentality Theory invokes metaphysical categories without adequately clarifying what they really mean. This paper aims to remedy these problems by formulating a theory of meaning in life grounded on the metaphysical category of truth. Deriving from Alain Badiou’s relevant writings, this paper formulates a theory of meaning in life based on a metaphysical notion of truth (...) with the particular advantage of compensating for Fundamentality Theory’s (1) lack of metaphysical grounding, and (2) the inherent vagueness of its two central notions: fundamentality and substantiality. I argue that the Badiouan Theory that this paper formulates opens up the field to the rich conceptual repertoire of metaphysics and that it designates substantiality as fidelity to truths, while designating truths as fundamental. (shrink)

Analytic aesthetics has had little to say about academic schools of criticism, such as Freudian, Marxist, feminist, or postcolonial perspectives. Historicists typically view their interpretations as anachronistic; non-historicists assess all interpretations according to formalist criteria. Insofar as these strategies treat these interpretations as on a par, however, they are inadequate. For the theories that ground the interpretations differ in the claims they make about the world. I argue that the interpretations of different critical schools can be evaluated according to (...) the truth or epistemic merit of these claims. (shrink)

In recent years some scholars have sought to apply the techniques of modern analytic philosophy to Plato’s writings. This has involved recasting portions of the dialogues as concisely stated deductive arguments, exploring questions relating to validity as well as to truth, exposing contradictions and equivocations, and making explicit all essential assumptions. The rationale behind this approach, as Gregory Vlastos has explained, is that ‘By means of these techniques we may now better understand some of the problems Plato attempted (...) to solve and we are, therefore, better equipped to assess the merits of his solutions.’ Even in Plato’s more literary dialogues it has proven useful to consider what views may have been established through the use of argument. The clearest instance is the Symposium where attention to details of setting and characterization combines with the presentation of philosophical arguments to produce an extraordinary account of love and its relation to beauty. -/- . (shrink)

Analyticity is a bogus explanatory concept, and is so even granting genuine synonomy. Definitions can't explain the truth of a statement, let alone its necessity and/or our a priori knowledge of it. The illusion of an explanation is revealed by exposing diverse confusions: e.g., between nominal, conceptual and real definitions, and correspondingly between notational, conceptual, and objectual readings of alleged analytic truths, and between speaking a language and operating a calculus. The putative explananda of analyticity are (alleged) truths (...) about essential properties. Real definitions (a la Socrates) are the (alleged) explananda, not the explanans of analyticity. Their truth can be explained neither by conceptual definitions (a la Kant), nor by nominal definitions (a la Frege). The Quinean assault on synonomy is unsuccessful and in any case misplaced, because analyticity turns on the explanatory import of synonomy, not its existence. Synonym substitution in a logical truth cannot yield a necessary truth for it doesn't preserve logical form. Self-identity statements (for properties and/or individuals) differ in logical form from alter-identity statements. (shrink)

AT POSTERIOR ANALYTICS 1.1.71B15 AND FOLLOWING, Aristotle identifies six characteristics of the first principles from which demonstrative science proceeds. These are traditionally grouped into two sets of three: group A: ex alêthôn, prôtôn, amêsôn; group B: gnôrimôterôn, proterôn, and aitiôn. The characteristic, which I believe has been underrated and somewhat misinterpreted by scholars and commentators from Philoponus to the present day, is the characteristic of truth. In this paper I propose to present a textually based interpretation of truth (...) that shows the following: that truth is necessarily linked to being. The example given of nonbeing, the commensurability of the diagonal with the sides of a square, suggests more than simple truth is required for first principles and premises of demonstrative science; and that Aristotle later in the APo changes this characteristic to necessary truth, for he recognizes that truth alone is an insufficient basis for scientific demonstration. The referents of necessary truth are eternal being, and the need for eternal being demands that universals exist extramentally for Aristotle. Finally, one of the important ways that universal genera and species exist for Aristotle are as real, causal principles. (shrink)

Famously, in the essay Inquiry Concerning the Distinctness of the Principles of Natural Theology and Morality (Prize Essay), Kant attempts to distance himself from the Wolffian model of philosophical inquiry. In this respect, Kant scholars have pointed out Kant’s claim that philosophy should not imitate the method of mathematics and his appeal to Newton’s “analytic method.” In this article, I argue that there is an aspect of Kant’s critique of the Wolffian model that has been neglected. Kant presents a (...) powerful attack of the idea that philosophy should proceed through the analysis of concepts and argues that we should give up the aim of arriving at “complete” concepts as one of its fundamental desiderata. Importantly, this attack of philosophy conceived as conceptual analysis is distinctive and original if one compares it with Kant’s critique of analysis in the Critique of Pure Reason, which rests on the idea that analysis is insufficient to ground substantial metaphysical truths. I also make an additional point: Scholars have debated whether the appeal to Newton’s analytic method involves a form of empiricism. I submit that this debate is ill-conceived because Kant uses a notion of “given concepts” that is indeterminate with respect to their a priori or a posteriori status. (shrink)

This paper examines the intersecting of the themes of temporality and truth in Deleuze's philosophy. For the ancients, truth was something eternal: what was true was true in all times and in all places. Temporality (coming to be and passing away) was the realm of the mutable, not the eternal. In the seventeenth century, change began to be seen in a positive light (progress, evolution, and so on), but this change was seen to be possible only because of (...) the immutable laws of nature that govern change. It was not until philosophers such as Bergson, James, Whitehead – and then Deleuze – that time began to be taken seriously on its own account. On the one hand, in Deleuze, time, freed from its subordination to movement, now becomes autonomous: it is the pure form of change (continuous variation) that lies at the basis of Deleuze's metaphysics in Difference and Repetition (and is explored more thematically in The Time-Image). As a result, on the other hand, the false, freed from its subordination to the form of the true, assumes a power of its own (the power of the false), which in turn implies a new ‘analytic of the concept’ that Deleuze develops in What Is Philosophy? (shrink)

An introduction to the special issue of the Journal “Forum Philosophicum” that contains nine studies dealing with a cluster of metaphysical questions of cross-cultural importance: H. Watzka, “A new realistic spirit: the analytical and the existential approaches to ontology”; P. Gilbert, “Voilà pourquoi je ne suis pas ‘ontologue’; P. Favraux, “La pertinence de l’ontologie pour la théologie”; E. Charmetant, "Naturalisme contemporain et ontologie humaine : vers un essentialisme différent"; J. Bremer, "Aristotle on touch”; T. Walsh, "Bonum est causa mali: a (...) problem and an opportunity for metaphysics in the thought of Thomas Aquinas and Hegel”; A. J. Carroll, “Disenchantment, rationality and the modernity of Max Weber”; G. Karuvelil, “Religious experience: reframing the question”; L. Caruana “Universal claims”. (shrink)

This paper examines the nature of analytical philosophy, its need and the importance in the contemporary world. In this write up I will investigate the role of logic, mind and language in the field of awnalytical philosophy. It further determines the development of clarification of complex statements into simple statements. What makes analytical philosophy unique and what are the major significance that differentiates analytical philosophy from philosophy of mind, philosophy of logic and philosophy of language. Analytical philosophy is the process (...) of analysis in which we proceed from complexity to simplicity and clarity. In analytical philosophy, philosophers are using analytical method to uncover those truths of the world and reality which are covered with linguistic ambiguity. Language plays an important role in analytical philosophy because the clarification and simplification is the business of analytical philosophy. World is made up of facts and facts are expressed and analyzed in language. Language is the representation of the world. I will also show the major contribution of analytical philosophers in explaining atomic world. (shrink)

This paper attempts a reconstruction of reason’s contribution to empirical truth in connection with Kant’s definition of truth as the agreement of cognition with its object. I argue that Kant’s treatment of truth in the Transcendental Analytic gets completed in the Appendix to the Transcendental Dialectic with an often neglected but compelling argument (what I shall call the Variety Argument). This argument postulates such a variety in the appearances as to undermine any attempt at formulating empirical (...) truths. Crucially, I argue that this variety does not depict an extreme-case scenario, but our own epistemic situation without reason. Reason completes Kant’s theory of truth by allowing the understanding (i.) to form empirical concepts and (ii.) approximate to empirical truth. (shrink)

Many philosophers regard the persistence of philosophical disputes as symptomatic of overly ambitious, ill-founded intellectual projects. There are indeed strong reasons to believe that persistent disputes in philosophy (and more generally in the discourse at large) are pointless. We call this the pessimistic view of the nature of philosophical disputes. In order to respond to the pessimistic view, we articulate the supporting reasons and provide a precise formulation in terms of the idea that the best explanation of persistent disputes entails (...) that they are pointless. We then show how to answer the pessimistic argument. Taking a well-known mathematical controversy as our paradigm example, we argue that some persistent disputes reflect substantive disagreements at the “meta-analytic” level, i.e., disagreements about the best way, among quite different candidates, to understand the topic at issue, and the best associated cluster of analytic truths one should accept concerning it. Moreover, our concrete example shows that such meta-analytic disagreements can in principle be settled and yield a genuine theoretical (as opposed to merely pragmatic) breakthrough. We conclude optimistically that persistent disputes can be an important means of fostering epistemic progress. (shrink)

A critical survey of Quine's arguments against the analytic/synthetic distinction.

We present Backward Clock, an original counterexample to Robert Nozick’s truth-tracking analysis of propositional knowledge, which works differently from other putative counterexamples and avoids objections to which they are vulnerable. We then argue that four ways of analysing knowledge in terms of safety, including Duncan Pritchard’s, cannot withstand Backward Clock either.

Truthmaker says that things, broadly construed, are the ontological grounds of truth and, therefore, that things make truths true. Recently, there have been a number of arguments purporting to show that if one embraces Truthmaker, then one ought to embrace Truthmaker Maximalism—the view that all non-analytic propositions have truthmakers. But then if one embraces Truthmaker, one ought to think that negative existentials have truthmakers. I argue that this is false. I begin by arguing that recent attempts by Ross (...) Cameron and Jonathan Schaffer to provide negative existentials with truthmakers fail. I then argue that the conditional—if one embraces Truthmaker, the one ought to embrace Truthmaker Maximalism—is false by considering worlds where very little, if anything at all, exists. The conclusion is that thinking that negative existentials do not have truthmakers, and therefore rejecting Truthmaker Maximalism, need not worry Truthmaker embracers. (shrink)

Philosophy is the science of the science; it is the analysis of the assumptions underlying empirical inquiry. Given that these assumptions cannot possibly be examined or even identified on the basis of empirical data, it follows that philosophy is a non-empirical discipline. And given that our linguistic and cultural practices cannot possibly be examined or even identified except on the basis of empirical data, it follows that philosophical questions are not linguistic questions and do not otherwise concern our conventions or (...) our cultural practices. This entails that philosophical truths are not tautologous or otherwise trivial. It also entails that empiricism is false and, therefore, that Platonism is correct. Given a clear understanding of why Platonism is correct and of what this implies, a number of shibboleths of contemporary analytic philosophy are speedily demolished and are no less speedily replaced with independently corroborated and intuitively plausible alternatives. New answers are given to age-old questions concerning scientific explanation, causal and logical dependence, linguistic meaning, personal identity, the structure of the psyche, and the nature of personal responsibility. Existing answers to these question are thoroughly considered and duly extended, modified, or replaced. Every technical term is defined; every philosophy-specific concept is explained; and the positions defended are consistent with commonsense, so far as their being consistent with the relevant data allows them to be. Therefore, this book is intelligible to philosophically minded laymen. At the same time, it is appropriate for advanced scholars, given that it defends original viewpoints and given also that, even though it discusses old viewpoints, it does so in new ways. Because it is clearly written, it is intelligible to neophytes; but it is not an introductory text and it is not a textbook. There are two appendices: the first, a thorough exposition of the rudiments of formal logic, along with the conceptual underpinnings of that discipline; the second, a definition and analytic discussion of each technical term that occurs in the text. Most of the chapters are followed by study-questions and by practice tests. (shrink)

We argue that if Stephen Yablo (2005) is right that philosophers of mathematics ought to endorse a fictionalist view of number-talk, then there is a compelling reason for deflationists about truth to endorse a fictionalist view of truth-talk. More specifically, our claim will be that, for deflationists about truth, Yablo’s argument for mathematical fictionalism can be employed and mounted as an argument for truth-theoretic fictionalism.

Two of Quine's most familiar doctrines are: that there is a distinction between underdetermination and indeterminacy; and that there is no distinction between analytic and synthetic truths. An argument is given that these two doctrines are incompatible. In terms wholly acceptable to Quine and based on the underdetermination/indeterminacy distinction, an exhaustive and exclusive distinction is drawn between two kinds of true sentences, which, it is argued, corresponds to the traditional analytic/synthetic distinction. An appendix is used to develop one (...) aspect of the underdetermination/indeterminacy distinction, as construed here, and to discuss, in passing, some of Quine’s more general views on truth. (shrink)

Fictional and non-fictional texts rely on the same language to express their meaning; yet many philosophers in the analytic tradition would say, with reason, that fictional texts literally make no truth claims, or more modestly that the rhetorical and literary devices to which fiction and non-fiction writers alike have recourse are unconnected to truth or have no propositional content. These related views are associated with a doctrine in the philosophy of language, most notably advanced by the late (...) Donald Davidson, which holds that we understand the semantic structure of a language by applying to it a theory of truth, which involves discovering the truth conditions of its sentences. This approach to semantic theory raises several seemingly intractable problems, such as the problem of stating the meaning of non-declarative sentences, e.g. questions and imperatives. The chief aim of this paper will be to try to dispel these problems by suggesting an adjustment in Davidson’s account of the relation of truth to meaning, one which will also allow us to picture such troublesome linguistic items as metaphor within a semantic theory, and to expand the range of objects which can be brought into a general theory of meaning. (shrink)