Filosofia:looginen syntaksi

    Tieteen termipankista

    looginen syntaksi

    looginen syntaksi
    Määritelmä


    1. loogisen kielen syntaksi, joka koostuu kieleen kuuluvien merkkien joukosta eli aakkostosta ja kaavanmuodostussäännöistä

    2. päättelyn syntaksi eli päättelysysteemi, joka on kokoelma aksioomia ja päättelysäänntöjä
    Selite

    Kun tutkitaan lauseen tai proposition loogista rakennetta tai muotoa, tämä rakenne riippuu siitä millaista loogista systeemiä tai kieltä tässä analyysissä käytetään. Lauseen looginen muoto on riippuvainen käytetyn loogisen kielen syntaksista.

    Puhuttaessa loogisesta syntaksista on tärkeää olla selvillä puhutaanko kielen loogisesta syntaksista vai syntaktisesta päättelystä, jonkin päättelysysteemin päättelysääntöjen mukaisesta päättelystä tai argumentista. Sekaannusta saattaa tuottaa tilanne, jossa päättelyn premissit, askelet ja johtopäätös on esitetty jollain loogisella kielellä eikä ole selvää viitataanko loogisella syntaksilla kielen vai päättelyn syntaksiin.

    Lähikäsitteet

    Käytetyt lähteet

    Rantala&Virtanen2003

    Alaviitteet

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