Single Idea 17779

[catalogued under 5. Theory of Logic / K. Features of Logics / 1. Axiomatisation]

Full Idea

The purpose of a 'classificatory' axiomatic theory is to single out an otherwise disparate species of structures by fixing certain features of morphology. ...The aim is to single out common features.

Gist of Idea

'Classificatory' axioms aim at revealing similarity in morphology of structures

Source

John Mayberry (What Required for Foundation for Maths? [1994], p.406-2)

Book Reference

'Philosophy of Mathematics: anthology', ed/tr. Jacquette,Dale [Blackwell 2002], p.406


Related Idea

Idea 17780 'Eliminatory' axioms get rid of traditional ideal and abstract objects [Mayberry]