The subjects of this thesis are truth, grounding and dependence. The thesis consists of an introduction and five free-standing essays. The purpose of the introduction is not merely to summarize the papers, but to provide a general background to the discussions in the essays. The introduction is divided into four chapters, each of which splits into a number of sections and/or subsections. Chapter 1. concerns the notion of ontological dependence. I start by making a distinction between two different types of (...) ontological dependence and discuss how well these notions deal with a number of philosophical issues. I then go on to consider the role that ontological dependence plays in hierarchies of natural kinds. In Chapter 2., I discuss a related notion, namely that of grounding. I sketch the theoretical framework by specifying the logical form of grounding statements and a set of structural principles that govern grounding. The chapter ends with a brief discussion on some philosophical applications of grounding. Chapter 3. deals with the notion of truthmaking and how it squares with the grounding framework developed in the previous chapter. I present the reader with the so-called Truthmaker Principle, and provide answers to a number of questions that it raises. The fourth and final chapter summarizes the five papers. The six essays are divided into three categories. Paper I deals with the notion of ontological dependence in hierarchies of natural kinds. Paper II concerns the notion of grounding and resemblance orderings among powers. Papers III, IV and V discuss various aspects of truthmaker theory. (shrink)

Does the A-theory have an intuitive advantage over the B-theory? Many A-theorists have claimed so, arguing that their theory has a much better explanation for the fact that we all experience the passage of time: we experience time as passing because time really does pass. In this paper I expose and reject the argument behind the A-theorist’s claim. I argue that all parties have conceded far too easily that there is an experience that needs explaining in the first place. For (...) what exactly is an experience of temporal passage? One natural thought is that we experience passage in virtue of experiencing change, or in virtue of experiencing change as ‘dynamic’. Another is that we experience passage in virtue of experiencing events as (successively) present. None of these experiences, I argue, amounts to an experience of passage. Although there might still be other ways to experience passage, A-theorists would have to provide us with a plausible candidate experience. If there is such an experience at all, it won’t be one that qualifies as what we intuitively take to be an experience of passage. The ‘intuitive advantage’, it seems, has dissolved in any case. (shrink)

Huw Price has sketched a program for a globalized expressivism in support of which he has repeatedly invoked Rudolf Carnap. This paper argues that this is entirely appropriate, as Carnap had something quite similar in mind. However, it also argues that Price’s recent attempts to integrate Robert Brandom’s inferentialism to this program are less successful, and that a more empirically-oriented descriptive pragmatics along Carnapian lines would be a better fit with his original program than Brandom’s explicitly hermeneutical agenda.

This paper concerns Bertrand Russell’s changing views on negative judgement. ‘Negative judgement’ is considered in the context of three theories of judgement that Russell put forth at different times: a dual relation theory ; a multiple relation theory ; a psychological theory of judgement. Four issues are singled out for a more detailed discussion: quality dualism versus quality monism, that is, the question whether judgement comes in two kinds, acceptance and rejection, or whether there is only one judgement-quality ; the (...) structure of negative judging; the problem of truth-making for negative facts; the different roles of ‘fact’ in Russell’s theories of truth. What emerges from the discussion is a rough chronology of Russell’s views on negative judgement during the period from 1903 to 1948. (shrink)

The way in which vision represents objects as being the same despite movement and qualitative changes has been extensively investigated in contemporary psychology. However, the formal properties of the visual sameness relation are still unclear, for example, whether it is an identity-like, equivalence relation. The paper concerns one aspect of this problem: the transitivity of visual sameness. Results obtained by using different experimental paradigms are analysed, in particular studies using streaming/bouncing stimuli, multiple object tracking experiments and investigations concerning object-specific preview (...) benefit, and it is argued that the transitive interpretation of visual sameness is the most plausible given the current stage of knowledge. What is more, it is claimed that the way in which visual sameness is represented suggests that in some cases it should be characterized as a “primitive sameness”, similarly as in philosophical theories postulating “thisness”. (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)

W. V. Quine’s first philosophical monograph, Word and Object, is widely recognized as one of the most influential books of twentieth century philosophy. Notes, letters, and draft manuscripts at the Quine Archives, however, reveal that Quine was already working on a philosophical book in the early 1940s; a project entitled Sign and Object. In this paper, I examine these and other unpublished documents and show that Sign and Object sheds new light on the evolution of Quine’s ideas. Where “Two Dogmas (...) of Empiricism” is usually considered to be a turning point in Quine’s development, this paper redefines the place of ‘Two Dogmas’ in his oeuvre. Not only does Quine’s book project reveal that his views were already fairly naturalistic in the early 1940s ; Sign and Object also unearths the steps Quine had to take in maturing his perspective; steps that will be traced in the second half of this paper. (shrink)

ABSTRACT I argue against both neuropsychological and cognitive accounts of our grasp of numbers. I show that despite the points of divergence between these two accounts, they face analogous problems. Both presuppose too much about what they purport to explain to be informative, and also characterize our grasp of numbers in a way that is absurd in the light of what we already know from the point of view of mathematical practice. Then I offer a positive methodological proposal about the (...) role that cognitive science should play in the philosophy of mathematics. (shrink)

First, I offer a short overview on the classical occidental philosophy as propounded by the ancient Greeks and the natural philosophies of the last 2000 years until the dawn of the empiricist logic of science in the twentieth century, which wanted to delimitate classical metaphysics from empirical sciences. In contrast to metaphysical concepts which didn’t reflect on the language with which they tried to explain the whole realm of entities empiricist logic of science initiated the end of metaphysical theories by (...) reflecting on the preconditions for foundation and justification of sentences about objects of investigation, i.e. a coherent definition of language in general, which was not the aim of classical metaphysics. Unexpectedly empiricist logic of science in the linguistic turn failed in the physical and mathematical reductionism of language and its use in communication, as will be discussed below in further detail. Nevertheless, such reflection on language and communication also introduced this vocabulary into biology. Manfred Eigen and bioinformatics, later on biolinguistics, used ‘language’ applied linguistic turn thinking to biology coherent to the logic of science and its formalisable aims. This changed significantly with the birth of biosemiotics and biohermeneutics. At the end of this introduction it will be outlined why and how all these approaches reproduced the deficiencies of the logic of science and why the biocommunicative approach avoids their abstractive fallacies. (shrink)

We construct an extension P of the standard language of classical propositional logic by adjoining to the alphabet of a new category of logical-pragmatic signs. The well formed formulas of are calledradical formulas (rfs) of P;rfs preceded by theassertion sign constituteelementary assertive formulas of P, which can be connected together by means of thepragmatic connectives N, K, A, C, E, so as to obtain the set of all theassertive formulas (afs). Everyrf of P is endowed with atruth value defined classically, (...) and everyaf is endowed with ajustification value, defined in terms of the intuitive notion of proof and depending on the truth values of its radical subformulas. In this framework, we define the notion ofpragmatic validity in P and yield a list of criteria of pragmatic validity which hold under the assumption that only classical metalinguistic procedures of proof be accepted. We translate the classical propositional calculus (CPC) and the intuitionistic propositional calculus (IPC) into the assertive part of P and show that this translation allows us to interpret Intuitionistic Logic as an axiomatic theory of the constructive proof concept rather than an alternative to Classical Logic. Finally, we show that our framework provides a suitable background for discussing classical problems in the philosophy of logic. (shrink)

La notion phénoménologique d'intentionnalité suscite certaines énigmes philosophiques assez déroutantes concernant par exemple l'existence d'entités relationnelles ou le statut des objets intentionnels. Il est ici suggéré que ces énigmes, apparemment ontologiques, auraient plus de chances d'être élucidées si elles étaient considérées comme des problèmes sémantiques concernant cette catégorie spéciale d'énoncés que l'on appelle énoncés intensionnels ». Elles pourraient alors être discutées à l'aide de méthodes plus précises comme celles de Carnap, Church ou Quine.The phenomenological notion of intentionality raises a number (...) of rather perplexing philosophical riddles, for instance about the existence of relational entities or about the status of intentional objects. The paper suggests that these seemingly ontological riddles would gain more chances to be elucidated if they were regarded as semantic problems about a special kind of statements called "intensional statements". Thus they could be discussed with the help of some more precise methods such as those of Carnap, Church or Quine. (shrink)

At the centre of Arthur Prior’s ‘Thank goodness’ argument for the A-theory of time is a particular form of relief. Time must objectively pass, Prior argues, or else the relief felt when a painful experience has ended is not intelligible. In this paper, I offer a detailed analysis of the type of relief at issue in this argument, which I call temporal relief, and distinguish it from another form of relief, which I refer to as counterfactual relief. I also argue (...) that existing discussions of the ‘Thank goodness’ argument—including Prior’s own—fail to give a satisfactory account of temporal relief, and that it needs to be seen as an emotion linked to the ability to engage in fairly sophisticated forms of planning. I also suggest that this has an impact on Prior’s claim that the idea of points in time plays no fundamental role in the semantic analysis of tenses. (shrink)

My aim in this article is to contribute to the larger project of assessing the relative merits of different theories of substance. An important preliminary step in this project is assessing the explanatory resources of one main theory of substance, the so-called bundle theory. This article works towards such an assessment. I identify and explain three distinct explanatory challenges an adequate bundle theory must meet. Each points to a putative explanatory gap, so I call them the Gap Challenges. I consider (...) three bundle-theoretic strategies for meeting these challenges. I argue that none of them goes very far. The upshot is that, absent other strategies for meeting the challenges, bundle theory involves a significant amount of stipulation. This black box makes bundle theory relatively weak with respect to its explanatory power—unless, of course, rival theories of substance are unable to do better. (shrink)

Ontology is the philosophical discipline which aims to understand how things in the world are divided into categories and how these categories are related together. This is exactly what information scientists aim for in creating structured, automated representations, called 'ontologies,' for managing information in fields such as science, government, industry, and healthcare. Currently, these systems are designed in a variety of different ways, so they cannot share data with one another. They are often idiosyncratically structured, accessible only to those who (...) created them, and unable to serve as inputs for automated reasoning. This volume shows, in a nontechnical way and using examples from medicine and biology, how the rigorous application of theories and insights from philosophical ontology can improve the ontologies upon which information management depends. (shrink)

Two parallelism hypotheses have been adopted and the third one on their relationship has been put forward. The illocutionary logic hypothesis states that the logic of linguistic commitments runs parallel to the logic of intentionality. The normative pragmatics hypothesis states that the logic of utterances runs parallel to the logic of linguistic commitments. According to the third stance or the logic projection hypothesis, the logic of utterances is the origin of all other logics used in describing psychological and social realities. (...) Consequently, the imperative logic or logic of utterances constitutes an independent but not self-sufficient research topic. The logic of utterances manifests itself in its meaning effects such as deontic and bouletic ones. It can be studied only in relation to deontic logics of the hearer’s obligation and the speaker’s linguistic commitments and in relation to logics of intentionality of the speaker’s expression and the hearer’s impression. Therefore, research in logic of imperative and other utterances must include investigation of relations between logics. (shrink)

This paper attempts to define indexicality so as to semantically distinguish indexicals from proper names and definite descriptions. The widely-accepted approach that says that indexical reference is distinctive in being dependent on context of use is criticized. A reductive approach is proposed and defended that takes an indexical to be (roughly) an expression that either is or is equivalent to ‘here’ or ‘now’, or is such that a tokening of it refers by relating something to the place and/or time that (...) would have been referred to had ‘here’ and ‘now’ been tokened instead. Alternative reductive approaches are criticized. (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)

1. For simplicity, let the domain of our first-level quantifiers, ‘∀ x’ and so on, be words, and in particular just those words which are adjectives. And let the adjective ‘heterological’ be abbreviated just to As is well known, one cannot legitimately stipulate that Why not? Well, the obvious answer is that if is supposed to be an adjective, then this alleged stipulation would imply the contradiction But contradictions cannot be true, and it is no use stipulating that they shall (...) be. Do we need to say anything more? Russell would apparently wish to add this: the stipulation is illegitimate because it attempts to define the word by a quantification over all words, and the word is itself taken to be one of the words quantified over. That is how this supposed definition would infringe his vicious-circle principle . 1 It is of course true that if our quantification is taken to range only over words of a certain kind, say first-order adjectives, and if the word is taken to be a word of a different kind, say a second-order adjective, then the contradiction is avoided. For the supposed stipulation then has no implications for whether is or is not true of any second-order words. Russell imagines the stipulation to be strengthened by adding that is to be true only of first-order words, and hence that it is not true of itself. But no contradiction now results from this. However, one must ask: did we need this explanation in terms of the VCP? It may seem helpful, because there is an initial temptation to say that the original stipulation could not be illegitimate. This is because it is thought of as introducing a new word, and explaining what it means, and one is apt to think that we …. (shrink)

Dans ce texte j'aborderai presque exclusivement la question de savoir si le pronom personnel «je» est un terme référentiel ou non. Il s'agit en définitive de savoir si le pronom en question est une expression qui désigne quelque chose et, si oui, de spécifier la nature du référent en question. En un mot, je me propose ici d'analyser le comportement sémantique du pronom «je».

This paper examines the role of ?situations? in John Dewey's philosophy of logic. To do this properly it is necessary to contrast Dewey's conception of experience and mentality with views characteristic of modern epistemology. The primary difference is that, rather than treat experience as peripheral and or external to mental functions (reason, etc.), we should treat experience as a field in and as a part of which thinking takes place. Experience in this broad sense subsumes theory and fact, hypothesis and (...) evidence, reason and observation, thought and perception. Logic in this view is a formal study of the generic features of all possible kinds of experience in this broad (thick, deep, wide, multifaceted) sense. The goal of this paper is to explain what Dewey thinks a situation is in the context of this view of experience, and to argue for the fundamental importance of that idea for logic and philosophy in general. (shrink)

What is the relation between works of fiction and the acquisition of knowledge?

I discuss puzzles involving coinciding material objects (such as statues and their constitutive lumps of clay) and propose solutions.

The primary purpose of this paper is to argue that biologists should stop citing Karl Popper on what a genuinely scientific theory is. Various ways in which biologists cite Popper on this matter are surveyed, including the use of Popper to settle debates on methodology in phylogenetic systematics. It is then argued that the received view on Popper—namely, that a genuinely scientific theory is an empirically falsifiable one—is seriously mistaken, that Popper’s real view was that genuinely scientific theories have the (...) form of statements of laws of nature. It is then argued that biology arguably has no genuine laws of its own. In place of Popperian falsifiability, it is suggested that a cluster class epistemic values approach (which subsumes empirical falsifiability) is the best solution to the demarcation problem between genuine science and pseudo- or non-science. (shrink)

Mathematicians and physical scientists depend heavily on the formal symbolism of mathematics in order to express and develop their theories. For this and other reasons the last hundred years has seen a growing interest in the nature of formal language and the way it expresses meaning; particularly the objective, shared aspect of meaning as opposed to subjective, personal aspects. This dichotomy suggests the question: do the objective philosophical theories of meaning offer concepts which can be applied in psychological theories of (...) meaning? In recent years cognitive scientists such as Chomsky [1980], Fodor [1981] and MacNamara [1982] have used philosophical approaches to the meaning of formal language expressions as the basis for their psychological theories. Following this lead it seems appropriate to review some of the main treatments of meaning with a view to their transferability. (shrink)

According to a well-established tradition in the philosophy of language, we can understand what makes an arbitrary sound, gesture, or marking into a meaningful linguistic expression only by appealing to mental states, such as beliefs and intentions. In this paper, I explore the contrasting possibility of understanding the meaningfulness of linguistic expressions just in terms of observable linguistic behavior. Specifically, I explore the view that a type of sound becomes a meaningful linguistic expression within a group in virtue of the (...) production of that type of item becoming that group’s widespread, copied way of getting others to involve an object or relation in their activity. After discussing a preliminary version of the view, I develop it in response to some key concerns about whether it really does, as a matter of fact, eschew mental states, and about its adequacy as an account of linguistic meaning. (shrink)

This paper surveys the interactions between Russell and Gödel, both personal and intellectual. After a description of Russell’s influence on Gödel, it concludes with a discussion of Russell’s reaction to the incompleteness theorems.

Identity and distinctness facts are ones like “The Eiffel Tower is identical to the Eiffel Tower,” and “The Eiffel Tower is distinct from the Louvre.” This paper concerns one question in the metaphysics of identity: Are identity and distinctness facts metaphysically fundamental or are they nonfundamental? I provide an overview of answers to this question.

This paper suggests that reference to phenomenal qualities is best understood as involving iconicity, that is, a passage from sign-vehicle to object that exploits a similarity between the two. This contrasts with a version of the ‘phenomenal concept strategy’ that takes indexicality to be central. However, since it is doubtful that phenomenal qualities are capable of causally interacting with anything, indexical reference seems inappropriate. While a theorist like David Papineau is independently coming to something akin to iconicity, I think some (...) of the awkwardness that plagues his account would be remedied by transitioning to a more inclusive philosophy of signs. (shrink)

Both in the case of colloquial language and in the case of specialized scientific language we always have to face the essential issue : what must we do in order not to be misled by an incorrect use of language? When we refer in general to being misled by some use of language we have two cases in mind: primo, when the language in question wrongly performs its communicative function so that the speaker is unable to convey his ideas to (...) the listener, and, secundo, when the language by means of which we think imposes on us, through its structure and forms fixed by tradition (in the case of natural languages), incorrect ideas about reality (cf. the issues of hypostases). The causes of such and similar difficulties are varied. These difficulties, among other things, suggest the idea that language is not only an instrument, but also an object of research, an idea which induced twentieth century philosophers to engage in the study of language in its ontological, gnosiological, and methodological aspects. The method of semantic analysis, understood as a method of analysis of meanings of words, is directed precisely against these shortcomings of language. That method is meant to prevent semantic and logical errors that encumber the process of thinking with difficulties and hamper communication both with others and with oneself. Among other causes, these errors are due to the ambiguity and vagueness of words. (shrink)

This study is an inquiry into design-theoretical aspects of architectural design in Finland based mainly on the pragmatist philosophy of John Dewey. The study comprises two case studies. The. rst case deals with a young family designing their future home – a detached house built from prefabricated components – in cooperation with an architect. The second case deals with the design process of a leading Finnish architect, Professor Ilmari Lahdelma, as he prepares his proposal for an architectural competition for a (...) new city library in Lohja, a competition he eventually wins. The case describes and interprets Lahdelma’s design process, the processes of other competition entries made by the of. ce staff, as well as the process of the jury’s evaluation of the competition entries. The two cases are analysed and interwoven with aspects from three different theoretical perspectives: existing design theories, Pierre Bourdieu’s. eld theory and John Dewey’s thinking regarding art and research. In the study I argue that Dewey’s philosophy can provide a framework for a design-theoretical epistemology. I also arrive at conclusions regarding the interpretation of some key design-theoretical concepts and the position of design theory and its structures. I further argue that the Finnish architectural competition system is a strong tool for generating developments in the production of the architectural avant-garde, which acts as the leading light for the rest of the. eld of architecture. The present study also highlights the gap between ‘high-’ and ‘low culture’ in the. eld of architecture, yet points out that the design of a simple family house – assumedly a case of ‘low culture’ – is by no means trivial to the family itself, and is indeed. lled with moments of aesthetic experiences, which is a central issue in Dewey’s description of creative processes. (shrink)

We naturally think of the material world as being populated by a large number of individuals . These are things, such as my laptop and the particles that compose it, that we describe as being propertied and related in various ways when we describe the material world around us. In this paper I argue that, fundamentally speaking at least, there are no such things as material individuals. I then propose and defend an individual-less view of the material world I call (...) “generalism”. (shrink)

In the Tractatus, Wittgenstein maintains that “The world is all that is the case.” Some philosophers have seen an advantage in introducing into a formal language either a constant which will represent the world, or an operator, e.g., ‘Max’, such that indicates that p gives a complete description of the actual world, of the world at some instant of time, or of a possible world. Such propositions are called world propositions, possible world propositions, or maximal propositions. For us, a maximal (...) proposition is a possible world proposition; it gives a complete description of one way the world might be. A maximal proposition p is not logically false, and for any proposition q, either p entails q or p entails not-q. (shrink)

Le but de cette étude est de tracer quelques lignes directrices en vue d'une métaphysique phénoménologique. Après avoir interrogé la possibilité et la pertinence d'une application de la méthode phénoménologique en métaphysique, l'auteur tente d'esquisser une métaphysique qui ne serait pas seulement (au sens de Peter Simons) une "systématique métaphysique", mais aussi une métaphysique phénoménologique et "constitutive". Il explore ensuite quelques questions fondamentales de la métaphysique contemporaine en dialogue avec les développements récents de la métaphysique "analytique": le factualisme d’Armstrong, le (...) rapport entre logique et ontologie, le statut ontologique des universaux, le maximalisme et les états de choses négatifs, la dépendance ontologique, le paradoxe de Moore, etc. (shrink)

My goal is to try to understand the intentionality of consciousness from a naturalistic perspective. My basic methodological assumption is that embodied agents, through their sensory-motor, affective, and cognitive activities directed at objects, engage in intentional relations with these objects. Furthermore, I assume that intentional relations can be viewed from a first- and a third-person perspective. What is called primary consciousness is the first-person perspective of the agent engaged in a current intentional relation. While primary consciousness posits an implicit.

The goal of inquiry in this essay is to ascertain to what extent the Principle of Compositionality – the thesis that the meaning of a complex expression is determined by the meaning of its parts and its mode of composition – can be justifiably imposed as a constraint on semantic theories, and thereby provide information about what meanings are. Apart from the introduction and the concluding chapter the thesis is divided into five chapters addressing different questions pertaining to the overarching (...) goal of inquiry. Chapter Two is an attempt to determine whether the Principle of Compositionality is a trivial principle. It is argued that this is not the case in the context of providing the semantics of natural languages since it is an open question whether the best theories that respect available syntactic and semantic data are compositional. Chapter Three and Chapter Four ask whether there are reasons to think that the Principle of Compositionality is true. It is argued that the three most commonly cited reasons for thinking that correct semantic theories must be compositional – Linguistic Creativity, Productivity and Systematicity – in fact only give us reasons to think that the meaning of complex expressions depend on the meanings of their parts and their modes of composition, but not that the meaning of complex expressions depend ONLY on those factors. Chapter Five asks whether there are any reasons to think that the Principle of Compositionality is false. It is argued that all the phenomena that have been suggested entail non-compositionality are in fact compatible with some versions of compositionality. Even if this conclusion is reached in this chapter, the conclusion of the previous two chapters entails that we are not justified in imposing the Principle of Compositionality as an adequacy constraint on Semantic theories. Chapter Six explores the ways in which information about what meanings are can be derived by imposing constraints on semantic theories. It is argued that the distinction emphasized in Chapter Three and Chapter Four between depending on and depending ONLY on is of critical importance. It is demonstrated that the informative potential of the Principle of Compositionality goes far beyond that of the principle we are in fact justified in imposing on semantic theories. So not only is it the case that we cannot learn anything about meanings from the justified imposition of the Principle of Compositionality – since we cannot justifiably impose it as a constraint on semantic theories – what we could have learned from it had we been justified in imposing it is very different from what we can learn from the principle that we are justified in imposing. (shrink)

Chapter 1 is devoted to taking care of some preliminary issues. I begin by distinguishing those states of awareness in virtue of which we’re acquainted with the phenomenal characters of our experiences from those states of awareness some claim are at the very nature of experience. Then I reconcile the idea that experience is transparent with the claim that we can be acquainted with phenomenal character. -/- In Chapter 2 I set up a dilemma that is the primary focus of (...) the dissertation. In the first part of this chapter I argue that phenomenal acquaintance has three key features, what I call its ‘directness’, ‘thickness’, and ‘infallibility’. In the second part I argue, however, that it’s really quite puzzling how thoughts about phenomenal character (or any thoughts, for that matter) could have them. In the next two chapters I consider how we might resolve the dilemma described above. -/- I begin in Chapter 3 by considering an account of phenomenal acquaintance inspired by Bertrand Russell’s discussion of acquaintance. The general idea here is to excise mental representation from phenomenal acquaintance, and I ultimately reject the proposal. -/- Chapter 4 is the core chapter of the dissertation. In it I propose an account of phenomenal acquaintance that doesn’t excise mental representation. My account is comprised of three theses. First, token experiences are complex and have instances of phenomenal properties as components. Second, instances of phenomenal properties are mental representations, and they represent themselves. Third, the attention relevant to phenomenal acquaintance is underwritten by self-representation. I argue that my account explains how phenomenal acquaintance is direct, thick, and infallible, thereby resolving our dilemma. -/- I argue in Chapter 5 that my account of phenomenal acquaintance explains why there is an explanatory gap between the phenomenal and non-phenomenal truths. Accordingly, I conclude that the explanatory gap doesn’t pose a problem for physicalism. Here I implement what has come to be called the ‘phenomenal concept strategy’ for responding to the challenge posed by the explanatory gap. (shrink)

In his groundbreaking work of 1969, Spinoza's Metaphysics: An Essay in Interpretation, Edwin Curley attacked the traditional understanding of the substance-mode relation in Spinoza, according to which modes inhere in substance. Curley argued that such an interpretation generates insurmountable problems, as had already been claimed by Pierre Bayle in his famous Dictionary entry on Spinoza. Instead of having modes inhere in substance Curley suggested that the modes’ dependence upon substance should be interpreted in terms of (efficient) causation, i.e., as committing (...) Spinoza to nothing over and above the claim that substance is the (efficient) cause of the modes. These bold and fascinating claims generated one of the most important scholarly controversies in Spinoza scholarship of the past thirty-five years. In this paper I argue against Curley’s interpretation and attempt to reestablish the traditional understanding of Spinozistic modes as inhering in God and as predicated of God. I also criticize Curley’s philosophical motivation for suggesting this interpretation. In order to show that, for Spinoza, modes are predicated of - and inhere in - substance, I will proceed in the following manner. First, I will summarize Curley’s arguments against substance-mode inherence and present his alternative interpretation of the substance-mode relation. I will then present what I consider to be the most compelling arguments against Curley’s interpretation. Some of these arguments have already been suggested in the literature of the past thirty years (and by Bayle); however, as far as I know, most of the arguments I will be making are new. In the subsequent section I will respond to objections that Curley and Bayle advance against Spinoza’s view of God as the substratum in which all things inhere. Finally, I will address whether Spinozistic modes are predicated of (and not only inhere in) substance, and whether Spinoza considered modes to be particular properties (or “tropes,” in the jargon of contemporary metaphysics). Since Bayle’s claims will be used both in support of and against Curley’s interpretation, it would be appropriate to say a few introductory words on Bayle’s stance. In his Spinoza entry, Bayle criticizes Spinoza’s claim that all things are modes of God, claiming that it “is the most monstrous hypothesis that could be imagined, the most absurd, and the most diametrically opposed to the most evident notions of our mind.” Bayle, however, has no doubt that when Spinoza claims that all things are modes of God, Spinoza means that all things inhere in God. Curley embraces Bayle’s arguments against Spinoza, but uses them in order to claim that we should not ascribe to Spinoza a view which is allegedly shown by Bayle to be absurd. What we should do, Curley argues, is to reinterpret the substance-mode relation as a relation of causal dependence, which would set Spinoza free from Bayle’s hook. Interestingly, as we shall soon see, Bayle himself discusses and rejects a very similar revisionary interpretation of the substance-mode relation. (shrink)

(2001). Against a third dogma of logical empiricism: Otto Neurath and 'unpredictability in principle' International Studies in the Philosophy of Science: Vol. 15, No. 2, pp. 199-209. doi: 10.1080/02698590120059068.

This chapter contains sections titled: Highlights of Past Literature Current Work Future Work.

We present a procedure which allows us to recover classical and nonclassical logical structures as concrete logics associated with physical theories expressed by means of classical languages. This procedure consists in choosing, for a given theory ${{\mathcal{T}}}$ and classical language ${{\fancyscript{L}}}$ expressing ${{\mathcal{T}}, }$ an observative sublanguage L of ${{\fancyscript{L}}}$ with a notion of truth as correspondence, introducing in L a derived and theory-dependent notion of C-truth (true with certainty), defining a physical preorder $\prec$ induced by C-truth, and finally selecting (...) a set of sentences ϕ V that are verifiable (or testable) according to ${{\mathcal{T}}, }$ on which a weak complementation ⊥ is induced by ${{\mathcal{T}}. }$ The triple $(\phi_{V},\prec,^{\perp})$ is then the desired concrete logic. By applying this procedure we recover a classical logic and a standard quantum logic as concrete logics associated with classical and quantum mechanics, respectively. The latter result is obtained in a purely formal way, but it can be provided with a physical meaning by adopting a recent interpretation of quantum mechanics that reinterprets quantum probabilities as conditional on detection rather than absolute. Hence quantum logic can be considered as a mathematical structure formalizing the properties of the notion of verification in quantum physics. This conclusion supports the general idea that some nonclassical logics can coexist without conflicting with classical logic (global pluralism) because they formalize metalinguistic notions that do not coincide with the notion of truth as correspondence but are not alternative to it either. (shrink)

The subject matter of the paper is an analysis of the semantic relations between sentence negation, performative negation, and declarations in reference to utterances which speech acts theory gives the label of representatives. Apart from linguistic-semantic analyses, empirical studies have been conducted on the manner in which sentence negation and performative negation are processed. The results of Study I demonstrate that the semantic relation between sentence negation and performative negation changes depend on the type of comment (positive vs. negative), and (...) contextual factors (type of expectations towards events being commented on). As it turned out, when the situational context suggests a negative comment by the sender, participants offer similar interpretations of utterances with sentence negation and performative negation. In Study II the participants assessed the likelihood of the occurrence of the facts spoken of by a sender who uses sentence negation or performative negation. In a context suggesting positive utterances by the sender, a clear difference emerged between sentence negation and performative negation. This difference was not present in respect of negative expectations. The results achieved confirm the assumptions of the model of conversational inference regarding the influence of context on interpretation of a message. The recorded results indicate the semantic relations between declarations, sentence negation, and performative negation, which change depending on the affective significance of the message and contextual factors. (shrink)

Bob Solomon claimed that we are not passion’s slaves. I examine whether or not we are, considering universal determinism. I argue that we indeed are free, or at least that we can be, and try to understand this. Free will resides in the presence of alternative action options, in our ability to freely search for, detect, or create them, in our ability to use them, and in our ability to, in some measure, free ourselves from the automatic impact of external (...) and internal determinants. (shrink)