• Publications
  • Influence
The Bulletin of Symbolic Logic
We discuss the typography of the notation used by Gottlob Frege in his Grundgesetze der Arithmetik. §1. Background to the Grundgesetze der Arithmetik. Grundgesetze der Arithmetik was to have been theExpand
Gottlob Frege: Basic Laws of Arithmetic
That's it, a book to wait for in this month. Even you have wanted for long time for releasing this book gottlob frege basic laws of arithmetic; you may not be able to get in some stress. Should youExpand
First-Order Logic , Second-Order Logic , and Completeness
Both firstand second-order logic (FOL and SOL, respectively) as we use them today were arguably created by Frege in his Begriffsschrift – if we ignore the notational differences. SOL also suggestsExpand
Basic laws of arithmetic : derived using concept-script : Volumes I & II
Introduction by Crispin Wright Translators' Introduction Frege: Basic Laws of Arithmetic, volumes I and II. Expand
Second-order logic : ontological and epistemological problems
In this thesis I provide a survey over different approaches to second-order logic and its interpretation, and introduce a novel approach. Of special interest are the questions whether (a particularExpand
Too Good to be “Just True”
Paraconsistent and dialetheist approaches to a theory of truth are faced with a problem: the expressive resources of the logic do not suffice to express that a sentence is just true—i.e., true andExpand
Translating ‘ Bedeutung ’ in Frege ’ s Writings : A Case Study and Cautionary Tale in the History and Philosophy of Translation
In this essay I chart the history of the different English translations of ‘Bedeutung’ in Frege’s writings, setting them in context, explaining their rationale, and exploring some of theExpand
STANFORD UNIVERSITY STANFORD , CALIFORNIA 94305 – 4115 Center for the Study of Language and Information
When I first developed the theory of abstract objects and modeled mathematical objects in the theory, I assumed abstract objects exist independently of us in some special domain and that we getExpand
Logical Consequence for Nominalists
Ithasrepeatedlybeenarguedthatnominalisticprogrammesinthephilosophyofmathematicsfail,sincethey will at some point or other involve the notion of logical consequence which is unavailable to theExpand
Somehow Things Do Not Relate: On the Interpretation of Polyadic Second-Order Logic
  • M. Rossberg
  • Mathematics, Computer Science
  • J. Philos. Log.
  • 1 June 2015
Boolos has suggested a plural interpretation of second-order logic for two purposes: (i) to escape Quine’s allegation that second- order logic is set theory in disguise, and (ii) to avoid the paradoxes arising if the second-ordering variables are given a set-theoretic interpretation in second order set theory. The present paper argues that Rayo and Yablo's interpretation does not achieve the goal. Expand