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)

Um dos grandes desafios da era da informação consiste em filtrar informações claras, rigorosas e atualizadas sobre tópicos importantes. O mesmo vale para a filosofia. Como encontrar conteúdo filosófico confiável em meio a milhares de artigos publicados diariamente na internet? Para ir ainda mais longe, como encontrar uma introdução a algum tópico com uma lista de referências bibliográficas atualizadas e que seja organizada por um especialista da área? Já que você começou a ler este livro, é provável que tenha ouvido (...) falar em algum momento da Enciclopédia Stanford de Filosofia, disponível gratuitamente na internet desde 1995. A página da Stanford faz exatamente isso. Ela cobre inúmeros verbetes sobre quase tudo em filosofia, oferecendo informação confiável sobre temas como feminismo, filosofia na América Latina, zumbis, metafísica e milhares de outros tópicos. A sugestão típica aos profissionais da filosofia que têm interesse em começar a estudar algum tópico, mas não sabem sequer por onde começar, é procurar pelo verbete relevante da Stanford. Infelizmente, o grande empecilho da página para o nosso contexto é que todos os verbetes estão disponíveis apenas em inglês, algo que cria um obstáculo a inúmeros estudantes e interessados que não dominam a língua. Neste sentido, acreditamos que esta publicação preencha um hiato importante na filosofia brasileira. Embora a filosofia no Brasil tenha se profissionalizado e expandido ao longo dos anos, há ainda lacunas em diversas áreas, e os verbetes foram aqui selecionados cuidadosamente no intuito de preencher ao menos algumas dessas lacunas. Este livro apresenta quatro verbetes cruciais para a filosofia, aqui divididos em quatro capítulos: (1) condições necessárias e suficientes, (2) referência (3) causação e (4) consciência. (shrink)

The aim of this paper is to discuss theories that attempt to single out the class of intentional states by appealing to factors that are supposedly criterial for intentional sentences. The papers starts with distinguishing two issues that arise when one thinks about intentional expressions: the Taxonomy Problem and the Fundamental Demarcation Problem. The former concerns the relation between the classes of distinct intentional verbs and distinct intentional states. The latter concerns the question about how to distinguish intentional states and (...) acts from the non-intentional ones. Next, the general desiderata for theories providing criteria for singling out the class of intentional sentences are introduced. Finally, distinct proposals for providing such criteria are analyzed. Author argues that neither is satisfactory. (shrink)

In this paper, presented at an APA colloquium in Boston on December 28, 1994, it is argued that Ruth Barcan Marcus' 1961 article on Modalities and Intensional Languages originated many of the key ideas of the New Theory of Reference that have often been attributed to Saul Kripke and others. For example, Marcus argued that names are directly referential and are not equivalent to contingent descriptions, that names are rigid designators, and that identity sentences with co-referring names are necessary if (...) true. She also first presented the modal argument that names are directly referential, the epistemic argument that names are directly referential, and the argument that there area posteriori necessities. (shrink)

Evidence is drawn together to connect sources of inconsistency that Frege discerned in his foundations for arithmetic with the origins of the paradox derived by Russell in "Basic Laws" I and then with antinomies, paradoxes, contradictions, riddles associated with modal and intensional logics. Examined are: Frege's efforts to grasp logical objects; the philosophical arguments that compelled Russell to adopt a description theory of names and a eliminative theory of descriptions; the resurfacing of issues surrounding reference, descriptions, identity, substitutivity, paradox in (...) the debates concerning modal and intensional logics; the development of the New Theory of Reference. I consider this to be the philosophical ground upon which the debates regarding that theory should take place. (shrink)

This is a thorough treatment of first-order modal logic. The book covers such issues as quantification, equality (including a treatment of Frege's morning star/evening star puzzle), the notion of existence, non-rigid constants and function symbols, predicate abstraction, the distinction between nonexistence and nondesignation, and definite descriptions, borrowing from both Fregean and Russellian paradigms.

Quineans have taken the basic expression of ontological commitment to be an assertion of the form '' x '', assimilated to theEnglish ''there is something that is a ''. Here I take the existential quantifier to be introduced, not as an abbreviation for an expression of English, but via Tarskian semantics. I argue, contrary to the standard view, that Tarskian semantics in fact suggests a quite different picture: one in which quantification is of a substitutional type apparently first proposed by (...) Geach. The ontological burden is borne by constant symbols, and truth is defined separately from reference. (shrink)

This paper defendsintensional essentialism: a property (intensional entity) is not essential relative to an individual (extensional entity), but relative to other properties (or intensional entities). Consequently, an individual can have a property only accidentally, but in virtue of having that property the individual has of necessity other properties. Intensional essentialism is opposed to various aspects of the Kripkean notion of metaphysical modality, eg, varying domains, existence as a property of individuals, and its category of properties which are both empirical and (...) essential with respect to particular individuals and natural kinds. The key notion of intensional essentialism isrequisite. A requisite is explicated as a relation-in-extension between two intensions (functions from possible worlds and moments of time)X, Y such that wherever and wheneverX is instantiatedY is also instantiated. We predict three readings of the sentence. Every wooden table is necessarily wooden , one involving modalityde re and the other two modalityde dicto. The first reading claims that no individual which is a wooden table is necessarily wooden. The claim is backed up by bare particular anti-essentialism. The two other interpretations claim that it is necessary that whatever is a wooden table is wooden. However, as we try to show, one is logically far more perspicuous thanks to the concept of requisite and thus preferable to more standardde dicto formalizations. (shrink)

When we use a directly referential expression to denote an object, do we incur an ontological commitment to that object, as Russell and Barcan Marcus held? Not according to Quine, whose regimented language has only variables as denoting expressions, but no constants to model direct reference. I make a case for a more liberal conception of ontological commitment—more wide-ranging than Quine’s—which allows for commitment to individuals, with an improved logical language of regimentation. The reason for Quine’s prohibition on commitment to (...) individuals, I argue, is that his choice of regimented language is heavily informed by his holist epistemology, in which objects are introduced via a description of their explanatory role. But non-holists can coherently attempt to commit to individuals using directly referential expressions, modelled in a formal language as constants. While holding on to the insight that a logical language is a helpful medium for ontology, I propose instead a more permissive language of regimentation, one expanded to permit the use of constants to record attempts to commit to individuals, which allows us to make sense of non-holist theories with alternative name-based or name-and-variable-based criteria of ontological commitment as well as Quinean theories. (shrink)

Traditionally, nature has often been thought to be structured by essential forms providing the generic features of natural things and thus the foundations for scientific explanations. In contrast, human history and the social domain have been thought to be the realm of ever-changing appearances, where contingency prevails. The paper argues that the existence of essential forms is compatible with the contingent, mind-dependent and historical character of the social world, and that essential forms can also be found in the social domain. (...) Two categories of entities are discussed that suggest themselves to be identified as social forms, namely social kinds and social identities. To this end, it is shown that standard arguments for the existence of essential forms also apply to the social domain, and objections to the existence of social forms are rebutted. Particular attention is paid to the explanatory appeal of social forms. The paper concludes by suggesting that, far from being oppressive, essential social forms are presupposed by liberating social practices. (shrink)

The so-called New Theory of Reference (Marcus, Kripke etc.) is inspired by the insight that in modal and intensional contexts quantifiers presuppose nondescriptive unanalyzable identity criteria which do not reduce to any descriptive conditions. From this valid insight the New Theorists fallaciously move to the idea that free singular terms can exhibit a built-in direct reference and that there is even a special class of singular terms (proper names) necessarily exhibiting direct reference. This fallacious move has been encouraged by a (...) mistaken belief in the substitutional interpretation of quantifiers, by the myth of thede re reference, and a mistaken assimilation of direct reference to ostensive (perspectival) identification. Thede dicto vs.de re contrast does not involve direct reference, being merely a matter of rule-ordering (scope).The New Theorists' thesis of the necessity of identities of directly referred-to individuals is a consequence of an unmotivated and arbitrary restriction they tacitly impose on the identification of individuals. (shrink)

In “Function and Concept” and “On Concept and Object”, Frege argued that certain differences between dependent and independent meanings were inviolable and “founded deep in the nature of things” but, in those articles, he was not explicit about the actual consequences of violating such differences. However, since by creating a law that permitted one to pass from a concept to its extension, he himself mixed dependent and independent meanings, we are in a position to study some of the actual consequences (...) of his having done so. To make certain of Frege’s ideas about the inviolability of logical form more tangible, I describe a string of very interrelated consequences that his attempt to transform dependent meanings into independent meanings actually brought in its wake. (shrink)

This paper examines the legitimacy of two common methodologies within philosophy: thought experiments and conceptual analysis. In particular, I examine the uses to which these two methodologies have been put within modal epistemology. I argue that, although both methods can be used to reveal conditional essentialist claims (e.g. necessarily: if x is water, then x is H20), neither can be used to reveal the de re essentialists claims (e.g. x is water and x is essentially H20) they’re often taken to (...) reveal. (shrink)

In the semantic revolution that has led many philosophers of language away from Fregeanism and towards the acceptance of direct reference, the notion of rigidity introduced by Saul Kripke in Naming and Necessity has played a crucial role. The notions of rigidity and direct reference are indeed different, but proponents of new theories of reference agree that there is a one way connection between them: although not all rigid terms are directly referential (witness rigid definite descriptions), all directly referential terms (...) are rigid. My purpose in this paper is to contest this widely held view. I will argue that, on a certain conception of what direct reference is (a conception present in the works of the main proponents of the theory), the fact that a term is directly referential does not entail that it is rigid. From this conclusion, I will argue, we can learn some substantial lessons about the assumptions and commitments of new theories of reference. (shrink)

The word ‘God’ is typically thought to be a proper name, a name of a defined entity. From another position it appears to be a description that is fundamentally synonymous to ‘the first of all causes’, or ‘the font et origo of the structure of possibilities’, or ‘the provenience of being’, or ‘the generator of existence’. This lends credence to the view that ‘God’ is a truncated definite description. However, this article proposes that ‘God’ is a name given to whatever (...) is that which is the first of all causes, the font et origo of the structure of possibilities, the provenience of being, the generator of existence. If so, then it is a descriptive name. Yet even among descriptive names ‘God’ is unique, for it is neither convertible to a proper name, nor to a definite description. ‘God’ is an inveterate descriptive name. (shrink)

Belief is not a unified phenomenon. In this paper I argue, as a number of other riters argue, that one should distinguish a variety of belief-like attitudes: believing proper - a dispositional state which can have degrees - holding true - which can occur without understanding what one believes - and accepting - a practical and contextual attitude that has a role in deliberation and in practical reasoning. Acceptance itself is not a unified attitude. I explore the various relationships and (...) differences between these doxastic attitudes, and claim that although acceptance is distinct from belief, it rests upon it, and is therefore a species of belief. (shrink)

The aim of this paper is to pose a problem for theories that claim that belief reports are context dependent. Firstly, I argue that the claim is committed to verbalism, a theory that derives the context sensitivity of belief reports from the context sensitivity of the psychological verbs used in such reports. Secondly, I argue that verbalism is not an attractive theoretical option because it is in conflict with the non-proto-rigidity of verbs like ‘believe’. Finally, I describe various consequences that (...) the argument has for invariantism and moderate contextualism. (shrink)

The paper attempts to pose a problem for theories claiming that intentional attributions are essentially normative. Firstly, I argue that the claim is ambiguous. Secondly, that three possible interpretations of the claim can be distinguished: one that appeals to normative impositions put on agents of intentional states, another that exploits the fact that one can normatively assess the states in question and a further one that locates normativity in the domain of special intentional explanations. Thirdly, it is argued that each (...) interpretation faces serious difficulties: they either fail to provide a justification for the claim they intend to make or they contradict certain justified observations about intentional attributions. (shrink)

This essay reviews Theatre, Communication, Critical Realism (2010) by Tobin Nellhaus. It begins by outlining the objective of the book and proceeds to evaluate its central argument. The objective is to develop a theory of theatre founded on the premises of critical realism and thereby theoretically situate theatrical performance in its socio-cultural matrix. The argument is that critical realism is effective for developing a comprehensive account of theatrical performance because it has the capacity to reveal truths about the structure of (...) social reality (that correspond to those articulated by critical realism). In the second part of the review, employing the methods of conceptual analysis, I propose that Nellhaus’s thesis of ‘ontological doubling’ (which claims that performance doubles human agency) is undermined by certain epistemological presuppositions regarding the ontology of fictional characters. (shrink)

In this paper I present a transcendental argument based on the findings of cognitive psychology and neurophysiology which invites two conclusions: First and foremost, that a pre-condition of visual perception itself is precisely what the Aristotelian and other commonsense realists maintain, namely, the independent existence of a featured, or pre-packaged world; second, this finding, combined with other reflections, suggests that, contra McDowell and other neo-Kantians, human beings have access to things as they are in the world via non-projective perception. These (...) two conclusions taken together form the basis of Aristotelian metaphysical realism and a refutation of the neo-Kantian two-factor approach to perception. (shrink)

On the assumption that theistic religious commitment takes place in the face of evidential ambiguity, the question arises under what conditions it is permissible to make a doxastic venture beyond one’s evidence in favour of a religious proposition. In this paper I explore the implications for orthodox theistic commitment of adopting, in answer to that question, a modest, moral coherentist, fideism. This extended Jamesian fideism crucially requires positive ethical evaluation of both the motivation and content of religious doxastic ventures. I (...) suggest that, even though the existence of horrendous evil does not resolve evidential ambiguity in favour of atheism, there are reasonable value commitments that would preclude those who hold them from satisfying extended Jamesian fideist conditions for committing themselves to classical theism. I then begin a discussion of a possible revisionary theistic alternative (in the Christian tradition) which – one might hope – may meet those conditions. An earlier, shorter, version of this paper was delivered as a keynote address at the APA Pacific 2007 Mini-Conference on Models of God. (shrink)

Information modeling (also known as conceptual modeling or semantic data modeling) may be characterized as the formulation of a model in which information aspects of objective and subjective reality are presented (the application), independent of datasets and processes by which they may be realized (the system).A methodology for information modeling should incorporate a number of concepts which have appeared in the literature, but should also be formulated in terms of constructs which are understandable to and expressible by the system user (...) as well as the system developer. This is particularly desirable in connection with certain intimate relationships, such as being the same as or being a part of. (shrink)

Modality and Anti-Metaphysics critically examines the most prominent approaches to modality among analytic philosophers in the twentieth century, including essentialism. Defending both the project of metaphysics and the essentialist position that metaphysical modality is conceptually and ontologically primitive, Stephen McLeod argues that the logical positivists did not succeed in banishing metaphysical modality from their own theoretical apparatus and he offers an original defence of metaphysics against their advocacy of its elimination. -/- Seeking to assuage the sceptical worries which underlie modal (...) anti-realism, McLeod provides an original contribution to essentialist epistemology, engaging with current debates about modality and suggesting that standard essentialist approaches to some issues in the philosophies of logic and language require revision. -/- This book offers valuable insights to professional philosophers, postgraduates and advanced undergraduates interested in metaphysics, philosophy of logic or the history of twentieth-century analytic philosophy. (shrink)

This collection of essays is the definitive version of a widely discussed debate over the origins of the New Theory of Reference. In new articles, written especially for this volume, Quentin Smith and Scott Soames, the original participants in the debate, elaborate their positions on who was responsible for the ideas that Saul Kripke presented in his Naming and Necessity. They are joined by John Burgess, who weighs in on the side of Soames, while Smith adds a further dimension in (...) discussing the contributions of philosophers such as Follesdal, Geach, Hintikka, and Plantinga. Also included are lengthy excerpts from Follesdal's 1961 Harvard dissertation and a careful examination by Sten Lindstrom of the respective contributions of Kripke and Stig Kanger to the development of modal semantics. The collection will be essential reading for anyone acquainted with these influential ideas. (shrink)

Arthur Pap’s work played an important role in the development of the analytic tradition. This role goes beyond the merely historical fact that Pap’s views of dispositional and modal concepts were influential. As a sympathetic critic of logical empiricism, Pap, like Quine, saw a deep tension in logical empiricism at its very best in the work of Carnap. But Pap’s critique of Carnap is quite different from Quine’s, and represents the discovery of limits beyond which empiricism cannot go, where there (...) lies nothing other than intuitive knowledge of logic itself. Pap’s arguments for this intuitive knowledge anticipate Etchemendy’s recent critique of the model-theoretic account of logical consequence. Pap’s work also anticipates prominent developments in the contemporary neo-Fregean philosophy of mathematics championed by Wright and Hale. Finally, Pap’s major philosophical preoccupation, the concepts of necessity and possibility, provides distinctive solutions and perspectives on issues of contemporary concern in the metaphysics of modality. In particular, Pap’s account of modality allows us to see the significance of Kripke’s well-known arguments on necessity and apriority in a new light. (shrink)

A number of important philosophical problems are problems in the overlap of logic and ontology. Both logic and ontology are diverse fields within philosophy, and partly because of this there is not one single philosophical problem about the relation between logic and ontology. In this survey article we will first discuss what different philosophical projects are carried out under the headings of "logic" and "ontology" and then we will look at several areas where logic and ontology overlap.

Languages involving modalities and languages involving vagueness have each been thoroughly studied. On the other hand, virtually nothing has been said about the interaction of modality and vagueness. This paper aims to start filling that gap. Section 1 is a discussion of various possible sources of vague modality. Section 2 puts forward a model theory for a quantified language with operators for modality and vagueness. The model theory is followed by a discussion of the resulting logic. In Section 3, the (...) framework will permit us to address a puzzle raised by Elizabeth Barnes and Robert Williams. (shrink)

In the Twentieth Century, Logic and Philosophy of Language are two of the few areas of philosophy in which philosophers made indisputable progress. For example, even now many of the foremost living ethicists present their theories as somewhat more explicit versions of the ideas of Kant, Mill, or Aristotle. In contrast, it would be patently absurd for a contemporary philosopher of language or logician to think of herself as working in the shadow of any figure who died before the Twentieth (...) Century began. Advances in these disciplines make even the most unaccomplished of its practitioners vastly more sophisticated than Kant. There were previous periods in which the problems of language and logic were studied extensively (e.g. the medieval period). But from the perspective of the progress made in the last 120 years, previous work is at most a source of interesting data or occasional insight. All systematic theorizing about content that meets contemporary standards of rigor has been done subsequently. (shrink)