Set-theoretical foundations of Mathematics with only bounded quantifiersIs there formal definition of universal quantification?The egg and the chickenWhat's a magical theorem in logic?Set-theoretical multiverse and foundationsFragments of Morse—Kelley set theoryVopenka's Principle for non-first-order logicsAre there fragments of set theory which are axiomatized with only bounded (restricted) quantifiers used in axioms?About the limitation by sizeHow much should the average mathematician know about foundations?Why aren't functions used predominantly as a model for mathematics instead of set theory etc.?

Set-theoretical foundations of Mathematics with only bounded quantifiers


Is there formal definition of universal quantification?The egg and the chickenWhat's a magical theorem in logic?Set-theoretical multiverse and foundationsFragments of Morse—Kelley set theoryVopenka's Principle for non-first-order logicsAre there fragments of set theory which are axiomatized with only bounded (restricted) quantifiers used in axioms?About the limitation by sizeHow much should the average mathematician know about foundations?Why aren't functions used predominantly as a model for mathematics instead of set theory etc.?













5












$begingroup$


It seems that outside of researchers in Mathematical Logic, mathematicians use almost exclusively bounded quantifiers instead of unbounded quantifiers. In fact, I haven't observed any other practice from the very first day on when I was a student.



For example, a logician would write



$forall a : ( a in mathbb R ) rightarrow ( a^2 geq 0 )$



whereas most working analysists and algebraists write



$forall a in mathbb R : a^2 geq 0$



On the other hand, most mathematicians I know accept the idea that all of mathematics can be built up from set-theoretical foundations alone (starting the natural numbers).



So there seems to be a set of assumptions, almost universally agreed upon, which most working mathematicians assume implicitly for their practice. These assumptions start with set theory but apparently exclude unbounded quantifiers. In fact, unless you attend a class in formal logic you might never encounter unbounded quantifiers.



It seems that most mathematicians use a subset of human language enhanced with a subset of mathematical language (avoiding universal quantifiers) as their working language.



Question: Have there been attempts at precisely identifying this mathematical sublanguage and the rules that it governs?










share|cite|improve this question









$endgroup$
















    5












    $begingroup$


    It seems that outside of researchers in Mathematical Logic, mathematicians use almost exclusively bounded quantifiers instead of unbounded quantifiers. In fact, I haven't observed any other practice from the very first day on when I was a student.



    For example, a logician would write



    $forall a : ( a in mathbb R ) rightarrow ( a^2 geq 0 )$



    whereas most working analysists and algebraists write



    $forall a in mathbb R : a^2 geq 0$



    On the other hand, most mathematicians I know accept the idea that all of mathematics can be built up from set-theoretical foundations alone (starting the natural numbers).



    So there seems to be a set of assumptions, almost universally agreed upon, which most working mathematicians assume implicitly for their practice. These assumptions start with set theory but apparently exclude unbounded quantifiers. In fact, unless you attend a class in formal logic you might never encounter unbounded quantifiers.



    It seems that most mathematicians use a subset of human language enhanced with a subset of mathematical language (avoiding universal quantifiers) as their working language.



    Question: Have there been attempts at precisely identifying this mathematical sublanguage and the rules that it governs?










    share|cite|improve this question









    $endgroup$














      5












      5








      5





      $begingroup$


      It seems that outside of researchers in Mathematical Logic, mathematicians use almost exclusively bounded quantifiers instead of unbounded quantifiers. In fact, I haven't observed any other practice from the very first day on when I was a student.



      For example, a logician would write



      $forall a : ( a in mathbb R ) rightarrow ( a^2 geq 0 )$



      whereas most working analysists and algebraists write



      $forall a in mathbb R : a^2 geq 0$



      On the other hand, most mathematicians I know accept the idea that all of mathematics can be built up from set-theoretical foundations alone (starting the natural numbers).



      So there seems to be a set of assumptions, almost universally agreed upon, which most working mathematicians assume implicitly for their practice. These assumptions start with set theory but apparently exclude unbounded quantifiers. In fact, unless you attend a class in formal logic you might never encounter unbounded quantifiers.



      It seems that most mathematicians use a subset of human language enhanced with a subset of mathematical language (avoiding universal quantifiers) as their working language.



      Question: Have there been attempts at precisely identifying this mathematical sublanguage and the rules that it governs?










      share|cite|improve this question









      $endgroup$




      It seems that outside of researchers in Mathematical Logic, mathematicians use almost exclusively bounded quantifiers instead of unbounded quantifiers. In fact, I haven't observed any other practice from the very first day on when I was a student.



      For example, a logician would write



      $forall a : ( a in mathbb R ) rightarrow ( a^2 geq 0 )$



      whereas most working analysists and algebraists write



      $forall a in mathbb R : a^2 geq 0$



      On the other hand, most mathematicians I know accept the idea that all of mathematics can be built up from set-theoretical foundations alone (starting the natural numbers).



      So there seems to be a set of assumptions, almost universally agreed upon, which most working mathematicians assume implicitly for their practice. These assumptions start with set theory but apparently exclude unbounded quantifiers. In fact, unless you attend a class in formal logic you might never encounter unbounded quantifiers.



      It seems that most mathematicians use a subset of human language enhanced with a subset of mathematical language (avoiding universal quantifiers) as their working language.



      Question: Have there been attempts at precisely identifying this mathematical sublanguage and the rules that it governs?







      set-theory lo.logic mathematical-philosophy






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked 10 hours ago









      shuhaloshuhalo

      1,6411530




      1,6411530




















          1 Answer
          1






          active

          oldest

          votes


















          5












          $begingroup$


          The most ambitious (and well-argued) attempt at formulating a set-theoretical foundation of the type you are proposing using bounded quantification has been suggested by non other than Saunders Mac Lane in the last chapter of his book Mathematics, Form and Function.




          Mac Lane dubbed his system ZBQC, which can be described as a weakening of Zermelo set theory in which the scheme of separation is limited to formulae with bounded quantification. Curiously, at the level of consistency strength, ZBQC is the only known (weak) upper bound to the consistency strength of Quine's system NF; moreover, it is known that that the urelement-version, NFU, of NF (in which the axiom of infinity is included) is equiconsistent wit ZBQC.




          On the other hand, Adrian Mathias has critically-and-forcefully responded to Mac Lane's thesis to found mathematics on ZBQC; see here for an article of his addressed to philosophers and general mathematicians, and here for an article addressed to logicians.







          share|cite|improve this answer











          $endgroup$












          • $begingroup$
            I"m not sure what "(weak) upper bound" means, but I'd understand "ZBQC is an upper bound to the consistency strength of NF" to mean that Con(ZBQC) implies Con(NF). Did you mean the converse of that?
            $endgroup$
            – Andreas Blass
            1 hour ago











          Your Answer





          StackExchange.ifUsing("editor", function ()
          return StackExchange.using("mathjaxEditing", function ()
          StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
          StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
          );
          );
          , "mathjax-editing");

          StackExchange.ready(function()
          var channelOptions =
          tags: "".split(" "),
          id: "504"
          ;
          initTagRenderer("".split(" "), "".split(" "), channelOptions);

          StackExchange.using("externalEditor", function()
          // Have to fire editor after snippets, if snippets enabled
          if (StackExchange.settings.snippets.snippetsEnabled)
          StackExchange.using("snippets", function()
          createEditor();
          );

          else
          createEditor();

          );

          function createEditor()
          StackExchange.prepareEditor(
          heartbeatType: 'answer',
          autoActivateHeartbeat: false,
          convertImagesToLinks: true,
          noModals: true,
          showLowRepImageUploadWarning: true,
          reputationToPostImages: 10,
          bindNavPrevention: true,
          postfix: "",
          imageUploader:
          brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
          contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
          allowUrls: true
          ,
          noCode: true, onDemand: true,
          discardSelector: ".discard-answer"
          ,immediatelyShowMarkdownHelp:true
          );



          );













          draft saved

          draft discarded


















          StackExchange.ready(
          function ()
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f327414%2fset-theoretical-foundations-of-mathematics-with-only-bounded-quantifiers%23new-answer', 'question_page');

          );

          Post as a guest















          Required, but never shown

























          1 Answer
          1






          active

          oldest

          votes








          1 Answer
          1






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes









          5












          $begingroup$


          The most ambitious (and well-argued) attempt at formulating a set-theoretical foundation of the type you are proposing using bounded quantification has been suggested by non other than Saunders Mac Lane in the last chapter of his book Mathematics, Form and Function.




          Mac Lane dubbed his system ZBQC, which can be described as a weakening of Zermelo set theory in which the scheme of separation is limited to formulae with bounded quantification. Curiously, at the level of consistency strength, ZBQC is the only known (weak) upper bound to the consistency strength of Quine's system NF; moreover, it is known that that the urelement-version, NFU, of NF (in which the axiom of infinity is included) is equiconsistent wit ZBQC.




          On the other hand, Adrian Mathias has critically-and-forcefully responded to Mac Lane's thesis to found mathematics on ZBQC; see here for an article of his addressed to philosophers and general mathematicians, and here for an article addressed to logicians.







          share|cite|improve this answer











          $endgroup$












          • $begingroup$
            I"m not sure what "(weak) upper bound" means, but I'd understand "ZBQC is an upper bound to the consistency strength of NF" to mean that Con(ZBQC) implies Con(NF). Did you mean the converse of that?
            $endgroup$
            – Andreas Blass
            1 hour ago















          5












          $begingroup$


          The most ambitious (and well-argued) attempt at formulating a set-theoretical foundation of the type you are proposing using bounded quantification has been suggested by non other than Saunders Mac Lane in the last chapter of his book Mathematics, Form and Function.




          Mac Lane dubbed his system ZBQC, which can be described as a weakening of Zermelo set theory in which the scheme of separation is limited to formulae with bounded quantification. Curiously, at the level of consistency strength, ZBQC is the only known (weak) upper bound to the consistency strength of Quine's system NF; moreover, it is known that that the urelement-version, NFU, of NF (in which the axiom of infinity is included) is equiconsistent wit ZBQC.




          On the other hand, Adrian Mathias has critically-and-forcefully responded to Mac Lane's thesis to found mathematics on ZBQC; see here for an article of his addressed to philosophers and general mathematicians, and here for an article addressed to logicians.







          share|cite|improve this answer











          $endgroup$












          • $begingroup$
            I"m not sure what "(weak) upper bound" means, but I'd understand "ZBQC is an upper bound to the consistency strength of NF" to mean that Con(ZBQC) implies Con(NF). Did you mean the converse of that?
            $endgroup$
            – Andreas Blass
            1 hour ago













          5












          5








          5





          $begingroup$


          The most ambitious (and well-argued) attempt at formulating a set-theoretical foundation of the type you are proposing using bounded quantification has been suggested by non other than Saunders Mac Lane in the last chapter of his book Mathematics, Form and Function.




          Mac Lane dubbed his system ZBQC, which can be described as a weakening of Zermelo set theory in which the scheme of separation is limited to formulae with bounded quantification. Curiously, at the level of consistency strength, ZBQC is the only known (weak) upper bound to the consistency strength of Quine's system NF; moreover, it is known that that the urelement-version, NFU, of NF (in which the axiom of infinity is included) is equiconsistent wit ZBQC.




          On the other hand, Adrian Mathias has critically-and-forcefully responded to Mac Lane's thesis to found mathematics on ZBQC; see here for an article of his addressed to philosophers and general mathematicians, and here for an article addressed to logicians.







          share|cite|improve this answer











          $endgroup$




          The most ambitious (and well-argued) attempt at formulating a set-theoretical foundation of the type you are proposing using bounded quantification has been suggested by non other than Saunders Mac Lane in the last chapter of his book Mathematics, Form and Function.




          Mac Lane dubbed his system ZBQC, which can be described as a weakening of Zermelo set theory in which the scheme of separation is limited to formulae with bounded quantification. Curiously, at the level of consistency strength, ZBQC is the only known (weak) upper bound to the consistency strength of Quine's system NF; moreover, it is known that that the urelement-version, NFU, of NF (in which the axiom of infinity is included) is equiconsistent wit ZBQC.




          On the other hand, Adrian Mathias has critically-and-forcefully responded to Mac Lane's thesis to found mathematics on ZBQC; see here for an article of his addressed to philosophers and general mathematicians, and here for an article addressed to logicians.








          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited 5 hours ago

























          answered 5 hours ago









          Ali EnayatAli Enayat

          10.6k13467




          10.6k13467











          • $begingroup$
            I"m not sure what "(weak) upper bound" means, but I'd understand "ZBQC is an upper bound to the consistency strength of NF" to mean that Con(ZBQC) implies Con(NF). Did you mean the converse of that?
            $endgroup$
            – Andreas Blass
            1 hour ago
















          • $begingroup$
            I"m not sure what "(weak) upper bound" means, but I'd understand "ZBQC is an upper bound to the consistency strength of NF" to mean that Con(ZBQC) implies Con(NF). Did you mean the converse of that?
            $endgroup$
            – Andreas Blass
            1 hour ago















          $begingroup$
          I"m not sure what "(weak) upper bound" means, but I'd understand "ZBQC is an upper bound to the consistency strength of NF" to mean that Con(ZBQC) implies Con(NF). Did you mean the converse of that?
          $endgroup$
          – Andreas Blass
          1 hour ago




          $begingroup$
          I"m not sure what "(weak) upper bound" means, but I'd understand "ZBQC is an upper bound to the consistency strength of NF" to mean that Con(ZBQC) implies Con(NF). Did you mean the converse of that?
          $endgroup$
          – Andreas Blass
          1 hour ago

















          draft saved

          draft discarded
















































          Thanks for contributing an answer to MathOverflow!


          • Please be sure to answer the question. Provide details and share your research!

          But avoid


          • Asking for help, clarification, or responding to other answers.

          • Making statements based on opinion; back them up with references or personal experience.

          Use MathJax to format equations. MathJax reference.


          To learn more, see our tips on writing great answers.




          draft saved


          draft discarded














          StackExchange.ready(
          function ()
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f327414%2fset-theoretical-foundations-of-mathematics-with-only-bounded-quantifiers%23new-answer', 'question_page');

          );

          Post as a guest















          Required, but never shown





















































          Required, but never shown














          Required, but never shown












          Required, but never shown







          Required, but never shown

































          Required, but never shown














          Required, but never shown












          Required, but never shown







          Required, but never shown







          Popular posts from this blog

          Can not update quote_id field of “quote_item” table magento 2Magento 2.1 - We can't remove the item. (Shopping Cart doesnt allow us to remove items before becomes empty)Add value for custom quote item attribute using REST apiREST API endpoint v1/carts/cartId/items always returns error messageCorrect way to save entries to databaseHow to remove all associated quote objects of a customer completelyMagento 2 - Save value from custom input field to quote_itemGet quote_item data using quote id and product id filter in Magento 2How to set additional data to quote_item table from controller in Magento 2?What is the purpose of additional_data column in quote_item table in magento2Set Custom Price to Quote item magento2 from controller

          How to solve knockout JS error in Magento 2 Planned maintenance scheduled April 23, 2019 at 23:30 UTC (7:30pm US/Eastern) Announcing the arrival of Valued Associate #679: Cesar Manara Unicorn Meta Zoo #1: Why another podcast?(Magento2) knockout.js:3012 Uncaught ReferenceError: Unable to process bindingUnable to process binding Knockout.js magento 2Cannot read property `scopeLabel` of undefined on Product Detail PageCan't get Customer Data on frontend in Magento 2Magento2 Order Summary - unable to process bindingKO templates are not loading in Magento 2.1 applicationgetting knockout js error magento 2Product grid not load -— Unable to process binding Knockout.js magento 2Product form not loaded in magento2Uncaught ReferenceError: Unable to process binding “if: function()return (isShowLegend()) ” magento 2

          Nissan Patrol Зміст Перше покоління — 4W60 (1951-1960) | Друге покоління — 60 series (1960-1980) | Третє покоління (1980–2002) | Четверте покоління — Y60 (1987–1998) | П'яте покоління — Y61 (1997–2013) | Шосте покоління — Y62 (2010- ) | Посилання | Зноски | Навігаційне менюОфіційний український сайтТест-драйв Nissan Patrol 2010 7-го поколінняNissan PatrolКак мы тестировали Nissan Patrol 2016рвиправивши або дописавши її