[FOM] Is there a compendium of examples of the "power" of deductive logic?

[John McCarthy]

It is possible to introduce mass, force, and acceleration separately,
so that F = kma, where k is a constant, becomes experimentally
testable.  Later units can be chosen so that k = 1.

Namely: Introduce mass as weights, the key fact being that when two or
more bodies are combined, the mass of the combination is the sum of
the masses of the constituents.

Introduce force using the static equilibrium of strings pulled by
springs or weights.  The key fact is that forces add vectorially.

Acceleration is based on measurements of position and time.  Time
intervals are also additive.