The book presents a thoroughly elaborated logical theory of generalized truth-values understood as subsets of some established set of truth values. After elucidating the importance of the very notion of a truth value in logic and philosophy, we examine some possible ways of generalizing this notion. The useful four-valued logic of first-degree entailment by Nuel Belnap and the notion of a bilattice constitute the basis for further generalizations. By doing so we elaborate the idea of a multilattice, and most notably, (...) a trilattice of truth values – a specific algebraic structure with information ordering and two distinct logical orderings, one for truth and another for falsity. Each logical order not only induces its own logical vocabulary, but determines also its own entailment relation. We consider both semantic and syntactic ways of formalizing these relations and construct various logical calculi. (shrink)

The aim of the present book is to give a comprehensive account of the ‘state of the art’ of substructural logics, focusing both on their proof theory and on their semantics (both algebraic and relational. It is for graduate students in either philosophy, mathematics, theoretical computer science or theoretical linguistics as well as specialists and researchers.

While Wilfrid Sellars’ philosophy is often depicted in an ahistorical fashion, this book explores the consequences of placing his work in its historical context. In order to show how Sellars’ early publications depend on contextual factors, Peter Olen reconstructs the conceptions of language, psychological, and social explanation that dominated American philosophy in the early 20th century. Because of Sellars’ differing explanations of language and behaviour, Olen argues that many of Sellars’ early commitments are incompatible with his later works. In the (...) course of doing so, Olen highlights problematic tensions between Sellars’ early and later conceptions of language, meta-philosophy, and normativity. Supplementing the main text is a collection of previously unpublished archival material from Wilfrid Sellars, Gustav Bergmann, Everett Hall, and other early 20th century philosophers. This text will be a useful resource to those with an interest in the history of American philosophy, the history of analytic philosophy, Wilfrid Sellars’ philosophy, and the myriad issues surrounding normativity and language. (shrink)

The book is about logical analysis of natural language. Since we humans communicate by means of natural language, we need a tool that helps us to understand in a precise manner how the logical and formal mechanisms of natural language work. Moreover, in the age of computers, we need to communicate both with and through computers as well. Transparent Intensional Logic is a tool that is helpful in making our communication and reasoning smooth and precise. It deals with all kinds (...) of linguistic context in a fully compositional and anti-contextual way. (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)

This book is an exploration and defense of the coherence of classical theism’s doctrine of divine aseity in the face of the challenge posed by Platonism with respect to abstract objects. A synoptic work in analytic philosophy of religion, the book engages discussions in philosophy of mathematics, philosophy of language, metaphysics, and metaontology. It addresses absolute creationism, non-Platonic realism, fictionalism, neutralism, and alternative logics and semantics, among other topics. The book offers a helpful taxonomy of the wide range of options (...) available to the classical theist for dealing with the challenge of Platonism. It probes in detail the diverse views on the reality of abstract objects and their compatibility with classical theism. It contains a most thorough discussion, rooted in careful exegesis, of the biblical and patristic basis of the doctrine of divine aseity. Finally, it challenges the influential Quinean metaontological theses concerning the way in which we make ontological commitments. (shrink)

Descartes famously argued, on purely conceptual grounds, that even an extremely powerful being could not trick him into mistakenly judging that he was thinking. Of course, it is not necessarily true that Descartes is thinking. Still, Descartes claimed, it is necessarily true that if a person judges that she is thinking, that person is thinking. Following Tyler Burge (1988) we call such judgments ‘self-verifying.’ More exactly, a judgment j performed by a subject S at a time t is selfverifying if (...) and only if the fact that S has made j at t entails that j is true at t.2 Burge follows Descartes in claiming that the category of conceptually self-verifying judgments includes (but is not restricted to) judgments that give rise to sincere assertions of sentences of the form, ‘I am thinking that p’. We call such judgments ‘cogito’ judgments. In this paper I argue that Burge’s Cartesian insight is hard to reconcile with Fregean accounts of the content of thought. Theorists have tried to account for the self-verifying status of cogito judgments by arguing that the second-order judgment that one is thinking that p contains the thought that p as a part of it. I argue (§1) that the accuracy of the containment model is entailed by a Russellian view of content (according to which ‘‘belief’’ contexts are both extensional and transparent) when the Russellian view is attached to some fairly uncontroversial assumptions. The accuracy of the containment model is also entailed by non-hierarchical Fregean views of content according to which expressions in oblique contexts both denote and express first-level senses (§2), but there are compelling arguments against non-hierarchical Fregean views (§3). Moreover, the extremely plausible account of self-verification provided by Russellianism is not entailed by theories that follow Frege in accepting a hierarchy of senses and so allow that expressions in oblique contexts express senses that are not identical to the senses they there denote (§4).. (shrink)

Burge follows Descartes in claiming that the category of conceptually self-verifying judgments includes (but is not restricted to) judgments that give rise to sincere assertions of sentences of the form, 'I am thinking that p'. In this paper I argue that Burge’s Cartesian insight is hard to reconcile with Fregean accounts of the content of thought. Burge's intuitively compelling claim that cogito judgments are conceptually self-verifying poses a real challenge to neo-Fregean theories of content.

According to actualism, modal reality is constructed out of valuations (combinations of truth values for all propositions). According to possibilism, modal reality consists in a set of possible worlds, conceived as independent objects that assign truth values to propositions. According to possibilism, accounts of modal reality can intelligibly disagree with each other even if they agree on which valuations are contained in modal reality. According to actualism, these disagreements (possibilist disagreements) are completely unintelligible. An essentially actualist semantics for modal propositional (...) logic specifies which sets of valuations are compatible with the meanings of the truth-functional connectives and modal operators without drawing on formal resources that would enable us to represent possibilist disagreements. The paper discusses the availability of an essentially actualist semantics for modal propositional logic. I argue that the standard Kripkean semantics is not essentially actualist and that other extant approaches also fail to provide a satisfactory essentially actualist semantics. I end by describing an essentialist actualist semantics for modal propositional logic. (shrink)

A widely held view about Fregean Sense has it that the determination of a sign's referent by the sign's sense is achieved viasatisfaction: the sense specifies a condition (or set of conditions) and the referent is that entity, if any, which uniquely satisfies that (set of) condition(s). This is usually held in conjunction with the claim that the sense is existentially and qualitatively independent of the referent: if the referent did not exist, or did not uniquely satisfy the sense, the (...) sense would still exist and would still specify the same condition(s) that it actually does (and might determine a different referent than its actual one). Proponents of this view give several reasons for holding it. I describe these reasons and argue that they are not convincing. More generally, I try to show that the notion of satisfaction has no useful application within Frege's system. I then suggest an alternative account of the determination of a referent by a sense that I think is truer to Frege and more illuminating. Compared to the satisfaction view, my account construes determination as a more naturalistic and epistemically real relation between speakers and things in the world. (shrink)

As Quine observed, the following sentence has a reading which, if true, would be of special interest to the authorities: Ralph believes that someone is a spy. This is the reading where the quantifier is naturally understood as taking wide scope relative to the attitude verb and as binding a variable within the scope of the attitude verb. This essay is interested in addressing the question what the semantic analysis of this kind of reading should look like from a Fregean (...) perspective—a perspective according to which attitude states are generally relations to structured Fregean thoughts composed of senses. The Fregean view faces a challenge of compositionality here. This essay describes the challenge and offers a response on the Fregean's behalf. (shrink)

The paper is an attempt at a logical explication of some crucial notions of current general semantics and pragmatics. A general, axiomatic, formal-logical theory of meaning and interpretation is outlined in this paper.In the theory, accordingto the token-type distinction of Peirce, language is formalised on two levels: first as a language of token-objects (understood as material, empirical, enduring through time-and space objects) and then – as a language of type-objects (understood as abstract objects, as classes of tokens). The basic concepts (...) of the theory, i.e. the notions: meaning, denotation and interpretation of well-formed expressions (wfes) of the language are formalised on the type-level, by utilising some semantic-pragmatic primitive notions introduced on the token-level. The paper is divided into two parts.In Part Ia theoryof meaningand denotation is proposed, and in Part II - its expansion to the theory of meaning and interpretation is presented.The meaninga wfe is defined as an equivalence class of the relation possessing the same manner of using types (cf. Ajdukiewicz [1934], Wittgenstein [1953]). The concept of denotation is defined by means of the relation of referring which holds between wfe-types and objects of reality described by the given language. (shrink)

The paper enriches the conceptual apparatus of the theory of meaning and denotation that was presented in Part I (Section 3). This part concentrates on the notion of interpretation, which is defined as an equivalence class of the relation possessing the same manner of interpreting types. In this part, some relations between meaning and interpretation, as well as one between denotation an interpretational denotation are established. In the theory of meaning and interpretation, the notion of language communication has been formally (...) introduced and some conditions of correctness of communication have been formulated. (shrink)

The paper concentrates on the problem of adequate reflection of fragments of reality via expressions of language and inter-subjective knowledge about these fragments, called here, in brief, language adequacy. This problem is formulated in several aspects, the most being: the compatibility of language syntax with its bi-level semantics: intensional and extensional. In this paper, various aspects of language adequacy find their logical explication on the ground of the formal-logical theory T of any categorial language L generated by the so-called classical (...) categorial grammar, and also on the ground of its extension to the bi-level, intensional and extensional semantic-pragmatic theory ST for L. In T, according to the token-type distinction of Ch.S. Peirce, L is characterized first as a language of well-formed expression-tokens (wfe-tokens) - material, concrete objects - and then as a language of wfe-types - abstract objects, classes of wfe-tokens. In ST the semantic-pragmatic notions of meaning and interpretation for wfe-types of L of intensional semantics and the notion of denotation of extensional semanics for wfe-types and constituents of knowledge are formalized. These notions allow formulating a postulate (an axiom of categorial adequacy) from which follow all the most important conditions of the language adequacy, including the above, and a structural one connected with three principles of compositionality. (shrink)

This paper examines the potential for abstracting propositions – an as yet untested way of defending the realist thesis that propositions as abstract entities exist. I motivate why we should want to abstract propositions and make clear, by basing an account on the neo-Fregean programme in arithmetic, what ontological and epistemological advantages a realist can gain from this. I then raise a series of problems for the abstraction that ultimately have serious repercussions for realism about propositions in general. I first (...) identify problems about the number of entities able to be abstracted using these techniques. I then focus on how issues of language relativity result in problems akin to the Caesar problem in arithmetic by exposing circularity and modal concern over the status of the criterion of identity for propositions. (shrink)

Pogląd standardowy jest taki, że semantyka formalna stosuje się do języka naturalnego tylko w bardzo ograniczonym stopniu. Powodem tego stanu rzeczy jest nieunikniona nieokreśloność mowy potocznej polegająca m. in. na wieloznaczno- ściach, nieostrości czy tolerancji składniowej, a także obecności kontekstów intensjonalnych, co skutkuje limitacjami zasady kompozycjonalności. Ponadto konwersacja potoczna korzysta z rozmaitych reguł, np. reguł Grice’a, które wykraczają poza formalizm logiczny. W konsekwencji język naturalny nie podlega pełnej formalizacji. Z drugiej strony, jeśli L jest językiem formalnym, to metajęzyk ML, w (...) którym ten pierwszy jest opisywany, musi być częściowo nieformalny – zawiera np. terminy zwykłej matematyki, w szczególności teorii mnogości. Nawet jeśli, np. dzięki technice arytmetyzacji, ML daje się przedstawić w L, tego rodzaju reprezentacja jest tylko lokalna. W gruncie rzeczy pogląd taki można wyprowadzić z pewnych uwag Tarskiego o roli języka naturalnego. Zwykle przyjmuje się, że tzw. uniwersalność języka potocznego jest źródłem kłopotów związanych z antynomiami. Tak jest oczywiście i okoliczność ta wymaga pewnej „sanacji”, np. postaci odróżnienia stopni języka. Jednakże nawet usunięcie antynomii w taki lub inny sposób nie zmienia faktu, że to, co nieformalne ma priorytet wobec tego, co formalne. W konsekwencji także semantyka formalna ma także swoje ograniczenia w odniesieniu do języków sformalizowanych. (shrink)

According to the received view formal semantics applies to natural language to some extent only. It is so because natural language is inherently indefinite, in particular, its expressions are ambiguous, vague and admits departures from syntactic rule. Moreover, intensional contexts occur in ordinary language—it results in limitations of the principle of compositionality. The ordinary conversation appeals to various principles, for instance, Grice’s maxims which exceed logical formalism. Thus, ordinary language cannot be fully formalized. On the other hand, if L is (...) a formal language, its metalanguage ML, must be partially informal—for instance, it contains, terms of ordinary mathematics, especially set theory. Even, if, for instance, due to the technique of aritmetization, ML can be represented in L, such a representation is only local. In fact, this view can be derived from some Tarski’s remarks on the role played by natural language. It is usually assumed that the universality of natural language, is the source of troubles associated with antinomies. It is so this circumstance requires a solution, for example by distinguishing levels of language. However, even if antinomies are excluded, what is informal is prior with respect to what is formal. It shows that formal semantics has limitations even with respect to formalized languages. (shrink)

The preface paradox strikes us as puzzling because we feel that if a person holds a set of inconsistent beliefs, i.e. beliefs such that at least one of them must be correct, then he should give at least one of them up. Equally, if a person's belief is rational, then he has a right to hold it. Yet the preface example is prima facie a case in which a person holds an inconsistent set of beliefs each of which is rational, (...) and thus a case in which that person has a duty to relinquish what he has a right to keep. (shrink)

Abstract:With his theory of descriptions Russell wanted to solve two problems concerning denotation and reference, which are formulated here as Problem I and Problem II. After presenting each problem, we describe the main points of Russell’s solution. We deal with Russell’s concepts of existence and then elaborate his presuppositions concerning the relation of denoting and referring. Next we discuss the presuppositions or principles which underlie Russell’s understanding of the objects of reference. These principles are such that if the objects of (...) reference are material objects, they are objects of classical mechanics, or very close to such an interpretation. Finally we show how these principles have to be relaxed if the objects of reference are objects of quantum mechanics or special or general relativity. (shrink)

Fine (2007) argues that Frege’s puzzle and its relatives demonstrate a need for a basic reorientation of the field of semantics. According to this reorientation, the domain of semantic facts would be closed not under the classical consequence relation but only under a stronger relation Fine calls “manifest consequence.” I examine Fine’s informally sketched analyses of manifest consequence, showing that each can be amended to determine a class of strong consequence relations. A best candidate relation emerges from each of the (...) two classes, and I prove that the two candidates extensionally coincide. The resulting consequence relation is of independent interest, for it might be held to constitute a cogent standard of reasoning that proceeds under a deficient grasp on the identity of objects. (shrink)

Mereotopology is a theory of connected parts. The existence of boundaries, as parts of everyday objects, is basic to any such theory; but in classical mereotopology, there is a problem: if boundaries exist, then either distinct entities cannot be in contact, or else space is not topologically connected . In this paper we urge that this problem can be met with a paraconsistent mereotopology, and sketch the details of one such approach. The resulting theory focuses attention on the role of (...) empty parts, in delivering a balanced and bounded metaphysics of naive space. (shrink)

Despite Donald Davidson's influential criticism of the very notion of conceptual schemes, the notion continues enjoying its popularity in contemporary philosophy and, accordingly, conceptual relativism is still very much alive. There is one major reason responsible for Davidson's failure which has not been widely recognized: What Davidson attacks fiercely is not the very notion, but a notion of conceptual schemes, namely, the Quinean notion of conceptual schemes and its underlying Kantian scheme-content dualism. However, such a notion simply cannot carry the (...) weight of conceptual relativism for it does not catch the essences of conceptual relativism. Consequently, I argue that the very notion of conceptual schemes and conceptual relativism have survived Davidson's attack. Therefore, the failure of the Quinean notion of conceptual schemes and Kantian scheme-content dualism, even if Davidson can claim victory, does not mark the end of the very notion of conceptual schemes.[ABSTRACT FROM AUTHOR]. (shrink)

Many papers have been devoted to the semantic turn Carnap took in the late 1930s after Tarski had explained to him his method for defining truth and his work on the establishment of scientific semantics. Commentators have often argued that the major turn in Carnap’s approach to languages had already been taken in the Logical Syntax of Language, but they have usually assumed that Carnap was happy to subsequently follow Tarski and adopt Tarskian semantics. In this paper, it is argued (...) that this assumption needs to be qualified and that Carnap was actually far from following Tarski when he decided to complement his syntactic method with a semantic one. Carnap and Tarski had different goals, divergent programs, and dissenting views on truth and semantics. After exploring several possible methods for the explication of logical concepts such as L-truth and L-implication, Carnap opted for definitions based on concepts he had found in Wittgenstein’s Tractatus and Waismann’s work on a logical interpretation of probability. Carnap’s reasons for taking a semantic turn are to be understood in the context of his principle of tolerance. He first hoped he could use Tarski’s technique to recover in the semantic setting the completeness result he had tried to establish in the Logical Syntax. His eventual adoption of non-Tarskian semantics can be accounted for by his program of a logical analysis of science—including empirical science—and his ambition to elaborate a unified logical framework for deductive, inductive, and modal logic, and for explicating analyticity. (shrink)

Crispin Wright’s “Unified Strategy” for addressing some familiar sceptical paradoxes exploits a subtle distinction between two different ways in which we can be related to a proposition: (full-blown) belief and (mere) acceptance. The importance of the distinction for his strategy stems from his conviction that we cannot acquire any kind of evidence, either empirical or a priori, for the “cornerstones” of our cognitive projects, i.e., for those basic presuppositions of our inquiries that we must be warranted to endorse if we (...) are to claim warrant for any of the beliefs formed as a result of such inquiries: regarding the idea of a non-evidential warrant to believe a proposition as a kind of “conceptual solecism”, he doesn’t set himself the task of showing that we are evidentially warranted to believe such presuppositions, but only that of showing that we are non-evidentially warranted to accept them. In the present paper, I argue that such choice involves a fatal departure from a basic principle governing doxastic commitment—a principle that requires that we regard cornerstones propositions as propositions we are rationally committed to believe, not just entitled to accept. I press the point by presenting the Acceptance Argument, a sceptical paradox whose consideration leads to the conclusion that the Unified Strategy is caught between the Scylla of incoherently invoking a rather dubious form of epistemic alchemy and the Charybdis of placing an unexpected and apparently ad hoc restriction on the doxastic commitments we undertake by believing the things we believe. My final suggestion is that the Unified Strategy might be spared this dilemma only by undergoing a rather radical revision—a revision that would require setting aside the distinction between belief and acceptance to re-conceptualise its goal unabashedly in terms of (non-evidentially) warranted belief. (shrink)

The apparently obviously true doctrine of opacity has been thought to be inconsistent with two others, to which many philosophers of language are also attracted: the referentialist account of the semantics of proper names and indexicals, on the one hand, and the principle of semantic innocence, on the other. I discuss here one of the most popular strategies for resolving the apparent inconsistency, namely Mark Richard’s theory of belief ascriptions, and raise three problems for it. Finally, I propose an alternative (...) theory of the semantics of belief-ascribing sentences that clearly avoids the three problems that trouble Richard’s theory, and advocate it as the best available strategy for resolving the apparent inconsistency between the doctrine of opacity, referentialism, and the principle of semantic innocence. (shrink)

The apparently obviously true doctrine of opacity has been thought to be inconsistent with two others, to which many philosophers of language are also attracted: the referentialist account of the semantics of proper names and indexicals, on the one hand, and the principle of semantic innocence, on the other. I discuss here one of the most popular strategies for resolving the apparent inconsistency, namely Mark Richard’s theory of belief ascriptions, and raise three problems for it. Finally, I propose an alternative (...) theory of the semantics of belief-ascribing sentences that clearly avoids the three problems that trouble Richard’s theory, and advocate it as the best available strategy for resolving the apparent inconsistency between the doctrine of opacity, referentialism, and the principle of semantic innocence. (shrink)

§13 of Principia Ethica contains G. E. Moore’s most famous open question arguments. Several of Moore’s contemporaries defended various forms of metaethical nonnaturalism—a doctrine Moore himself endorsed—by appeal to OQAs. Some contemporary cognitivists embrace the force of Moore’s OQAs against metaethical naturalism. And those who posit noncognitivist meaning components of ethical terms have traditionally used OQAs to fuel their own emotivist, prescriptivist, and expressivist metaethical programs. Despite this influence, Moore’s OQAs have been ridiculed in recent decades. Their deployment has been (...) labeled “accident prone,” “simple to dismiss,” and just plain invalid. Critics accuse Moore of begging the question. Others argue that his OQAs founder upon the paradox of analysis. And still others argue that Moore’s open question argumentation is incompatible with the Kripke–Putnam causal theory of reference and thus it “simply fails; it is bankrupt”. I aim to show that there is something of continuing value in Moore’s open question efforts. I present and criticize Nicholas Sturgeon’s influential interpretation of Moore’s OQAs as a means to motivate and explicate my own interpretation of Moore’s thoughts in §13 of Principia Ethica. I then articulate the role that OQAs are intended to play in Moore’s overall argumentative strategies to undermine metaethical naturalism and thereby provide some theoretical support for metaethical nonnaturalism. Finally, I attend to the most prominent objections to Moore’s theorizing and attempt to evaluate the extent to which Moore’s efforts are successful. My hope is to display both the promising portions of Moore’s metaethical argumentation in Principia Ethica as well as its limitations. (shrink)

Quine is routinely perceived as saving metaphysics from Carnapian positivism. Where Carnap rejects metaphysical existence claims as meaningless, Quine is taken to restore their intelligibility by dismantling the former’s internal–external distinction. The problem with this picture, however, is that it does not sit well with the fact that Quine, on many occasions, has argued that metaphysical existence claims ought to be dismissed. Setting aside the hypothesis that Quine’s metaphysical position is incoherent, one has to conclude that his views on metaphysics (...) are subtler than is often presupposed; both the received view that Quine saved metaphysics and the opposite view that Carnap and Quine are on the same anti-metaphysical team seem too one-sided if we take seriously Quine’s own pronouncements on the issue. In this paper, I offer a detailed reconstruction of Quine’s perspective on metaphysical existence claims. Scrutinizing his published work as well as unpublished papers, letters, and notebooks, I show how Quine is able to both blur the boundary between scientific sense and metaphysical nonsense and to argue that we cannot ask what reality is really like in a distinctively philosophical way. I argue that although Quine’s position is much closer to Carnap’s than the received view suggests, it still differs in two crucial respects. (shrink)

Quine ha promovido una forma de escepticismo sobre los juicios de modalidad de re que cuestiona su función y sugiere, en consecuencia, su eliminación. Wiggins, por su parte, ha argumentado que nuestros juicios ordinarios de individuación de objetos nos comprometen con un cierto esencialismo, con la aceptación de ciertos juicios de modalidad de re. Si Wiggins tuviera razón, tendríamos una respuesta potencial al escepticismo quineano de la función. Sin embargo, en este trabajo argumento que la propuesta de Wiggins es incapaz (...) de proporcionar una respuesta satisfactoria al escepticismo quineano, pues presupone aquello mismo que está en cuestión: los compromisos esencialistas se siguen sólo de la adopción previa de otros juicios de modalidad de re cuya función está precisamente en entredicho. Asimismo, argumento que esta misma conclusión puede extraerse de la consideración de algunas otras teorías contemporáneas de la individuación, similares a la de Wiggins. (shrink)

There are two general classes of social conventions: conventions of coordination, and conventions of partial conflict. In coordination problems, the interests of the agents coincide, while in partial conflict problems, some agents stand to gain only if other agents unilaterally make certain sacrifices. Lewis' (1969) pathbreaking analysis of convention in terms of game theory focuses on coordination problems, and cannot accommodate partial conflict problems. In this paper, I propose a new game-theoretic definition of convention which generalizes previous game-theoretic definitions (Lewis (...) 1969, Vanderschraaf 1995), and which can be used to characterize norms of justice in partial conflict situations. I argue that the key structural property necessary for a social arrangement to be a convention is that it be conditionally self-enforcing, in the sense that: (i) each agent has a decisive reason to follow her end of the arrangement given that she expects all to do likewise, (ii) given a different set of expectations, some agents would have had a decisive reason to deviate, and (iii) these facts are common knowledge. This leads to a definition of convention as a strict correlated equilibrium (Aumann 1974) together with appropriate common knowledge conditions. Examples are given in which it is shown how this more general account of convention can be used to analyze norms of justice as well as coordination problems. It is only a general sense of common interest; which sense all the members of the society express to one another, and which induces them to regulate their conduct by certain rules. I observe, that it will be for my interest to leave another in the possession of his goods, provided he will act in the same manner with regard to me. He is sensible of a like interest in the regulation of his conduct. When this common sense of interest is mutually express'd, and is known to both, it produces a suitable resolution and behavior. And this may properly be call'd a convention or agreement betwixt us,.. (shrink)

This paper concerns the issue of whether the so-called left wing of the Vienna Circle (Carnap, Neurath, Frank) can be understood as having provided the blueprint for a bipartite metatheory with a formal-logical part (the “logic of science”) supporting and being supported by a naturalistic-empirical part (the “behavioristics of science”). A claim to this effect was recently met by a counterclaim that there was indeed an attempt made to broaden Carnap’s formalist conception of philosophy by the pragmatist Morris, but that (...) this initiative failed and that Carnap showed no interest in it. To defend the original claim this paper provides an analysis of Carnap and Morris on the subject matter of pragmatics in order to show that and how Carnap adopted Morris’s proposals in so far as they agreed with bipartite metatheory conception. (shrink)

In , Frank Ramsey separates paradoxes into two groups, now taken to be the logical and the semantical. But he also revises the logical system developed in Whitehead and Russellthe intensional paradoxess interest in these problems seriously, then the intensional paradoxes deserve more widespread attention than they have historically received.

In An Introduction to Metaphysics Heidegger asserted that “it wasnot German idealism that collapsed; rather, the age was no longer strong enough to sustain the greatness, breadth, and originality of that spiritual world, i.e., truly to realize it”. He was at this point launchinginto one of the major themes of his later work: the “darkening of the world” in the form of the materialism and “demonism” typified by the antitheses of the USSR and the USA, a polarity of seeming opposites (...) obscuring an underlying fundamental similarity. This was the modernist faith of both cultures in the power of science to solve all of the problems that have plagued humanity for untold centuries, a faith in the power of science to tell us the absolute truth about the nature of reality. In 1955 Heidegger also characterized science and technology in “The Question Concerning Technology” as an “enframing”, a particular dominant interpretation of reality dependent on the interest of control and which conceals far more than it reveals. For one thing, “the essence of technology isin a lofty sense ambiguous. Such ambiguity points to the mystery of all revealing, i.e., of truth”. Although enframing “lets man endure,” only art as the successor of philosophy transcends techne by allowing us to see that “the essence of technologyis nothing technological”. Much earlier, in Being and Time, he gave his first sustained account of science as the interpretationof reality driven by technological interests, and spoke of Being as the “transcendens” lying beyond “every possible character which an entity can possess” [p. 38]. It remains debatable whether this characterization of Being survived into Heidegger's later period, but despite his nostalgia for the spirituality of the early nineteenth century, the role of Beingin these earlier works might best be explained as some kind of realism. (shrink)

Despite the otherwise-dominant trends towards physicalism and naturalism in philosophy, it has become increasingly common for metaphysicians to accept the existence either of modal facts and properties, or of Lewisian possible worlds. This paper raises the historical question: why did these heavyweight realist views come into prominence? The answer is that they have arisen in response to the demand to find truthmakers for our modal statements. But this demand presupposes that modal statements are descriptive claims in need of truthmakers. This (...) presupposition was, however, rejected by many earlier analytic philosophers, including the logical positivists, Wittgenstein, Ryle and Sellars, all of whom denied that modal statement were descriptive at all. Yet the non-descriptivist approach has largely fallen out of discussion and out of philosophical consciousness. In this paper I examine why non-descriptivist views first came into and then fell out of favor, and consider what the prospects are for reviving this more deflationary approach to modality. (shrink)