Formals Süsteem
E formals Süsteem isch e Süsteem vo Sümbolchettene und Reegle. D Reegle si Vorschrifte für wie mä äi Sümbolchetti in en anderi umwandlet, also Brodukzione von ere formale Grammatik. D Reegle chönne drbii räin süntaktisch aagwändet wärde, das häisst, ooni dass mä d Bedütig vo de Sümbol kennt. Formali Süsteem wärde in verschiidene wüsseschaftlige Diszipline wie dr Logik, dr Mathematik, dr Informatik und dr Linguistik verwändet, bsundrigs zum us bekanntem Wüsse nöiji Ussaage abzläite.
Kalkül wird vilmol in dr gliiche Bedütig wie formals Süsteem verwändet; mänggisch verstoot mä aber under eme Kalkül e formals Süsteem mit bestimmte Iischränkige.
Litratuur
ändere- Douglas R. Hofstadter: Gödel, Escher, Bach, ein endlos geflochtenes Band. DTV 1991, ISBN 3-423-30017-5.
- David Hilbert, W. Ackermann: Grundzüge der theoretischen Logik. 6. Uflaag, Springer 1972, ISBN 3-540-05843-5.
- Logische Sprachregeln. Eine Einführung in die Logik. (Zämme mit em H. Wessel) - Berlin, 1975, Münche/Salzburg, 1975, 592 Seiten, ISBN 978-3-7705-1264-5.