რუსეთის ფედერაციის განათლებისა და მეცნიერების სამინისტრო

განათლების ფედერალური სააგენტო

სანქტ-პეტერბურგის სახელმწიფო სერვისისა და ეკონომიკის უნივერსიტეტი

სამართლის ინსტიტუტი

დისციპლინა: ლოგიკა

თემაზე: კომპლექსური განსჯა

სანქტ-პეტერბურგი

მარტივი წინადადების კონცეფცია

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

აღწერილი სიტუაციის დადასტურების ან უარყოფის არსებობა განასხვავებს განაჩენს ცნებები .

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

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

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

განაჩენებისა და განცხადებების მაგალითები:

მარტივი განცხადება - A; მარტივი გადაწყვეტილება - "S არის (არ არის) P."

რთული განცხადება – A→B; რთული განსჯა - თუ S1 არის P1, მაშინ S2 არის P2.

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

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

საგანი არის განსჯის ნაწილი, რომელშიც გამოხატულია აზროვნების საგანი.

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

ერთად საგანი და პრედიკატი ეწოდება განსჯის თვალსაზრისითდა აღინიშნება ლათინური სიმბოლოებით S და P, შესაბამისად.

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

რთული განსჯის კონცეფცია

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

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

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

1) რთული მსჯელობის ლოგიკური მნიშვნელობა;

2) მარტივი წინადადებების დამაკავშირებელი ლოგიკური შეერთების ბუნება;

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

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

განაჩენების შედარება

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

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

A - ზოგადი დადებითი: ყველა S არის P .

I - პირადი დადებითი: სულ მცირე ზოგიერთი S არის P .

E - ზოგადი უარყოფითი: ყველა (არცერთი) S არის P.

O - ნაწილობრივი უარყოფითი: მაინც ზოგიერთი ს არ არის პ.

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

A და E განაჩენები ერთმანეთს ეწინააღმდეგება;

I და O განსჯა საპირისპიროა;

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

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

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

ლოგიკური კავშირები. შეერთებითი განსჯა

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

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

სიმბოლურად აღინიშნება შემდეგნაირად: A˄B, სადაც A, B არის მარტივი განსჯის აღმნიშვნელი ცვლადები, ˄ არის კავშირის ლოგიკური კავშირის სიმბოლური გამოხატულება.

კავშირის განმარტება შეესაბამება სიმართლის ცხრილს:

ა	IN	ა ˄ IN
და	და	და
და	ლ	ლ
ლ	და	ლ
ლ	ლ	ლ

განმასხვავებელი განსჯა

არსებობს ორი სახის დისიუნქციური წინადადება: მკაცრი (ექსკლუზიური) დისიუნქცია და არამკაცრი (არაექსკლუზიური) დისიუნქცია.

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

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

A˅B სიმბოლურად იწერება.

მკაცრი განშორების ლოგიკური მნიშვნელობა შეესაბამება სიმართლის ცხრილს:

ა	IN	ა ˅ IN
და	და	ლ
და	ლ	და
ლ	და	და
ლ	ლ	ლ

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

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

სიმბოლურად დაწერილი ა ˅ B. არამკაცრი დისიუნქცია შეესაბამება სიმართლის ცხრილს:

ა	IN	ა ˅ IN
და	და	და
და	ლ	და
ლ	და	და
ლ	ლ	ლ

იმპლიკაციური (პირობითი) წინადადებები

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

ბუნებრივ ენაში, იმპლიკაცია გამოიხატება კავშირით "თუ..., მაშინ" მნიშვნელობით "სავარაუდოა, რომ A და არა B". Მაგალითად, "თუ რიცხვი იყოფა 9-ზე, მაშინ ის იყოფა 3-ზე."

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

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

განსჯის სტრუქტურა

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

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

ჭეშმარიტი და მცდარი წინადადებები

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

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

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

განსჯა განცხადების ტიპის მიხედვით

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

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

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

განსჯის ხარისხი

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

ნეგატიური განსჯის დროს, პირიქით, საკუთრება ჩამოერთმევა სუბიექტს: „ჯეიმს ვიკერის 25-ე კადრის თეორიას არ აქვს ექსპერიმენტული დადასტურება“.

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

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

მარტივი და რთული განსჯა

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

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

მარტივი მსჯელობების კლასიფიკაცია

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

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

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

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

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

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

რთული განსჯა და ლოგიკური კავშირების ტიპები

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

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

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

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

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

1)განსჯის საგანი -ეს არის განსჯის საგნის ცნება. განაჩენის საგანი მითითებულია წერილით ს (ლათინური სიტყვიდან საგანი);

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

3)ლიგატებირუსულად გამოხატული სიტყვებით "არის", "არის", "არსი".

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

მარტივი განსჯის სახეები

1. საკუთრების განსჯა (ატრიბუტივი):

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

სქემა ამ ტიპის განაჩენი: « სᲘქ არის რ" ან « სარ ჭამო R".

მაგალითები : "ტკბილი თაფლი", "შოპენი არ არის დრამატურგი."

2. განსჯა ურთიერთობებთან დაკავშირებით:

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

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

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

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

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

სქემა ამ ტიპის განაჩენი: « სᲘქ არის რ" ან « სარ ჭამო R".

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

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

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

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

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

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

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

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

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

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

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

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

ბუნებრივი ენობრივი წინადადებების კატეგორიული განსჯის კანონიკურ ფორმამდე დაყვანის პროცედურა

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

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

3. განათავსეთ განცხადების საგანი რაოდენობრივი სიტყვის შემდეგ.

4. განათავსეთ ლოგიკური შემაერთებელი „არის“ („არსი“) ან „არ არის“ („არ არის არსი“) განცხადების საგნის შემდეგ.

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

ბოლო ოპერაციის შესრულებისას გაითვალისწინეთ შემდეგი:

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

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

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

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

1. ა – ზოგადი მტკიცება.

სტრუქტურა: "ყველა სარსი R".

მაგალითი: "ყველა ადამიანს სურს ბედნიერება."

2. მე– კერძო დადებითი განსჯა.

სტრუქტურა: "ზოგიერთი S არის R".

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

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

3. ე – ზოგადი უარყოფითი განსჯა.

სტრუქტურა: "არცერთი სარ ჭამო R".

მაგალითი: "არც ერთი ოკეანე არ არის მტკნარი წყალი."

4. ო– პირადი უარყოფითი განსჯა.

სტრუქტურა: "ზოგიერთი S არ არის R".

მაგალითი: "ზოგიერთი სპორტსმენი არ არის ოლიმპიური ჩემპიონი."

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

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

1. განაჩენი ა – უნივერსალური . მისი სტრუქტურა: " ყველა S არის P ».

განვიხილოთ ორი შემთხვევა:

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

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

2. განაჩენი მე – კერძო დადებითი . მისი სტრუქტურა: " Ზოგიერთი S არის P ». განვიხილოთ ორი შემთხვევა.

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

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

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

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

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

წარმოვიდგინოთ ეს ტერმინების განაწილების ცხრილში:

პირობები/განსჯის ტიპი	ა	ე	მე	ო
ს
პ
პ განაჩენების ხაზგასმა

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

ლეგენდა: +– ვადის განაწილება;

– – ვადის არგადანაწილება

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

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

• ურთიერთობას ჰქვია სიმეტრიული(ლათინური „პროპორციულობიდან“), თუ ის გვხვდება ობიექტებს შორის x და წ და y და ობიექტებს შორის x (თუ X ტოლი (მსგავსი, ამავე დროს) წ , მაშინ წ ტოლი (მსგავსი, ამავე დროს) X .
• ურთიერთობას ჰქვია ამრეკლავი(ლათინური „არეკლიდან“), თუ დამოკიდებულების თითოეული წევრი თავისთან ერთსა და იმავე მიმართებაშია (თუ X =ზე , ეს X =X და ზე =ზე ).
• ურთიერთობას ჰქვია გარდამავალი(ლათინური „ტრანზიციიდან“), თუ ეს ხდება შორის X და ზ , მაშინ როდესაც ეს ხდება შორის X და ზე და შორის ზე და ზ (თუ X უდრის ზე და ზე უდრის ზ , ეს X უდრის ზ ).

ყველა განაჩენი გამოიხატება წინადადებაში, მაგრამ ყველა წინადადება არ გამოხატავს განაჩენს.

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

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

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

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

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

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

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

II. რთული მსჯელობის სახეები და ლოგიკური ალბათობა

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

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

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

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

1. (ბუნდოვანი) კავშირებითი განსჯაწარმოიქმნება ორი განსჯისგან შეერთების საშუალებით, რომელიც აღინიშნება სიმბოლოთი & (წაიკითხეთ „და“) და ეწოდება ნიშანს (განუსაზღვრელი) კავშირები.შემაერთებელი ნიშნის განმარტება არის ცხრილი, რომელიც გვიჩვენებს კავშირებითი განსჯის ჭეშმარიტების დამოკიდებულებას მისი შემადგენელი განსჯის ჭეშმარიტებაზე.
2. თანმიმდევრულად შემაერთებელი განსჯა.ეს წინადადებები ამტკიცებს ორი ან მეტი სიტუაციის თანმიმდევრულ წარმოშობას ან არსებობას. ისინი წარმოიქმნება ორი ან მეტი წინადადებისგან კავშირების გამოყენებით, რომლებიც აღინიშნება სიმბოლოებით & ® 2, & ® 3 და ა.შ., რაც დამოკიდებულია წინადადებების რაოდენობაზე, საიდანაც ისინი იქმნება. ამ სიმბოლოებს უწოდებენ თანმიმდევრული შეერთების ნიშნებს და შესაბამისად იკითხება "..., და შემდეგ..", "..., შემდეგ... და შემდეგ..." და ა.შ. ინდექსები 2,3 და ა.შ. მიუთითეთ კავშირის ადგილმდებარეობა. განსჯის ფორმა ორადგილიანი თანმიმდევრული შეერთების ნიშნით: & ® 2 (A,B) ან (ა&® 2 IN). მაგალითიამ ფორმის გადაწყვეტილებები: ”მყიდველმა გადაიხადა საქონლის ღირებულება, შემდეგ კი გამყიდველმა გაათავისუფლა საქონელი”. გამოთქმის ნაცვლად "და შემდეგ", ყველაზე ხშირად გამოიყენება კავშირი "და": "მყიდველმა გადაიხადა საქონლის ღირებულება, ხოლო გამყიდველმა მიაწოდა საქონელი". განსჯის ფორმა სამადგილიანი შეერთებით. მაგალითი: „პეტროვმა ბინა იპოთეკით დადო, შემდეგ პირამიდაში შეიტანა ფული და შემდეგ გახდა ფიქსირებული საცხოვრებელი ადგილის გარეშე ადამიანი“.
3. პარალელურად, შეერთებითი განსჯა.ეს განსჯა წარმოიქმნება ორი განსჯისგან „და“ კავშირის საშუალებით, რომელსაც ნიშანი ეწოდება. ერთდროული შეერთება.აღნიშვნა - & = . ეს განაჩენები ამტკიცებს ორი სიტუაციის ერთდროულ არსებობას. მაგალითი: "წვიმს და მზე ანათებს".

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

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

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

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

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

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

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

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

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

Ისე, შეერთება(ა ბ ) მართალია, როდესაც ორივე მარტივი წინადადება ჭეშმარიტია. მკაცრი განცალკევება (ა ბ ) მართალია, როდესაც მხოლოდ ერთი მარტივი წინადადებაა ჭეშმარიტი. ფხვიერი დისუნქცია (ა ბ ) მართალია, როდესაც სულ მცირე ერთი მარტივი წინადადება მართალია. იმპლიკაცია ( a É b ) მართალია ყველა შემთხვევაში, გარდა ერთისა - როცა A -მართალია, ბ-ყალბი. ეკვივალენტობა ( a º b ) მართალია, როდესაც ორივე წინადადება მართალია ან ორივე მცდარია. უარყოფა (ù ა) ტყუილი იძლევა სიმართლეს და პირიქით.

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

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

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

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

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

III. განაჩენის უარყოფა

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

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

1) ზოგადი განსჯა იცვლება კონკრეტულზე და პირიქით;

2) დადებითი გადაწყვეტილება იცვლება უარყოფითად და პირიქით.

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

ù ა ექვივალენტი შესახებ ù შესახებ ექვივალენტი ა

ù ე ექვივალენტი მე ù მე ექვივალენტი ე

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

ù (ა& IN)ექვივალენტი ù ავù B; დე მორგანის კანონის მიხედვით

ù (აvB)ექვივალენტი ù ა& ù B;

ù (აÉ B)ექვივალენტი ა& ù B;

ù (აº B)ექვივალენტი (ù ა& IN)v(A& ù B);

ù (ავ IN)ექვივალენტი აº IN

IV. ურთიერთობა განაჩენებს შორის

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

ლოგიკური მოედანი

ურთიერთობები რთულ განსჯას შორის

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

ურთიერთობა

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

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

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

მოდალობის ძირითადი ტიპები:

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

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

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

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

მოდალური მარტივი წინადადებები

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

გვÉ რ);M (გვº რ).

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

VI. ლოგიკური კანონის კონცეფცია

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

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

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

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

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

§ ლოგიკური ტავტოლოგია- ეს არის „ყოველთვის ჭეშმარიტი გამოხატულება“, ანუ ის რჩება ჭეშმარიტი, მიუხედავად იმისა, თუ რომელ ობიექტზეა საუბარი. ლოგიკის ნებისმიერი კანონი ლოგიკური ტავტოლოგიაა.

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

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

аº а (პროპოზიციურ ლოგიკაში) და Аº А (კლასობრივ ლოგიკაში, რომელშიც კლასები იდენტიფიცირებულია ცნებების მოცულობებთან).

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

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

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

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

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

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

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

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

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

მარტივი წინადადებების შემდეგი ოთხი ტიპი არ შეიძლება იყოს ჭეშმარიტი ერთდროულად:

∧à. შეუსაბამობის კანონი შემდეგნაირად იკითხება: „ორი დაპირისპირებული წინადადება არ შეიძლება იყოს ჭეშმარიტი ერთსა და იმავე დროს და ერთსა და იმავე კუთხით“. საპირისპირო განსჯა მოიცავს: 1) საპირისპირო (საპირისპირო) განსჯას ადა ე, რომელიც ორივე შეიძლება იყოს ყალბი და, შესაბამისად, არ არის ერთმანეთის უარყოფა და არ შეიძლება იყოს მითითებული როგორც a და ā; 2) წინააღმდეგობრივი (საწინააღმდეგო) განსჯა ადა შესახებ, ედა მე, ასევე ცალმხრივი წინადადებები „ეს S არის P“ და „ეს S არ არის P“, რომლებიც უარყოფენ, რადგან თუ ერთი მათგანი მართალია, მაშინ მეორე აუცილებლად მცდარია, ამიტომ ისინი აღნიშნავენ a და ā-ით.

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

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

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

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

1) "ეს S არის P" და "ეს S არ არის P" (ერთჯერადი განსჯა).

2) "ყველა S არის P" და "ზოგიერთი S არ არის P" (განსჯები ადა შესახებ).

3) "არ არის S არის P" და "ზოგიერთი S არის P" (განსჯები ედა მე).

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

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

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

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

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

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

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

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. რა არის ატრიბუტული, ეგზისტენციალური და ფარდობითი განსჯა? მიეცით, დამოუკიდებლად შერჩევით, ხუთი მაგალითი ატრიბუტული, ეგზისტენციალური და ფარდობითი განსჯისთვის.

2.2. მარტივი განსჯა

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

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

ლიგატის ხარისხი ……………………………”არის” “არ არის”

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

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. რა მიმართებაში შეიძლება იყოს სუბიექტი და პრედიკატი მარტივი განსჯის თითოეულ ტიპში? იფიქრეთ იმაზე, თუ რატომ განაჩენებში, როგორიცაა ასუბიექტი და პრედიკატი ვერ იკვეთება ან შეუთავსებელია? ფორმის განსჯაში რატომ მესუბიექტი და პრედიკატი არ შეიძლება იყოს ეკვივალენტურობის ან შეუთავსებლობის ურთიერთობაში? ფორმის განსჯაში რატომ ესუბიექტი და პრედიკატი არ შეიძლება იყოს ეკვივალენტური, გადამკვეთი ან დაქვემდებარებული? ფორმის განსჯაში რატომ ოსუბიექტი და პრედიკატი არ შეიძლება იყოს ეკვივალენტურობის ან შეუთავსებლობის ურთიერთობაში? დახაზეთ ეილერის წრეები სუბიექტსა და პრედიკატს შორის შესაძლო ურთიერთობებზე ყველა სახის მარტივ წინადადებაში.

2.3. გამოყოფილი და გაუნაწილებელი ვადები

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

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

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

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

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

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

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

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

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

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

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

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

გამოცადე საკუთარი თავი:

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

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

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

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

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

3) ზოგიერთი სტუდენტი ვერ აღწევს.

4) ყველა ქალაქი დასახლებული პუნქტია.

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

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

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

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

2.4. მარტივი წინადადების ტრანსფორმაცია

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

გამოცადე საკუთარი თავი:

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

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

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

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

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

2.5. ლოგიკური კვადრატი

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

გამოცადე საკუთარი თავი:

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

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

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

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

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

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

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

2.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. გუშინ მან არა მხოლოდ მათემატიკაში, არამედ რუსულშიც მიიღო D.

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

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

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

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

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

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

2.7. ლოგიკური ფორმულები

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

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

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

მოდით დავაფიქსიროთ მსჯელობა: ” ის მე-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. როგორ შეიძლება განვსაზღვროთ კონკრეტული ფორმულის ტიპი, რომელიც გამოხატავს გარკვეული მსჯელობის ფორმალიზების შედეგს?

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

2.8. კითხვის სახეები და წესები

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

გამოცადე საკუთარი თავი:

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

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

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

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

1) როდის აღმოაჩინეს უნივერსალური მიზიდულობის კანონი?

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

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

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

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

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

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

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

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

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

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

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

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

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

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

განსჯა, როგორც ცნება

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

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

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

განსჯის ენობრივი ფორმა

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

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

განსჯის სტრუქტურა

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

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

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

  "ეს ცხოველები მტაცებლები არიან" მარტივი წინადადებაა.

  

  განაჩენის სახეები

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

  • ხარისხი;
  • რაოდენობა (საგნის მოცულობით);
  • პრედიკატის შინაარსი;
  • მოდალობები.

  ხარისხის განსჯა

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

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

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

  

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

  დადებითი განცხადებების სახეები

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

  • - დადებითი თვისება, როდესაც "S არის P": "ძაღლი შინაური ძაღლია".
  • - უარყოფითი ხასიათის, როდესაც "S არ არის-P": "წვნიანი შემორჩენილია."

  უარყოფითი განსჯის სახეები

  ანალოგიურად, უარყოფით განცხადებებს შორის არის:

  • - დადებითი პრედიკატით, ფორმულა "S არ არის P": "ოლიას ვაშლი არ შეჭამა";
  • - უარყოფითი პრედიკატით, ფორმულა "S არ არის არა P": "ოლია არ შეიძლება არ წავიდეს."

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

  

  განსჯა რაოდენობრივად

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

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

  

  ერთობლივი განაჩენები

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

  • - ზოგადი დადებითი: "ყველა S არის P."
  • - ზოგადი უარყოფითი: "არა S არის P".
  • - ნაწილობრივი დადებითი: "ზოგიერთი S არის P."
  • - ნაწილობრივი უარყოფითი: "ზოგიერთი S არ არის P."

  პრედიკატის შინაარსზე დაფუძნებული მსჯელობის მრავალფეროვნება

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

  • - თვისებები, ან ატრიბუტი;
  • - ურთიერთობები, ან ნათესავი;
  • - არსებობა, ანუ ეგზისტენციალური.

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

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

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

  

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

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

  არსებობს ამ ტიპის მოდალობა:

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

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

  

  რთული გამოთქმის სტრუქტურა

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

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

  რთული განსჯის მაგალითი: „დილაადრიან მამამ იყვირა, გამაღვიძა, ამიტომ საკმარისად არ მეძინა“.

  

  განაჩენი

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