„განსჯა“ ლოგიკაში 1. განსჯა, როგორც აზროვნების ფორმა

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

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

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

წინადადება არის წინადადების გრამატიკული ფორმა. თუმცა ეს სულაც არ ნიშნავს განაჩენისა და განაჩენის სრულ დამთხვევას. Მათ შორის

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

განაჩენის პრედიკატი არის ის, რაც ნათქვამია განაჩენის საგანზე.

ბმული არის განსჯის ელემენტი, რომელიც აკავშირებს ორივე ტერმინს, ადასტურებს ან უარყოფს, რომ ობიექტი ეკუთვნის გარკვეულ ატრიბუტს. იგი მითითებულია ტირე „-“-ით ან სიტყვებით: არსებობს, არსი, არ არის და ა.შ.

განაჩენის შემადგენლობა შეიძლება გამოიხატოს ფორმულით: "S არის P" ან "S არ არის P"

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

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

2. მარტივი განსჯა, მათი სახეები და შემადგენლობა

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

ისინი იყოფა: ატრიბუტი განსჯა. განსჯა ურთიერთობებთან. არსებობის განსჯა.

ატრიბუტი განსჯა- ეს არის განსჯა საგნის ნიშანზე. ის ან ადასტურებს ან უარყოფს კავშირს ობიექტსა და მის მახასიათებელს შორის. მაგალითად: ყველა მეფე მდიდარი ხალხია; კრიმინალი საშიში ადამიანია. ასეთი განსჯის სქემა: S არის P ან S არ არის P.

განსჯა ურთიერთობებითარის განსჯა, რომელიც ასახავს ობიექტებს შორის ურთიერთობას. ეს შეიძლება იყოს თანასწორობის, უთანასწორობის, ნათესაური, სივრცითი, დროითი, მიზეზობრივი ურთიერთობები. მაგალითად: A=B; C>D; ეს კუთხე 90o-ზე ნაკლებია; ანელი დორას ბიძაშვილია; ალმა-ათა მოსკოვის სამხრეთით. ასეთი განსჯის სქემაა A R B, სადაც A და B არის ობიექტების სახელები, a R არის მათ შორის ურთიერთობა.

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

AT ლოგიკაში ამ განსჯის სამივე ტიპი კატეგორიული განსჯაა.

3. განსჯათა დაყოფა რაოდენობისა და ხარისხის მიხედვით

დაყოფა რაოდენობაზე

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

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

ნამუშევარი ფრიდერიკ შოპენის ნოქტურნია. ასეთი განსჯის ფორმულა არის: ეს S არის (არ არის) P.

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

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

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

ნეგატიური განსჯა გამოხატავს ობიექტში გარკვეული მახასიათებლის არარსებობას. მაგალითად: არც ერთი დემოკრატია არ არის ტოტალიტარული; ჭრიჭინა არ არის ჩიტი; ზოგიერთი მწერალი არ არის დრამატურგი.

განაჩენების კლასიფიკაციაში განსაკუთრებული ადგილი უჭირავს განაჩენების გამოყოფას და გამორიცხვას:

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

არ კუთვნილება) ნიშნის ყველა საგანს, გარკვეული ნაწილის გარდა, ეწოდება ექსკლუზიური. მაგალითად: ყველა წერილი, გარდა უკანასკნელისა, სასიხარულო ამბავი იყო; ყველა სკამი, გარდა ბოლო მარჯვნივ, მაჰოგანის იყო.

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

ზოგადი დადებითიმსჯელობა (ა ჯგუფის გადაწყვეტილება) ზოგადია საგნის მოცულობის თვალსაზრისით და დამადასტურებელი ბმულის ხარისხის მიხედვით. ასეთი განსჯის ფორმულა არის: ყველა S არის R. მაგალითად: ყველა ნიჭიერ ადამიანს შეუძლია შექმნას გამორჩეული ნამუშევარი; ყველა წიგნი ადამიანის საქმეა;

ყველა აქსიომა თავისთავად ცხადია. სულ უარყოფითიგანსჯა (E ჯგუფის განსჯა) ზოგადია საგნის მოცულობის თვალსაზრისით და უარყოფითი ბმულის ხარისხის მიხედვით. ასეთი განსჯის ფორმულა არის: არც ერთი S არ არის R. მაგალითად: არც ერთი სუსტი გონების მქონე ადამიანს არ ძალუძს რაიმეს შესრულება;

არცერთ რომაელ მონას არ ჰქონდა სამოქალაქო უფლებები;

არცერთი პლანეტა არ არის ასტეროიდი. პირადი დადებითიმსჯელობები (I ჯგუფის მსჯელობები) საგნის მოცულობის მიხედვით კერძოა, ბმულის ხარისხის მიხედვით დამადასტურებელი. ასეთი განსჯის ფორმულა არის: ზოგიერთი S არის R. მაგალითად: ზოგიერთი სანთელი დამზადებულია ცვილისგან;

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

ასეთი განსჯა: ზოგიერთი S არ არის R. მაგალითად: ზოგიერთი მცენარე არ იჭმევა; ზოგიერთი ქრისტიანი არ არის მართლმადიდებელი; ზოგიერთი მარილი წყალში არ იხსნება.

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

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

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

რეალობა. AT კერძო დადებითი განსჯაორივე ტერმინი გამოხატულია ურთიერთგადამკვეთი ცნებებით. მათი ტომები ნაწილობრივ ემთხვევა. ორივე ტერმინი არ არის განაწილებული.

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

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

4. შედგენილი განსჯა და მისი ტიპები

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

შემაერთებელი განსჯა(შეერთება) - ეს არის განსჯა, რომელიც მოიცავს სხვა განსჯას, როგორც ნაწილებს, გაერთიანებულ ლიგატებს "და", "ა", "მაგრამ", "მსგავსი", "ასე", "იგივე" და ა.შ. მაგალითად: ის მუშაობს როგორც მენეჯერი და სწავლობს ინსტიტუტში; მან ყველა გამოცდა ჩააბარა, მაგრამ დისერტაცია ჯერ არ დაუცვა.

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

პირობითი წინადადებები(იმპლიკაციური) - ეს არის განსჯა, რომელიც ყალიბდება ორიდან ლოგიკური გაერთიანებების საშუალებით: "თუ ... მაშინ", "იქ ... სად", "რადგან ... რამდენადაც". მაგალითად: „თავისუფალი დრო რომ მექნება, კომპიუტერის სალონში წავალ“; „იმიტომ, რომ პარტნიორები იმ საღამოს არ მოვიდნენ

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

მკაცრად განცალკევებული AvB (ან ან)

3.5. ლოგიკური ურთიერთობები განაჩენებს შორის.

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

შესადარებელ განსჯას თავის შემადგენლობაში აქვს საერთო ტერმინი - საგანი ან პრედიკატი.

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

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

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

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

1. ზოგადი წინადადების ჭეშმარიტებიდან გამომდინარეობს კონკრეტული წინადადების ჭეშმარიტება.

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

3. თუ კონკრეტული წინადადება მართალია, ზოგადი წინადადება განუსაზღვრელი იქნება.

4. კონკრეტული განჩინების სიცრუე განსაზღვრავს ზოგადი განჩინების სიცრუეს.

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

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

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

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

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

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

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

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

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

განაჩენებს შორის ურთიერთობა ილუსტრირებულია დიაგრამის გამოყენებით ე.წ ლოგიკური კვადრატი. კვადრატის წვეროები მიუთითებს განსჯის ტიპზე A, E, O, I კომბინირებული კლასიფიკაციის მიხედვით. გვერდები და დიაგონალები განასახიერებენ განსჯას შორის ლოგიკურ კავშირებს. ზედა მხარე - მიმართება A და E - საპირისპირო (საპირისპირო), ქვედა მხარე - მიმართება I და O - ნაწილობრივი თავსებადობა (ქვეკონტრასტული), ორი ვერტიკალური მხარე - მიმართებები A და I, E და O - დაქვემდებარება, დიაგონალები - მიმართებები A და O, E. ხოლო მე – წინააღმდეგობა (კონტრადიქცია).

6. განაჩენის მოდალობის ცნება.

განსჯის მოდალობა

ასეთი გადაწყვეტილების ოპერატორები:

აქსიოლოგიურიკარგი, ცუდი, შესანიშნავი.

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

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

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

ასეთი გადაწყვეტილების ოპერატორები:საეჭვოა ვარაუდი.

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

ლოგიკური განსჯა

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

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

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

განსჯის საგანია აზრის სუბიექტის ცნება, ე.ი. მაშინ. რა არის ნათქვამი ამ წინადადებაში. იგი აღინიშნება ასო "S"-ით (ლათინური subjektum - ქვემდებარე).

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

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

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

რაოდენობრივი მაჩვენებელი (რაოდენობრივისიტყვა) მიუთითებს, წინადადება ეხება საგნის გამომხატველი ცნების მთლიანს თუ ნაწილს („ყველა“, „ზოგი“, „ბევრი“, „არცერთი“ და ა.შ.). თუმცა, რაოდენობრივი მაჩვენებელი შეიძლება არ იყოს გადაწყვეტილებაში.

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

„სიქ არის R"ან " სარ ჭამო R"

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

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

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

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

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

დიდი განმარტება

არასრული განმარტება ↓

განაჩენი

ტრადიციულად ფორმალურ ლოგიკაში (ლოგიკურ სემანტიკაზე ფრეგეს ნაშრომამდე) ს. გაგებული იყო (სხვადასხვა მცირე დათქმებით და დამატებებით) როგორც დადებით ან უარყოფით დეკლარაციულ წინადადებად. თუმცა, ტრადიციულად ს.-ს შესახებ სწავლება, განსაკუთრებით განსჯის ფორმის ტრანსფორმაციის განყოფილებაში, ინტუიციურად იგულისხმებოდა ტერმინების „ს.“-ს გამოყენების განსხვავებაც. და „დეკლარაციული წინადადება“. პირველს ჩვეულებრივ იყენებდნენ, როგორც ლოგიკურ ტერმინს „რაღაც რაღაცის შესახებ“ განცხადებების (ან უარყოფის) აღსანიშნავად დეკლარაციული წინადადებების საშუალებით (ამა თუ იმ ენაზე). მეორე ემსახურებოდა განცხადებების ენობრივ დახასიათებას, ე.ი. დარჩა უპირატესად გრამატიკულ ტერმინად. ეს იმპლიციტური განსხვავება ცალსახად გამოიხატა განსხვავებაში (ზოგად შემთხვევაში) წინადადების ლოგიკურ სტრუქტურასა და წინადადებების გრამატიკულ სტრუქტურას შორის, რომელიც განხორციელდა არისტოტელესეული სილოგისტიკის დროიდან. დიახ, კლასიკურში ატრიბუტი ს. სუბიექტთან (რაზეა ნათქვამი, ან ნათქვამია - მეტყველების საგანი) გაიგივებული იყო, როგორც წესი, გრამატიკული. საგანი, ხოლო პრედიკატი (რაც ნათქვამია, ან ნათქვამია სამეტყველო საგანზე - საგანი) უკვე გრამატიკულად იყო გაგებული. პრედიკატი და გაიგივებული იყო პრედიკატის სახელობით ნაწილთან, გამოხატული, მაგალითად, ზედსართავი სახელით. გრამატიკულისგან განსხვავებით, სათქმელის ლოგიკური ფორმა (ს. ფორმა) ყოველთვის ნიშნავდა, რომ საგანს (ს. საგანს) აქვს (ან არ აქვს) განმსაზღვრელი. ნიშანი, ე.ი. დაყვანილ იქნა ატრიბუტულ სამტერმინ კავშირზე: სუბიექტი - ზმნა-ასლი - ატრიბუტი. მითითებული განსხვავება ტერმინების გამოყენებაში "S." ხოლო „დეკლარაციულმა წინადადებამ“ მოგვიანებით განაპირობა მათ შესაბამისი ცნებების უფრო მკაფიო განსაზღვრება. უკვე ბ. ბოლზანოსთვის, შემდეგ კი გ. ფრეგესთვის, ს. არის ჭეშმარიტი (ან მცდარი) დეკლარაციული წინადადების შინაარსი (მნიშვნელობა). თ.სპ-ით (თხრობითი) წინადადების მახასიათებლები. მისი ჭეშმარიტების მნიშვნელობა არისტოტელემდე მიდის და რა თქმა უნდა ახალი არ არის. მთავარი, რაც განასხვავებს ახალ გაგებას ტრადიციულისაგან, არის აბსტრაქცია (ნარატიული) წინადადების შინაარსის - ს. სიტყვის სწორი გაგებით - მისი ჭეშმარიტების მნიშვნელობიდან და მისი გამოხატვის მატერიალური (ენობრივი) ფორმიდან. ს-ის გამოყოფა ექსკლუზიურად, როგორც მეტყველების ლოგიკური ელემენტი - აბსტრაქტული ობიექტი "...იგივე ხარისხის ზოგადობის, როგორც კლასი, რიცხვი ან ფუნქცია" (ეკლესია?., შესავალი მათემატიკური ლოგიკაში, მოსკოვი, 1960, გვ. 32). არსებითად ახალია ასევე წინადადებების ჭეშმარიტების მნიშვნელობების შერჩევა - "სიმართლე" და "სიყალბე" (რომელიც შეიძლება მიენიჭოს თითოეულ დეკლარაციულ წინადადებას, როგორც მის მნიშვნელობას) - როგორც დამოუკიდებელი აბსტრაქტული ობიექტები, რომლებიც შედის ლოგიკური გამოთვლების ინტერპრეტაციაში. ეს ახალი ტ.სპ. განმარტა ეკვივალენტური გარდაქმნების მნიშვნელობა ლოგიკაში მოცულობის პრინციპზე დაყრდნობით (იხ. მოცულობის პრინციპი, აბსტრაქციის პრინციპი): ყველა ჭეშმარიტი წინადადება ექვივალენტურია იდენტიფიკაციის აბსტრაქციის ინტერვალში მნიშვნელობით (მაგრამ არა მნიშვნელობით). მეორე მხრივ, ტრადიციების განზოგადების საშუალება მისცა. სტრუქტურის კონცეფცია S. ლოგიკური (ან წინადადება) ფუნქციის კონცეფციის საფუძველზე, რომლის მნიშვნელობებია წინადადებები ან მათი ჭეშმარიტების მნიშვნელობები. ამრიგად, ტრადიციაში წინადადება „სოკრატე კაცია“. გაგება შეესაბამებოდა სქემას "S არის P". თუ ამ სქემაში S და? გავიგოთ, როგორც ცვლადები, რომლებსაც აქვთ მნიშვნელობის სხვადასხვა დიაპაზონი, ან როგორც სხვადასხვა სემანტიკური დონის ცვლადები, ან სხვადასხვა სახის, ან, ბოლოს და ბოლოს, მიეკუთვნებიან სხვადასხვა ანბანს: S, როგორც ცვლადი "ინდივიდუალური სახელების" დომენზე და P, როგორც ცვლადი. "ცნებების" დომენზე, მაშინ როდესაც ცვლადის მნიშვნელობად "პიროვნების" ცნების არჩევისას? (ან ზოგად შემთხვევაში, თუ ვივარაუდებთ, რომ ცვლადის მნიშვნელობა? არის დაფიქსირებული, ანუ, თუ ვივარაუდებთ, რომ? აქვს კარგად განსაზღვრული, თუმცა თვითნებური, დაუზუსტებელი მნიშვნელობა მოცემულ კონტექსტში), სქემა "S არის P" გარდაიქმნება გამოთქმა "S არის ადამიანი" (ზოგადად, გამოთქმაში "... არის P", სადაც წერტილები ცვლის ასო S-ს), რომელიც, როდესაც ცვლადი S ჩანაცვლებულია ინდივიდუალური სახელით (მნიშვნელობით), " სოკრატე“ იქცევა ჭეშმარიტ წინადადებად. ცხადია, გამოთქმა "... არის ადამიანი" (ზოგადად, გამოთქმა "... არსებობს P") არის ერთი ცვლადის ფუნქცია, რომელიც იღებს მნიშვნელობებს "true" ან "false" როდესაც სახელს სვამენ წერტილების ნაცვლად, რაღაც სუბიექტი, რომელიც აქ ასრულებს ფუნქციის არგუმენტის ჩვეულებრივ როლს. ანალოგიურად, გამოთქმა „...უმეტეს...“ არის ორი ცვლადის ფუნქცია, ხოლო გამოთქმა „არის... და...“ სამი ცვლადის ფუნქციაა და ა.შ. T. o., თანამედროვე. ს-ის სტრუქტურის ხედვა იმით მოდის, რომ მისი ტრადიციული. ელემენტები "პრედიკატი" და "სუბიექტი" ჩანაცვლებულია, შესაბამისად, ზუსტი ხალიჩებით. ფუნქციის ცნებები და მისი არგუმენტები. ეს ახალი ინტერპრეტაცია ეხმაურება ლოგიკურის განზოგადებული დახასიათების დიდი ხნის გაჩენილ საჭიროებას. მსჯელობა, რომელიც მოიცავდა არა მარტო (და არც ისე ბევრს) სილოგისტურ, არამედ განსაკუთრებით არასილოგისტურ დასკვნებს - ოსნ. მეცნიერების დასკვნები. თავის მხრივ, ს.-ს გამოხატვის ფუნქციური ფორმა ხსნის ფართო შესაძლებლობებს ნებისმიერი მეცნიერის წინადადებების ფორმალიზებისთვის. თეორიები. (როგორ ახასიათებს და ფორმალიზდება S.-ის სუბიექტ-პრედიკატის სტრუქტურა თანამედროვე ლოგიკაში, იხილეთ რაოდენობრივი და პრედიკატის გამოთვლა.) მ.ნოვოსელოვი. მოსკოვი. In and dy S. ლოგიკისა და ფილოსოფიის ისტორიაში დიდი ყურადღება დაეთმო ტიპებად დაყოფის პრობლემას. ერთ-ერთი ყველაზე მნიშვნელოვანია ს-ის დაყოფა მარტივ და რთულად. მარტივი ს-ის ცნება უკვე გვხვდება არისტოტელეს წიგნში ინტერპრეტაციის შესახებ. არისტოტელე უწოდებს მარტივს აქ ყოფიერების ს-ს, ე.ი. ს., რომელშიც დასტურდება (ან უარყოფილია) მხოლოდ სუბიექტის არსებობა (მაგ. არის პირი). მარტივი ს. არისტოტელე უპირისპირებს სამ ტერმინს ს.-ს, რომელშიც ს-ის საგნის არსებობის (ან არარსებობის) ცოდნის გარდა, ასევე არსებობს ცოდნა თანდაყოლილი (ან არათანაბარი) შესახებ. ს-ის საგანი. ყოფნის დარწმუნება (მაგალითად, „ადამიანი სამართლიანია“). მეგაროსტოიკურ სკოლაში უბრალო ს-ს ეწოდებოდა სუბიექტისა და პრედიკატისგან შემდგარი ს. კომპლექსი - სახელწოდებით S., ჩამოყალიბებულია მარტივიდან სხვადასხვა სახის ლოგიკური დახმარებით. კავშირები, როგორიცაა უარყოფა, შეერთება, დისიუნქცია, იმპლიკამენტი. მარტივი და რთული ს-ის ასეთი გაგება ახლოსაა მათ ინტერპრეტაციასთან, რომელიც მოცემულია მოდერნში. განცხადებების ლოგიკა. მთავარი არისტოტელესთვისაც უკვე ცნობილი იყო მარტივი ს-ების კლასიფიკაციის სათაურები: ს-ის დაყოფა ხარისხის (დადებითი და უარყოფითი) და რაოდენობის (ზოგადი, კერძო და განუსაზღვრელი) მიხედვით არისტოტელემ პირველ ანალიტიკაში მოიყვანა. ტრადიციული სახელმძღვანელოები. ს.-ს ხარისხით დადებითად და უარყოფითად და რაოდენობრივად ზოგად და კონკრეტულად დაყოფის ლოგიკა (აქ კონკრეტულად იგულისხმებოდა განუსაზღვრელი კონკრეტული განსჯა ტიპი "ზოგიერთი და შესაძლოა ყველა S არის P") ერთ რუბრიკაში გაერთიანდა. . ამ რუბრიკას ეწოდა ს-ის დაყოფა ხარისხისა და რაოდენობის მიხედვით. ეს მოიცავდა C-ის ოთხ ტიპს: 1) ზოგად მტკიცებულებას („ყველა S არის P“), 2) ზოგად უარყოფითს („არ არის S არის P“), 3) კონკრეტულ დადებითს („ზოგიერთი S არის P“), 4) განსაკუთრებული უარყოფითი ("ზოგიერთი S არ არის P"). სახელმძღვანელოები შემდგომში განიხილავდნენ ამ განსჯებს შორის ურთიერთობას ჭეშმარიტებისა და სიცრუის თვალსაზრისით ე.წ. ლოგიკური კვადრატი და სუბიექტის მოცულობებსა და პრედიკატებს შორის ურთიერთობა ამ ს-ში ე.წ. ტერმინთა განაწილების დოქტრინა განსჯაში. თანამედროვეში ლოგიკაში ს-ის ტიპებს რიცხვის მიხედვით მიეკუთვნება: 1) ზოგადი ს. (ს. ზოგადი კვანტიფიკატორით), 2) განუსაზღვრელი. კერძო ს., ტო-ჭვავის ე.წ. უბრალოდ კერძო (S. არსებობის რაოდენობრივი მაჩვენებლით) და 3) ცალკეული S. S.-ის დაყოფა რეალობის, შესაძლებლობისა და აუცილებლობის S.-ად, რომელსაც მოგვიანებით დაყოფა მოდალობის მიხედვით უწოდეს, ასევე არისტოტელემდე მიდის. რეალობის ს-ში არისტოტელე გულისხმობდა ს.-ს, რომელშიც საუბარია იმაზე, რაც რეალურად არსებობს, არსებობს რეალობაში. ს. აუცილებლობის ქვეშ - ს., რომელშიც საუბარია იმაზე, რომ სხვაგვარად არ შეიძლება. შესაძლებლობის ს-ის ქვეშ - ს., რომელშიც საუბარია იმაზე, თუ რა შეიძლება იყოს სხვაგვარად, ე.ი. რომელიც შეიძლება იყოს ან არ იყოს. მაგალითად, "ხვალ შეიძლება იყოს საზღვაო ბრძოლა". თანამედროვეში მოდალური ლოგიკის სხვადასხვა სისტემაში შესწავლილია გამოთქმის ლოგიკა მოდალური ოპერატორებით „შესაძლებელია“, „შეუძლებელი“, „აუცილებელი“ და ა.შ. 1) განცალკევება და მათ შორის S. და 2) S. თვისებები და S. ურთიერთობები ასევე შეიძლება, გარკვეული გაგებით, განხორციელდეს არისტოტელესგან. თემების პირველი წიგნის მეოთხე და მეათე თავებში არისტოტელემ განიხილა კვალი. ობიექტის შესახებ ნათქვამის კორელაციის ოთხი ტიპი თავად ობიექტთან: 1) განმარტება, 2) სათანადო, 3) სქესი, 4) შემთხვევითი. არისტოტელეს აზრით, ასეთ ს.-ს უნდა ეწოდოს განსაზღვრება, რომელშიც ვლინდება საკუთრება. C ობიექტის არსი. ის, რაც გამოხატულია განმარტებაში, ეკუთვნის C ობიექტს; მას არ შეუძლია გავლენა მოახდინოს სხვა თემაზე. ასეთ ს-ს უნდა ვუწოდოთ სათანადო ს., რომელშიც, ისევე როგორც განმარტებაში, ვსაუბრობთ რაღაცაზე, რომელიც ეკუთვნის მხოლოდ სუბიექტს S. მაგრამ, განსხვავებით განმარტებისგან, რაც ვლინდება საკუთარ ს. არ ნიშნავს საფიქრებელი საგნის არსს. R დაახლოებით d დაახლოებით m უნდა ეწოდოს ისეთ ს., რომელშიც ვლინდება არაკომპეტენტურობა. საგნის არსი, ე.ი. ისეთი არსი, რომელიც სხვა ობიექტებს აქვთ, გარდა S ობიექტისა. შემთხვევითი უნდა ეწოდოს ყველაფერს, რაც არ არის S. ობიექტის არსი, შეუძლია, გვარის მსგავსად, იმოქმედოს ბევრ სხვა ნივთზე. არისტოტელეს ეს სწავლება, რომელსაც მოგვიანებით მისმა კომენტატორებმა უწოდეს პრეკაბილიას დოქტრინა, საშუალებას გვაძლევს დავადგინოთ ს-ის კიდევ ორი ​​მნიშვნელოვანი ტიპი, კერძოდ, განვასხვავოთ და ჩავრთოთ ს. იმის შესახებ, არის თუ არა ეს თვისება არსებითი (განმარტება) თუ არაარსებითი (შესაბამისი). . მაგალითად, „კვადრატი არის მართკუთხედი თანაბარი გვერდებით“ (განმარტება). "მარსი არის პლანეტა, რომელიც ანათებს წითელი შუქით" (საკუთარი). ბუნებრივია ინკლუზიური ვუწოდოთ იმ ს.-ს, რომლებშიც საუბარია ს-ის სუბიექტის კუთვნილებაზე ისეთი ნიშნების შესახებ, რომლებზეც ცნობილია, რომ ისინი განეკუთვნებიან არა მარტო ს-ის საგანს, მაგალითად: „ვეშაპი. ცხოველია“ (გვარი), „ეს ადამიანი იტყუება“ (შემთხვევითი). ს-ის თვისებებად და მიმართებად დაყოფისთვის საინტერესოა ყველა კატეგორიის სამამდე დაყვანა, კერძოდ, „არსებამდე“, „მდგომარეობამდე“ და „ურთიერთობამდე“, რაც არისტოტელემ განახორციელა მეტაფიზიკის მე-14 წიგნში. აქ მითითებული კატეგორიების საფუძველზე ს. შეიძლება დაიყოს ორ ტიპად: 1) ს. თვისებები, რომლებშიც ისინი დადასტურებულია არსებად. თვისებები (არსი) და არარსებები. (სახელმწიფო), 2) S. ურთიერთობები, რომლებშიც დადასტურებულია სხვადასხვა სახის მიმართება ობიექტებს შორის. თავად არისტოტელე ჯერ არ მიუთითებს ს. თვისებებად და ს. მიმართებად დაყოფაზე. ეს დაყოფა, როგორც ჩანს, პირველად იყო გალენის მიერ (იხ. C. Galenus, Institutiologica, ed. C. Kalbfleisch, Lipsiae, 1896). იგი დაწვრილებით არის დამუშავებული კარინსკის მიერ (იხ. "M.I. Karinsky's Logic Course", "VF", 1947, No2). თანამედროვეობაში (ჰ. ვოლფი, ი. კანტი და მათ შემდგომ ლოგიკის ბევრ სასკოლო სახელმძღვანელოში) იყო ასევე ე.წ. ს-ის დაყოფა კატეგორიულთან, პირობით (ან ჰიპოთეტურთან) და გამყოფთან მიმართებაში. კატეგორიული ს-ის ქვეშ აქ გაგებული იყო ზოგადი ს., რომელშიც უპირობო ფორმით მყარდება კავშირი საგანსა და პრედიკატს შორის. ს-ს ეწოდა ჰიპოთეტური (ან სხვაგვარად პირობითი), რომელშიც სუბიექტსა და პრედიკატს შორის კავშირი ხდება c.-l-ზე დამოკიდებული. პირობები. განცალკევებას ეწოდა S., რომელიც შეიცავს რამდენიმე პრედიკატს, რომელთაგან მხოლოდ ერთს შეუძლია მიმართოს საგანს, ან რამდენიმე სუბიექტს, რომელთაგან მხოლოდ ერთს შეუძლია მიმართოს პრედიკატს (იხ. M. S. Strogovich, Logic, M., 1949, გვ. 166). -67). თანამედროვეში ს-ის დაყოფა ლოგიკასთან მიმართებაში არ არის აღიარებული. ე. წ კატეგორიული წინადადება აქ იდენტიფიცირებულია მარტივი წინადადებით, ხოლო სხვადასხვა სახის პირობითი და განცალკევებული წინადადებები განიხილება როგორც რთული წინადადებები (იხ. პირობითი წინადადება, განცალკევებული წინადადება). ს-ის კანტის კლასიფიკაციაში, ხარისხის, რაოდენობის, მოდალობისა და მიმართების მიხედვით დაყოფის გარდა, ვხვდებით ს-ის დაყოფას 1) აპრიორულად და აპოსტერიად და 2) ანალიტიკურ და სინთეტიკად. S. იყოფა პოსტერიორად და აპრიორად, იმის მიხედვით, თუ როგორ არის გაერთიანებული წარმოდგენები ან ცნებები ს. კანტი აპოსტერიორს უწოდებს იმ ს.-ს, რომლებშიც წარმოდგენები ცნობიერებაში ისეა გაერთიანებული, რომ მათ კავშირს არ აქვს ზოგადად მნიშვნელოვანი ხასიათი. პირიქით, „... თუ რაიმე განჩინება ჩაფიქრებულია, როგორც მკაცრად უნივერსალური, ანუ ისე, რომ გამონაკლისის შესაძლებლობა არ არის დაშვებული, მაშინ ის არ არის მიღებული გამოცდილებიდან, არამედ არის უპირობოდ აპრიორი განსჯა“ (I. Kant, Soch., t 3, M., 1964, გვ. 107). ასეთი აპრიორი ს არის, მაგალითად, კანტის მიხედვით, მათემ. ს., ლოგიკის აქსიომები და სხვ. აპრიორი და შემდგომი მსჯელობების გარჩევისას კანტი ცდილობდა პრობლემის გადაჭრას პრიორიიზმის პოზიციიდან, რომელიც გადის ფილოსოფიის მთელ ისტორიაში, კერძოდ, ემპირიულ (ფაქტობრივ) და თეორიულს შორის განსხვავების პრობლემა. ცოდნა. ერთად t. sp. ლოგიკით, პრობლემა არ არის აღიარება (ან არ აღიარება) როგორც ემპირიული, ისე თეორიული არსებობის. ცოდნა. მეცნიერებაში ეს და სხვა ცოდნა არსებობს და ჩვენ ინტუიციურად შეგვიძლია ზოგიერთ შემთხვევაში [მაგალითად, ფაქტების დაფიქსირების (ემპირიული) და აუცილებელი (თეორიული) ცოდნის შემთხვევაში] განვასხვავოთ ისინი. პრობლემა არის ზუსტი ლოგიკის დაზუსტება. ნიშნები, რომელთა მიხედვითაც შესაძლებელი იქნებოდა ემპირიული გამომხატველი ს. ცოდნა (ემპირიული C), თეორიული გამომხატველი მსჯელობებიდან. ცოდნა (თეორიული C). ეს პრობლემა საბოლოოდ გადაწყვეტილად არ შეიძლება ჩაითვალოს, თუმცა მისი გადაჭრის მცდელობები მიმდინარეობს (იხ., მაგალითად, Art. V. A. Smirnov, Levels of Knowledge and Stages of the Cognition Process, წიგნში: მეცნიერული შემეცნების ლოგიკის პრობლემები, მ. ., 1964). კანტის ფილოსოფიაში მნიშვნელოვან როლს ასრულებს ს-ის დაყოფა ანალიტიკურ და სინთეტიკად. ანალიტიკური ს. განსხვავდებიან სინთეზურისგან იმით, რომ ისინი არ ამატებენ საგნის ცნებას თავიანთი პრედიკატის საშუალებით, არამედ ყოფენ მას დაყოფით მის დაქვემდებარებულ ცნებებად, რომლებიც უკვე ჩაფიქრებულია მასში (თუმცა ბუნდოვნად), ხოლო სინთეტიკურად. . ს. „...სუბიექტის ცნებას ანიჭებენ პრედიკატს, რომელიც მასში საერთოდ არ იყო ჩაფიქრებული და მისგან რაიმე დაყოფით ვერ იქნა ამოღებული“ (იქვე, გვ. 111–12). ი.კანტის დამსახურება ს.-ის ანალიტიკურ და სინთეტიკურად დაყოფის საკითხში, უპირველეს ყოვლისა, ამ კითხვის დასმაშია: მან პირველმა განასხვავა ს. posteriori) და თეორიული (a priori). კანტამდე (მაგალითად, ლაიბნიცში) ეს პრობლემები ჩვეულებრივ იდენტიფიცირებული იყო. ამასთან, ი.კანტი ლოგიკურზე ვერ მიუთითებდა. ნიშნები განასხვავებენ ანალიტიკურ. სინთეტიკისგან ს. მომავალში, პრობლემა ანალიტიკური და სინთეზური არაერთხელ იქნა განხილული ს. ს-ის ზემოხსენებული დაყოფა სახეობებად შექმნა ჩ. გზა ემსახურება ტრადიციულის საჭიროებებს. ფორმალური ლოგიკა და, უპირველეს ყოვლისა, მთავარი პრობლემების გადასაჭრელად. მისი განყოფილება - დასკვნის თეორია. ასე რომ, ს-ის დაყოფა რაოდენობის, ხარისხისა და მოდალობის მიხედვით დაადგინა არისტოტელემ მის მიერ შექმნილი სილოგისტიკური თეორიის საჭიროებისთვის. დასკვნა (იხ. სილოგისტიკა). ს-ის მარტივ და რთულებად დაყოფა და მეგაროსტოული სკოლის ლოგიკოსების მიერ რთული ს-ის ტიპების საკითხის შემუშავება საჭირო იყო მათ მიერ სხვადასხვა სახის პირობითი და დისიუნქციური დასკვნების შესასწავლად. ს-ის დაყოფა ს-ებად და ს-ის მიმართებები წარმოიშვა განხილვასთან დაკავშირებით და სხვ. არასილოგისტური მსჯელობა. ჩვეულებრივ მიჩნეულია, რომ ფორმალური ლოგიკის ამოცანა არ მოიცავს S-ის ყველა ტიპისა და სახეობის შესწავლას, რომლებიც გვხვდება შემეცნებაში. და ს-ის ყოვლისმომცველი კლასიფიკაციის აგება. ამ ტიპის კლასიფიკაციების აგების მცდელობები ადგილი ჰქონდა ფილოსოფიის ისტორიაში [როგორიცაა, მაგალითად, ვუნდტის კლასიფიკაცია S.-ზე (იხ. W. Wundt, Logik, 4 Aufl., Bd 1, Stuttg., 1920)]. თუმცა, უნდა აღინიშნოს, რომ გარდა ფორმალური მიდგომა ს-ის ტიპების საკითხისადმი, როდესაც ს. იყოფა ტიპებად ზუსტად დაფიქსირებული. ლოგიკური დაყოფის საფუძვლები და თავად დაყოფა იქმნება დასკვნის თეორიის მოთხოვნილებების დასაკმაყოფილებლად, სხვა, ეპისტემოლოგიური, ასევე საკმაოდ ლეგიტიმურია. მიდგომა ამ საკითხისადმი. სწორად გააზრებული ეპისტემოლოგიური ს-ის ტიპების პრობლემისადმი მიდგომა დამახასიათებელია მეცნიერებაში ცნობილი ს-ის ტიპების შედარებითი შემეცნებითი მნიშვნელობისადმი ინტერესი და რეალობის შემეცნების პროცესში ერთი ტიპის ს.-დან მეორეზე გადასვლის შესწავლა. ასე რომ, ამ ტ.სპ. ს-ის დაყოფა რაოდენობრივად, ყურადღებას ვაქცევთ იმას, რომ შემეცნების პროცესში ძირითადად ორმაგი როლი თამაშობს ცალკეულ ს. პირველ რიგში, ინდივიდუალური ს. გამოხატავს და აძლიერებს ცოდნას ოტ. ნივთები. ეს მოიცავს ისტორიის აღწერას მოვლენები, მახასიათებლები პიროვნებები, დედამიწის, მზის აღწერა და ა.შ. ამავდროულად, ამ სახის სინგლის ს.-ს შორის აღვნიშნავთ გადასვლას ე.წ. კუთვნილების S., რომელშიც დადასტურებულია მხოლოდ ნიშან-თვისების კუთვნილება ობიექტისადმი, ს.-ს ჩართვა და ხაზგასმა, როგორც კი დავადგენთ, რომ დამტკიცებული თვისება ეკუთვნის არა მხოლოდ ამ საგანს (მათ შორის განსჯას) ან მხოლოდ ამ სუბიექტს. (განსჯის არჩევა). მეორეც, ცალკეული ს. ამზადებენ შემდგომ მშობიარობას, ფორმულირებას კერძო და ზოგადი ს. შესწავლილი კ.-ლ-ის ყველა ფენა. გეოლოგიური მონაკვეთი და რიგ ერთ ს-ში დაფიქსირება, რომ თითოეული შესწავლილი ფენა საზღვაო წარმოშობისაა, შეგვიძლია გამოვხატოთ ზოგადი S: „მოცემული გეოლოგიური მონაკვეთის ყველა ფენა საზღვაო წარმოშობისაა“. რაც შეეხება კონკრეტულ ს-ს, აღვნიშნავთ, რომ რეალობის შემეცნების პროცესში ხდება გადასვლა განუსაზღვრელიდან. განმარტებით კერძო ს. კერძო S. ან გენერალური S. მართლაც, განუსაზღვრელი. კერძო S. (ან უბრალოდ კერძო S.) გამოიხატება ისეთ შემთხვევებში, როდესაც იმის ცოდნა, რომ c.-l-ის გარკვეული ობიექტები. ობიექტების კლასს აქვს ან არ აქვს გარკვეული მახასიათებელი, ჩვენ ჯერ არ დავადგინეთ, რომ მოცემული კლასის ობიექტების ყველა სხვა ობიექტს ასევე აქვს (არ აქვს) ეს თვისება, ან რომ ზოგიერთ სხვა ობიექტს არ აქვს (აქვთ) ეს. ამ კლასის ობიექტები. თუ შემდგომში დადგინდება, რომ დეკ. მოცემული კლასის მხოლოდ ზოგიერთ ან ყველა ობიექტს აქვს ნიშანი, მაშინ კონკრეტული S. იცვლება განსაზღვრულით. კერძო თუ ზოგადი S. ასე რომ, კერძო S. „ზოგიერთი ლითონი წყალზე მძიმეა“ ლითონების შესწავლის პროცესში მითითებულია განმარტებაში. კერძო S. "მხოლოდ გარკვეული ლითონები არის უფრო მძიმე ვიდრე წყალი." კონკრეტული C. "ზოგიერთი სახის მექანიკური მოძრაობა გადადის ხახუნის მეშვეობით სითბოში" ჩანაცვლებულია ზოგადით C. "ნებისმიერი მექანიკური მოძრაობა გადადის ხახუნის მეშვეობით სითბოში." დეფ. კონკრეტულ ს.-ს, კერძო ს.-ს მიერ წამოყენებული პრობლემის გადაჭრა, კერძოდ, საკითხი იმის შესახებ, აქვს თუ არა მოცემული კლასის ობიექტების ყველა ობიექტს აქვს თუ არა გარკვეული მახასიათებელი, ამავე დროს გადაუჭრელ ტოვებს საკითხს, თუ რომელი ობიექტებს აქვთ ან არ აქვთ დამტკიცებული ფუნქცია. ამ გაურკვევლობის აღმოსაფხვრელად, კერძო S. უნდა შეიცვალოს საერთო ან მრავალჯერადი გამანაწილებელი S-ით. განსაზღვრებიდან გადასასვლელად. კერძო ს.-ს ე.წ. თვისებების დასამკვიდრებლად საჭიროა მრავალჯერადი გამოყოფა ს. თითოეული იმ გარკვეული ობიექტის სიზუსტე, რომლებიც განხილულია განმარტებაში. კერძო C. ამ შემთხვევაში, მაგალითად, დეფ. კოეფიციენტი S. "მხოლოდ ზოგიერთი მოსწავლე ამ კლასის კარგად ფლობს რუსულ ენას" ჩანაცვლებულია მრავლობითი რიცხვით, რომელიც ხაზს უსვამს S. "ამ კლასის ყველა მოსწავლედან მხოლოდ შატოვი, პეტროვი და ივანოვი კარგად ფლობენ რუსულ ენას." ზოგად განმასხვავებელ ს.-ზე გადასვლა ხორციელდება მაშინ, როცა ყველა ამ („ზოგიერთი“) ობიექტის დამახასიათებელ ნიშან-თვისებად შეგვიძლია გამოვყოთ მოცემული სახის გარკვეული ობიექტების ერთი ან რამდენიმე ცნობილი საერთო ნიშან-თვისება. მაგალითად, მას შემდეგ რაც გავიგეთ, რომ C-ში მოხსენიებული ყველა ის ("გარკვეული") ცხოველი. "მხოლოდ ზოგიერთ ცხოველს აქვს მსხვილი ნაწლავი" წარმოადგენს ძუძუმწოვრების კლასს, შეგვიძლია გამოვხატოთ ზოგადი განმასხვავებელი C: "ყველა ძუძუმწოვარს და მხოლოდ ძუძუმწოვრებს აქვს. მსხვილი ნაწლავები." ამ სახის გადასვლები ს-ს შორის ასევე შეიძლება დადგინდეს t.sp. მათი მოდალობები და ზოგიერთ სხვა ასპექტში (იხ. A. P. Sheptulin, Dialectical materialism, M., 1965, გვ. 271–80; Logic, რედაქციით D. P. Gorsky და P. V. Tavanets, M. ., 1956). ნათ.: Tavanets P.V., Vopr. განჩინების თეორია., 1955: ?opov P. S., Judgment, M., 1957; ახმანოვი ა.ს., არისტოტელეს ლოგიკური მოძღვრება, მ., 1900; სმირნოვა ე.დ., ანალიტიკური და სინთეზური პრობლემის შესახებ, in: Philos. კითხვა თანამედროვე ფორმალური ლოგიკა, მოსკოვი, 1962; გორსკი დ.პ., ლოგიკა, მე-2 გამოცემა, მ., 1963 წ. პ ტავანეც. მოსკოვი.

განაჩენი (განცხადება) არის აზროვნების ფორმა, რომლის დროსაც ხდება რაღაცის დადასტურება ან უარყოფა. Მაგალითად: "ყველა ფიჭვი ხეა", "ზოგი სპორტსმენია", "ვეშაპი თევზი არ არის", "ზოგიერთი ცხოველი არ არის მტაცებელი".

განვიხილოთ განსჯის რამდენიმე მნიშვნელოვანი თვისება, რომელიც ამავე დროს განასხვავებს მას კონცეფციისგან:

1. ნებისმიერი განსჯა შედგება ერთმანეთთან დაკავშირებული ცნებებისგან.

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

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

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

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

4. განსჯა მარტივი და რთულია. რთული წინადადებები შედგება მარტივი წინადადებებისაგან, რომლებიც დაკავშირებულია რაიმე კავშირით.

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

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

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

3. შეკვრაარის ის, რაც აკავშირებს საგანსა და პრედიკატს. ბმულის როლი შეიძლება იყოს სიტყვები "არის", "არის", "ეს" და ა.შ.

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

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

მაგალითად, თუ განაჩენი შეიცავს: ყველა მართკუთხედი გეომეტრიული ფიგურაა”, - გააუქმეთ შინაარსი და დატოვეთ ფორმა, შემდეგ მიიღებთ: „ყველა სიქ არის რ". განსჯის ლოგიკური ფორმა: " ზოგიერთი ცხოველი არ არის ძუძუმწოვარი", - "Ზოგიერთი სარ ჭამო რ».

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

1. ეკვივალენტობა. განსჯაში: " ყველა კვადრატი ტოლგვერდა მართკუთხედია", - საგანი" კვადრატები"და პრედიკატი" ტოლგვერდა მართკუთხედები"ეკვივალენტურ ურთიერთობაში არიან, რადგან ისინი ეკვივალენტური ცნებებია (კვადრატი აუცილებლად ტოლგვერდა მართკუთხედია, ს = პხოლო ტოლგვერდა მართკუთხედი აუცილებლად კვადრატია) (სურ. 18).

2. კვეთა. განსჯაში:

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

3. დაქვემდებარება. განსჯაში:

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

4. შეუთავსებლობა. განსჯაში: " ", - საგანი" პლანეტები"და პრედიკატი" ვარსკვლავები» არიან მიმართებაში შეუთავსებლობასთან, რადგან ისინი შეუთავსებელი (დაქვემდებარებული) ცნებებია (არცერთი პლანეტა არ შეიძლება იყოს ვარსკვლავი და არც ერთი ვარსკვლავი არ შეიძლება იყოს პლანეტა) (სურ. 21).

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

როგორც წესი, ყველა გადაწყვეტილება იყოფა სამ ტიპად:

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

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

3. შედარებითი განსჯა(ლათ. relativus- ფარდობითი) - ეს არის განსჯა, რომლებშიც პრედიკატი გამოხატავს რაიმე სახის კავშირს საგანთან. მაგალითად, განცხადება: " მოსკოვი დაარსდა პეტერბურგამდე', ფარდობითია, რადგან მისი პრედიკატია' დაარსდა პეტერბურგამდე» მიუთითებს ერთი ქალაქის დროებით (ასაკობრივ) ურთიერთობაზე და შესაბამის ცნებაზე მეორე ქალაქთან და შესაბამის ცნებაზე, რომელიც განსჯის საგანია.

1. რა არის განაჩენი? რა არის მისი ძირითადი თვისებები და განსხვავებები კონცეფციისგან?

2. რა ენობრივი ფორმებით არის გამოთქმული განსჯა? რატომ ვერ გამოხატავს კითხვითი და ძახილის წინადადებები განსჯას? რა არის რიტორიკული კითხვები და რიტორიკული ძახილები? შეიძლება ისინი იყოს განსჯის გამოხატვის ფორმა?

3. იპოვეთ განსჯის ენობრივი ფორმები ქვემოთ მოცემულ გამონათქვამებში:

1) არ იცი რომ დედამიწა მზის გარშემო ბრუნავს?

2) მშვიდობით, დაუბანავ რუსეთო!

3) ვინ დაწერა ფილოსოფიური ტრაქტატი წმინდა მიზეზის კრიტიკა?

4) ლოგიკა დაახლოებით მე-5 საუკუნეში გაჩნდა. ძვ.წ ე. ძველ საბერძნეთში.

5) ამერიკის პირველი პრეზიდენტი.

6) შემობრუნდით მარშზე!

7) ყველამ ცოტა ვისწავლეთ...

8) შეეცადეთ იმოძრაოთ სინათლის სიჩქარით!

4. რატომ არ შეიძლება ცნებები, განსჯებისაგან განსხვავებით, იყოს ჭეშმარიტი ან მცდარი? რა არის ორფასიანი ლოგიკა?

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

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

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

1) ყველა ბაქტერია ცოცხალი ორგანიზმია.

2) ზოგიერთი რუსი მწერალი მსოფლიოში ცნობილი ადამიანია.

3) სახელმძღვანელოები არ შეიძლება იყოს გასართობი წიგნები.

4) ანტარქტიდა ყინულის კონტინენტია.

5) ზოგიერთი სოკო უვარგისია.

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

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

საგნის მოცულობა ………………… ”ყველა” ”ზოგი”

ბონდის ხარისხი ……………… ”დიახ” ”არა იქ”

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

1. ზოგადი დადებითი განსჯა ა) არის განსჯა საგნის მთლიანი მოცულობით და დამადასტურებელი ბმული: „ყველა სიქ არის რ". Მაგალითად: " ყველა სტუდენტი სტუდენტია».

2. პირადი დადებითი განსჯა(აღნიშნულია ლათინური ასოებით მე) არის განსჯა საგნის კონკრეტული მოცულობით და დამადასტურებელი ბმული: „ზოგი სიქ არის რ". Მაგალითად: " ზოგიერთი ცხოველი მტაცებელია».

3. ზოგადი უარყოფითი განსჯა(აღნიშნულია ლათინური ასოებით ე) არის განსჯა საგნის მთლიანი მოცულობით და უარყოფითი ბმული: „ყველა სარ ჭამო რ(ან "არცერთი სარ ჭამო რ"). Მაგალითად: " ყველა პლანეტა ვარსკვლავი არ არის», « არცერთი პლანეტა არ არის ვარსკვლავი».

4. პირადი უარყოფითი განსჯა(აღნიშნულია ლათინური ასოებით ო) არის განსჯა საგნის კონკრეტული მოცულობით და უარყოფითი რგოლით: „ზოგი სარ ჭამო რ". Მაგალითად: " ».

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

მომავალში ვისაუბრებთ მარტივი განსჯის ტიპებზე, მათი გრძელი სახელების გამოყენების გარეშე, ჩვეულებრივი სიმბოლოების - ლათინური ასოების დახმარებით. A, I, E, O. ეს ასოები აღებულია ორი ლათინური სიტყვიდან: ა ff მე rmo- დაამტკიცოს და ნ ეგ ო - უარსაყოფად, შემოთავაზებული იყო როგორც აღნიშვნა მარტივი განსჯის ტიპებისთვის ჯერ კიდევ შუა საუკუნეებში.

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

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

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

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

1. რა არის მარტივი წინადადება?

2. რის საფუძველზე იყოფა ტიპებად მარტივი განსჯა? რატომ იყოფა ისინი ოთხ ტიპად?

3. აღწერეთ ყველა სახის მარტივი განსჯა: სახელი, სტრუქტურა, სიმბოლო. მოიყვანეთ მაგალითი თითოეული მათგანისთვის. რომელი განსჯა - ზოგადი თუ კონკრეტული - არის განსჯა საგნის ერთეული მოცულობით?

4. საიდან გაჩნდა ასოები მარტივი განსჯის ტიპების აღსანიშნავად?

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

განსჯის პირობებიმისი საგანი და პრედიკატი ეწოდება.

ტერმინი განიხილება განაწილებული(გაფართოებული, ამოწურული, სრულად აღებული), თუ განაჩენი ეხება ამ ტერმინის ფარგლებში შემავალ ყველა ობიექტს. განაწილებული ტერმინი აღინიშნება „+“ ნიშნით, ეილერის სქემებზე კი გამოსახულია სრული წრის სახით (წრე, რომელიც არ შეიცავს სხვა წრეს და არ კვეთს სხვა წრეს) (სურ. 22).

ტერმინი განიხილება გაუნაწილებელი(გაშლილი, ამოუწურავი, სრულად არ არის აღებული), თუ განაჩენი არ ეხება ამ ტერმინის ფარგლებში შემავალ ყველა ობიექტს. გაუნაწილებელი ტერმინი მითითებულია „–“ ნიშნით, ხოლო ეილერის დიაგრამებზე იგი გამოსახულია არასრული წრის სახით (წრე, რომელიც შეიცავს სხვა წრეს (ნახ. 23, ა) ან იკვეთება სხვა წრესთან (ნახ. 23, ბ).

მაგალითად, წინადადებაში: ყველა ზვიგენი (S) მტაცებელია (P)“, - საუბარია ყველა ზვიგენზე, რაც ნიშნავს, რომ ამ განსჯის საგანი განაწილებულია.

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

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

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

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

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

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

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

პრედიკატის აღმნიშვნელი წრე სრულია, ხოლო სუბიექტის შესაბამისი წრე არასრულია (პრედიკატის წრე, როგორც იქნა, წყვეტს მის რაღაც ნაწილს). ამრიგად, ამ განსჯაში სუბიექტი გაუნაწილებელია, ხოლო პრედიკატი განაწილებულია ( ს –, პ –).

1. რა შემთხვევაში ითვლება განჩინების ვადა განაწილებულად და რა შემთხვევაში - გაუნაწილებლად? როგორ შეიძლება დავადგინოთ ტერმინების განაწილება მარტივ წინადადებაში ეილერის წრიული სქემების გამოყენებით?

2. როგორია ტერმინების განაწილება ყველა სახის მარტივ განსჯაში და მათ საგანსა და პრედიკატს შორის ურთიერთობის ყველა შემთხვევაში?

3. ეილერის სქემების გამოყენებით დაადგინეთ ტერმინების განაწილება შემდეგ განსჯებში:

1) ყველა მწერი ცოცხალი ორგანიზმია.

2) ზოგიერთი წიგნი სახელმძღვანელოა.

3) ზოგიერთი სტუდენტი არ არის წარმატებული.

4) ყველა ქალაქი ქალაქია.

5) არცერთი თევზი არ არის ძუძუმწოვარი.

6) ზოგიერთი ძველი ბერძენი ცნობილი მეცნიერია.

7) ზოგიერთი ციური სხეული ვარსკვლავებია.

8) ყველა რომბი სწორი კუთხით არის კვადრატი.

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

გასაჩივრება (კონვერტაცია) არის მარტივი წინადადების ტრანსფორმაცია, რომელშიც სუბიექტი და პრედიკატი შებრუნებულია. მაგალითად, განცხადება: " ყველა ზვიგენი თევზია", - გარდაიქმნება განაჩენად გადაქცევით:" ". აქ შეიძლება გაჩნდეს კითხვა, რატომ იწყება თავდაპირველი განსჯა კვანტიფიკატორით? ყველა"და ახალი - რაოდენობიდან" ზოგიერთი"? ეს კითხვა, ერთი შეხედვით, უცნაურად გამოიყურება, რადგან ვერ იტყვი: ” ყველა თევზი ზვიგენიაასე რომ, ერთადერთი რაც დარჩა არის: ზოგიერთი თევზი ზვიგენია". თუმცა, ამ შემთხვევაში, ჩვენ მივმართეთ განაჩენის შინაარსს და შევცვალეთ კვანტიფიკატორის მნიშვნელობა " ყველა» რაოდენობრივად » ზოგიერთი»; ხოლო ლოგიკა, როგორც უკვე ითქვა, აზროვნების შინაარსიდან აბსტრაქტულია და მხოლოდ მის ფორმას ეხება. აქედან გამომდინარე, გადაწყვეტილების შეცვლა: " ყველა ზვიგენი თევზია”, - შეიძლება შესრულდეს ფორმალურად, მისი შინაარსის (მნიშვნელობის) მითითების გარეშე. ამისათვის ჩვენ ვადგენთ ტერმინების განაწილებას ამ გადაწყვეტილებაში წრიული სქემის გამოყენებით. განსჯის პირობები, ანუ საგანი“. ზვიგენები"და პრედიკატი" თევზი“, ამ შემთხვევაში დაქვემდებარებასთან მიმართებაშია (სურ. 27):

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

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

განაჩენი სახის ა მე. განაჩენი სახის მეიქცევა ან საკუთარ თავში ან ფორმის განსჯაში ა. განაჩენი სახის ეყოველთვის იქცევა საკუთარ თავში და ფორმის განსჯა ოარა შექცევადი.

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

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

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

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

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

1. ყველა სახელმძღვანელო წიგნია(ორიგინალური განაჩენი).

2. ზოგიერთი წიგნი სახელმძღვანელოა(მიმართვა).

3. ყველა სახელმძღვანელო არ არის არაწიგნური(ტრანსფორმაცია).

4. ყველა არაწიგნი არ არის სახელმძღვანელო

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

1. ყველა პლანეტა ვარსკვლავი არ არის(ორიგინალური განაჩენი).

2. ყველა ვარსკვლავი პლანეტა არ არის(მიმართვა).

3. ყველა პლანეტა ვარსკვლავი არ არის(ტრანსფორმაცია).

4. ზოგიერთი არავარსკვლავი პლანეტაა(განსხვავებით პრედიკატისგან).

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

2. რა არის ტრანსფორმაცია? მიიღეთ ნებისმიერი სამი გადაწყვეტილება და შეასრულეთ ტრანსფორმაციის ოპერაცია თითოეულ მათგანთან.

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

4. როგორ შეუძლია ცოდნა ტერმინების განაწილების შესახებ მარტივ განსჯაში და წრიული სქემების გამოყენებით მისი დადგენის უნარს დაეხმაროს განსჯის გარდაქმნის ოპერაციების განხორციელებაში?

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

მარტივი განსჯა იყოფა შესადარებად და შეუდარებლად.

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

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

თავსებადიარის განსჯა, რომელიც შეიძლება იყოს ჭეშმარიტი ამავე დროს. მაგალითად, განაჩენები: ზოგიერთი ადამიანი სპორტსმენია», « ზოგიერთი ადამიანი არ არის სპორტსმენი“, არის როგორც ჭეშმარიტი, ასევე თავსებადი წინადადებები.

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

თავსებადი განსჯა შეიძლება იყოს შემდეგ ურთიერთობებში:

1. ეკვივალენტობაარის კავშირი ორ წინადადებას შორის, რომელთა საგნები, პრედიკატები, დამაკავშირებელი და რაოდენობები ერთნაირია. მაგალითად, განაჩენები: მოსკოვი უძველესი ქალაქია»,

« რუსეთის დედაქალაქი უძველესი ქალაქია“, არიან ეკვივალენტურობის მიმართებაში.

2. დაქვემდებარებაარის ურთიერთობა ორ წინადადებას შორის, რომლებშიც პრედიკატები და კავშირები ერთნაირია, ხოლო საგნები სახეობებთან და გვართან მიმართებაშია. მაგალითად, განაჩენები: ყველა მცენარე ცოცხალი ორგანიზმია», « ყველა ყვავილი (ზოგიერთი მცენარე) ცოცხალი ორგანიზმია“, არიან დაქვემდებარებულ ურთიერთობაში.

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

შეუთავსებელი განსჯა შეიძლება იყოს შემდეგ ურთიერთობებში.

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

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

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

განხილული ურთიერთობები მარტივ შესადარ განსჯას შორის სქემატურად არის გამოსახული ლოგიკური კვადრატის გამოყენებით (ნახ. 32), რომელიც შემუშავებულია შუა საუკუნეების ლოგიკოსების მიერ:

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

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

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

1. რომელ განსჯას ეწოდება შესადარებელი და რომელი შეუდარებელი?

2. რა არის თავსებადი და შეუთავსებელი განსჯა? მიეცით თავსებადი და შეუთავსებელი მსჯელობის სამი მაგალითი.

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

4. რა გზებით შეიძლება არსებობდეს შეუთავსებელი განსჯა?

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

5. რა არის ლოგიკური კვადრატი? როგორ ასახავს ის განაჩენებს შორის ურთიერთობას? რატომ არ წარმოადგენს ლოგიკური კვადრატი ეკვივალენტურ მიმართებას? როგორ გამოვიყენოთ ლოგიკური კვადრატი ორ მარტივ შესადარებელ წინადადებას შორის კავშირის დასადგენად?

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

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

1. კავშირებითი განსჯა (შეერთება)- ეს არის რთული წინადადება დამაკავშირებელი კავშირით "და", რომელიც ლოგიკაში მითითებულია ჩვეულებრივი ნიშნით "?". ამ ნიშნის დახმარებით, კავშირებითი განსჯა, რომელიც შედგება ორი მარტივი განსჯისგან, შეიძლება წარმოდგენილი იყოს ფორმულის სახით: ა ? ბ(წაიკითხე" ადა ბ"), სადაც ადა ბ- ეს ორი მარტივი გადაწყვეტილებაა. მაგალითად, რთული წინადადება: ელვა აფრინდა და ჭექა-ქუხილი იღრიალა", - არის ორი მარტივი წინადადების შეერთება (დაკავშირება): "ელვა აფრინდა", "ჭექა-ქუხილი ატყდა". კავშირი შეიძლება შედგებოდეს არა მხოლოდ ორი, არამედ უფრო მეტი მარტივი წინადადებისგან. Მაგალითად: " ელვა აინთო, ჭექა-ქუხილი ატყდა და წვიმა დაიწყო (ა ? ბ ? გ)».

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

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

2. მკაცრი განცალკევება- ეს არის რთული წინადადება გამყოფი კავშირით "ან" მისი მკაცრი (ექსკლუზიური) მნიშვნელობით, რაც მითითებულია ჩვეულებრივი ნიშნით "". ამ ნიშნის გამოყენებით, მკაცრი განმასხვავებელი განსჯა, რომელიც შედგება ორი მარტივი განსჯისგან, შეიძლება წარმოდგენილი იყოს ფორმულის სახით: ა ბ(წაიკითხეთ "ან ა, ან ბ"), სადაც ადა ბეს ორი მარტივი წინადადებაა. მაგალითად, რთული წინადადება: მე-9 კლასშია თუ მე-11 კლასშია”, არის ორი მარტივი წინადადების მკაცრი განცალკევება (გამოყოფა): „მე-9 კლასშია“, „მე-11 კლასშია“. მივაქციოთ ყურადღება, რომ ეს მსჯელობები ერთმანეთს გამორიცხავს, ​​რადგან მე-9 და მე-11 კლასში ერთდროულად სწავლა შეუძლებელია (თუ მე-9 კლასში სწავლობს, მე-11 კლასში ნამდვილად არ სწავლობს და პირიქით. პირიქით), რის გამოც ეს განცალკევება მკაცრია.

როგორც არამკაცრი, ისე მკაცრი განცალკევება შეიძლება შედგებოდეს არა მხოლოდ ორი, არამედ უფრო დიდი რაოდენობის მარტივი განსჯისგან. Მაგალითად: " ის სწავლობს ინგლისურს ან სწავლობს გერმანულს ან სწავლობს ფრანგულს (a ? b ? c)», « ის მე-9 კლასშია ან მე-10 კლასშია ან მე-11 კლასშია (ა ბ გ)».

3. იმპლიკაციური განსჯა (იგულისხმება)- ეს არის რთული წინადადება პირობითი კავშირით "თუ ... მაშინ", რომელიც მითითებულია პირობითი ნიშნით ">". ამ ნიშნის გამოყენებით, იმპლიკაციური განსჯა, რომელიც შედგება ორი მარტივი განსჯისგან, შეიძლება წარმოდგენილი იყოს ფორმულის სახით: ა > ბ(წაიკითხეთ "თუ ა, მაშინ ბ"), სადაც ადა ბეს ორი მარტივი წინადადებაა. მაგალითად, რთული წინადადება: თუ ნივთიერება მეტალია, მაშინ ის ელექტროგამტარია.", - არის ორი მარტივი განსჯის იმპლიკაციური განსჯა (მიზეზი): "ნივთიერება მეტალია", "ნივთიერება ელექტროგამტარია". ამ შემთხვევაში, ეს ორი გადაწყვეტილება ერთმანეთთან არის დაკავშირებული ისე, რომ მეორე მოსდევს პირველს (თუ ნივთიერება არის ლითონი, მაშინ ის აუცილებლად ელექტროგამტარია), მაგრამ პირველი არ გამომდინარეობს მეორისგან (თუ ნივთიერება არის ელექტროგამტარი, ეს საერთოდ არ ნიშნავს, რომ ის მეტალია). იმპლიკაციის პირველ ნაწილს ე.წ საფუძველიდა მეორე არის შედეგი; შედეგი გამომდინარეობს მიზეზიდან, მაგრამ მიზეზი არ გამომდინარეობს შედეგიდან. გათვალისწინების ფორმულა: ა > ბ, შეიძლება ასე იკითხებოდეს: „თუ ა, მაშინ აუცილებლად ბ, მაგრამ თუ ბ, მაშინ არ არის საჭირო ა».

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

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

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

ბუნებრივ ენაში ბევრი კავშირია, მაგრამ ყველა მათგანი მნიშვნელობით დაყვანილია განხილულ ხუთ ტიპამდე და ნებისმიერი რთული განსჯა ეხება ერთ-ერთ მათგანს. მაგალითად, რთული წინადადება: თითქმის შუაღამეა, მაგრამ ჰერმანი მაინც წავიდა", - არის კავშირი, რადგან შეიცავს კავშირს" ა" გამოიყენება როგორც დამაკავშირებელი კავშირი "და". რთული წინადადება, რომელშიც საერთოდ არ არის კავშირი: ” დათესე ქარი, მოიმკი გრიგალი”, - არის მინიშნება, რადგან მასში ორი მარტივი განსჯა მნიშვნელობით არის დაკავშირებული პირობითი კავშირით „თუ ... მაშინ“.

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

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

1. რის საფუძველზე განასხვავებენ რთული განსჯის ტიპებს?

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

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

4. მიეცით სამი მაგალითი რთული განსჯის თითოეული ტიპისთვის, გაერთიანებების „და“, „ან“, „თუ ... მაშინ“ გამოყენების გარეშე.

5. დაადგინეთ, რა ტიპს მიეკუთვნება შემდეგი რთული განსჯა:

1. ცოცხალი არსება ადამიანია მხოლოდ მაშინ, როცა მას აქვს აზროვნება.

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

3. გუშინ მან დიუსი მიიღო არა მხოლოდ მათემატიკაში, არამედ რუსულშიც.

4. გამტარი თბება, როდესაც მასში ელექტრული დენი გადის.

5. ჩვენს ირგვლივ სამყარო ან შესაცნობია, ან არა.

6. ან სრულიად უღიმღამოა, ან სრულიად ზარმაცი.

7. როცა ადამიანი მაამებს, ის იტყუება.

8. წყალი იქცევა ყინულად მხოლოდ 0 ° C ტემპერატურაზე და ქვემოთ.

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

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

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

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

ჩვენ ვაფორმებთ მსჯელობას: ის მე-9 კლასშია, ანუ მე-10 კლასში, ან მე-11 კლასში. თუმცა ცნობილია, რომ ის არც მე-10 და არც მე-11 კლასში არ სწავლობს. ასე რომ, ის მე-9 კლასშია.". ჩვენ გამოვყოფთ ამ მსჯელობაში შეტანილ მარტივ განცხადებებს და აღვნიშნავთ მათ ლათინური ანბანის მცირე ასოებით: „მე-9 კლასშია (ა)“, „მე-10 კლასშია (ბ)“, „მე-11 კლასშია (გ)“. არგუმენტის პირველი ნაწილი არის ამ სამი განცხადების მკაცრი განცალკევება: ა ? ბ ? გ. არგუმენტის მეორე ნაწილი მეორის უარყოფაა: ¬ ბდა მესამე: ¬ გ, დებულებები და ეს ორი უარყოფა გაერთიანებულია, ანუ ერთმანეთთან დაკავშირებულია: ¬ ბ ? ¬ გ. უარყოფათა შეერთებას ემატება ზემოთ ნახსენები სამი მარტივი წინადადების მკაცრი განცალკევება: ( ა ? ბ ? გ) ? (¬ ბ ? ¬ გ), და უკვე ამ ახალი შეერთებიდან, შედეგად, პირველი მარტივი წინადადების მტკიცება მოდის: ” ის მე-9 კლასშია". ლოგიკური შედეგი, როგორც უკვე ვიცით, არის იმპლიკამენტი. ამრიგად, ჩვენი მსჯელობის ფორმალიზების შედეგი გამოიხატება ფორმულით: (( ა ? ბ ? გ) ? (¬ ბ ?¬ გ)) > ა. ეს ლოგიკური ფორმა შეიძლება შეივსოს ნებისმიერი შინაარსით. Მაგალითად: " პირველად ადამიანი კოსმოსში გაფრინდა 1957 წელს, ან 1959 წელს, ან 1961 წელს. თუმცა ცნობილია, რომ პირველად ადამიანი კოსმოსში გაფრინდა არა 1957 წელს და არა 1959 წელს. ამიტომ, პირველად ა. ადამიანი კოსმოსში გაფრინდა 1961 წელს"კიდევ ერთი ვარიანტი:" ფილოსოფიური ტრაქტატი „სუფთა მიზეზის კრიტიკა“ დაიწერა ან იმანუელ კანტის, ან გეორგ ჰეგელის, ან კარლ მარქსის მიერ. თუმცა არც ჰეგელი და არც მარქსი არ არიან ამ ტრაქტატის ავტორები. ამიტომ კანტმა დაწერა».

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

1. იდენტური ჭეშმარიტი ფორმულებიმართალია მათში შემავალი ცვლადების ჭეშმარიტების მნიშვნელობების ყველა ნაკრებისთვის (მარტივი წინადადებები). ნებისმიერი იდენტური ჭეშმარიტი ფორმულა არის ლოგიკური კანონი.

2. იდენტური ცრუ ფორმულებიმცდარია მათი ცვლადების სიმართლის მნიშვნელობების ყველა ნაკრებისთვის.

იდენტური ცრუ ფორმულები არის იდენტური ჭეშმარიტი ფორმულების უარყოფა და ლოგიკური კანონების დარღვევაა.

3. შესასრულებელი (ნეიტრალური) ფორმულებისიმართლის სხვადასხვა ნაკრებისთვის მათში შემავალი ცვლადების მნიშვნელობები არის ჭეშმარიტი ან მცდარი.

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

იმის დასადგენად, თუ რა სახის ფორმულას ეკუთვნის ესა თუ ის ფორმულა და, შესაბამისად, რაიმე მსჯელობის ლოგიკური სისწორის შესაფასებლად, ისინი ჩვეულებრივ ადგენენ ამ ფორმულისთვის ჭეშმარიტების სპეციალურ ცხრილს. განვიხილოთ შემდეგი მსჯელობა: ვლადიმერ ვლადიმიროვიჩ მაიაკოვსკი დაიბადა 1891 ან 1893 წელს, თუმცა ცნობილია, რომ ის 1891 წელს არ დაბადებულა, ამიტომ იგი 1893 წელს დაიბადა“.. ამ მსჯელობის ოფიციალურად გამოვყოფთ მასში შემავალ მარტივ განცხადებებს: "ვლადიმერ ვლადიმიროვიჩ მაიაკოვსკი დაიბადა 1891 წელს." "ვლადიმერ ვლადიმიროვიჩ მაიაკოვსკი დაიბადა 1893 წელს". ჩვენი განხილვის პირველი ნაწილი უდავოდ არის ამ ორი მარტივი განცხადების მკაცრი განცალკევება: ა ? ბ. გარდა ამისა, პირველი მარტივი დებულების უარყოფა ემატება დისუნქციას და მიიღება კავშირი: ( ა ? ბ) ? ¬ ა. და ბოლოს, მეორე მარტივი წინადადების დებულება გამომდინარეობს ამ კავშირიდან და მიიღება მნიშვნელობა: (( ა ? ბ) ? ¬ ა) > ბ, რაც ამ მსჯელობის ფორმალიზების შედეგია. ახლა ჩვენ უნდა გავაკეთოთ მაგიდა. 7 სიმართლე მიღებული ფორმულისთვის:

ცხრილის რიგების რაოდენობა განისაზღვრება წესით: 2 n , სადაც n არის ფორმულის ცვლადების (მარტივი განცხადებების) რაოდენობა. ვინაიდან ჩვენს ფორმულაში მხოლოდ ორი ცვლადია, ცხრილში ოთხი მწკრივი უნდა იყოს. ცხრილის სვეტების რაოდენობა უდრის ცვლადების რაოდენობის ჯამს და ფორმულაში შემავალი ლოგიკური გაერთიანებების რაოდენობას. განსახილველ ფორმულაში არის ორი ცვლადი და ოთხი ლოგიკური კავშირი (?, ?, ¬, >), რაც ნიშნავს, რომ ცხრილს უნდა ჰქონდეს ექვსი სვეტი. პირველი ორი სვეტი წარმოადგენს ცვლადებისთვის ჭეშმარიტების მნიშვნელობების ყველა შესაძლო კომპლექტს (არსებობს ოთხი ასეთი ნაკრები: ორივე ცვლადი არის true; პირველი ცვლადი არის true და მეორე არის false; პირველი ცვლადი არის false და მეორე არის true; ორივე ცვლადი მცდარია). მესამე სვეტი არის მკაცრი განცალკევების ჭეშმარიტების მნიშვნელობები, რომელსაც იგი იღებს ცვლადების ჭეშმარიტების მნიშვნელობების ყველა (ოთხი) ნაკრებიდან გამომდინარე. მეოთხე სვეტი არის პირველი მარტივი განცხადების უარყოფის ჭეშმარიტების მნიშვნელობები: ¬ ა. მეხუთე სვეტი არის კავშირის სიმართლის მნიშვნელობები, რომელიც შედგება ზემოაღნიშნული მკაცრი განცალკევებისა და უარყოფისგან, და ბოლოს მეექვსე სვეტი არის მთელი ფორმულის ან იმპლექტაციის ჭეშმარიტების მნიშვნელობები. ჩვენ დავყავით მთელი ფორმულა მის შემადგენელ ნაწილებად, რომელთაგან თითოეული არის ორტერმინიანი შედგენილი წინადადება, ანუ შედგება ორი ელემენტისგან (წინა აბზაცში ითქვა, რომ უარყოფა ასევე ორტერმინიანი რთული წინადადებაა):

ცხრილის ბოლო ოთხი სვეტი წარმოადგენს თითოეული ამ ორობითი რთული წინადადების სიმართლის მნიშვნელობებს, რომლებიც ქმნიან ფორმულას. პირველ რიგში, შეავსეთ ცხრილის მესამე სვეტი. ამისათვის ჩვენ უნდა დავუბრუნდეთ წინა აბზაცს, სადაც წარმოდგენილი იყო რთული განსჯების სიმართლის ცხრილი ( იხილეთ ცხრილი. 6), რომელიც ამ შემთხვევაში ჩვენთვის საბაზისო იქნება (როგორც გამრავლების ცხრილი მათემატიკაში). ამ ცხრილში ვხედავთ, რომ მკაცრი განცალკევება მცდარია, როცა მისი ორივე ნაწილი ჭეშმარიტია ან ორივე ნაწილი მცდარია; როდესაც მისი ერთი ნაწილი ჭეშმარიტია, მეორე კი მცდარი, მაშინ მკაცრი განცალკევება მართალია. მაშასადამე, შევსებულ ცხრილში მკაცრი განცალკევების მნიშვნელობები (ზემოდან ქვემოდან) შემდეგია: „მცდარი“, „მართალი“, „მართალი“, „მცდარი“. შემდეგ, შეავსეთ ცხრილის მეოთხე სვეტი: ¬ a: როდესაც დებულება ორჯერ მართალია და ორჯერ მცდარი, მაშინ უარყოფა ¬ a, პირიქით, ორჯერ მცდარია და ორჯერ მართალია. მეხუთე სვეტი არის კავშირი. ვიცოდეთ მკაცრი განცალკევებისა და უარყოფის ჭეშმარიტების მნიშვნელობები, ჩვენ შეგვიძლია დავადგინოთ კავშირის ჭეშმარიტების მნიშვნელობები, რომელიც ჭეშმარიტია მხოლოდ იმ შემთხვევაში, თუ მისი ყველა შემადგენელი ელემენტი ჭეშმარიტია. მკაცრი განცალკევება და უარყოფა, რომლებიც ქმნიან ამ შეერთებას, ერთდროულად ჭეშმარიტია მხოლოდ ერთ შემთხვევაში, შესაბამისად, კავშირი იღებს მნიშვნელობას "true" ერთხელ, ხოლო "false" სხვა შემთხვევებში. დაბოლოს, თქვენ უნდა შეავსოთ ბოლო სვეტი: იმპლიკაციისთვის, რომელიც წარმოადგენს მთელი ფორმულის სიმართლის მნიშვნელობებს. რთული წინადადებების საბაზისო ჭეშმარიტების ცხრილს რომ დავუბრუნდეთ, გახსოვდეთ, რომ მნიშვნელობა მცდარია მხოლოდ ერთ შემთხვევაში: როდესაც მისი საფუძველი ჭეშმარიტია და შედეგი მცდარი. ჩვენი იმპლიკაციის საფუძველი არის ცხრილის მეხუთე სვეტში წარმოდგენილი კავშირი და შედეგი არის მარტივი წინადადება ( ბ) წარმოდგენილია მეორე სვეტში. გარკვეული უხერხულობა ამ შემთხვევაში მდგომარეობს იმაში, რომ მარცხნიდან მარჯვნივ შედეგი მიდის საძირკველზე ადრე, მაგრამ ჩვენ ყოველთვის შეგვიძლია გონებრივად გავცვალოთ ისინი. პირველ შემთხვევაში (ცხრილის პირველი სტრიქონი, "ქუდის" გარეშე) იმპლიკაციის საფუძველი არის მცდარი, ხოლო შედეგი არის ჭეშმარიტი, რაც ნიშნავს, რომ იმპლიკაციურია ჭეშმარიტი. მეორე შემთხვევაში, მიზეზიც და შედეგიც მცდარია, შესაბამისად აზრი მართალია. მესამე შემთხვევაში, მიზეზიც და შედეგიც ჭეშმარიტია, მაშასადამე, მნიშვნელობა მართალია. მეოთხე შემთხვევაში, ისევე როგორც მეორეში, მიზეზიც და შედეგიც მცდარია, რაც იმას ნიშნავს, რომ ნაგულისხმევი ჭეშმარიტია.

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

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

ფორმულაში ორი ცვლადია, რაც ნიშნავს, რომ ცხრილში იქნება ოთხი ხაზი; ასევე არის სამი კავშირი (>, ?, >) ფორმულაში, რაც ნიშნავს, რომ ცხრილს ექნება ხუთი სვეტი. პირველი ორი სვეტი არის ცვლადების სიმართლის მნიშვნელობები. მესამე სვეტი არის იმპლიაციის სიმართლის მნიშვნელობები.

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

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

განხილული ფორმულა იღებს როგორც მნიშვნელობას "true" და "false" მნიშვნელობას მასში შემავალი ცვლადების სიმართლის მნიშვნელობების სხვადასხვა ნაკრებისთვის; მსჯელობის შინაარსი, მისი კონსტრუქციის ამგვარმა ფორმამ შეიძლება გამოიწვიოს შეცდომა. მაგალითად: " თუ სიტყვა წინადადების დასაწყისშია, მაშინ იგი მთავრდება. სიტყვა "მოსკოვი" ყოველთვის დიდი ასოებით. ამიტომ სიტყვა „მოსკოვი“ ყოველთვის წინადადების დასაწყისშია.».

1. რა არის განცხადების ან მსჯელობის ფორმალიზება? მოიფიქრეთ რაიმე მსჯელობა და გააფორმეთ იგი.

2. ჩამოაყალიბეთ შემდეგი მსჯელობა:

1) თუ ნივთიერება მეტალია, მაშინ ის ელექტროგამტარია. სპილენძი მეტალია. ამიტომ, სპილენძი ელექტროგამტარია.

2) ცნობილი ინგლისელი ფილოსოფოსი ფრენსის ბეკონი ცხოვრობდა მე-17 საუკუნეში, ან მე-15 საუკუნეში, ან მე-13 საუკუნეში. ფრენსის ბეკონი მე-17 საუკუნეში ცხოვრობდა. მაშასადამე, ის არც მე-15 საუკუნეში ცხოვრობდა და არც მე-13 საუკუნეში.

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

4) თუ გეომეტრიული ფიგურის შიდა კუთხეების ჯამი არის 180°, მაშინ ფიგურა არის სამკუთხედი. მოცემული გეომეტრიული ფიგურის შიდა კუთხეების ჯამი არ არის 180°-ის ტოლი. ამიტომ, ეს გეომეტრიული ფიგურა არ არის სამკუთხედი.

5) ტყეები არის წიწვოვანი, ან ფოთლოვანი, ან შერეული. ეს ტყე არც ფოთლოვანია და არც წიწვოვანი. ამიტომ, ეს ტყე შერეულია.

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

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

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

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

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

კითხვები იყოფა კვლევად და ინფორმაციას.

Კვლევაკითხვები მიზნად ისახავს ახალი ცოდნის მიღებას. ეს ის კითხვებია, რომლებზეც პასუხი ჯერ არ არის გაცემული. მაგალითად, კითხვა: როგორ დაიბადა სამყარო?» არის საძიებო.

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

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

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

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

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

« არის თუ არა სამყაროში პლანეტები დასახლებული, ისევე როგორც დედამიწა, გონიერი არსებებით?» არის საძიებო წინადადების კითხვა:

« როდის გაჩნდა ლოგიკა?” – ინფორმაციის კატეგორიული კითხვა: ” მართალია, რომ ნომერი ? რა არის წრის გარშემოწერილობის შეფარდება მის დიამეტრთან?” არის საინფორმაციო შემოთავაზებული კითხვა.

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

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

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

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

უნდა აღინიშნოს, რომ სწორი კატეგორიული და შემოთავაზებული კითხვები მსგავსია იმით, რომ მათ ყოველთვის შეიძლება მიეცეს ჭეშმარიტი პასუხი (ასევე მცდარი). მაგალითად, კატეგორიულ კითხვაზე: როდის დასრულდა პირველი მსოფლიო ომი?"- შეიძლება მიცემული იყოს როგორც ჭეშმარიტი პასუხი:" 1918 წელს", - და ყალბი: " 1916 წელს". შემოთავაზებულ კითხვაზე: ბრუნავს თუ არა დედამიწა მზის გარშემო?" - ასევე შეიძლება მიცემული იყოს როგორც ჭეშმარიტი: " დიახ, ის ბრუნავს", - და ყალბი: " არა, არ ბრუნავს“, – უპასუხე. ორივე ეს კითხვა ლოგიკურად სწორია. ასე რომ, ჭეშმარიტი პასუხების მიღების ფუნდამენტური შესაძლებლობა სწორი კითხვების მთავარი მახასიათებელია. თუ გარკვეულ კითხვებზე ჭეშმარიტი პასუხების მიღება ფუნდამენტურად შეუძლებელია, მაშინ ისინი არასწორია. მაგალითად, არ შეიძლება ჭეშმარიტი პასუხის მიღება შემოთავაზებულ კითხვაზე: დასრულდება თუ არა ოდესმე პირველი მსოფლიო ომი?” – ისევე როგორც შეუძლებელია კატეგორიული კითხვისთვის მისი მიღება: ” რამდენად სწრაფად ბრუნავს მზე უძრავი დედამიწის გარშემო?».

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

1. რა არის კითხვა? რა კავშირია კითხვასა და განსჯას შორის?

2. რით განსხვავდება კვლევის კითხვები საინფორმაციო კითხვებისგან? მიეცით კვლევითი და საინფორმაციო კითხვების ხუთი მაგალითი.

3. რა არის კატეგორიული და შემოთავაზებული კითხვები? მიეცით ხუთი კატეგორიული და შემოთავაზებული კითხვების მაგალითი.

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

1) როდის აღმოაჩინეს გრავიტაციის კანონი?

2) შეძლებენ თუ არა დედამიწის მაცხოვრებლები მზის სისტემის სხვა პლანეტებზე დასახლებას?

3) რომელ წელს დაიბადა ბონაპარტე ნაპოლეონი?

4) რა არის კაცობრიობის მომავალი?

5) შესაძლებელია თუ არა მესამე მსოფლიო ომის თავიდან აცილება?

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

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

რა აერთიანებს ლოგიკურად სწორ კატეგორიულ და შემოთავაზებულ კითხვებს?

7. უპასუხეთ ქვემოთ მოცემული კითხვებიდან რომელია ლოგიკურად სწორი და რომელი არასწორი:

1) რამდენჯერ დიდია პლანეტა იუპიტერი მზეზე?

2) რა არის წყნარი ოკეანის ფართობი?

3) რომელ წელს დაწერა ვლადიმერ ვლადიმერვიჩ მაიაკოვსკიმ ლექსი "ღრუბელი შარვალში"?

4) რამდენ ხანს გაგრძელდა ისააკ ნიუტონისა და ალბერტ აინშტაინის ერთობლივი ნაყოფიერი სამეცნიერო მუშაობა?

5) რა არის დედამიწის ეკვატორის სიგრძე?

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

მარტივი დამამტკიცებელი განსჯის სახეები

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

ერთი . ქონებრივი განჩინებები (ატრიბუტული).

ისინი ადასტურებენ ან უარყოფენ ცნობილი თვისებების, მდგომარეობების, საქმიანობის სუბიექტის კუთვნილებას. მაგალითები: "თაფლი ტკბილია", "შოპენი არ არის დრამატურგი". ამ ტიპის განსჯის სქემები: „S არის P“ ან „S არ არის P“.

2. განსჯა ურთიერთობებთან.

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

ფორმულა, რომელიც გამოხატავს გადაწყვეტილებას ორადგილიანი მიმართებით, იწერება როგორც aRb ან R(a, b), სადაც a და b არის ობიექტების სახელები, ხოლო K არის მიმართების სახელი. დამოკიდებულების განსჯაში რაღაცის დადასტურება ან უარყოფა შეიძლება არა მხოლოდ ორ, არამედ სამ, ოთხ ან მეტ ობიექტზე, მაგალითად: „მოსკოვი არის პეტერბურგსა და კიევს შორის“. ასეთი მსჯელობები გამოიხატება ფორმულით R(а„ a 2, a 3, ..., a „).

3. არსებობის (ეგზისტენციალური) განსჯა.

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

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

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

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

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

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

ზოგად განსჯას შორის არის განმასხვავებელი განსჯა, რომელიც მოიცავს რაოდენობრივ სიტყვას „მხოლოდ“. განაჩენის გამოკვეთის მაგალითები: „ბრეგი მხოლოდ გამოხდილ წყალს სვამდა“; „მამაკაცს არ ეშინია სიმართლის. მხოლოდ მშიშარას ეშინია მისი“ (A. K. Doyle).

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

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

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

ერთი განსჯით, საგანი ერთიანი ცნებაა. სინგულარული განსჯას აქვს სტრუქტურა: „ეს S არის (არ არის) P“. სინგულარული განსჯის მაგალითები: „ვიქტორიის ტბა არ არის აშშ-ში“; "არისტოტელე - ალექსანდრე მაკედონელის განმანათლებელი"; „ერმიტაჟი მსოფლიოში ერთ-ერთი უდიდესი ხელოვნებისა და კულტურულ-ისტორიული მუზეუმია“.

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

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

1. A არის ზოგადად დამადასტურებელი განსჯა. მისი სტრუქტურა ასეთია: "ყველა" S არის P". მაგალითად: „ყველა ადამიანს სურს ბედნიერება“.

2. I - კერძო დამადასტურებელი განსჯა. მისი სტრუქტურა ასეთია: „ზოგიერთი S არის P“. მაგალითად, „ზოგიერთი გაკვეთილი ასტიმულირებს მოსწავლეთა შემოქმედებით საქმიანობას“. დამადასტურებელი გადაწყვეტილების კონვენციები აღებულია სიტყვიდან AFFIRMO, ანუ მე ვადასტურებ; ამ შემთხვევაში პირველი ორი ხმოვანია აღებული: ა - ზოგადი მტკიცების აღსანიშნავად და მე - კონკრეტული მტკიცებითი განსჯის აღსანიშნავად.

E არის ზოგადი უარყოფითი განსჯა. მისი სტრუქტურა ასეთია: "არ არის S არის P". მაგალითი: "არც ერთი ოკეანე არ არის მტკნარი წყალი."

O - კერძო უარყოფითი განსჯა. მისი სტრუქტურა ასეთია: „ზოგიერთი S არ არის P“. მაგალითად, „ზოგიერთი სპორტსმენი არ არის ოლიმპიური ჩემპიონი“. უარყოფითი განსჯის სიმბოლო აღებულია სიტყვიდან NEGO, ანუ მე უარვყოფ.

ტერმინების განაწილება კატეგორიულ მსჯელობებში

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

განცხადება A არის საყოველთაოდ დადებითი. მისი სტრუქტურა ასეთია: "ყველა S არის P". განვიხილოთ ორი შემთხვევა.

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

2. განაჩენში „ყველა კვადრატი ტოლგვერდა მართკუთხედია“ ტერმინებია: S – „კვადრატი“, P – „ტოლგვერდა მართკუთხედი“ და ზოგადი კვანტიფიკატორი – „ყველა“. ამ წინადადებაში S განაწილებულია და P ნაწილდება, რადგან მათი მოცულობა ზუსტად იგივეა.

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

I წინადადება განსაკუთრებული დადებითია. მისი სტრუქტურა ასეთია: „ზოგიერთი S არის P“. განვიხილოთ ორი შემთხვევა.

1. განაჩენში „ზოგიერთი მოზარდი ფილატელისტია“ ტერმინებია:

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

2. განაჩენში „ზოგიერთი მწერალი დრამატურგია“ ტერმინებია: ს – „მწერალი“, პ – „დრამატურგი“ და ეგზისტენციალური კვანტიფიკატორი – „ზოგი“. სუბიექტი არ არის განაწილებული, ვინაიდან მასში მწერალთა მხოლოდ ნაწილია ჩაფიქრებული, ანუ სუბიექტის ფარგლები მხოლოდ ნაწილობრივ შედის პრედიკატის საზღვრებში. პრედიკატი განაწილებულია, რადგან პრედიკატის ფარგლები მთლიანად შედის საგნის არეალში. ამრიგად, P ნაწილდება, თუ P-ის მოცულობა ნაკლებია S-ის მოცულობაზე, რაც ხდება განსჯების ხაზგასმით.

წინადადება E ზოგადად უარყოფითია. მისი სტრუქტურა ასეთია: "არ არის S არის P". მაგალითად: „არც ერთი ლომი არ არის ბალახისმჭამელი“. მასში ტერმინებია: S - "ლომი", P - "ბალახისმჭამელი" და კვანტიფიკატორი სიტყვა - "არცერთი". აქ საგნის ფარგლები მთლიანად გამორიცხულია პრედიკატის ფარგლებიდან და პირიქით.

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

ასე რომ, S ნაწილდება ზოგად განსჯაში და არა ცალკეულში; P ყოველთვის ნაწილდება უარყოფით შეფასებებში, მაგრამ დადებითში ის ნაწილდება, როდესაც P ≤ S მოცულობაში.

ურთიერთობები მარტივ წინადადებებს შორის

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

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

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

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

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

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

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

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

შემდგომი მიმართებები მარტივ ატრიბუტულ განსჯას შორის - A, E, I, O - გრაფიკულად არის გამოსახული სიცხადისთვის ლოგიკური კვადრატის სახით.

მისი მწვერვალები განასახიერებს მარტივ კატეგორიულ განსჯას - A, E, I, O; განსჯებს შორის ურთიერთობის მხარეები და დიაგონალები. საპირისპირო (საპირისპირო) (სურ. 3.2.1).

ბრინჯი. 3.2.1. ლოგიკის კვადრატი

დაქვემდებარებაარის კავშირი ისეთ განსჯას შორის, რომელშიც რაოდენობა განსხვავებულია, მაგრამ ხარისხი ერთი და იგივე. ამ მიმართებაში არსებობს ზოგადი დადებითი (A) და კონკრეტული მტკიცებითი (I), ზოგადი უარყოფითი (E) და კონკრეტული უარყოფითი (O) განსჯა. დამორჩილებისას გამოიყენება შემდეგი შაბლონები:

ა) დაქვემდებარებულის (A ან E) ჭეშმარიტებიდან გამომდინარეობს დაქვემდებარებულის ჭეშმარიტება (შესაბამისად I ან O), მაგრამ არა პირიქით;

ბ) დაქვემდებარებულის (I ან O) სიყალბედან გამომდინარეობს ქვემდებარეს (შესაბამისად A ან E) სიყალბე, მაგრამ არა პირიქით.

მაგალითები. თუ A მართალია, რომ „ყველა ადვოკატი იურისტია“, მაშინ მით უფრო მართალია, რომ „ზოგიერთი ადვოკატი მაინც იურისტია“. მაგრამ თუ მართალია, რომ "ზოგიერთი მოწმე მართალია", მაშინ აქედან არ გამომდინარეობს, რომ A არის ჭეშმარიტი: "ყველა მოწმე მართალია". ამ შემთხვევაში ეს მცდარია. სხვა შემთხვევებში, A შეიძლება იყოს ჭეშმარიტი. მაგალითად: თუ მართალია, რომ „ზოგიერთი ადვოკატი ადვოკატია“, მაშინ A მართალია, რომ „ყველა ადვოკატი იურისტია“. თავის მხრივ, თუ მცდარია I, რომ „ზოგიერთ მოქალაქეს აქვს კანონის დარღვევის უფლება“, მაშინ კიდევ უფრო მცდარია A, რომ „ყველა მოქალაქეს აქვს კანონის დარღვევის უფლება“. მაგრამ თუ A არის მცდარი, რომ "ყველა მოწმე არის ჭეშმარიტი", მაშინ აქედან არ გამომდინარეობს, რომ მე ვარ მცდარი: "ზოგიერთი მოწმე ჭეშმარიტია". ამ შემთხვევაში, ეს არის ჭეშმარიტი წინადადება. სხვა შემთხვევაში შეიძლება ცრუ ვიყო. მაგალითად: თუ A არის მცდარი, რომ "ყველა მოქალაქეს აქვს კანონის დარღვევის უფლება", მაშინ მე ასევე მცდარი ვარ, რომ "ზოგიერთ მოქალაქეს აქვს კანონის დარღვევის უფლება". მართალია E, რომ „არცერთ მოქალაქეს არ აქვს უფლება დაარღვიოს კანონი“.

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

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

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

წინააღმდეგობა (წინააღმდეგობა)- ურთიერთობა ისეთ მსჯელობებს შორის, როგორიცაა ზოგადი დადებითი (A) და კონკრეტული უარყოფითი (O), ზოგადი უარყოფითი (E) და კონკრეტული მტკიცებითი (I). მათ აქვთ შემდეგი კანონზომიერებები: ისინი არ შეიძლება იყვნენ ორივე ჭეშმარიტი და ორივე მცდარი. ერთის ჭეშმარიტებიდან აუცილებლად მოჰყვება მეორის სიყალბე და პირიქით. ეს არის „ყველაზე შეუთავსებელი“ ყველა განსჯაში, მათ შორის, ფიგურალურად რომ ვთქვათ, „კატისა და ძაღლის“ ურთიერთობა, რადგან ისინი ერთმანეთს ვერ ერწყმიან.

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

მარტივი ატრიბუტიული მსჯელობების ურთიერთმიმართების ცოდნა მათი ჭეშმარიტებისა და სიცრუის თვალსაზრისით მნიშვნელოვანია შემეცნებითი და პრაქტიკული თვალსაზრისით. ეს, უპირველეს ყოვლისა, ეხმარება თავიდან აიცილოს შესაძლო ლოგიკური შეცდომები საკუთარ მსჯელობაში. ამრიგად, კონკრეტული წინადადების (I ან O) ჭეშმარიტებიდან არ შეიძლება გამოიტანოს ზოგადის (A ან E) ჭეშმარიტება. მაგალითად, იქიდან, რომ „ზოგიერთი მოსამართლე უხრწნელია“, არ გამომდინარეობს, რომ „ყველა მოსამართლე უხრწნელია“. ასეთ შეცდომას ლოგიკაში ნაჩქარევი განზოგადება ეწოდება და ხშირად ხდება.

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

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

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

x და y-ს შორის კავშირი შეიძლება იყოს ძირითადად სიმეტრიული ან ასიმეტრიული.

სიმეტრიული(ბერძნული სიმეტრიიდან - პროპორციულობა) - ეს არის მიმართებები x-სა და y-ს შორის, რომლებისთვისაც არ აქვს მნიშვნელობა ამ ტერმინებიდან რომელია წინა და რომელია შემდეგი. სხვა სიტყვებით რომ ვთქვათ, ისინი შეიძლება შეიცვალოს სიმართლის ან სიცრუის შეცვლის გარეშე. ეს არის განაჩენებში გამოვლენილი თანასწორობის, მსგავსების, მსგავსების, ერთდროულობის და ა.შ., მაგალითად: „ივანე პეტრეს ძმაა“. მაშასადამე, „პეტრე ივანეს ძმაა“. ეს ორი მიმართებითი წინადადება შეიძლება იყოს როგორც ჭეშმარიტი, ასევე მცდარი. თუ ერთი მათგანი ჭეშმარიტია, მაშინ მეორე არის ჭეშმარიტი და პირიქით, თუ ერთი მათგანი მცდარია, მაშინ მეორე მცდარია.

ასიმეტრიულიარის ისეთი მიმართებები x-სა და y-ს შორის, რომლებშიც მნიშვნელოვანია მათი განლაგების თანმიმდევრობა. მაშასადამე, მათი ადგილების შეცვლა შეუძლებელია განაჩენის მნიშვნელობის, შესაბამისად, მისი ჭეშმარიტებისა თუ სიცრუის შეუცვლელად. მაგალითად: „ივანე სტეპანის მამაა“. მაგრამ ეს არ ნიშნავს იმას, რომ „სტეპანი ივანეს მამაა“. თუ ამ განცხადებებიდან ერთი მართალია, მაშინ მეორე მცდარია. მართალი აქ იქნება "სტეპან ივანეს ძე". ასეთი ურთიერთობებიც ასიმეტრიული გამოდის: „ივანს უყვარს მარია“. აქედან სულაც არ გამომდინარეობს, რომ „მარიას უყვარს ივანე“, მაგრამ შეიძლება უყვარდეს ან არ უყვარდეს. თუ ამ განაჩენებიდან ერთი მართალია, მაშინ მეორე განუსაზღვრელია.

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

x და y-ს შორის ურთიერთობა შეიძლება იყოს გარდამავალი ან არატრანზიტული.

გარდამავალი,ან გარდამავალი მიმართებები (ლათ. გარდამავალი - გარდამავალი). თუ, მაგალითად, x უდრის y-ს და y უდრის z-ს, მაშინ x არის z-ის ეკვივალენტური. ასევე შეიძლება იყოს სიდიდის მიმართებები (მეტი - ნაკლები), სივრცითი (უფრო - უფრო ახლოს), დროითი (ადრე - მოგვიანებით) და ა.შ. ელენა". ასეთი განსჯა შეიძლება იყოს როგორც ჭეშმარიტი, ასევე მცდარი.

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

ასევე არსებობს რეფლექსურობის და არარეფლექსურობის მიმართებები.

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

არარეფლექსიურიურთიერთობები ისეთია, რომ თუ 2 3-ზე ნაკლებია, მაშინ ეს არ ნიშნავს, რომ 2 არის 2-ზე ნაკლები და 3 არის 3-ზე ნაკლები. ერთის სიმართლე გულისხმობს მეორის სიცრუეს.

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

რთული განსჯა

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

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

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

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

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

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

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

შეერთებითი (შეერთებითი) განსჯავუწოდოთ განსჯა, რომელიც კომპონენტებად მოიცავს სხვა განსჯა-კავშირებს, რომლებიც გაერთიანებულია ბმულით „და“. მაგალითად: „ქურდობა და თაღლითობა განზრახ დანაშაულია“. თუ ერთ-ერთი შემადგენელი განაჩენი - „ქურდობა განზრახ დანაშაულია“ - აღინიშნება p სიმბოლოთი, მეორე განაჩენი - „თაღლითობა განზრახ დანაშაულია“ - ნიშნით q და მათ შორის კავშირი არის ნიშანი, მაშინ ქ. ზოგადად დამაკავშირებელი წინადადება შეიძლება სიმბოლურად გამოიხატოს როგორც plq.

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

შემაერთებელი ლიგატი გამოხატულია რთულ საგანში,რომელიც შედგება ერთმანეთთან დაკავშირებული ცნებებისგან, სქემის მიხედვით: S 1, და S2, არის რ.მაგალითად, „საკუთრების ჩამორთმევა და უფლების ჩამორთმევა სისხლის სამართლის სასჯელის დამატებითი სახეებია“.

შემაერთებელი კოპულა გამოიხატება რთულ პრედიკატში,სქემის მიხედვით, რომელიც შედგება ერთმანეთთან დაკავშირებული ნიშნებისგან: საქვს რ 1 და რ 2 . მაგალითად, „დანაშაული არის სოციალურად საშიში და უკანონო ქმედება“.

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

კონიუნქტივის ლიგატიგრამატიკულად გამოხატულია არა მხოლოდ კავშირით "და", არამედ სიტყვებით "ა", "მაგრამ", "ასევე", "მსგავსი", "ასე", "თუმცა", "თუმცა", "მიუხედავად", ამავე დროს“ და ა.შ.