FRINK Linked Data Fragments server

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

• W2894725596 endingPage "143" @default.
• W2894725596 startingPage "97" @default.
• W2894725596 abstract "Abstract Recent discussions on Fregean and neo-Fregean foundations for arithmetic and real analysis pay much attention to what is called either ‘Application Constraint’ ( $AC$ ) or ‘Frege Constraint’ ( $FC$ ), the requirement that a mathematical theory be so outlined that it immediately allows explaining for its applicability. We distinguish between two constraints, which we, respectively, denote by the latter of these two names, by showing how $AC$ generalizes Frege’s views while $FC$ comes closer to his original conceptions. Different authors diverge on the interpretation of $FC$ and on whether it applies to definitions of both natural and real numbers. Our aim is to trace the origins of $FC$ and to explore how different understandings of it can be faithful to Frege’s views about such definitions and to his foundational program. After rehearsing the essential elements of the relevant debate (§1), we appropriately distinguish $AC$ from $FC$ (§2). We discuss six rationales which may motivate the adoption of different instances of $AC$ and $FC$ (§3). We turn to the possible interpretations of $FC$ (§4), and advance a Semantic $FC$ (§4.1), arguing that while it suits Frege’s definition of natural numbers (4.1.1), it cannot reasonably be imposed on definitions of real numbers (§4.1.2), for reasons only partly similar to those offered by Crispin Wright (§4.1.3). We then rehearse a recent exchange between Bob Hale and Vadim Batitzky to shed light on Frege’s conception of real numbers and magnitudes (§4.2). We argue that an Architectonic version of $FC$ is indeed faithful to Frege’s definition of real numbers, and compatible with his views on natural ones. Finally, we consider how attributing different instances of $FC$ to Frege and appreciating the role of the Architectonic $FC$ can provide a more perspicuous understanding of his foundational program, by questioning common pictures of his logicism (§5)." @default.
• W2894725596 created "2018-10-12" @default.
• W2894725596 creator A5047345460 @default.
• W2894725596 creator A5062627891 @default.
• W2894725596 date "2018-12-05" @default.
• W2894725596 modified "2023-09-30" @default.
• W2894725596 title "FREGE’S CONSTRAINT AND THE NATURE OF FREGE’S FOUNDATIONAL PROGRAM" @default.
• W2894725596 cites W107237338 @default.
• W2894725596 cites W1967091664 @default.
• W2894725596 cites W1967748389 @default.
• W2894725596 cites W1990444655 @default.
• W2894725596 cites W2031770613 @default.
• W2894725596 cites W2061039820 @default.
• W2894725596 cites W2087276710 @default.
• W2894725596 cites W2096703335 @default.
• W2894725596 cites W2114102375 @default.
• W2894725596 cites W2142518269 @default.
• W2894725596 cites W2149704892 @default.
• W2894725596 cites W2217764982 @default.
• W2894725596 cites W2315303232 @default.
• W2894725596 cites W2331958370 @default.
• W2894725596 cites W236911234 @default.
• W2894725596 cites W2416921021 @default.
• W2894725596 cites W2506379004 @default.
• W2894725596 cites W2575332310 @default.
• W2894725596 cites W2576378783 @default.
• W2894725596 cites W2787432445 @default.
• W2894725596 cites W2796438750 @default.
• W2894725596 cites W4239170136 @default.
• W2894725596 cites W4242955260 @default.
• W2894725596 cites W4243686683 @default.
• W2894725596 cites W4249525571 @default.
• W2894725596 cites W4250918100 @default.
• W2894725596 cites W2074870042 @default.
• W2894725596 doi "https://doi.org/10.1017/s1755020318000278" @default.
• W2894725596 hasPublicationYear "2018" @default.
• W2894725596 type Work @default.
• W2894725596 sameAs 2894725596 @default.
• W2894725596 citedByCount "5" @default.
• W2894725596 countsByYear W28947255962019 @default.
• W2894725596 countsByYear W28947255962021 @default.
• W2894725596 countsByYear W28947255962022 @default.
• W2894725596 crossrefType "journal-article" @default.
• W2894725596 hasAuthorship W2894725596A5047345460 @default.
• W2894725596 hasAuthorship W2894725596A5062627891 @default.
• W2894725596 hasBestOaLocation W28947255962 @default.
• W2894725596 hasConcept C111472728 @default.
• W2894725596 hasConcept C118615104 @default.
• W2894725596 hasConcept C121375916 @default.
• W2894725596 hasConcept C138885662 @default.
• W2894725596 hasConcept C144237770 @default.
• W2894725596 hasConcept C166957645 @default.
• W2894725596 hasConcept C177148314 @default.
• W2894725596 hasConcept C184264201 @default.
• W2894725596 hasConcept C199360897 @default.
• W2894725596 hasConcept C2524010 @default.
• W2894725596 hasConcept C2776036281 @default.
• W2894725596 hasConcept C2776608160 @default.
• W2894725596 hasConcept C2777667586 @default.
• W2894725596 hasConcept C33923547 @default.
• W2894725596 hasConcept C41008148 @default.
• W2894725596 hasConcept C41895202 @default.
• W2894725596 hasConcept C527412718 @default.
• W2894725596 hasConcept C75291252 @default.
• W2894725596 hasConcept C95457728 @default.
• W2894725596 hasConceptScore W2894725596C111472728 @default.
• W2894725596 hasConceptScore W2894725596C118615104 @default.
• W2894725596 hasConceptScore W2894725596C121375916 @default.
• W2894725596 hasConceptScore W2894725596C138885662 @default.
• W2894725596 hasConceptScore W2894725596C144237770 @default.
• W2894725596 hasConceptScore W2894725596C166957645 @default.
• W2894725596 hasConceptScore W2894725596C177148314 @default.
• W2894725596 hasConceptScore W2894725596C184264201 @default.
• W2894725596 hasConceptScore W2894725596C199360897 @default.
• W2894725596 hasConceptScore W2894725596C2524010 @default.
• W2894725596 hasConceptScore W2894725596C2776036281 @default.
• W2894725596 hasConceptScore W2894725596C2776608160 @default.
• W2894725596 hasConceptScore W2894725596C2777667586 @default.
• W2894725596 hasConceptScore W2894725596C33923547 @default.
• W2894725596 hasConceptScore W2894725596C41008148 @default.
• W2894725596 hasConceptScore W2894725596C41895202 @default.
• W2894725596 hasConceptScore W2894725596C527412718 @default.
• W2894725596 hasConceptScore W2894725596C75291252 @default.
• W2894725596 hasConceptScore W2894725596C95457728 @default.
• W2894725596 hasIssue "1" @default.
• W2894725596 hasLocation W28947255961 @default.
• W2894725596 hasLocation W28947255962 @default.
• W2894725596 hasLocation W28947255963 @default.
• W2894725596 hasLocation W28947255964 @default.
• W2894725596 hasLocation W28947255965 @default.
• W2894725596 hasLocation W28947255966 @default.
• W2894725596 hasOpenAccess W2894725596 @default.
• W2894725596 hasPrimaryLocation W28947255961 @default.
• W2894725596 hasRelatedWork W1555873941 @default.
• W2894725596 hasRelatedWork W1971753667 @default.
• W2894725596 hasRelatedWork W2068931236 @default.
• W2894725596 hasRelatedWork W2136711844 @default.
• W2894725596 hasRelatedWork W2383986235 @default.

• next