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

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

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

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

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

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

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

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

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

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