Claims

Every statement evaluated in a context — the verdict-bearing unit. Browsing by claim keeps context front and center; each row links to its own page, with a link back to the broader statement if it holds in more than one.

Maintaining and refining warranted knowledge in Programming Languages generally serves human thriving. Understanding programming languages supports reliable expression and implementation of computations. This concerns maintaining knowledge, not approval of every possible use.

Programming Languages Defeasibly affirmed

Maintaining and refining warranted knowledge in Computer Science generally serves human thriving. Reliable automated information processing extends the practical reach of scientific knowledge. This concerns maintaining knowledge, not approval of every possible use.

Computer Science Defeasibly affirmed

Maintaining and refining warranted knowledge in Science generally serves human thriving. Reliable predictive tools help reduce human suffering. This concerns maintaining knowledge, not approval of every possible use.

Science Defeasibly affirmed

Software systems are implemented as programs written in programming languages.

Computer Science Affirmed

Programming languages provide the notation and semantics for expressing computations.

Computer Science Affirmed

Computer science provides formal and empirical methods for predicting and verifying the behavior of automated systems.

Science Affirmed

Automated information processing expands the reach, scale, and reliability of practical tools.

Science Affirmed

The scientific method reliably produces predictive tools.

CommonParlance Affirmed

Reliable predictive tools reduce human suffering.

CommonParlance Affirmed

Human suffering is bad; human thriving is good.

CommonParlance Affirmed