Questions tagged [principle-of-non-contradiction]
The principle-of-non-contradiction tag has no usage guidance.
26
questions
-6
votes
0
answers
39
views
I think Im onto something with this contradiction [closed]
Overcoming the contradiction
‘’Nothing is impossible’’ – Bible 1 37
The contradiction is perfectly exemplified by the liar paradox: ‘’This sentence is false’’. We find the opening of a domain, marked ...
3
votes
2
answers
80
views
Is truth-in-a-model understood as consistency-of-discharged-antecedents?
I was trying to understand the thing about connexive logic, the fundamental ideas that ~(A then ~A) and ~(~A then A), or Boethius' playing of the theme, and so on. (One case I couldn't accept: "...
- 16.7k
13
votes
7
answers
10k
views
Why "guilty" or "not guilty" but not "guilty" or "innocent"?
Why do some courts (like those in America) decide through the dictum "guilty"(g) or "not guilty"(~g) instead of using the term "innocent"(i) for "not guilty"(~g)...
- 388
0
votes
0
answers
34
views
does Hegel's Dialectical Materialism needs justification when we re-examine the notion of "opposite" and whether that's a fact of the world?
Hegel basically says thesis-antithesis-synthesis, and this works because there are opposition of ideas or there are contradictions
Derrida also uses concepts like "binary oppositions"
he ...
- 136
6
votes
9
answers
4k
views
Why should I not believe there are true contradictions?
Kane Baker has a YouTube video in which he introduces the word 'wulture'. 'Wulture' applies to all things that are vultures, and excludes all things which are white. Delia is a white vulture. He asks: ...
- 1,138
1
vote
3
answers
88
views
Law of non-contradiction violated [closed]
Can we consider these three examples as a violation of the law of non-contradiction?
The photon (and also some other particles) is mathematically its own particle AND anti-particle
The Moebius strip ...
- 131
9
votes
2
answers
2k
views
Is "may exist" and "may not exist" a negation that isn't a contradiction?
As usually happens, a statement (p) and its negation (~p) contradict each other. So, e.g. God does not exist, the negation of, God exists, together form a contradictory pair. A statement (p) and its ...
- 4,351
6
votes
7
answers
2k
views
How does one differentiate between the logically possible and the impossible?
The term “married bachelor” seems to be an obvious contradiction. The very definition of bachelor and unmarried are with respect to each other and so it seems nonsensical to talk about a married ...
user62907
2
votes
2
answers
85
views
Does Artistole's principle of non-contradiction imply/concede/allow there are contradictions, we just can't learn much via them?
From Graham Priest and the SEP it seems like the world doesn't have to be a certain way with the PNC being necessary for "scientific inquiry, reasoning and communication" (SEP).
The world ...
- 2,932
2
votes
3
answers
111
views
Kant's remarks about the concept of time and the principle of noncontradiction
In the Transcendental Aesthetic he notes:
... I shall add that the conception of change, and with it the conception of motion, as change of place, is possible only through and in the representation ...
- 16.7k
4
votes
7
answers
2k
views
Everything must have a cause?
In a possible reality, if something came into existence without something giving rise to it, the fact would be that , there was nothing stopping something from coming into existence without anything ...
- 119
2
votes
6
answers
432
views
A resolution to liar's paradox
Let's consider the famous liar paradox's statement:
This statement is false
Now, in classical logic, principle of bivalence could be stated as "All statements can either be assigned a value of ...
2
votes
0
answers
42
views
Would a universal (tran)set violate the law of identity?
At least, here's the argument that opened the question for me:
The anticlass-theory principle: there are no discrete proper classes. There are intensional elementhood parameters such that if some set ...
- 16.7k
6
votes
1
answer
190
views
What is ⊥ called in paraconsistent logic?
I am building a weakened version of the intuitionistic logic. It wouldn't satisfy (p∧¬p)→⊥ as a tautology, but rather, (⊤→(p∧¬p))→⊥. In plain English, contradictions admit no proof, but there might ...
- 243
3
votes
3
answers
295
views
"Impredicative" definitions in mathematics
In this blog post, the following definition of an "impredicative definition" is offered:
A definition is said to be impredicative if it defines an object E by means of a quantification over a ...
- 2,473