Formální systém

V logice, matematice a informatice, formální systém je formální gramatika užitá na účely modelování. Formování je věc vybudování formálního systému, v pokusu zachytit základní vlastnosti real-world nebo pojmový systém v formálním jazyce.

Například, v některých vysokých školách procedury vzaté proti studentům nedostatku byly soubor ven jako formální systém. Toto dává větší jasnost, kursu doprovázeného se ztrátou ohebnosti. Procedury pro imigraci a naturalisation inklinovali v průběhu doby k více formálním modelům.

V matematice, formální důkazy jsou produkt formálních systémů, sestávat z axiómů a pravidel dedukce. Teorémy jsou pak rozpoznány jak možný ' poslední linky je formálních důkazů. Bod názoru, že tento obraz zahrne matematiku byl nazvaný formalist. Termín byl použitý hanlivě. Na druhé straně, David Hilbert založil metamathematics jako disciplína navržený pro diskutovat o formálních systémech; to není předpokládal, že metajazyk ve kterém důkazy jsou studovány je sám méně neformální než obvyklé zvyky matematiků navrhnou. K rozporu s metajazykem, formální gramatika sám je často nazýván cílovým jazykem (tj., předmět diskuze - tento rozdíl může byli představeni Carnap). cílový jazyk/ rozdíl metajazyku používali v informatice je trochu jiný.

To stalo se obyčejné mluvit o formalizmu, více-nebo-méně synonymously s formálním systémem uvnitř matematiky standardu vynalezl pro daný účel. Toto nemůže být hodně více než notace, takový jako Dirac' s podprsenka-ket notace.

Viz též formální logika.