פאָרמאַל לאָגיק און זייַן גרונט געזעצן

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

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

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

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

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

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

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

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

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

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

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

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

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

דיפּענדינג אויף זייער Forms פון געדאַנק זענען צעטיילט אין קלאסן: די קאַנסעפּס, ריזאַנינג און דין. באַגריף - דער געדאַנק אַז גענעראַליזעס די אַבדזשעקס אויף דער באזע פון זייער גרונט קעראַקטעריסטיקס. דין - דער געדאַנק, אַסערטינג די בייַזייַן (אַוועק) פון די סיטואַציע. ינפערענסע - געדאַנק, רעפלעקטינג די אַקוואַזישאַן פון וויסן, אויסגעדריקט אין די געזעצן פון אנדערע וויסן.