שיחה:לוגיקה

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה לניווט קפיצה לחיפוש

2005[עריכת קוד מקור]

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

הקישור ל-"על לוגיקה וכשלים לוגיים" איננו פועל (לי לפחות). יער 22:26, 20 יולי 2005 (UTC)

קישור ופיסקה לוגיקה( אלקטרוניקה)[עריכת קוד מקור]

Rubinjo (שיחה | תרומות | מונה) לא חתמ/ה

לוגיקה מתמטית ולא לוגיקה. שינוי שם הערך.[עריכת קוד מקור]

"לוגיקה" כפי שהיא מוגדרת בערך הזה אינה אותה הלוגיקה שהיא ענף של הפילוסופיה. הלוגיקה המוגדרת בערך זה היא הלוגיקה המתמטית. בפילוסופיה העיסוק הוא כולל יותר ואינו מסתפק בכללים להסקת מסקנות, אלא עוסק בהבחנה בין הסקה נכונה ולא נכונה, כלומר עוסק גם בשאלות מהם כללי ההסקה, ואיך לדעת האם הסקה מסוימת היא נכונה או לא.
בלוגיקה (כפילוסופיה), עסק כבר סוקרטס הרבה לפני אריסטו. מונחים כמו הדיאלקטיקה של סוקרטס, או "הלוגיקה של השפה" של סוקרטס מקומם בערך נפרד "לוגיקה (פילוסופיה)". לדעתי צריך לשנות את שם הערך הזה ל"לוגיקה מתמטית" וליצור ערך חדש "לוגיקה (פילוסופיה)". אני גם מוכן לכתוב את הערך "לוגיקה (פילוסופיה)" כקצרמר.
אוהד ל 04:22, 10 פברואר 2006 (UTC)

את המחצית השניה (מ"השיטה של הלוגיקה הפורמלית" ואילך) אפשר להעביר ללוגיקה מתמטית; המחצית הראשונה לא שייכת לשם. אם מישהו יודע מהי "לוגיקה פורמלית", זה הזמן לגלות. עוזי ו. 04:34, 10 פברואר 2006 (UTC)
לוגיקה פורמלית = לוגיקההצורנית = לוגיקה מתמטית.

אוהד ל 04:42, 10 פברואר 2006 (UTC)

העברתי, אם כי לדעתי הדיון במודוס פוננס שייך לכאן (לפחות גם לכאן). דוד שי 05:32, 10 פברואר 2006 (UTC)

ההבחנה שאתם מציעים בין לוגיקה מתמטית ולוגיקה היא מלאכותית ואינה תקפה בעיני מרבית הפילוסופים בני זמננו. הלוגיקה בת זמננו היא לוגיקה מתמטית; ומה שמלמדים בחוגים לפילוסופיה בקורס מבוא ללוגיקה זה מעט מאד היסטוריה של הלוגיקה והרבה לוגיקה "מתמטית". על כן יש לשוב ולשלב חלקים מן הערך על לוגיקה מתמטית בערך זה. עם זאת ניתן לשמור על הערך הזה כערך היסטורי ופילוסופי בעיקרו וליחד את הערך של לוגיקה מתמטית לתיאור מופשט יותר של התיאוריה הלוגית הקאנונית. גלעד ניר - שיחה 21:11, 27 בינואר 2013 (IST)

הוספתי למבוא לפרק את ההערה הבאה: ֿערך זה מציג את מושגי היסוד של הלוגיקה ועוסק בהיבטים הפילוסופים של הלוגיקה. באמצעות הקישורים שתמצאו בערך זה, תוכלו להגיע לדפים העוסקים בהיבטים הטכניים של הלוגיקה, למשל תחת הערך לוגיקה מתמטית.גלעד ניר - שיחה 17:37, 28 בינואר 2013 (IST)

"שכל הישר"[עריכת קוד מקור]

בטוח שזה שם מקובל חלופי ל"לוגיקה"?? גוונא + שיחה + התגלה פרק חדש ברמב"ם זרעים! 18:43, 31 במרץ 2010 (IDT)

גם אני סבור שמדובר בשגיאה. Shandorsan - שיחה 14:45, 18 באוגוסט 2010 (IDT)
גם אני מסכים, ימחק עד הצגת מקורUhbcrd451 - שיחה 14:36, 8 בדצמבר 2014 (IST)

שני ערכים על אותו דבר?[עריכת קוד מקור]

ראו שיחה:לוגיקה (פילוסופיה). /אורלינגשיחה 22:38, 24 בפברואר 2011 ◄ מורשת שבדית זה לא רק איקאה

האם משמש הרבה בבתי משפט ובלשות? (כמו בחידות ההגיון של הולמס...) משמשת הרבה אצל אסטרטגים צבאיים?(אני מניח שכן.) ואצל פעילים הומניטרי?

לוגיקה מודרנית[עריכת קוד מקור]

הערך כתוב טוב אולם חסר פרק על לוגיקה מודרנית: פרגה, ראסל ויטגנשטיין, קריפקה והלאה. הראשון שמעוניין/ת לעשות זאת, מוזמן/ת. אבנר - שיחה 22:33, 18 בינואר 2012 (IST)

צודק לחלוטין. מדובר בחסר מהותי. הנחתי תבנית:להשלים. בן ג. (שיחה) תרומת כוח-חישוב 16:44, 14 במאי 2012 (IDT)

הערך על לוגיקה מודרנית מחיל כעת תיאור של תחומי המחקר הרלוונטים וקישורים לדפים השונים בהם הם מתוארים.גלעד ניר - שיחה 21:35, 27 בינואר 2013 (IST)

היי, אתה עושה עבודה מדהימה בערך. כל הכבוד! אבנר - שיחה 21:02, 28 בינואר 2013 (IST)
מצטרף לאבנר. כל הכבוד! בן ג. (שיחה) תרומת כוח-חישוב 23:25, 28 בינואר 2013 (IST)
תודה רבה!גלעד ניר - שיחה 02:39, 30 בינואר 2013 (IST)

1+1 לא זהה ל - 2 ?[עריכת קוד מקור]

"שתי תפוחים" זה מילים שונות בשביל "תפוח (אחד) ועוד תפוח" 31.44.133.55 15:27, 14 במאי 2012 (IDT)

"שני תפוחים" הן (או אלו) מילים שונות בשביל "תפוח (אחד) ועוד תפוח" Itaigreif - שיחה 13:09, 3 באוגוסט 2016 (IDT)

לוגיקה - הערך החדש (2013)[עריכת קוד מקור]

נכון להיום הערך כולל שני חלקים: תולדות הלוגיקה (מן הפרה-סוקרטיים ועד פרגה) ודיון בלוגיקה בת זמננו. החלק על הלוגיקה בת זמננו עדיין זקוק להרחבה, בעיקר דיון במטאלוגיקה. גלעד ניר - שיחה 00:26, 31 בינואר 2013 (IST)

עדכון תת הערכים: 'לוגיקה אריסטוטלית' ו'תחשיב הפסוקים',[עריכת קוד מקור]

לאור הרחבתם של הערכים העצמאיים הלוגיקה של אריסטו תחשיב הפסוקים, ו- תחשיב הפרדיקטים העברתי חלק מהתכנים הרלוונטים מפה לערכים אלו, שהינם מטבעם יותר מפורטים. המידע לא אבד - הוא נמצא בערכים הללו.גלעד ניר - שיחה 06:48, 1 בפברואר 2013 (IST)

האם לוגיקה היא תורת ההגיון גרידא?[עריכת קוד מקור]

בתחילת הערך כתוב: "לוגיקה (מיוונית: λογική) היא תורת ההגיון". על פי מה שהבנתי, לוגיקה היא תורת הגיון אחת, המקובלת ביותר והעיקרית במדע, אך היא לא תורת ההגיון הבלעדית שהיתה או שתהיה אי-פעם. אם כן, אז אני חושב שצריך איך שהוא להכניס את זה לתחילת הערך ואני מקווה שמי שמכיר את התורות השונות ימצא איך לעשות את זה... תודה. ‏Ben-Natan‏ • שיחה 14:35, 23 בדצמבר 2013 (IST)

טעות: אפלטון לא ניסח לראשונה את "חוק הסתירה"[עריכת קוד מקור]

בערך כתוב שאפלטון זיהה לראשונה את חוק הסתירה: "עיקרון לוגי יסודי שאפלטון זיהה לראשונה הוא חוק הסתירה, על פיו אין דבר יכול לשאת תכונות מנוגדות זו לזו:

"ברור שאותו הדבר עצמו לא יעשה או יסבול בעת ובעונה אחת דבר והיפוכו, על כל פנים לא מאותה בחינה עצמה ולגבי אותו העניין עצמו; ולפיכך, אם נמצא שכך יארע בהללו, נדע שאינם אותו הדבר עצמו, אלא מרובים" (פוליטיאה, 436ב)."

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

מקווה שיתוקן.

בקשה[עריכת קוד מקור]

ערכתי טיפה את הפסקה הראשונה בפתיח (וגם הוספתי הערה בסוף הפתיח). מקווה שמשתמש:עוזי ו. יסכים לסקור את השינוי שביצעתי. בתודה בכל אופן, ‏Ben-Yeudith‏ • שיחה 16:12, 20 בינואר 2016 (IST)

שינוי שם[עריכת קוד מקור]

קובץ על יד, המקיסט, saifunny, נעם דובב, מכה"כ, amikamraz, אלדד, דגש חזק, פיראוס, JewHyper, Stavalבעלי הידע בניסוח ו בעלי הידע בלשון והגהה, אני מחפש הסכמה על שינוי השם מהשם הנוכחי לשם "תורת ההיגיון". הסיבה: השם העברי רווח ויותר מתאים לשם ערך, וכך גם בפתיח של הערך עד להיום הופיע השם "תורת ההיגיון" ובסוגריים "לוגיקה". הפניה כמובן תישאר. תודה. קובץ על ידשיחהוִיקִיפֶּד מְנַקֵּדהצטרפו לרשימת בעלי הידע 14:50, 29 בנובמבר 2016 (IST)

לוגיקה התקבעה יותר • חיים 7שיחה • 20:07, 29 בנובמבר 2016 (IST)
אין בעיה. אז צריך לשנות זאת גם בפתיח לערך. אין מצב ששם הערך אינו תואם את הפתיח... קובץ על ידשיחהוִיקִיפֶּד מְנַקֵּדהצטרפו לרשימת בעלי הידע 20:22, 29 בנובמבר 2016 (IST)
מסכים עם חיים 7. מה שכן, כדאי ליצור הפנייה, בגלל שמונח זה הוא גם מקובל.המקיסט --- על דא ועל הא 23:04, 29 בנובמבר 2016 (IST)
אז קדימה חיים 7, אפוא תבנית ה{{בוצע}} קריצה קובץ על ידשיחהוִיקִיפֶּד מְנַקֵּדהצטרפו לרשימת בעלי הידע 23:58, 29 בנובמבר 2016 (IST)
לא בוצע לא בוצע קריצהחיים 7שיחה • 22:53, 30 בנובמבר 2016 (IST)
בוצע בוצע - תורת ההיגיון / תורת ההגיון הן הפניות ללוגיקה, בהתאם לדיון הנ"ל. יוניון ג'ק - שיחה 14:40, 31 בינואר 2017 (IST)