# The Bulletin of Symbolic Logic

@inproceedings{Rossberg2015TheBO, title={The Bulletin of Symbolic Logic}, author={M. Rossberg and P. Ebert}, year={2015} }

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 the pinnacle of Gottlob Frege’s life’s work — a rigorous demonstration of how the fundamental laws of classical pure mathematics of the natural and real numbers can be derived from principles which, in Frege’s view,were purely logical.His logical system, calledBegriffsschrift, i.e., “concept-script… Expand

#### 21 Citations

Logical Consequence: From Logical Terms to Semantic Constraints

- 2014

In the paper I propose a new framework for extensional logic, where the explication of the notion of logical consequence is the primary aim. The framework may also be applicable in the study of… Expand

Gödel vis-à-vis Russell: Logic and Set Theory to Philosophy

- Mathematics
- 2016

Godel’s work from the beginning to his first substantive explorations in philosophy would to a significant extent be contextualized by, reactive to, and reflective of, Russell’s. Russell was the… Expand

Sierpinski's onto mapping and partitions

- Mathematics
- 2021

In his 1987 paper, Todorčević remarks that Sierpiński’s onto mapping principle (1932) and the Erdős-Hajnal-Milner negative Ramsey relation (1966) are equivalent to each other, and follow from the… Expand

Axiomatizing Changing Conceptions of the Geometric Continuum II: Archimedes-Descartes-Hilbert-Tarski†

- Mathematics
- 2019

In Part I [Bal14a], we defined the notion of a modest complete descriptive axiomatization and showed that HP5 and EG are such axiomatizations of Euclid’s polygonal geometry and Euclidean circle… Expand

All those EPPA classes (Strengthenings of the Herwig-Lascar theorem)

- Mathematics, Computer Science
- 2019

A general theorem showing the extension property for partial automorphisms (EPPA) for classes of structures containing relations and unary functions, optionally equipped with a permutation group of the language is proved. Expand

Model-theoretic Characterizations of Existential Rule Languages

- Computer Science
- ArXiv
- 2020

This work establishes model-theoretic characterizations for a number of existential rule languages such as (disjunctive) embedded dependencies, tuple-generating dependencies (TGDs), (frontier-)guarded TGDs and linear TGDs, and most of them also work on the class of finite structures. Expand

A sound interpretation of Leśniewski's epsilon in modal logic KTB

- Mathematics, Computer Science
- ArXiv
- 2020

It is shown that the following translation from the propositional fragment of Leśniewski's ontology to modal logic $\bf KTB$ is sound: for any formula $\phi$ and $\psi$ of $\bf L_1$, it is defined as $I^M(\phi \vee \psi)$. Expand

Semigroup-valued metric spaces

- Mathematics
- 2018

The structural Ramsey theory is a field on the boundary of combinatorics and model theory with deep connections to topological dynamics. Most of the known Ramsey classes in finite binary symmetric… Expand

Continuous Turing Machine: Real Function Computability and Iteration Issues

- Computer Science
- 2014

This paper explores the computability of continuous problems by proposing a class of continuous Turing machines (CTMs) that are an extension of TMs that can precisely present continuous computations with the form of processes. Expand

A weak variant of Hindman’s Theorem stronger than Hilbert’s Theorem

- Mathematics, Computer Science
- Arch. Math. Log.
- 2018

The Adjacent Hindman’s Theorem with apartness is introduced and it is proved to be provable from Ramsey's Theorem for pairs and strictly stronger than Hirst's Hilbert’S Theorem. Expand

#### References

SHOWING 1-10 OF 62 REFERENCES

From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931

- Mathematics
- 1967

The fundamental texts of the great classical period in modern logic, some of them never before available in English translation, are here gathered together for the first time. Modern logic, heralded… Expand

Frege's Theorem

- Mathematics
- 2012

Frege’s original logicist programme envisaged the derivation of arithmetical truths from a theory that could be characterized, in some sense, as ‘logic plus definitions’, thereby establishing the… Expand

Consistent Fragments of Grundgesetze and the Existence of Non-Logical Objects

- Mathematics, Computer Science
- Synthese
- 2004

It is shown that both Heck and TΔ prove the existence of infinitely many non-logical objects (TΔ deriving, moreover, the nonexistence of the value-range concept), and some implications concerning the interpretation of Frege's proof of referentiality and the possibility of classifying any of these subsystems as logicist are discussed. Expand

The Consistency of predicative fragments of frege’s grundgesetze der arithmetik

- Mathematics
- 1996

As is well-known, the formal system in which Frege works in his Grundgesetze der Arithmetik is formally inconsistent, Russell’s Paradox being derivable in it.This system is, except for minor… Expand

On the Consistency of the Δ11-CA Fragment of Frege's Grundgesetze

- Mathematics, Computer Science
- J. Philos. Log.
- 2002

This paper shows that the more encompassing Δ11-comprehension schema would already be inconsistent, and proves the consistency of the fragment of Frege's theory obtained by restricting the comprehension schema to predicative formulae. Expand

Cantor on Frege's Foundations of Arithmetic: Cantor's 1885 Review of Frege's Die Grundlagen der Arithmetik

- Philosophy
- 2009

In 1885, Georg Cantor published his review of Gottlob Frege's Grundlagen der Arithmetik. In this essay, we provide its first English translation together with an introductory note. We also provide a… Expand

Reading Frege's Grundgesetze

- Mathematics
- 2013

Preface Editorial Notes 1. Introduction I: THE LOGIC BEHIND FREGE'S LOGICISM 2. Frege and Semantics 3. Grundgesetze I 29-32 (I) 4. Grundgesetze I 10 5. Grundgesetze I 29-32 (II) II: THE MATHEMATICS… Expand

A Course of Pure Mathematics

- Nature
- 1909

THE title of this book is rather a misnomer. As a matter of fact, the most interesting part of it is in the, last two chapters, which contain an excellent discussion of the logarithmic and… Expand

The Foundations of Arithmetic

- Philosophy
- 1965

The logicism of Frege, which undoubtedly was inspired to a great extent by the platonism of his master, H. Lotze, is not so much a new system of speculative philosophy as a specific theory concerned… Expand

Frege: Philosophy of Language

- Mathematics
- 1973

* Preface to the First Edition * Preface to the Second Edition * Textual References * Introduction * Sense and Tone * Quantifiers * The Hierarchy of Levels * Proper Names * Sense and Reference… Expand