Გადაწყვეტილებები ლოგიკა. რა არის გადაწყვეტილება, სახის გადაწყვეტილებათა

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

განაცხადების მაგალითები: "The Volga ჩაედინება კასპიის ზღვაში", "AS პუშკინის დაწერა პოემა "ბრინჯაოს მხედარი", "ციმბირის ვეფხვის არის ჩამოთვლილი წითელ წიგნში" და ა.შ.

სტრუქტურა გადაწყვეტილება

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

1. თემა (lat subjektum -. «უდევს») - ეს, როგორც განაცხადა, გადაწყვეტილება, რომ მისი საგანი ( «S»).
2. პრედიკატული (ლათინური praedicatum -. «Said") - ასახვა ობიექტი აქვს, ის, რაც თქვა საგანი გადაწყვეტილების ( "P").
3. Bundle - თანაფარდობა სათაური ( «S») და შემასმენელს ( "P"). განსაზღვრავს ყოფნა / არყოფნის საგანი ქონების გამოხატული, როგორც პრედიკატს. შესაძლოა, ეს გულისხმობს, და მიერ მითითებულ "dash" ან სიტყვა "ა" ( "არ არის"), "აქვს", "უნდა", "არსი" და სხვ.
4. კვანტიფიკატორი (კვანტიფიკატორი სიტყვა) განსაზღვრავს ფარგლებს კონცეფცია, რომლის საგანი გადაწყვეტილება. იგი იდგა წინ საგანი, მაგრამ მას ასევე შეუძლია არ იყოს გადაწყვეტილება. აღინიშნება სიტყვები, როგორიცაა "ყველა", "ბევრი", "რაღაც", "არა", "არა", და სხვები.

ჭეშმარიტი და ცრუ განცხადებები

ჭეშმარიტ არს იმ შემთხვევაში, თუ არსებობს რაიმე მინიშნება, თვისებები და ურთიერთობები ნივთები დამტკიცებული / უარყოფილი გადაწყვეტილება, ასეა. მაგალითად: "ყველა მერცხლები - ფრინველი", "9-ზე მეტი 2" და ასე შემდეგ ..

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

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

განაჩენები ტიპის განცხადება

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

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

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

ხარისხის გადაწყვეტილება

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

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

რაოდენობრივი დახასიათება

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

მარტივი და რთული განაჩენები

დამოკიდებულია სტრუქტურა, გადაწყვეტილება შეიძლება ტიპის მარტივი ან კომპლექსური. სტრუქტურა მარტივი გადაწყვეტილება მოიცავს ორი ერთმანეთთან ცნებები (SP): «წიგნი - ცოდნის წყარო". ასევე არსებობს განაჩენს ერთი კონცეფცია - როდესაც მეორე მხოლოდ იმას ნიშნავდა: "ღამდებოდა» (P).

რთული ფორმა იქმნება გაწევრიანების რამდენიმე მარტივი გადაწყვეტილება.

კლასიფიკაცია მარტივი განაჩენები

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

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

In გადაწყვეტილებათა მიმართ კონკრეტული შორის ურთიერთობების ობიექტები. ისინი შეიძლება ჰქონდეს spatio-დროითი კონტექსტში, მიზეზობრივი და ა.შ. მაგალითად :. "ძველი მეგობარი, უკეთესია, ვიდრე ორი ახალი", "წყალბადის მსუბუქი ნახშირორჟანგი 22 ჯერ."

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

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

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

კომპლექსი განსჯის და ტიპის ლოგიკური connectives

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

• ერთობლიობაში (a ʌ b - დამაკავშირებელი გადაწყვეტილებათა). განაჩენთა-conjuncts აქვს bunch of "და", "განხორციელება უფლებებისა და თავისუფლებების კაცი და მოქალაქე არ უნდა დაარღვიოს სხვათა უფლებებისა და თავისუფლებების დასაცავად."
• გათიშვის (avb - გამყოფი გადაწყვეტილებათა). როგორც შემადგენელი სასამართლო მუხლები გამოიყენება როგორც binder - კავშირი "ან". მაგალითად: "მოსარჩელე უფლება აქვს გაზარდოს ან შეამციროს ზომა პრეტენზია."
• გავლენა (a → b - სასამართლო ეფექტი). თუ განთავსებას გამოყოფილი სტრუქტურა რთული გადაწყვეტილება და, შესაბამისად, ეს შეიძლება იყოს ამტკიცებდა, რომ ასეთი გადაწყვეტილება შეეხება implicative. როგორც Binder გამოიყენება სახით ასოციაციები, როგორიცაა "თუ ... მაშინ". მაგალითად: "თუ მეშვეობით დირიჟორი მენატრება დენის, მავთულის ათბობს", "ნუ გინდათ, რომ იყოს ბედნიერი - ბედნიერი იყოს."
• ექვივალენტობის (a ≡ b - იდენტური გადაწყვეტილება). ეს ხდება იმ შემთხვევაში, ღირებულებები და ბ არის იგივე (ან ორივე ჭეშმარიტი და ყალბი): "კაცი ის ბედნიერება, როგორიცაა ფრინველის ფრენა".
• უარყოფა (¬a, A - სასამართლო inversion). თითოეული წყარო უკავშირდება განაცხადი ნაერთის განაცხადი, რომელიც უარყოფს ორიგინალური. გამოყენებით "არა" bunch. შესაბამისად, თუ ორიგინალური განაცხადი ასეთია: "ხარის რეაგირებს წითელი შუქი" (a) - უარის თქმა, რომ ჟღერს, როგორც: "ხარის რეაგირებას არ წითელი შუქი" (¬A).