Online research in philosophy

In this essay, I critically discuss Dale Jacquette's new English translation of Frege's work Die Grundlagen der Arithmetik as well as his Introduction and Critical Commentary (Frege, G. 2007. The Foundations of Arithmetic. A Logical-Mathematical Investigation into the Concept of Number . Translated with an Introduction and Critical Commentary by Dale Jacquette. New York: Longman. xxxii + 112 pp.). I begin with a short assessment of Frege's book. In sections 2 and 3, I examine several claims that Jacquette makes in (...) his Introduction and Critical Commentary and put matters in the right perspective. In sections 4-7, I analyse errors and shortcomings in Jacquette's (and Austin's) translation(s) and show how they can be avoided. In this context, I consider several issues of interest for Frege's logic and philosophy of arithmetic. I conclude with general remarks. (shrink)

Although the notion of logical object plays a key role in Frege's foundational project, it has hardly been analyzed in depth so far. I argue that Marco Ruffino's attempt to fill this gap by establishing a close link between Frege's treatment of expressions of the form ‘the concept F’ and the privileged status Frege assigns to extensions of concepts as logical objects is bound to fail. I argue, in particular, that Frege's principal motive for introducing extensions into his logical theory (...) is not to be able to make in-direct statements about concepts, but rather to define all numbers as logical objects of a fundamental kind in order to ensure that we have the right cognitive access to them qua logical objects via Axiom V. Contrary to what Ruffino claims, reducibility to extensions cannot be the ‘ultimate criterion’ for Frege of what is to be regarded as a logical object. (shrink)

In this paper, I shall discuss several topics related to <span class='Hi'>Frege</span>’s paradigms of second-order abstraction principles and his logicism. The discussion includes a critical examination of some controversial views put forward mainly by Robin Jeshion, Tyler Burge, Crispin Wright, Richard Heck and John MacFarlane. In the introductory section, I try to shed light on the connection between logical abstraction and logical objects. The second section contains a critical appraisal of <span class='Hi'>Frege</span>’s notion of evidence and its interpretation by Jeshion, (...) the introduction of the course-of-values operator and <span class='Hi'>Frege</span>’s attitude towards Axiom V, in the expression of which this operator occurs as the key primitive term. Axiom V says that the course-of-values of the function f is identical with the course-of-values of the function g if and only if f and g are coextensional. In the third section, I intend to show that in Die Grundlagen der Arithmetik (1884) <span class='Hi'>Frege</span> hardly could have construed Hume’s Principle (HP) as a primitive truth of logic and used it as an axiom governing the cardinality operator as a primitive sign. HP expresses that the number of Fs is identical with the number of Gs if and only if F and G are equinumerous. In the fourth section, I argue that Wright falls short of making a convincing case for the alleged analyticity of HP. In the final section, I canvass Heck’s arguments for his contention that <span class='Hi'>Frege</span> knew he could deduce the simplest laws of arithmetic from HP without invoking Axiom V. I argue that they do not carry conviction. I conclude this section by rejecting an interpretation concerning HP suggested by MacFarlane. (shrink)

In Die Grundlagen der Arithmetik, Frege attempted to introduce cardinalnumbers as logical objects by means of a second-order abstraction principlewhich is now widely known as ``Hume's Principle'' (HP): The number of Fsis identical with the number of Gs if and only if F and G are equinumerous.The attempt miscarried, because in its role as a contextual definition HP fails tofix uniquely the reference of the cardinality operator ``the number of Fs''. Thisproblem of referential indeterminacy is usually called ``the Julius Caesar (...) problem''.In this paper, Frege's treatment of the problem in Grundlagen is critically assessed. In particular, I try to shed new light on it by paying special attention to the framework of his logicism in which it appears embedded. I argue, among other things, that the Caesar problem, which is supposed to stem from Frege's tentative inductive definition of the natural numbers, is only spurious, not genuine; that the genuine Caesar problem deriving from HP is a purely semantic one and that the prospects of removing it by explicitly defining cardinal numbers as objects which are not classes are presumably poor for Frege. I conclude by rejecting two closely connected theses concerning Caesar put forward by Richard Heck: (i) that Frege could not abandon Axiom V because he could not solve the Julius Caesar problem without it; (ii) that (by his own lights) his logicist programme in Grundgesetze der Arithmetik failed because he could not overcome that problem. (shrink)

In his paper "Finitism" (1981), W.W. Tait maintains that the chief difficulty for everyone who wishes to understand Hilbert's conception of finitist mathematics is this: to specify the sense of the provability of general statements about the natural numbers without presupposing infinite totalities. Tait further argues that all finitist reasoning is essentially primitive recursive. In this paper, we attempt to show that his thesis "The finitist functions are precisely the primitive recursive functions" is disputable and that another, likewise defended by (...) him, is untenable. The second thesis is that the finitist theorems are precisely the universal closures of the equations that can be proved in PRA. /// En su articulo "Finitism" (1981), W.W. Tait sostiene que la dificultad principal para quien quiere comprender la concepción hilbertiana de la matemática finitista es ésta: especificar el sentido de la demostrabilidad de enunciados generales sobre los números naturales sin presuponer totalidades infinitas. Además, Tait argumenta que todo razonamiento finitista es esencialmente primitivo recursivo. En este artículo tratamos de mostrar que su tesis "Las funciones finitistas son precisamente las funciones primitivas recursivas" es discutible y que otra, también defendida por él, resulta insostenible. La segunda tesis es que los teoremas finitistas son precisamente las clausuras universales de las ecuaciones que pueden demostrarse en PRA. (shrink)

Hilbert developed his famous finitist point of view in several essays in the 1920s. In this paper, we discuss various extensions of it, with particular emphasis on those suggested by Hilbert and Bernays in Grundlagen der Mathematik (vol. I 1934, vol. II 1939). The paper is in three sections. The first deals with Hilbert's introduction of a restricted ? -rule in his 1931 paper ?Die Grundlegung der elementaren Zahlenlehre?. The main question we discuss here is whether the finitist (meta-)mathematician would (...) be entitled to accept this rule as a finitary rule of inference. In the second section, we assess the strength of finitist metamathematics in Hilbert and Bernays 1934. The third and final section is devoted to the second volume of Grundlagen der Mathematik. For preparatory reasons, we first discuss Gentzen's proposal of expanding the range of what can be admitted as finitary in his esssay ?Die Widerspruchsfreiheit der reinen Zahlentheorie? (1936). As to Hilbert and Bernays 1939, we end on a ?critical? note: however considerable the impact of this work may have been on subsequent developments in metamathematics, there can be no doubt that in it the ideals of Hilbert's original finitism have fallen victim to sheer proof-theoretic pragmatism. (shrink)

En este articulo quiero discutir algunos temas centrales deI tratamiento fregeano de los contextos no extensionales. Limitaré mi discusión al análisis de oraciones de creencia y de la oratio obliqua. En la primera parte, voy a describir dos tipos de teoría dentro deI marco de la semántica de Frege. En particular, compararé y evaluaré los análisis de oraciones no extensionales de primer y segundo nivel que se pueden llevar a cabo en las teorías de ambos tipos. En la segunda parte, (...) examinaré en que medida se puede establecer una jerarquía infinita de sentidos indirectos. En la tercera parte, voy a examinar el principio fregeano de sustitutividad de expresiones coreferenciales salva veritate. Además, haré algunas observaciones críticas sobre artículos de Tyler Burge y Jaakko Hintikka relacionados con esta temática.In this article, I discuss some important aspects of Frege’s treatment of nonextensional contexts. I focus on the analysis of belief sentences and of oratio obliqua. In the first part, I deseribe two types of theory within Fregean semantics and assess the analyses of non-extensional sentences of first and of second level whieh can be carried out in the theories of both types. In the seeond part, I examine to what extent one can establish an infinite hierarehy of indirect senses. In the third and final part, I examine Frege’s principle of substitutivity salva veritate of coreferential terms. I conelude with critieal observationson articles of Tyler Burge and Jaakko Hintikka which deal with this principle. (shrink)

This comprehensive volume gives a panorama of the best current work in this lively field, through twenty specially written essays by the leading figures in the field. All essays deal with foundational issues, from the nature of mathematical knowledge and mathematical existence to logical consequence, abstraction, and the notions of set and natural number. The contributors also represent and criticize a variety of prominent approaches to the philosophy of mathematics, including platonism, realism, nomalism, constructivism, and formalism.

Pretendo usar o exemplo dos nomes de percursos de valores como prova de que, contrariamente ao que Michael Resnik e Michael Dummett sustentam, Frege nunca abandonou o seu princípio do contexto: “Apenas no contexto de uma sentenya tem uma palavra significado”. Em particular, pretendo mostrar que a prova da completude com relação ao significado, que Frege tentou introduzir na linguagem formal das Grundgesetze der Arithmetik, baseia-se em uma aplicação do principio do contexto, e que, em consequencia, tambem nomes de percursos (...) de valores tem significado apenas nocontexto de uma sentença. A teoria Fregeana do sentido e do significado somente pode ser entendida adequadamente sob o pano de fundo do princfpio do contexto.Taking course-of-values names as an example, I want to show that, contrary to what Michael Resnik and Michael Dummett claim, Frege never abandoned his context principle “Only in the context of a sentence do words have meaning”. In particular, I want to show that Frege’s attempted proof of referentiality for the formal language of Grundgesetze der Arithmetik rests on the context principle and that, consequently, course-of-values names have a reference only in the context of a sentence. It is only in the light of the context principle that Frege’s theory of sense and reference can be understood appropriately. (shrink)

Frege’s method of introducing abstract singular terms by transforming an equivalence statement into an identity statement suffers from one major defect: it is haunted by a pervasive indeterminacy of putative reference. In this paper, I. discuss mainly Frege’s introduction of courses-of-values in his magnum opus Grundgesetze der Arithmetik (Volume I, 1893, Volume 11, 1903). More specifically, I want to assesscritically, with respect to course-of-values names, what I call Frege’s indeterminacy problem. In the first part, I sketch the nature of this (...) problem in connection with the introduction of numerical singular terms in his book Die Grundlagen der Arithmetik of 1884. In the second part, I try to shed light on the analogies and differences concerning the introduction of numerical terms on the one hand and of course-of-values terms on the other. (shrink)

Frege’s method of introducing abstract singular terms by transforming an equivalence statement into an identity statement suffers from one major defect: it is haunted by a pervasive indeterminacy of putative reference. In this paper, I. discuss mainly Frege’s introduction of courses-of-values in his magnum opus Grundgesetze der Arithmetik (Volume I, 1893, Volume 11, 1903). More specifically, I want to assesscritically, with respect to course-of-values names, what I call Frege’s indeterminacy problem. In the first part, I sketch the nature of this (...) problem in connection with the introduction of numerical singular terms in his book Die Grundlagen der Arithmetik of 1884. In the second part, I try to shed light on the analogies and differences concerning the introduction of numerical terms on the one hand and of course-of-values terms on the other. (shrink)

Freges Kontextprinzip "Nur im Zusammenhange eines Satzes bedeuten die Wörter etwas" hat auch nach der von ihm vollzogenen Angleichung von Behauptungssätzen an Eigennamen Gültigkeit für die formale Sprache der "Grundgesetze". Der Bedeutungsvollständigkcitsbeweis, den er für sein Logiksystem anstrebt, schließt eine unmittelbare Anwendung dieses Prinzips nicht nur auf die unvollständigen Funktionsausdrücke, sondern auch auf die leerstellenfreien Wertverlaufsnamen ein. Wahrheitsnamen (Sätze) zeichnen sich vor anderen symbolsprachlichen Eigennamen in mehrfacher Hinsicht, insbesondere durch ihre semantische Selbständigkeit aus. Wertverlaufsnamen haben nur im Zusammenhang eines Wahrheitswertnamens (...) eine Bedeutung. Ihre Bedeutung besteht in ihrem Beitrag zur Bestimmung der Bedeutung von Wahrheitswertnamen, in denen sie vorkommen. (shrink)