/sci/ - Science & Math » Thread #11578122

91KiB, 1643x533, paraconsistent_logics.png

View Same Google iqdb SauceNAO

Dialetheism and Paraconsistent Logic

Anonymous Sat 18 Apr 18:15:20 2020 No.11578122 View Reply Original Report

Quoted By: >>11578135 >>11578915

Reminder that the universe is Dialetheistic and there are things that are both true and false at the same time - that is, there ARE "true contradictions".

Anonymous

Anonymous Sat 18 Apr 2020 18:21:47 No.11578135 Report

Quoted By: >>11578154

>>11578122
>there are things that are both true and false at the same time
Name one, schizo.

Anonymous

Anonymous Sat 18 Apr 2020 18:27:04 No.11578154 Report

Quoted By:

>>11578135
It's funny that you call it "shizo" because you dont like it, despite the fact that paraconsistent logic is well defined and a solid branch of study in mathematics and logic.

"This statement is false"
A particle is both spin up and spin down at the same time until measurement.
Einstein’s gravitation and general relativity at large are incompatible with the electromagnetic origin of mass established by quantum electrodynamics, thus being inconsistent with experimental evidence, despite the fact that general relativity is objectively true.

and many others.

Anonymous

Anonymous Sat 18 Apr 2020 22:22:07 No.11578915 Report

Quoted By: >>11581107 >>11581587 >>11581642

>>11578122

paraconsistent logic is so funny to me. it is like "non-euclidean geometry"- these people are still making all of their measurements in a euclidean space. the "non-euclidean" measurements are still measured in a euclidean space. likewise, these "paraconsistent statements" are still being evaluated from the vantage point of a consistent language.

it's so silly when people think they can "escape" logic or geometry.

Anonymous

Anonymous Sun 19 Apr 2020 13:41:37 No.11581107 Report

Quoted By:

>>11578915
What? No, non-euclidean geometry is not being measured in euclidean space it's just compared to it to see the differences. The whole point of paraconsistent logics is to come up with different modes of inference and determination values (not just T or F but T, F, B, and N) in order to be able to deal with statements that you can't deal with classically.

No one is "escaping" anything there is nothing about classical logic nor Euclidean Geometry that has a privileged position mathematically or logically.

Anonymous

Anonymous Sun 19 Apr 2020 16:14:50 No.11581587 Report

Quoted By:

>>11578915
it's easy to define a metric space with a non-Euclidean metric. not sure what you're going on about.

eg: the set of men in the world that have had sex with your mom, and the distance between them measured as the number of differences in their sperm's DNA.

Anonymous

Anonymous Sun 19 Apr 2020 16:31:36 No.11581642 Report

Quoted By:

>>11578915
Our own universe isn't euclidean lmao

Capcode	All Only User Posts Only Moderator Posts Only Admin Posts Only Developer Posts
Show Posts	All Only With Images Only Without Images
Deleted Posts	All Only Deleted Posts Only Non-Deleted Posts
Ghost Posts	All Only Ghost Posts Only Non-Ghost Posts
Post Type	All Only Sticky Threads Only Opening Posts Only Reply Posts
Results	All Grouped By Threads
Order	Latest Posts First Oldest Posts First

Your latest searches