Filosofia:lauselogiikka
propositiologiikka | lauselogiikka
| propositiologiikka | |
| lauselogiikka | (suositeltu) |
Määritelmä
logiikka, joka tutkii lauseiden välistä loogista rakennetta
Selite
Lauselogiikassa tutkitaan sitä miten lauseita yhdistellään konnektiivien avulla monimutkaisemmiksi lauseiksi. Nämä lausekonnektiivit vastaavat arkikielen sidesanoja "ei", "ja", "tai", "jos-niin" ja "jos-ja-vain-jos", joiden merkitys on synkategoremaattinen. Arkikielen konnektiiveilla on kuitenkin moninaisempia merkitysvivahteita kuin loogisten kielten konnektiiveilla, jotka määritelläään tavallisesti pelkästään totuusfunktioina. Lauselogiikkaa kehittivät jo hellenistisen ja roomalaisen ajan stoalaiset loogikot, mutta nykyisen muotonsa se sai vasta modernin logiikan syntyessä 1850-luvulta lähtien algebrallisen logiikan traditiossa. Ensimmäisen formaalin version lauselogiikasta, lausekalkyylin, julkaisi Hugh McColl (1831–1909) vuosina 1877-79. Lausekalkyyli sisältyi myös Gottlob Fregen (1848-1925) teokseen Begriffschrift (1879).
Lähikäsitteet
- konnektiivi (osakäsite)
- lausekalkyyli (alakäsite)
- predikaattilogiikka (vieruskäsite)
- totuusfunktionaalinen (ominaisuus)
Käytetyt lähteet
NordinS1999, NiiniluotoI1984, SaarinenE1994
Alaviitteet
Lähdeviittaus tähän sivuun:
Tieteen termipankki 19.4.2024: Filosofia:lauselogiikka. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:lauselogiikka.)