All Questions
3
questions
-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 ...
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 ...
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 ...