The barbers paradox first order logic formalizationfirst order logic resolution unificationWhat is the...

How to avoid grep command finding commented out strings in the source file?

Change active object through scripting

Survey Confirmation - Emphasize the question or the answer?

Was the ancestor of SCSI, the SASI protocol, nothing more than a draft?

Why are notes ordered like they are on a piano?

Is it appropriate to refer to God as "It"?

Any examples of headwear for races with animal ears?

Geometry - Proving a common centroid.

Why was Germany not as successful as other Europeans in establishing overseas colonies?

What is the most remote airport from the center of the city it supposedly serves?

Airbnb - host wants to reduce rooms, can we get refund?

Transfer over $10k

Can a cyclic Amine form an Amide?

Conflicting terms and the definition of a «child»

An 'if constexpr branch' does not get discarded inside lambda that is inside a template function

How do you center multiple equations that have multiple steps?

Is this homebrew race based on the Draco Volans lizard species balanced?

Pressure to defend the relevance of one's area of mathematics

Copy line and insert it in a new position with sed or awk

How to implement float hashing with approximate equality

What is the limiting factor for a CAN bus to exceed 1Mbps bandwidth?

The barbers paradox first order logic formalization

Why do freehub and cassette have only one position that matches?

Does hiding behind 5-ft-wide cover give full cover?



The barbers paradox first order logic formalization


first order logic resolution unificationWhat is the relation between First Order Logic and First Order Theory?Quantified Boolean Formula vs First-order logicAbout the first order logic (valid, Unsatisfiable, Syntactically wrong)Resolution in First Order LogicExercise about First-order logicFirst Order Logic : PredicatesFirst Order Logic, First Order Logic + Recurrence and SQLReal world applications of first order logicTerminology First-Order Logic













1












$begingroup$


I tried to look on the site and while I found some similar questions, I did not find the first order logic formalization of the following sentence (the basic barber's paradox), so I wanted to ask if I got the right first order logic formalization of it, and I am sure others will benefit from this thread as well.



Sentence: there exists a barber who shaves all the people that don't shave themselves.



My attempt: this complicated sentence can be made simpler by inferring that "for all of those who does not shave themselves, are shaved by the barber"



And now it seems to be easier to substitute with variables so:



$$exists x(lnot S(x,x) rightarrow S(b,x))$$



where $S(x,x)$ is shaving(verb), $x$ are the persons (who don't shave themselves), and $b$ is a shortcut for barber, so if a person does not shave himself, it can be inferred that he is shaved by the barber.






logic artificial-intelligence first-order-logic







share|cite|improve this question











$endgroup$

















    1












    $begingroup$


    I tried to look on the site and while I found some similar questions, I did not find the first order logic formalization of the following sentence (the basic barber's paradox), so I wanted to ask if I got the right first order logic formalization of it, and I am sure others will benefit from this thread as well.



    Sentence: there exists a barber who shaves all the people that don't shave themselves.



    My attempt: this complicated sentence can be made simpler by inferring that "for all of those who does not shave themselves, are shaved by the barber"



    And now it seems to be easier to substitute with variables so:



    $$exists x(lnot S(x,x) rightarrow S(b,x))$$



    where $S(x,x)$ is shaving(verb), $x$ are the persons (who don't shave themselves), and $b$ is a shortcut for barber, so if a person does not shave himself, it can be inferred that he is shaved by the barber.






    logic artificial-intelligence first-order-logic







    share|cite|improve this question











    $endgroup$















      1












      1








      1


      0



      $begingroup$


      I tried to look on the site and while I found some similar questions, I did not find the first order logic formalization of the following sentence (the basic barber's paradox), so I wanted to ask if I got the right first order logic formalization of it, and I am sure others will benefit from this thread as well.



      Sentence: there exists a barber who shaves all the people that don't shave themselves.



      My attempt: this complicated sentence can be made simpler by inferring that "for all of those who does not shave themselves, are shaved by the barber"



      And now it seems to be easier to substitute with variables so:



      $$exists x(lnot S(x,x) rightarrow S(b,x))$$



      where $S(x,x)$ is shaving(verb), $x$ are the persons (who don't shave themselves), and $b$ is a shortcut for barber, so if a person does not shave himself, it can be inferred that he is shaved by the barber.






      logic artificial-intelligence first-order-logic







      share|cite|improve this question











      $endgroup$




      I tried to look on the site and while I found some similar questions, I did not find the first order logic formalization of the following sentence (the basic barber's paradox), so I wanted to ask if I got the right first order logic formalization of it, and I am sure others will benefit from this thread as well.



      Sentence: there exists a barber who shaves all the people that don't shave themselves.



      My attempt: this complicated sentence can be made simpler by inferring that "for all of those who does not shave themselves, are shaved by the barber"



      And now it seems to be easier to substitute with variables so:



      $$exists x(lnot S(x,x) rightarrow S(b,x))$$



      where $S(x,x)$ is shaving(verb), $x$ are the persons (who don't shave themselves), and $b$ is a shortcut for barber, so if a person does not shave himself, it can be inferred that he is shaved by the barber.






      logic artificial-intelligence first-order-logic




      logic artificial-intelligence first-order-logic






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited 2 hours ago









      David Richerby

      71.1k16109199




      71.1k16109199










      asked 2 hours ago









      hps13hps13

      396




      396






















          2 Answers
          2






          active

          oldest

          votes


















          2












          $begingroup$

          You're not being asked to do any inference; just to express something.




          there exists a barber who shaves all the people that don't shave themselves




          translates directly as



          $$exists b, forall x,big(neg S(x,x) rightarrow S(b,x)big),.$$



          (There exists a barber such that everyone who doesn't shave themself is shaved by the barber.)



          Your version says that there exists a person who, if they don't shave themself, is shaved by the barber. That's not equivalent. For example, it's true in any world where at least one person does shave themself: just let $x$ be that person, so $neg S(x,x)$ is false, so $neg S(x,x)rightarrowtext{anything}$ is true.






          share|cite|improve this answer









          $endgroup$





















            2












            $begingroup$

            There are two issues about your formula:

            First, you use an existential quantifier for the people where there should be a univeral one, since the statement is "all people". What your formula expresses is "There is an $x$ such that if $x$ does't shave themself, the barber does." Instead, what you want to say is that "For all $x$ it holds that if $x$ doesn't shave themself, the barber does." In general, an existentially quantified implicational formula is often a sign that something is wrong.

            Second, instead of using a constant name $b$ for the barber, it would be better to directly translate the "There is" as an existential quantifier, and you could also specify that this someone is a barber.



            Whith this, the sentence becomes




            There is a thing $y$ which is a barber and such that for all people $x$ who don't shave themselves, $y$ shaves $x$.




            which translates as



            $$exists y (B(y) land forall x (neg S(x,x) to S(y,x)))$$






            share|cite|improve this answer











            $endgroup$














              Your Answer








              StackExchange.ready(function() {
              var channelOptions = {
              tags: "".split(" "),
              id: "419"
              };
              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: false,
              noModals: true,
              showLowRepImageUploadWarning: true,
              reputationToPostImages: null,
              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
              },
              onDemand: true,
              discardSelector: ".discard-answer"
              ,immediatelyShowMarkdownHelp:true
              });


              }
              });














              draft saved

              draft discarded


















              StackExchange.ready(
              function () {
              StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fcs.stackexchange.com%2fquestions%2f108712%2fthe-barbers-paradox-first-order-logic-formalization%23new-answer', 'question_page');
              }
              );

              Post as a guest















              Required, but never shown

























              2 Answers
              2






              active

              oldest

              votes








              2 Answers
              2






              active

              oldest

              votes









              active

              oldest

              votes






              active

              oldest

              votes









              2












              $begingroup$

              You're not being asked to do any inference; just to express something.




              there exists a barber who shaves all the people that don't shave themselves




              translates directly as



              $$exists b, forall x,big(neg S(x,x) rightarrow S(b,x)big),.$$



              (There exists a barber such that everyone who doesn't shave themself is shaved by the barber.)



              Your version says that there exists a person who, if they don't shave themself, is shaved by the barber. That's not equivalent. For example, it's true in any world where at least one person does shave themself: just let $x$ be that person, so $neg S(x,x)$ is false, so $neg S(x,x)rightarrowtext{anything}$ is true.






              share|cite|improve this answer









              $endgroup$


















                2












                $begingroup$

                You're not being asked to do any inference; just to express something.




                there exists a barber who shaves all the people that don't shave themselves




                translates directly as



                $$exists b, forall x,big(neg S(x,x) rightarrow S(b,x)big),.$$



                (There exists a barber such that everyone who doesn't shave themself is shaved by the barber.)



                Your version says that there exists a person who, if they don't shave themself, is shaved by the barber. That's not equivalent. For example, it's true in any world where at least one person does shave themself: just let $x$ be that person, so $neg S(x,x)$ is false, so $neg S(x,x)rightarrowtext{anything}$ is true.






                share|cite|improve this answer









                $endgroup$
















                  2












                  2








                  2





                  $begingroup$

                  You're not being asked to do any inference; just to express something.




                  there exists a barber who shaves all the people that don't shave themselves




                  translates directly as



                  $$exists b, forall x,big(neg S(x,x) rightarrow S(b,x)big),.$$



                  (There exists a barber such that everyone who doesn't shave themself is shaved by the barber.)



                  Your version says that there exists a person who, if they don't shave themself, is shaved by the barber. That's not equivalent. For example, it's true in any world where at least one person does shave themself: just let $x$ be that person, so $neg S(x,x)$ is false, so $neg S(x,x)rightarrowtext{anything}$ is true.






                  share|cite|improve this answer









                  $endgroup$



                  You're not being asked to do any inference; just to express something.




                  there exists a barber who shaves all the people that don't shave themselves




                  translates directly as



                  $$exists b, forall x,big(neg S(x,x) rightarrow S(b,x)big),.$$



                  (There exists a barber such that everyone who doesn't shave themself is shaved by the barber.)



                  Your version says that there exists a person who, if they don't shave themself, is shaved by the barber. That's not equivalent. For example, it's true in any world where at least one person does shave themself: just let $x$ be that person, so $neg S(x,x)$ is false, so $neg S(x,x)rightarrowtext{anything}$ is true.







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered 2 hours ago









                  David RicherbyDavid Richerby

                  71.1k16109199




                  71.1k16109199























                      2












                      $begingroup$

                      There are two issues about your formula:

                      First, you use an existential quantifier for the people where there should be a univeral one, since the statement is "all people". What your formula expresses is "There is an $x$ such that if $x$ does't shave themself, the barber does." Instead, what you want to say is that "For all $x$ it holds that if $x$ doesn't shave themself, the barber does." In general, an existentially quantified implicational formula is often a sign that something is wrong.

                      Second, instead of using a constant name $b$ for the barber, it would be better to directly translate the "There is" as an existential quantifier, and you could also specify that this someone is a barber.



                      Whith this, the sentence becomes




                      There is a thing $y$ which is a barber and such that for all people $x$ who don't shave themselves, $y$ shaves $x$.




                      which translates as



                      $$exists y (B(y) land forall x (neg S(x,x) to S(y,x)))$$






                      share|cite|improve this answer











                      $endgroup$


















                        2












                        $begingroup$

                        There are two issues about your formula:

                        First, you use an existential quantifier for the people where there should be a univeral one, since the statement is "all people". What your formula expresses is "There is an $x$ such that if $x$ does't shave themself, the barber does." Instead, what you want to say is that "For all $x$ it holds that if $x$ doesn't shave themself, the barber does." In general, an existentially quantified implicational formula is often a sign that something is wrong.

                        Second, instead of using a constant name $b$ for the barber, it would be better to directly translate the "There is" as an existential quantifier, and you could also specify that this someone is a barber.



                        Whith this, the sentence becomes




                        There is a thing $y$ which is a barber and such that for all people $x$ who don't shave themselves, $y$ shaves $x$.




                        which translates as



                        $$exists y (B(y) land forall x (neg S(x,x) to S(y,x)))$$






                        share|cite|improve this answer











                        $endgroup$
















                          2












                          2








                          2





                          $begingroup$

                          There are two issues about your formula:

                          First, you use an existential quantifier for the people where there should be a univeral one, since the statement is "all people". What your formula expresses is "There is an $x$ such that if $x$ does't shave themself, the barber does." Instead, what you want to say is that "For all $x$ it holds that if $x$ doesn't shave themself, the barber does." In general, an existentially quantified implicational formula is often a sign that something is wrong.

                          Second, instead of using a constant name $b$ for the barber, it would be better to directly translate the "There is" as an existential quantifier, and you could also specify that this someone is a barber.



                          Whith this, the sentence becomes




                          There is a thing $y$ which is a barber and such that for all people $x$ who don't shave themselves, $y$ shaves $x$.




                          which translates as



                          $$exists y (B(y) land forall x (neg S(x,x) to S(y,x)))$$






                          share|cite|improve this answer











                          $endgroup$



                          There are two issues about your formula:

                          First, you use an existential quantifier for the people where there should be a univeral one, since the statement is "all people". What your formula expresses is "There is an $x$ such that if $x$ does't shave themself, the barber does." Instead, what you want to say is that "For all $x$ it holds that if $x$ doesn't shave themself, the barber does." In general, an existentially quantified implicational formula is often a sign that something is wrong.

                          Second, instead of using a constant name $b$ for the barber, it would be better to directly translate the "There is" as an existential quantifier, and you could also specify that this someone is a barber.



                          Whith this, the sentence becomes




                          There is a thing $y$ which is a barber and such that for all people $x$ who don't shave themselves, $y$ shaves $x$.




                          which translates as



                          $$exists y (B(y) land forall x (neg S(x,x) to S(y,x)))$$







                          share|cite|improve this answer














                          share|cite|improve this answer



                          share|cite|improve this answer








                          edited 1 hour ago

























                          answered 1 hour ago









                          lemontreelemontree

                          1664




                          1664






























                              draft saved

                              draft discarded




















































                              Thanks for contributing an answer to Computer Science Stack Exchange!


                              • 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%2fcs.stackexchange.com%2fquestions%2f108712%2fthe-barbers-paradox-first-order-logic-formalization%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

                              What is the “three and three hundred thousand syndrome”?Who wrote the book Arena?What five creatures were...

                              Image
                              What happens when the centripetal force is equal and opposite to the centrifugal force? Why is "la Gestapo" feminine? Nested Dynamic SOQL Query How are passwords stolen from companies if they only store hashes? Exposing a company lying about themselves in a tightly knit industry: Is my career at risk on the long run? Can "few" be used as a subject? If so, what is the rule? Why are there no stars visible in cislunar space? categorizing a variable turns it from insignificant to significant Do I need an EFI partition for each 18.04 ubuntu I have on my HD? What are the consequences of changing the number of hours in ...
                              Read more

                              Gersau Kjelder | Navigasjonsmeny46°59′0″N 8°31′0″E46°59′0″N...

                              Image
                              Tidlegare republikkarSkipingar i 1433Kommunar i SchwyzDistrikt i SchwyzNedleggingar i 1798Stader ved Vierwaldstättersee kommunekantonenSchwyzSveitskm²VierwaldstätterseeLauerz Gersau Kommunevåpenet til Gersau Plassering Styresmakter Land   Sveits Kanton kantonen Schwyz Distrikt Gersau Språk tysk Geografi Flatevidd  - kommune 23,70 km² Innbyggjarar  - kommune (desember 2010)    - folketettleik 2 094   88,4 /km² Koordinatar 46°59′0″N 8°31′0″E  Koordinatar: 46°59′0″N 8°31′0″E  Høgd over havet 435 moh Diverse annan informasjon Postnummer 6442 Nettstad: www.gersau.ch Freistaat und Republik Gersau Fristaten og republikken Gersau By-republikk og alliert protektorat i Det gamle sveitsiske eidsforundet ←   ← 1433–1798 1814–1818 →   → Hovudstad Gersau Styreform Republikk Historisk periode Tidleg moderne tid  - Kjøpte fridom frå ...
                              Read more

                              Hestehale Innhaldsliste Hestehale på kvinner | Hestehale på menn | Galleri | Sjå òg |...

                              Image
                              Frisyrar frisyrehårhårstrikkhårklemmerøyrethesthovudverkeuropeisk motejobbtreningfletterparykkarungdomsopprørmotkulturmusikararmotorsykkelentusiastarpolitietpolitiskforretningverksemdfiskeflette Hestehale sett bakfrå. Hestehale på ein mannleg indianarleiar. Hestehale er ein frisyre der ein samlar det meste eller alt av langt hår [1] i bakhovudet med ein hårstrikk eller liknande. Avhengig av mote kan det òg vere vanleg å sette opp hestehalen med hårklemmer eller å ha hestehalen hengande på den eine sida av hovudet ved å samle håret ved øyret. Hestehale er ein vanleg frisyre for jenter og for gutar med langt hår. Han har fått namnet sitt etter likskapen med halen på ein hest. For stramme hestehaler kan føre til hårtap, [2] i nokre høve også hovudverk. [3] Innhaldsliste 1 Hestehale på kvinner 2 Hestehale på menn 3 Galleri 4 Sjå òg 5 Bakgrunnsstoff 6 Kjelder Hestehale på kvinner | Ungjente med hestehale som held håret unna ansiktet...
                              Read more