A formállogika is alapinformációkból épül fel és nem zsigerti indittatású, mint nálatok szokásos.