When is an argument without premises valid?
Clash 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.
discrete-mathematics logic propositional-calculus
add a comment |Â
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.
discrete-mathematics logic propositional-calculus
add a comment |Â
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.
discrete-mathematics logic propositional-calculus
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
discrete-mathematics logic propositional-calculus
asked Sep 10 at 18:24
user472288
428211
428211
add a comment |Â
add a comment |Â
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."
add a comment |Â
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.
add a comment |Â
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."
add a comment |Â
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."
add a comment |Â
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."
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."
answered Sep 10 at 18:32
J.G.
15.1k11727
15.1k11727
add a comment |Â
add a comment |Â
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.
add a comment |Â
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.
add a comment |Â
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.
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.
answered Sep 10 at 18:45
Mauro ALLEGRANZA
61.6k447106
61.6k447106
add a comment |Â
add a comment |Â
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
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
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password