A formal theory of truth, alternative to tarski's 'orthodox' theory, based on truth-value gaps, is presented. the theory is proposed as a fairly plausible model for natural language and as one which allows rigorous definitions to be given for various intuitive concepts, such as those of 'grounded' and 'paradoxical' sentences.

am going to discuss some issues inspired by a well-known paper ofKeith Donnellan, "Reference and Definite Descriptions,”2 but the interest—to me—of the contrast mentioned in my title goes beyond Donnellan's paper: I think it is of considerable constructive as well as critical importance to the philosophy oflanguage. These applications, however, and even everything I might want to say relative to Donnellan’s paper, cannot be discussed in full here because of problems of length. Moreover, although I have a considerable interest in (...) the substantive issues raised by Donnellan’s paper, and by related literature, my own conclusions will be methodological, not substantive. I can put the matter this way: Donnellan’s paper claims to give decisive objections both to Russell’s theory of definite descriptions (taken as a theory about English) and to Strawson’s. My concem is not primarily with the question; is Donnellan right, or is Russell (or Strawson)? Rather, it is with the question: do the considerations in Donneilarfs paper refute Russell’s theory (or Strawson’s)? For definiteness, I will concentrate on Donnellan versus Russell, leaving Strawson aside. And about this issue I will draw a definite conclusion, one which I think will illuminate a few methodological maxims about language. Namely, I will conclude that the considerations in Donnellan’s paper, by themselves, do not refute Russell’s theory. Any conclusions about Russell’s views per se, or Donnellan’s, must be tentative, IfI were to be asked for a tentative stab about Russell, I would say that although his theory does a far better job of handling ordinary discourse than many have thought, and although many popular arguments against it are inconclusive, probably it ultimately fails. The considerations I have in mind have to do with the existence of “improper” definite descriptions, such as “the table," where uniquely specifying conditions are not contained in the description itself.. (shrink)

This paper sketches a way of supplementing classical mathematics with a motivation for a Brouwerian theory of free choice sequences. The idea is that time is unending, i.e. that one can never come to an end of it, but also indeterminate, so that in a branching time model only one branch represents the ‘actual’ one. The branching can be random or subject to various restrictions imposed by the creating subject. The fact that the underlying mathematics is classical makes such perhaps (...) delicate issues as the fan theorem no longer problematic. On this model, only intuitionistic logic applies to the Brouwerian free choice sequences, and there it applies not because of any skepticism about classical mathematics, but because there is no ‘end of time’ from the standpoint of which everything about the sequences can be decided. (shrink)

Această lucrare oferă o expunere a unor trăsături ale unei teorii semantice a logicilor modale. Pentru o anumită extensiune cuantificată a S5, această teorie a fost prezentată în ‘A Completeness Theorem in Modal Logic’ şi a fost rezumată în ‘Semantical Analysis of Modal Logic’ . Lucrarea de faţă se va concentra asupra unui aspect particular al teoriei – introducerea cuantificatorilor – şi se va restrînge în principal la o metodă particulară de a atinge acest scop. Accentul lucrării va fi pur (...) semantic şi în consecinţă se va omite folosirea tablourilor semantice, care este esenţială pentru o prezentare completă a teoriei . De asemenea, se va renunţa în mare parte la demonstraţii. (shrink)

Context plays a crucial role in our propositional attitude reporting practices. A belief-reporting sentence which seems true in one context may seem false in another, as Kripke showed us in ‘A Puzzle About Belief.’ To put it a bit sloppily, may seem true when we are discussing Peter's beliefs regarding Paderewski-the-pianist and false when we are discussing his beliefs regarding Paderewski-the-statesman. Peter believes that Paderewski is a fine musician.A number of recent theorists have taken this contextual variation very seriously, and (...) attempted to provide accounts which accommodate it in one way or another. Salmon and Soames accommodate the variation in pragmatics, arguing that our intuitions about attitude reporting often result from mistaking pragmatic implicatures for semantic content. Other theorists have offered semantic accounts which yield contextually varying truth conditions for belief reporting sentences. I have a great deal of sympathy for the project: I think the contextually varying intuitions do exist, and that they need to be accommodated, in one way or another. I am not so sure, however, that this can be done. (shrink)

We define and study the notion of an indexed frame. This is a bi-dimensional structure consisting of a Cartesian product equipped with relations which only relate pairs if they coincide in one of their components. We show that these structures are quite ubiquitous in modal logic, showing up in the literature as products of Kripke frames, subset spaces, or temporal frames for STIT logics. We show that indexed frames are completely characterised by their ‘orthogonal’ relations, and we provide their sound (...) and complete logic. Using these ‘orthogonality’ results, we provide necessary and sufficient conditions for an arbitrary Kripke frame to be isomorphic to certain well-known bi-dimensional structures. (shrink)

Kripke, Saul A. Reference and Existence. The John Locke Lectures. New York: Oxford University Press, 2013. 170 pp.

In this book Saul Kripke brings his powerful philosophical intelligence to bear on Wittgenstein's analysis of the notion of following a rule.

Esta sección temática constituye la segunda discusión sobre el desafío de la adopción de reglas lógicas publicado en Análisis Filosófico. Al igual que la primera, esta colección de artículos puede verse como el resultado de la colaboración internacional que durante más de dos décadas hemos mantenido entre el Saul Kripke Center (SKC) y el IIF-SADAF-CONICET. Y más precisamente, entre Saul, Romina y el grupo de lógica de Buenos Aires (BA-Logic). Visitas, seminarios, workshops, proyectos internacionales, y fundamentalmente mucho afecto (...) y pasión por los problemas filosóficos fundamentales han marcado este proceso. Tanto Romina como Saul han apoyado sistemáticamente los esfuerzos desde Argentina para producir conocimiento en el área de lógica. Ambos han estado involucrados no solo institucionalmente en el apoyo al desarrollo de nuestro grupo, sino también a nivel personal. Fueron muchos los momentos que compartimos juntos. Muchos recuerdos e historias. Es importante destacar, solo para mencionar un simple aspecto de nuestras historias comunes, que Saul participó activamente en el proceso de elaboración de la propuesta de ambos números, en la lectura de gran parte del material, e incluso como réferi de algunos trabajos. Saul y Romina asistieron por Zoom a varias reuniones en el marco de los seminarios que generaron parte del material aquí publicado. Recuerdo la alegría de Saul, sus comentarios y la sorpresa de muchos de los participantes de ver aparecer en sus pantallas al filósofo más importante del mundo y uno de los más importantes de la historia. Para ellos quizás era Kripke, para mi ya era Saul. Nos hubiera gustado celebrar juntos. Podría haber sido en Buenos Aires o en Nueva York. Lamentablemente, ya no podrá ser. Aunque también es cierto que esta sección temática es una manera de volver a reunirnos y de expresar el profundo agradecimiento que todos los integrantes del BA-Logic tenemos por Saul. Te vamos a extrañar… Ya te estamos extrañando…. (shrink)

It is very common these days to come across the claim that the notions of mental content and linguistic meaning are normative notions. In the work of many philosophers, it plays a pivotal role. Saul Kripke made it the centerpiece of his influential discussion of Wittgenstein’s treatment of rulefollowing and private language; he used it to argue that the notions of meaning and content cannot be understood in naturalistic terms. Kripke’s formulations tend to be in terms of the notion (...) of linguistic meaning, but his argumentative strategy makes it clear that he holds both versions of the claim.... (shrink)

Iš anglų kalbos vertė ir pratarmę parašė Pranciškus Gricius, Vilniaus universitetas.

This volume presents a selection of the most important writings in the debate on the nature of meaning and reference which started one hundred years ago with Frege's classic essay "On Sense and Reference." Contributors include Bertrand Russell, P.F. Strawson, W.V. Quine, Donald Davidson, John McDowell, Michael Dummett, Hilary Putnam, Saul Kripke, David Wiggins, and Gareth Evans. The aim of this series is to bring together important recent writings in major areas of philosophical inquiry, selected from a wide variety (...) of sources, mostly periodicals, which may not be conveniently available to the university student or the general reader. (shrink)

In his (1977) "Anomalous Monism and Kripke's Cartesian Intuitions," Colin McGinn argues that Donald Davidson's anomalous monism is untouched by Kripke's (1980) argument against the identity theory. The type-identity of the physical with the mental may very well fall at the feet of Kripke's powerful arguments, but a token identification, argues McGinn, is left standing due to the simple fact that token physicalism countenances a kind of imagined separation of token mental states with their corresponding token physical states. If McGinn (...) is correct, a full-blooded physicalism is consistent with Kripke's Cartesian intuitions regarding the non-identity of the mental and the physical. But I think McGinn is mistaken. In particular, McGinn misunderstands the nature of an "epistemic counterpart" of a token pain. So contrary to McGinn, token physicalism does not seem to be able to defend against Kripke after all. (shrink)

Semantic pathology is most widely recognized in the liar paradox, where an apparent inconsistency arises in ‘‘liar sentences’’ and their ilk. But the phenomenon of semantic pathology also manifests a sibling symptom—an apparent indeterminacy—which, while not largely discussed (save for the occasional nod to ‘‘truthteller sentences’’), is just as pervasive as, and exactly parallels, the symptom of inconsistency. Moreover, certain ‘‘dual symptom’’ cases, which we call naysayers, exhibit both inconsistency and indeterminacy and also manifest a higher-order indeterminacy between them. In (...) this paper, we explore and lay out the full, broader extent of semantic pathology. We then turn to the best-known attempts to diagnose and treat the phenomenon: consistentist approaches, proposed by Alfred Tarski and Saul Kripke, and an inconsistentist approach, originally presented by Graham Priest and dubbed ‘‘dialetheism’’. We explain the basic elements of each view and argue that each fails to provide an adequate way of dealing with the full extent of semantic pathology. We conclude that a new kind of approach is required and briefly sketch the pretense-based view that we favor. (shrink)

Remarkably, the theological discourse surrounding Hans Frei and postliberal theology has continued for nearly thirty years since Frei's death. This is due not only to the complex and provocative character of Frei's work, nor only to his influence upon an array of thinkers who went on to shape the theological field in their own right. It is just as indebted to the critical responses that his thinking continues to inspire. One recurrent point of criticism takes aim at Frei's use of (...) Ludwig Wittgenstein's later work for theological ends. In his recent book Liberalism versus Postliberalism: The Great Divide in Twentieth Century Theology, John Allan Knight challenges what he sees as Frei's dependence on problematic Wittgensteinian assumptions. This article raises a few concerns about Knight's charges against Frei. Specifically, I argue that Knight's account tends to conflate the work of Wittgenstein and Frei. It does this by undervaluing two determinative features of Frei's work: (1) its basic Christological orientation; and (2) its Christologically motivated use of ad hoc apologetics. I argue that the Wittgensteinian view that Knight attributes to Frei is not Frei's view at all, and is, moreover, a problematic account of Wittgenstein on its own terms. Finally, Knight's claim that Frei's work “depends upon” and “is suffused” with the understanding of Wittgenstein that Knight attributes to him is based upon an account of Frei's treatment of the sensus literalis that is not entirely accurate. Without question, Knight does remarkable service to Frei's legacy by keeping important debates over his work alive. In what follows, I propose several points where I think Knight's account might be further enriched. The result, I hope, will be a more nuanced understanding of the ways that Frei actually appropriated and deployed Wittgenstein's thought. I will contextualize my account of Frei with reference both to Wittgenstein's writings and the literature surrounding his writings. Setting forth these accounts in tandem should help make further available Wittgenstein's work for subsequent work by postliberal theologians. (shrink)

Reviews of the papers mentioned in the title.