Filosofia:lauselogiikka

From Tieteen termipankki
Jump to: navigation, search

lauselogiikka | propositiologiikka

lauselogiikka(suositeltu)
propositiologiikka
Definition stoalaisten kehittämä pätevän päättelyn muoto
Explanation 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.

Related Concepts

Sources

NordinS1999, NiiniluotoI1984, SaarinenE1994

References

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


Siirry tarkastelemaan sivun muokkaushistoriaa →