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

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

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

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

... מילים שמכניסות הרבה כסף לכיסו של ה"מרפא" בלי לטרוח לעשות מעקב מסודר אחרי החולים האומללים. שימו לב למשחק הכפול שמשחקים המרפאים האלה. מצד אחד, הם פותחים בקביעה נחרצת ש"מחקרים מדעיים ברחבי העולם כבר הוכיחו ש... " אבל ברגע שתשאלו כמה שאלות פשוטות על ה"מחקרים" האלה - מי עשה אותם, מה גודל האפקט, האם נשלל הפלצבו וכד' - מיד תבוא המחאה "באמת, ... עובר כיום ניעור רציני של בדיקת כל המוסכמות שלו במסגרת המגמה הקרויה Evidence based medicine. וכך, לא פלא שהרבה טענות שהיו פעם נחלת הרפואה הטבעונית התקבלו על דעת הממסד הרפואי אחרי שמחקרים אובייקטיביים הוכיחו אותן. מה שחשוב להבין הוא שבמדע, גם למהפכות יש תרומה מתווספת. לא "עולם ישן עדי יסוד נחרימה" כמו במהפכות פוליטיות עקובות מדם, וגם לא ...

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

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

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

... על אופני ביטוי סימבוליים, ללא תלות בתחביר של השפה הטבעית. כך נולדה הלוגיקה המתמטית, המתמקדת במושג ההוכחה ובתכונותיהן של מערכות אקסיומטיות שונות. לפיכך בעוד שבראשית הלוגיקה נושא המחקר היה חוקי החשיבה הנכונה, נכון יותר לתאר את העניין של הלוגיקה המודרנית כעיסוק ... כאשר ניתן להסיק ממנה דבר והיפוכו; מכאן שבצירוף לחוק השלישי הנמנע, ניתן להראות את אמיתותה של טענה על ידי הוכחת שקריותה של שלילתה. הוכחה מסוג זה מכונה בלטינית רדוקציו אד אבסורדום (reductio ad absurdum) או הוכחה בדרך השלילה. מכיוון שבהוכחה כזו ההנחה (שלילתה של טענה מסוימת) מובילה לסתירה, ברור שההנחה אינה יכולה להיות אמיתית. ומכאן שהטענה המקורית (אותה שללנו כהנחה להוכחה על דרך השלילה) אמיתית. כללים אלו הינם ברורים מאליהם אך יש מקרים בהם הרלוונטיות שלהם אינה ברורה. לדוגמה, ישנם משפטים וטענות שאנו משתמשים בהם בחיי היומיום שאין להם ... של טענות מתימטיות (למשל משוואות, שצורתן אינה כזו של נושא - נשוא) ואת אופיו של הטיעון המתימטי, דהיינו ההוכחה. במקביל לחקירת המאפיינים הלוגים של המתמטיקה, הוחל לעשות שימוש במתודות מתמטיות בלוגיקה, וההפריה ההדדית בין שני המדעים גברה. מתמטיקאים ופילוסופים כמו ג'ורג' בול, ... פרגה היה התומך המשמעותי הראשון של לוגיציזם - העמדה לפיה ניתן לצמצם את המתמטיקה כולה ללוגיקה. פרגה אף ניסה להוכיח כי חוקי האריתמטיקה, ומושג המספר עצמו, ניתנים לפיתוח מתוך אקסיומות שאותן תפס פרגה כלוגיות במובהק. לאחר שפורסם הכרך הראשון של ספרו השלישי, "חוקי היסוד של ... בשפה. בלוגיקה מנסחים ובוחנים מערכות לוגיות בשפה הסימבולית. מערכת לוגית היא תחשיב (calculus) בו ניתן לבצע הוכחות. שני התחשיבים הלוגיים הבסיסיים הם תחשיב הפסוקים (propositional calculus או sentential calculus) ותחשיב הפרדיקטים (predicate calculus). תחשיב הפסוקים הוא הרחבה ... שחלקן מקבלות מעמד מיוחד של אקסיומות, וכן מערך של כללי היסק הקובעים אילו נוסחאות ניתן לגזור מאילו, ובכך להוכיח אותן. התחביר של התחשיב מגדיר באופן רקורסיבי את כל הנב"כים של התחשיב. בלוגיקה המודרנית, נהוג להבחין בין התחביר (syntax) של המערכת, הקובע מהו משפט תקני ומהם הכללים ... החשובות ביותר של מערכות לוגיות, ניתן להזכיר את התכונות הבאות, אשר את קיומן עבור מערכות מסוימות ניתן להוכיח או לשלול: עקביות (consistency) - זוהי תכונתן של מערכות לוגיות שאין סתירה בין אי אלו מן הטענות המוכלות בהן שלמות (completeness) - זוהי תכונתן של מערכות לוגיות שבהן לגבי כל נוסחה אמיתית, ניתן לספק לה הוכחה מן האקסיומות. נאותות (soundness) - בניגוד לנאותות של טיעון, שהיא התכונה של טיעון תקף שבו כל ההנחות אמיתיות, נאותות של מערכת לוגית היא התכונה לפיה אם נוסחה מסוימת ניתנת להוכחה מן האקסיומות על פי חוקי התחשיב, אזי נוסחה זו אמיתית. הוכחות לשלמות ולנאותות מעידות על הזיקה שבין התחביר והסמנטיקה של המערכת. התחביר קובע איזו נוסחה היא תיאורמה (או משפט), דהיינו איזו נוסחה ניתנת לגזירה מן האקסיומות, ... טאוטולוגיה. ניתן לראות כי התכונות נאותות ושלמות קשורות זו לזו, אף שלא כל מערכת נאותה היא גם שלמה. קורט גדל הוכיח ב - 1931 שבמערכות לוגיות שהן חזקות מספיק (כאלו שכוללות את האריתמטיקה בתוכן, כמו המערכת שהציע ברטראנד ראסל בפרינקיפיה מתמטיקה), יש נוסחאות אמיתיות שלא ניתן להוכיח אותן או את שלילתן. חוק זה נקרא משפט אי השלמות של גדל. תחשיב הפסוקים תחשיב הפסוקים מאפשר לייצג את הקשרים בין ערכי האמת של טענות (פסוקים) שונות. תחשיב הפסוקים אינו ... שורה כזו בטבלה, הרי שהטיעון אינו תקף, שהרי זו דוגמה נגדית. אולם אם אין שורה כזו, הראנו שהטיעון תקף. מערכות הוכחה לתחשיב הפסוקים ניתן לבנות לתחשיב הפסוקים מערכות הוכחה, שבהן ניתן להוכיח מקבוצת טענות נתונה טענות נוספות שנובעות ממנה. מערכות היסק אלה בנויות מכללים סינטקטיים (תחביריים) טכניים בלבד. המערכת הפשוטה ביותר מכונה מערכת הדדוקציה הטבעית, ... היא מכילה כלל הכנסה (Introduction) וכלל הוצאה (Elimination). מערכת זו היא נאותה (כלומר, כל נוסחה שניתנת להוכחה, היא אמיתית) ושלמה (כלומר, כל נוסחה אמיתית גם ניתנת להוכחה מקבוצה זו במערכת). תחשיב הפרדיקטים תחשיב פרדיקטים מסדר ראשון הוא מערכת אקסיומטית המאפשרת לטפל בפסוקים שהמבנה הבסיסי שלהן כולל נשואים (פרדיקטים) החלים על ... מכירה בחוק השלישי הנמנע (לפיו כל טענה היא אמיתית או שקרית, ללא חלופה אפשרית אחרת), ולפיכך היא אינה מאפשרת הוכחה בדרך השלילה. אקסיומת הבחירה של תורת הקבוצות נדחית אף היא. הלוגיקה האינטואיציוניסטית נוסחה באופן פורמאלי על ידי ארנד הייטינג וארט בישופ, וקיבלה את התורה הסמנטית ...

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