Мазмұны
Theресми ғылым Аналитикалық ұсыныстар математика мен логиканың тұжырымдамаларын қабылдайтындар. Осылайша, оның зерттеу саласы нақты әлем емес, керісінше идеалды әлем, көптеген жағдайларда толық бақылануы мүмкін емес, бірақ шындықты түсінуге жарамды аналитикалық құралдар болып табылатын мазмұнның бос формалары болып табылады.
Ресми ғылымдар шындыққа қайшы келмеуімен сипатталады, өйткені олар тексерілетін жауапкершілікке ие емес. Керісінше, формальды ғылымдарды қолдану қажет логикалық түрде көрсетуге болатын ұсыныстаржәне бұл орын алуы мүмкін: әйтпесе, бұл ғылымдар алдын-ала дәлелдеуді қажет етпестен қабылданатын айқын ұсыныстар болып табылатын «аксиомаларды» қолданады.
Аксиомаларды қолдану осы типтегі ғылымның әдеттегі әдісімен байланысты, ол Дедуктивті әдіс: аксиомаларды бастапқы нүкте ретінде қабылдау, содан кейін туынды жолмен жүру, алдыңғы ұсыныстардың қажетті логикалық салдары ретінде ұсыныстарға келу. Демек, ресми жүйе мыналардан тұрады деп айтылады:
- Ақырлы жиынтығы шартты белгілер формулаларды құру үшін қолданылады.
- A грамматика формальды, жақсы қалыптасқан формулаларды құру механизмі ретінде.
- Жиынтығы аксиомалар
- Жиынтығы қорытынды ережелері
- Жиынтығы теоремалар ол аксиомалардан алынуы мүмкін барлық нәрсені қамтиды.
Олар нақты ғылымдарға қарсы
Әдетте формальды ғылымдар ұғымы нақты ғылым, бұл фактілерді зерттейтіндер. Бүгінгі әлемде екеуі де, екіншісі де өте маңызды, өйткені олар екеуін толықтырады: кейбір іргелі ғылымдардың технологиялық ілгерілеуге қосқан үлестері (мысалы, химия немесе информатика) сияқты жүйелер ресми жүйелермен қолдау табады. математика.
Ресми ғылымның мысалдары
- Теориялық информатика: Аймақтың ең абстрактілі және математикалық аспектілеріне бағытталған информатикадағы бөлім. Оған алгоритмдерді және әсіресе бағдарламалау тілдерінің формальды семантикасын талдау кіреді.
- Статистика: Мақсатты популяцияның сипаттамаларын шығару үшін деректерді жинауға, жүйелеуге, өңдеуге, талдауға және түсіндіруге жауап беретін ғылым.
- Логика: Адамның миы формальды ұсыныстар арқылы қандай процедураларды қолданатынын білуге тырысып, формальды рәсімдерді зерттейтін пән.
- Математика: Абстрактылы нысандардың қасиеттерін және олардың өзара байланыстарын зерттеуге арналған дедуктивті ғылым. Сандармен, таңбалармен, геометриялық фигуралармен жұмыс істейді.
- Жүйелер теориясы: Зерттеудің барлық салаларында кез-келген деңгейде жүйелерге қолданылатын принциптерді зерттеу үшін жалпы жүйелерді пәнаралық зерттеу.
Ғылымның басқа түрлері:
- Таза және қолданбалы ғылымдардың мысалдары
- Қатты және жұмсақ ғылымдардың мысалдары
- Дәл ғылымдардың мысалдары
- Әлеуметтік ғылымдардан мысалдар
- Жаратылыстану ғылымдарының мысалдары
