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)

Nel nostro universo, qualunque cosa, dalla più piccola particella alla più smisurata galassia, esiste in un qualche tempo e in un qualche luogo. Ma cosa significa esistere in un qualche tempo? Il fenomeno dell’esistenza temporale gioca un ruolo fondamentale nella comprensione dell’universo e di noi stessi quali creature temporali. Eppure è un fenomeno profondamente misterioso. L’esistenza temporale è da intendersi come una relazione? Che legami ha con l’esistenza dell’ontologia? L’esistenza temporale e la localizzazione spaziale sono due fenomeni essenzialmente differenti o (...) due istanze di un’unica relazione? Tutto ciò che esiste nel tempo esiste nel tempo nello stesso modo? Tutto ciò che è nel tempo è anche nello spazio? (shrink)

The paper has two parts: First, I describe a relatively popular thesis in the philosophy of propositional attitudes, worthy of the name ‘taking tense seriously’; and I distinguish it from a family of views in the metaphysics of time, namely, the A-theories (or what are sometimes called ‘tensed theories of time’). Once the distinction is in focus, a skeptical worry arises. Some A-theorists maintain that the difference between past, present, and future, is to be drawn in terms of what exists: (...) growing-block theorists eschew ontological commitment to future entities; presentists, to future and past entities. Others think of themselves as A-theorists but exclude no past or future things from their ontology. The metaphysical skeptic suspects that their attempt to articulate an ‘eternalist’ version of the A-theory collapses into merely ‘taking tense seriously’– a thesis that does not imply the A-theory. The second half of the paper is the search for a stable eternalist A-theory. It includes discussion of temporary intrinsics, temporal parts, and truth. (shrink)

Contemporary accounts of logic and language cannot give proper treatments of plural constructions of natural languages. They assume that plural constructions are redundant devices used to abbreviate singular constructions. This paper and its sequel, "The logic and meaning of plurals, II", aim to develop an account of logic and language that acknowledges limitations of singular constructions and recognizes plural constructions as their peers. To do so, the papers present natural accounts of the logic and meaning of plural constructions that result (...) from the view that plural constructions are, by and large, devices for talking about many things (as such). The account of logic presented in the papers surpasses contemporary Fregean accounts in its scope. This extension of the scope of logic results from extending the range of languages that logic can directly relate to. Underlying the view of language that makes room for this is a perspective on reality that locates in the world what plural constructions can relate to. The papers suggest that reflections on plural constructions point to a broader framework for understanding logic, language, and reality that can replace the contemporary Fregean framework as this has replaced its Aristotelian ancestor. (shrink)

It is widely accepted by formal and informal logicians alike that a formal logic which, by the lights of English, gets the connectives wrong, nevertheless conspires to get entailment right—right that is, modulo English. There is a vexing problem occasioned by this semantic alienation of formal logic. It is next to impossible for formal logic to meet the expectations of realism. What, then, of informal logic?

Do component forces exist in conjoined circumstances? Cartwright (1980) says no; Creary (1981) says yes. I'm inclined towards Cartwright's side in this matter, but find several problems with her argumentation. My primary aim here is to present a better, distinctly causal, argument against component forces: very roughly, I argue that the joint posit of component and resultant forces in conjoined circumstances gives rise to a threat of causal overdetermination, avoidance of which best proceeds via eliminativism about component forces. A secondary (...) aim is to show that rejecting component forces does not require, pace Cartwright, rejecting certain attractive theses about what laws of nature express and the role such laws play in scientific explanations. (shrink)

Infinite regress arguments play an important role in many distinct philosophical debates. Yet, exactly how they are to be used to demonstrate anything is a matter of serious controversy. In this paper I take up this metaphilosophical debate, and demonstrate how infinite regress arguments can be used for two different purposes: either they can refute a universally quantified proposition (as the Paradox Theory says), or they can demonstrate that a solution never solves a given problem (as the Failure Theory says). (...) In the meantime, I show that Black’s view on infinite regress arguments (1996, this journal) is incomplete, and how his criticism of Passmore can be countered. (shrink)

This book on infinite regress arguments provides (i) an up-to-date overview of the literature on the topic, (ii) ready-to-use insights for all domains of philosophy, and (iii) two case studies to illustrate these insights in some detail. Infinite regress arguments play an important role in all domains of philosophy. There are infinite regresses of reasons, obligations, rules, and disputes, and all are supposed to have their own moral. Yet most of them are involved in controversy. Hence the question is: what (...) exactly is an infinite regress argument, and when is such an argument a good one? (shrink)

This paper is about the Problem of Order, which is basically the problem how to account for both the distinctness of facts like a’s preceding b and b’s preceding a, and the identity of facts like a’s preceding b and b’s succeeding a. It has been shown that the Standard View fails to account for the second part and is therefore to be replaced. One of the contenders is Anti-Positionalism. As has recently been pointed out, however, Anti-Positionalism falls prey to (...) a regress argument which is to prove its failure. In the paper we spell out this worry, show that the worry is a serious one, and distinguish four possible strategies for Anti-Positionalism to deal with it. (shrink)

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

This essay clarifies quantifier variance and uses it to provide a theory of indefinite extensibility that I call the variance theory of indefinite extensibility. The indefinite extensibility response to the set-theoretic paradoxes sees each argument for paradox as a demonstration that we have come to a different and more expansive understanding of ‘all sets’. But indefinite extensibility is philosophically puzzling: extant accounts are either metasemantically suspect in requiring mysterious mechanisms of domain expansion, or metaphysically suspect in requiring nonstandard assumptions about (...) mathematical objects. Happily, the view of quantifier meanings that underwrites quantifier variance can be used to provide an account of indefinite extensibility that is both metasemantically and metaphysically satisfying. Section 1 introduces the puzzle of indefinite extensibility; section 2 develops and clarifies the metasemantics of quantifier variance; section 3 solves section 1's puzzle of indefinite extensibility by applying section 2's account of quantifier meanings; and section 4 compares the theory developed in section 3 to several other theories in the literature. (shrink)

Realist theories about fictional entities must explain the fact that, in ordinary contexts people deny, apparently in all seriousness, that there are such things as the Big Bad Wolf and Santa Claus. The usual explanation treats these denials as involving restricted quantification: The speaker is said to be denying only that the Big Bad Wolf and Santa Claus are to be found among real or actual things, not that there are no such things at all. This is unconvincing. The denials (...) may just as naturally be phrased as “The Big Bad Wolf and Santa Claus don't exist”, and claims of nonexistence seem not to admit of interpretations corresponding to statements of restricted quantification. Ordinary denials of the existence of fictional entities constitute a severe difficulty for realist theories. (shrink)

This paper sets out a predicative response to the Russell-Myhill paradox of propositions within the framework of Church’s intensional logic. A predicative response places restrictions on the full comprehension schema, which asserts that every formula determines a higher-order entity. In addition to motivating the restriction on the comprehension schema from intuitions about the stability of reference, this paper contains a consistency proof for the predicative response to the Russell-Myhill paradox. The models used to establish this consistency also model other axioms (...) of Church’s intensional logic that have been criticized by Parsons and Klement: this, it turns out, is due to resources which also permit an interpretation of a fragment of Gallin’s intensional logic. Finally, the relation between the predicative response to the Russell-Myhill paradox of propositions and the Russell paradox of sets is discussed, and it is shown that the predicative conception of set induced by this predicative intensional logic allows one to respond to the Wehmeier problem of many non-extensions. (shrink)

Recently, various people have maintained that one must revise either the externalistically-based notion of singular thought or the naïve realism-inspired notion of relational particularity, as respectively applied to some thoughts and to some perceptual experiences. In order to do so, one must either provide a broader notion of singular thought or flank the notion of relational particularity with a broader notion of phenomenal particularity. I want to hold that there is no need of that revision. For the original notions can (...) still play the role for which they were invoked. This requires that (i) both the first and the second notion respectively involve a dependence on and a metaphysical relation to the intentional objects of certain mental states once we are ontologically committed to such objects; (ii) both that object-dependence and that metaphysical relation are interpreted in terms of a substantive individuation of the relevant mental state via the object it is about: that object constitutes the state. (shrink)

in april 1933, two bright young Ph.D.s were elected to the Harvard Society of Fellows: the psychologist B. F. Skinner and the philosopher/logician W. V. Quine. Both men would become among the most influential scholars of their time; Skinner leads the "Top 100 Most Eminent Psychologists of the 20th Century," whereas philosophers have selected Quine as the most important Anglophone philosopher after the Second World War.1 At the height of their fame, Skinner and Quine became "Edgar Pierce twins"; the latter (...) obtaining the endowed chair at Harvard's department of philosophy, the former taking up the position at Harvard's psychology department.2Besides these biographical parallels, there also... (shrink)

Philosophers often explain what could be the case in terms of what is, in fact, the case at one possible world or another. They may differ in what they take possible worlds to be or in their gloss of what is for something to be the case at a possible world. Still, they stand united by the threat of paradox. A family of paradoxes akin to the set-theoretic antinomies seem to allow one to derive a contradiction from apparently plausible principles. (...) Some of them concern the interaction between propositions and worlds, and they appear to afford the means to map classes of propositions into propositions – or, likewise, classes of worlds into worlds – in a one-to-one fashion that leads to contradiction. Yet another family of paradoxes threaten the view that whatever could exist does, in fact, exist, which is in line with modal realism, for example. This article aims to survey and identify the source of each family of paradoxes as well as to outline some responses to them. (shrink)

In the Reality we know, we cannot say if something is infinite whether we are doing Physics, Biology, Sociology or Economics. This means we have to be careful using this concept. Infinite structures do not exist in the physical world as far as we know. So what do mathematicians mean when they assert the existence of ω? There is no universally accepted philosophy of mathematics but the most common belief is that mathematics touches on another worldly absolute truth. Many mathematicians (...) believe that mathematics involves a special perception of an idealized world of absolute truth. This comes in part from the recognition that our knowledge of the physical world is imperfect and falls short of what we can apprehend with mathematical thinking. The objective of this paper is to present an epistemological rather than an historical vision of the mathematical concept of infinity that examines the dialectic between the actual and potential infinity. (shrink)

Hans Herzberger as a philosopher and logician has shown deep interest both in the philosophy of Gottlob Frege, and in the topic of the inexpressible and the ineffable. In the fall of 1982, he taught at the University of Toronto, together with André Gombay, a course on Frege's metaphysics, philosophy of language, and foundations of arithmetic. Again, in the fall of 1986, he taught a seminar on the philosophy of language that dealt with 'the limits of discursive symbolism in several (...) domains of human experience.' The course description continues by saying: 'Special attention will be given to the paradoxes underlying various doctrines of the inexpressible and the tensions inherent in those paradoxes. Some doctrines of .. (shrink)

A theory of definitions which places the eliminability and conservativeness requirements on definitions is usually called the standard theory. We examine a persistent myth which credits this theory to Leśniewski, a Polish logician. After a brief survey of its origins, we show that the myth is highly dubious. First, no place in Leśniewski's published or unpublished work is known where the standard conditions are discussed. Second, Leśniewski's own logical theories allow for creative definitions. Third, Leśniewski's celebrated ‘rules of definition’ lay (...) merely syntactical restrictions on the form of definitions: they do not provide definitions with such meta-theoretical requirements as eliminability or conservativeness. On the positive side, we point out that among the Polish logicians, in the 1920s and 1930s, a study of these meta-theoretical conditions is more readily found in the works of Łukasiewicz and Ajdukiewicz. (shrink)

Kai Wehmeier’s Wittgensteinian Predicate Logic is a formulation of first-order logic under the exclusive interpretation of the quantifiers. W-logic has a distinguished relation constant for co-reference but no sign for objectual identity. Wehmeier denies that objectual identity exists on the grounds that it cannot be a genuine binary relation. Fortunately W-logic is equi-expressive with standard first-order logic with identity and it appears that objectual identity is dispensable across the broader logical enterprise. This paper challenges the latter claim as objectual identity (...) seems to be needed in the exclusive interpretation of quantified modal logic, specifically, for implementing certain kinds of de re quantification. (shrink)

Discussions of the relation between pragmatism and logical empiricism tend to focus on the period when the logical empiricists found themselves in exile, mostly in the United States, and then attempt to gauge the actual extent of their convergence. My concern lies with the period before that and the question whether pragmatism had an earlier influence on the development of logical empiricism, especially on the thought of the former members of the “first” Vienna Circle. I argue for a substantially qualified (...) affirmative answer. (shrink)

Philosophers seldom ask questions regarding how certain phenomena occur, because such questions tend to be the province of the sciences or of technology. However, the question how pictures have depth requires philosophical reflection because it takes place on the surface of pictorial objects and involves both physical and phenomenal, i.e. aesthetic, features of those surfaces. This essay examines how pictures have depth by first separating the aesthetic question from interpretive considerations, and thereby refining the question how pictures have depth. Next (...) it explicates two sorts of conceptual tools required to understand the question: several complex concepts needed to understand surfaces, and the concept of intensity. These are then used to understand how pictures can have depth by showing how intensities produce both an aesthetic surface and depth within it. (shrink)

Propositions are central to at least most theorizing about the connection between our mental lives and the world: we use them in our theories of an array of attitudes including belief, desire, hope, fear, knowledge, and understanding. Unfortunately, when we press on these theories, we encounter a relatively neglected family of paradoxes first studied by Arthur Prior. I argue that these paradoxes present a fatal problem for most familiar resolutions of paradoxes. In particular, I argue that truth-value gap, contextualist, situation (...) theoretic, revision theoretic, ramified, and dialetheist approaches to the paradoxes must deny us the conceptual resources that they themselves make use of, on pain of contradiction. I then detail the costs of the extant strategies that avoid this issue: Hartry Field’s paracomplete approach; Andrew Bacon’s classical treatment of indeterminacy; a generalization of ideas from Prior, Nicholas J.J. Smith, and Hartley Slater; and free logics as recently explored by Bacon, John Hawthorne, and Gabriel Uzquiano. I argue that none of these is perfect, and that each restricts the theories we can endorse in a variety of areas of philosophy. I spell these restrictions out, showing, I hope, that the further investigation of these paradoxes must be a part of future research on propositional attitudes. (shrink)

Concepts of infinity have been subjects of dispute since antiquity. The main problems of this paper are: is the mind able to acquire a concept of infinity? and: how are concepts of infinity acquired? The aim of this paper is neither to say what the meanings of the word “infinity” are nor what infinity is and whether it exists. However, those questions will be mentioned, but only in necessary extent.

Beliefs have what I will call ‘propositional content’. A belief is always a belief that so-and-so: a belief that grass is green, or a belief that snow is white, or whatever. Other things have propositional content too, such as sentences, judgments and assertions. The Standard View amongst philosophers is that what it is to have a propositional content is to stand in an appropriate relation to a proposition. Moreover, on this view, propositions are objects, i.e. the kind of thing you (...) can refer to with singular terms. For example, on the Standard View, we should parse the sentence ‘Simon believes that Sharon is funny’ as: [Simon] believes [that Sharon is funny]; ‘Simon’ is a term referring to a thinking subject, ‘that Sharon is funny’ is a term referring to a proposition, and ‘x believes y’ is a dyadic predicate expressing the believing relation. In this paper, I argue against the Standard View. This is how I think we should parse ‘Simon believes that Sharon is funny’: [Simon] believes that [Sharon is funny]; here we have a singular term, ‘Simon’, a sentence ‘Sharon is funny’, and a ‘prenective’ joining them together, ‘x believes that p’. On this Prenective View, we do not get at the propositional content of someone’s belief by referring to a reified proposition with a singular term; we simply use the sentence ‘Sharon is funny’ to express that content for ourselves. I argue for the Prenective View in large part by showing that an initially attractive version of the Standard View is actually vulnerable to the same objection that Wittgenstein used against Russell’s multiple-relation theory of judgment. (shrink)

ABSTRACT The aim of this paper is to provide a sketch on the way Nāgārjuna deals with the idea of 'relation'. The concept of 'relation' as expressed in the Pāli sources is here theoretically systematized according to three patterns: 1. logical, 2. strictly subordinative existential, 3. non-strictly subordinative existential. After having discussed Nāgārjuna's acceptance and treatment of these three patterns, particular attention is paid to the non-strictly subordinative existential relation. This kind of relation is meant to describe the way the (...) factors of the conditioned co-origination are linked to each other and is exemplified by Nāgārjuna by means of the father-son bond. A possible way to explain the conditioned co-origination doctrine in the light of the father-son example is here suggested by having resource to the 'Cambridge change' theory. Even if in the Pāli Canon the non-strictly subordinative existential pattern is said to apply to all the other factors of the conditioned co-origination, there is no direct evidence that it concerns also the avidyā-saṃskāras link. It will be shown how Nāgārjuna, by applying it to the avidyā-saṃskāras link, seems to introduce a new perspective in the conditioned co-origination theory. RESUMO O objetivo deste artigo é proporcionar um esboço da maneira na qual Nāgārjuna aborda a ideia de 'relação'. O conceito de 'relação' que encontramos nas fontes pāli é aqui sistematizado teoricamente conforme três padrões: 1. lógico, 2. existencial estritamente subordinativo, 3. existencial não estritamente subordinativo. Após ter discutido a recepção e o tratamento nagarjunianos desses três padrões, este estudo dedica atenção especial à relação existencial não estritamente subordinativa. Esse tipo de relação visa descrever a maneira na qual os fatores da cooriginação condicionada estão ligados entre eles, e é tipificada por Nāgārjuna pelo exemplo da ligação pai-filho. Para explicar a doutrina da cooriginação condicionada à luz do exemplo pai-filho, um modo possível aqui sugerido é por meio do recurso à teoria do 'Cambridge change'. Embora no cânone pāli se diga que o modelo de relação existencial não estritamente subordinativa se aplique a todos os outros fatores da cooriginação condicionada, não há nenhuma evidência direta de que ele concerna também à ligação avidyā-saṃskāras. Será mostrado como Nāgārjuna, ao aplicar esse modelo à ligação avidyā-saṃskāras, pareça introduzir uma nova perspectiva na teoria da cooriginação condicionada. (shrink)

Philosophers have responded to McTaggart’s famous argument for the unreality of time in a variety of ways. Some of those responses are not easy to evaluate, since they involve, for example, sometimes murky questions concerning whether a certain infinite regress is or is not vicious. In this paper I set out a response that has not, I think, been advanced by any other author, and which, if successful, is absolutely clear-cut. The basic idea is simply that a tensed approach to (...) time can avoid McTaggart’s contradiction, and can also avoid any regress, vicious or otherwise, by specifying the times at which events have different tensed properties in a tenseless fashion — namely, by using dates. This answer to McTaggart’s argument is, however, open to four important objections. The first objection is that my answer to the second part of McTaggart’s argument is incompatible with something that McTaggart takes himself to have proved in the first part of his argument — the claim, namely, that “there can be no change unless some propositions are sometimes true and sometimes false.” The second objection is that the sentences that I claim can be used to specify when an event has a given tensed property do not in fact do so, since they turn out to be purely tenseless sentences. The third objection is that the sentences in question make use of tenseless verbs, and that it is not in fact possible to make sense of such verbs. The fourth and final objection is that it is not really possible to specify, in tenseless terms, when an event has a given tensed property, since dates have to be analyzed using the relation of temporal priority, and that relation, in turn, must be analyzed in terms of the tensed properties of pastness, presentness and futurity, so that the purportedly tenseless specification is implicitly tensed. I argue, however, that none of these four objections can be sustained. (shrink)

Gyula Klima maintains that Anselm's ontological argument is best understood in terms of a theory of reference that was made fully explicit only by later medievals. I accept the interpretative claim but offer here two objections to the argument so interpreted. The first points up a certain ambiguity in Klima's formulation of the argument, the correction of which requires a substantive revision of the argument's conclusion. The second exploits the notion of semantic closure introduced by Tarski. Klima offers the atheist (...) an ?out? by drawing a distinction between constitutive and parasitic reference. I argue that using Klima's preferred description (?the thought object than which no thought object can be thought to be greater?) to refer constitutively to God results in conceptual closure, a condition analogous to semantic closure that renders the instant conceptual scheme inconsistent and subject to paradox. Although the proof ultimately fails, Klima's development of the notions of constitutive and parasitic reference has important and far-reaching implications. (shrink)

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)

I present an outline of the Omega Point theory, which is a model for an omnipresent, omniscient, omnipotent, evolving, personal God who is both transcendent to spacetime and immanent in it, and who exists necessarily. The model is a falsifiable physical theory, deriving its key concepts not from any religious tradition but from modern physical cosmology and computer science; from scientific materialism rather than revelation. Four testable predictions of the model are given. The theory assumes that thinking is a purely (...) physical process of the brain, and that personality dies with the brain. Nevertheless, I show that the Omega Point theory suggests a future universal resurrection of the dead very similar to the one predicted in the Judeo‐Christian‐Islamic tradition. The notions of “grace” and the “beatific vision” appear naturally in the model. (shrink)

Frege’s writings contain arguments for the thesis (i) that a thought expressed by a sentence S is a structured object whose composition pictures the composition of S, and for the thesis (ii) that a thought is an unstructured object. I will argue that Frege’s reasons for both (i) and (ii) are strong. Frege’s explanation of the difference in sense between logically equivalent sentences rests on assumption (i), while Frege’s claim that the same thought can be decomposed differently makes (ii) plausible. (...) Thoughts are supposed to do work that requires that they be structured and work that requires that they be unstructured. But this cannot be! While the standard response to this problem is to reject either (i) or (ii), I propose a charitable repair in the spirit of Frege’s theory that accepts both. The key idea can be found in Frege’s Basic Laws of Arithmetic(BL, GGA). Frege argues that the thought expressed by a sentence is determined by the truth-conditions that can be derived from the semantic axioms for the sentence constituents. The fact that the same axiomatic truth-condition can be derived in different ways from different semantic axioms suggests a Fregean solution of the dilemma: A thought is a type that is instantiated by all sequences of senses (decomposed thoughts) that have the same axiomatic truth-conditions. This allows for multiple decomposability of the same thought (for different decomposed thoughts can have the same axiomatic truth-conditions) and for a notion of containment (the decomposed thought contains those senses whose semantic axioms are needed in the derivation of the truth-conditions). My proposal combines the virtues of (i) and (ii) without inheriting their vices. (shrink)

The philosophy of measurement studies the conceptual, ontological, epistemic, and technological conditions that make measurement possible and reliable. A new wave of philosophical scholarship has emerged in the last decade that emphasizes the material and historical dimensions of measurement and the relationships between measurement and theoretical modeling. This essay surveys these developments and contrasts them with earlier work on the semantics of quantity terms and the representational character of measurement. The conclusions highlight four characteristics of the emerging research program in (...) philosophy of measurement: it is epistemological, coherentist, practice oriented, and model based. (shrink)

Philosophers and linguists alike tend to call a semantic theory ‘Russellian’ just in case it assigns to sentences in which definite descriptions occur the truth-conditions Russell did in ‘On Denoting’. This is unfortunate; not all aspects of those particular truth-conditions do explanatory work in Russell's writings. As far as the semantics of descriptions is concerned, the key insights of ‘On Denoting’ are that definite descriptions are not uniformly referring expressions, and that they are scope-bearing elements. Anyone who accepts these two (...) claims can account for Russell's puzzle cases the way he did. Russell had no substantive argument for the claim that ‘The F is G’ entails ‘There is at most one F’; in fact, he had important misgivings about it. I outline an argument against this claim, and I argue that by holding on to uniqueness contemporary semanticists make a momentous mistake: they keep the illusion alive that there is a way to account for linguistic meaning without addressing what linguistic expressions are for. (shrink)

It is argued that a number of important, and seemingly disparate, types of representation are species of a single relation, here called structural representation, that can be described in detail and studied in a way that is of considerable philosophical interest. A structural representation depends on the existence of a common structure between a representation and that which it represents, and it is important because it allows us to reason directly about the representation in order to draw conclusions about the (...) phenomenon that it depicts. The present goal is to give a general and precise account of structural representation, then to use that account to illuminate several problems of current philosophical interest — including some that do not initially seem to involve representation at all. In particular, it is argued that ontological reductions (like that of the natural numbers to sets), compositional accounts of semantics, several important sorts of mental representation, and (perhaps) possible worlds semantics for intensional logics are all species of structural representation and are fruitfully studied in the framework developed here. (shrink)

“The Strong Programme” is put forward as a metaphysical theory of sociology by the Edinburgh School (SSK) to study the social causes of knowledge. Barry Barnes and David Bloor are the proponents of the School. They call their programme “the Relativist View of Knowledge” and argue against rationalism in the philosophy of science. Does their relativist account of knowledge present a serious challenge to rationalism, which has dominated 20th century philosophy of science? I attempt to answer this question by criticizing (...) the main ideas of SSK and defending rationalism theories in modern philosophy of science. (shrink)

The paper is concerned with the idea that the world is the totality of facts, not of things – with what is involved in thinking of the world in that way, and why one might do so. It approaches this issue through a comparison between Wittgenstein’s Tractatus and the identity theory of truth proposed by Hornsby and McDowell.The paper’s positive conclusion is that there is a genuine affinity between these two. A negative contention is that the modern identity theory is (...) vulnerable to a complaint of idealism that the Tractatus can deflect. (shrink)

Since the discovery of incommensurability in ancient Greece, arithmeticism and geometricism constantly switched roles. After ninetieth century arithmeticism Frege eventually returned to the view that mathematics is really entirely geometry. Yet Poincaré, Brouwer, Weyl and Bernays are mathematicians opposed to the explication of the continuum purely in terms of the discrete. At the beginning of the twenty-first century ‘continuum theorists’ in France (Longo, Thom and others) believe that the continuum precedes the discrete. In addition the last 50 years witnessed the (...) revival of infinitesimals (Laugwitz and Robinson—non-standard analysis) and—based upon category theory—the rise of smooth infinitesimal analysis and differential geometry. The spatial whole-parts relation is irreducible (Russell) and correlated with the spatial order of simultaneity. The human imaginative capacities are connected to the characterization of points and lines (Euclid) and to the views of Aristotle (the irreducibility of the continuity of a line to its points), which remained in force until the ninetieth century. Although Bolzano once more launched an attempt to arithmetize continuity, it appears as if Weierstrass, Cantor and Dedekind finally succeeded in bringing this ideal to its completion. Their views are assessed by analyzing the contradiction present in Grünbaum’s attempt to explain the continuum as an aggregate of unextended elements (degenerate intervals). Alternatively a line-stretch is characterized as a one-dimensional spatial subject, given at once in its totality (as a whole) and delimited by two points—but it is neither a breadthless length nor the (shortest) distance between two points. The overall aim of this analysis is to account for the uniqueness of discreteness and continuity by highlighting their mutual interconnections exemplified in the nature of a line as a one-dimensional spatial subject, while acknowledging that points are merely spatial objects which are always dependent upon an extended spatial subject. Instead of attempting to reduce continuity to discreteness or discreteness to continuity, a third alternative is explored: accept the irreducibility of number and space and then proceed by analyzing their unbreakable coherence. The argument may be seen as exploring some implications of the view of John Bell, namely that the “continuous is an autonomous notion, not explicable in terms of the discrete.” Bell points out that initially Brouwer, in his dissertation of 1907, “regards continuity and discreteness as complementary notions, neither of which is reducible to each other.”. (shrink)

Starting from the assumption that one can literally perceive someone's anger in their face, I argue that this would not be possible if what is perceived is a static facial signature of their anger. There is a product–process distinction in talk of facial expression, and I argue that one can see anger in someone's facial expression only if this is understood to be a process rather than a product.

The paper gives a detailed reconstruction and discussion of Peirce’s doctrine of propositions, so-called Dicisigns, developed in the years around 1900. The special features different from the logical mainstream are highlighted: the functional definition not dependent upon conscious stances nor human language, the semiotic characterization extending propositions and quasi-propositions to cover prelinguistic and prehuman occurrences of signs, the relations of Dicisigns to the conception of facts, of diagrammatical reasoning, of icons and indices, of meanings, of objects, of syntax in Peirce’s (...) logic-as-semiotics. (shrink)

Bertrand Russell's 1903 masterpiece "The Principles of Mathematics" places great emphasis on the need to separate propositions from psychological items such as thoughts. In 1919 Russell explicitly retracts this view, however, and defines propositions as "psychological occurrences". These psychological occurrences are held by Russell to be mental images. In this paper, I seek to explain this radical change of heart. I argue that Russell's re-psychologising of the proposition in 1919 can only be understood against the background of his struggle with (...) the problem of the unity of the proposition in earlier work. Once this is recognized, and the solution to the problem offered by the 1919 theory is appreciated, new light is also shed on Russell's naturalism. I go on to compare Russell's psychological "picture theory" with the vehemently anti-psychological picture theory of Wittgenstein's "Tractatus Logico-Philosophicus" and suggest that, once the background of the dispute is brought into clearer focus, Russell's position can be seen to have many advantages over its more celebrated rival. (shrink)

In this article I present a summary of Bertrand Russell's protracted attempts to solve the problem of the unity of the proposition, and explain the significance of the problem for Russell's philosophy. Unlike many other accounts which take the problem to be confined to Russell's early theories of propositional content, I argue that the problem (or variants of it) is a recurring theme throughout the whole of Russell's career.

It is fairly well known that Wittgenstein's criticisms of Russell's multiple‐relation theory of judgement had a devastating effect on the latter's philosophical enterprise. The exact nature of those criticisms however, and the explanation for the severity of their consequences, has been a source of confusion and disagreement amongst both Russell and Wittgenstein scholars. In this paper, I offer an interpretation of those criticisms which shows them to be consonant with Wittgenstein's general critique of Russell's conception of logic and which serves (...) to elucidate some of the notoriously enigmatic passages of the Tractatus. In particular, I seek to show the continuity of Wittgenstein's criticisms of the theory of judgement with his remarks on Russell's paradox and the theory of types. In addition, I place these issues in the context of Russell's own philosophical ambitions in order to reveal the deep divisions between the two over the nature of logical form and the analysis of propositional content. (shrink)

Cartwright attempts to argue from an analysis of the composition of forces, and more generally the composition of laws, to the conclusion that laws must be regarded as false. A response to Cartwright is developed which contends that properly understood composition poses no threat to the truth of laws, even though agreeing with Cartwright that laws do not satisfy the "facticity" requirement. My analysis draws especially on the work of Creary, Bhaskar, Mill, and points towards a general rejection of Cartwright's (...) view that laws, especially fundamental laws, should be seen as false. (shrink)

This paper is about a certain view of intentionality, a problem faced by the view, and two ways in which, it has been proposed, the problem might be solved. The view is that every intentional state has an intentional object. The problem is that the putative intentional objects of some intentional states do not, or even cannot, exist. The two strategies to solve the problem and secure the view are those implemented by Tim Crane in his article “Intentional Objects”. In (...) this paper I argue that both Crane’s implementations and the strategies in general are unsuccessful. By way of overview, I also discuss other ways in which the problem has been addressed. (shrink)