formalizare
- prezentarea cunoștințelor semnificative într-o teorie formalizată (calcul). Cunoașterea formalizată trebuie să fie cumva un set fix de declarații. Pentru definiteness adecvat pentru a vorbi despre formalizarea unei T. teorie semnificativă Conform teoriei, în acest caz se referă la relativ închise toate consecințele sale logice ale unui set de instrucțiuni referitoare la zona de subiect relevant. Aceasta înseamnă că toate consecințele, care pot fi obținute în cadrul Gărzile raționament corect, de asemenea, fac parte din posibilitățile teoriei T formalizare teoriei T. prin construirea calculului respectiv (teoretic formalizată) FG, precum relația dintre G și PG, dacă o astfel de oportunitate este posibilă în unele mod de a pune în aplicare, depinde de o serie de circumstanțe. De obicei, posibilitatea principal al formalizării o teorie semnificativă a G este asociat cu modul în care se prepară această teorie G pentru operația. Este vorba despre dezvoltarea sa, un grad suficient de explicație a aparatului conceptual. Posibilitatea de formalizare crește în mod substanțial atunci când teoria solvabilitatii t. E. Dacă există o procedură de propuneri cu privire la orice formulate în limbajul teoriei pentru a rezolva, ea aparține teoriei sau nu. Toate acest lucru este important, dar mai important, se deschide posibilitatea fundamentală a formalizarea teoriei de fond T - este posibilitățile expresive ale limbajului simbolic, cu ajutorul cărora se presupune a afișa T.
În general vorbind, limbajul predicatul calcul vă permite să înregistrați într-o formă simbolică a oricărei propuneri convenționale sau științifice. Este suficient să completeze limbajul simbolurilor (constante) utilizate în propoziția predicat și poate chiar și așa-numitele constante funcționale, ca de dragul de simplitate, nu se poate vorbi. Cu toate acestea, pentru a fi în măsură să efectueze o înregistrare simbolică a oricărei propuneri teorie Gotnyud nu înseamnă formalizate. Pentru recunoașterea faptului că nevoile FGformalizuet T sunt cel puțin următoarele trei condiții: (1) calcul Limba L pentru formalizare utilizat ar trebui să permită exprime orice ofertă O teorie T, prin intermediul unor formule FT că atunci când conținutul interpretării sale generează o propoziție care poate fi interpretată ca exprimând același gând ca A
(2) Postulatele inițiale (axiome) ale FG atunci când se obțin teoreme din ele ar trebui considerate ca lanțuri de simboluri goale, din care noi lanțuri de simboluri (teoreme) sunt obținute prin reguli de deducere fixă. Cu alte cuvinte, procesul de obținere a unor teoreme nu ar trebui să se realizeze pe baza dovezilor, a dovezilor de practică și așa mai departe.
(3) Trebuie să existe o anumită relație convenită între clasa de teorii FTK pentru clasa de afirmații adevărate semnificative ale teoriei lui T. permițând FT să fie considerată o formalizare a lui F (mai exact despre aceasta mai jos).
Alineatul (2) distinge în mod esențial FGot G. C, nu trebuie neapărat stabilit reguli de inferență, și să genereze noi cereri pot fi bazate pe sensul de fond a termenilor și a contextului existent. Dacă, de exemplu. Gsoderzhitsya într-o declarație că evenimentul sa întâmplat înainte de eveniment suntem obligați de motive substanțiale pentru a atribui teoria declarație Gtakzhe adevărat și ce sa întâmplat mai târziu și. În același timp, nu suntem obligați să rezolvăm acest lucru. Altfel, în FT. Aici, trebuie să fie afișate în mod clar legătura logică dintre relațiile anterioare și cele ulterioare. Și dacă aceste rapoarte sunt denumite „“, respectiv, FGdolzhna conțin o regulă care permite trecerea de la (). Evident, în FT, de asemenea, trebuie să se sublinieze aceste relații tranzitive. Pe scurt, în relațiile dintre date logice de afișare FGpridetsya necesare pentru a descrie câmpul subiectului. În acest caz, această logică însăși poate depinde, de exemplu, fie privit ca timp continuu sau discret, și, desigur, infinit divizibile, chiar dacă domnul aceste probleme nu sunt discutate. Astfel. formalizarea nu este doar pentru a face o copie Gărzile un limbaj simbolic, ci de a identifica și de afișare în aceeași logică, care va satisface aceste declarații cu termeni care apar în T. Soluția acestei probleme este sarcina profesională a logicii, în general, și poate fi să fie cercetate independent de anumite teorii concrete și sarcini legate de formalizarea lor. Deci, de exemplu. în logica teoriei formalizate alogical, epistemică, deontică, temporal, și alte modalități, complet cu privire la unele dintre semantica de conținut. Posibilitatea de formalizare teoriei Hestia este, prin urmare, nu este doar o chestiune de disponibilitate a acestei proceduri din partea G, dar, de asemenea, dacă un grad suficient este proiectat pentru acest scop, aparatul logic și matematic existente.
În legătură cu punctul (3), trebuie avut în vedere faptul că FHB conține în mod explicit toate elementele necesare pentru formalizarea teoriei lui Glogoc și matematică și a clasei corespunzătoare de reguli sau teoreme interpretate teoretic, de exemplu, legea contrapoziției implicării: () -> (*), etc., care de fapt nu are o corespondență în T. În plus, T, de obicei, nu determină toate relațiile logice ale cuvintelor care conțin formularea folosită în