Mathematikai és Physikai Lapok 1908. április-május [antikvár]

Részlet: A LOGIKA ALGEBRÁJA 1. Bevezetés. A logika algebráját George Boole (1815-1864) alapította meg, továbbfejlesztette és tökéletesítette Ernst Schröder (1841-1902). E kalkulus alaptörvényeit az okoskodás elveinek, a "gondolkodás törvényeinek" kifejezésére alkották meg, de tisztán formális (mathematikai) álláspontból is tekinthető, mint néhány tetszőlegesen választott elven nyugvó algebra. Hogy e kalkulus megfelel-e és hogy milyen mértékben felel meg az ész tényleges műveleteinek és hogy alkalmas-e kifejezni, sőt helyettesíteni az okoskodást, az tisztán philosophiai kérdés; mi nem ezt fogjuk vizsgálni. Formális értéke és haszna a mathematikus számára teljesen független interpretácziójától és a logika problémáira való alkalmazásától. Egy szóval: nem mint logikát, hanem mint algebrát fogjuk kifejteni.