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

deduktio (alakäsite)
looginen semantiikka (vieruskäsite)
päättely (alakäsite)
syntaksi

Käytetyt lähteet

Rantala&Virtanen2003

Alaviitteet

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

Siirry tarkastelemaan sivun muokkaushistoriaa →