formalist

The thing is, you cannot beat human moral qualities with formalist means.

A logician / formalist would argue that mathematics is principally (entirely?) about proving derivations from axioms - theorems.

This is the formalist view of mathematics, which was the dominant view at the beginning of the 20th century.

The Formalist viewpoint is that mathematics is just the manipulation of symbols, according to certain rules.

Harold wasn't a narrow formalist; he understood that a rich culture is one worth preserving.

OOP has the same relationship to programming that formalist literary critique does to writing: the willful denial of connection to reality.

Freedom is not some formalist anarcho-capitalist construct, but meaningful ability to take individual action.

The important thing to note is that Raph’s ideas are in the formalist camp and there other competing theories about game design.

Suffice it to say that a full formalist description of a theorem, such that it can be reduced to a machine proof, is hard.

A mind could, in principle: receive axioms, apply logical inference, derive theorems (Hilbert / formalist view).

I'm not sure if this applies to artistic theory, but in film theory there's an entire discipline based around formalist, or stylistic critique.

What you say is called the formalist stance.

And you are effectively assuming a formalist philosophy of mathematics, which is highly controversial, many reject, and few would consider "proven".

Indeed, Brouwer's precursor of constructive logic was called "intuitionistic logic" precisely because he felt that it better captured an intuitive, rather than formalist, approach to reasoning.

The Platonist says "1 + 1 = 2 is a meaningful, true statement" while the formalist says "that P is a correct proof that 1 + 1 = 2, is meaningful, true statement".

Formalist definitions of the rule of law do not make a judgment about the "justness" of law itself, but define specific procedural attributes that a legal framework must have in order to be in compliance with the rule of law.

Formalist definitions of the rule of law do not make a judgment about the 'justness' of law itself, but define specific procedural attributes that a legal framework must have in order to be in compliance with the rule of law.