When is an argument without premises valid?

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
1
down vote

favorite












So the question is how do we know if an argument without premises is valid.



First of all, how would that go? I mean, what would an argument without premises look like (in terms of propositional logic)? Would there just be a conclusion? I also read that in case of a tautology, that would be a valid argument and I simply don't understand how there even can be a truth table created if there are no premises.



Also, why is $p$ or not $p$ an argument without premises? Isn't $p$ itself a premise?



Excuse my probably very simple questions, I'm very new to propositional logic or rather discrete math as a whole.










share|cite|improve this question

























    up vote
    1
    down vote

    favorite












    So the question is how do we know if an argument without premises is valid.



    First of all, how would that go? I mean, what would an argument without premises look like (in terms of propositional logic)? Would there just be a conclusion? I also read that in case of a tautology, that would be a valid argument and I simply don't understand how there even can be a truth table created if there are no premises.



    Also, why is $p$ or not $p$ an argument without premises? Isn't $p$ itself a premise?



    Excuse my probably very simple questions, I'm very new to propositional logic or rather discrete math as a whole.










    share|cite|improve this question























      up vote
      1
      down vote

      favorite









      up vote
      1
      down vote

      favorite











      So the question is how do we know if an argument without premises is valid.



      First of all, how would that go? I mean, what would an argument without premises look like (in terms of propositional logic)? Would there just be a conclusion? I also read that in case of a tautology, that would be a valid argument and I simply don't understand how there even can be a truth table created if there are no premises.



      Also, why is $p$ or not $p$ an argument without premises? Isn't $p$ itself a premise?



      Excuse my probably very simple questions, I'm very new to propositional logic or rather discrete math as a whole.










      share|cite|improve this question













      So the question is how do we know if an argument without premises is valid.



      First of all, how would that go? I mean, what would an argument without premises look like (in terms of propositional logic)? Would there just be a conclusion? I also read that in case of a tautology, that would be a valid argument and I simply don't understand how there even can be a truth table created if there are no premises.



      Also, why is $p$ or not $p$ an argument without premises? Isn't $p$ itself a premise?



      Excuse my probably very simple questions, I'm very new to propositional logic or rather discrete math as a whole.







      discrete-mathematics logic propositional-calculus






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Sep 10 at 18:24









      user472288

      428211




      428211




















          2 Answers
          2






          active

          oldest

          votes

















          up vote
          1
          down vote



          accepted











          I simply don't understand how there even can be a truth table created if there are no premises.




          With $n$ statements, there are $2^n$ ways to conjoin each statement or its negation with the others, and $2^2^n$ to disjoin these i.e. $2^2^n$ truth functions. With no premises, set $n=0$ so there are $2$ truth functions, true and false (or if you prefer, tautology and contradiction). The argument will just be a conclusion, and is valid iff the conclusion is tautological.




          Also, why is $p$ or not $p$ an argument without premises? Isn't $p$ itself a premise?




          To assume $p$ would in general be a premise, but that's not what you're doing. The simplest explanation is a comment by Ludwig Wittgenstein: "For example, I know nothing about the weather when I know that it is either raining or not raining."






          share|cite|improve this answer



























            up vote
            1
            down vote













            An argument without premises is a single sentence : the conclusion.



            A sentence is valid




            if and only if it is true under every possible interpretation of the language. In propositional logic, they are tautologies.





            Regarding truth table, there is no issue with a truth table for a single formula.



            Tautologies are exactly those formulas whose rightmost column in the truth table shows only the value TRUE.






            share|cite|improve this answer




















              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: "69"
              ;
              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',
              convertImagesToLinks: true,
              noModals: false,
              showLowRepImageUploadWarning: true,
              reputationToPostImages: 10,
              bindNavPrevention: true,
              postfix: "",
              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%2fmath.stackexchange.com%2fquestions%2f2912200%2fwhen-is-an-argument-without-premises-valid%23new-answer', 'question_page');

              );

              Post as a guest






























              2 Answers
              2






              active

              oldest

              votes








              2 Answers
              2






              active

              oldest

              votes









              active

              oldest

              votes






              active

              oldest

              votes








              up vote
              1
              down vote



              accepted











              I simply don't understand how there even can be a truth table created if there are no premises.




              With $n$ statements, there are $2^n$ ways to conjoin each statement or its negation with the others, and $2^2^n$ to disjoin these i.e. $2^2^n$ truth functions. With no premises, set $n=0$ so there are $2$ truth functions, true and false (or if you prefer, tautology and contradiction). The argument will just be a conclusion, and is valid iff the conclusion is tautological.




              Also, why is $p$ or not $p$ an argument without premises? Isn't $p$ itself a premise?




              To assume $p$ would in general be a premise, but that's not what you're doing. The simplest explanation is a comment by Ludwig Wittgenstein: "For example, I know nothing about the weather when I know that it is either raining or not raining."






              share|cite|improve this answer
























                up vote
                1
                down vote



                accepted











                I simply don't understand how there even can be a truth table created if there are no premises.




                With $n$ statements, there are $2^n$ ways to conjoin each statement or its negation with the others, and $2^2^n$ to disjoin these i.e. $2^2^n$ truth functions. With no premises, set $n=0$ so there are $2$ truth functions, true and false (or if you prefer, tautology and contradiction). The argument will just be a conclusion, and is valid iff the conclusion is tautological.




                Also, why is $p$ or not $p$ an argument without premises? Isn't $p$ itself a premise?




                To assume $p$ would in general be a premise, but that's not what you're doing. The simplest explanation is a comment by Ludwig Wittgenstein: "For example, I know nothing about the weather when I know that it is either raining or not raining."






                share|cite|improve this answer






















                  up vote
                  1
                  down vote



                  accepted







                  up vote
                  1
                  down vote



                  accepted







                  I simply don't understand how there even can be a truth table created if there are no premises.




                  With $n$ statements, there are $2^n$ ways to conjoin each statement or its negation with the others, and $2^2^n$ to disjoin these i.e. $2^2^n$ truth functions. With no premises, set $n=0$ so there are $2$ truth functions, true and false (or if you prefer, tautology and contradiction). The argument will just be a conclusion, and is valid iff the conclusion is tautological.




                  Also, why is $p$ or not $p$ an argument without premises? Isn't $p$ itself a premise?




                  To assume $p$ would in general be a premise, but that's not what you're doing. The simplest explanation is a comment by Ludwig Wittgenstein: "For example, I know nothing about the weather when I know that it is either raining or not raining."






                  share|cite|improve this answer













                  I simply don't understand how there even can be a truth table created if there are no premises.




                  With $n$ statements, there are $2^n$ ways to conjoin each statement or its negation with the others, and $2^2^n$ to disjoin these i.e. $2^2^n$ truth functions. With no premises, set $n=0$ so there are $2$ truth functions, true and false (or if you prefer, tautology and contradiction). The argument will just be a conclusion, and is valid iff the conclusion is tautological.




                  Also, why is $p$ or not $p$ an argument without premises? Isn't $p$ itself a premise?




                  To assume $p$ would in general be a premise, but that's not what you're doing. The simplest explanation is a comment by Ludwig Wittgenstein: "For example, I know nothing about the weather when I know that it is either raining or not raining."







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered Sep 10 at 18:32









                  J.G.

                  15.1k11727




                  15.1k11727




















                      up vote
                      1
                      down vote













                      An argument without premises is a single sentence : the conclusion.



                      A sentence is valid




                      if and only if it is true under every possible interpretation of the language. In propositional logic, they are tautologies.





                      Regarding truth table, there is no issue with a truth table for a single formula.



                      Tautologies are exactly those formulas whose rightmost column in the truth table shows only the value TRUE.






                      share|cite|improve this answer
























                        up vote
                        1
                        down vote













                        An argument without premises is a single sentence : the conclusion.



                        A sentence is valid




                        if and only if it is true under every possible interpretation of the language. In propositional logic, they are tautologies.





                        Regarding truth table, there is no issue with a truth table for a single formula.



                        Tautologies are exactly those formulas whose rightmost column in the truth table shows only the value TRUE.






                        share|cite|improve this answer






















                          up vote
                          1
                          down vote










                          up vote
                          1
                          down vote









                          An argument without premises is a single sentence : the conclusion.



                          A sentence is valid




                          if and only if it is true under every possible interpretation of the language. In propositional logic, they are tautologies.





                          Regarding truth table, there is no issue with a truth table for a single formula.



                          Tautologies are exactly those formulas whose rightmost column in the truth table shows only the value TRUE.






                          share|cite|improve this answer












                          An argument without premises is a single sentence : the conclusion.



                          A sentence is valid




                          if and only if it is true under every possible interpretation of the language. In propositional logic, they are tautologies.





                          Regarding truth table, there is no issue with a truth table for a single formula.



                          Tautologies are exactly those formulas whose rightmost column in the truth table shows only the value TRUE.







                          share|cite|improve this answer












                          share|cite|improve this answer



                          share|cite|improve this answer










                          answered Sep 10 at 18:45









                          Mauro ALLEGRANZA

                          61.6k447106




                          61.6k447106



























                               

                              draft saved


                              draft discarded















































                               


                              draft saved


                              draft discarded














                              StackExchange.ready(
                              function ()
                              StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2912200%2fwhen-is-an-argument-without-premises-valid%23new-answer', 'question_page');

                              );

                              Post as a guest













































































                              這個網誌中的熱門文章

                              How to combine Bézier curves to a surface?

                              Why am i infinitely getting the same tweet with the Twitter Search API?

                              Carbon dioxide