Formal məntiq və onun əsas qanunları

– Mariya isti yeməyini yedi. Maria isti yeməyini yeyib yandı. İsti yemək yandırır.

Rəsmi məntiq: tədqiqat obyekti, xüsusiyyətləri və nümunələri

The formal məntiqNəzəri məntiq və ya riyazi məntiq də adlandırılan, mülahizələrin düzgün və düzgün formalarının nə olduğunu müəyyənləşdirir. Bu təcrübə ilə nəyin düzgün və nəyin səhv olduğunu fərqləndirməyə çalışırıq.

Rəsmi məntiqdə simvollar birmənalı və mümkün qədər aydın şəkildə istifadə olunur ki, onları idarə etmək olmaz. Bu təcrübə sayəsində öz fikirlərinizi inkişaf etdirmək mümkündür.

“Məntiq” sözü qədim yunan dilindən gəlir λογικήlogikḗbu, “intellektual, dialektik, mübahisəli səbəblə təchiz olunmuşdur” deməkdir. Məntiq fəlsəfə və riyaziyyatın sahələrindən biridir və bu fənlər üçün böyük istifadə hesab olunur.

Ümumiyyətlə, məntiq düşüncə formasını öyrənir. Məntiqlə əlaqəli olaraq həyata keçirilən ilk əsərlər Yunan filosofu Aristotelə aid edilir, bu səbəbdən də bu düşüncə sahəsinin qurucu atası kimi tanınır.

Tarix boyu müxtəlif filosoflar, riyaziyyatçılar və məntiqçilər formal məntiqi müdafiə etmişlər. Bunların arasında riyaziyyatçı və məntiqçi Alonzo Kilsəsinin adını çəkə bilərik; filosof, riyaziyyatçı və məntiqçi Gottlob Frege; və eyni zamanda riyaziyyatçı və filosof Alfred North Whitehead.

Alfred Tarski, KurtGödel, Bertrand Russell və Willard Van Orman Quine və digərləri də əla müdafiəçi oldular.

Tədqiqat obyekti

Rəsmi məntiq araşdırma obyekti kimi düşünmə, konsepsiya, mühakimə və nümayiş kimi məqamlardan istifadə edir. Bu elementlərdən bir nəticəyə gəlmək üçün dil və semantikanın bütün mənbələrini təhlil edir və araşdırır.

Bu mənada formal məntiqdə düşüncənin strukturlaşdırılmış baxımdan, etibarlılığı və ya etibarsızlığı baxımından öyrənildiyi müəyyən edilmişdir.

Rəsmi məntiq, düşünmə prosesinin empirik bir araşdırması deyil. Həm də inandırma ilə qarışdırmaq olmaz, çünki nəticə çıxarmaq üçün mübahisələrin quruluşu lazımdır.

Bu məntiq nəzəri və ya saf məntiq olaraq da bilinir və deduktiv arqumentlərin, ifadələrin, müddəaların və iddialı istifadə olunan cümlələrin məzmunu və ya məntiqi formaları barədə mücərrəd bir araşdırma aparmağa çalışır.

Rəsmi məntiq nümunələrinin ətraflı araşdırılması hər bir fərdin düşüncə tərzi ilə əlaqəli prosedurları dəqiq bilməsinə imkan verəcəkdir.

xüsusiyyətləri

Aşağıda formal məntiqi digər məntiq növlərindən fərqləndirən ən xüsusi xüsusiyyətlər verilmişdir:

-Yalnız materialı araşdıran digər məntiq növlərindən fərqli olaraq, ön şərt formasını araşdıran bir elmdir.

-Madəsiz bir quruluşdur.

-Rəsmi sistemlərin bir alt qrupu altında qurulur.

-Məsələni o qədər səmərəli tətbiq edin ki, rəsmi məntiqlə nəyin yalnış nəyin doğru ilə ayrılmasını təmin edin.

-Doğru mülahizələrin və ya etibarlılığın nəticələri həqiqi binaların quruluşu təhlil edildiyi üçün yaranır.

-İnsanları birbaşa düşünməyə yönəltmək üçün araşdırın və analiz edin və beləliklə hər bir fərdin düşüncəsində yeni nümunələr qura bilin.

-Rəmzi olması ilə xarakterizə olunur.

-Rəsmi elm nöqteyi-nəzərindən riyaziyyat, fəlsəfə, informatika və statistikada mühüm rol oynayır.

-Mantika öyrənilməsinə görə qrammatika ilə əlaqəlidir.

-Riyaziyyatla müqayisə olunduğu üçün strukturları öyrən.

-Psixologiya ilə də əlaqəlidir, çünki hər bir fərdin düşüncəsinin öyrənilməsinə yönəlmişdir.

Növlər

Deontik məntiq

Qədim yunan dilindən gəlir δέον [τος] déon [öskürək] və “nə lazımdır” və ya “nə lazımdır” deməkdir. Avstriyalı məntiqçi Alois Höffler normaların öyrənilməsinə və təhlilinə işarə edən bu konsepsiyanın öncüsüdür.

Bivalent məntiq

Yalnız doğru və yalan dəyərləri dəstəkləyən məntiq növüdür. Çalarlara inanmır, hər şey qara və ya ağ; gri tonlama bu cür məntiqlə mümkün deyil.

Prinsipləri şəxsiyyət, ziddiyyət olmayan və kənar edilmiş üçüncü tərəf olan Aristotelian məntiqinə əsaslanır.

Çox və ya çox məqsədli məntiq

Bu tip məntiq, filosoflar Jan Łukasiewicz və Emil Post tərəfindən onsuz da ümumi “doğru” və “yalan” xaricindəki dəyərlərin qəbul edilə biləcəyini və bu dəyərlərin praktik olaraq qəbul edilə biləcəyini bildirdikləri araşdırmalar nəticəsində ortaya çıxdı. sonsuzluğa.

Bu mənada yalnız iki dəyər qəbul edən ikitərəfli məntiqdən fərqlənir. Tədqiqatlar göstərir ki, çox dəyişkən və ya çoxvalentli məntiq ehtimal, zərurət, zərurət, həqiqət, yalan və imkansızlıq kimi dəyərləri idarə edir.

Eynilə, bu cür rəsmi məntiq də mübahisələrin fəlsəfi və struktur cəhətlərinin öyrənilməsinə cavabdehdir.

Nümunələr

Rəsmi məntiqlə konkret bir düşüncəyə həqiqət və ya yalan dəyəri əlavə etmək mümkündür.

Daha əvvəl izah etdiyimiz kimi, rəsmi məntiq mübahisədən çıxarıla biləcək bütün imkanlara diqqət yetirmir; yalnız bunun doğru və ya yalan olduğuna diqqət yetirir. Bu mənada aşağıda rəsmi məntiqə əsaslanan bəzi nümunələri sadalayırıq:

-Buenos Aires, Argentinanın paytaxtıdır; Buenos Ayresdə anadan olanların hamısı Argentinalıdır.

-Joao Portuqal dilində danışır. Joao Portuqaliyada anadan olub. Portuqaliyada hər kəs Portuqal dilində danışır.

-İnəklər süd verir. İnəklər məməlilərdir. Bütün məməlilər süd verir.

-Pedro ağ, Mariya isə esmer olduğundan ağ və qəhvəyi insanlar var.

-Mariya rok orkestrində oynayır. Rok orkestrində ifa edənlər musiqiçilərdir. Mariya bir musiqiçidir.

-Jozenin qara saçları var. Elena qəhvəyi saçlıdır. Qızları qara və ya qəhvəyi saçlarla doğula bilər.

-Ayağın beş barmağı var. İnsanların bir sağ ayağı və bir sol ayağı var. Hər insanın on barmağı var.

-İspaniya bir ölkədir. İspaniya Avropada qalır. Bütün ispanlar Avropalıdır.

– Ana canlıdır. Ana ölümlüdür. Bütün canlılar fani.

– José su ilə islandı. Su islanır.

– Mariya isti yeməyini yedi. Maria isti yeməyini yeyib yandı. İsti yemək yandırır.

– Dünya kainatın bir hissəsidir. Kainatda planetlər var. Dünya bir planetdir.

– Elektrik işığı yanır. Küçələrdə elektrik işığı var. Elektrik işığı küçələri işıqlandırır.

İstinadlar

1. Yeni dünya ensiklopediyasında “rəsmi məntiq”. 21 aprel 2019-cu ildə Yeni dünya ensiklopediyasından alındı: newworldencyclopedia.org.
2. Morton L. Schagrin Ge Hughes “Formal logic” in 21 Aprel 2019 tarixində Britannica: britannica.com saytından alındı.
3. Akademiyada “Məntiq və onun təsnifatı”. 23 Aprel 2019 tarixində Academia: academia.edu saytından alındı.
4. Fəlsəfi lüğətdə “Formal Logic”. 23 Noyabr 2019 tarixində Fəlsəfi Lüğətdən alındı: philos.org.
5. Fəlsəfi lüğətdə “çoxməqsədli məntiq”. 23 Noyabr 2019 tarixində Fəlsəfi Lüğətdən alındı: philos.org.
6. Klub məhkəmələrində “məntiqin ümumi cəhətləri” (18 Avqust 2013). 23 aprel 2019-cu ildə Klub sınaqlarından götürülmüşdür: clubensayos.com.
7. Vikipediyada “Deontik məntiq”. 23 aprel 2019-cu ildə Vikipediyadan alındı: es.wikipedia.org.
8. Vikipediyada “çox məqsədli məntiq”. 23 aprel 2019-cu ildə Vikipediyadan alındı: es.wikipedia.org.
9. Vikipediyada “ikitərəfli məntiq”. 23 aprel 2019-cu ildə Vikipediyadan alındı: es.wikipedia.org

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.

Məntiq nümunələri: 4 əsas düşünmə növü

Sadə dillə desək, məntiq “xüsusən nəticə çıxarmaqla bağlı düzgün düşünmə işidir.” Məntiq fəlsəfi bir termin kimi başlamış və indi riyaziyyat və kompüter elmləri kimi digər sahələrdə istifadə olunur. Tərif kifayət qədər sadə səslənsə də, məntiqi anlamaq biraz daha mürəkkəbdir. Məntiqdən düzgün istifadə etməyi öyrənmək üçün məntiq nümunələrindən istifadə edin.

Məntiq tərifləri

Məntiq, təsəvvür və mülahizələrin yanında düşüncə və düşüncə formalaşdırmaq üçün insanların düşünmə hərəkətini də əhatə edə bilər. Bəzi məntiq formaları kompüterlər və hətta heyvanlar tərəfindən də həyata keçirilə bilər.

Məntiq aşağıdakı kimi tərif edilə bilər:

“Tamamilə içərisində olduqları terminlərin mənalarına əsaslanan həqiqətlərin öyrənilməsi.”

Məntiq nəticə çıxarmaq üçün bir müddətdir və istifadə edə biləcəyiniz bir vasitədir.

• Məntiqi bir mübahisənin əsası onun təklifvə ya bəyanat.
• Təklif düz və ya doğru (doğru) və ya doğru deyil (yalan).
• Binalar mübahisəni qurmaq üçün istifadə edilən təkliflərdir.
• The mübahisə daha sonra binada tikilir.
• Sonra bir nəticə çıxarmaq binadan hazırlanır.
• Nəhayət, a nəticə çəkilir.

Fəlsəfədə məntiq tərifi

Məntiq fəlsəfənin bir qoludur. Fəlsəfədə məntiqlə bağlı fərqli düşüncə məktəbləri mövcuddur, lakin tipik versiyası deyilir klassik elementar məntiq və ya klassik birinci dərəcəli məntiq. Bu intizamda filosoflar yaxşı mühakiməni pis mühakimədən ayırmağa çalışırlar.

Riyaziyyatda məntiqin tərifi

Məntiq həm də riyaziyyat sahəsidir. Riyazi məntiq istifadə edir təklif dəyişkənləri, əksər hallarda təmsil etmək üçün məktublardır təkliflər.

Nümunələrlə məntiq növləri

Ümumiyyətlə, məntiqin dörd növü var.

Qeyri-rəsmi məntiq

Qeyri-rəsmi məntiq adətən gündəlik düşüncədə istifadə olunan şeydir. Bu, başqaları ilə şəxsi mübadilələrinizdə etdiyiniz əsas və mübahisələrdir.

• Binalar: Nikki işə gedərkən qara bir pişik gördü. İşdə Nikki işdən qovuldu. Nəticə: Qara pişiklər şanssızdır. İzahat: Bu, böyük bir ümumiləşdirmədir və təsdiqlənə bilməz.
• Binalar: Penisilinin sizin üçün zərərli olduğuna dair heç bir dəlil yoxdur. Penisilini problemsiz istifadə edirəm. Nəticə: Penisilin hər kəs üçün təhlükəsizdir. İzahat: Buradakı şəxsi təcrübə və ya məlumatın olmaması doğrulanmaz.
• Binalar: Anam məşhurdur. Mən anamla birlikdə yaşayıram.

Rəsmi Məntiq

İldə formal məntiq, deduktiv əsaslandırma istifadə edirsiniz və yerlər doğru olmalıdır. Rəsmi bir nəticəyə gəlmək üçün binaları izləyirsiniz.

• Binalar: Quebecdə yaşayan hər bir insan Kanadada yaşayır. Kanadada hər kəs Şimali Amerikada yaşayır. Nəticə: Quebecdə yaşayan hər bir insan Şimali Amerikada yaşayır. İzahat: Burada yalnız gerçək faktlar təqdim olunur.
• Evlər: Bütün hörümçəklərin səkkiz ayağı var. Qara dullar bir hörümçək növüdür. Nəticə: Qara Dulların səkkiz ayağı var. İzahat: Bu mübahisə mübahisəli deyil.
• Binalar: Velosipedlərin iki təkəri var. Jan velosiped sürür. Nəticə: Jan iki təkərdə sürür. İzahat: Binalar həqiqətdir və nəticə də belədir.

Simvolik Məntiq

Simvolik məntiq simvolların bir-biri ilə necə əlaqəli olmasından bəhs edir. Riyazi proses yolu ilə ifadələrin doğruluğunu yoxlamaq üçün şifahi düşünməyə simvollar verir. Tipik olaraq hesablamada istifadə olunan bu tip məntiqi görürsünüz.

Simvolik məntiq nümunəsi:

• Təkliflər: Bütün məməlilər körpələrinə anadan süd verirlərsə (A). Bütün pişiklər körpələrini ana südü ilə bəsləyirsə (B). Bütün pişiklər məməlilərdir (C). Ʌ “və” mənasını verir və ⇒ işarəsi “nəzərdə tutur” deməkdir.
• Nəticə: A Ʌ B ⇒ C
• İzahat: A təklifi və B təklifi, C nəticəsinə gəlir, əgər bütün məməlilər körpələrini anadan və bütün pişiklər körpələrini ana südü ilə qidalandırırsa, bu, bütün pişiklərin məməlilər olduğunu göstərir.

Riyazi Məntiq

Riyazi məntiqdə riyaziyyata rəsmi məntiq tətbiq edirsiniz. Bu tip məntiq kompüter elmlərində istifadə olunan məntiqin əsas hissəsidir. Riyazi məntiq və simvolik məntiq əksər hallarda bir-birinin əvəzinə istifadə olunur.

Nümunələrlə mülahizə növləri

Hər bir məntiq növü deduktiv mülahizə, induktiv mülahizə və ya hər ikisini əhatə edə bilər.

Fərdi düşünmə nümunələri

Deduktiv mülahizə nəticəsinin doğruluğunun tam sübutlarını təqdim edir. Xüsusi və dəqiq bir nəticəyə gətirib çıxaran konkret və dəqiq bir əsasdan istifadə edir. Düzgün yerlərdə bu tip arqumentlərin nəticəsi doğrulanır və doğrudur.

• Binalar: Bütün kvadratlar düzbucaqlıdır. Bütün düzbucaqlıların dörd tərəfi var. Nəticə: Bütün kvadratların dörd tərəfi var.
• Binalar: Bütün insanlar ölümcüldür. Sən bir insansan. Nəticə: Siz fani oldunuz.
• Binalar: Bütün ağacların gövdəsi var. Palıd ağacı ağacdır. Nəticə: palıd ağacının gövdəsi var.

İnduktiv Məntiq Nümunələri

İnduktiv əsaslandırma “aşağıdan yuxarı” dır, yəni konkret məlumat alır və ehtimal olunan geniş bir ümumiləşdirmə edir və nəticənin düzgün olmamasına imkan verir. Bu düşüncə növü ümumiyyətlə bir sıra təkrarlanan təcrübələrə əsaslanan bir qaydanı əhatə edir.

• Binalar: Çətir yağışda islanmanızın qarşısını alır. Ashley çətirini götürdü və ıslanmadı. Nəticə: Bu vəziyyətdə, yəqin ki, yağış yağdığına dair bir fikir vermək üçün induktiv əsaslandırma istifadə edə bilərsiniz. İzahat: Ancaq nəticəniz mütləq dəqiq olmazdı, çünki Ashley yağış yağdırıb çətiri olsaydı ya da ümumiyyətlə yağmırdısa quru qalacaqdı.
• Binalar: Hər günortadan sonra parkda gördüyünüz hər üç yaşlı uşaq vaxtlarının çoxunu ağlamağa və qışqırmağa sərf edir. Nəticə: Bütün üç yaşlı uşaqlar günortadan sonra qışqıraraq keçirməlidirlər. İzahat: Bu mütləq doğru olmaz, çünki günortadan sonra dünyada hər üç yaşlı uşağı yoxlamaq üçün görməmisiniz.
• Binalar: Blokdakı 20 evdən on ikisi yanmışdır. Hər yanğın elektrik naqillərinin nasaz olması səbəbindən baş verib. Nəticə: Evlərin yarısından çoxunda naqillərdə nasazlıqlar varsa, blokdakı bütün evlərdə naqillər xətalıdır. İzahat: Bu qənaətin doğruluğunu bilmirsiniz, amma ehtimal ki.
• Binalar: Qırmızı işıqlar qəzaların qarşısını alır. Mike bu gün avtomobil sürərkən qəza keçirməyib. Nəticə: Mike qırmızı işıqda dayanmış olmalıdır. İzahat: Mike ümumiyyətlə trafik siqnalları ilə qarşılaşmamış ola bilər. Bu səbəbdən qırmızı işıqda dayanmadan belə qəzalardan qaçmağı bacara bilərdi.

Məntiqi izləyin

Bu nümunələrdən göründüyü kimi, problemləri həll etmək və nəticə çıxarmaq üçün məntiqdən istifadə edə bilərsiniz. Bəzən bu nəticələr düzgün nəticələr olur, bəzən də səhvdir. Deduktiv mülahizələrdən istifadə etdikdə, düzgün məntiqi arqumentlərə gəlirsən, induktiv mülahizələr sənə düzgün nəticə verə bilər və ya vermir. Səhv məntiqi mülahizələrin necə göründüyünü görmək üçün məntiqi səhvlərə dair nümunələrə baxın.