Hacker News Reader

We can apply logic to anything and everything. What makes computer science singularly deserving of this label?

Computer science studies and invents logic whereas the math community has departed from logic as a whole.

I would say that the working, active logicians study and invent logics, not the computer scientists, who work with the narrower field of objects known as models of computation.

In reality, logicians and type theorists are employed in the computer science department and rightfully so. The whole field of computer science should upgrade with such influx of talent.

Computer science "invents" logic? What do you mean by that?

Are you familiar with the philosophy of logic and philosophical logic? Or formal semantics, which utilizes tools from the fields of symbolic logic and mathematics to generate (very precise) theories around the semantics of natural language expressions?

Reply on news.ycombinator.com