Filosofia:looginen algebra
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
Alaviitteet
Lähdeviittaus tähän sivuun:
Tieteen termipankki 21.12.2024: Filosofia:looginen algebra. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:looginen algebra.)