Skip to main content

Questions tagged [negation]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
4 votes
3 answers
279 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 ...
Kristian Berry's user avatar
3 votes
6 answers
86 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. (...
SK_'s user avatar
  • 232
3 votes
3 answers
470 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 ...
Kristian Berry's user avatar
3 votes
1 answer
142 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 ...
mindoverflow's user avatar
1 vote
1 answer
92 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 ...
Kristian Berry's user avatar
3 votes
0 answers
70 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 ...
Kristian Berry's user avatar
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 ...
Hudjefa's user avatar
  • 3,742
1 vote
2 answers
103 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 ...
user avatar
4 votes
1 answer
185 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, ...
SwabianOrtolan's user avatar
0 votes
0 answers
29 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 ...
Kristian Berry's user avatar
2 votes
1 answer
127 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' ...
user avatar
3 votes
2 answers
257 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 ...
Kristian Berry's user avatar
2 votes
2 answers
98 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 ...
Kristian Berry's user avatar
0 votes
2 answers
99 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, ...
clayton groth's user avatar
2 votes
0 answers
49 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-...
Kristian Berry's user avatar
1 vote
1 answer
41 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-...
Kristian Berry's user avatar
1 vote
0 answers
23 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/...
Kristian Berry's user avatar
4 votes
1 answer
125 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 ...
Kristian Berry's user avatar
3 votes
1 answer
207 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&...
Kristian Berry's user avatar
2 votes
0 answers
33 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," ...
Kristian Berry's user avatar
1 vote
2 answers
92 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. ...
Kristian Berry's user avatar
1 vote
2 answers
101 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, ...
Kristian Berry's user avatar
2 votes
0 answers
40 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 ...
Kristian Berry's user avatar
0 votes
2 answers
63 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 ...
Kristian Berry's user avatar
3 votes
2 answers
94 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 ...
Kristian Berry's user avatar
0 votes
1 answer
62 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 ...
Kristian Berry's user avatar
3 votes
3 answers
525 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. ...
Axz's user avatar
  • 51
3 votes
2 answers
275 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 ...
user avatar
0 votes
2 answers
92 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 ...
vincentlin's user avatar
0 votes
1 answer
196 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 ...
Ryan's user avatar
  • 1
1 vote
7 answers
506 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 ...
Craig Feinstein's user avatar