Statements

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.

September 14, 2026 21:43

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.

September 14, 2026 21:43

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.

September 14, 2026 21:43

Science Defeasibly affirmed

Software systems are implemented as programs written in programming languages.

September 14, 2026 21:43

Computer Science Affirmed

Programming languages provide the notation and semantics for expressing computations.

September 14, 2026 21:43

Computer Science Affirmed

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

September 14, 2026 21:43

Science Affirmed

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

September 14, 2026 21:43

Science Affirmed

The scientific method reliably produces predictive tools.

September 13, 2026 17:10

CommonParlance Affirmed

Reliable predictive tools reduce human suffering.

September 13, 2026 17:10

CommonParlance Affirmed

Human suffering is bad; human thriving is good.

September 13, 2026 17:10

CommonParlance Affirmed