논문KCI 등재
On Induction Principles in Frege’s Grundgesetze and in Systems Thereafter
0
조회
0
다운로드
0
인용
0
참고문헌
키워드
주제분류철학
초록
We compare the approaches to natural numbers and the induction principles in Frege’s Grundgesetze and in systems thereafter. We start with an illustration of Frege’s approach and then explain the use of induction principles in Zermelo-Fraenkel set theory and in modern type theories such as Calculus of Inductive Constructions. A comparison among the different approaches to induction principles is also given by analyzing them in respect of predicativity and impredicativity.
Abstract
We compare the approaches to natural numbers and the induction principles in Frege’s Grundgesetze and in systems thereafter. We start with an illustration of Frege’s approach and then explain the use of induction principles in Zermelo-Fraenkel set theory and in modern type theories such as Calculus of Inductive Constructions. A comparison among the different approaches to induction principles is also given by analyzing them in respect of predicativity and impredicativity.
참고문헌 (37)
- 박준용, "프레게 제한― 수의 정의와 적용 가능성", 논리연구, 10(2), pp.47~107 (2007), 한국논리학회
- 이종권, "프레게 산수 체계에서의 페아노 공리의 연역", 논리연구, 3, pp.53~93 (2000)
- Aczel, P., "Handbook of Mathematical Logic", pp.739~201 (1977), North-Holland
- Barwise, J., "Handbook of Mathematical Logic" (1977), North-Holland
- Boolos, G., "On being and saying: Essays for Richard Cartwright", pp.3~20 (1987), MIT Press
- Boolos, G., "Logic, Logic, and Logic" (1998), Harvard University Press
- Church, A., "A formulation of the simple theory of types", Journal of Symbolic Logic, 5(2), pp.56~68 (1940)
- Coquand, T., "Une Théorie des Constructions", PhD, pp.1985
- Coquand, T., "Inductively defined types", Lecture Notes in Computer Science, 417, pp.50~56 (1989)
- Dummett, M., "Frege : Philosophy of Mathematics" (1991), Duckworth
- Ebert, P., "Gottlog Frege: Basic Laws of Arithmetic" (2013), Oxford University Press
- Feferman, S., "The Oxford Handbook of Philosophy of Mathematics and Logic", pp.590~624 (2005), Oxford University Press
- Ferreira, F., "Amending Frege’s Grundgesetze der Arithmetik", Synthese, 147(1), pp.3~19 (2005)
- Frege, G., "Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens" (1879), Verlag von Nebert
- Frege, G., "Nachgelassene Schriften" (1969), Felix Meiner
- Girard, J. -Y., "Interpretation fonctionelle et eleimination des coupures dans l'arithmetique d'ordre superieure", PhD, pp.1972
- Girard, J. -Y., "Proofs and Types" (1989), Cambridge University Press
- Gödel, K., "Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes", Dialectica, 12, pp.280~287 (1958)
- Heck, R., "Frege: Tradition and Influence", pp.200~233 (1995), de Gruyter
- Heck, R., "The consistency of predicative fragments of Frege's Grundgesetze der Arithmetik", History and Philosophy of Logic, 17, pp.209~220 (1996)
- Hindley, R., "Basic Simple Type Theory" (1997), Cambridge University Press
- Korte, T., "Frege’s Begriffsschrift as a lingua characteristica", Synthese, 174(2), pp.283~294 (2010)
- Lee, G., "Proof-irrelevant model of CC with predicative induction and judgmental equality", Logical Methods in Computer Science, 7(4:05), pp.1~25 (2011)
- Martin-Löf, P., "An intuitionistic theory of types:Predicative Part", Proceedings of Logic Colloquium 73', pp.73~118 (1975), North-Holland
- Martin-Löf, P., "Intuitionistic Type Theory" (1980), Bibliopolis
- Paulin-Mohring, C., "Le système Coq", doctor, pp.1997
- Pfenning, F., "Inductively defined types in the calculus of constructions", Lecture Notes in Computer Science, 442, pp.208~228 (1990)
- Reynolds, J., "Towards a theory of type structure", Lecture Notes in Computer Science, 19, pp.408~425 (1974)
- Russell, B., "Mathematical logic as based on the theory of types", American Journal of Mathematics, 30(3), pp.222~262 (1908)
- Schirn, M., "Frege: Tradition and Influence" (1995), de Gruyter
- Tait, W. W., "Intensional interpretations of functionals of finte type I", Journal of Symbolic Logic, 32(2), pp.198~212 (1967)
- Thomson, J. J., "On being and saying: Essays for Richard Cartwright" (1987), MIT Press
- Weber, H., "Leopold Kronecker", Jahresbericht der Deutschen Mathematiker-Verninigung, 2, pp.5~23 (1892)
- Wehmeier, K. F., "Consistent fragments of grundgesetze and the existence of non-logical objects", Synthese, 121, pp.309~328 (1999)
- Werner, B., "Sets in Types, Types in Sets", Lecture Notes in Computer Science, 1281, pp.530~546 (1997)
- Whitehead, A., "Principia Mathematica (3 volumes)" (1910), Cambridge University Press
- Zermelo, E., "Untersuchungen über die Grundlagen der Mengenlehre I", Mathematische Annalen, 65(2), pp.261~281 (1908)
관련 논문AI추천
Frege’s influence on the modern practice of doing mathematics이계식한국논리학회 · 논리연구2017 · 제20권 제1호Liar-Type Paradoxes and Intuitionistic Natural Deduction Systems최승락한국논리학회 · 논리연구2018 · 제21권 제1호R, Fuzzy R, and Set-Theoretic Kripke-Style Semantics양은석한국논리학회 · 논리연구2019 · 제22권 제2호A reconstruction of the Gödel’s proof of the consistency of GCH and AC with the axioms of Zermelo-Fraenkel set theory최창순한국수학사학회 · 한국수학사학회지2011 · 제24권 제3호Which Paradox is Genuine in Accordance with the Proof-Theoretic Criterion for Paradoxicality?최승락한국논리학회 · 논리연구2023 · 제26권 제3호The Identity of Proofs and the Criterion for Admissible Reductions최승락한국논리학회 · 논리연구2021 · 제24권 제3호