განსჯა არის აზროვნების ფორმა, რომელიც ადასტურებს ან უარყოფს რაღაცას საგნების არსებობაზე, მათსა და მათ თვისებებს შორის კავშირებზე, აგრეთვე ობიექტებს შორის ურთიერთობის შესახებ.
განჩინების მაგალითები: „ვოლგა მიედინება კასპიის ზღვაში“, „ა.ს. პუშკინმა დაწერა ლექსი "ბრინჯაოს მხედარი", "უსური ვეფხვი წითელ წიგნშია ჩამოთვლილი" და ა.შ.
განსჯის სტრუქტურა
განსჯა მოიცავს შემდეგ ელემენტებს: საგანი, პრედიკატი, შემაერთებელი და კვანტიფიკატორი.
- სუბიექტი (ლათ. subjektum - "ძირითადი") - რაც არის ნათქვამი ამ განაჩენში, მისი საგანი ("S").
- პრედიკატი (ლათ. praedicatum - "თქვა") - სუბიექტის ატრიბუტის ასახვა, რაც ნათქვამია განკითხვის საგანზე ("P").
- ბმული არის ურთიერთობა სუბიექტსა ("S") და პრედიკატს ("P") შორის. განსაზღვრავს პრედიკატში გამოხატული რაიმე თვისების სუბიექტის არსებობას/არარსებობას. ეს შეიძლება იყოს ნაგულისხმევი და მითითებული ტირე ნიშნით ან სიტყვებით "არის" ("არ არის"), "აქვს", "არის", "არსი" და ა.შ.
- კვანტიფიკატორი (რაოდენობრივი სიტყვა) განსაზღვრავს ცნების ფარგლებს, რომელსაც განსჯის საგანი განეკუთვნება. დგას სუბიექტის წინ, მაგრამ შეიძლება ასევე არ იყოს შიგნითგანაჩენი. მითითებულია ისეთი სიტყვებით, როგორიცაა "ყველა", "ბევრი", "ზოგი", "არცერთი", "არცერთი" და ა.შ.
ჭეშმარიტი და მცდარი განსჯა
განჩინება ჭეშმარიტია, როდესაც განსჯაში დადასტურებული/უარყოფილი ობიექტების ნიშნების, თვისებებისა და ურთიერთობების არსებობა შეესაბამება რეალობას. მაგალითად: „ყველა მერცხალი ჩიტია“, „9 არის 2-ზე მეტი“და ა.შ.
თუ განაჩენში მოცემული განცხადება არ შეესაბამება სიმართლეს, საქმე გვაქვს ცრუ განაჩენთან: „მზე ბრუნავს დედამიწის გარშემო“, „კილოგრამი რკინა უფრო მძიმეა ვიდრე კილოგრამი ბამბა“და ა.შ. სწორი დასკვნები არის სწორი დასკვნების საფუძველი.
თუმცა, ორმნიშვნელოვანი ლოგიკის გარდა, რომელშიც განსჯა შეიძლება იყოს ჭეშმარიტი ან მცდარი, ასევე არსებობს მრავალგანზომილებიანი ლოგიკა. მისი პირობების მიხედვით, განაჩენი შეიძლება იყოს განუსაზღვრელიც. ეს განსაკუთრებით ეხება მომავალ ცალკეულ განსჯას: "ხვალ იქნება / არ მოხდება საზღვაო ბრძოლა" (არისტოტელე, "ინტერპრეტაციის შესახებ"). თუ ჩავთვლით, რომ ეს არის ჭეშმარიტი განაჩენი, მაშინ საზღვაო ბრძოლა არ შეიძლება ხვალ არ მოხდეს. ამიტომ, ეს უნდა მოხდეს. ან პირიქით: იმის მტკიცებით, რომ ეს გადაწყვეტილება ამჟამად მცდარია, ჩვენ ამით აუცილებელს ვაყენებთ ხვალინდელი საზღვაო ბრძოლის შეუძლებლობას.
განსჯები განცხადების ტიპის მიხედვით
მოგეხსენებათ, განცხადების ტიპის მიხედვით გამოყოფენ წინადადებების სამ ტიპს: თხრობითი, წამახალისებელი და კითხვითი. მაგალითად, წინადადება „მახსოვს მშვენიერი მომენტი“ეხებათხრობის ტიპს. გონივრულია ვივარაუდოთ, რომ ასეთი გადაწყვეტილება ასევე ნარატიული იქნება. ის შეიცავს გარკვეულ ინფორმაციას, აცნობებს გარკვეულ მოვლენას.
თავის მხრივ, დაკითხვითი წინადადება შეიცავს კითხვას, რომელიც გულისხმობს პასუხს: "რას ამზადებს ჩემთვის მომავალი დღე?" არც არაფერს ამბობს და არც უარყოფს. შესაბამისად, მტკიცება, რომ ასეთი გადაწყვეტილება არის დაკითხვითი, მცდარია. კითხვითი წინადადება, პრინციპში, არ შეიცავს განსჯას, ვინაიდან კითხვის დიფერენცირება შეუძლებელია ჭეშმარიტების/სიცრუის პრინციპით.
წინადადებების წამახალისებელი ტიპი ყალიბდება, როდესაც არსებობს მოქმედების გარკვეული იმპულსი, მოთხოვნა ან აკრძალვა: „ადექი, წინასწარმეტყველო, ნახე და ისმინე“. რაც შეეხება განჩინებებს, ზოგიერთი მკვლევარის აზრით, ისინი არ შეიცავს ამ ტიპის წინადადებებს. სხვები თვლიან, რომ ჩვენ ვსაუბრობთ ერთგვარ მოდალურ განსჯაზე.
განსჯის ხარისხი
ხარისხის თვალსაზრისით, განსჯა შეიძლება იყოს ან დადებითი (S არის P) ან უარყოფითი (S არ არის P). დადებითი წინადადების შემთხვევაში პრედიკატის დახმარებით სუბიექტს ერთვის გარკვეული თვისება(ები). მაგალითად: "ლეონარდო და ვინჩი არის იტალიელი მხატვარი, არქიტექტორი, მოქანდაკე, მეცნიერი, ნატურალისტი, ასევე გამომგონებელი და მწერალი, რენესანსის ხელოვნების უდიდესი წარმომადგენელი."
უარყოფით წინადადებაში, პირიქით, თვისება კლებულობს სუბიექტს:ექსპერიმენტული დადასტურება."
რაოდენობრივი მახასიათებლები
ლოგიკაში განსჯა შეიძლება იყოს ზოგადი (იგულისხმება მოცემული კლასის ყველა ობიექტი), კერძო (ზოგიერთი მათგანისთვის) და სინგულარული (როდესაც საქმე ეხება ობიექტს, რომელიც არსებობს ერთ ასლში). მაგალითად, შეიძლება ითქვას, რომ განაჩენი, როგორიცაა "ყველა კატა ნაცრისფერია ღამით" იქნება ზოგადი, რადგან ის გავლენას ახდენს ყველა კატებზე (განსჯის საგანი). განცხადება "ზოგიერთი გველი არ არის შხამიანი" არის პირადი განსჯის მაგალითი. თავის მხრივ, განაჩენი „დნეპერი მშვენიერია მშვიდ ამინდში“არის ერთი, რადგან ჩვენ ვსაუბრობთ ერთ კონკრეტულ მდინარეზე, რომელიც არსებობს ერთი ფორმით.
მარტივი და რთული განსჯა
სტრუქტურიდან გამომდინარე, განაჩენი შეიძლება იყოს მარტივი ან რთული ტიპის. მარტივი წინადადების სტრუქტურა მოიცავს ორ დაკავშირებულ კონცეფციას (S-P): „წიგნი ცოდნის წყაროა“. ასევე არსებობს განსჯა ერთი კონცეფციით - როცა მეორე მხოლოდ იგულისხმება: „სიბნელე“(P).
რთული ფორმა იქმნება რამდენიმე მარტივი წინადადების გაერთიანებით.
მარტივი განსჯის კლასიფიკაცია
ლოგიკაში მარტივი განსჯა შეიძლება იყოს შემდეგი ტიპის: ატრიბუტიული, განსჯა ურთიერთობებით, ეგზისტენციალური, მოდალური.
ატრიბუტი (საკუთრების განსჯა) მიზნად ისახავს იმის დადასტურებას/უარყოფას, რომ ობიექტს აქვს გარკვეული თვისებები (ატრიბუტები), აქტივობები. ამ განსჯებს კატეგორიული ფორმა აქვს და კითხვის ნიშნის ქვეშ არ არის: „ძუძუმწოვრების ნერვული სისტემა შედგება ტვინისგან, ხერხემლისგან.ტვინი და გამავალი ნერვული გზები.”
რელაციური განსჯა განიხილავს გარკვეულ ურთიერთობებს ობიექტებს შორის. მათ შეიძლება ჰქონდეთ სივრცით-დროითი კონტექსტი, მიზეზობრივი და ა.შ. მაგალითად: „ძველი მეგობარი სჯობს ორ ახალს“, „წყალბადი 22-ჯერ მსუბუქია ნახშირორჟანგზე“.
ეგზისტენციალური განსჯა არის განცხადება საგნის არსებობის/არარსებობის შესახებ (როგორც მატერიალური, ასევე იდეალური): „არ არსებობს წინასწარმეტყველი საკუთარ ქვეყანაში“, „მთვარე დედამიწის თანამგზავრია“.
მოდალური წინადადება არის განცხადების ფორმა, რომელიც შეიცავს გარკვეულ მოდალურ ოპერატორს (აუცილებელი, კარგი/ცუდი; დადასტურებული, ცნობილი/უცნობი, აკრძალული, მჯერა და ა.შ.). მაგალითად:
- "რუსეთში აუცილებელია განათლების რეფორმის გატარება" (ალეტიკური მოდალობა - შესაძლებლობა, რაღაცის საჭიროება).
- "ყველას აქვს პირადი მთლიანობის უფლება" (დეონტიკური მოდალობა - სოციალური ქცევის მორალური სტანდარტები).
- „სახელმწიფო ქონებისადმი უყურადღებო დამოკიდებულება იწვევს მის დაკარგვას“(აქსიოლოგიური მოდალობა - დამოკიდებულება მატერიალურ და სულიერ ფასეულობებთან).
- "ჩვენ გვჯერა თქვენი უდანაშაულობის" (ეპისტემური მოდალობა - ცოდნის სანდოობის ხარისხი).
კომპლექსური განსჯა და ლოგიკური დამაკავშირებლების ტიპები
როგორც უკვე აღვნიშნეთ, რთული განსჯა შედგება რამდენიმე მარტივისაგან. მათ შორის ლოგიკური კავშირები ისეთი ხრიკებია, როგორიცაა:
- შეერთება (და ʌ b არის დამაკავშირებელი წინადადებები). კონიუნქტურ განსჯას აქვს "და"-ს თაიგული:„ადამიანის და მოქალაქის უფლებებისა და თავისუფლებების გამოყენებამ არ უნდა დაარღვიოს სხვათა უფლებები და თავისუფლებები.“
- დისჯუნქცია (a v b – განმასხვავებელი განსჯა). განცალკევებული მსჯელობები გამოიყენება როგორც შემადგენელი ელემენტები, ხოლო კავშირი „ან“გამოიყენება ბმულად. მაგალითად: "მოსარჩელეს უფლება აქვს გაზარდოს ან შეამციროს პრეტენზიების ზომა."
- იმპლიკაცია (a → b - განსჯა-შედეგი). თუ კომპლექსური განსჯის სტრუქტურაში წინაპირობა და შედეგი გამოიყოფა, მაშინ შეიძლება ითქვას, რომ ასეთი გადაწყვეტილება მიეკუთვნება იმპლიკატიურს. როგორც ბმული ამ ფორმით, გაერთიანებები, როგორიცაა "თუ … მაშინ" გამოიყენება. მაგალითად: "თუ ელექტრული დენი გადის გამტარში, გამტარი გაცხელდება", "თუ გინდა იყო ბედნიერი, იყოს ეს."
- ექვივალენტი (a ≡ b – იდენტური განსჯა). ხდება მაშინ, როდესაც a და b ერთნაირია (ან ორივე მართალია, ან ორივე მცდარი): "ადამიანი შექმნილია იმისთვის, რომ იყოს ბედნიერი, როგორც ჩიტი გაფრენილს."
- უარყოფა (¬a, à – განსჯა-ინვერსია). თითოეული ორიგინალური განცხადება ასოცირდება რთულ დებულებასთან, რომელიც უარყოფს თავდაპირველ განცხადებას. იგი ხორციელდება რამოდენიმე "არა"-ს დახმარებით. შესაბამისად, თუ თავდაპირველი განცხადება ასე გამოიყურება: „ხარი რეაგირებს წითელ შუქზე“(a) - მაშინ უარყოფა ასე ჟღერს: „ხარი არ რეაგირებს წითელ შუქზე“(¬a).
