FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2480076450> ?p ?o ?g. }

• W2480076450 endingPage "3" @default.
• W2480076450 startingPage "1" @default.
• W2480076450 abstract "AbstractThe idea of an internal logic of arithmetic or arithmetical logic is inspired by a variety of motives in the foundations of mathematics. The development of mathematical logic in the twentieth century, from Hilbert to the contemporary scene, could be interpreted as a continuous tread leading to arithmetical logic. Arithmetization of analysis with Cauchy, Weierstrass and Dedekind and arithmetization of algebra with Kronecker have lead to the foundational inquiries initiated by Hilbert. Frege’s logical foundations of mathematics, mainly arithmetic, have contributed to clarify philosophical motives and although Frege’s logicism has not achieved its goals, it has given birth to Russell’s theory of types and to some extent to Zermelo’s set-theoretic cumulative hierarchy while launching philosophical logic and philosophy of language. But the “arithmetism” I have in mind here is mostly anti-Fregean in that in turns logicism upside down and asks the question: “how far can we go into logic with arithmetic alone” rather than the Fregean question: “how far can we go into arithmetic with deductive logic alone?” It is Kronecker’s polynomial arithmetic that guides here and the purpose of this book is to see how far a Kroneckian constructivist program can go in the arithmetization (and algebraization) of logic in the twenty-first century. The present work has been conceived has a sequel to my 2002 book Internal Logic, Foundations of Mathematics from Kronecker to Hilbert (Kluwer) and as a continuation of my efforts towards an arithmetical logic.KeywordsInternal LogicQuantifier EliminationFoundational InquiryPhilosophical MotiveContemporary SceneThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
• W2480076450 created "2016-08-23" @default.
• W2480076450 creator A5064943761 @default.
• W2480076450 date "2015-01-01" @default.
• W2480076450 modified "2023-10-03" @default.
• W2480076450 title "Introduction: The Internal Logic of Arithmetic" @default.
• W2480076450 cites W1026721552 @default.
• W2480076450 cites W106426208 @default.
• W2480076450 cites W138034406 @default.
• W2480076450 cites W1491173026 @default.
• W2480076450 cites W1495612370 @default.
• W2480076450 cites W1499584860 @default.
• W2480076450 cites W150903605 @default.
• W2480076450 cites W1521387900 @default.
• W2480076450 cites W1523754616 @default.
• W2480076450 cites W1525064220 @default.
• W2480076450 cites W1534102678 @default.
• W2480076450 cites W1540066904 @default.
• W2480076450 cites W1542530205 @default.
• W2480076450 cites W1571003765 @default.
• W2480076450 cites W1572451808 @default.
• W2480076450 cites W1605256314 @default.
• W2480076450 cites W1788847681 @default.
• W2480076450 cites W1858949461 @default.
• W2480076450 cites W1964664192 @default.
• W2480076450 cites W1965682166 @default.
• W2480076450 cites W1965924984 @default.
• W2480076450 cites W1971031870 @default.
• W2480076450 cites W1979695012 @default.
• W2480076450 cites W1981937420 @default.
• W2480076450 cites W1990768363 @default.
• W2480076450 cites W1991697528 @default.
• W2480076450 cites W1995296829 @default.
• W2480076450 cites W1997334114 @default.
• W2480076450 cites W1999542330 @default.
• W2480076450 cites W2011824167 @default.
• W2480076450 cites W2013380563 @default.
• W2480076450 cites W2015585803 @default.
• W2480076450 cites W2026796483 @default.
• W2480076450 cites W2028503775 @default.
• W2480076450 cites W2035851396 @default.
• W2480076450 cites W2040404640 @default.
• W2480076450 cites W2049471987 @default.
• W2480076450 cites W2049730945 @default.
• W2480076450 cites W2050756510 @default.
• W2480076450 cites W2057897097 @default.
• W2480076450 cites W2060878518 @default.
• W2480076450 cites W2064003955 @default.
• W2480076450 cites W2071795945 @default.
• W2480076450 cites W2074584321 @default.
• W2480076450 cites W2075380453 @default.
• W2480076450 cites W2107914128 @default.
• W2480076450 cites W2115727295 @default.
• W2480076450 cites W2126746347 @default.
• W2480076450 cites W2133801498 @default.
• W2480076450 cites W2134009244 @default.
• W2480076450 cites W2159341052 @default.
• W2480076450 cites W2162543506 @default.
• W2480076450 cites W2166845461 @default.
• W2480076450 cites W2322555277 @default.
• W2480076450 cites W2477131405 @default.
• W2480076450 cites W2481386376 @default.
• W2480076450 cites W2494316805 @default.
• W2480076450 cites W2564836637 @default.
• W2480076450 cites W2623285713 @default.
• W2480076450 cites W3171662470 @default.
• W2480076450 cites W4205875712 @default.
• W2480076450 cites W4206196977 @default.
• W2480076450 cites W4231695287 @default.
• W2480076450 cites W4234802835 @default.
• W2480076450 cites W4234956720 @default.
• W2480076450 cites W4235442031 @default.
• W2480076450 cites W4237304917 @default.
• W2480076450 cites W4237733582 @default.
• W2480076450 cites W4239576979 @default.
• W2480076450 cites W4243483475 @default.
• W2480076450 cites W4244108006 @default.
• W2480076450 cites W4249803765 @default.
• W2480076450 cites W4251667945 @default.
• W2480076450 cites W4255132490 @default.
• W2480076450 cites W4256369010 @default.
• W2480076450 cites W4298290503 @default.
• W2480076450 cites W4300859058 @default.
• W2480076450 doi "https://doi.org/10.1007/978-3-319-22087-1_1" @default.
• W2480076450 hasPublicationYear "2015" @default.
• W2480076450 type Work @default.
• W2480076450 sameAs 2480076450 @default.
• W2480076450 citedByCount "0" @default.
• W2480076450 crossrefType "book-chapter" @default.
• W2480076450 hasAuthorship W2480076450A5064943761 @default.
• W2480076450 hasConcept C101874905 @default.
• W2480076450 hasConcept C102993220 @default.
• W2480076450 hasConcept C112343008 @default.
• W2480076450 hasConcept C118615104 @default.
• W2480076450 hasConcept C124047733 @default.
• W2480076450 hasConcept C136119220 @default.
• W2480076450 hasConcept C145420912 @default.
• W2480076450 hasConcept C183140480 @default.

• next