«Другим примером мереологической интерпретации системы Буля является не аксиоматизированное, но вполне отчетливо обрисованное исчисление индивидов Нельсона Гудмена, основанное на единственном специфическом первичном термине, который выражает как бы общность фрагментов двух предметов. Мы говорим, что два предмета (далее…)

Могло бы показаться, что мы и здесь имеем дело с интерпретацией через классы, поскольку говорится о классах. Однако это лишь видимость. В действительности здесь идет речь об отношении фрагмента к целому. То, что автор называет частью (далее…)

Интерпретация через классы алгебры Буля не надо смешивать с интерпретацией, которую мы позволим себе назвать мереологической. Такую интерпретацию мы получим, если 1 будем трактовать, например, как определенное тело, а, Ь, с… и т. д. как его (далее…)

До сих пор мы говорили об алгебре Буля таким образом, как если бы это было какое-то исчисление классов, некий алгоритм, служащий специально для обозначения определенных отношений между такими-то, а не иными классами произвольных предметов на основе (далее…)

Главную проблему алгебры логики Буль понимал следующим образом: из перекрещивания классов, в котором содержится в посылках данный класс, исключить определенные классы и найти эквивалент данного класса в виде суммы определенных произведений оставшихся классов или их отрицаний. (далее…)