Математическа логика

от Уикипедия, свободната енциклопедия
Направо към: навигация, търсене

Математическата логика е съвременна форма на формалната логика. Тя включва и представя по съответен начин всички ценни резултати на традиционната логика, като се започне от силогистиката на Аристотел, но излиза далеч извън схващанията на традиционната логика. Основна съставна част на математическата логика е съждителната логика (или, както също се нарича,"пропозиционалната логика"). След нея се изгражда логиката на предикатите ("предикатната логика"). Разглеждането на многоместните предикати е голям неин успех. Теорията на типовете изследва не само предикати от първа степен, които са приложими към математическите обекти, а също и предикати от предикати и техните връзки. Най-общо математическата логика е теория на логическите константи и предикати от произволна степен и връзките между тях.

Математическата логика разполага подобно на математиката със свой изкуствен език, в който логическите връзки се представят много прецизно и прегледно. Прилагането на този език се нарича символизиране. Успоредно на него в математическата логика се въвежда строго и последователно формализиране - от дадени формули се извеждат други формули с помощта на формални операции. Чрез него логическите изводи се прецизират и се привеждат във формата на смятане. Това формализиране на логическите изводи е наложително в изследванията по основите на математиката и метаматематиката, където първоначално е била прилагана математическата логика.

Днес математическата логика се прилага в много математически дисциплини, а също в някои области на теоретичната физика. Свързана е и с информатиката.

Дялове на математическата логика[редактиране | edit source]

  • Теорията на множествата изучава множества, които са абстрактни съвкупности от обекти. В областта на аксиоматичната теория на множествата се правят изследвания с помощта на логически методи, за да се установи кои математически твърдения в различните формални теории са доказуеми.
  • Теорията на доказателствата изследва формалните математически твърдения. Доказателствата се представят като математически обекти, за да бъдат изследвани с помощта на математически техники. Първоначално теорията на доказателствата е създадена за обосноваване на инфинитните математически методи на базата на финитни, избягващи безкрайността разсъждения. Фреге се занимава с математически доказателства и формализира понятието доказателство. Терминът "теория на доказателствата" е предложен от Давид Хилберт.
  • Теорията на моделирането изследва модели на формални теории. Множеството на моделите на определена теория се нарича елементарен клас. Класическата теория на моделирането се опитва да определи свойствата на определен елементарен клас или да определи дали някои класове от структури са елементарни. Методите за елиминиране на кванторите се използват, за да се покаже, че моделите на определени теории не могат да са много сложни.
  • Теория на рекурсията изучава изчислимите функции и степените на Тюринг, по които се класифицират неизчислимите функции.

Границите между тези дялове и между математическата логика и другите дялове на математиката не винаги са точно определени. Например теоремата за непълнотата на Гьодел играе важна роля не само в теорията на доказателствата, а и в модалната логика.

Преди математическата логика е била наричана символна логика за разлика от философската логика и метаматематиката. Последното наименование е все още в употреба.

Исторически бележки[редактиране | edit source]

Истинският създател на математическата логика е Готфрид Вилхелм Лайбниц. Неговите трудове в тази област обаче остават неизвестни около два века. Причината за големия подем и развитието на математическата логика в средата на XIX век е възникването на трудности от логическо естество в математиката, които не бе възможно да се преодолеят със средствата на традиционната логика. Първите значителни трудове след Лайбниц са на Бернард Болцано, Джордж Бул, Ч. Пирс, Е. Шрьодер и особено на Готлоб Фреге. Съществени приноси към математическата логика на XX век имат Бъртранд Ръсел, Давид Хилберт, Курт Гьодел, Алфред Тарски и др.

Вижте също[редактиране | edit source]

Външни препратки[редактиране | edit source]