אנו מסבירים מהם מדעים פורמליים ומהו מושא המחקר שלהם. הבדלים עם אלה העובדתיים. דוגמאות למדע פורמלי.
מהם המדעים הפורמליים?
המדעים הפורמליים או המדעים האידיאליים הם אלה מדעים שמושא המחקר שלו אינו העולם וה- טֶבַעוגם לא החוקים הפיזיקליים או הכימיים השולטים בו, אלא מערכות פורמליות, כלומר מערכות יחסים שהן, באופן עקרוני, ריקות מתוכן משלהן, אך ניתן ליישם אותן על אָנָלִיזָה של כל קטע של מְצִיאוּת.
המדעים הפורמליים אינם חוקרים אובייקטים אמיתיים, אלא צורות: הפשטות, יחסים, אובייקטים אידיאליים שנוצרו במוחו של בן אדם. אפשר לומר שהם לא כל כך מתעניינים במה, אלא באיך: הטפסים ולא התוכן.
סוגים אלו של מדעים הם אנליטיים או לא אמפיריים, כלומר, הם אינם מאמתים את התיאוריות שלהם יֶדַע באמצעות ה ניסוי או התבוננות בעולם האמיתי, אלא על ידי לימוד הכללים של מַחֲשָׁבָה המתאימים למערכת, כגון טענות, אקסיומות, הגדרות והסקת מסקנות. השיטה שלו, אם כן, היא בדרך כלל השיטה הדדוקטיבית.
הם נבדלים מ מדע עובדתי, של מי מַטָרָה היא ההבנה של העולם האמיתי והמוחשי דרך שיטה מדעית, וזה כולל את מדעי הטבע וה מדעי החברה.
דוגמאות למדע פורמלי
כמה מהמדעים הפורמליים הידועים ביותר הם:
- מתמטיקה. חקר מערכות החישוב והייצוג הלוגיות-פורמליות הזמינות לבני אדם ויישומיהן לחיים המעשיים.
- הִגָיוֹן. חקר שיטות החשיבה, כלומר של הטענות ומנגנוני הדדוקציה העולים מהן.
- מדעי המחשב. ידוע כ מחשוב אוֹ תִכנוּת, עוסק במערכות הלוגיות-חישוביות המאפשרות אוטומציה של ה מֵידָע.
- חֶשְׁבּוֹן. מדע החשבון ו מספרים, שהם הפשטות נפשיות.
- סטָטִיסטִיקָה. הוא עוסק בחקר של קְטָטָה וה פרופורציות.
- גֵאוֹמֶטרִיָה. למד צורות גיאומטריות, כלומר, הייצוגים המנטליים או הגרפיים שאנו יכולים ליצור במוחנו של העולם האמיתי.