Questions tagged [negation]
The negation tag has no usage guidance.
33
questions
3
votes
1
answer
104
views
Does Not(A and not-A) = Not(A nand A) in intuitionistic logic?
I guess this comes out to: in intuitionistic logic, is the positioning of the negation relative to conjunction nontrivial? Is not-and different from and-not, here?
Motivation: I was trying out a ...
2
votes
0
answers
21
views
Can 𝐅𝐑 be taken for a deontic negation operator (rather than just a specified negation of 𝐎𝐁)?
Presuppositions of the question: beliefs about the ambient structure of negation: I was rethinking the following in light of questions about supervenience, grounding, alterity, and identity:
A ...
4
votes
3
answers
287
views
Is the conventionalism re: the terms "electron" and "positron" an article of evidence for the inversion account of negation?
From the SEP article on negation:
In Hintikka’s (1973) game-theoretical semantics, negation is modeled by a role-switch between two players in a semantic game (cf. the entry on logic and games). A ...
3
votes
6
answers
92
views
Negating the verb and negating the subject 's property
What is the strict and exact relation (implication, equivalence etc.) between these two sentences?:
I. Alcibiades is not wise. (Negating the subject 's property)
II. Alcibiades is not (=isn 't) wise. (...
3
votes
3
answers
480
views
The fact/truth distinction and self-deception
One of the two main puzzles of self-deception, as reported in the SEP, is the static paradox ("How can one be in the state of self-deception?"):
The dual-belief requirement raises the ...
3
votes
1
answer
144
views
Situation deemed as offensive, where offended party and/ or point of offense is not clear
In the past, medical literature noted that people suffering from trisomy 21 (Down's Syndrome) had Mongoloid features. This was later revised as it was deemed offensive. For this question, I assume the ...
1
vote
1
answer
117
views
Different kinds of emptiness/negation = different kinds of nothingness? Re: the Kyoto School
The SEP entry on the Kyoto School was updated the other day, and I decided to read through at least some of it. Here's part of a discussion of the "nothingness" that is central to their ...
3
votes
0
answers
72
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 ...
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 ...
1
vote
2
answers
113
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 ...
4
votes
1
answer
199
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
31
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 ...
2
votes
1
answer
129
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' ...
3
votes
2
answers
259
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 ...
2
votes
2
answers
110
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 ...