Ფორმალური ლოგიკა და მისი ძირითადი კანონები

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

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

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

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

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

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

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

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

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

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

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

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

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

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