שיחה:לוגיקה

message: כתבתי את הערך על לוגיקה מחדש, בכדי שיהיה מנוסח בצורה ברורה ומדוייקת יותר. עדיין לא סיימתי את העבודה ויש הרבה דברים שצריך להוסיף אולם זמני קצר. אשמח אם אחרים ימשיכו את העבודה מכאן. ביחוד יש צורך להוסיף על אלגברה בולאנית, כמתים (קיים ולכל) ולהרחיב על תפקידה של הלוגיקה במדעי המחשב.  -- סלע
replies: text: הקישור ל-"על לוגיקה וכשלים לוגיים" איננו פועל (לי לפחות). יער 22:26, 20 יולי 2005 (UTC)
thread_title: 2005

thread_title:  קישור ופיסקה לוגיקה( אלקטרוניקה) 

message: "לוגיקה" כפי שהיא מוגדרת בערך הזה אינה אותה הלוגיקה שהיא ענף של הפילוסופיה. הלוגיקה המוגדרת בערך זה היא הלוגיקה המתמטית. בפילוסופיה העיסוק הוא כולל יותר ואינו מסתפק בכללים להסקת מסקנות, אלא עוסק בהבחנה בין הסקה נכונה ולא נכונה, כלומר עוסק גם בשאלות מהם כללי ההסקה, ואיך לדעת האם הסקה מסוימת היא נכונה או לא. 
בלוגיקה (כפילוסופיה), עסק כבר סוקרטס הרבה לפני אריסטו. מונחים כמו הדיאלקטיקה של סוקרטס, או "הלוגיקה של השפה" של סוקרטס מקומם בערך נפרד "לוגיקה (פילוסופיה)".
לדעתי צריך לשנות את שם הערך הזה ל"לוגיקה מתמטית" וליצור ערך חדש "לוגיקה (פילוסופיה)". אני גם מוכן לכתוב את הערך "לוגיקה (פילוסופיה)" כקצרמר. 
אוהד ל 04:22, 10 פברואר 2006 (UTC)
replies: text: את המחצית השניה (מ"השיטה של הלוגיקה הפורמלית" ואילך) אפשר להעביר ללוגיקה מתמטית; המחצית הראשונה לא שייכת לשם. אם מישהו יודע מהי "לוגיקה פורמלית", זה הזמן לגלות. עוזי ו. 04:34, 10 פברואר 2006 (UTC)
replies: text: :לוגיקה פורמלית = לוגיקההצורנית = לוגיקה מתמטית. 
אוהד ל 04:42, 10 פברואר 2006 (UTC)
replies: text: ::העברתי, אם כי לדעתי הדיון במודוס פוננס שייך לכאן (לפחות גם לכאן). דוד שי 05:32, 10 פברואר 2006 (UTC)
ההבחנה שאתם מציעים בין לוגיקה מתמטית ולוגיקה היא מלאכותית ואינה תקפה בעיני מרבית הפילוסופים בני זמננו. הלוגיקה בת זמננו היא לוגיקה מתמטית; ומה שמלמדים בחוגים לפילוסופיה בקורס מבוא ללוגיקה זה מעט מאד היסטוריה של הלוגיקה והרבה לוגיקה "מתמטית". על כן יש לשוב ולשלב חלקים מן הערך על לוגיקה מתמטית בערך זה. עם זאת ניתן לשמור על הערך הזה כערך היסטורי ופילוסופי בעיקרו וליחד את הערך של לוגיקה מתמטית לתיאור מופשט יותר של התיאוריה הלוגית הקאנונית.
גלעד ניר - שיחה 21:11, 27 בינואר 2013 (IST)
הוספתי למבוא לפרק את ההערה הבאה: 
ֿערך זה מציג את מושגי היסוד של הלוגיקה ועוסק בהיבטים הפילוסופים של הלוגיקה. באמצעות הקישורים שתמצאו בערך זה, תוכלו להגיע לדפים העוסקים בהיבטים הטכניים של הלוגיקה, למשל תחת הערך לוגיקה מתמטית.גלעד ניר - שיחה 17:37, 28 בינואר 2013 (IST)
thread_title:  לוגיקה מתמטית ולא לוגיקה. שינוי שם הערך. 

message: בטוח שזה שם מקובל חלופי ל"לוגיקה"?? גוונא + שיחה + התגלה פרק חדש ברמב"ם זרעים! 18:43, 31 במרץ 2010 (IDT)
replies: text: גם אני סבור שמדובר בשגיאה. Shandorsan - שיחה 14:45, 18 באוגוסט 2010 (IDT)
replies: text: : גם אני מסכים, ימחק עד הצגת מקורUhbcrd451 - שיחה 14:36, 8 בדצמבר 2014 (IST)
thread_title:  "שכל הישר" 

message: ראו שיחה:לוגיקה (פילוסופיה). /אורלינג◄שיחה 22:38, 24 בפברואר 2011 ◄ מורשת שבדית זה לא רק איקאה
האם משמש הרבה בבתי משפט ובלשות? (כמו בחידות ההגיון של הולמס...) משמשת הרבה אצל אסטרטגים צבאיים?(אני מניח שכן.) ואצל פעילים הומניטרי?
thread_title:  שני ערכים על אותו דבר? 

message: הערך כתוב טוב אולם חסר פרק על לוגיקה מודרנית: פרגה, ראסל ויטגנשטיין, קריפקה והלאה. הראשון שמעוניין/ת לעשות זאת, מוזמן/ת. אבנר - שיחה 22:33, 18 בינואר 2012 (IST)
replies: text: צודק לחלוטין. מדובר בחסר מהותי. הנחתי תבנית:להשלים. בן ג. (שיחה) • תרומת כוח-חישוב • 16:44, 14 במאי 2012 (IDT)
הערך על לוגיקה מודרנית מחיל כעת תיאור של תחומי המחקר הרלוונטים וקישורים לדפים השונים בהם הם מתוארים.גלעד ניר - שיחה 21:35, 27 בינואר 2013 (IST)

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

message: "שתי תפוחים" זה מילים שונות בשביל "תפוח (אחד) ועוד תפוח" 31.44.133.55 15:27, 14 במאי 2012 (IDT)
replies: text: "שני תפוחים" הן (או אלו) מילים שונות בשביל "תפוח (אחד) ועוד תפוח" Itaigreif - שיחה 13:09, 3 באוגוסט 2016 (IDT)
thread_title:  1+1 לא זהה ל - 2 ? 

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

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

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

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

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

message: ו, אני מחפש הסכמה על שינוי השם מהשם הנוכחי לשם "תורת ההיגיון". הסיבה: השם העברי רווח ויותר מתאים לשם ערך, וכך גם בפתיח של הערך עד להיום הופיע השם "תורת ההיגיון" ובסוגריים "לוגיקה". הפניה כמובן תישאר. תודה. קובץ על יד ♦ שיחה ♦ וִיקִיפֶּד מְנַקֵּד ♦ הצטרפו לרשימת בעלי הידע 14:50, 29 בנובמבר 2016 (IST)
replies: text: לוגיקה התקבעה יותר • חיים 7 • שיחה •  20:07, 29 בנובמבר 2016 (IST)
replies: text: :אין בעיה. אז צריך לשנות זאת גם בפתיח לערך. אין מצב ששם הערך אינו תואם את הפתיח... קובץ על יד ♦ שיחה ♦ וִיקִיפֶּד מְנַקֵּד ♦ הצטרפו לרשימת בעלי הידע 20:22, 29 בנובמבר 2016 (IST)
replies: text: ::מסכים עם . מה שכן, כדאי ליצור הפנייה, בגלל שמונח זה הוא גם מקובל.המקיסט --- על דא ועל הא 23:04, 29 בנובמבר 2016 (IST)
replies: text: :::אז קדימה , אפוא תבנית ה  קובץ על יד ♦ שיחה ♦ וִיקִיפֶּד מְנַקֵּד ♦ הצטרפו לרשימת בעלי הידע 23:58, 29 בנובמבר 2016 (IST)

text: • חיים 7 • שיחה •  22:53, 30 בנובמבר 2016 (IST)
replies: text: : - תורת ההיגיון / תורת ההגיון הן הפניות ללוגיקה, בהתאם לדיון הנ"ל. יוניון ג'ק - שיחה 14:40, 31 בינואר 2017 (IST)
thread_title:  שינוי שם