looginen algebra | algebrallinen logiikka

looginen algebra
algebrallinen logiikka

Määritelmä algebrallinen systeemi tai teoria, joka muodostetaan tarkoituksena soveltaa sitä loogiseen analyysiin

Selite Algebrallinen logiikka syntyi 1800-luvun puolivälissä, kun Georg Boole (1815-1864) esitti, että traditionaalisen logiikan ja algebrallisten laskutoimitusten ja yhtälöiden välille voidaan rakentaa analogia, jonka avulla traditionaalista logiikkaa voidaan laajentaa niin, että se pystyy kuvaamaan paremmin matemaattisia todistuksia. Algebrallisen logiikan synty merkitsi vähittäistä siirtymää traditionaalisesta logiikasta moderniin matemaattiseen logiikkaan.

Lähikäsitteet

klassinen logiikka (yläkäsite)
traditionaalinen logiikka (vieruskäsite)

Käytetyt lähteet

EwaldW

Alaviitteet

Lähdeviittaus tähän sivuun:
Tieteen termipankki 4.5.2024: Filosofia:looginen algebra. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:looginen algebra.)

Siirry tarkastelemaan sivun muokkaushistoriaa →