Философский словарь разума, материи, морали

139. Логика

Деятельность может обеспечить только одну половину мудрости; другая половина зависит от воспринимающей бездеятельности. В конечном счете, спор между теми, кто основывает логику на «истине» и теми, кто основывает ее на «исследовании», происходит из различия в ценностях и на определенном этапе становится бессмысленным.

В логике будет пустой тратой времени рассматривать выводы относительно частных случаев; мы имеем дело всегда с совершенно общими и чисто формальными импликациями, оставляя для других наук исследование того, в каких случаях предположения подтверждаются, а в каких нет.

Хотя мы больше не можем довольствоваться определением логических высказываний как вытекающих из закона противоречия, мы можем и должны все же признать, что они образуют класс высказываний, полностью отличный от тех, к знанию которых мы приходим эмпирически. Все они обладают свойством, которое чуть выше мы договорились называть «тавтологией». Это, в сочетании с тем фактом, что они могут быть выражены исключительно в терминах переменных и логических констант (где логическая константа – это то, что остается постоянным в высказывании, даже когда все его составляющие изменяются), даст определение логики или чистой математики.