New answers tagged

3 votes
Accepted

Approaching the knowledge of knowing using premises

Let K(a, P) be the predicate that "a knows that 'P' ", and let i be a constant denoting you (or me, if you don't want to bear the brunt of the paradox :)). We will need to invoke a standard ...
confusedcius's user avatar
2 votes

Approaching the knowledge of knowing using premises

You ask: Also, are these just oxymoronic statements with no basis for actual philosophical discussion? The latter two seem to be exercises in universal and existential quantification, but the first ...
J D's user avatar
  • 26.6k
4 votes

What is the Normal Form of Proofs in Intuitionist Logic?

@conifolds linked answer is good. Let me provide a complementary perspective. By the curry-howard correspondence, a normal form is a lambda term that can no longer be reduced. if we associate lambda ...
emesupap's user avatar
  • 2,327
1 vote

How to prove the world is real, and one isn’t just hallucinating everything?

The question can answer itself depending on the definitions used. Do you think there are fundamental differences between perceiving reality vs. hallucinating? If so, do you think those differences are ...
Julius Hamilton's user avatar
-1 votes

How to prove the world is real, and one isn’t just hallucinating everything?

It can't be proved that life is real since we don't know what is beyond death! I meant, what if we are just computers and know that only after our death? What if this life is only a dream and when we ...
Rabail Anjum's user avatar
12 votes

How to prove the world is real, and one isn’t just hallucinating everything?

Two options: this reality is really real, or it isn't. If reality isn't real, you're probably not going to be able to prove it's not real any time soon, nor figure out the real nature of reality. You'...
TKoL's user avatar
  • 2,989
12 votes

How to prove the world is real, and one isn’t just hallucinating everything?

It sounds like you're asking: How do I know reality is real? So, there are variety of scenarios that have been offered in philosophy that challenge the thinker to think about proof and reality. All ...
J D's user avatar
  • 26.6k
3 votes

How to prove the world is real, and one isn’t just hallucinating everything?

The only tangible proof of a hallucination would be technical recreation of a similar quality believable hallucination. In a couple of hundreds of years, people should have sufficient computing power ...
TheMatrix Equation-balance's user avatar
1 vote

How is this logic valid?

I don't really like the way that proof is presented, and I know this isn't what you asked, but if you want to prove ~(P -> Q) is mutually implicated with P ^ ~Q, we can just compare the truth ...
TKoL's user avatar
  • 2,989
0 votes

How is this logic valid?

That looks like something I used in an attempted proof recently on a question I asked here regarding moral relativism. It was not well received on this site by several other commenters. I never used ...
theboombody's user avatar

Top 50 recent answers are included