Speakpigeon
Contributor
- Joined
- Feb 4, 2009
- Messages
- 6,317
- Location
- Paris, France, EU
- Basic Beliefs
- Rationality (i.e. facts + logic), Scepticism (not just about God but also everything beyond my subjective experience)
Exactly.Well yes, they are perfectly synonymous but only when applied to things that are applicable. When the applicability is lost, the distinction becomes relevant. Invalid implies not valid, but not valid does not imply invalid. It may as well imply it but only if applicable. For instance, a tree is not valid. Heck, what would it even mean to say that? From that, however, we oughtnt say that a tree is invalid unless a tree could be the kind of thing that could be either.
Deductive arguments are valid or invalid. Deductive arguments therefore are valid or not valid.
Inductive arguments are neither valid nor invalid, yet it's true they are not valid, and it's true they are not invalid.
You make a good point. True and not true are exhaustive, but true and false aren't, because some things aren't truth apt.
The only room for exception is when ambiguity rears its ugly head and a term is used in accordance with other meanings. For instance, X is not criminal, yet people disagree by invoking a clearly different meaning of the word, "criminal."
This is seriously confusing for me. I can't seem to be able to shake the impression that the way you're suggesting we should deal with this issue makes logical deductions that are not valid somewhat similar to trees.
As I see it, saying a tree is not valid isn't the same kind of statement as saying a deduction is not valid, whereby we could substitute anything to X in the proposition "X is not valid", regardless of what we mean by that. Saying a tree is not valid is really saying the qualifier "valid" doesn't apply to things like trees. Nothing like saying a deduction is not valid.
If you want exhaustive formulas, you need to reason within specific coherent contexts. Nothing like this mixed bag of deductions and trees.
EB