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

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

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

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

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

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

იხილეთ აქ ყველაფერი მეტაფიზიკის მნიშვნელობის შესახებ.

არისტოტელესური ლოგიკა

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

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

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

პროგრამირების ლოგიკა

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

ტიპი 1: ერთი ან მეტი სიმბოლოს სტრიქონი, ჩვეულებრივ ჩასმული ორმაგ ბრჭყალებში. სივრცეები ასევე სიმბოლოა;

ტიპი 2: უარყოფითი და დადებითი რიცხვითი მნიშვნელობები ათობითი ადგილების გარეშე;

ტიპი 3: უარყოფითი და დადებითი რიცხვითი მნიშვნელობები ათობითი ადგილებით;

ტიპი 4: ალტერნატივები, როგორიცაა YES, NO, TRUE და FALSE.

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

მაღალი დონის პროგრამირების ენა ადვილი გასაგებია, რადგან, პირველ რიგში, ბრძანება კეთდება დიაგრამაში, გადაყვანით დანიშნულზე. action, SQL (Specification Design Language) არის მაღალი დონის ენის მაგალითი. დაბალი დონის ენა ეხება პირდაპირ მითითებებს მოწყობილობაზე, რომელიც წარმოდგენილია ასოებით და ციფრებით. ASSEMBLY ენა არის დაბალი დონის ენის მაგალითი.

იხილეთ აქ ყველაფერი რაციონალიზმი .

არგუმენტაციის ლოგიკა

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

არგუმენტაცია არის წინაპირობების ან ჰიპოთეზების ერთობლიობა და მათ შედეგს დასკვნა ეწოდება. მაგალითი: p1: ყველა გოიანო მღერის ქანთრის მუსიკას, p2: ყველა ქანთრი მომღერალს მოსწონს მუსიკა და p3: გოიასელი ხალხი მღერის ქანთრი მუსიკას;

ანალოგია არის შედარება არგუმენტებს შორის, მაგალითად: „სინათლე დღისთვისაა. როგორც სიბნელე არის ღამისთვის“;

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

ლოგიკის მნიშვნელობა ფილოსოფიის კატეგორიაშია

იხ.ასევე:

• ეთიკის მნიშვნელობა
• გნოსტემოლოგიის მნიშვნელობა
• გნოსტემოლოგიური მნიშვნელობა
• მეტაფიზიკის მნიშვნელობა
• მორალის მნიშვნელობა
• სოციოლოგიის მნიშვნელობა
• ემპირიზმის მნიშვნელობა
• ემპირიული ცოდნის მნიშვნელობა
• განმანათლებლობის მნიშვნელობა
• რაციონალიზმის მნიშვნელობა