喬治·布爾
創(chuàng)立布爾代數(shù)，奠定計算機科學(xué)基礎(chǔ)
思維法則的有效性不依賴于它們所應(yīng)用對象的性質(zhì)。
思維法則是所有精確推理的基礎(chǔ)。
符號的解釋是所有推理的基礎(chǔ)。
思維法則的有效性不受其所應(yīng)用對象性質(zhì)的影響。
概率是基于部分知識的預(yù)期。