La tesis de la privacidad linguitica nace con el gesto fundador de la filosofía moderna que apoya toda legitimidad en la subjetividad y la conciencia. Ello da origen a dos problemas filos�ficos fundamentales, concernientes al mundo y al solipsismo. El siglo XX creyó encontrar en el lenguaje una salida a estos problemas. Wittgenstein es allí una pieza clave. Sin embargo las interpretaciones más influyentes de Wittgenstein enfocaron la crítica del lenguaje privado de tal modo que la salida debía permanecer en (...) el terreno epistemológico de las garantías o criterio de corrección (Malcolm, Fogelin, Kenny, Canfield, Tugendhat). Sostenemos que la interpretación propuesta por Kripke se apoya un un agudo diagnóstico de la fuente de estas dificultades, dándose cuenta que la refutación del lenguaje privado requería abandonar toda una concepción, la del realismo, que afectaban por igual al lenguaje privado y al público. Su argumentación, centrada en la semántica, irradia consecuencias más allá de la misma. Su "solución escéptica" al establecer que los juicios de corrección, entendidos como básicos y primitivos, sólo poseen sentido en el marco de una comunidad uniforme en sus juicios, coloca al discurso filosófico en un nuevo terreno. (shrink)

Introduction : action, thought, pragmatism -- Neo-pragmatism and its critics -- Methodology : reconstructive dialectics -- A history of action theory -- Defining actions -- The explanation of action -- A material explication of agency -- Agency and existence.

El año 1962 vio la introducción, por parte de Kuhn y Feyerabend, de la tesis de la inconmensurabilidad de las teorías científicas . Desde entonces, la tesis ha sido debatida ampliamente y ha atraído muchos críticos. Su influencia aún es considerable, particularmente en las áreas de la historia y la filosofía de la ciencia interesadas en el cambio y la elección de teorías. Esta influencia se debe, en gran medida, a la inmensa popularidad de la obra maestra de Kuhn, La (...) Estructura de las revoluciones científicas, la cual asegura que la idea de la inconmensurabilidad continúe alcanzando un público amplio. Sin embargo, no es tan ampliamente apreciado que la versión de Kuhn de la inconmensurabilidad ha ido sufriendo, con el tiempo, un proceso continuo de revisión y clarificación. Como resultado de esto, la versión de la tesis por la que Kuhn es mejor conocido difiere notablemente de la versión que él asume en el presente. En este artículo presento un estudio del proceso de cambio, caracterizando las etapas principales por las que transcurre el concepto kuhniano de inconmensurabilidad. (shrink)

Commitment to sparseness amounts to the idea that there is an objective, worldly privileging of certain properties over others that makes the privileged properties suited to play certain roles, and is responsible for their playing such roles. In this chapter I offer a brief, opinionated overview of sparseness. I begin by examining a set of problems that I call “problems of abundance”, which generate canonical motivations for sparseness. I then survey some influential approaches to sparseness and the roles that they (...) attribute to sparse properties, noting that on most approaches sparse properties are deeply connected to inquiry. Finally I consider some problems for sparseness, focusing on the purported connections between sparseness and inquiry, particularly in philosophy of science and inquiry into the social world. (shrink)

Juliette Kennedy’s new book brims with intriguing ideas. I don’t understand all of them, and I’m not convinced that the ones I do understand all fit together, b.

Przekonania samolokalizujące stanowią problem dla popularnej koncepcji przekonań, wedle której przekonania są dwuargumentową relacją między podmiotem a sądem. Koncepcja ta nie potrafi wyjaśnić doniosłości poznawczej tych przekonań dla podmiotu, a co za tym idzie ich związku z zachowaniem. Wydaje się, że przekonania samolokalizujące nie są redukowalne do przekonań jednostkowych, ponieważ podmiot może mieć przekonanie jednostkowe na swój temat, nie mając odpowiedniego przekonania samolokalizującego. David Lewis, John Perry oraz Robert Stalanker zaproponowali różne rozwiązania tego problemu. Stalnaker – w przeciwieństwie do Lewisa (...) i Perry’ego – broni tradycyjnej koncepcji przekonań. Propozycja Stalnakera opiera się na założeniu, że każdy rodzaj niewiedzy dotyczącej własnego usytuowania w świecie można przedstawić jako niewiedzę dotyczącą tego, który świat jest światem rzeczywistym. Zdaniem Clasa Webera, którego argumentację omawiam, strategia ta zawodzi. (shrink)

Ernie Lepore: Quine, Analyticity, and Transcendence: In “Two Dogmas of Empiricism” Quine characterizes and rejects three approaches to making sense of analyticity. One approach attempts to reduce putative analytic statements to logical truths by synonym substitution. A second approach is to identify analytic statements with “semantic rules,” or “meaning postulates.” A third approach relies on the verificationist theory of meaning. According to that theory, “every meaningful statement is held to be translatable into a statement (true or false) about immediate experience, (...) or, less radically, “each statement, taken in isolation from its fellows, can admit of confirmation or information.” Analytic statements are, then, those that are confirmed come what experiences may. If either version of the verificationist approach were correct, then there would be objective facts about the extensions of terms from intuitive semantics, for example, “‘…’ is synonymous with ‘___’” and “‘…’ is analytic,” across all languages. In this essay, I focus my discussion primarily on the third, verificationist, approach – though what I shall have to say will bear on the second approach as well. In particular, I explain the models of language contained in verificationism and the weaker confirmationism, and why most positivists abandoned the former for the latter. I explain the connection between confirmationism and intuitive semantics and why considerations of holism alone are incapable of severing that connection. (shrink)

In Davidson's philosophy, one finds a wide variety of rich, provocative, and influential arguments concerning the nature of the mind—that mental states emerge only in the context of interpretation, that belief is "in its nature" veridical, that mental events are physical events, and so on. Most, if not all, of Davidson's conclusions about the mind have their source in discussions about the project of "radical interpretation." They rely upon arguments concerning the conditions on the successful interpretation of a speaker by (...) an interpreter who knows nothing initially about the speaker's language or mental states. But what is the relevance of this activity of radical interpretation? Why should the conditions on succeeding at it illuminate anything about the nature of the mind in general? In this paper, I explore these issues. In particular, I will argue that Davidson's confidence in the relevance of radical interpretation for understanding the mind ultimately depends upon a prior and quite substantive view of the mind. Moreover, it is a view of the mind for which Davidson provides little support. Indeed, the little support Davidson does provide appears to depend itself on the very relevance of radical interpretation. (shrink)

I make a Quinean case that Quine’s ontological relativity marked a wrong turn in his philosophy, that his fundamental commitments point toward the classical view of ontology that was worked out in most detail in hisWord and Object. This removes the impetus toward structuralism in his later philosophy.

The paper presents an alternative substitutional semantics for first-order modal logic which, in contrast to traditional substitutional (or truth-value) semantics, allows for a fine-grained explanation of the semantical behavior of the terms from which atomic formulae are composed. In contrast to denotational semantics, which is inherently reference-guided, this semantics supports a non-referential conception of modal truth and does not give rise to the problems which pertain to the philosophical interpretation of objectual domains (concerning, e.g., possibilia or trans-world identity). The paper (...) also proposes the notion of modality de nomine as an alternative to the denotational notion of modality de re. (shrink)

This article is about Avicenna’s account of syllogisms comprising opposite premises. We examine the applications and the truth conditions of these syllogisms. Finally, we discuss the relation between these syllogisms and the principle of non-contradiction.

This chapter introduces the difficulty of acquiring phenomenological terms by examining Carnap’s and Derrida’s criticisms of phenomenological speech; their criticisms show that any account of how phenomenological speech is acquired must clarify its distinction from ordinary speech about things while not falling prey to an esoteric separation. The chapter then reviews the way Husserl, Scheler, and Heidegger offer “indication” as the way to distinguish but not separate the one and the other, and it argues that indication, even with the support (...) of analogy, metaphor, and metonym, suffers from Quinean indeterminacy and therefore requires some other resources for its successful enactment. Finally, the chapter outlines a novel solution to the problem of phenomenological speech by approaching the question as one of genesis and acquisition: ordinary language embeds certain experiential terms, such as “presence” and “absence,” that, when inflected, introduce the learner into the transcendental dimension of experience. The chapter demonstrates that the question of language learning or acquisition is necessary for unraveling the nature of phenomenological language and clarifying its relation to ordinary speech. (shrink)

Are groups ever capable of bearing responsibility, over and above their individual members? This chapter discusses and defends the view that certain organized collectives – namely, those that qualify as group moral agents – can be held responsible for their actions, and that group responsibility is not reducible to individual responsibility. The view has important implications. It supports the recognition of corporate civil and even criminal liability in our legal systems, and it suggests that, by recognizing group agents as loci (...) of responsibility, we may be able to avoid “responsibility gaps” in some cases of collectively caused harms for which there is a shortfall of individual responsibility. The chapter further asks whether the view that certain groups are responsible agents commits us to the view that those groups should also be given rights of their own and gives a qualified negative answer. (shrink)

This article highlights the long accomplishments of Claude Sumner, S.J. in the field of African philosophy. During his lifetime he published over 33 books and 184 articles. He lived and worked in Ethiopia for 44 years. He translated into English and analysed several key historical works in Ethiopian philosophy, written originally in Ge’ez. He argued that modern rationalist philosophy began in Africa with Zera Yacob at the same time that it began in France with Descartes. He then set to work (...) recording and analyzing oral philosophical sources found in proverbs and songs. He theorized on the definitions of philosophy and the methods to explore philosophy found in different sources. (shrink)

Quine's views on ontology and naturalism are well-known but rarely considered in tandem. According to my interpretation the connection between them is vital. I read Quine as a global epistemic structuralist. Quine thought we only ever know objects qua solutions to puzzles about significant intersections in observations. Objects are always accessed descriptively, via their roles in our best theory. Quine's Kant lectures contain an early version of epistemic structuralism with uncharacteristic remarks about the mental. Here Quine embraces mitigated anomalous monism, (...) allowing introspection and the availability in principle of full physical descriptions of the perceptual states which get science off the ground. Later versions abandon these ideas. My epistemic-structural interpretation explains why. I argue first-personal introspective access to mental states is incompatible with global epistemic structuralism. (shrink)

In the early twentieth century, Uchiyama Gudō, Seno’o Girō, Lin Qiuwu, and others advocated a Buddhism that was radical in two respects. Firstly, they adopted a more or less naturalist stance with respect to Buddhist doctrine and related matters, rejecting karma or other supernatural beliefs. And secondly, they held political and economic views that were radically anti-hegemonic, anti-capitalist, and revolutionary. Taking the idea of such a “radical Buddhism” seriously, A Buddha Land in This World: Philosophy, Utopia, and Radical Buddhism asks (...) whether it is possible to develop a philosophy that is simultaneously naturalist, anti-capitalist, Buddhist, and consistent. Rather than a study of radical Buddhism, then, this book is an attempt to radicalize it. The foundations of this “radicalized radical Buddhism” are provided by a realist interpretation of Yogācāra, elucidated and elaborated with some help from thinkers in the broader Tiantai/Tendai tradition and American philosophers Donald Davidson and W.V.O. Quine. A key implication of this foundation is that only this world and only this life are real, from which it follows that if Buddhism aims to alleviate suffering, it has to do so in this world and in this life. Twentieth-century radical Buddhists (as well as some engaged Buddhists) came to a similar conclusion, often expressed in their aim to realize “a Buddha land in this world.” Building on this foundation, but also on Mahāyāna moral philosophy, this book argues for an ethics and social philosophy based on a definition of evil as that what is or should be expected to cause death or suffering. On that ground, capitalism should be rejected indeed, but utopianism must be treated with caution as well, which raises questions about what it means – from a radicalized radical Buddhist perspective – to aim for a Buddha land in this world. (shrink)

The question how to turn the principles implicitly governing the concept of truth into an explicit definition of the concept hence coalesced with the question how to get a finite grip on the infinity of T-sentences. Tarski's famous and ingenious move was to introduce a new concept, satisfaction, which could be, on the one hand, recursively defined, and which, on the other hand, straightforwardly yielded an explication of truth. A surprising 'by-product' of Tarski's effort to bring truth under control was (...) the breathtaking finding that truth is in a precisely defined sense ineffable, that no non trivial language can contain a truth-predicate which would be adequate for the very 4 language. This implied that truth proved itself to be strangely 'language-dependent': we can have a concept of truth-in-L for any language L, but we cannot have a concept of truth applicable to every language. In a sense, this means, as Quine put it, that truth belongs to "transcendental metaphysics", and Tarski's 'scientific' investigations seem to lead us back towards a surprising proximity of some more traditional philosophical views on truth. 3. TARSKI'S THEORY AS A PARADIGM So far Tarski himself. Subsequent philosophers then had to find out what his considerations of the concept of truth really mean and what are their consequences; and this now seems to be an almost interminable task. (shrink)

This book is a defence of the philosophy of common sense in the spirit of Thomas Reid and G.E. Moore, drawing on the work of Aristotle, evolutionary biology and psychology, and historical studies on the origins of early modern philosophy. It defines and explores common sense beliefs, and defends them from challenges from prominent philosophers.

What is the source of logical and mathematical truth? This book revitalizes conventionalism as an answer to this question. Conventionalism takes logical and mathematical truth to have their source in linguistic conventions. This was an extremely popular view in the early 20th century, but it was never worked out in detail and is now almost universally rejected in mainstream philosophical circles. Shadows of Syntax is the first book-length treatment and defense of a combined conventionalist theory of logic and mathematics. It (...) argues that our conventions, in the form of syntactic rules of language use, are perfectly suited to explain the truth, necessity, and a priority of logical and mathematical claims, as well as our logical and mathematical knowledge. (shrink)

The volume includes twenty-five research papers presented as gifts to John L. Bell to celebrate his 60th birthday by colleagues, former students, friends and admirers. Like Bell’s own work, the contributions cross boundaries into several inter-related fields. The contributions are new work by highly respected figures, several of whom are among the key figures in their fields. Some examples: in foundations of maths and logic ; analytical philosophy, philosophy of science, philosophy of mathematics and decision theory and foundations of economics. (...) Most articles are contributions to current philosophical debates, but contributions also include some new mathematical results, important historical surveys, and a translation by Wilfrid Hodges of a key work of arabic logic. (shrink)

Communication and content presents a comprehensive and foundational account of meaning based on new versions of situation theory and game theory. The literal and implied meanings of an utterance are derived from first principles assuming little more than the partial rationality of interacting agents. New analyses of a number of diverse phenomena – a wide notion of ambiguity and content encompassing phonetics, syntax, semantics, pragmatics, and beyond, vagueness, convention and conventional meaning, indeterminacy, universality, the role of truth in communication, semantic (...) change, translation, Frege’s puzzle of informative identities – are developed. Communication, speaker meaning, and reference are defined. Frege’s context and compositional principles are generalized and reconciled in a fixed-point principle, and a detailed critique of Grice, several aspects of Lewis, and some aspects of the Romantic conception of meaning are offered. Connections with other branches of linguistics, especially psycholinguistics, sociolinguistics, historical linguistics, and natural language processing, are explored. -/- The book will be of interest to scholars in philosophy, linguistics, artificial intelligence, and cognitive science. It should also interest readers in related fields like literary and cultural theory and the social sciences. (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)

What is the role of the environment, and of the information it provides, in cognition? More specifically, may there be a role for certain artefacts to play in this context? These are questions that motivate "4E" theories of cognition (as being embodied, embedded, extended, enactive). In his take on that family of views, Hajo Greif first defends and refines a concept of information as primarily natural, environmentally embedded in character, which had been eclipsed by information-processing views of cognition. He continues (...) with an inquiry into the cognitive bearing of some artefacts that are sometimes referred to as 'intelligent environments'. Without necessarily having much to do with Artificial Intelligence, such artefacts may ultimately modify our informational environments. -/- With respect to human cognition, the most notable effect of digital computers is not that they might be able, or become able, to think but that they alter the way we perceive, think and act. (shrink)

During the past few decades, a radical shift has occurred in how philosophers conceive of the relation between science and philosophy. A great number of analytic philosophers have adopted what is commonly called a ‘naturalistic’ approach, arguing that their inquiries ought to be in some sense continuous with science. Where early analytic philosophers often relied on a sharp distinction between science and philosophy—the former an empirical discipline concerned with fact, the latter an a priori discipline concerned with meaning—philosophers today largely (...) follow Willard Van Orman Quine (1908-2000) in his seminal rejection of this distinction. -/- This book offers a comprehensive study of Quine’s naturalism. Building on Quine’s published corpus as well as thousands of unpublished letters, notes, lectures, papers, proposals, and annotations from the Quine archives, this book aims to reconstruct both the nature (chapters 2-4) and the development (chapter 5-7) of his naturalism. As such, this book aims to contribute to the rapidly developing historiography of analytic philosophy, and to provide a better, historically informed, understanding of what is philosophically at stake in the contemporary naturalistic turn. (shrink)

The aim of this essay is to outline a conceptual framework for a type of philosophy (or approach to philosophy) to be herein called “non-sentential philosophy.” Although I will primarily concern myself with the conceptual coherence of the framework in this essay, illustrations will be provided to show that the notion has rich implications for comparative studies. In particular, I believe this theoretical framework will be of interest to those looking for a way to capture the differences between certain non-Western (...) philosophical traditions—such as Chinese philosophy—and Western philosophy, a tradition in which the sentential approach is dominant. (shrink)

The paper deals with Hilary Putnam's model-theoretic argument against metaphysical realism. It considers the objections to the argument raised by David Lewis, Mark Heller, James van Cleve, Anthony Brueckner and others, to the effect that Putnam's reasoning fails to undermine versions of metaphysical realism which construe reference along externalist lines. I argue that the version of Putnam's argument that his critics have attacked is indeed powerless against externalist accounts of reference, but that, on a different construal, the argument puts genuine (...) pressure on externalism. On the version of the argument that I develop, the thrust of the model-theoretic considerations is that an externalist construal of reference would make grasp of reference facts impossible. (shrink)

Despite significant advances in various special areas in the study of language, the question of what the basic nature of the theory of a language is remains controversial and unclear. In this paper we propose to rectify this situation and argue for a general perspective — one which only a few theorists have explicitly endorsed — by showing that it is at once theoretically illuminating and empirically plausible. This perspective consists of the following claims: that the most basic theory of (...) a language is a theory of communication viz., of understanding and production; that a theory of communication in this sense presupposes a theory of thought; that a grammar is most fruitfully thought of as a component of a theory of communication; and that so-called theories of meaning form a rather heterogeneous group, some of which being fragments of grammars, others being theories of thought, and still others being what are sometimes referred to as theories of reference. We shall be particularly concerned with and here. (shrink)

The primary outcome of natural selection is adaptation to an environment. The primary concern of epistemology is the acquistion of knowledge. Evolutionary epistemology must therefore draw a fundamental connection between adaptation and knowledge. Existing frameworks in evolutionary epistemology do this in two ways; (a) by treating adaptation as a form of knowledge, and (b) by treating the ability to acquire knowledge as a biologically evolved adaptation. I criticize both frameworks for failing to appreciate that mental representations can motivate behaviors that (...) are adaptive in the real world without themselves directly corresponding to the real world. I suggest a third framework in which mental representations are to reality as species are to ecosystems. This is a many-to-one relationship that predicts a diversity of adaptive representations in the minds of interacting people. As “species of thought”, mental representations share a number of properties with biological species, including isolating mechanisms that prevent them from blending with other representations. Species of thought also are amenable to the empirical methods that evolutionists use to study adaptation in biological species. Empirical studies of mental representations in everyday life might even be necessary for science to succeed as a normative “truth-seeking” discipline. (shrink)

How are permutation arguments for the inscrutability of reference to be formulated in the context of a Davidsonian truth-theoretic semantics? Davidson takes these arguments to establish that there are no grounds for favouring a reference scheme that assigns London to “Londres”, rather than one that assigns Sydney to that name. We shall see, however, that it is far from clear whether permutation arguments work when set out in the context of the kind of truth-theoretic semantics which Davidson favours. The principle (...) required to make the argument work allows us to resurrect Foster problems against the Davidsonian position. The Foster problems and the permutation inscrutability problems stand or fall together: they are one puzzle, not two. (shrink)

Simon Saunders and David Wallace have proposed an attractive semantics for interpreting linguistic communities embedded in an Everettian multiverse. It provides a charitable interpretation of our ordinary talk about the future, and allows us to retain a principle of bivalence for propositions and to retain the law of excluded middle in the logic of propositions about the future. But difficulties arise when it comes to providing an appropriate account of the metaphysics of macroscopic objects and events. I evaluate various metaphysical (...) frameworks which might be combined with the Saunders–Wallace semantics. I conclude that the most appropriate metaphysics to underwrite the semantics renders Everettian quantum mechanics a theory of non-overlapping worlds. (shrink)

Of all contemporary social theorists, Luhmann has best understood the centrality of the concept of meaning to social theory and has most extensively worked out the notion's implications. However, despite the power of his theory, the theory suffers from difficulties impeding its reception. This article attempts to remedy this situation with some critical arguments and proposals for revision. First, the theory Luhmann adopted from biology as the basis of his own theory was a poor choice since that theory has no (...) explanatory power, being purely descriptive; furthermore, that theory is fundamentally flawed since it implies that viruses are impossible. Second, Luhmann's theory of meaning cannot coherently make the social domain autonomous as he desires since Luhmann does not take into account the distinction between syntax and semantics. By introducing this distinction, making clear that social systems consist of rules, not just communications, and raising the rule concept to the same prominence in social theory as those of actor and system, autonomy can be maintained while avoiding the counterintuitive aspects of Luhmann's theory. (shrink)

The article discusses the V.V. Tselishchev’s original and unique systematic study of the specific and extremely complicated problems of Gödel results regarding the question of artificial intelligence essence. Tselishchev argues that the reflexive property should be considered not only as an advantage of human reasoning, but also as an objective internal limitation that appears in case of adding Gödel sentence to a theory to build a new theory. The article analyzes so-called mentalistic Gödel’s argument for fundamental superiority of human intelligence (...) over machine one and the non-algorithmic nature of natural thinking. The discussion about the Gödel argument is not entirely speculative, but contains new knowledge. An example of such knowledge are the results of R. Smullyan levels of computers “awareness,” which are may be interpreted in a psychophysical sense. The concept of “zero level of intelligence” is proposed for such a reflexive property as “awareness of selfconsciousness.” Reflexive ranks below the awareness of self-consciousness can be considered negative levels of thinking in the sense that the intelligence, being reduced to them, significantly loses its completeness. Even self-consciousness turns out to be a negative level of thinking, since, according to Smullyan, the subject of self-consciousness is unaware of the type of thought to which he belongs. A thought experiment is proposed that allows us to establish the distribution of the properties of Smullyan stability and normality and to answer the question “Does an intuitive belief in the truth of a formal proof affect the truth of a proposition being proved?” According to intuitionism, the most unpleasant epistemic property is instability: beliefs that are not based on deep intuitions have no value. According to the constructivist philosophy of mathematics, instability is a less negative property than abnormality: the fact that high-ranking beliefs cannot be immersed to the very foundations is not significant because violation of truth due to lowering the rank of reflection is not critical. (shrink)

O objetivo desse artigo é lançar luz sobre a tese da indeterminação da referência de Quine, usando para isso a distinção feita por Frege entre agregados e conjuntos. Além da distinção fregiana, usaremos também algumas noções de teoria dos modelos, tais como “modelos alternativos” e “morfismos entre traduções”.

Crispin Wright holds that moral realism is implausible since it is not a priori that every moral disagreement involves cognitive shortcomings. I develop two responses to this argument. First, a realist may argue that it holds for at least one of the parties to any disagreement that he holds false background beliefs (moral or otherwise) or that his verdict to the disputed judgment fails to cohere with his system. Second, he may argue that if none of the verdicts involves shortcomings, (...) the appropriate conclusion is that the disagreement is not genuine, since we must otherwise attribute an inexplicable error. (shrink)

The idea of there being “no fact of the matter” (NFM) features centrally in Quine’s indeterminacy theses. Yet there has been little discussion of how exactly Quine understands this idea. In this paper I identify, develop and then critically evaluate Quine’s conception of NFM. In Sects. 3–4 I consider a handful of intuitive semantic and ontological conceptions of NFM and argue that none is workable from within Quine’s philosophy. I conclude that the failure of each of these proposals is due (...) to the immanent status of truth and existence for Quine. In Sect. 5 I then present Quine’s official conception of NFM. Briefly, Quine’s idea is that there is NFM between two theories of translation iff those theories are physically equivalent. I develop this idea in detail. Finally, I raise two independent problems for this conception of NFM. In Sect. 6 I argue that Quine’s definition is too strong: given what he means by NFM, his arguments for indeterminacy—even granting all their premises and internal reasoning—simply cannot support his claim that there is NFM regarding translation; instead they establish a strictly weaker conclusion. In Sect. 7 I argue that Quine’s conception of NFM is in significant tension with his thesis of physicalism, and that he must give up one or the other. (shrink)

Naturalists seek to ground what exists in a set of fundamental metaphysical principles that they call ‘nature’. But metaphysical principles can’t function as fundamental explanatory grounds, since their ability to explain anything depends on the intelligibility granted by transcendental structures. What makes metaphysical principles intelligible, what unifies them, and allows them to characterize the being of worldly objects are the transcendental structures through which worldly objects are manifest. This means that the search for fundamental explanatory grounds must go deeper than (...) the postulation of brute metaphysical facts. But this search cannot end with transcendental structures either, since the mode of being of transcendental subjects also calls out for explanation. Conceiving of transcendental subjects through the concept of being-in-the-world ties the mode of being of subjects to the world they inhabit. What grounds the existence of worldly objects, and what grounds our existence as being-in-the-world is nature: a principle that is neither an object, nor a subject – a principle that makes possible our encounters with intelligible worldly things. (shrink)

Several philosophers have argued that natural selection will favor reliable belief formation; others have been more skeptical. These traditional approaches to the evolution of rationality have been either too sketchy or else have assumed that phenotypic plasticity can be equated with having a mind. Here I develop a new model to explore the functional utility of belief and desire formation mechanisms, and defend the claim that natural selection favors reliable inference methods in a broad, but not universal, range of circumstances.

If the computational theory of mind is right, then minds are realized by machines. There is an ordered complexity hierarchy of machines. Some finite machines realize finitely complex minds; some Turing machines realize potentially infinitely complex minds. There are many logically possible machines whose powers exceed the Church–Turing limit (e.g. accelerating Turing machines). Some of these supermachines realize superminds. Superminds perform cognitive supertasks. Their thoughts are formed in infinitary languages. They perceive and manipulate the infinite detail of fractal objects. They (...) have infinitely complex bodies. Transfinite games anchor their social relations. (shrink)

I use modal logic and transfinite set-theory to define metaphysical foundations for a general theory of computation. A possible universe is a certain kind of situation; a situation is a set of facts. An algorithm is a certain kind of inductively defined property. A machine is a series of situations that instantiates an algorithm in a certain way. There are finite as well as transfinite algorithms and machines of any degree of complexity (e.g., Turing and super-Turing machines and more). There (...) are physically and metaphysically possible machines. There is an iterative hierarchy of logically possible machines in the iterative hierarchy of sets. Some algorithms are such that machines that instantiate them are minds. So there is an iterative hierarchy of finitely and transfinitely complex minds. (shrink)