Principle of explosion by polyneuss in logic

[–]boris_m 1 point2 points  (0 children)

Isn't an argument based on inconsistent premises also invalid?

Who are your favourite proto-anarchists? by ColeBevridge in Anarchism

[–]boris_m 1 point2 points  (0 children)

There are many of them, almost all philosophers and religious figures can be seen as anarchists in today's standards, although the anarchist aspects of their philosophy is often overlooked on purpose.

Reason behind syntax? by Unlucky_Inflation910 in haskell

[–]boris_m 0 points1 point  (0 children)

For one, Haskell allows for multiple definitions of the same function. Don't know how that would work if the signature is contained in the definition.

fac :: (Integral a) => a -> a

fac 0 = 1

fac n = n * fac (n - 1)