Questions tagged [negation]
The negation tag has no usage guidance.
26
questions
3
votes
0
answers
59
views
Question about a presentation on substructural logic (negation modulo two kinds of residuation)
I've been reading through this slide-based presentation on substructural logic and I'm delightfully perplexed by the following section:
What is the use to which the two given flavors of negation can ...
- 12.1k
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 ...
- 3,206
1
vote
1
answer
97
views
Do statements about borderline cases hold for both the vague term and its negation?
I read subvaluationists think that P can be both true and false (unlike supervaluationists, who think that P is neither true nor false), but it's completely unclear (because I can't read symbolic ...
user67521
4
votes
1
answer
105
views
Does Descartes conclude that imperfection implies perfection?
In the third meditation, does Descartes' knowledge of his limitations, or his imperfections, lead to his conclusion that there must be something limitless, something perfect?
In his third meditation, ...
0
votes
0
answers
27
views
How can we commute the alethic negation in the liar sentence?
Normally, "It is not true that F," equals, "It is true not that F," or even, "It is true that not F." I can't figure out how to carry this out with the way the truth ...
- 12.1k
2
votes
1
answer
96
views
Is the law of identity the same for negative expressions?
Is the law of identity the same for negative expressions?
Does 'if not p then not p' have any specific meaning in philosophy?
I am asking because I am trying to work out whether the vagueness of 'p' ...
user67302
3
votes
2
answers
248
views
Quantum probability theory and the idea of a "truth-value sphere"
A while ago I asked a question about using imaginary numbers as truth-values for a peculiar concept known as "the square root of negation"; I just found out that apparently this concept is ...
- 12.1k
1
vote
2
answers
78
views
Is disjunction pointless in intuitionistic logic?
Sec. 5.3 of the SEP article on constructive and intuitionistic set theories makes note of a property meant for theories that compromise on the LEM:
A theory T has the disjunction property (DP) if ...
- 12.1k
0
votes
2
answers
84
views
What is the idea is that "if a sentence is meaningless, then its negation is also meaningless"?
I remember hearing somewhere that this notion was a positivist or Wittgensteinian idea (?) but I cannot find info on it via Google search or Chat-GPT.
I am curious whether this criterion is true, ...
- 103
2
votes
0
answers
38
views
Existential vs. universal alternation
Is there a difference between trivial and nontrivial negation? It occurred to me that we could think of the following series of negation operations/relations:
Empty negation = primordial double-...
- 12.1k
1
vote
1
answer
38
views
Is, "No," a sentence-level negation in natural language?
In the SEP article on negation, they say:
Where we do not find negation is in the one place propositional logic would lead us to look, sentence- or clause-peripheral position, as an external one-...
- 12.1k
1
vote
0
answers
20
views
Peirce cuts (mirrored) + demi-negation = demisets?
[Note: I found one essay, about Aristotle, that used the word "demiset," although at a glance it seemed like they might've been substituting this terminology for a counterpart to the subset/...
- 12.1k
4
votes
1
answer
90
views
Is there a logic with negation as (primarily) a binary relation?
The only search results I got for the exact phrase "negation as a binary relation" were a cryptic essay and/or book about "Chinese opposites." Now, what I have in mind is something ...
- 12.1k
3
votes
1
answer
179
views
Would the imaginary unit be the truth-value of sentences formed using √𝐧𝐨𝐭?
Section 4.3 of "Sentence Connectives in Formal Logic" discusses a concept of demi-negation or what is (for the sake of the text) resolved to a concept of "the square root of negation&...
- 12.1k
2
votes
0
answers
32
views
Is this a problem with verisimilitude talk, many-valued-logic talk, or something/nothing else?
A perhaps naive characterization of verisimilitude is "closeness to truth," the proximity coming from the similarity. At least, the SEP article uses, "The number of planets is 9," ...
- 12.1k
1
vote
1
answer
62
views
Is there a version of intuitionistic logic, or at least some sort of logic, where ¬¬𝘈 → 𝘈 is kept but LEM is not?
The Wikipedia article on double negation in logic says that intuitionistic logic does happen to keep ¬¬¬A → ¬A, as well as A → ¬¬A. I'm pretty confused by this, but I'll take it for granted for now. ...
- 12.1k
1
vote
2
answers
96
views
Antiknowledge (as epistemic antigraphs)
So this essay covers the idea of "antisets," which are such as A, B such that A ∪ B = 0 (without A and B being themselves 0). This concept is extended in another essay to talk of antigraphs, ...
- 12.1k
2
votes
0
answers
36
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 ...
- 12.1k
0
votes
1
answer
46
views
Would the cofinitude relation be a more realistic parameter than the exclusivity one, in the formulation of the CI?
Since I read Gödel, Escher, Bach eleven years ago, in 2011, I figured that 2022 would be a poetic time for me to reread it. (If you’ve read the book, you should know what I mean, haha!) While I was ...
- 12.1k
3
votes
2
answers
90
views
"Should" there be multiple types of universal quantifiers?
Assumptions/presuppositions. I am trying to set up a logic where every connective/operator comes in at least two flavors. For example, with respect to disjunction, rather than hold the LEM rigidly ...
- 12.1k
0
votes
1
answer
57
views
Laws of excluded however-many things
How strong is the difference between inclusive and exclusive disjunction? At least, let ∨0 be inclusive ("weak") disjunction, and ∨1 be exclusive ("strong") disjunction. Then take ...
- 12.1k
2
votes
2
answers
327
views
Is there a difference between contradictory and the opposite?
Is there a difference between contradictory and the opposite?
In natural language, we have the idea of opposite such as 'The opposite of good is evil'. In logic, we can represent that symbolically. ...
- 41
3
votes
2
answers
272
views
Is it the case that negation has an ontological counterpart?
Facts refer to real objects. They are true because there are something of which such sentences are true of, following Aristotle. What would be the reference of a fact of the form "not P"? Or ...
user46880
0
votes
2
answers
85
views
Differences between "It is not the case that" and "not"? [closed]
Many articles say the following:
Statement:
"She is going to school."
Negation statement:
(1)
"She is not going to school."
or
(2)
"It is not the case that she is going ...
- 169
0
votes
1
answer
187
views
Negation of the Rule of Implication proof
tried forever to figure out a solution to this problem. It's based on the rule of Material Implication with a negation in front of both sides. Namely the premise is ~(A>B) with the goal solution ...
- 1
1
vote
7
answers
493
views
A non-circular definition of "not"
The notion of "not" is used throughout all languages as far as I know. For instance, consider the sentence,
"Trees are not blue."
There are various ways of expressing this notion without using the ...
- 834