Դատաստանը մտածողության ձեւերից մեկն է, առանց որի ճանաչումը չի կարող առաջանալ: Դատավորները արտահայտում են օբյեկտի եւ բնորոշ փոխհարաբերությունները, հաստատում կամ մերժում են տվյալ հատկության առկայությունը տվյալ բանում: Իրականում սա այն միտքն է, որի ձեւը, որը մեզ ասում է օբյեկտների կապակցման մասին, եւ այդ պատճառով դատարանը տրամաբանության մեջ հատուկ տեղ է զբաղեցնում եւ վերլուծական շղթաների կառուցումը:
Դատաստանի բնութագրերը
Մինչ տրամաբանության մեջ դատողությունները դասակարգելու համար հարկավոր է գտնել հստակ տարբերություն դատողության եւ հայեցակարգի միջեւ:
Հայեցակարգը խոսում է օբյեկտի առկայության մասին: Հայեցակարգը «օր», «գիշեր», «առավոտ» եւ այլն: Եվ դատողությունը միշտ բնութագրվում է բնութագրերի առկայությունը կամ բացակայությունը. «Վաղ առավոտյան», «ցուրտ օր», «հանգիստ գիշեր»:
Դատավորումները միշտ արտահայտվում են պատմողական նախադասությունների տեսքով, ընդ որում, ավելի վաղ, քերականության մեջ նախադասությունների էությունը դատված էր: Դատավճիռը, որը արտահայտում է մի նշան, նշան է, եւ նախադասության իմաստը սուտ է կամ ճշմարտություն: Այսինքն `պարզ եւ բարդ դատողություններում հստակ տրամաբանությունը դիտվում է. Առաջարկը ժխտում կամ հաստատում է օբյեկտի բնորոշումը:
Օրինակ, կարելի է ասել, որ «արեգակնային համակարգի բոլոր մոլորակները վերածվում են իրենց առանցքի շուրջ», եւ կարելի է ասել, որ «արեգակնային համակարգի մի մոլորակ անկայուն է»:
Դատաստանի տեսակները
Լոգիկայում կան երկու տեսակ դատողություններ, պարզ եւ բարդ:
Պարզ դատողությունները, որոնք բաժանված են մասերի, չեն կարող տրամաբանական իմաստ լինել, դրանք դատաստան են պարունակում միայն անբաժանելի ընդհանրության մեջ: Օրինակ `« Մաթեմատիկա է գիտության թագուհի »: Այս պարզ նախադասությունը արտահայտում է մեկ առաջարկություն: Դատաստանի համալիր տեսակները
Օրինակ, եթե վաղը անձրեւ է գալիս, մենք դուրս չենք գալիս քաղաքից:
Բարդ գնահատման հիմնական առանձնահատկությունն այն է, որ նրա մասերից մեկը տարբեր նշանակություն ունի եւ առանձին է նախադասության երկրորդ մասից:
Կատարյալ դատողություններ եւ դրանց տեսակները
Տրամաբանության մեջ բարդ դատողությունները կատարվում են պարզ դատողությունների համակցությամբ: Դրանք կապված են տրամաբանական շղթաներով `կոնյունկոմներ, ենթադրություն եւ համարժեքություն: Պարզ ասած, դրանք սովետներ են »եւ«, »կամ«, «բայց», «եթե ...»: