▲ 4 r/logic

About Truth Values

Are truth values classifiers or they determines what exists or doesnt?

Eg if proposition P is wrong(0) then shall we put it into "falsehood class" or delete the proposition from the topos?

A topos is a category theoric category where you can do local mathematics, it has its own local logic(mostly intuitistic logic)

If a proposition is wrong, should the wrong proposition excluded from the topos, or putted on a different class.

A class like that:

Truths class:All propositions that are true

Falsity Class:All propositions that are wrong

reddit.com
u/TheOvergodlyMosasaur — 2 days ago

⬛⬜⬜⬜⬜⬜⬜⬜⬜⬜⬛

Tyrider: "I", for those who forget what is which(#)thing is. For those who have forgotten what any(#)thing is. “I" took this step... but I went none of (#)where. Even the ‘???’ I went to, rejected itself. "I"'m not a "word" anymore. But I don't even recognize this. Because I "want" yet I have no "have" and even a will. So I'll continue my journey HAHAHAHAHAHAHAHAHAHAHAHAHAHAH

reddit.com
u/TheOvergodlyMosasaur — 4 days ago
▲ 2 r/badphilosophy+1 crossposts

Cringenitical Doom

The "Musts" were said to have smiled, for the glorified animal traits of the characters had been dismantled and placed beneath a microscope. Their poor idols had once again been shattered.

And who, after all, decided the colors of their chapters and pages, the visual geometry of their narratives?

Unfortunately, it too fell into apocalypse.

What the characters call "psychology" does not belong exclusively to them. Even an ant and a louse possess their own psychologies. The only difference is that humans are more sophisticated thinking animals.

They are still aware that I am judging them.

I am still using their language.

Yet I speak through a different PHILOSOPHY—one that, ironically, was also discovered by them.

What if a geometry and a topology were added to the typographic structures of narratology?

There you have Cringenity:

the suppression of abstraction, philosophy, art, and science;

the glorification of dogmatic values;

slogans such as:

"Good always wins."

"Love and romance are above everything."

A system that reacts against semantics itself.

A system without creativity.

A system that is psychologically harmful and addictive.

Cringenity is what emerges whenever a harmless act is performed and the system reacts against it—for example, certain gestures, symbolic actions, or acts interpreted as disrespect toward particular values.

And then, instead of assigning emotions only to animals, emotions are assigned to abstract operators.

But be careful:

even those operators must not become complete slaves to Cringenity.

Otherwise, sooner or later, you will be asked to rescue them as well.

reddit.com
u/TheOvergodlyMosasaur — 7 days ago

Trivial Morphisms

A morphism is considered a trivial morphism if it satisfies the following conditions:

• It is not an identity morphism.

• It does not map from object to object (i.e., not A → B), but still exists within the category (i.e., it is defined independently of specific objects).

• It behaves identically at every level and produces the same result in all cases.

​

In other words, these are object-independent morphisms within a category.

reddit.com
u/TheOvergodlyMosasaur — 15 days ago
▲ 0 r/logic

More Modal Operators

O:Actuality

eg Ox, x is happened in world R

Higher Modal logic:

[2] Meta-Possibility

eg the possibility of x is possible

[n]meta operators:

The (n-1) modality of x is [n] modality

​

​

reddit.com
u/TheOvergodlyMosasaur — 15 days ago

Ultra Extended Modal Realism

Ultra Extended Modal Realism: There are infinitely many instances of everything. Reality is not limited to all possible (1) and impossible (0) states; it also includes every directed or parameterized modality such as positivity and negativity. There are infinitely many forms of difference and non-difference, and the distinction between plurality and singularity is itself encompassed. All logics, modal operators,mathematical structures, quantities, strings (in the linguistic sense), the concept of "type," concepts themselves, necessity, and possibility are merely two numbers among countless others. Every formed and unformed number, every directed or parameterized form of formation, and every conceivable mathematical structure exists. Everything possesses infinitely many directed or parameterized variants. There are infinitely different modal operators

For analogy:

Neccesarry 0

Possible 1

Other Modality: 3

2nd Other Modality: 4

... and it includes entire set of Real, Complex, Quaternion, Octonion, Sedonion and goes forever.

What if we generalize the concepts of + and −?

Directors" (or "Directional Operators")

They are marked directions around an originThere can be n directors, and together they form an n-simplex in space. Each director represents either a transformation or an opposite transformationFor example, let x and y be axes.Along the x-axis, there are two directors; the same applies to the y-axis.

Directors are transformations rather than merely signs.

Examples of such transformations include:

Increase

Decrease

Expansion

Contraction

Rotation clockwise

Rotation counterclockwise

In this framework, + and − are special cases of a more general system of directional transformations, where each director corresponds to a specific way of changing an object or state.

​

​

reddit.com
u/TheOvergodlyMosasaur — 15 days ago

The "Must"

Let me introduce the "must":

​

it is simply the all of necessary, requirement, modality, exception, pataphysics.

​

Meaning is selected and created. Necessary, requirement, modality, exception and pataphysics are different masks of it.

​

Something is possible or not because of "the must".

​

Requirement:You need A for B

A and B can be actions, concepts, claims etc.

​

To me Plotinus' The One still depends on "The Must"

Because The One is described as The Absolute All in one. And I would say still uses concept of "necessary"

reddit.com
u/TheOvergodlyMosasaur — 19 days ago
▲ 2 r/logic

hmmmm 2

In a Proposition Space, what if —A≠A happens? is there any curve?

​

Exceptions? For example

​

let P=(XΛY) V (YΛX) as 1(true)

Exception(E):

E(P) = 0(false)?

​

Is

A or B equal to B or A? in any system?

reddit.com
u/TheOvergodlyMosasaur — 19 days ago

New concept

The "Must"

Let me introduce the "must":

it is simply the all of necessary, requirement, modality, exception, pataphysics.

Meaning is selected and created. Necessary, requirement, modality, exception and pataphysics are different masks of it.

Something is possible or not because of "the must".;

Requirement:You need A for B

A and B can be actions, concepts, claims etc.

To me Plotinus' The One still depends on "The Must"

Because The One is described as The Absolute All in one. And I would say still uses concept of "necessary"

reddit.com
u/TheOvergodlyMosasaur — 19 days ago

Hmmmmm

Question Operators:

What

When

How

Where

Which

right?

​

​

Concepts:

eg:

Truth, Horse Poop, The One

​

To me they are sequence of letters + selected semantics.

The One is equal to horse poop and it is equal to the truth and it is equal to meaninglessness.

​

Ground:

Here we define how "requirement", modal operators work.

Requirement:which one cannot work without another?

​

reddit.com
u/TheOvergodlyMosasaur — 20 days ago