קונספט בהגדרה ABC

ההיגיון הוא מדע פורמלי, כלומר כמו כל אחד ממדעי הפורמלי הוא יוצר מושא לימוד משלו ואת ה הַנמָקָה ויצירת הרעיונות על ידי המוח הם שלך מֵתוֹדוֹלוֹגִיָה של עבודה וידע, אך גם, היגיון, הוא אחד הענפים החשובים והפופולאריים ביותר בתחום פִילוֹסוֹפִיָהמטרת המחקר שלה היא עקרונות ההפגנה הסקה תקפות, שהן השיטות שבסופו של דבר יאפשרו לנו להבחין בין הנימוק הנכון לבין השגוי.

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

ההיגיון הזה שתיארנו לעיל ואשר אריסטו עומד כמייסדו נקרא גם הגיון פורמליבינתיים, יש גם א לוגיקה לא פורמלית אשר תמקד את תשומת לבה במחקר המתודתי של אותם טיעונים אפשריים מפילוסופיה, רטוריקה ו דַבְּרָנוּת, בין שאר המדעים העוסקים באלה.

ביסודו של דבר, ההיגיון הבלתי פורמלי משקיע את כל מאמציו בזיהוי תקלות ופרדוקסים ובבניית שיחים נכונה.

אך בהיגיון הפורמלי והבלתי פורמלי השאלה אינה מוצה מכיוון שאנו מוצאים גם סוגים אחרים של לוגיקה המציעים מתודולוגיות שונות לחלוטין כגון

היגיון טבעי שהוא זה ש- מַחֲשָׁבָה טבעי, כפי שקורה, מבלי לנקוט במדע הפורמלי כבסיס תמיכה.

אז ה הגיון מטושטש או נקרא גם מטושטש שזה לוקח רישיונות מסוימים ביחס לאחרים ומודה בוודאות דו משמעות בין האמת או הכזב של הצעותיהם, בהסכמה הדוקה וביחס לתבונה האנושית.

בסדר אחר נוכל למצוא את לוגיקה מתמטית שמטופלים באמצעות א שפה מלאכותי ו סִמלִי וביצוע הפשטה של ​​התכנים. ולבסוף ה לוגיקה בינארית שעובד עם משתנים שמקבלים רק שני ערכים נפרדים.

נושאים בלוגיקה