Filosofia:moderni logiikka
moderni logiikka
| moderni logiikka |
Määritelmä
1850-luvulta lähtien matemaattiselta pohjalta kehitetty uusien logiikkojen tyyppi
Selite
Aristotelinen traditionaalinen logiikka hallitsi länsimaista logiikkakäsitystä 1800-luvun loppupuolelle saakka. 1850-luvulta alkaen kuitenkin matematiikassa heräsi kiinnostuns formaaliin logiikkaan ja sitä alettiin kehittää ensin algebrallisena (mm. George Boole, Augustus De Morgan, Charles S. Peirce ja Ernst Schröder) ja sittemmin myös loogisten formaalikielten teoriana (mm. Gottlob Frege, Bertrand Russell, David Hilbert ja Alfred Tarski). Traditionaalinen logiikka korvautui ilmaisuvoimaisemmalla klassisella logiikalla sekä sen laajennuksilla ja vaihtoehtoisilla muotoiluilla.
Lähikäsitteet
- klassinen logiikka (osakäsite)
- traditionaalinen logiikka (vastakohta)
Käytetyt lähteet
Alaviitteet
Lähdeviittaus tähän sivuun:
Tieteen termipankki 21.11.2024: Filosofia:moderni logiikka. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:moderni logiikka.)