Post B33xHmRIM22hOGC4Aa by nyx@social.xenofem.me
(DIR) More posts by nyx@social.xenofem.me
(DIR) Post #B33kXXkjQYcP4PTGkq by utz@social.xenofem.me
2026-02-06T23:11:14.123879Z
1 likes, 0 repeats
why did I have to get interested in logic :blobcatnotlike:
(DIR) Post #B33kYDUYF6dCWODwMi by nyx@social.xenofem.me
2026-02-06T23:14:40.521586Z
0 likes, 0 repeats
@utz because it's cool
(DIR) Post #B33nKgnOnIIjDMHTns by utz@social.xenofem.me
2026-02-06T23:43:38.102270Z
1 likes, 0 repeats
@nyx it's just so frustrating cos there's these piles and piles of abstractobabble and everythings same but different but same but contradictory but self-evident but wrong etcetcetc...
(DIR) Post #B33o8UjFvrp4Gk5m4G by nyx@social.xenofem.me
2026-02-06T23:55:08.227220Z
0 likes, 0 repeats
@utz it's been awhile since I've done any logic stuff but something I remember about it that is sorta frustrating in retrospect is that a lot of logic purports to be like a universally useful measure of "truth", which is completely antithetical to my whole philosophical grounding being a Deleuzian and all. this is something he talks about in the Nietzsche book actually, that "truth" is kind of an inherently moralistic idea that posits the existence of a true world separate from this one and when you put it under scrutiny if you try to define some universal idea of truth it ends up being more indicative of the *values* of the philosopher. anyway, this is related to logic because I've had this crazy idea recently to attempt to essentially write a lisplike logic syntax, but instead of using true/false it follows the lispy paradigm of the fundamental primitive being the cons cell, and instead of being used to determine true/false statements is instead used for expressing conceptsthis is obviously a very vague and half-baked idea right now because it's a somewhat ambitious idea that I don't want to spend too much time on until I've gotten a couple other things done first and can afford to waste my time on weird crazy side projects like this
(DIR) Post #B33rBoMPhO45t1gH6e by realpetrateal@social.xenofem.me
2026-02-07T00:10:56.938874Z
0 likes, 0 repeats
@nyx @utz > "truth" is kind of an inherently moralistic idea that posits the existence of a true world separate from this one and when you put it under scrutiny if you try to define some universal idea of truth it ends up being more indicative of the *values* of the philosopher.I think nonphilosophy resolves this paradox in how it posits "the Real" rather than "truth". the Real is simply everything, with no hierarchical categorization between what is in it. lies are as much a part of the Real as truths are. but the Real is still, well, real. so it's not a psychotic delirium like what irrationalists might champion. it's just about trying to understand the Real as much as possible, scientifically.
(DIR) Post #B33rBpzncRAExT7F8S by nyx@social.xenofem.me
2026-02-07T00:29:19.598793Z
0 likes, 0 repeats
@realpetrateal @utz idk I don't know anything about Laruelle so it's not clear to me whether or not this actually solves the problem or just puts it into different terms. much like the thing I just mentioned, reading Laruelle is in my backlog of "shit to do when I've gotten some writing done that I absolutely must finish to be able to die without any regrets should the time come"
(DIR) Post #B33rGB0pQCp3IYfMaO by utz@social.xenofem.me
2026-02-07T00:27:22.494983Z
1 likes, 0 repeats
@nyx I want in on the nonboolean logic lisp stuff!! it's exactly something I've been playing around with in my head, but it never left the imagination cos I'm not so techy. but I can provide some conceptual/intensional logic know how :xf_lambert:the first part is relatable, I could ramble on and on abt it. but basically, if the arboreal and rhizomatic are actuslly intertwined, and they are, then there's really nothing to worry abt wrt being too much this or too much that, cos ur always gonna run into the other one again. so one can just take it easy imo, as long as one doesn't dogmatically act like the other side doesn't exist. like, my introduction to genuine speculatory thought was lemurianism and i will ultimatelyalways be a neolemurian, so it's kinda funny that im seemingly all about understanding and reason and stuff now; but with the numogram it was the most systematic, symmetricomaniacal view that lead me to find it's utter ungroundedness, and it's just kinda what comes to me naturally. what I feel like I'm doing now is recovering the image of thought, scraping the yellowed varnish of to reveal the trembling brushwork and freaky background characters also wrt boolless control flow stuff check these out. don't look up the guy from the last two links, he's a total chud now apparently https://justinpombrio.net/2025/09/22/imagining-a-language-without-booleans.htmlhttp://www.toccata.io/https://youtu.be/M_Zgua9nzec
(DIR) Post #B33t54znePHFMS1NpI by nyx@social.xenofem.me
2026-02-07T00:50:33.608522Z
0 likes, 0 repeats
@utz reminds me of a thing I was just talking about last night with an irl about how in nature systems all are hybrids of centralization and decentralization, because the two things solve different problems and are meant to work harmoniously together, and in their pure forms are abstractions that don't exist in the real world. it is important to have some kind of structure and to also be critical of the structure, not take it as a one-to-one reflection of reality (the map is not the territory; the best model of a cat is a cat, especially the same cat) but as a useful set of tools for composing different assemblages. I could see there being a lot of overlap here with Lambert from the general vibe I've gotten about him. but yeah, I do think there's something here and that this is directly relevant to Deleuze because one of the defining qualities of lisp is that it's called the "Maxwell's equations of computation" because you can effectively implement any computing paradigm on top of lisp, and what I would want is essentially a way of expressing concepts that is universally productive :xf_deleuze: :xf_guattari:read more about programming language theory, implementing my own lisp, maybe learning a logic programming language like Prolog would all probably help to flesh out this idea more aside from continuing to read Deleuze with these things in mind.
(DIR) Post #B33tHWYB1ttGIL2Dx2 by nyx@social.xenofem.me
2026-02-07T00:52:47.232966Z
0 likes, 0 repeats
@utz anyway my elevator pitch for all this is that if formal logic tries to describe a grammar for reason, what I want to develop instead is the notation for a poetics of thought
(DIR) Post #B33ttvjrpMzRQ5ogEq by utz@social.xenofem.me
2026-02-07T00:58:44.653744Z
1 likes, 0 repeats
@nyx nodnods let's talk more abt this when I don't have to sleep. also u gotta get novalispilled
(DIR) Post #B33wKH7v87bbBtl0JE by corpsedoll@pl.kotobank.ch
2026-02-07T01:00:38.861287Z
0 likes, 0 repeats
@nyx @utz i am absolutely horrified to discover that dialectics.org seems to be offline but https://web.archive.org/web/20220701004030/https://www.dialectics.org/ (posting it again award)
(DIR) Post #B33wKIafgiCJjMDTlI by corpsedoll@pl.kotobank.ch
2026-02-07T01:01:57.535942Z
0 likes, 0 repeats
@nyx @utz oh its still up at http://dialectics.info i am brought incredible reliefedit http://dialectics.info/dialectics/Primer_files/Karl_H._Seldon_,_for_F.E.D._,_v.2.0_,_Introduction_to_%27Contra-Boolean%27_Thinking_,_21MAY2016.pdf
(DIR) Post #B33wKJgNcyMH7LtYIa by nyx@social.xenofem.me
2026-02-07T01:26:52.730856Z
2 likes, 0 repeats
@corpsedoll @utz this reminds me of hegel.net lol. I think that Hegelianism is kind of like the Java of philosophy: it's universally useful, and in a way has a beautiful kind of "turtles all the way down" approach that is fully realized, but it's also incredibly overcomplicated and unwieldy. I've noticed that Hegelians also tend to actually engage with the philosophy in interesting applied ways like these two sites, which is exactly what I wanna do with Deleuze, so if nothing else this is some good inspiration
(DIR) Post #B33xHl11eDR2yUtZaK by realpetrateal@social.xenofem.me
2026-02-07T01:03:49.929197Z
0 likes, 0 repeats
@nyx @utz I don't really expect anyone to be reading any theory, I just reference stuff when its relevent but it's never a recommendation to read the same stuff unless worded as such. I haven't read much since 2024 and times aren't looking any better for reading in the foreseeable future. I'd rather books collect dust while people go outside and talk to each other
(DIR) Post #B33xHmRIM22hOGC4Aa by nyx@social.xenofem.me
2026-02-07T01:37:40.372896Z
3 likes, 2 repeats
@realpetrateal @utz I think that reading theory is important, and it's something I have an interest in doing because theorizing and agitpropagandizing are the sorts of things I can contribute to the real movement with the greatest degree of asymmetry, but I think the problem is that most people do the thing that Mao described as "book worship". most people approach theory the same way they were taught to study books in school: the book is the source of truth, you are supposed to study and memorize it so you can be tested and graded on your knowledge of it. but that's all bullshit, the point of reading theory is to engage with it, to sharpen your ability to think precisely and make use of it in practical real-world ways so that our actions will be more effective. you need to play the game in order to win but you also have to use your brain
(DIR) Post #B345Z9ec5vvlwiDdOy by winterklaus@social.xenofem.me
2026-02-07T02:41:27.668781Z
1 likes, 0 repeats
@nyx @realpetrateal @utz ending quote of the sots film:
(DIR) Post #B35Wd4VA5L652pqlVo by nepetalactone@social.xenofem.me
2026-02-07T19:28:57.287016Z
1 likes, 0 repeats
@nyx @utz an aside but CL has made me despise booleans in every other languagei think NIL is more intuitive than 'actual' falsity, but more practically, it means less typing - even Scheme which is still probably my second favorite language suffers from having made #f its own thing
(DIR) Post #B35XfYFoXMMVqzPxeS by rowb1t@social.xenofem.me
2026-02-07T20:00:08.948232Z
0 likes, 0 repeats
@nyx @utz this is actually related to an interesting niche in theoretical computer science (particularly computability) derived from the Lambda calculus (and, consequently, lisp). are you familiar with the curry-howard correspondence? i was originally introduced to the concept of "computer program as proof" by the paper i've attached, which was written from a math pedagogy perspective but has some interesting thoughts on the topic.