კონცეფცია განმარტება ABC

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

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

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

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

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

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

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