Algebra logiki
Termin algebra logiki jest obecnie używany jedynie w kontekście historycznym. W drugiej połowie XIX wieku oraz na początku XX wieku, algebrą logiki określano logikę formalną, która była rozwijana na wzór algebry liczb. W tym przypadku wykorzystywano symbole takie jak dodawanie, mnożenie i odejmowanie, których znaczenie było odpowiednio dostosowywane. Pionierami tego podejścia do logiki byli George Boole oraz Augustus De Morgan. Algebra logiki stanowiła jeden z kierunków, z których wyrosła współczesna logika formalna.
Przypisy
Bibliografia
- Witold Marciszewski (red.), Mała encyklopedia logiki, wyd. 2 rozszerzone, Wrocław, Ossolineum, 1988 (1sze wyd. 1970) ISBN 83-04-01327-4
