Dyskusja:Język (logika)

Z Wikipedii

To chyba duplikuje artykuł język formalny. Taw 01:05, 8 mar 2003 (CET)

Wydaje mi się, że nie do końca, chociaż języki formalne stanowią bardzo szeroką klasę języków. Być może stanie się to lepiej widoczne, jak napiszę resztę artykułu. Język (w tym rozumieniu) służy do zapisywania zdań mówiących coś o strukturach matematycznych, zdania te tworzy się z symboli języka oraz symboli logicznych, zmiennych i kwantyfikatorów. Następnie rozważa się teorie (niesprzeczne zbiory zdań w jakimś języku) oraz ich modele (wraz z odpowiednią interpretacją symboli z języka). Moim zdaniem nie ma to wiele wspólnego z informatyką teoretyczną - tam pojęcie języka jest chyba inne. Petryk

[edytuj] notacja

zmienilem notacje na mniej "funkcyjna"

czy nie powinno tez byc symboli zmiennych (pierwszy akapit)

Izaak 22:36, 14 lut 2006 (CET)