Введение в логику и научный метод

1.  Принцип тождества : для любого класса а < а.

В этом принципе утверждается, что каждый класс включен в самого себя. Из данного принципа, а также из определения равенства следует, что а = а.

2.  Принцип противоречия : 

= 0.

Ничто не является членом класса а и одновременно членом класса не-а.

3.  Принцип исключенного третьего : а + 

= 1.

Каждый индивид универсума либо является членом а, либо членом не-а.

4.  Принцип перестановки : аb = Ьа

а + Ь = Ь + а.

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

5.  Принцип ассоциации :

( ab ) c = a ( bc ),

( a + b ) + c = a + ( b + c ).

6.  Принцип дистрибуции :

( a + b ) c = ac + bc ,

ab + c = ( a + c ) ( b + c ).

В первой строчке выражен аналог хорошо известного свойства обычных чисел. Во второй же вводится значимое различие между предлагаемой алгеброй и ее обычным (вычислительным) видом.

7.  Принцип тавтологии :

aa = a ,

a + a = a .

Эти два принципа заключают в себе радикальное различие между обычной (вычислительной) алгеброй и той, что предлагается здесь.

8.  Принцип поглощения :

a + ab = a ,

a ( a + b ) = a .

9.  Принцип упрощения :

ab < a,

a < a + b .

Из последних двух принципов следует, что нуль-класс включен в любой класс (0 < а) и что любой класс включен в универсум (а < 1). Чтобы наглядно в этом убедиться, нужно всего лишь допустить, что Ь = 0 в первом выражении и что Ь = 1 во втором выражении.

10.  Принцип композиции :

[( a < b ) . ( c < d )] ⊃ ( ac ⊃ bd )

[( a < b ) . ( c < d )] ⊃ [( a + c ) < ( b + d )].

Здесь мы, как обычно, используем символ «⊃» для обозначения отношения импликации и точку («.») для обозначения совместного утверждения обоих суждений. Первое выражение читается так: «Если а включен в b и с включен в d , то логическое произведение а и с включено в логическое произведение b и d .