Filosofia:lauselogiikka

Kohteesta Tieteen termipankki
Loikkaa: valikkoon, hakuun

lauselogiikka | propositiologiikka

lauselogiikka(suositeltu)
propositiologiikka
Määritelmä stoalaisten kehittämä pätevän päättelyn muoto
Selite Aristoteleen syllogistiikassa oli jo alku lauselogiikalle, mutta stoalaiset oppineet kehittivät sen täyteen muotoonsa. Lauselogiikassa loogiset perussymbolit vastaavat arkikielen sidesanoja "ei", "ja", "tai", "jos-niin" ja "jos-ja-vain-jos". Näillä sanoilla on kuitenkin arkikielessä erilaisia merkitysvivahteita.
1800-luvun lopulla Gottlob Frege (1848-1925) kehitti lauselogiikkaa teoksessaan Begriffschrift ja muokkasi sen formaaliin asuun. Näin muodostuneen lausekalkyylin olennainen piirre on se, että se on täysin yksiselitteinen järjestelmä - sekä lauseenmuodostussäännöt että päättelysäännöt määritellään siinä täsmällisesti.

Lähikäsitteet

Käytetyt lähteet

NordinS1999, NiiniluotoI1984, SaarinenE1994

Alaviitteet

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