Soroka, язык - не инструмент?:) Имхо, формальная логика, как и вся математика в целом - это язык, причём универсальный, позволяющий, принципиально, описать что угодно, при нужной интерпретации. Ну да, это инструмент. Равно как и инструментом является, например, русский язык. Можно и так относится к языку, хотя понятно, что любой язык - это не только инструмент, но и скелет разума и мышления вообще, я уж не говорю об эстетике, например.