Since the pioneering work by Kripke and Montague, the term possible world has appeared in most theories of formal semantics for modal logics, natural languages, and knowledge-based systems. Yet that term obscures many questions about the relationships between the real world, various models of the world, and descriptions of those models in either formal languages or natural languages. Each step in that progression is an abstraction from the overwhelming complexity of the world. At the end, nothing is left but a (...) colorful metaphor for an undefined element of a set W called worlds, which are related by an undefined and undefinable primitive relation R called accessibility. For some purposes, the resulting abstraction has proved to be useful, but as a general theory of meaning, the abstraction omits too many significant features. So much information has been lost at each step that many philosophers, linguists, and psychologists have dismissed model-theoretic semantics as irrelevant to the study of meaning. This article examines the steps in the process of extractingthe pair (W,R) from the world and the way people talk about the world. It shows that the Kripke worlds can be reinterpreted as part of a Peircean semiotic theory, which can also include contributions from many other studies in cognitive science. Among them are Dunn’s semantics based on laws and facts, the lexical semantics preferred by manylinguists, psychological models of how the world is perceived, and philosophies of science that relate theories to the world. A full integration of all those sources is far beyond the scope of this article, but an outline of the approach suggests that Peirce’s vision is capable of relating and reconciling the competing sources. (shrink)

We are familiar with various set-theoretical paradoxes such as Cantor's paradox, Burali-Forti's paradox, Russell's paradox, Russell-Myhill paradox and Kaplan's paradox. In fact, there is another new possible set-theoretical paradox hiding itself in Wittgenstein’s Tractatus. From the Tractatus’s Picture theory of language we can strictly infer the two contradictory propositions simultaneously: the world and the language are equinumerous; the world and the language are not equinumerous. I call this antinomy the world-language paradox. Based on a rigorous analysis of the Tractatus, with (...) the help of the technical resources of Cantor’s naive set theory and Zermelo-Fraenkel set theory with the axiom of choice, I outline the world-language paradox and assess the unique possible solution plan, i.e., the mathematical plan utilizing ‘infinity’. I conclude that Wittgenstein cannot solve the hidden set-theoretical paradox of the Tractatus successfully unless he gives up his finitism. (shrink)

It is well known that Tarski proved a result which can be stated roughly as: no sufficiently rich, consistent, classical language can contain its own truth definition. Tarski's way around this problem is to deal with two languages at a time, an object language for which we are defining truth and a metalanguage in which the definition occurs. An obvious question then is: under what conditions can we construct a definition of truth for a given object language. Tarski claims that (...) it is necessary and sufficient that the metalanguage be "essentially richer". Our contention, put bluntly, is that this claim deserves more scrutiny from philosophers than it usually gets and in fact is false unless "essentially richer" means nothing else than "sufficient to contain a truth definition for the object language.". (shrink)

In recent years Duncan Kennedy has turned to the question, what is Contemporary Legal Thought? For the most part, his answers have focused on the modes of legal argument he believes are indigenous to Contemporary Legal Thought in the United States, and possibly, at a transnational or global level as well. In this article, I bracket the question of content and ask instead, if we are interested in exploring the category of a legal ‘contemporary’, how do we do so? What (...) historiographic methods are well-suited to the task of constituting ‘Contemporary Legal Thought’? My focus here is entirely on legal structuralism, the historical method I associate with Kennedy’s work beginning in the 1970s. By the mid-1980s, legal structuralism was under assault and quickly fading from the repertoire of available styles of doing history on the left. By the turn of the century, legal structuralism appeared to have vanished. I think that this was regrettable and unnecessary, and in this article I argue for a return to structuralist historiography. I do not pretend, however, that this return entails a second coming of the totalizing, originary center. Rather, I encourage thinking about legal structuralism in the way that I understand Roland Barthes, Hayden White, and to a large extent Duncan Kennedy himself to have thought about it: as a style. And as a style, legal structuralism is worth reawakening, a style back in style once more. (shrink)

Tarski's analysis of the concept of truth gives rise to a hierarchy of languages. Does this fragment the concept all the way to philosophical unacceptability? I argue it doesn't, drawing on a modification of Kaplan's theory of indexicals.

Both Carnap and Quine made significant contributions to the philosophy of mathematics despite their diversed views. Carnap endorsed the dichotomy between analytic and synthetic knowledge and classified certain mathematical questions as internal questions appealing to logic and convention. On the contrary, Quine was opposed to the analytic-synthetic distinction and promoted a holistic view of scientific inquiry. The purpose of this paper is to argue that in light of the recent advancement of experimental mathematics such as Monte Carlo simulations, limiting mathematical (...) inquiry to the domain of logic is unjustified. Robustness studies implemented in Monte Carlo Studies demonstrate that mathematics is on par with other experimental-based sciences. (shrink)