- מאפיינים
- סביבה מוגבלת
- דקדוק שולט אפריורי
- רכיב סמנטי מינימלי
- שפה סמלית
- אוניברסליות
- דיוק והבעה
- הרחבה
- דוגמאות
- הִגָיוֹן
- מתמטיקה
- תכנות מחשבים
- הפניות
שפה רשמית היא קבוצה של סימנים לשוניים שימוש בלעדי במצבים שבהם השפה הטבעית היא לא מתאימה. באופן כללי, השפה מחולקת לטבעי או לא פורמלי ומלאכותי. הראשון משמש לסיטואציות יומיומיות נפוצות. בינתיים משתמשים במלאכותית במצבים ספציפיים מחוץ לתחום חיי היומיום.
באופן זה, שפה פורמלית היא חלק מקבוצת המלאכותיות. זה משמש בעיקר למדעים הפורמליים (אלה שתחום העשייה שלהם אינו מציאות העולם הפיזי אלא העולם המופשט). חלק ממדעים אלה כוללים לוגיקה, מתמטיקה ותכנות מחשבים.
במובן זה, שפה מסוג זה משתמשת בקודים לשוניים שאינם טבעיים (אין להם יישום בתוך תקשורת בעולם הרגיל). בתחום המדעים הפורמליים, שפה פורמאלית היא קבוצה של שרשראות סמלים הניתנות לוויסות על ידי חוקים הספציפיים לכל אחד ממדעים אלה.
עכשיו סוג זה של שפה משתמש בערכת סמלים או אותיות כאלף-בית. מכאן נוצרות "שרשראות השפה" (מילים). אלה, אם הם עומדים בכללים, נחשבים "מילים מעוצבות" או "נוסחאות מעוצבות היטב".
מאפיינים
סביבה מוגבלת
השפה הרשמית שמה לה למטרה להחליף נתונים בתנאים סביבתיים שונים מאלה של שפות אחרות. לדוגמא, בשפת תכנות, הסוף הוא תקשורת בין בני אדם למחשבים או בין מכשירים ממוחשבים. זו לא תקשורת בין בני אדם.
לפיכך, מדובר בשפה אד הוק, שנוצרה במטרה ספציפית ולתפקד בהקשרים מאוד ספציפיים. כמו כן, הוא אינו בשימוש נרחב. נהפוך הוא, השימוש בה מוגבל למי שמכיר הן את מטרת השפה והן את ההקשר הספציפי שלה.
דקדוק שולט אפריורי
השפה הפורמלית נוצרת מתוך קביעת כללים דקדוקיים אפריוריים שנותנים לה את הבסיס. כך, ראשית מתוכננת מערכת העקרונות שתשלט על שילוב האלמנטים (תחביר) ואז נוצרות הנוסחאות.
מצד שני, התפתחות השפה הפורמלית היא מודעת. המשמעות היא שמאמץ מתמשך נדרש ללמידה שלהם. באותו אופן השימוש בו מוביל להתמחות בתקנות ובאמנות השימוש המדעי.
רכיב סמנטי מינימלי
המרכיב הסמנטי בשפה הפורמלית הוא מינימלי. למיתר נתון השייך לשפה הפורמלית אין משמעות בפני עצמה.
הנטל הסמנטי שיכול להיות להם נובע בחלקו ממפעילים ומיחסים. חלקם הם: שוויון, אי שוויון, חיבורים לוגיים ומפעילים חשבון.
בשפה טבעית, לחזרת השילוב של "p" ו- "a" במילה "papa" יש את הערך הסמנטי של ההורה. עם זאת, בשפה רשמית זה לא קורה. בתחום המעשי, המשמעות או הפרשנות של השרשראות שוכנת בתיאוריה אותה מנסים להגדיר באמצעות שפה פורמלית זו.
לפיכך, כאשר משתמשים במערכות משוואות ליניאריות, יש לה תורת המטריצות כאחד הערכים הסמנטיים שלה. מצד שני, לאותה מערכת יש את העומס הסמנטי של עיצובים של מעגלי לוגיקה בתחום המחשוב.
לסיכום, המשמעות של שרשראות אלה תלויה בתחום המדע הפורמלי בו הם מיושמים.
שפה סמלית
השפה הרשמית היא סמלית לחלוטין. זה עשוי מאלמנטים שתפקידם להעביר את הקשר ביניהם. אלמנטים אלה הם הסימנים הלשוניים הרשמיים שכאמור אינם מייצרים ערך סמנטי בעצמם.
צורת הבנייה של הסימבולוגיה של השפה הפורמלית מאפשרת חישובים וקביעת אמיתות תלוי לא בעובדות אלא ביחסים ביניהם. סמליות זו היא ייחודית ורחוקה מכל סיטואציה מוחשית בעולם החומרי.
אוניברסליות
לשפה הפורמלית אופי אוניברסלי. שלא כמו זו הטבעית, שמונעת על ידי הסובייקטיביות שלה מאפשרת פרשנויות ודיאלקטים מרובים, זו הרשמית בלתי אפשרית.
למעשה, הדבר דומה לסוגים שונים של קהילות. לאמירותיו יש את אותה משמעות עבור כל המדענים ללא קשר לשפה שהם מדברים.
דיוק והבעה
באופן כללי, השפה הפורמלית מדויקת ולא מאוד אקספרסיבית. כללי ההקמה שלה מונעים מדובריה לטבוע מונחים חדשים או לתת משמעויות חדשות למונחים קיימים. וזה לא יכול לשמש להעברת אמונות, מצבי רוח ומצבים פסיכולוגיים.
הרחבה
ככל שחלה התקדמות בגילוי יישומים לשפה פורמלית, התפתחותה הייתה אקספוננציאלית. העובדה שניתן להפעיל אותה באופן מכני מבלי לחשוב על תוכנו (משמעויותיו) מאפשרת את השילוב החופשי של סמליה ומפעליו.
בתיאוריה, היקף ההתרחבות הוא אינסופי. לדוגמא, מחקרים עדכניים בתחום המחשוב והאינפורמטיקה קשורים לשתי השפות (טבעיות ופורמליות) למטרות מעשיות.
באופן ספציפי, קבוצות מדענים עובדות על דרכים לשיפור השוויון ביניהן. בסופו של דבר, מה שמבקש זה ליצור אינטליגנציה שיכולה להשתמש בשפה פורמלית לייצור שפה טבעית.
דוגמאות
הִגָיוֹן
במחרוזת: (p⋀q) ⋁ (r⋀t) => t, האותיות p, q, r, t מסמלות הצעות ללא משמעות קונקרטית. מצד שני, הסמלים ⋀, ⋁ ו- => מייצגים את המחברים המקשרים בין ההצעות. בדוגמה ספציפית זו המחברים המשמשים הם "ו-" (⋀), "או" (⋁), "אז" (=>).
התרגום הקרוב ביותר למחרוזת הוא: אם מישהו מהביטויים בסוגריים נכונים או לא, אז t הוא נכון או לא. המחברים אחראים לבסס את מערכות היחסים בין ההצעות שיכולות לייצג כל דבר.
מתמטיקה
בדוגמה מתמטית זו A = ❴xx⦤3⋀x> 2❵, קבוצה עם השם "A" שיש בה אלמנטים של השם "x" מתערבת. כל האלמנטים של A קשורים בסימבולוגיה ❴, -, ⦤, ⋀,>, ❵.
כולם משמשים כאן כדי להגדיר את התנאים שעל האלמנטים "x" למלא כדי שיוכלו להיות מהסט "A".
ההסבר לשרשרת זו הוא שאלמנטים של סט זה הם כל אלה העומדים בתנאי להיות פחות או שווה ל -3 ובאותו זמן גדול מ 2. במילים אחרות, שרשרת זו מגדירה את המספר 3 שהוא האלמנט היחיד ש עומד בתנאים.
תכנות מחשבים
לקו התכנות IF A = 0, ואז ל- GOTO 30, 5 * A + 1 יש משתנה "A" הנתון לבדיקת וקבלת החלטות באמצעות מפעיל המכונה "אם מותנה".
הביטויים "IF", "THEN" ו- "GOTO" הם חלק מתחביר המפעיל. בינתיים, שאר האלמנטים הם ערכי ההשוואה והפעולה של "A".
משמעותו היא: המחשב מתבקש להעריך את הערך הנוכחי של "A". אם הוא שווה לאפס, הוא יעבור ל "30" (שורת תכנות נוספת בה תהיה הוראות נוספות). במקרה וזה שונה מאפס, אז המשתנה "A" יוכפל (*) בערך 5 והערך 1 יתווסף אליו (+).
הפניות
- מילון קולינס. (s / f). הגדרה של 'שפה רשמית'. נלקח מ collinsdiction.com.
- אוניברסיטת הטכנולוגיה, סידני. (s / f). שפה פורמלית ובלתי פורמלית. נלקח מ- uts.edu.au.
- הגדרות. (s / f). הגדרות לשפה פורמלית. נלקח מההגדרות.net.
- האוניברסיטה הטכנית במדריד. (s / f). שפות טבעיות ושפות פורמליות. לקוח מ- lorien.die.upm.es.
- עיריית לוין. (s / f). השפה הרשמית. נלקח מ lujan.magnaplus.org.
- קורבין, JA (s / f). 12 סוגי השפה (ומאפייניהם). psychologiaymente.com.
- Bel Enguix, G. ו- Jiménez López, MD (s / f). סימפוזיון: יישומים חדשים של תורת השפות הפורמליות לבלשנות. נלקח מ- elvira.lllf.uam.es.