In his “Wissenschaftslogik: The Role of Logic in the Philosophy of Science,” Michael Friedman argues that Carnap’s philosophy of science “is fundamentally anti-metaphysical—he aims to use the tools of mathematical logic to dissolve rather [than] solve traditional philosophical problems—and it is precisely this point that is missed by his logically-minded contemporaries such as Hempel and Quine”. In this paper, I take issue with this claim, arguing that Quine, too, is a part of this anti-metaphysical tradition. I begin in section I (...) with Russell’s account of scientific philosophy, focusing on its critique of metaphysics and its reliance on logical constructions. I then argue that each of Carnap and Quine take up this call to scientific philosophizing but that they both find Russell’s account of logic wanting. In section II, I first provide an account of Carnap’s critique of metaphysics and its reliance on developments in logic. This is followed by a discussion of his appeal to the analytic/synthetic distinction so as to improve upon Russell’s account of logic. Section III follows this same structure but focuses on Quine. In the end, though, Quine turns not to the analytic/synthetic distinction but to holism to provide an account of logic suitable to scientific philosophy. Carnap had claimed to be “more Russellian than Russell,” and in this final move by Quine I argue that he is “being more Carnapian than Carnap.” I conclude by showing how, contrary to Friedman’s view, Quine’s rejection of the analytic/synthetic distinction does not yield a return to the kind metaphysics that he, Carnap, and Russell all objected to. (shrink)

The title of this paper may seem to involve a contradiction: my purpose is to show that it does not.Individuals fall into two categories; those which depend for their existence upon the existence of other individuals, and those which do not. In the second category are found such things as shoes, ships, cabbages, kings, and discrete bits of sealing wax. These may be calledindividual substances, and the way in which the existence of a cabbage depends upon water and earth, or (...) in which Descartes says the existence of all things depends upon God, will not be in point here. The individuals of the first category are characterized by a much more obvious kind of dependence. They include the sound of an individual shoe falling on the floor, the sinking of theBismarck, the stupidity of George I, the centre of gravity of a bit of sealing wax. All these are individuals, though they are not individual substances. They are what I shall callabstract individuals, orabstract particulars. (shrink)

Peter Geach's puzzle of intentional identity is to explain how the claim ‘Hob thinks a witch has blighted Bob's mare, and Nob wonders whether she killed Cob's sow’ is compatible with there being no such witch. I clarify the puzzle and reduce it to the familiar problem of negative existentials. That problem is a paradox of representations that seem to include denials of commitment , to carry commitment to what they deny commitment to, and to be true. The best proposed (...) solutions can be understood through this paradox; I evaluate them, and defend a new solution. (shrink)

Jim Mackenzie; Authority, Journal of Philosophy of Education, Volume 22, Issue 1, 30 May 2006, Pages 57–65, https://doi.org/10.1111/j.1467-9752.1988.tb00177.x.

Among philosophers, Fregeanism and sententialism are widely considered two of the leading theories of the semantics of attitude reports. Among linguists, these approaches have received little recent sustained discussion. This paper aims to bridge this divide. I present a new formal implementation of Fregeanism and sententialism, with the goal of showing that these theories can be developed in sufficient detail and concreteness to be serious competitors to the theories which are more popular among semanticists. I develop a modern treatment of (...) quantifying in for Fregeanism and sententialism, in the style of Heim and Kratzer, and then show how these theories can—somewhat surprisingly—account for “third readings” on the model of the “Standard Solution” from possible-worlds semantics. The resulting Fregean/sententialist proposal has a distinctive attraction: it treats data related to counterfactual attitudes —which have proven challenging to accommodate in the setting of possible worlds semantics—straightforwardly as third readings. (shrink)

This paper systematically outlines Wittgenstein's ab-notation. The purpose of this notation is to provide a proof procedure in which ordinary logical formulas are converted into ideal symbols that identify the logical properties of the initial formulas. The general ideas underlying this procedure are in opposition to a traditional conception of axiomatic proof and are related to Peirce's iconic logic. Based on Wittgenstein's scanty remarks concerning his ab-notation, which almost all apply to propositional logic, this paper explains how to extend his (...) method to a subset of first-order formulas, namely, formulas that do not contain dyadic sentential connectives within the scope of any quantifier. (shrink)

The paper offers a historical survey of the emergence of logical formalization in twentieth-century analytically oriented philosophy of religion. This development is taken to have passed through three main ?stages?: a pioneering stage in the late nineteenth and early twentieth centuries (led by Frege and Russell), a stage of crisis in the 1920s and early 1930s (occasioned by Wittgenstein, logical positivists such as Carnap, and neo-Thomists such as Maritain), and a stage of rehabilitation in the 1930s, 1940s, and 1950s (led (...) by the Cracow Circle and Quine). (shrink)

Tarski's manner of defining truth is generally considered highly significant. About why, there is less consensus. I argue first, that in his truth-definitions Tarski was trying to solve a set of philosophical problems; second, that he solved them successfully; third, that all of these that are simply problems about defining truth are as well or better solved by a simpler account of truth. But one of his crucial problems remains: to give an account of validity, one requires an account not (...) just of truth but of truth under varying interpretations. Tarski's account has the merit of generalizing to this, to model theory and to abstract algebra. (shrink)

In his Formal Logic, Arthur N. Prior declared that Jan Łukasiewicz's logical notation is ‘unquestionably the best logical symbolism for most purposes’. Whether he had a substantive, and...

It is a little understood fact that the system of formal logic presented in Wittgenstein’s Tractatusprovides the basis for an alternative general semantics for a predicate calculus that is consistent and coherent, essentially independent of the metaphysics of logical atomism, and philosophically illuminating in its own right. The purpose of this paper is threefold: to describe the general characteristics of a Tractarian-style semantics, to defend the Tractatus system against the charge of expressive incompleteness as levelled by Robert Fogelin, and to (...) give a semantics for a formal language that is the Tractarian equivalent of a first-order predicate calculus. Of note in regard to the latter is the fact that a Tractatusstyle truth-definition makes no appeal to the technical trick of defining truth in terms of the satisfaction of predicates by infinite sequences of objects, yet is materially equivalent to the usual Tarski-style truth-definitions. (shrink)

The fact that Gödel's famous incompleteness theorem and the archetype of all logical paradoxes, that of the Liar, are related closely is, of course, not only well known, but is a part of the common knowledge of the community of logicians. Indeed, almost every more or less formal treatment of the theorem makes a reference to this connection. Gödel himself remarked in the paper announcing his celebrated result :The analogy between this result and Richard's antinomy leaps to the eye;there is (...) also a close relationship with the ‘liar’ antinomy, since … we are… confronted with a proposition which asserts its own unprovability.In the light of the fact that the existence of this connection is commonplace it is all the more surprising that very little can be learnt about its exact nature except perhaps that it is some kind of similarity or analogy. There is, however, a lot more to it than that. Indeed, as we shall try to show below, the general ideas underlying the three central theorems concerning internal limitations of formal deductive systems can be taken as different ways to resolve the Liar paradox. More precisely, it will turn out that an abstract formal variant of the Liar paradox, which can almost straightforwardly inferred from its original ordinary language version, is a possible common generalization of Gödel's incompleteness theorem, the theorem of Tarski on the undefinability of truth, and that of Church concerning the undecidability of provability. (shrink)

Temporal ontology is concerned with the ontological status of the past, the present and the future, with presentism and eternalism as main contenders since the second half of the last century. In recent years several philosophers have argued that the presentism/eternalism dispute is not substantial. They have embraced, one may say, deflationism. Denying or downplaying the meaningfulness of tenseless language and wielding the so-called triviality objection have been their main argumentative tools. Other philosophers have opposed this trend, thereby holding fast (...) to what could be named substantialism. Their leading defensive strategy has consisted in bringing to the fore tenselessness or unrestricted quantification in an attempt to resist the triviality objection. Despite this reaction, the past few years have hosted a new wave of deflationism, wherein the triviality objection and qualms about the legitimacy of tenselessness and unrestricted quantification still loom large. This paper counters this trend, by providing a new clarification of tenseless predication, unrestricted quantifiers and their role in rescuing substantialism from the triviality objection. A crucial ingredient is this: the appeal to unrestricted quantifiers and to tenseless predication are not alternative strategies, but rather two sides of the same coin, since substantialism requires quantifiers that are both tenseless and unrestricted. (shrink)

In this paper we study the termination behavior of Russell’s description elimination rewrite system. We discuss certain claims made by Kripke (2005) in his paper concerning the possible nontermination of elimination of descriptions.

We seek means of distinguishing logical knowledge from other kinds of knowledge, especially mathematics. The attempt is restricted to classical two-valued logic and assumes that the basic notion in logic is the proposition. First, we explain the distinction between the parts and the moments of a whole, and theories of ?sortal terms?, two theories that will feature prominently. Second, we propose that logic comprises four ?momental sectors?: the propositional and the functional calculi, the calculus of asserted propositions, and rules for (...) (in)valid deduction, inference or substitution. Third, we elaborate on two neglected features of logic: the various modes of negating some part(s) of a proposition R, not only its ?external? negation not-R; and the assertion of R in the pair of propositions ?it is (un)true that R? belonging to the neglected logic of asserted propositions, which is usually left unstated. We also address the overlooked task of testing the asserted truth-value of R. Fourth, we locate logic among other foundational studies: set theory and other theories of collections, metamathematics, axiomatisation, definitions, model theory, and abstract and operator algebras. Fifth, we test this characterisation in two important contexts: the formulation of some logical paradoxes, especially the propositional ones; and indirect proof-methods, especially that by contradiction. The outcomes differ for asserted propositions from those for unasserted ones. Finally, we reflect upon self-referring self-reference, and on the relationships between logical and mathematical knowledge. A subject index is appended. (shrink)

Is there anything like an experiment in mathematics? And if this is the case, what would distinguish a mathematical experiment from a mathematical thought experiment? In the present paper, a framework for the practice of mathematics will be put forward, which will consider mathematics as an experimenting activity and as a proving activity. The relationship between these two activities will be explored and more importantly a distinction between thought-experiments, real experiments, quasi experiments and proofs in pure mathematics will be provided. (...) To do so, three examples of experimenting with triangles will be introduced and discussed. (shrink)

Theories of propositions as sets of truth-supporting circumstances are committed to the thesis that sentences or other representations true in all and only the same circumstances express the same proposition. Theories of propositions as complex, structured entities are not committed to this thesis. As a result, structured propositions can play a role in our theories of language and thought that sets of truth-supporting circumstances cannot play. To illustrate this difference, I sketch a theory of transparent, non-deflationary truth consistent with some (...) theories of structured propositions, but inconsistent with any theory of propositions as sets of truth-supporting circumstances. (shrink)

Building on recent work by Delia Graff Fara and Ora Matushansky on appellative constructions like ‘Mirka called Roger handsome’, I argue that if Millianism about proper names is true, then the quantifier ‘something’ in ‘Mirka called Roger something’ is best understood as a kind of substitutional quantifier. Any adequate semantics for such quantifiers must explain both the logical behavior of ‘Mirka called Roger something’ and the acceptability of ‘so’-anaphora in ‘Mirka called Roger something, and everyone so called is handsome’. Millianism (...) about proper names is inconsistent with such quantifiers being standard non-substitutional second-order quantifiers. But this is not the only option for Millianism: I provide two different propositional semantics for substitutional quantification, each of which is adequate in the sense above, given Millianism. One of these is based on Tobias Rosefeldt’s work on non-nominal quantification, and I identify in what way Rosefeldt’s semantics is substitutional. (shrink)

Pour le philosophe intéressé aux structures et aux fondements du savoir théorétique, à la constitution d'une « méta-théorétique «, θεωρíα., qui, mieux que les « Wissenschaftslehre » fichtéenne ou husserlienne et par-delà les débris de la métaphysique, veut dans une intention nouvelle faire la synthèse du « théorétique », la logique mathématique se révèle un objet privilégié.

Contextuality is trivially pervasive: all human experience takes place in endlessly changing environments and inexorably moving time frames. In order to have any meaning, the changing items must be placed within a more stable setting, a framework that is not subject to the same kind of contextual change. Total contextuality collapses into chaos, or becomes ineffable. While basic learning is highly contextual (one learns by example), what is learned transcends the examples used in the learning. Perhaps, in a similar manner, (...) artistic expression transcends context by fully embracing it. In any case, a philosophical account of contextuality is itself stated in a more absolute mode, not necessarily a picture from an “eternal” view point, but at least one that avoids the contextuality which it describes. (shrink)

Recent scholarship indicates that Quine’s “Truth by Convention” does not present the radical critiques of analytic truth found fifteen years later in “Two Dogmas of Empiricism.” This prompts a historical question: what caused Quine’s radicalization? I argue that two crucial components of Quine’s development can be traced to the academic year 1940–1941, when he, Russell, Carnap, Tarski, Hempel, and Goodman were all at Harvard together. First, during those meetings, Quine recognizes that Carnap has abandoned the extensional, syntactic approach to philosophical (...) analysis, an approach espoused in Carnap’s 1934 Logical Syntax of Language, and which Quine endorsed his entire career. Second, Tarski presents Quine with a philosophically well-motivated reason to think that an apparently analytic discipline, arithmetic, could be synthetic; this reflects one of the central assertions found in “Two Dogmas” but not in “Truth by Convention.” I use this account of Quine’s development to resolve a dispute between Creath and Mancosu concerning the timeline for Quine’s evolving critiques of analyticity. (shrink)

Attempts to articulate the real meaning or ultimate significance of a famous theorem comprise a major vein of philosophical writing about mathematics. The subfield of mathematical logic has supplie...

Although logical settings are typically concerned with tracking alethic considerations, frameworks exist in which topic-theoretic considerations—e.g., tracking subject-matter or topic—are given equal importance. Intuitions about extending topic through a propositional language are generally straightforward for extensional cases. For a number of reasons, arriving at a compelling account of the subject-matter of intensional operators—such as intensional conditionals—is a more difficult task. In particular, the framework of topic-sensitive intentional modals (TSIMs) championed by Francesco Berto and his collaborators leave the topics of intensional (...) formulae undefined, which artificially constricts the expressivity of the theory. This paper proposes an approach to fill in this lacuna, emphasizing an analogous problem in Parry-style containment logics. In this setting, the approach receives a proof-of-concept through the introduction of a natural and general family of subsystems of Parry’s $${\textsf{PAI}}$$ PAI —with sound and complete axiomatizations—that allow a fine degree of control over the topics of intensional conditionals. (shrink)

It is often assumed that two linguistic agents can come to understand one another in part because they use the same words. That is, many philosophical theories of communication posit an intersubjective same-word relation. However, giving an account of this relation is complicated by what I call “The Variation Problem”—a problem resulting from the fact that the same word can be pronounced differently. In this paper, I first argue that previous models of the same-word relation, including Kaplanian and Chomskyan models, (...) fail to escape The Variation Problem. I then propose a new model on which the same-word relation is grounded in a particular kind of social relation that holds between the speaker and the audience. On this model, using the same word requires not that agents make the same sounds, but that they coordinate their internal linguistic representations. (shrink)

Some philosophers, notably Professors Quine and Geach, have stressed the analogies they see between pronouns of the vernacular and the bound variables of quantification theory. Geach, indeed, once maintained that ‘for a philosophical theory of reference, then, it is all one whether we consider bound variables or pronouns of the vernacular'. This slightly overstates Geach's positition since he recognizes that some pronouns of ordinary language do function differently from bound variables; he calls such pronouns ‘pronouns of laziness'. Geach's characterisation of (...) pronouns of laziness has varied from time to time, but the general idea should be clear from a paradigm example: A man who sometimes beats his wife has more sense than one who always gives in to her.The pronouns ‘one’ and ‘her’ go proxy for a noun or a noun phrase in the sense that the pronoun is replaceable in paraphrase by simple repetition of its antecedent. (shrink)

Some philosophers, notably Professors Quine and Geach, have stressed the analogies they see between pronouns of the vernacular and the bound variables of quantification theory. Geach, indeed, once maintained that ‘for a philosophical theory of reference, then, it is all one whether we consider bound variables or pronouns of the vernacular'. This slightly overstates Geach's positition since he recognizes that some pronouns of ordinary language do function differently from bound variables; he calls such pronouns ‘pronouns of laziness'. Geach's characterisation of (...) pronouns of laziness has varied from time to time, but the general idea should be clear from a paradigm example: A man who sometimes beats his wife has more sense than one who always gives in to her.The pronouns ‘one’ and ‘her’ go proxy for a noun or a noun phrase in the sense that the pronoun is replaceable in paraphrase by simple repetition of its antecedent. (shrink)

Dramatic changes or revolutions in a field of science are often made by outsiders or 'trespassers,' who are not limited by the established, 'expert' approaches. Each essay in this diverse collection shows the fruits of intellectual trespassing and poaching among fields such as economics, Kantian ethics, Platonic philosophy, category theory, double-entry accounting, arbitrage, algebraic logic, series-parallel duality, and financial arithmetic.

Today it would be considered "bad Platonic metaphysics" to think that among all the concrete instances of a property there could be a universal instance so that all instances had the property by virtue of participating in that concrete universal. Yet there is a mathematical theory, category theory, dating from the mid-20th century that shows how to precisely model concrete universals within the "Platonic Heaven" of mathematics. This paper, written for the philosophical logician, develops this category-theoretic treatment of concrete universals (...) along with a new concept to abstractly model the functions of a brain. (shrink)

The strategy of this paper is twofold: First, we carry out a systematic investigation of the question of what specific kind of meaning quotation marks contribute to the overall meaning of an utterance. We consider the following kinds of meaning: literal meaning (§ 2.1), conventional implicature (§ 2.2), presupposition (§ 2.3), and conversational implicature (§ 2.4). We present arguments in favor of a pragmatic analysis of quotation marks, claiming that the notion of conversational implicature seems to be the most promising (...) alternative: All general features of this kind of meaning are met by quotational constructions. Nonetheless, an approach based on conversational implicatures faces some problems when taking direct and pure quotations into account, namely effects on truth-conditions and, allegedly, on grammaticality. Thus, our second aim is to propose acceptable solutions to these criticisms in § 3. Finally, in § 4, we consider how a radical pragmatic account of quotation could be integrated into a Neo-Gricean architecture of the semantics/pragmatics-interface. (shrink)

O presente artigo busca debater a posição de Charles Sanders Peirce e dos primeiros estudantes peirceanos de Lógica (Christine Ladd e O. H. Mitchell nos Studies in Logic, 1883) dentro do debate inspirador da visão da linguagem dentro da Filosofia Analítica, conhecido como “Lingua Universalis contra Calculus Ratiocinator”, cujos primórdios podem ser traçados desde a filosofia de Gottfried Leibniz. Para isso, comparamos esse campo do pensamento peirceano com o debate crucial entre a conceitografia de Gottlob Frege (Begriffsschrift, 1879) e a (...) lógica algébrica de George Boole (An investigation of the Laws of Thought on which are founded the mathematical theories of Logic and Probabilities, 1854). O nosso objetivo principal é observar que esse momento da filosofia peirceana pode ser comparado com o pensamento wittgensteiniano, especialmente em sua nova vertente, chamada New Wittgenstein, que tenta superar a tradicional divisão entre Tractatus Logico-Philosophicus e Investigações Filosóficas. Pela comparação entre pensadores influenciados por C. S. Peirce e a filosofia de Ludwig Wittgenstein, pretendemos abrir caminhos na compreensão do conceito de jogo de linguagem, especialmente em sua gramática e em seus operadores simbólicos, através da observação das funções de verdade [truth functions] e as tabelas de verdade [truth tables] enquanto lógica algébrica. (shrink)

Resumo: No presente artigo, discutiremos os aspectos filosóficos de teorias de conjuntos paraconsistentes. A fim de ilustrar nossas considerações de modo mais concreto, abordaremos uma nova teoria de conjuntos baseada em um sistema bem conhecido de Quine e em um cálculo paraconsistente.Palavras-chave: existência, contradição, lógica e paraconsistência.: In the present paper we deal with the philosophical aspects of paraconsistent set theories. In order to illustrate our points more concretely, we will discuss new paraconsistent set theory based both on Quine's well-known (...) system and on a paraconsistent calculus.Keywords: existence, contradiction, logic and paraconsistency. (shrink)

We fine tune the distinction between the possible and what can be, mention some of the consequences and argue that the difference between material and logical implication is that of between what can be and what could have been.