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)

This article informally presents a solution to the paradoxes of truth and shows how the solution solves classical paradoxes (such as the original Liar) as well as the paradoxes that were invented as counterarguments for various proposed solutions (“the revenge of the Liar”). This solution complements the classical procedure of determining the truth values of sentences by its own failure and, when the procedure fails, through an appropriate semantic shift allows us to express the failure in a classical two-valued language. (...) Formally speaking, the solution is a language with one meaning of symbols and two valuations of the truth values of sentences. The primary valuation is a classical valuation that is partial in the presence of the truth predicate. It enables us to determine the classical truth value of a sentence or leads to the failure of that determination. The language with the primary valuation is precisely the largest intrinsic fixed point of the strong Kleene three-valued semantics (LIFPSK3). The semantic shift that allows us to express the failure of the primary valuation is precisely the classical closure of LIFPSK3: it extends LIFPSK3 to a classical language in parts where LIFPSK3 is undetermined. Thus, this article provides an argumentation, which has not been present in contemporary debates so far, for the choice of LIFPSK3 and its classical closure as the right model for the truth predicate. In the end, an erroneous critique of Kripke-Feferman axiomatic theory of truth, which is present in contemporary literature, is pointed out. (shrink)

Philosophy and Phenomenological Research, EarlyView.

In Pietroski ( 2018 ) a simple representation language called SMPL is introduced, construed as a hypothesis about core conceptual structure. The present work is a study of this system from a logical perspective. In addition to establishing a completeness result and a complexity characterization for reasoning in the system, we also pinpoint its expressive limits, in particular showing that the fourth corner in the square of opposition (“ Some_not ”) eludes expression. We then study a seemingly small extension, called (...) SMPL +, which allows for a minimal predicate-binding operator. Perhaps surprisingly, the resulting system is shown to encode precisely the concepts expressible in first-order logic. However, unlike the latter class, the class of SMPL + expressions admits a simple procedural (context-free) characterization. Our contribution brings together research strands in logic—including natural logic, modal logic, description logic, and hybrid logic—with recent advances in semantics and philosophy of language. (shrink)

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

The notions of belief and truth frequently interact in philosophical discourse but, surprisingly, a coherent semantics for such discourse is still wanting. Indeed, a number of puzzles stand in way of a satisfactory semantic account of the notion of truth in doxastic contexts. In this paper we discuss these puzzles and develop a more satisfactory semantic account that combines ideas from contextualist theories of attitude reports and Awareness semantics for non-idealized belief.

Translated from: W.V.O.Quine, W. H. O. (1986): Philosophy of Logic. Second Edition. Harvard University Press. Cambridge, Massachusetts and London, England, 47-61.

La vérité est le degré d’exactitude d’une représentation de la réalité. Nous postulons trois étapes cognitives : le psychon, produit par la perception ; le construit, produit par intellection; et l’acte de parole, produit par la communication. La vérité se trouve à la seconde étape; seuls les construits sont aléthiques. La vérité est une qualité qui vient en degrés. La certitude est le point d’aboutissement parfait et inaccessible de cette gradation ; il s’agit donc d’un concept idéal. Une thèse est (...) réputée vraie si son degré aléthique est acceptablement efficace, sinon la thèse est considérée comme fausse. En d’autres termes, nous jugeons vraie toute thèse n’ayant pas assez d’échecs pour qu’elle soit considérée fausse. (shrink)

This paper discusses the epistemic status of biology from the standpoint of the systemic approach to living systems based on the notion of biological autonomy. This approach aims to provide an understanding of the distinctive character of biological systems and this paper analyses its theoretical and epistemological dimensions. The paper argues that, considered from this perspective, biological systems are examples of emergent phenomena, that the biological domain exhibits special features with respect to other domains, and that biology as a discipline (...) employs some core concepts, such as teleology, function, regulation among others, that are irreducible to those employed in physics and chemistry. It addresses the claim made by Jacques Monod that biology as a science is marginal. It argues that biology is general insofar as it constitutes a paradigmatic example of complexity science, both in terms of how it defines the theoretical object of study and of the epistemology and heuristics employed. As such, biology may provide lessons that can be applied more widely to develop an epistemology of complex systems. (shrink)

This article is a preliminary presentation of conjunctive paraconsistency, the claim that there might be non-explosive true contradictions, but contradictory propositions cannot be considered separately true. In case of true ‘p and not p’, the conjuncts must be held untrue, Simplification fails. The conjunctive approach is dual to non-adjunctive conceptions of inconsistency, informed by the idea that there might be cases in which a proposition is true and its negation is true too, but the conjunction is untrue, Adjunction fails. While (...) non-adjunctivism is a well-known option, the other view is not so much studied nowadays, but it was not unknown in the tradition, and there are some positive suggestions, in recent literature, that the position is plausible and deserves to be developed. The article compares conjunctivism, non-adjunctivism and dialetheism, then focuses on some possible justifications, costs and benefits of the conjunctive view. (shrink)

This paper examines to what extent Davidsonian truth-theoretic semantics can give an adequate account for empty names in natural languages. It argues that the prospect is dim because of a tension between metaphysical austerity, non-vacuousness of theorems and empirical adequacy. Sainsbury (2005) proposed a Davidsonian account of empty names called ‘Reference Without Referents’ (RWR), which explicates reference in terms of reference-condition rather than referent, thus avoiding the issue of existence. This is an inspiring account. However, it meets several difficulties. First, (...) there is no non-vacuous, interpretive truth-condition available for any T-sentence containing an empty name, because by stipulation there is no way to compose a true atomic sentence using an empty name in RWR. The absence of an interpretive truth-condition implies the absence of an interpretive reference-condition. It also entails empirical inadequacy to support an interpretation because the related propositional attitude can never be truly satisfied. These considerations cast doubt on whether truth is the proper vehicle to articulate meaning. This paper suggests that we can alleviating the problem by employing truth-conditions varying across contexts of utterance, rather than just contexts of evaluation. The result is a two-dimensional model-theoretic approach to empty names. It involves a new function coined counterfactual reference and the account is compatible with both descriptivism and Millianism. (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.

Perner and Roessler Causing human action: new perspectives on the causal theory of action, MIT Press, Cambridge, MA, pp 199–228, 2010) hold that children who do not yet have an understanding of subjective perspectives, i.e., mental states, explain actions by appealing to objective facts. In this paper, we criticize this view. We argue that in order to understand objective facts, subjects need to understand perspectives. By analysing basic fact-expressing assertions, we show that subjects cannot refer to facts if they do (...) not understand two types of perspectivity, namely, spatial and doxastic perspectivity. To avoid conceptual confusion regarding different ways of referring to facts, we distinguish between reference to facts de re and de dicto. (shrink)

A characterization of epistemic rationality, or epistemic justification, is typically taken to require a process of conceptual clarification, and is seen as comprising the core of a theory of (epistemic) rationality. I propose to explicate the concept of rationality. -/- It is essential, I argue, that the normativity of rationality, and the purpose, or goal, for which the particular theory of rationality is being proposed, is taken into account when explicating the concept of rationality. My position thus amounts to an (...) instrumentalist position about theories of epistemic rationality. Since there are different purposes, or goals, for which theories of rationality are proposed, the method of explication leaves room for different characterizations of rationality. I focus on two such (kinds of) purposes: first, the purpose of guiding the formation (or maintenance) of doxastic states and, second, the purpose of assessing (the formation or maintenance of) doxastic states. I conclude by outlining a pluralistic picture concerning rationality. (shrink)

If there is something (P) that every possible agent is committed to value, and certain actions or attitudes either enhance or diminish P, then normative claims about a range of intentional actions can be objectively and non-trivially evaluated. I argue that the degree of existence as an agent depends on the consistency of reflexive-relating with other individuals of the agent-kind: the ontological thesis. I then show that in intending to act on a reason, every agent is rationally committed to value (...) ‘above all else’ being an agent, what consists in exercising the capacity to act and having the freedom to discriminate between more or less valuable actions: the transcendental thesis. Since the degree of possession of this personal but non-contingent good depends on relating to other agents in a special way, certain actions and attitudes may be objectively right or wrong for all agents. (shrink)

The informal logic movement began as an attempt to develop – and teach – an alternative logic which can account for the real life arguing that surrounds us in our daily lives – in newspapers and the popular media, political and social commentary, advertising, and interpersonal exchange. The movement was rooted in research and discussion in Canada and especially at the University of Windsor, and has become a branch of argumentation theory which intersects with related traditions and approaches (notably formal (...) logic, rhetoric and dialectics in the form of pragma-dialectics). In this volume, some of the best known contributors to the movement discuss their views and the reasoning and argument which is informal logic’s subject matter. Many themes and issues are explored in a way that will fuel the continued evolution of the field. Federico Puppo adds an insightful essay which considers the origins and development of informal logic and whether informal logicians are properly described as a “school” of thought. In considering that proposition, Puppo introduces readers to a diverse range of essays, some of them previously published, others written specifically for this volume. (shrink)

El término “conocimiento” y la disciplina filosófica que lo estudia —la teoría del conocimiento— han experimentado notables cambios hasta el presente. La teoría clásica concibe el conocimiento en íntima unión con la verdad, como una captación intelectual de realidades necesarias e inmutables. Con la llegada de la modernidad, la difusión de un clima escéptico puso en duda esta pretensión, cuestionando la aptitud misma del conocimiento para la verdad. Esta duda ha presidido toda la modernidad hasta el presente. Para responder al (...) desafío escéptico, las principales corrientes de la llamada epistemología analítica contemporánea han intentado, sin éxito, explorar el carácter justificante del conocimiento. En este intento, han destacado teorías encaminadas a mostrar que el conocimiento recibe su justificación desde un fundamento, como el fundacionismo y el coherentismo; teorías encaminadas a mostrar que el conocimiento recibe su justificación desde sus fuentes, como el externismo y el internismo; y teorías encaminadas a mostrar que la recibe por las facultades cognitivas mismas como instrumentos de conocimiento fiables, como la epistemología de la virtud. Todas ellas generan, a su vez, nuevas paradojas e imponen la necesidad de volver a los fundamentos de esta disciplina, presentes en la teoría clásica, para descubrir la conexión entre conocimiento y verdad, e intentar detener el desafío escéptico. (shrink)

In Replacing Truth, Scharp takes the concept of truth to be fundamentally incoherent. As such, Scharp reckons it to be unsuited for systematic philosophical theorising and in need of replacement – at least for regions of thought and talk which permit liar sentences and their ilk to be formulated. This replacement methodology is radical because it not only recommends that the concept of truth be replaced, but that the word ‘true’ be replaced too. Only Tarski has attempted anything like it (...) before. I dub such a view Conceptual Marxism. In assessing this view, my goals are fourfold: to summarise the many components of Scharp’s theory of truth; to highlight what I take to be some of the excess baggage carried by the view; to assess whether, and to what extent, the extreme methodology on offer is at all called for; finally, to briefly propose a less radical replacement strategy for resolving the liar paradox. (shrink)

‘Puzzles’, ‘word games’, ‘logical anomalies’, whatever we call them, they perplex us and challenge our familiar patterns of reasoning. One of these puzzles, among many others, originated from the mind of an ancient Megarian logician, Eubulides of Miletus, and endures to the modern day.1 Its name, ‘sorites’, can be traced to the Greek word soros, meaning ‘heap.’ The answer to whether one grain of sand ‘is a heap’ or ‘is not a heap’ seems quite simple: it is not a heap. (...) However, as we add grains to the one, at what future point does the non-heap become a heap? Our decision is fraught with uncertainty. Are the objects or the language we are using to describe them vague? In academic philosophy, the ancient Greek puzzle has gained the status of a paradox, as philosophers apply stoic and modern logic to these propositions considered to have vague predicates. The current debate has developed quite serious and wide-ranging implications, such as whether sorites issues provide adequate grounds for abandoning our standard ontology (or our understanding of what really exists), 2 and (germinating into another discipline) whether vagueness in the language of legal rules can generate disagreement as to whether there are right answers to questions of law. 3 Several unique solutions to the paradox have been proposed, yet all suffer from specific inadequacies that might, upon further reflection, disappear in the event that we endeavour to produce a synthesis. When we say that we are attempting to derive a synthesis, we seek to combine elements of two solutions for the sake of creating a new (and hopefully, though not necessarily, a better) one. The paradox of the sorites, or ‘the heap’, appeals to us because it challenges our assumption that we may categorically describe clear cases and their negations, yet fail to distinguish the borderline ones. I will demonstrate that some combinations of solutions are easy fits while others are extremely weak and awkward as attempts at resolving the paradox. Nonetheless, the process of synthesis produces three noteworthy combinations. (shrink)

On a common reading of Davidson, the motivation for his proposal that a meaning theory is to take the form of a truth theory is at least partly guided by concern with the ends and means of interpretation. At the same time, the consensus seems to be that this proposal faces a particularly stubborn justificatory burden. The aim of this paper is twofold: first, to suggest that there is a promising route to discharging this burden, albeit one that is visible (...) only once we shift our attention away from the so-called ‘problem of interpretation’; second, to make the case that, contrary to initial appearances, the line of justification offered here gives us a plausible interpretation of Davidson’s own goals. (shrink)

This thesis engages with three topics and the relationships between them: (i) the phenomenon of disagreement (paradigmatically, where one person makes a claim and another denies it); (ii) the normative character of disagreements (the issue of whether, and in what sense, one of the parties is “at fault” for believing something that’s untrue); (iii) the issue of which theory of what truth is can best accommodate the norms relating belief and truth. People disagree about all sorts of things: about whether (...) climate is changing, death penalty is wrong, sushi is delicious, or Louis C.K. is funny. However, even focusing on disagreements in the evaluative domain (e.g., taste, moral and comedic), where people have the intuition that there is ‘no fact of the matter’ about who is right, there are significant differences that require explanation. For instance, disagreement about taste is generally perceived as shallow. People accept to disagree and live comfortably with that fact. By contrast, moral disagreement is perceived as deep and sometimes hard to tolerate. Comedic disagreement is similar to taste. However, it may involve an element of ‘intellectual snobbery’ that is absent in taste disagreement. The immediate questions are whether these contrasts allow of precise characterization and what is responsible for them. I argue that, once a case is made for the truth-aptness of judgments in these areas, the contrast can be explained in terms of variable normative function of truth – as exerting a lightweight normative constraint in the domain of taste and a stricter constraint in the moral domain. In particular I claim that while truth in the moral domain exerts a sui generis deontic control, this normative feature of truth is silent in both the taste and the comedic domains. This leads me to investigate how to conceive of truth in the light of normative variability. I argue that an amended version of deflationism – minimally inflated deflationism – can account for the normative variability of truth. (shrink)

Esta enciclopédia abrange, de uma forma introdutória mas desejavelmente rigorosa, uma diversidade de conceitos, temas, problemas, argumentos e teorias localizados numa área relativamente recente de estudos, os quais tem sido habitual qualificar como «estudos lógico-filosóficos». De uma forma apropriadamente genérica, e apesar de o território teórico abrangido ser extenso e de contornos por vezes difusos, podemos dizer que na área se investiga um conjunto de questões fundamentais acerca da natureza da linguagem, da mente, da cognição e do raciocínio humanos, bem (...) como questões acerca das conexões destes com a realidade não mental e extralinguística. A razão daquela qualificação é a seguinte: por um lado, a investigação em questão é qualificada como filosófica em virtude do elevado grau de generalidade e abstracção das questões examinadas (entre outras coisas); por outro, a investigação é qualificada como lógica em virtude de ser uma investigação logicamente disciplinada, no sentido de nela se fazer um uso intenso de conceitos, técnicas e métodos provenientes da disciplina de lógica. O agregado de tópicos que constitui a área de estudos lógico-filosóficos é já visível, pelo menos em parte, no Tractatus Logico-Philosophicus de Ludwig Wittgenstein, uma obra publicada em 1921. E uma boa maneira de ter uma ideia sinóptica do território disciplinar abrangido por esta enciclopédia, ou pelo menos de uma porção substancial dele, é extrair do Tractatus uma lista dos tópicos mais salientes aí discutidos; a lista incluirá certamente tópicos do seguinte género, muitos dos quais se podem encontrar ao longo desta enciclopédia: factos e estados de coisas; objectos; representação; crenças e estados mentais; pensamentos; a proposição; nomes próprios; valores de verdade e bivalência; quantificação; funções de verdade; verdade lógica; identidade; tautologia; o raciocínio matemático; a natureza da inferência; o cepticismo e o solipsismo; a indução; as constantes lógicas; a negação; a forma lógica; as leis da ciência; o número. (shrink)

Conceptual Engineering alleges that philosophical problems are best treated via revising or replacing our concepts (or words). The goal here is not to defend Conceptual Engineering but rather show that it can (and should) invoke Neutralism—the broad view that philosophical progress can take place when (and sometimes only when) a thoroughly neutral, non-specific theory, treatment, or methodology is adopted. A neutralist treatment of one form of skepticism is used as a case study and is compared with various non-neutral rivals. Along (...) the way, a new taxonomy for paradox is proposed. (shrink)

I examine three ‘anti-object’ metaphysical views: nihilism, generalism, and anti-quantificationalism. After setting aside nihilism, I argue that generalists should be anti-quantificationalists. Along the way, I attempt to articulate what a ‘metaphysically perspicuous’ language might even be.

Composition as Identity is the view that an object is identical to its parts taken collectively. I elaborate and defend a theory based on this idea: composition is a kind of identity. Since this claim is best presented within a plural logic, I develop a formal system of plural logic. The principles of this system differ from the standard views on plural logic because one of my central claims is that identity is a relation which comes in a variety of (...) forms and only one of them obeys substitution unrestrictedly. I justify this departure from orthodoxy by showing some problems which result from attempts to avoid inconsistencies within plural logic by means of postulating other non-singular terms besides plural terms. Thereby, some of the main criticisms raised against Composition as Identity can be addressed. Further, I argue that the way objects are arranged is relevant with respect to the question which object they compose, i.e. to which object they are identical to. This helps to meet a second group of arguments against Composition as Identity. These arguments aim to show that identifying composite objects on the basis of the identity of their parts entails, contrary to our common sense view, that rearranging the parts of a composite object does not leave us with a different object. Moreover, it allows us to carve out the intensional aspects of Composition as Identity and to defend mereological universalism, the claim that any objects compose some object. Much of the pressure put on the latter view can be avoided by distinguishing the question whether some objects compose an object from the question what object they compose. Eventually, I conclude that Composition as Identity is a coherent and plausible position, as long as we take identity to be a more complex relation than commonly assumed. (shrink)

I here present and defend what I call the Triviality Theory of Truth, to be understood in analogy with Matti Eklund’s Inconsistency Theory of Truth. A specific formulation of is defended and compared with alternatives found in the literature. A number of objections against the proposed notion of meaning-constitutivity are discussed and held inconclusive. The main focus, however, is on the problem, discussed at length by Gupta and Belnap, that speakers do not accept epistemically neutral conclusions of Curry derivations. I (...) first argue that the facts about speakers’ reactions to such Curry derivations do not constitute a problem for the Triviality Theory specifically. Rather, they follow from independent, uncontroversial facts. I then propose a solution which coheres with the theory as I understand it. Finally, I consider a normative reading of their objection and offer a response. (shrink)

No evangelistic erroneous network of ideas can guarantee the satisfaction of these two demands : (1) propagate the network without revision and (2) completely insulate itself against losses in credibility and adherents through criticism. If a network of ideas is false, or inconsistent or fails to solve its intended problem, or unfeasible, or is too costly in terms of necessarily forsaken goals, its acceptability may be undermined given only true assumptions and valid arguments. People prefer to adopt ideologies that (i) (...) are logically consistent, (ii) are more truth-like and of higher information content than their rivals, (iii) are systematically organised, (iv) solve their problems better than their rivals, (v) do not contain unfeasible demands, and (vi) do not contain uneconomic demands. Truth and validity therefore act as Darwinian-like filters on ideologies. Using Popper's notion of situational analysis and with reference to Darwinian evolution, considered as a special case of the former, and Bartley's theory of comprehensively critical rationalism I argue that a propagandist cannot guarantee his message or his movement from sound criticism. All positions are in a methodological sense open to argument. Moreover, the logic of a propagandist's situation constrains him into making his message and himself open to criticism in order to maximize its chances of being propagated through the population. But he then loses control of the message in two respects. Firstly, his audience are disposed to select from the competing ideas they encounter those that satisfy (i) to (vi) because of man's evolutionary history. Secondly, he cannot guarantee protection from criticism even a privileged section of his message because he cannot predict in a systematic way what logical repercussions each protective reformulation of the ideology will have on other sections of the ideology and what criticism the ideology will encounter. He cannot do the latter because of certain logical properties of theories that endow them with unfathomable depths. Marxism and Freudianism serve as case studies, especially for the analysis of Popper's notion of the immunizing stratagem, a methodological/logical device that is supposed to save theories from criticism. "Immunizing stratagems" either abandon the ideology they are meant to protect or seriously lower its chances of being reproduced. (shrink)

Neutralism is the broad view that philosophical progress can take place when (and sometimes only when) a thoroughly neutral, non-specific theory, treatment, or methodology is adopted. The broad goal here is to articulate a distinct, specific kind of sorites paradox (The Observational Sorites Paradox) and show that it can be effectively treated via Neutralism.

Kit Fine has argued that the Tarski Semantics for the language of first order logic is inadequate. A semantic theory for FOL is inadequate if there are formulae of FOL whose meanings or satisfaction conditions it cannot compositionally account for. It is argued here that Fine’s case against Tarski rests on a mistake.

Minimalists about truth contend that traditional inflationary theories systematically fail to explain certain facts about truth, and that this failure licenses a ‘reversal of explanatory direction’. Once reversed, they purport that their own minimal theory adequately explains all of the facts involving truth. But minimalists’ main objection to inflationism seems to misfire, and the subsequent reversal of explanatory direction, if it can be made sense of, leaves minimalism in no better explanatory position; and even if the objection were serviceable and (...) the reversal legitimate, minimalists’ adequacy thesis is still implausible. (shrink)

A seventeenth-century scholastic attempt to restrict the truthmaker principle to positive truths.

We argue that distinct conditionals—conditionals that are governed by different logics—are needed to formalize the rules of Truth Introduction and Truth Elimination. We show that revision theory, when enriched with the new conditionals, yields an attractive theory of truth. We go on to compare this theory with one recently proposed by Hartry Field.

Curry's paradox for "if.. then.." concerns the paradoxical features of sentences of the form "If this very sentence is true, then 2+2=5". Standard inference principles lead us to the conclusion that such conditionals have true consequents: so, for example, 2+2=5 after all. There has been a lot of technical work done on formal options for blocking Curry paradoxes while only compromising a little on the various central principles of logic and meaning that are under threat. -/- Once we have a (...) sense of the technical options, though, a philosophical choice remains. When dealing with puzzles in the logic of conditionals, a natural place to turn is independently motivated semantic theories of the behaviour of "if... then...". This paper argues that the closest-worlds approach outlined in Nolan 1997 offers a philosophically satisfying reason to deny conditional proof and so block the paradoxical Curry reasoning, and can give the verdict that standard Curry conditionals are false, along with related "contraction conditionals". (shrink)

Friedrich Nietzsche and Luitzen Egbertus Jan Brouwer had strong personalities and freely expressed unconventional opinions. In particular, they dared to challenge the traditional view that considered Aristotelian logic as being absolute and intrinsic to man. Although they formed this opinion in different ways and in different contexts, they both based it on a view of life that considered it as a struggle for power in which logic was a weapon. Therefore, it is interesting to carry out an in-depth analysis on (...) the origins, the core of their opinions concerning logic and the consequences. As a matter of fact, a detailed analysis and a comparison of their contributions to the philosophy of logic have not yet been carried out. In this paper, I intend to present the results of my research.. (shrink)

This is a collection of my essays in the philosophy of science which have been translated into Spanish.

In this paper we explain our pretense account of truth-talk and apply it in a diagnosis and treatment of the Liar Paradox. We begin by assuming that some form of deflationism is the correct approach to the topic of truth. We then briefly motivate the idea that all T-deflationists should endorse a fictionalist view of truth-talk, and, after distinguishing pretense-involving fictionalism (PIF) from error- theoretic fictionalism (ETF), explain the merits of the former over the latter. After presenting the basic framework (...) of our PIF account of truth-talk, we demonstrate a few advantages it offers over T-deflationist accounts that do not explicitly acknowledge pretense at work in the discourse. In turning to the Liar Paradox, we explain how the quasi-anaphoric functioning that our account attributes to truth-talk provides a diagnosis of the Liar Paradox (and other instances of semantic pathology) as having no content—in the sense of not specifying any of what we call M-conditions. At the same time, however, we vindicate the intuition that we can understand liar sentences, thereby avoiding one standard objection to “meaningless strategy” responses to the Liar Paradox. With this diagnosis in place, we then, by way of treatment, introduce a new predicate, ‘semantically defective’, and show how the explanation we give for its application allows for a consistent, yet revenge-immune, (dis)solution of the Liar Paradox, and semantic pathology generally. (shrink)

According to Armstrong (amongst others) ‘any truth, should depend for its truth for something “outside” it’ where this one-way dependency is explained in terms of the asymmetric relationship that obtains between a truth and its truth-maker. But there’s no need to appeal to truth-makers to make sense of this dependency. The truth of a proposition is essentially determined by the interlocking semantic mechanism of reference and satisfaction which already ensures that the truth-value of a proposition depends on how things stand (...) outside it. By contrast, how things stand outside of a proposition is determined by other worldly mechanisms that have nothing to do with truth. (shrink)

In this paper, we show how an internal tension in Wilfrid Sellars’s understanding of truth, as well as an external tension in his account of meaning attribution, can be resolved while adhering to a Sellarsian spirit, by appealing to the particular fictionalist accounts of truth-talk and proposition-talk that we have developed elsewhere.

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

This essay considers arguments for and against syntactical constraints on the proper formalization of definitions, originally owing to Alfred Tarski. It discusses and refutes an application of the constraints generalized to include a prohibition against not only object-place but also predicate-place variables in higher-order logic in a criticism of a recent effort to define the concept of heterologicality in a strengthened derivation of Grelling's paradox within type theory requirements. If the objections were correct, they would offer a more general moral (...) for the proper formal definition of terms in philosophical logic. The criticism nevertheless seems mistaken both in the substance and specific application with respect to legitimate synctactical constraints on definitions of key concepts in the case of Grelling's paradox. As such, the critique provides no justification for overturning previous conclusions concerning the possibility of resurrecting a type-observant version of Grelling's heterologicality paradox. (shrink)

I here argue for a particular formulation of truth-deflationism, namely, the propositionally quantified formula, (Q) “For all p, <p> is true iff p”. The main argument consists of an enumeration of the other (five) possible formulations and criticisms thereof. Notably, Horwich’s Minimal Theory is found objectionable in that it cannot be accepted by finite beings. Other formulations err in not providing non-questionbegging, sufficiently direct derivations of the T-schema instances. I end by defending (Q) against various objections. In particular, I argue (...) that certain circularity charges rest on mistaken assumptions about logic that lead to Carroll’s regress. I show how the propositional quantifier can be seen as on a par with first-order quantifiers and so equally acceptable to use. While the proposed parallelism between these quantifiers is controversial in general, deflationists have special reasons to affirm it. I further argue that the main three types of approach the truth-paradoxes are open to an adherent of (Q), and that the derivation of general facts about truth can be explained on its basis. (shrink)

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

For most of the major philosophers of the seventeenth and eighteenth centuries, human cognition was understood as involving the mind’s reflexive grasp of its own contents. But other important figures have described the very idea of a reflexive thought as incoherent. Ryle notably likened the idea of a reflexive thought to an arm that grasps itself. Recent work in philosophy, psychology, and the cognitive sciences has greatly clarified the special epistemic and semantic properties of reflexive thought. This article is an (...) attempt to give an explicit characterization of the structure of reflexive thoughts that explains those properties and avoids the complaints of its critics. (shrink)

The paper discusses the Inconsistency Theory of Truth (IT), the view that “true” is inconsistent in the sense that its meaning-constitutive principles include all instances of the truth-schema (T). It argues that (IT) entails that anyone using “true” in its ordinary sense is committed to all the (T)-instances and that any theory in which “true” is used in that sense entails the (T)-instances (which, given classical logic, entail contradictions). More specifically, I argue that theorists are committed to the meaning-constitutive principles (...) of logical constants, relative to the interpretation they intend thereof (e.g., classical), and that theories containing logical constants entail those principles. Further, I argue, since there is no relevant difference from the case of “true”, inconsistency theorists’ uses of “true” commit them to the (T)-instances. Adherents of (IT) are recommended, as a consequence, to eschew the truth-predicate. I also criticise Matti Eklund’s account of how the semantic value of “true” is determined, which can be taken as an attempt to show how “true” can be consistently used, despite being inconsistent. (shrink)

Aristotle’s words in the Metaphysics: “to say of what is that it is, or of what is not that it is not, is true” are often understood as indicating a correspondence view of truth: a statement is true if it corresponds to something in the world that makes it true. Aristotle’s words can also be interpreted in a deflationary, i.e., metaphysically less loaded, way. According to the latter view, the concept of truth is contained in platitudes like: ‘It is true (...) that snow is white iff snow is white’, ‘It is true that neutrinos have mass iff neutrinos have mass’, etc. Our understanding of the concept of truth is exhausted by these and similar equivalences. This is all there is to truth. In his book Truth (Second edition 1998), Paul Horwich develops minimalism, a special variant of the deflationary view. According to Horwich’s minimalism, truth is an indefinable property of propositions characterized by what he calls the minimal theory, i.e., all (nonparadoxical) propositions of the form: It is true that p if and only if p. Although the idea of minimalism is simple and straightforward, the proper formulation of Horwich’s theory is no simple matter. In this paper, I shall discuss some of the difficulties of a logical nature that arise. First, I discuss problems that arise when we try to give a rigorous characterization of the theory without presupposing a prior understanding of the notion of truth. Next I turn to Horwich’s treatment of the Liar paradox and a paradox about the totality of all propositions that was first formulated by Russell (1903). My conclusion is that Horwich’s minimal theory cannot deal with these difficulties in an adequate way, and that it has to be revised in fundamental ways in order to do so. Once such revisions have been carried out the theory may, however, have lost some of its appealing simplicity. (shrink)

If the term "relativism" is understood as relativists take it, everyone is a relativist. If, on the other hand, one understands "relativism" as absolutists do, no one really could consistently be a relativist, despite what they might think. As I hope to show, however, much of this positioning of persons and philosophies is foolish. It misses much that is important in philosophical discussion and focuses attention in directions that lead to dead ends.

Scientific realism is the position that the aim of science is to advance on truth and increase knowledge about observable and unobservable aspects of the mind-independent world which we inhabit. This book articulates and defends that position. In presenting a clear formulation and addressing the major arguments for scientific realism Sankey appeals to philosophers beyond the community of, typically Anglo-American, analytic philosophers of science to appreciate and understand the doctrine. The book emphasizes the epistemological aspects of scientific realism and contains (...) an original solution to the problem of induction that rests on an appeal to the principle of uniformity of nature. (shrink)