Questions tagged [soundness]
The soundness tag has no usage guidance.
22
questions
3
votes
8
answers
749
views
How can logical soundness be determined, if it is the rules of the logic itself which dictate what is true and false?
The idea of soundness sounds conceptually intuitive.
Logic commonly has a syntax and a semantics. The syntax is a set of symbols with formation rules for creating new expressions from currently ...
- 2,431
6
votes
9
answers
5k
views
Is Romans 1:19-20 philosophically sound?
Romans 1:18-25 ESV
18 For the wrath of God is revealed from heaven against all ungodliness and unrighteousness of men, who by their unrighteousness suppress the truth. 19 For what can be known about ...
- 394
1
vote
2
answers
218
views
If an argument cannot be known as sound, can it still be claimed as sound?
I have read the the criteria to determine if an argument is sound is if its claim is valid and its premises are true.
However, what if no one can know whether or not an argument is sound because no ...
- 10.9k
-1
votes
2
answers
65
views
Jurisprudence and logic: Is it a necessary criterion for a claim to be declared sound that there be no evidence to the contrary as to its soundness?
So, I've been generating various arguments (such as related to the synthesis of legal arguments), and I have been doing my best to figure out how to declare that a particular claim is not sound. For ...
CommunityBot
- 1
0
votes
1
answer
66
views
Semantic consequence and Sound Argument
Is that correct to say that semantic consequence is equivalent to the concept of sound argument in classical propositional logic?
If it is the case, arguments or theories with contradictory premises ...
- 27.3k
0
votes
2
answers
193
views
Does this argument disprove immaterialism?
-Every observation we have analysed has a material cause.
-By inductive reasoning, all observations have materialistic causes.
-Hence, there are no immaterial causes and immaterialism doesn't exist.
(...
- 3,949
1
vote
1
answer
202
views
Question of Validity in syllogisms of deductive argument
I read the following excerpt from my A-Level Philosophy book:
"Two key terms that you need to understand in relation to deductions and other
forms of argument are ‘validity’ and ‘soundness’. ...
- 27.3k
2
votes
1
answer
878
views
How can a proof system be unsound?
I have recently started learning propositional logic. I stumbled upon the concepts of soundness and completeness.
According to http://intrologic.stanford.edu/chapters/chapter_04.html, a proof system ...
- 2,549
2
votes
1
answer
119
views
Counterfactuals in Premises for Arguments
Can counterfactuals in premises make an argument sound and valid?
I understand that soundness requires both validity and true premises whilst validity requires the premises to follow to the conclusion....
- 29.2k
22
votes
10
answers
15k
views
Can an argument be valid even though one of its premises is false?
Is it possible for an argument to be valid by virtue of its logical form, but contain a false premise? In other words, can a premise be false even though the argument itself is logically valid?
...
CommunityBot
- 1
0
votes
1
answer
520
views
In logic, can we or can we not prove that a formula is invalid?
I'm a novice in this field of logic. While reading about soundness and completeness of a method, I read this line: "a logical system has the soundness property if and only if every formula that ...
- 37.8k
7
votes
2
answers
966
views
Is Propositional Logic Sound and Complete
After reading Gödel's incompleteness theorem, I wonder if there are any systems whose axioms are sound and complete. I realize that Gödel's arguments (at least from my sources) only apply to ...
3
votes
4
answers
19k
views
Is "(1) All humans are mortal. (2) Socrates is mortal. Conclusion: Socrates is human." unsound argument?
I am new to a philosophy course and recently learned about validity and soundness of an argument. In this exercise:
Premise 1: All humans are mortal.
Premise 2: Socrates is mortal.
Conclusion: ...
CommunityBot
- 1
5
votes
2
answers
753
views
How does one prove properties of soundness and completeness for a logic using proof-theoretic semantics?
Can one prove these properties at all without relying on notions of models and interpretations?
Are there other properties that proof-theorists usually prove instead?
From what I've read, I've only ...
0
votes
1
answer
87
views
Are these basic arguments considered valid and sound?
I'm trying to come up with some basic arguments to construct a philosophy paper and I am wondering if the following arguments are valid and sound. Thanks for the help!
If humans have flaws then they ...
- 1,059