Second-Order Logic and Foundations of Mathematics

@article{Vnnen2001SecondOrderLA,
  title={Second-Order Logic and Foundations of Mathematics},
  author={Jouko A. V{\"a}{\"a}n{\"a}nen},
  journal={Bulletin of Symbolic Logic},
  year={2001},
  volume={7},
  pages={504 - 520}
}
  • J. Väänänen
  • Published 2001
  • Computer Science, Mathematics
  • Bulletin of Symbolic Logic
Abstract We discuss the differences between first-order set theory and second-order logic as a foundation for mathematics. We analyse these languages in terms of two levels of formalization. The analysis shows that if second-order logic is understood in its full semantics capable of characterizing categorically central mathematical concepts, it relies entirely on informal reasoning. On the other hand, if it is given a weak semantics, it loses its power in expressing concepts categorically… Expand
Second‐Order Logic and Set Theory
TLDR
This paper argues that it should be thought of first-order set theory as a very high-order logic, and compares the two approaches to second- order logic, evaluating their merits and weaknesses. Expand
Second Order Logic, Set Theory and Foundations of Mathematics
  • J. Väänänen
  • Mathematics, Computer Science
  • Epistemology versus Ontology
  • 2012
TLDR
The question, whether second order Logic is a better foundation for mathematics than set theory, is addressed and it is argued that the often stated difference, that second order logic has categorical characterizations of relevant mathematical structures, while set theory has non-standard models, amounts to no difference. Expand
Higher-order Logic Reconsidered
  • I. Jané
  • Mathematics, Computer Science
  • The Oxford Handbook of Philosophy of Mathematics and Logic
  • 2007
TLDR
This paper two arguments are given against the suitability of using second-order consequence as the consequence relation of axiomatic theories, and it is argued that, unless it is viewed as an applied branch of set theory, its justified use requires embracing some strong form of philosophical realism. Expand
On Second Order Logic
I defend here the view that (full) second order logic, if considered as a foundation of mathematics, is best understood as a fragment of set theory. This view is very common among set theorists, andExpand
Categoricity and Consistency in Second-Order Logic
TLDR
It is argued that categorical characterisation of mathematical structures in second-order logic is meaningful and possible without assuming that the semantics of second- order logic is defined in set theory. Expand
Strong logics of first and second order
  • P. Koellner
  • Computer Science, Mathematics
  • Bull. Symb. Log.
  • 2010
TLDR
This paper investigates the hierarchies of strong logics of first and second order that are generically invariant and faithful against the backdrop of the strongest large cardinal hypotheses and characterize the strongest logic in each hierarchy. Expand
Axiomatizations of arithmetic and the first-order/second-order divide
  • C. Novaes
  • Computer Science, Mathematics
  • Synthese
  • 2014
TLDR
It is argued that the first-order versus second-order divide may be too crude to investigate what an adequate axiomatization of arithmetic should look like, and that, insofar as there are different, equally legitimate projects one may engage in when working on the foundations of mathematics, there is no such thing as the One True Logic. 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
Second Order Logic or Set Theory?
  • J. Väänänen
  • Mathematics, Computer Science
  • The Bulletin of Symbolic Logic
  • 2012
TLDR
The existence of non-standard models and categoricity can coherently coexist when put into their proper context and the problem of existence in mathematics is considered from both points of view and it is found that second order logic depends on large domain assumptions, which come quite close to the meaning of the axioms of set theory. Expand
On the formal semantics of IF-like logics
TLDR
This paper argues that the meaning of a formula is invariant with respect to the renaming of bound variables in Independence Friendly logics but a defect in the way in which the compositional semantics given by Hodges for the regular fragment was generalized to arbitrary formulas is fixed. Expand
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 25 REFERENCES
Foundations without Foundationalism: A Case for Second-Order Logic
PART I: ORIENTATION Terms and questions Foundationalism and foundations of mathematics PART II: LOGIC AND MATHEMATICS Theory Metatheory Second-order logic and mathematics Advanced metatheory PARTExpand
Set Theory and Higher-Order Logic
Publisher Summary This chapter explains set theory and higher-order logic. Several mutual applications of set theory and higher-order logic are developed. Second-order logic is used to discover theExpand
Completeness in the Theory of Types
  • L. Henkin
  • Mathematics, Computer Science
  • J. Symb. Log.
  • 1950
TLDR
This proof demonstrates that each formula of the calculus is a formal theorem which becomes a true sentence under every one of a certain intended class of interpretations of the formal system. Expand
The principles of mathematics revisited
1. The functions of logic and the problem of truth definition 2. The game of logic 3. Frege's fallacy foiled: Independence-friendly logic 4. The joys of independence: Some uses of IF logic 5. TheExpand
Concerning The Problem of Axiomatizability of the Field of Real Numbers in the Weak Second Order Logic
Publisher Summary Classical results concerning the categoricity of Euclidean geometry can be viewed upon as proofs of finite axiomatizability of the theory of the Euclidean plane in the strongExpand
Informal Rigour and Completeness Proofs
Publisher Summary This chapter demonstrates the informal rigor and completeness proofs in mathematical philosophy. Informal rigor makes the analysis precise to eliminate the doubtful properties ofExpand
Subsystems of second order arithmetic
  • S. G. Simpson
  • Mathematics, Computer Science
  • Perspectives in mathematical logic
  • 1999
TLDR
The results show clear trends in the development of mathematics within Subsystems of Z2 and in particular in the areas of arithmetical comprehension and models of Sub system design. Expand
A Decision Method For Elementary Algebra And Geometry
By a decision method for a class K of sentence (or other expressions) is meant a method by means of which, given any sentence θ, one can always decide in a finite number of steps whether θ is in K;Expand
The spectrum problem II: Totally transcendental and infinite depth
We examine the main gap for the class of models of totally transcendental first-order theories, and compute the number of ℵɛ-saturated models of power ℵɛ of a superstableT without the dop which isExpand
...
1
2
3
...