Teoria (logika)
Z Wikipedii
W logice matematycznej teorią nazywamy niesprzeczny zbiór zdań. Dokładniej, niech T będzie zbiorem zdań zapisanych w pewnym języku L. Wtedy T jest teorią, jeśli nie istnieje zdanie napisane w języku L takie że T dowodzi zarówno tego zdania, jak i jego zaprzeczenia. Zbiór zdań T dowodzi zdania X, jeśli można przeprowadzić formalny dowód zdania X przy użyciu zdań ze zbioru T oraz aksjomatów i reguł dowodzenia klasycznego rachunku logicznego.
Czasami w definicji teorii dodatkowo zakłada się, że jest ona zamknięta ze względu na operację brania konsekwencji logicznej. Oznacza to, że jeśli teoria T dowodzi jakiegoś zdania X, to zdanie X musi należeć do T.
Twierdzenie o zwartości mówi, że zbiór zdań jest niesprzeczny, jeśli każdy jego skończony fragment jest niesprzeczny. W świetle powyższej definicji niesprzeczności wydaje się to oczywiste, bo jeśli z danego zbioru zdań możemy udowodnić zarówno jakieś zdanie, jak i jego zaprzeczenie, to możemy też przeprowadzić ten sam dowód korzystając tylko za skończenie wielu zdań z tego zbioru. Jeśli jednak badamy to zagadnienie z punktu widzenia semantyki, a nie syntaktyki, to potrzebujemy twierdzenia o istnieniu modelu, które w 1931 roku udowodnił austriacki logik i matematyk Kurt Gödel. Mówi ono, że każda spójna teoria (tzn. taka w której nie istnieje dowód sprzeczności) ma model i umożliwia badanie własności dowolnej teorii przy użyciu metod teorii modeli.
Teoria T w języku L jest zupełna, jeśli dla każdego zdania X napisanego w języku L w teorii T można dowieść zdania X lub jego zaprzeczenia (tj.: suma domknięcia T ze wzgl. na wyprowadzanie oraz jego negacji jest równa zbiorowi wszystkich zdań w L). Przy użyciu zakładanego zwykle przez matematyków aksjomatu wyboru można wykazać, że każdą teorię w jakimś języku L można rozszerzyć do teorii zupełnej w tym języku.
Teoria T w języku L jest rozstrzygalna, jeśli istnieje algorytm, który dla każdego zdania X napisanego w języku L rozstrzyga, czy T dowodzi X.
Teoria T jest kategoryczna, jeśli T ma dokładnie jeden model z dokładnością do izomorfizmu. Jest to raczej rzadkie zjawisko, bo kategoryczne są tylko te teorie, które są zupełne i mają model skończony. Dlatego osłabia się tę definicję i mówi, że teoria T jest kategoryczna w mocy m, jeśli T ma dokładnie jeden model mocy m z dokładnością do izomorfizmu.
