מדע פורמלי הוא מכלול של ידע רציונלי ומסודר, החוקר תופעות מהפשטה, ובמטרה להכליל חוקים או תיאוריות.
לכן אנו יכולים לומר שהם חיוניים לידע. בזכותם ניתן ליישם את אלה על המציאות. מאידך, בשל גישתו לידע, השיטה בה משתמשים היא דדוקציה.
מתמטיקה ומדע פורמלי
אולי מתמטיקה יכולה להיחשב כמדע פורמלי. הם חוקרים מבנים ומערכות יחסים מופשטות. כדי להשיג את מטרתם, הם מתחילים מאקסיומות שפותחו באמצעות חשיבה הגיונית. לכן למידתם חיונית.
בנוסף, היא משתמשת בשפה רשמית ואוניברסלית המאפשרת לכל מי שמכיר אותה להבין אותה. באופן זה, כולם מכירים את הסמלים השכיחים ביותר, כמו החיבור (+), החיסור (-), או אחרים כמו שורש הריבוע או אינטגרל.
לוגיקה ומדע פורמלי
ההיגיון הוא ענף של הפילוסופיה החוקר הוכחות, שגיאות ועוד שאלות דומות. בתוכה, החלק הקשור למתמטיקה משתמש במערכות הפורמליות שלו כדי להגיע למסקנותיו.
לכן, במדע הפורמלי, ההיגיון הוא יותר ממה שצריך. למעשה, מקובל מאוד בכלכלה להשתמש בנימוקים מסוג זה. לדוגמא, בית הספר האוסטרי משתמש בפרקסיאולוגיה לצורך לימודיו במדעי החברה.
מדעי המחשב
במקרה זה אנו עומדים בפני מדע פורמלי החוקר את בסיסי המחשוב התיאורטיים.
באופן זה, אלגוריתמים, כמו של גוגל, מבוססים על המצוות הפורמליות שהוזכרו, ומיישמים אותם על בעיות אמיתיות.
לכן, כיום העולם הדיגיטלי אפשרי בזכות התיאוריה שעומדת בבסיסו. ללא היבטים תיאורטיים אלה, הם היו הולכים בעיוורון ועם הסיכון הנובע מכך. מכאן, חשיבותו של מדע מסוג זה.
דוגמה מדעית רשמית
בואו נראה, לסיום, כמה דוגמאות שאולי נראות מובנות מאליהן אך המשקפות באופן מושלם את השיטה הדדוקטיבית הנהוגה בסוג זה של מדע.
- בואו נדמיין שבביולוגיה אנו מתחילים מאקסיומה. כבשים לא עפות. מצד שני, אנו יודעים שלבעלי חיים מעופפים יש כנפיים. הגזירה היא שלכבשים לא יהיו כנפיים. זה ניכר, אבל במציאות התופעות הרבה יותר מסובכות.
- בקרימינולוגיה. הרוצח היה זכר שחור. החשוד העיקרי הוא מזרחי. זה לא הולך להיות הרוצח. שוב המציאות מורכבת הרבה יותר, אך השיטה זהה.
- דוגמה אחרונה זו תהיה הפוכה, בשיטת ההשראה. סבי קיבל עצירות, סבי הוא גבר, גברים עצירות. כפי שאנו רואים, במקרה זה אנו עוברים מהפרטי לכללי.
הן דוגמאות פשוטות מאוד, אך יחד איתן רצינו להראות כיצד עובדת השיטה הדדוקטיבית בה משתמשים במדע הפורמלי, לעומת זו האינדוקטיבית. למעשה, המציאות, כפי שהזכרנו בעבר, מורכבת הרבה יותר. כמובן, פעמים רבות אנו יכולים לגשת אליו בפשטות.