Filosofia:moderni logiikka
Tällä käsitteellä ei ole otsikon muodostavia nimityksiä.
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.
Käytetyt lähteet
Alaviitteet
Lähdeviittaus tähän sivuun:
Tieteen termipankki 5.6.2025: Filosofia:moderni logiikka. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:moderni logiikka.)