A = ~A

A = ~A

what does this imply, if simply assumed and taken as an axiomatic truth?

>inb4 nypa

halp pls

Other urls found in this thread:

en.wikipedia.org/wiki/Latent_learning
twitter.com/SFWRedditVideos

>A = ~A

>what does this imply

Uh, contradiction?

>A = ~A
wut?

isnt that a straight up logical impossibility?

A = ~A is ground for disproving any other argument, assuming that statement to be true is in essence gibberish. It's like assuming Light = Dark or 1 = -1.

yeah no

what does the logical system that arises out of the implied truth of contradiction look like though?

assume it's not impossible.

A cannot be "approximately" A.

symbol differs between the schools

also, V can absolutely be approximately itself.

And I see no empirical evidence for why I should simply assume [A=-A] is impossible.

Therefore because I cannot assume [] is impossible, I will attempt to craft a system in which [] is axiomatic.

From this you can actually prove everything

...

right?

wtf

>symbol differs between the schools

That doesn't matter. In syllogistic logic, A must be A, because the subject implies the predicate.

>A must be A

>the subject implies the predicate

necessarily? by what measurement?


Dude why are there only even and odd numbers? Why can't there a parity of three, maybe call it a trinity? Even, Odd, Angular?

...

You do know what axioms are right?

factual statements taken as true by systems derived from the full logical implications of those statements.

Let's say A=~A

A=A is still true.

hear me out for a second assume that an sentient omnipotence makes this possible or even necessary if it helps.

What would this mean?

Exactly. So why are you quibbling over one?

cause everybody assumes this one can't be chosen as an axiom from which to build a system and I just don't see the justification for that assumption.

The logical system would be that anything implies anything else you want.

Pretty convenient.

...

it can't imply this

~ [A=~A]

unless you also included that one in your set of axioms.

Not as far fetched as it seems. On Earth you have Humans, with their intelligence tiers, and all the lesser animals.

It wouldn't surprise me if there was the Supreme Creator Deity, humans, and a whole bunch of stuff in between; including aliens and AI.

Isn't it more something like

A = A
B = B
A + B = C

From there you can expand all you want I think

>A + B = C

no this is much better

A + B = ~ C

how is nthis possible? why 11 days? Is there any more info on this?

this is the biggest btfo of radical behaviorism ever btw all the way back in 1920 when Tolman introduced us to latent learning or the idea that mental events occur independent of behavioral expression which was a big time revelation to pigeon trainers apparently.

en.wikipedia.org/wiki/Latent_learning

I read the article and I find fascinating but I still can't grasp the term "latent learning". What does it mean?

>Latent learning is a form of learning that is not immediately expressed in an overt response; it occurs without any obvious reinforcement of the behavior or associations that are learned.

You learn the maze you're walking even if you aren't reinforced at the end. Reinforcement incentivizes rapid completion, not learning.

unfathomable, most likely. can you come with a scenario where something is both itself and its direct opposite? sure, we can hypothetically say it exists, but we cant hope to say anything about its properties or nature. the closest thing i can think of to something similar to that is the wave-particle duality, and that concept it currently boggling every mind that attempts to understand it, so

Because it can be used to prove any expression, making it useless.

It's just that classical logic is convenient.

That's math.

Yes it can because it implies F = T. All falsehoods are taken to be true. Therefore,

[] -> ~[]

is true. This system contains only trivial statements because all statements have the same truth value.