Filosofia:looginen syntaksi

Tieteen termipankista

Tällä käsitteellä ei ole otsikon muodostavia nimityksiä.

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.

Käytetyt lähteet

Rantala&Virtanen2003

Alaviitteet

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