Formalization in philosophical logic.

Discusses the proper uses of formalization in philosophical logic. Uses of logic for expression of formal structures of thought and an inference mechanism; Need for pragmatic selectivity in the application of formalization to the development of particular formal systems; Inapplicability of logic to derive substantive metaphysical, normative or scientific content.