Formal məntiq və onun əsas qanunları

Logic - metodları, qanun və düşüncə formaları elm. Formal məntiq uzun, qədim yunanlar tərəfindən hazırlanmışdır eramızdan əvvəl. Bu qərarlar və qanunlar ictimai iclasında qəbul demokratik cəmiyyət qurmaq üçün ilk Yunanlar idi. Onlar aparılması primitiv elm yaradılmış məhkəmə. kübar gənclərin sevimli əyləncə filosoflar ilə müzakirələr idi. Beləliklə nəzəri elmin inkişafı universal sevgi. Rumlar yalnız elmi sübut olmaq üçün necə təlimlərinə idi.

Aristotel tərəfindən hazırlanmış məntiq əsasları ilk dərs. O, bütün arqumentlər ümumi qanunları əsaslanır ki, diqqət çəkdi pozulması səhv nəticələrə gətirib çıxarır. formal Aristotel məntiqi belə qanunları əsasında:

1. qərar onlara etmək nə müsbət olarsa nəticə mənfi ola bilməz.
2. hesabatlarının bir mənfi və ümumi nəticə həmişə mənfi deyil.

Beləliklə bu formal məntiq görünür - bilik səmərəli prinsipləri və qanunları, onların tikinti (ümumi mülahizələr fərdi hissələri birləşdirmək üçün yollar) şəklində ilə bağlı əsaslandırıcı müvafiq tikinti.

Bütün hadisələrin və obyektlərin bir əlaqəsi var. Links obyektiv və ya subyektiv, ümumi və ya xüsusi, zəruri və ya təsadüfi ola bilər. Bu istiqrazların ən əhəmiyyətli qanunları deyilir. onlar bütün buna görə də, bir-birinə zidd bilməz, eyni həqiqəti əks etdirmir. təbiət qanunları ilə bağlı insan fikir bütün qanunları.

Fikir qanunları fikirləri arasında sabit daxili əlaqə var. Bir adam öz fikirlərini bağlamaq bilməz, o, sağ nəticəyə gəlmədi və başqaları gətirmək mümkün deyil.

formal məntiq əsas qanunları - ardıcıllıq, şəxsiyyət istisna orta və qanunları kifayət səbəbi hüquq. Leybnits - ilk üç inkişaf Aristotel və Platon, son məxsusdur. Bu qanunlar (xüsusilə ilk üç) pozulması qeyri-mümkün həqiqəti yalandan ayırmağa edilməsi, ziddiyyətlər gətirib çıxarır. Son hüquq az qaydalar və daha məhdud istifadə.

məntiq Qeyri-core qanunları - bu induktiv əsaslandırıcı ehtimalı artırılması, tasım əsl nəticə əldə əməliyyat təkliflər və anlayışlar, qaydaları və nəticələr xarakter traduktivnogo.

ardıcıllıq hüquq düşüncə mübahisəli olmamalıdır, lakin müəyyən şeylər keyfiyyəti əks etdirməlidir deməkdir.

Xaric orta Law iki zidd lakin əsl şərhdə arasında axtarmaq üçün üçüncü və onlardan yalnız biri həqiqəti tanımaq təsvir. ziddiyyətlərin komponentlərindən biri - əlbəttə doğrudur.

şəxsiyyət formal məntiq hüquq dəqiq onun müəyyən və mənasını anlamaq üçün lazım olan hər hansı bir müddət altında yəni dəqiq düşüncə bir gərəyi olaraq şərh edir. anlayışlar və qərarlarının mahiyyəti iradəsi ilə təhrif edə bilməz.

kifayət qədər səbəbi hüquq zəruri doğru fikir digər əsl fikir haqq qazandırmaq üçün, və saxta ideyalar haqq qazandırıla bilməz ki. qərarların inkişafında səbəbli əlaqəni əks etdirməlidir. Yalnız bu halda onun etibarlılığı sübut edilə bilər.

"... onda ..." məntiqi düşüncə və söz daxildir məntiqi baxımından ifadə bütün fikir formaları müəyyən üsulları forması "və", "və ya", inkar "doğru deyil ki," ( "xeyr") , sözü "bir", "bütün" ( "yox"), "mahiyyəti" bir dəstə (mənasında olan "deyil") və s qərarın məntiqi forma bu qərarın şifahi ifadə daxil olan məntiqsiz baxımından mənası çevirirsən bilər tanımlayın. Başqa sözlə, formal məntiq düşüncə quruluşu ifadə edir. məntiqi forma həmişə informativ və mənalı.

anlayışlar, əsaslandırıcı və qərarın: fikir onların formaları asılı olaraq siniflərə bölünür. Concept - onların əsas xüsusiyyətləri əsasında obyektlərin ümumiləşdirir fikir. Qiyamət - fikir, vəziyyətin varlığı (olmaması) müdafiə. Inference - bilik əldə əks etdirən fikir digər bilik qərarlarının dilə gətirdi.