Montague and Kaplan began a revolution in semantics, which promised to explain how a univocal expression could make distinct truth-conditional contributions in its various occurrences. The idea was to treat context as a parameter at which a sentence is semantically evaluated. But the revolution has stalled. One salient problem comes from recurring demonstratives: "He is tall and he is not tall". For the sentence to be true at a context, each occurrence of the demonstrative must make a different truth-conditional contribution. (...) But this difference cannot be accounted for by standard parameter sensitivity. Semanticists, consoled by the thought that this ambiguity would ultimately be needed anyhow to explain anaphora, have been too content to posit massive ambiguities in demonstrative pronouns. This article aims to revived the parameter revolution by showing how to treat demonstrative pronouns as univocal while providing an account of anaphora that doesn't end up re-introducing the ambiguity. (shrink)

In his article “Opacity” (1986), David Kaplan propounded a counterexample to the the- sis, defended by Quine and known as Quine’s Theorem, that establishes the illegitimacy of quantifying from outside into a position not open to substitution. He ingeniously built his counterexample using Quine’s own philosophical material and novel devices, arc quotes and $entences. The present article offers detailed analysis and critical discus- sion of Kaplan’s counterexample and proposes a reasonable reformulation of Quine’s Theorem that bypasses both this counterexample and (...) another, in the author’s opinion, more persuasive counterexample, also discussed in this paper and somehow implicit in “Opacity”, which involves Russellian propositions instead of the Quinean apparatus. (shrink)

By creating certain marks on paper, or by making certain sounds-breathing past a moving tongue-or by articulation of hands and bodies, language users can give expression to their mental lives. With language we command, assert, query, emote, insult, and inspire. Language has meaning. This fact can be quite mystifying, yet a science of linguistic meaning-semantics-has emerged at the intersection of a variety of disciplines: philosophy, linguistics, computer science, and psychology. Semantics is the study of meaning. But what exactly is "meaning"? (...) What is the exact target of semantic theory? Much of the early work in natural language semantics was accompanied by extensive reflection on the aims of semantic theory, and the form a theory must take to meet those aims. But this meta-theoretical reflection has not kept pace with recent theoretical innovations. This volume re-addresses these questions concerning the foundations of natural language semantics in light of the current state-of-the-art in semantic theorising. (shrink)

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)

This volume includes a target paper, taking up the challenge to revive, within a modern (formal) framework, a medieval solution to the Liar Paradox which did ...

Church's Thesis asserts that the only numeric functions that can be calculated by effective means are the recursive ones, which are the same, extensionally, as the Turing-computable numeric functions. The Abstract State Machine Theorem states that every classical algorithm is behaviorally equivalent to an abstract state machine. This theorem presupposes three natural postulates about algorithmic computation. Here, we show that augmenting those postulates with an additional requirement regarding basic operations gives a natural axiomatization of computability and a proof of Church's (...) Thesis, as Gödel and others suggested may be possible. In a similar way, but with a different set of basic operations, one can prove Turing's Thesis, characterizing the effective string functions, and--in particular--the effectively-computable functions on string representations of numbers. (shrink)

É comumente aceito, atualmente, que Aristóteles não teria enfrentado ou tentado seriamente resolver o famoso paradoxo do mentiroso, embora ele tenha sido formulado por Eubúlides de Mileto, membro da escola megárica e rival filosófico de Aristóteles. No máximo, assim reza a visão tradicional, ele parece apenas fazer uma menção desse paradoxo nas Refutações sofísticas, Capítulo 25, talvez esboçando a sua solução. O meu intento, no presente artigo, é desafiar essa opinião geral mostrando que o Estagirita fornece uma explicação implícita para (...) duas versões do paradoxo do mentiroso, a saber, a versão autorreferencial, e a versão anafórica. A minha alegação é que a solução aristotélica para essas duas versões do paradoxo encontra-se no núcleo de sua refutação de duas teses, as quais denominei como tese da synalethia e como tese da sympseudia. Tal refutação é realizada no oitavo capítulo do quarto Livro da Metafísica, um texto até agora subestimado pelos intérpretes modernos, mesmo sendo a parte final de um dos mais importantes escritos de Aristóteles. A solução aristotélica, assim defendo, é levada a cabo por meio dos seguintes princípios: toda declaração é sempre precedida por um operador de verdade da forma ‘é verdade que...’, ou seja, toda declaração, qualquer que seja o que ela possa declarar a mais, primariamente assevera a sua própria verdade; e, em conformidade com o princípio anterior, toda declaração que assevera a sua própria falsidade ou acarreta a verdade de sua contraditória é necessariamente falsa. Através desses princípios, a refutação de Aristóteles da synalethia e da sympseudia é bem-sucedida. Mostrarei que obtemos uma boa solução para as versões do mentiroso acima mencionadas, apenas aplicando esses mesmos princípios a elas. Esse tipo de solução ao mentiroso tanto quanto para as teses antes citadas é muito parecido com aquele explicitamente encontrado nas obras de diversos filósofos, a saber, Guilherme de Sherwood, Tomás Bradwardine, João Buridano, Alberto da Saxônia, Paulo Venetus, Charles S. Peirce e Arthur Prior. Assim, também defendo que essa linhagem tem as suas raízes na solução de Aristóteles. (shrink)

The Paradox of the Knower was originally presented by Kaplan and Montague [26] as a puzzle about the everyday notion of knowledge in the face of self-reference. The paradox shows that any theory extending Robinson arithmetic with a predicate K satisfying the factivity axiom K → A as well as a few other epistemically plausible principles is inconsistent. After surveying the background of the paradox, we will focus on a recent debate about the role of epistemic closure principles in the (...) Knower. We will suggest this debate sheds new light on the concept of knowledge which is at issue in the paradox – i.e. is it a “thin” notion divorced from concepts such as evidence or justification, or is it a “thick” notion more closely resembling mathematical provability? We will argue that a number of features of the paradox suggest that the latter option is more plausible. Along the way, we will provide a reconstruction of the paradox using a quantified extension of Artemovʼs [2] Logic of Proofs, as well as a series of results linking the original formulation of the paradox to reflection principles for formal arithmetic. On this basis, we will argue that while the Knower can be understood to motivate a distinction between levels of knowledge, it does not provide a rationale for recognizing a uniform hierarchy of knowledge predicates in the manner suggested by Anderson. (shrink)

Stratified properties such as ‘happy unhappiness’, ‘ungrounded ground’, ‘fortunate misfortune’, and evidently ‘true falsity’ may generate dialetheias (true contradictions). The aim of the article is to show that if this is the case, then we will have a special, conjunctive, kind of dialetheia: a true state description of the form ‘Fa and not Fa’ (for some property F and object a), wherein the two conjuncts, separately taken, are to be held untrue. The particular focus of the article is on happy (...) unhappiness: people suffering from (or enjoying) happy unhappiness (if there is some situation or state of mind of this kind) cannot be truly said ‘happy’ or ‘unhappy’, but we can say they are both. In the first section three cases of conjunctive stratification are presented; in the second section the logic of stratified contradictions is explored. The last section focuses on eudemonistic ascriptions: stated that a is happy to be unhappy (or unhappy to be happy), should we say a is happy? unhappy? both? neither? (shrink)

Uno de los principales aportes de Michael Dummett a la filosofía contemporánea fue la idea de que ciertas disputas tradicionales de la metafísica podían ser replanteadas a través de una caracterización semántica del realismo y el antirrealismo. Apoyándose en esta caracterización, Dummett propuso una aproximación ascendente a esas disputas. Dicha aproximación buscaba resolver los desacuerdos metafísicos entre realistas y antirrealistas mediante la formulación de teorías semánticas para ciertos conjuntos de enunciados. En este artículo argumentamos que la caracterización de Dummett no (...) captura las disputas metafísicas tradicionales y que, como consecuencia de ello, dicha caracterización no constituye un buen sustento para la aproximación ascendente. (shrink)

In celebrating Arthur Prior we celebrate what he gave to the world. Much of this is measured by what others have made of his ideas after his death. The focus of this paper is a little different. It looks at what Prior himself thought he was accomplishing. In particular it considers Prior’s attitude to the semantic metatheory of the logics that he was interested in. The paper sets out some characteristics of the metalogical study of intensional languages in terms of (...) an indexical theory of truth conditions stated in the language of set theory. In examining Prior’s work using these characteristics, it emerges that Prior had serious reservations about this way of studying modal and tense logics. (shrink)

In a number of publications A.N. Prior considered the use of what he called ‘metric tense logic’. This is a tense logic in which the past and future operators P and F have an index representing a temporal distance, so that Pnα means that α was true n -much ago, and Fn α means that α will be true n -much hence. The paper investigates the use of metric predicate tense logic in formalising phenomena ormally treated by such devices as (...) multiple indexing or quantification over times. (shrink)

This paper discusses the history of the confusion and controversies over whether the definition of consequence presented in the 11-page 1936 Tarski consequence-definition paper is based on a monistic fixed-universe framework?like Begriffsschrift and Principia Mathematica. Monistic fixed-universe frameworks, common in pre-WWII logic, keep the range of the individual variables fixed as the class of all individuals. The contrary alternative is that the definition is predicated on a pluralistic multiple-universe framework?like the 1931 Gödel incompleteness paper. A pluralistic multiple-universe framework recognizes multiple (...) universes of discourse serving as different ranges of the individual variables in different interpretations?as in post-WWII model theory. In the early 1960s, many logicians?mistakenly, as we show?held the ?contrary alternative? that Tarski 1936 had already adopted a Gödel-type, pluralistic, multiple-universe framework. We explain that Tarski had not yet shifted out of the monistic, Frege?Russell, fixed-universe paradigm. We further argue that between his Principia-influenced pre-WWII Warsaw period and his model-theoretic post-WWII Berkeley period, Tarski's philosophy underwent many other radical changes. (shrink)

For each positive n , two alternative axiomatizations of the theory of strings over n alphabetic characters are presented. One class of axiomatizations derives from Tarski's system of the Wahrheitsbegriff and uses the n characters and concatenation as primitives. The other class involves using n character-prefixing operators as primitives and derives from Hermes' Semiotik. All underlying logics are second order. It is shown that, for each n, the two theories are definitionally equivalent [or synonymous in the sense of deBouvere]. It (...) is further shown that each member of one class is synonymous with each member of the other class; thus that all of the theories are definitionally equivalent with each other and with Peano arithmetic. Categoricity of Peano arithmetic then implies categoricity of each of the above theories. (shrink)

After a short preface, the first of the three sections of this paper is devoted to historical and philosophic aspects of categoricity. The second section is a self-contained exposition, including detailed definitions, of a proof that every mathematical system whose domain is the closure of its set of distinguished individuals under its distinguished functions is categorically characterized by its induction principle together with its true atoms (atomic sentences and negations of atomic sentences). The third section deals with applications especially those (...) involving the distinction between characterizing a system and axiomatizing the truths of a system. (shrink)

Truth values are, properly understood, merely proxies for the various relations that can hold between language and the world. Once truth values are understood in this way, consideration of the Liar paradox and the revenge problem shows that our language is indefinitely extensible, as is the class of truth values that statements of our language can take – in short, there is a proper class of such truth values. As a result, important and unexpected connections emerge between the semantic paradoxes (...) and the set-theoretic paradoxes. (shrink)

It is shown that the logical truth of instances of the T-schema is incompatible with the formal nature of logical truth. In particular, since the formality of logical truth entails that the set of logical truths is closed under substitution, the logical truth of T-schema instances entails that all sentences are logical truths.

The No-No Paradox consists of a pair of statements, each of which ?says? the other is false. Roy Sorensen claims that the No-No Paradox provides an example of a true statement that has no truthmaker: Given the relevant instances of the T-schema, one of the two statements comprising the ?paradox? must be true (and the other false), but symmetry constraints prevent us from determining which, and thus prevent there being a truthmaker grounding the relevant assignment of truth values. Sorensen's view (...) is mistaken: situated within an appropriate background theory of truth, the statements comprising the No-No Paradox are genuinely paradoxical in the same sense as is the Liar (and thus, on Sorensen's view, must fail to have truth values). This result has consequences beyond Sorensen's semantic framework. In particular, the No-No Paradox, properly understood, is not only a new paradox, but also provides us with a new type of paradox, one which depends upon a general background theory of the truth predicate in a way that the Liar Paradox and similar constructions do not. (shrink)

Dans la première partie de cet article, je presente une thèse parapluie — la thèse de l'«exhaustion» — qui cerne bien l'élément central des diverses positions déflationnistes au sujet de la vérité : l'idée que le contenu du prédicat de vérité s'épuise entièrement dans le contenu de ce à quoi le prédicats'applique. Je soutiens que cette thèse n'est supportée que d'une manière triviale par l'idée courante que la vérite résiste à une analyse substantielle, car les prédicats en général ne se (...) prêtent guere à ce genre d'analyse. J'examine ensuite deux élaborations positives de la thèse de l'exhaustion; et je soutiens que ni l'une ni l'autre ne commence même à montrer que la thèse en question soit explicativement adéquate. (shrink)

Rorty saw the course of philosophy in the twentieth century as an effort to part from two major philosophical trends, namely historicism and naturalism, only to inevitably return at the end of a tortuous path to these very same tendencies. If we can concede without major objections Rorty’s diagnosis of the trends in contemporary continental and analytical philosophy, which seem to reveal the exhaustion of modern philosophy, based as it has been on epistemology, we must, on the other hand, examine (...) carefully the three main questions that this diagnosis leaves open: How does Rorty reconcile continental idealist subjectivism with materialistic behaviorism? Is it really inevitable that philosophy blinded by Geist are unable to question prevalent beliefs? Finally, is the acceptance of a liberalism that is not able to give reasons for itself the most effective and pragmatic liberalism? In answering these questions, it may not be possible to avoid a non-dogmatic, but pragmatic, metaphysics: a vocabulary of vocabularies that allows Rorty to speak of the problems of justice in Plato and Rawls, of the soul in Aristotle and Descartes, of the dystopias in Moro and Orwell. On pragmatic terms, perhaps a modest version of a metaphysic’s “vocabulary” turns out to be as legitimate and practical as any other vocabulary. (shrink)

Formal theories, as in logic and mathematics, are sets of sentences closed under logical consequence. Philosophical theories, like scientific theories, are often far less formal. There are many axiomatic theories of the truth predicate for certain formal languages; on analogy with these, some philosophers (most notably Paul Horwich) have proposed axiomatic theories of the property of truth. Though in many ways similar to logical theories, axiomatic theories of truth must be different in several nontrivial ways. I explore what an axiomatic (...) theory of truth would look like. Because Horwich’s is the most prominent, I examine his theory and argue that it fails as a theory of truth. Such a theory is adequate if, given a suitable base theory, every fact about truth is a consequence of the axioms of the theory. I show, using an argument analogous to Gödel’s incompleteness proofs, that no axiomatic theory of truth could ever be adequate. I also argue that a certain class of generalizations cannot be consequences of the theory. (shrink)

Ramsey defined truth in the following way: x is true if and only if ∃p(x = [p] & p). This definition is ill-formed in standard first-order logic, so it is normally interpreted using substitutional or some kind of higher-order quantifier. I argue that these quantifiers fail to provide an adequate reading of the definition, but that, given certain adjustments, standard objectual quantification does provide an adequate reading.

Vann McGee has argued against solutions to the liar paradox that simply restrict the scope of the T sentences as little as possible. This argument is often taken to disprove Paul Horwich’s preferred solution to the liar paradox for his Minimal Theory of truth. I argue that Horwich’s theory is different enough from the theory McGee criticized that these criticisms do not apply to Horwich’s theory. On the basis of this, I argue that propositional theories, like MT, cannot be evaluated (...) using the same methods as sentential theories. (shrink)

Traditional correspondence theory of truth with the concept of fact encounters many serious difficulties, main one of which is that it is too difficult to explain clearly the concept of ‘fact’ and how propositions ‘correspond’ to facts. This does not mean that we should abandon the traditional correspondence theory of truth and turn to some other type theories of truth. In order to guarantee the objectivity of truth, any reasonable theory of truth must adhere to the core insight of the (...) traditional correspondence theory: it is not something in our language, nor in our mind, but something in the external world, that make the propositions we use to describe the states of affairs in the world either true or false. It is entirely possible to formulate a new correspondence theory of truth without the concept of fact but still adhering to the core insights mentioned above of the traditional correspondence theory. New correspondence theory of truth has its own metaphysical and epistemological assumptions, and also its assumption in the philosophy of language. Because of the generativity of language, in defining the concept of truth, the new correspondence theory of truth must resort to Tarskian recursive procedure. First, it gives the semantic value of the components of a proposition, defines the truth of its atomic propositions, then gradually defines the truth of its more and more complex propositions and finally of the whole proposition. Coherence is the intrinsic element of truth. The concept of truth is by no means trivial and insignificant; on the contrary, it is very substantive. The pursuit of truth is our mission. (shrink)

Two periods in the history of logic and philosophy are characterized notably by vivid interest in self-referential paradoxical sentences in general, and Liar sentences in particular: the later medieval period (roughly from the 12th to the 15th century) and the last 100 years. In this paper, I undertake a comparative taxonomy of these two traditions. I outline and discuss eight main approaches to Liar sentences in the medieval tradition, and compare them to the most influential modern approaches to such sentences. (...) I also emphasize the aspects of each tradition that find no counterpart in the other one. It is expected that such a comparison may point in new directions for future research on the paradoxes; indeed, the present analysis allows me to draw a few conclusions about the general nature of Liar sentences, and to identify aspects that would require further investigation. (shrink)

There are at least four varieties of quotation, including pure, direct, indirect and mixed. A theory of quotation, we argue, should give a unified account of these varieties of quotation. Mixed quotes such as 'Alice said that life is 'difficult to understand'', in which an utterance is directly and indirectly quoted concurrently, is an often overlooked variety of quotation. We show that the leading theories of pure, direct, and indirect quotation are unable to account for mixed quotation and therefore unable (...) to provide a unified theory. In the second half of the paper we develop a unified theory of quotation based on Davidson's demonstrative theory. 'Language is the instrument it is because the same expression, with semantic features (meaning) unchanged, can serve countless purposes.' (Davidson 1968). (shrink)

This paper presents a purely pragmatic account of quotation which, it is argued, will be able to accommodate all relevant linguistic phenomena. Given that it is more parsimonious to explain the data by reference to pragmatic principles only than to explain them by reference to both pragmatic and semantic principles, as is common in the literature, I conclude that the account of quotation I present is to be preferred to the more standard accounts (including the alternative theories of quotation, discussed (...) here). (shrink)

Argues that truth, moral right, political right, and aesthetic value may be understood as arising out of a naturalist account of humanity, if naturalism is rightly conceived.

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)

At its beginnings Humanities Computing was characterized by a primary interest in methodological issues and their epistemological background. Subsequently, Humanities Computing practice has been prevailingly driven by technological developments and the main concern has shifted from content processing to the representation in digital form of documentary sources. The Digital Humanities turn has brought more to the fore artistic and literary practice in direct digital form, as opposed to a supposedly commonplace application of computational methods to scholarly research. As an example (...) of a way back to the original motivations of applied computation in the humanities, a formal model of the interpretive process is here proposed, whose implementation may be contrived through the application of data processing procedures typical of the so called artificial adaptive systems. (shrink)

One thousand stones, suitably arranged, might form a heap. If we remove a single stone from a heap of stones we still have a heap; at no point will the removal of just one stone make sufficient difference to transform a heap into something which is not a heap. But, if this is so, we still have a heap, even when we have removed the last stone composing our original structure. So runs the Sorites paradox. Similar paradoxes can be constructed (...) with any predicate which, like 'heap', displays borderline vagueness. Although I have frequently heard it said that there is no completely credible and satisfying dissolution of the paradoxes of the Sorites family; and although there is no possible approach to dissolution which has not been at least partially explored, philosophers continue glibly to use vague language as though it were entirely unproblematic. Since no argument has ever been produced which would justify our ignoring the para~doxes, this situation is extremely unsatisfactory. (shrink)

For the sentences of languages that contain operators that express the concepts of definiteness and indefiniteness, there is an unavoidable tension between a truth-theoretic semantics that delivers truth conditions for those sentences that capture their propositional contents and any model-theoretic semantics that has a story to tell about how indetifiniteness in a constituent affects the semantic value of sentences which imbed it. But semantic theories of both kinds play essential roles, so the tension needs to be resolved. I argue that (...) it is the truth theory which correctly characterises the notion of truth, per se. When we take into account the considerations required to bring model theory into harmony with truth theory, those considerations undermine the arguments standardly used to motivate supervaluational model theories designed to validate classical logic. But those considerations also show that celebration would be premature for advocates of the most frequently encountered rival approach - many-valued model theory. (shrink)

Although to live is to face problems, the general concept of a problem has been significantly understudied. So much so, that the publication of Polya’s delightful How to Solve It caused quite a stir. And, although the concept of a conceptual problem is philosophical because it is deep and occurs across fields, from mathematics to politics, no philosophers have produced any memorable studies of it. Moreover, the word ‘problem’ is absent from most philosophical reference works. There are plenty of texts (...) on particular problems such as those of evil and induction, but none on the general concept of a conceptual problem—as if it were not a problematic concept. Worse, we are seldom told that doing original mathematics, science or technology is to wrestle with original problems. Nor have we been told that the hardest problems are likely to be inverse, in that they go from effect to cause, or from sketch to implementation, or from conclusion to premises—as in diagnosing disease from symptoms, looking for a westward passage from Europe to Asia, and designing public policies to attack social issues. The existence of this significant gap in the philosophical literature justifies the publication of the present study. (shrink)

Georg Kreisel suggested various ways out of the Gödel incompleteness theorems. His remarks on ways out were somewhat parenthetical, and suggestive. He did not develop them in subsequent papers. One aim of this paper is not to develop those remarks, but to show how the basic idea that they express can be used to reason about the Lucas-Penrose-Putnam arguments that human minds are not finitary computational machines. Another aim is to show how one of Putnam’s two anti-functionalist arguments avoids the (...) logical error in the Lucas-Penrose arguments, extends those arguments, but succumbs to an absurdity. A third aim is to provide a categorization of the Lucas-Penrose-Putnam anti-functionalist arguments. (shrink)

Carnap and Goodman developed methods of conceptual re-engineering known respectively as explication and reflective equilibrium. These methods aim at advancing theories by developing concepts that are simultaneously guided by pre-existing concepts and intended to replace these concepts. This paper shows that Carnap’s and Goodman’s methods are historically closely related, analyses their structural interconnections, and argues that there is great systematic potential in interpreting them as aspects of one method, which ultimately must be conceived as a component of theory development. The (...) main results are: an adequate method of conceptual re-engineering must focus not on individual concepts but on systems of concepts and theories; the linear structure of Carnapian explication must be replaced by a process of mutual adjustments as described by Goodman; Carnap’s condition of similarity can be analysed into two components, one securing a relation to the specific extensions of the pre-existing concepts, one regulating the transition to the new system of concepts; these two criteria of adequacy can be built into Goodman’s account of reflective equilibrium to ensure that the resulting concepts promote theoretical virtues while being sufficiently similar to the concepts we started out with. (shrink)

In the paper, Jan Łukasiewicz’s program of the logicization of philosophy is presented and discussed. Łukasiewicz, known mostly for his invention of trivalent logic as well as his achievements in propositional calculus and metalogic, had always been concerned with the methodological condition of philosophy. He finally found “the measure of exactness” in mathematical logic. According to him, only the use of logical tools may provide philosophical investigations with an appropriate level of exactness. He expressed his views most firmly and directly (...) in the paper, “A call for the method of Philosophy”. Łukasiewicz proposed giving philosophical theories the form of axiomatic systems by indicating the primitive terms of their language, selecting suitable axioms, and explicitly determining the applied rules of inference. All the theses of these systems should be consequences of the accepted axioms and confronted with the data of experience and the results of science. Łukasiewicz’s program is presented together with its inspirations and prospects. (shrink)

Given any proposition, is it possible to have rationally acceptable attitudes towards it? Absent reasons to the contrary, one would probably think that this should be possible. In this paper I provide a reason to the contrary. There is a proposition such that, if one has any opinions about it at all, one will have a rationally unacceptable set of propositional attitudes—or if one doesn’t, one will end up being cognitively imperfect in some other manner. The proposition I am concerned (...) with is a self-referential propositional attitude ascription involving the propositional attitude of rejection. Given a basic assumption about what constitutes irrationality, and a few assumptions about the nature of cognitively ideal agents, a paradox results. This paradox is superficially like the Liar, but it is importantly different in that no alethic notions are involved at all. As such, it stands independent of the Liar and is not a ‘revenge’ version of it. After setting out the paradox I discuss possible responses. After considering several I argue that one is best off simply accepting that the paradox shows us something surprising and interesting about rationality: that some cognitive shortfall is unavoidable even for ideal agents. I argue that nothing disastrous follows from accepting this conclusion. (shrink)

Since universal language systems are confronted with serious paradoxical consequences, a semantic approach is developed in whichpartial worlds form the ontological basis. This approach shares withsituation semantics the basic idea that statements always refer to certain partial worlds, and it agrees with the extensional and model-theoretic character ofpossible worlds semantics. Within the framework of the partial worlds conception a satisfactory solution to theLiar paradox can be formulated. In particular, one advantage of this approach over those theories that are based on (...) the totality of possible worlds semantics can be found in the fact that the so-called Strengthened Liar problem is avoided. (shrink)

In the paper (Braüner, 2001) we gave a minimal condition for the existence of a homophonic theory of truth for a modal or tense logic. In the present paper we generalise this result to arbitrary modal logics and we also show that a modal logic permits the existence of a homophonic theory of truth if and only if it permits the definition of a socalled master modality. Moreover, we explore a connection between the master modality and hybrid logic: We show (...) that if attention is restricted to bidirectional frames, then the expressive power of the master modality is exactly what is needed to translate the bounded fragment of first-order logic into hybrid logic in a truth preserving way. We believe that this throws new light on Arthur Prior's fourth grade tense logic. (shrink)

Dialetheists believe some sentences are both true and false. Objectors have argued that this makes it unclear how people can disagree with each other because, given the dialetheist’s commitments, if I make a claim and you tell me my claim is false, we might both be correct. Graham Priest (2006a) thinks that people disagree by rejecting or denying what is said rather than ascribing falsehood to it. We build on the work of Julien Murzi and Massimiliano Carrara (2015) and show (...) that Priest’s approach cannot succeed: given the same dialetheist’s commitments you may be correct to reject a claim that I correctly believe. We argue further that any attempt to solve the problem by identifying a new attitude of disagreement will also fail. The culprit, we claim, is the attempt to find a pair of attitudes that satisfy ‘exclusivity’—that is, attitudes such that both cannot be simultaneously correct. Instead of identifying disagreement by the kinds of attitudes involved, we propose dialetheists focus on the normative landscape and identify it in part by whether parties have reasons to change their attitudes. We offer our own normative theory of disagreement to help dialetheists with this challenge. (shrink)

Benacerraf has presented two problems for the philosophy of mathematics. These are the problem of identification and the problem of representation. This paper aims to reconstruct the latter problem and to unpack its undermining bearing on the version of Ontic Structural Realism that frames scientific representations in terms of abstract structures. I argue that the dichotomy between mathematical structures and physical ones cannot be used to address the Benacerraf problem but strengthens it. I conclude by arguing that versions of OSR (...) that do not rely on mathematical frameworks for representational purposes need not be vulnerable to Benacerraf’s second problem. (shrink)

Probabilistic realism and syntactical positivism were two among outdated theories that Feigl criticised on account of their semantical poverty. In this paper, I argue that a refined version of probabilistic realism, which relies on what Feigl specified as the pragmatic description of the symbolic behaviour of scientists’ estimations and foresight, is defendable. This version of statistical realism does not need to make the plausibility of realist thesis dependent on the conventional acceptance of a constructed semantic metalanguage. I shall rely on (...) the Prediction Error Minimisation theory to support my probabilistic version of realism with a scientifically-informed and naturalistically plausible statistical account of the theories-world relationship which has a pragmatic ring to it. (shrink)