וואָס איז אַ "פאָדערן ריקווייערז דערווייַז"

טראַדיטיאָנאַללי עס איז אנגענומען אַז די גרינדערס פון די וויסנשאַפֿט פון דזשיאַמאַטרי זענען גריכן, וואס באַראָוד פון די מצרים די פיייקייַט צו מעסטן די וואַליומז פון פאַרשידענע ללבער און די ערד. די אלטע מצרים, באַשטעטיקן די גענעראַל געזעצן איבער צייַט, געמאכט דער ערשטער דעמאָנסטראַטיווע אַרבעט. זיי געוויזן אַלע די פּראַוויזשאַנז פון לאַדזשיקאַל פּאַטס פון אַ קליין נומער פון פּראַפּאָוזאַלז נעדאָקאַזיוואַעמיה אָדער אַקסיאָמס. אַזוי, אויב אַ אַקסיאַם - אַ דערקלערונג אַז טוט נישט דאַרפן דערווייַז אַז אַזאַ "פאָדערן ריקווייערז דערווייַז"? איידער איר פֿאַרשטיין דאָס, איר דאַרפֿן צו פֿאַרשטיין וואָס איז דער טערמין "דערווייַז".

ינטערפּריטיישאַן פון דער באַגריף

דערווייַז (טערעץ) רעפּראַזענץ אַ לאַדזשיקאַל אמת פון אַ פּראָצעס פון גרינדן אַ ספּעציפיש האַסקאָמע דורך אנדערע קליימז אַז האָבן שוין פּראָווען פריער. אַזוי, ווען איר דאַרפֿן צו באַווייַזן די פאָרלייג א איז אויסגעקליבן אַזאַ אַ משפּט ב, C און די, פון וואָס א גייט ווי אַ לאַדזשיקאַל קאַנסאַקוואַנס.

זאָגן וואָס זענען געניצט אין וויסנשאַפֿט, זענען קאַמפּאָוזד פון פאַרשידענע מינים פון קאַנקלוזשאַנז שייך צו יעדער אנדערער אַזוי אַז די ויספאָרשונג איז אַ פּרירעקוואַזאַט פֿאַר די ימערדזשאַנס פון דעם אנדערן, און אַזוי אויף.

די דערווייַז איז אין די וויסנשאַפֿט

די אַנטוויקלונג פון קיין וויסנשאַפֿט באשלאסן דורך די גראַד פון אַפּלאַקיישאַן דערין זאָגן דורך וואָס צו באַרעכטיקן די אמת און שקר עטלעכע אנדערע אַסערשאַנז. אַז זאָגן געהאָלפֿן צו באַקומען באַפרייַען פון מיסקאַנסעפּשאַנז, עפן פּלאַץ SCIENTIFIC שעפֿערישקייט. א Forms מיט זיי די קשר צווישן די פאַרשידן קליימז זיכער וויסנשאַפֿט מאכט עס מעגלעך צו באַשליסן זייַן לאַדזשיקאַל ביניען.

אין מאָדערן מאל באַווייַזן וויידלי געניצט אין לאָגיק און מאטעמאטיק, זיי זענען אַנאַליסיס מעטהאָדס ווען עס איז די נויט צו ידענטיפיצירן ינפערענסעס ביניען.

מאטעמאטיק

פֿאַר פילע, ונדערסטאַנדס דעם וויסנשאַפֿט, ווי מאטעמאטיק, די קשיא ערייזאַז אַז אַזאַ אַ דערקלערונג, דימאַנדינג דערווייַז. אַנסווער ( "אַוואַטאַרס" זאגט עדות צו דעם) - דעם טעאָרעם.

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

ווייַטער דערקלערונג ריקווייערז דערווייַז (טעאָרעם), וואָס איז ענג ינטערטוויינד מיט די באַגריף פון אַ "לאַדזשיקאַל קאַנסאַקוואַנס". אַזוי, איבער צייַט, די לאַדזשיקאַל ריזאַנינג פּראָצעס סוואָלסיאַ העכערונג צו פאָרמולאַס אָדער מאַטאַמאַטיקאַל סטייטמאַנץ וואָס זענען רעקאָרדעד אין אַ זיכער שפּראַך שטעלן אַרויס כּללים רילייטינג נישט צו די אינהאלט פון די פאָרשלאָג און צו זייַן פאָרעם. אזוי, אין טעאָריע עס באדינט ווי דערווייַז פון די סיקוואַנס פון פאָרמולאַס, יעדער פון וואָס איז אַקסיאָמאַטיק.

אין מאטעמאטיק, אַ טעאָרעם ויסזאָגונג אָדער ריקוויירינג זאָגן איז די לעצטע פאָרמולע אין דעם פּראָצעס פון פּראָווינג אַ טעאָריע. דעם פאָרמולאַטיאָן איז געגרינדעט ווי אַ רעזולטאַט פון ניצן פאַרשידן מאַטאַמאַטיקאַל מעטהאָדס. עס איז אויך געפֿונען אַז די אַקסיאָמאַטיק טיריז, וואָס זענען טייל פון די פאַרשידענע צווייגן פון מאטעמאטיק, זענען דערענדיקט. אַזוי, עס זענען אַלאַגיישאַנז קרעדענסע אָדער פאַלשקייַט פון וואָס עס איז אוממעגלעך צו פעסטשטעלן אַ לאַדזשיקאַל דרך באזירט אויף אַקסיאָמס. אַזאַ ינסאַליאַבאַל טעאָריע זענען נישט אַ אופֿן פֿאַר סאַלווינג.

אזוי, דער פאָדערן ריקווייערז דערווייַז אין מאטעמאטיק עס גערופֿן אַ טעאָרעם.

פילאָסאָפיע

פֿילאָסאָפֿיע איז די וויסנשאַפֿט וואָס שטודיום די סיסטעם פון וויסן וועגן די טשאַראַקטעריסטיקס און פּרינציפּן פון פאַקט און וויסן. אַזוי, פון דעם פונט פון וואָס די פאָדערן ריקווייערז דערווייַז? ענטפֿערן: "אַוואַטאַר," זאגט דעם טעזיס.

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

אין די פֿילאָסאָפֿיע פון דער זעלביקער כייפעץ פון געדאַנק איז אַטריביאַטאַד צו פאַרמאָג, וואָס אין דער זעלביקער צייַט געלייקנט. אזוי, די קאַמפּאָונאַנץ עקסיסטירן אין אחדות, מיר מוזן האָבן דרייַ עלעמענטן: באדינגונגען געפֿירט (דערווייַז) און קאַנסעפּס.

באַזירט אויף אַלע דעם געגעל דיאַלעקטיק אופֿן איז געווען דערייווד, באזירט אויף די יבערגאַנג פון אַ טעזיס דורך עווידענסע פֿאַר סינטעז. עס האט ווערן אַ קיילע פֿאַר די קאַנסטראַקשאַן פון מעטאַפֿיזיק.

לאָגיק

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

כּללים

איבער די פּראָצעס פון אַרגומענטאַטיאָן טעזיס זאָל בלייַבן די זעלבע. אויב דעם צושטאַנד איז ווייאַלייטיד, דעם לידז צו די פאַקט אַז די דערקלערונג וועט ניט באַווייַזן צו זיין רעפוטעד. דאָ די אַרבעט נאָרמאַלי, "ווער איז אַ פּלאַץ פון דערווייַז אַז טוט נישט באַווייַזן עפּעס!"

באַמערקונג עפּעס אַנדערש קאַנסידערינג דעם קשיא, די פאָדערן ריקווייערז דערווייַז זאָל ניט זיין מאַלטי-וואַליוד. דעם הערשן פּריווענץ אַ ומגעלומפּערט שטעלע ווען עס איז פּראָווינג. לעמאָשל, זייער אָפֿט דער מענטש זאגט אַזוי פיל, ווי אויב קיין דערווייַז, אָבער אַז עס בלייבט ומקלאָר, ווי זייַן אַרגומענט ינדעפיניטעלי. די צוויידייַטיקייַט פון דער דערקלערונג לידז צו ומזיסט דיספּיוץ, זינט יעדער פון די פּאַרטיעס האָבן פאַרשידענע פּערסעפּשאַנז פון די סיטואַציע פּרוווד.

די דערקלערונג טוט נישט דאַרפן דערווייַז

מער אַריסטאָטלע, קאַנסידערינג די קשיא פון אַ אַרגואַבלע פאָדערן, שטעלן פאָרויס די טעאָריע פון סיללאָגיסמס. סיללאָגיסמס צונויפשטעלנ זיך פון אַזאַ סטייטמאַנץ, וואָס אַנטהאַלטן די וואָרט "זאל" אָדער "זאָל" אָנשטאָט פון "איז". אַזאַ סטייטמאַנץ זענען לאַדזשיקלי נישט גערעכט, ווייַל זייער באדינגונגען האָבן ניט געווען פּרוווד. דעם רייזאַז די קשיא פון די סטאַרטינג פונט פֿאַר דער אַנטוויקלונג פון וויסנשאַפֿט. לויט צו אַריסטאָטלע, יעדער וויסנשאַפֿט מוזן אָנהייבן מיט סטייטמאַנץ אַז טאָן ניט דאַרפֿן דערווייַז. ער האט זיי אַקסיאָמס.

אַקסיאַם

די דערקלערונג טוט נישט דאַרפן דערווייַז - עס איז אַ אַקסיאַם. עס איז ניט נייטיק צו באַווייַזן אין פיר, עס איז נאָר נייטיק צו דערקלערן אַז עס איז געווען קלאָר. גערעדט פון אַקסיאָמס, אַריסטאָטלע געהאלטן דזשיאַמאַטרי וואָס נעמט די פאָרעם פון סיסטעמאַטיזאַטיאָן. מאטעמאטיק איז דער ערשטער וויסנשאַפֿט, וואָס געניצט סטייטמאַנץ אַז דאַרפֿן קיין טערעץ. דעמאָלט דאָרט איז געווען אַסטראָנאָמיע ווי צו באַרעכטיקן די באַוועגונג פון די פּלאַנאַץ איז נייטיק צו ריזאָרט צו מאַטאַמאַטיקאַל חשבונות. ווי איר קענען זען, וויסנשאַפֿט האט שוין ליינד אַרויף ווי כייעראַרקי.

טייפּס פון ססיענסעס פון אַריסטאָטלע

אַריסטאָטלע אויף די הויפּט אַבדזשעקטיווז שטעלן פאָרויס דרייַ טייפּס פון ססיענסעס. טעאָרעטיש וויסנשאַפֿט צושטעלן וויסן אין די פּערספּעקטיוו אין וואָס זיי זענען קעגן מיינונגען. מאַט דאָ איז די הויפּט משל. זיי אויך אַרייַננעמען די פיזיק און מעטאַפֿיזיק.

פּראַקטיש ססיענסעס זענען בדעה צו לערנען צו קאָנטראָל מענטשלעך נאַטור אין געזעלשאַפט. דאס קען אַרייַננעמען, למשל, עטיקס.

טעכניש ססיענסעס זענען אַימעד בייַ די שאַפונג פון די בריאה פון פאַרוואַלטונג אַבדזשעקס פֿאַר זייער נוצן אין לעבן אָדער צו געניסן זייער קינסט שיינקייט.

אַריסטאָטעליאַן לאָגיק טוט נישט געהערן צו איין גרופּע פון ססיענסעס. עס אקטן ווי אַ גענעראַל אופֿן צו אַרבעטן זאכן, וואָס איז מאַנדאַטאָרי פֿאַר יעדער פון די ססיענסעס. די לאָגיק איז דערלאנגט ווי אַ געצייַג, וואָס וועט בויען SCIENTIFIC פאָרשונג, ווייַל עס גיט די קרייטיריאַ פֿאַר דיסטינגגווישינג און זאָגן.

אַנאַליטיקס

אַנאַליסט שטודיום די Forms פון זאָגן. עס דיקאַמפּאָוזיז לאַדזשיקאַל טראכטן אין פּשוט קאַמפּאָונאַנץ, און פֿון זיי זענען שוין מאָווינג צו די קאָמפּלעקס Forms פון טראכטן. אזוי, זאָגן פון סטרוקטור טוט נישט דאַרפן באַטראַכטונג.

אזוי, דער לאָגיק און אַנאַליטיקס צו ונטערזוכן צי אַזאַ אַ פאָדערן, וואָס טוט ניט דאַרפן דערווייַז. אַז איז, פֿאַר די ינדאַסטריז איז קעראַקטערייזד דורך פאַרלענגערונג אַקסיאָמס. אויך, זיי טענד צו דערקלערן די פאַקט אַז אַזאַ אַ דערקלערונג, דימאַנדינג דערווייַז. ענטפֿערס צו די שאלות זענען אין יעדער צווייַג פון וויסנשאַפֿט, זינט קיין SCIENTIFIC לערנען איז ניט אָן לאָגיק און סייכל.

שייכות צו פאַקט

ווייל געהאלטן די קשיא פון וואָס אַזאַ אַ דערקלערונג, וואָס ריקווייערז זאָגן, עס איז געווארן קלאָר: די נאַטור פון די זאָגן איז אַז די דערקלערונג, וואָס איז אין קאַנטענשאַן דערציילט צו די פאַקטיש שטאַט פון זאכן, אָדער מיט אנדערע Facts, די אָטאַנטיסיטי פון וואָס האט שוין פּרוווד פריער. לעמאָשל, אין עטלעכע קאַסעס, דער אמת פון די אַלאַגיישאַנז קענען זיין סובסטאַנטיאַטעד דורך מיטל פון עקספּערימענט (גשמיות, בייאַלאַדזשיקאַל, כעמישער), די רעזולטאטן פון וואָס איז קענטיק און אַז זיי טרעפן די סטייטיד אַ משפּט אָדער ניט. אין אנדערע ווערטער, די פאָרשונג רעזולטאטן וועלן זיין אַ דערווייַז פון דעם אמת פון סטייטמאַנץ, אָדער זייַן אָפּלייקענונג.

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

רעזולטאַטן

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

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

1. אַלע אַלקאַלי מעטאַלס אין צימער טעמפּעראַטור וואַסער איז געווען דיקאַמפּאָוזד.

2. סאָדיום איז אַ אַלקאַלי מעטאַל. דעריבער, עס דיקאַמפּאָוזיז וואַסער.

3. די געגרינדעט מעטאַל בעשאַס דער עקספּערימענט וואַסער איז נישט דיקאַמפּאָוזד. דעריבער, דער ריזאַלטאַנט מעטאַל - קיין סאָדיום.

ווי איר קענען זען, אַלע די געניצט טענות זענען אמת, דערווייַז אַז געשען ווי אַ רעזולטאַט פון מאָניטאָרינג, סוממאַריזינג פאַרגאַנגענהייַט דערפאַרונג, סיללאָגיסטיק ריזאַנינג. פּראָצעס זאָגן דאָ איז באזירט אויף צוויי ריזאַנינג, איינער קאַנסאַקוואַנס איז אַ פּרירעקוואַזאַט אין דעם פאַל די אנדערע.