Leftc

@leftc.bsky.social

14 Followers 36 Following

Marx enthusiast. Computer enjoyer.

Notwithstanding some innovations--for example, the theory of types, the value of which, despite the great amount of ingenuity expended upon them, is doubtful--symbolic logic is identical with formal logic on essential points.