Məntiq nədir?

Məntiq təfəkkür elmini təyin edən sözdür. Məntiqin başqa bir anlayışı “düzgündən yanlış düşüncəni ayırd etmək üçün istifadə olunan üsul və prinsiplərin öyrənilməsi”dir. Bu elm bir neçə anlayışı əhatə edir, o cümlədən arqumentasiya, riyaziyyat və informatika. Aşağıda məntiqdən hansı sahələrdə istifadə edə biləcəyimizi yoxlayın.

Məntiq sözü yunan loqosundan yaranıb və konkret düşünmə üsulu ilə əlaqələndirilir. Məntiq fəlsəfi tədqiqata giriş olaraq görülən Fəlsəfə sahəsidir, çünki o, loqolar, ağıl, sözlər, diskursla əlaqəlidir və əsaslandırma və arqumentasiya tələb edən bir şeyi əks etdirir.

Platonun şagirdi olan yunan filosofu Aristotel məntiqin dərk edilməsində çox mühüm şəxsiyyətdir. O, hər şeyin mərkəzində dilin dayandığını müəyyən edərək mövzunu ilk öyrəndi: ünsiyyət, sənət, mücərrəd düşüncə və elmi araşdırma. Lakin bunun işləməsi üçün linqvistik müqəddimələrə əməl etmək lazımdır.

Bir elm kimi təqdim edilən məntiq Aristotel tərəfindən belə görünməmişdir. Qısaca, sillogizm müddəaların yaratdığı arqumentdir. Bu, nəticəyə gəlmək üçün deduksiyadan istifadə edən mülahizə formasıdır, buna görə də bir neçə problem və ya məntiq oyunu var.

Mülahizə elmi ilə əməkdaşlıq edən başqa bir filosof 19-cu əsrdə alman Qottlob Frege idi. xəbərdar etdiməntiqi daha yaxşı başa düşmək üçün riyaziyyata ehtiyac. Bu müddəanı reallaşdırmaq üçün Frege riyazi deduksiya vasitəsilə linqvistik müddəaları öyrənən metod olan predikat hesabını işləyib hazırladı.

Buraya baxın Metafizikanın mənası haqqında.

Aristotel məntiqi

Aristotel məntiqinin tərifi məntiqin düşüncə vasitəsilə öyrənilməsidir. Çünki yunan filosofu məntiqin düşüncəni təsdiq edən mexanizm olduğuna inanırdı. Konsepsiya, mühakimə və mülahizə məntiqin əsaslarıdır. Aristotel məntiqinin xüsusiyyətləri bunlardır: instrumental, formal, propenevtik/ilkin, normativ, sübut doktrinası və ümumi/zamansız.

Aristotel də mülahizəni məntiqin əsası kimi göstərmişdir ki, burada mühakimələr düşüncə formalaşdırır. Təkliflər mövzuya predikatlar (keyfiyyət) verən əlaqələrdir, belə müddəalara sillogizmlər deyilir. Sillogizm fəlsəfi və elmi düşüncələrin vəhdətidir.

Linqvistik məntiqin əsasları adlandırılan Aristoteldən gələn mülahizə XIII əsrə qədər davam edən orta əsr məntiqinin kulminasiya nöqtəsinə çatdı. Orta əsrlərin əsas filosofları Afrodiziyalı İskəndər, Porfiri və Qalen idi. Orta əsrlər məntiqinin təsnifatı düşüncəni təsdiqləmək üçün dəqiq mühakimə yürütmək elmi idi.

Proqramlaşdırma məntiqi

Proqramlaşdırma məntiqi işləyib hazırlamaqdan ibarətdir.məntiqi ardıcıllıqlardan ibarətdir. Onun əsas prinsipləri variant və sabitlər, dəyəri təmsil edən və təkrar tələb etməyən adlar, həmçinin 1-ci Tip: mətn, Növ 2: tam, Tip 3: real və Tip 4: məntiqi olaraq bölünən məlumat növləridir, təsvirlərin necə edildiyini yoxlayın. bu məlumat növlərindən:

1-ci tip: adətən qoşa dırnaq içərisində olan bir və ya daha çox simvoldan ibarət sətir. Boşluqlar da simvollardır;

2-ci növ: onluq yerləri olmayan mənfi və müsbət rəqəmli dəyərlər;

3-cü növ: onluq yerləri olan mənfi və müsbət rəqəmli dəyərlər;

4-cü növ: YES, NO, TRUE və FALSE kimi alternativlər.

Yuxarıda göstərilən anlayışlarla yazılmış məntiqi ardıcıllıqlar tort resepti kimi işləyən alqoritmlər adlanır. Alqoritmlər kompüterə hər bir məntiqi ardıcıllıqla nə etməli olduğunu göstərir. Alqoritmlər yüksək və ya aşağı səviyyəli ola bilən proqramlaşdırma dilindən istifadə etməklə yazılır.

Yüksək səviyyəli proqramlaşdırma dilini başa düşmək asandır, çünki, birincisi, əmr diaqramda, nəzərdə tutulana çevrilməklə hazırlanır. fəaliyyət, SQL (Specification Design Language) yüksək səviyyəli bir dil nümunəsidir. Aşağı səviyyəli dil hərflər və rəqəmlərlə təmsil olunan cihaza birbaşa göstərişlərə aiddir. ASSEMBLY dili aşağı səviyyəli dil nümunəsidir.

Bura baxın haqqında hər şey Rasionalizm .

Arqumentasiya məntiqi

Arqumentasiyanın məntiqi insanı inandırmaq üçün məntiqdən necə istifadə etməkdir. Bu məntiqdə müddəaların və ya ifadələrin ardıcıllığı bir nəticəyə gəlmək üçün birləşdirilir. Arqumentasiya məntiqinin əsas anlayışları bunlardır: arqumentasiya, analogiya, nəticə çıxarma, deduksiya və nəticələr, burada:

Arqumentasiya müddəaların və ya fərziyyələrin məcmusudur və onların nəticəsi nəticə adlanır. Nümunə: p1: Bütün Goianos kantri musiqisini oxuyur, p2: Bütün ölkə müğənniləri musiqini sevir və p3: Qoyasdan olan bütün insanlar kantri musiqisini oxuyur;

Analogiya arqumentlər arasında müqayisədir, misal: “İşıq gün üçündür qaranlıq gecə üçün olduğu kimi”;

Nəticə bir sıra ilkin mülahizələrdən istifadə edərək nəticəyə gəlməkdir. Nəticənin iki növü var: deduksiya və induksiya. Çıxarmada məlumat aydın və ya təklif olunan şəkildə binadadır, məsələn: Ön söz A: Quşların dimdiyi var. Ön söz B: Yeni bir quş növü kəşf edildi. Nəticə: Yeni növün dimdiyi var. İnduksiyada binalar bir nəticəyə gəlmək üçün kifayət qədər məlumat ötürür. İnduksiyada nəticə ən uyğun ehtimalla alınır. Nümunə: Bütün quşların dimdiyi varsa, yeni növün də dimdiyi olmalıdır.

Məntiqin mənası Fəlsəfə kateqoriyasındadır

Bax.həmçinin:

• Etikanın mənası
• Qnoseologiyanın mənası
• Qnoseolojinin mənası
• Metafizikanın mənası
• Əxlaqın mənası
• Sosiologiyanın mənası
• Empirizmin mənası
• Empirik biliyin mənası
• Maarifçiliyin mənası
• Rasionalizmin mənası