What if Aristotle was just... wrong?

Are you retarded? Aristotelian syllogisms are the basic of boolean algebra and therefore all modern digital electronics, at the highest most modern level. Before that it was the basis of all logic systems

chrysippus' logic was better

Lol first order logic may contain some Aristotelian syllogism, but it's far from being the subject.

No, there are other methods now used where we obtain the predecessor en passant, and have no need to keep track of the provenance of any bit which is a req of boolean algebra.

Things like booleans are obsolete in modern CS/engineering. They served their purpose throughout the previous century but are no longer needed because they require state to make a judgement.

You're a fucking idiot and completely clueless. Pretty much all systems require state. CPUs are big state machines that run on boolean logic.

You're one of those haskell faggots who thinks that because you're obsessed with some obscure low performance language, everyone else is too. Guess what, your operating system runs on C and is stateful as FUCK, nigga

Veeky Forums is probably written in php which is implemented in C, or implemented in something that is implemented in C, you cuck

No, they don't require state. I also don't use Haskell.

Your problem is brainletitus. You have blinded yourself by reducing the information you have at hand to a bit, and then trying to recover that information later by remembering the provenance of that bit. This isn't needed in modern computer science.

My operating system is based on a 1980s monolithic kernel so I don't understand what you're talking about, I'm using last centuries technology like most other people. However that doesn't mean state is req, or booleans are still req, because they aren't.

You're a fucking idiot pontificating about things you don't understand

Literally every instruction set architecture and therefore every programming language utilizes conditional branching which relies upon boolean conditions, calculations via adders and multiplexers, etc. And these are all the literal physical manifestations of boolean algebra

Maybe you're trying to sound smart or something but you're just completely wrong.

The insults don't help your argument, and it appears you are unable to defend your position without feeling threatened, which is typically how a brainlet reacts like a caveman confronted with a calculator.

>every programming language
oops made a mistake there

Booleans are almost invariably confused with propositions, which express an assertion, or make a claim. They require provenance of state, and cannot be proved, which is why you don't use them when verifying software. Bool cannot satisfy numerous specifications, you cannot test equality of propositions.

I'm not arguing that my CPU is not using branch prediction with last centuries methods, I'm arguing you don't need bools to write a program anymore and haven't since SML was invented, or even the lambda calculus.

Just shut up you idiot, I'm a highly paid and highly skilled software engineer and you're fucking retarded

Functional languages are implemented in C you C-uck

First of all, Aristotle is genuinely useless, and only academic and historical. Let's be absolutely clear on that, first.

Next, though I don't have a dog in the fight and am naive on the points, this guy, to my mind,

appears thus far to be more right than this other later guy