ლოგიკის 4 ყველაზე მნიშვნელოვანი ტიპი (და მახასიათებლები)

ლოგიკა არის მსჯელობისა და დასკვნების შესწავლა. ეს არის კითხვებისა და ანალიზების ერთობლიობა, რამაც შესაძლებელი გახადა იმის გაგება, თუ რამდენად განსხვავდება მართებული არგუმენტები შეცდომებისგან და როგორ მივაღწევთ მათ.

ამისათვის აუცილებელი იყო სწავლების სხვადასხვა სისტემისა და ფორმის შემუშავება, რამაც გამოიწვია ოთხი ძირითადი ტიპის ლოგიკა. ქვემოთ მოცემულია, თუ რას ეხება თითოეული მათგანი.

• რეკომენდებული სტატია: "10 ტიპის ლოგიკური და არგუმენტირებული შეცდომა"

რა არის ლოგიკა?

სიტყვა "ლოგიკა" მომდინარეობს ბერძნული "ლოგოსიდან", რომლის თარგმნა სხვადასხვა გზით შეიძლება: სიტყვა, აზრი, არგუმენტი, პრინციპი ან მიზეზი რამდენიმე მათგანია. ამ გაგებით, ლოგიკა არის პრინციპებისა და მსჯელობის შესწავლა.

ეს კვლევა მიზნად ისახავს დასკვნების სხვადასხვა კრიტერიუმების გააზრებას და თუ როგორ ხდება, რომ მივიღოთ სწორი მტკიცებულებები, განსხვავებით არასწორი მტკიცებულებებისგან. ამრიგად, ლოგიკის ძირითადი კითხვაა რა არის სწორი აზროვნება და როგორ განვასხვაოთ სწორი არგუმენტი და შეცდომა?

ამ კითხვაზე პასუხის გასაცემად, ლოგიკა გვთავაზობს დებულებებისა და არგუმენტების კლასიფიკაციის სხვადასხვა გზას, იქნება ეს ფორმალურ სისტემებში თუ ბუნებრივ ენაზე. კერძოდ, იგი აანალიზებს წინადადებებს (დეკლარაციულ წინადადებებს), რომლებიც შეიძლება იყოს ჭეშმარიტი ან მცდარი, ასევე შეცდომები, პარადოქსები, არგუმენტები, რომლებიც დაკავშირებულია მიზეზობრიობასთან და, ზოგადად, თეორიასთან დაკავშირებით არგუმენტაცია

ზოგადად, სისტემა ლოგიკურად რომ მივიჩნიოთ, ისინი უნდა აკმაყოფილებდნენ სამ კრიტერიუმს:

• თანმიმდევრულობა (არ არსებობს წინააღმდეგობა სისტემის შემქმნელ თეორემებს შორის)
• სიმტკიცე (ტესტის სისტემები არ შეიცავს ცრუ დასკვნებს)
• Სისრულე (ყველა ნამდვილი წინადადება უნდა შემოწმდეს)

ლოგიკის 4 ტიპი

როგორც ვნახეთ, ლოგიკა იყენებს სხვადასხვა ხერხს იმ მსჯელობის გასაგებად, რომელსაც ვიღაცის გასამართლებლად ვიყენებთ. ტრადიციულად, აღიარებულია ლოგიკის ოთხი ძირითადი ტიპი, თითოეულს აქვს გარკვეული ქვეტიპები და სპეციფიკა. ქვემოთ ვნახავთ, თუ რას გულისხმობს თითოეული.

1. ფორმალური ლოგიკა

ასევე ცნობილი როგორც ტრადიციული ლოგიკა ან ფილოსოფიური ლოგიკა, ეს არის დასკვნების შესწავლა წმინდა ფორმალური და გამოკვეთილი შინაარსით. ეს ეხება ფორმალური დებულებების (ლოგიკური ან მათემატიკური) ანალიზს, რომელთა მნიშვნელობა არ არის შინაგანი, არამედ მის სიმბოლოებს აქვთ აზრი მათ მიერ მოცემული სასარგებლო გამოყენების გამო. ფილოსოფიურ ტრადიციას, საიდანაც ეს უკანასკნელი მომდინარეობს, ზუსტად უწოდებენ "ფორმალიზმს".

თავის მხრივ, ფორმალური სისტემა არის ის, რომელიც გამოიყენება დასკვნის გამოსატანად ერთი ან მეტი შენობაში. ეს უკანასკნელი შეიძლება იყოს აქსიომები (აშკარა წინადადებები) ან თეორემები (დასკვნები დასკვნებისა და აქსიომების ფიქსირებული წესებიდან).

დასკვნები, რომლებსაც მივაღწიეთ ფორმალური ლოგიკის საშუალებით, თუ ისინი დაფუძნებულია მოქმედ შენობაში და ვერ მოხერხდა ლოგიკურ ოპერაციებში ჩავარდნები, ეს თავისთავად მართალია. სინამდვილეში, ეს იწვევს ღია კამათს იმის შესახებ, ეკუთვნის თუ არა ფორმალური ლოგიკა მეცნიერების სამყაროს. ან ისინი ცოდნის სხვა დარგს მიეკუთვნებიან, რადგან ისინი არ აღწერენ რეალობას, არამედ მათ საკუთარ წესებს ფუნქციონირება

2. არაფორმალური ლოგიკა

თავის მხრივ, არაფორმალური ლოგიკა უფრო ბოლოდროინდელი დისციპლინაა, რომელიც სწავლობს, აფასებს და აანალიზებს ბუნებრივ ან ყოველდღიურ ენაზე განლაგებულ არგუმენტებს. აქედან გამომდინარე, იგი იღებს კატეგორიას "არაფორმალური". ეს შეიძლება იყოს როგორც სალაპარაკო, ისე წერითი ენა, ან ნებისმიერი ტიპის მექანიზმი და ურთიერთქმედება, რომელიც გამოიყენება რაღაცის კომუნიკაციისთვის. ფორმალური ლოგიკისგან განსხვავებით, რომელიც მაგალითად გამოიყენებოდა კომპიუტერული ენების შესწავლასა და განვითარებაზე; ფორმალური ენა გულისხმობს ენებსა და ენებს.

ამრიგად, არაფორმალურ ლოგიკას შეუძლია გააანალიზოს ყველაფერი, პირადი მსჯელობითა და არგუმენტებით დამთავრებული პოლიტიკური დებატებით, იურიდიული არგუმენტები ან მედია საშუალებებით გავრცელებული შენობები, როგორიცაა გაზეთი, ტელევიზია, ინტერნეტი, და ა.შ.

3. სიმბოლური ლოგიკა

როგორც სახელიდან ჩანს, სიმბოლური ლოგიკა აანალიზებს სიმბოლოებს შორის ურთიერთობებს. ზოგჯერ იგი იყენებს რთულ მათემატიკურ ენას, რადგან მას ევალება პრობლემების შესწავლა, რომელთა მოგვარება რთულ ან რთულ ხასიათს ატარებს ტრადიციული ფორმალური ლოგიკა. იგი ჩვეულებრივ იყოფა ორ ქვეტიპად:

• წინასწარმეტყველური ან პირველი რიგის ლოგიკა: ეს არის ფორმალური სისტემა, რომელიც შედგება ფორმულებისა და რაოდენობრივი ცვლადებისგან
• წინადადების: ეს არის ფორმალური სისტემა, რომელიც შედგება წინადადებებისაგან, რომელსაც შეუძლია შექმნას სხვა წინადადებები კონექტორების საშუალებით, სახელწოდებით "ლოგიკური შემაერთებლები". ამაში თითქმის არ არსებობს რაოდენობრივი ცვლადი.

4. მათემატიკური ლოგიკა

ავტორიდან გამომდინარე, რომელიც აღწერს მას, მათემატიკური ლოგიკა შეიძლება ჩაითვალოს ფორმალური ლოგიკის ტიპად. სხვები მიიჩნევენ, რომ მათემატიკური ლოგიკა მოიცავს როგორც ფორმალური ლოგიკის გამოყენებას მათემატიკაში, ასევე მათემატიკური მსჯელობის გამოყენებას ფორმალურ ლოგიკაში.

ზოგადად რომ ვთქვათ, ეს ეხება მათემატიკური ენის გამოყენებას ლოგიკური სისტემების მშენებლობაში, რაც ადამიანის გონების რეპროდუცირების საშუალებას იძლევა. მაგალითად, ეს ძალიან იყო წარმოდგენილი ხელოვნური ინტელექტის განვითარებაში და შემეცნების შესწავლის გამოთვლითი პარადიგმების დროს.

იგი ჩვეულებრივ იყოფა ორ ქვეტიპად:

• ლოგიციზმი: ეს ეხება მათემატიკაში ლოგიკის გამოყენებას. ამ ტიპის მაგალითებია მტკიცებულების თეორია, მოდელის თეორია, სიმრავლეთა თეორია და რეკურსიის თეორია.
• ინტუიციონიზმი: ამტკიცებს, რომ ლოგიკაც და მათემატიკაც არის მეთოდები, რომელთა გამოყენება რთულია რთული ფსიქიკური კონსტრუქციების შესასრულებლად. მაგრამ ის ამბობს, რომ თავისთავად, ლოგიკასა და მათემატიკას არ შეუძლია ახსნას მათ მიერ გაანალიზებული ელემენტების ღრმა თვისებები.

ინდუქციური, დედუქციური და მოდალური მსჯელობა

Მეორეს მხრივ, არსებობს სამი სახის მსჯელობა, რომელიც ასევე შეიძლება ჩაითვალოს ლოგიკურ სისტემებად. ეს არის მექანიზმები, რომლებიც საშუალებას გვაძლევს გამოვიტანოთ დასკვნები შენობიდან. დედუქციური მსჯელობა ამ მოპოვებას აკეთებს ზოგადი წინაპირობიდან კონკრეტულ წინაპირობაზე. კლასიკური მაგალითი არისტოტელეს მიერ შემოთავაზებული მაგალითია: ყველა ადამიანი მოკვდავია (ეს არის ზოგადი წინაპირობა); სოკრატე ადამიანია (ეს არის მთავარი წინაპირობა) და ბოლოს, სოკრატე მოკვდავია (ეს არის დასკვნა).

თავის მხრივ, ინდუქციური მსჯელობა არის პროცესი, რომლის დროსაც ხდება დასკვნის საპირისპირო მიმართულება: კონკრეტულიდან ზოგადი. ამის მაგალითი იქნება "ყველა ყვავილი, რომელსაც ვხედავ, შავია" (განსაკუთრებული წინაპირობა); ასე რომ, ყველა ყვავილი შავია (დასკვნა).

დაბოლოს, მსჯელობა ან მოდალური ლოგიკა ემყარება ალბათურ არგუმენტებს, ანუ ისინი გამოხატავენ შესაძლებლობას (მოდალობას). ეს არის ფორმალური ლოგიკური სისტემა, რომელიც მოიცავს ტერმინებს, როგორიცაა "შეიძლება", "შეიძლება", "უნდა", "საბოლოოდ".

ბიბლიოგრაფიული ცნობარი:

• გროარკე, ლ. (2017). არაფორმალური ლოგიკა. სტენფორდის ფილოსოფიის ენციკლოპედია. წაკითხვის თარიღი: 2018 წლის 2 ოქტომბერი. Ხელმისაწვდომია https://plato.stanford.edu/entries/logic-informal/
• ლოგიკა (2018). ფილოსოფიის საფუძვლები. წაკითხვის თარიღი: 2018 წლის 2 ოქტომბერი. Ხელმისაწვდომია https://www.philosophybasics.com/branch_logic.html
• მაგნანი, ლ. (2001). გატაცება, მიზეზი და მეცნიერება: აღმოჩენისა და განმარტების პროცესები. New York: Kluwer Academic Plenum Publishers.
• მაკგინი, ც. (2000). ლოგიკური თვისებები: იდენტურობა, არსებობა, პროგნოზირება, აუცილებლობა, სიმართლე. ოქსფორდი: Clarendon Press.
• Quine, W.V.O. (1986) (1970) ლოგიკის ფილოსოფია. კემბრიჯი, მაისი: ჰარვარდის უნივერსიტეტის პრესა.
• შაპირო, ს. და კოური, ს. (2018). კლასიკური ლოგიკა. წაკითხვის თარიღი: 2018 წლის 2 ოქტომბერი. Logic- ში (2018). ფილოსოფიის საფუძვლები. წაკითხვის თარიღი: 2018 წლის 2 ოქტომბერი. Ხელმისაწვდომია https://www.philosophybasics.com/branch_logic.html
• გარსონი, ჯ. (2018). მოდალური ლოგიკა. სტენფორდის ფილოსოფიის ენციკლოპედია. წაკითხვის თარიღი: 2018 წლის 2 ოქტომბერი. Ხელმისაწვდომია https://plato.stanford.edu/entries/logic-modal/