МЕТАЛО́ГИКА

МЕТАЛО́ГИКА (от ме­та...), раз­дел ло­ги­ки, в ко­то­ром изу­ча­ют­ся строе­ние и свой­ст­ва разл. ло­ги­че­ских тео­рий ме­та­те­о­ре­тич. сред­ст­ва­ми. М., воз­ник­шая на ру­бе­же 19 и 20 вв. в свя­зи с ис­сле­до­ва­ния­ми ос­но­ва­ний де­дук­тив­ных на­ук (пре­ж­де все­го ма­те­ма­ти­ки), в хо­де даль­ней­шей спе­циа­ли­за­ции этих ис­сле­до­ва­ний раз­де­ли­лась на син­так­сич. и се­ман­тич. вет­ви. К пер­вой из них, по­свя­щён­ной рас­смот­ре­нию чис­то струк­тур­ных свойств ис­чис­ле­ний, от­но­сят­ся пре­ж­де все­го тео­рия до­ка­за­тельств (или ме­та­ма­те­ма­ти­ка) и тео­рия оп­ре­де­ли­мо­сти по­ня­тий. Вто­рой вет­вью М. яв­ля­ет­ся ло­ги­че­ская се­ман­ти­ка. Раз­ви­тие ло­гич. се­ман­ти­ки на­ча­лось с ра­бо­ты А. Тар­ско­го (1933), по­свя­щён­ной ис­сле­до­ва­нию по­ня­тия ис­ти­ны (ис­тин­но­сти) в фор­ма­ли­зов. язы­ках.

Лит. см. при стать­ях Ме­та­ма­те­ма­ти­ка, Ме­та­те­о­рия.