Filosofia:looginen syntaksi

From Tieteen termipankki
Jump to: navigation, search

looginen syntaksi

looginen syntaksi
Definition
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ä
Explanation 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ä, jonki päättelysysteemin päättelysääntöjen mukaisesta päättelystä tai argumentista. Sekaannusta saattaa tuottaa se, että usein päättelyn premissit, askelet ja johtopäätös on esitetty jollain loogisella kielellä eikä ole selvää viitataanko loogisella syntaksilla kielen vai päättelyn syntaksiin.

Related Concepts

Sources

Rantala&Virtanen2003

References

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


Siirry tarkastelemaan sivun muokkaushistoriaa →