Mantık ve matematikte lojistik sistem olarak da adlandırılan biçimsel sistem , tümdengelim kavramının analizi için bir araç olarak kullanılan terimlerin ve örtük ilişkilerin teorik düzenlenmesi soyut. Biçimsel bir sistemin sembollerini yorumlayan modeller - genellikle biçimsel sistemlerle birlikte kullanılır.
Biçimsel dillerin ve biçimsel sistemlerin Bu Konunun metalojik… ifadeleri hakkında daha fazla bilgi edinin. Doğal dillerin resmi muamelesiyle ilgilidir, ancak içermez ...Her biçimsel sistem, belirli oluşum kuralları (sistemde izin verilen simgeler, işlevler ve cümlelerle ilgili ifadeler) tarafından uygulanan ve bir dizi aksiyomdan çıkarımla geliştirilen ilkel sembollerden oluşan biçimsel bir dile sahiptir. Böylece sistem, belirtilen kurallara uygun olarak aksiyomlardan oluşturulan ilkel sembollerin sonlu kombinasyonlarıyla oluşturulan herhangi bir sayıda formülden oluşur.
Aksiyomatik bir sistemde, ilkel semboller tanımsızdır; ve diğer tüm semboller onlar açısından tanımlanmıştır. Peano tamsayılar için varsayımlarda, örneğin, 0 ve ′ ilkel olarak alınır ve 1 ve 2, 1 = 0 ′ ve 2 = 1 ′ ile tanımlanır. Benzer şekilde, geometride "nokta", "çizgi" ve "uzanma" gibi kavramlar genellikle ilkel terimler olarak kabul edilir.
İlkel sembollerden, bazı formüller aksiyomlar olarak listelenmiş, iyi oluşturulmuş olarak tanımlanmıştır; ve bir formülün, öncül olarak alınan bir veya daha fazla başka formülden bir sonuç olarak çıkarılması için kurallar belirtilir. Böyle bir sistem içindeki bir teorem, her biri bir aksiyom olan veya daha önceki formüllerden çıkarsanan sonlu bir dizi iyi oluşturulmuş formül yoluyla kanıtlayabilen bir formüldür.
Amaçlanan yorumlamadan ayrı olarak ele alınan biçimsel bir sistem matematiksel bir yapıdır ve daha doğru bir şekilde mantıksal hesap olarak adlandırılır; bu tür bir formülasyon, biçimsel sistemlerin kökeninde yer alan gerçek ya da yanlışlıktan ziyade geçerlilik ve tatminkârlıkla ilgilenir.
Genel olarak, biçimsel bir sistem, belirli anlamlardan ayrı olarak düşüncenin tümdengelimli yapısını soyutlamak ve analiz etmek için ideal bir dil sağlar. Bir model kavramıyla birlikte, bu tür sistemler matematiğin ve diğer tümdengelimli bilimlerin temellerine yönelik hızla genişleyen bir araştırmanın temelini oluşturdu ve hatta deneysel bilimlerin analizinde sınırlı bir ölçüde kullanıldı. Ayrıca bakınız deontolojik etik; metalojik; metateori.
