לוגיקה

הלוגיקה היא מרכיב חשוב בתולדות הפילוסופיה ובהבנת טקסטים עדכניים. הקורס "מבוא ללוגיקה" נועד להקנות לתלמידים כלים בסיסיים להכרת הלוגיקה על ידי איתור והערכת טיעונים תקפים. מטרה זו נשענת על פיתוח יכולת הניתוח של השפה הטבעית על מנת לחשוף, בעזרת שפה פורמלית, את מבניה ה"לוגיים". הקורס הינו יחידה של 4 ש"ס: שיעור + תרגיל. התרגיל צמוד לשיעור וכפוף לו, וציון אחד ניתן לכל הקורס.
תוכן הקורס:
1. הצגת מושג התקפות: טיעונים (תקפים, בטלים), פסוקים לעומת טענות, המעבר משפה טבעית לשפה פורמלית.
2. שפה פורמלית: הצגה כללית של תחשיב הפסוקים (כללי תצורה, קשרים לוגיים).
הצרנות משפה טבעית לפורמלית ומתן אינטרפרטציה לנוסחאות בשפה פורמלית.
3. סמנטיקה של ערכי אמת - בדיקת טענות וזיהוין כטאוטולוגיות, קונטינגנטיות, או אנטילוגיות; מושג הטאוטולוגיה המתקשר עם המושג של אמת לוגית.
4. טיעונים תקפים, בטלים, מבוססים. בדיקת טיעון תקף כטיעון אשר אין אינטרפרטציה שבה הקדמותיו אמיתיות ומסקנתו שקרית.
5.סיכום הסמנטיקה של ערכי אמת. דיון בתיאוריות של משמעות. הצגת תיאוריה חדשה (סינטקטית במקום סמנטית) שמתבססת על כללי היסק במקום ערכי אמת.
6-7.כללי היסק ברוח גנצן - הצגת מערכת של כללי היסק בה ניתן להוכיח מסקנות מתוך הקדמות באופן "תחבירי". משפט השלמות אשר מקשר בין מושג התקפות הסמנטי לבין מושג ההוכחה הסינטקטי.
8-9.הצגת שפה פורמלית מורחבת - תחשיב הפרדיקטים. פיתוח השפה ועיסוק ממוקד בבעיית ההצרנה - המעבר משפה טבעית לשפה הפורמלית המשופרת.
10.תחשיב הפרדיקטים המורחב - יחסים.
11-12.כללי היסק בתחשיב הפרדיקטים.
13.סוגיות בתולדות הלוגיקה.
14. סיכום.
מבנה זה של הקורס מאפשר להציג בפני התלמידים את הלוגיקה הן כנושא למחקר והן ככלי לניתוח השפה ולבדיקת טיעונים. בסיימו את הקורס יוכל התלמיד להתמודד בהצלחה עם טקסטים פילוסופיים ואחרים, תוך הבנת הטיעונים והנוסחאות המופיעים בהם.

Logic is an essential component both in the history of philosophy and in the understanding of modern philosophical texts. The course “Introduction to Logic” acquaints its students with basic logical tools by locating and assessing valid arguments. Development of the ability to analyze natural language enables exposing language’s logical structures. The first part of the course is devoted to sentential calculus, its semantics and syntax (via Gentzen – style derivation rules). The second part focuses on predicate calculus, ending with relations. The course enables the students to pursue their studies of logic as a field of research as well as providing with the essential tools for reading texts, philosophical and others, through the understanding of the arguments and formulae they present.