Corpus ID: 16909310

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

Figures from this paper

Logical Consequence: From Logical Terms to Semantic Constraints
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 ofExpand
Gödel vis-à-vis Russell: Logic and Set Theory to Philosophy
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 theExpand
Sierpinski's onto mapping and partitions
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 theExpand
Axiomatizing Changing Conceptions of the Geometric Continuum II: Archimedes-Descartes-Hilbert-Tarski†
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 circleExpand
All those EPPA classes (Strengthenings of the Herwig-Lascar theorem)
TLDR
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
TLDR
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
TLDR
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
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 symmetricExpand
Continuous Turing Machine: Real Function Computability and Iteration Issues
TLDR
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
  • L. Carlucci
  • Mathematics, Computer Science
  • Arch. Math. Log.
  • 2018
TLDR
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
...
1
2
3
...

References

SHOWING 1-10 OF 62 REFERENCES
From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931
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, heraldedExpand
Frege's Theorem
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 theExpand
Consistent Fragments of Grundgesetze and the Existence of Non-Logical Objects
TLDR
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
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 minorExpand
On the Consistency of the Δ11-CA Fragment of Frege's Grundgesetze
TLDR
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
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 aExpand
Reading Frege's Grundgesetze
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 MATHEMATICSExpand
A Course of Pure Mathematics
  • M.
  • 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 andExpand
The Foundations of Arithmetic
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 concernedExpand
Frege: Philosophy of Language
* 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 ReferenceExpand
...
1
2
3
4
5
...