Меркаваньні ў логіцы. Што такое меркаваньне, віды меркаванняў

Меркаванне з'яўляецца формай мыслення, якая сцвярджае або якая адмаўляе што-небудзь пра існаванне прадметаў, пра сувязі паміж імі і іх ўласцівасцямі, а таксама аб адносінах паміж прадметамі.

Прыклады меркаванняў: «Волга ўпадае ў Каспійскае мора», «А.С. Пушкін напісаў паэму «Медны коннік», «Усурыйскі тыгр занесены ў Чырвоную кнігу», і г.д.

структура меркаванні

Меркаваньне ўключае ў сябе наступныя элементы: суб'ект, прэдыкатаў, звязак і аператара.

1. Суб'ект (лац. Subjektum - «які ляжыць у аснове») - тое, пра што гаворыцца ў дадзеным меркаваньні, яго прадмет ( «S»).
2. Прэдыкатаў (лац. Praedicatum - «сказаў») - адлюстраванне прыкметы прадмета, тое, што гаворыцца пра суб'екта меркаванні ( «Р»).
3. Звязак - стаўленне, паміж суб'ектам ( «S») і прэдыкатаў ( «Р»). Вызначае наяўнасць / адсутнасць у суб'екта якога-небудзь ўласцівасці, выяўленага ў прэдыкаты. Можа як разумецца, так і пазначаецца знакам «працяжнік» альбо словамі «з'яўляецца» ( «не з'яўляецца»), «маецца», «ёсць», «сутнасць» і інш.
4. Аператара (кванторное слова) вызначае аб'ём паняцця, да якога належыць суб'ект меркаванні. Стаіць перад суб'ектам, але можа таксама і адсутнічаць ў меркаваньні. Пазначаецца такімі словамі, як «усё», «многія», «некаторыя», «ні адзін», «ніхто» і інш.

Сапраўдныя і несапраўдныя меркаванні

Меркаванне з'яўляецца сапраўдным ў тым выпадку, калі наяўнасць прыкмет, уласцівасцяў і адносін прадметаў, якiя зацвярджаюцца / адмаўляў у меркаваньні, адпавядае рэчаіснасці. Напрыклад: «Усе ластаўкі - птушкі», «9 больш 2-х» і т. Д.

Калі зацвярджэнне, якое змяшчаецца ў меркаваньні, не адпавядае рэчаіснасці, мы маем справу з ілжывым меркаваннем: «Сонца круціцца вакол Зямлі», «Кілаграм жалеза цяжэй, чым кілаграм ваты» і інш. Правільныя меркаванні складаюць аснову правільных высноў.

Аднак акрамя двухзначнай логікі, у якой меркаваньне можа быць альбо сапраўдным, альбо памылковае, існуе таксама шматмерных логіка. Паводле яе ўмоў, меркаваньне можа быць яшчэ і нявызначаным. Асабліва гэта тычыцца будучых адзінкавых меркаванняў: «Заўтра адбудзецца / не адбудзецца марскую бітву» (Арыстоцель, «Аб тлумачэнні»). Калі выказаць здагадку, што гэта сапраўднае меркаваньне, то марскую бітву заўтра ўжо не можа не адбыцца. Такім чынам, неабходна, каб яно адбылося. Альбо наадварот: сцвярджаючы, што дадзенае меркаваньне ў сапраўдны момант з'яўляецца ілжывым, мы тым самым робім неабходнай немагчымасць заўтрашняга марскога бітвы.

Меркаванні па тыпу выказванні

Як вядома, па тыпу выказванні вылучаюць тры тыпу прапаноў: апавядальнае, пабуджальныя і пытальнае. Напрыклад, прапанова «Я памятаю цудоўнае імгненне» ставіцца да апавядальнага тыпу. Мэтазгодна прапанаваць, што такое меркаванне таксама будзе апавядальны. Ён ўтрымлівае пэўную інфармацыю, паведамляе пра пэўны падзеі.

У сваю чаргу, пытальнае прапанова утрымлівае ў сабе пытанне, які прадугледжвае адказ: «Што дзень будучы мне рыхтуе?» Пры гэтым яно нічога не канстатуе і не адмаўляе. Адпаведна, зацвярджэнне, што такое меркаванне з'яўляецца пытальным, памылкова. Пытальнае прапанову ў прынцыпе не ўтрымлівае ў сабе меркаванні, бо пытаньне не можа дыферэнцавацца па прынцыпе праўдзівасці / памылковасьці.

Пабуджальны тып прапаноў утвараецца ў тым выпадку, калі мае месца пэўнае пабуджэнне да дзеяння, просьба альбо забарона: "Паўстань, прарок, і видь, і прыслухайся». Што тычыцца меркаванняў, то на думку адных даследчыкаў, яны не ўтрымліваюцца ў прапановах падобнага тыпу. Іншыя ж лічаць, што гаворка ідзе пра разнавіднасці мадальных меркаванняў.

якасць меркаванні

З пункту гледжання якасці, меркаваньні могуць быць як сцвярджальны (S ёсць P), так і адмоўнымі (S ня ёсьць P). У выпадку з сцвярджальным меркаваннем, з дапамогай прэдыкаты суб'екту надаецца пэўны ўласцівасць (-У). Напрыклад: «Леанарда да Вінчы - італьянскі жывапісец, архітэктар, скульптар, навуковец, прыродазнавец, а таксама вынаходнік і пісьменнік, найбуйнейшы прадстаўнік мастацтва Адраджэння».

У адмоўным меркаваньні, насупраць, ўласцівасць ад суб'екта адымаецца: "Тэорыя 25-га кадра Джэймса Вайкері не мае эксперыментальнага пацверджання».

колькасная характарыстыка

Меркаваньні ў логіцы могуць мець агульны характар (якія адносяцца да ўсіх прадметах дадзенага класа), прыватныя (да некаторых з іх) і адзінкавыя (калі гаворка ідзе пра прадмет, які існуе ў адзіным экзэмпляры). Напрыклад, можна сцвярджаць, што такое меркаванне, як «Уначы ўсе коткі серы» будзе ставіцца да агульнага ўвазе, паколькі яно закранае ўсіх прадстаўнікоў каціных (суб'ект меркаванні). Зацвярджэнне жа «Некаторыя змеі не з'яўляюцца атрутнымі» - прыклад прыватнага меркаванні. У сваю чаргу, меркаваньне «цудоўны Днепр пры ціхім надвор'і» з'яўляецца адзінкавым, бо гаворка ідзе пра адну канкрэтнай рацэ, якая існуе ў адзіным выглядзе.

Простыя і складаныя меркаванні

У залежнасці ад структуры, меркаваньне можа ставіцца да тыпу простых або складаных. Структура простага меркаванні ўключае ў сябе два звязаных паміж сабой паняцці (SP): "Кніга - крыніца ведаў». Таксама існуюць меркаваньні з адным паняццем - калі другое толькі маецца на ўвазе: «Змяркалася» (P).

Складаны выгляд утвараецца з дапамогай злучэння некалькіх простых меркаванняў.

Класіфікацыя простых меркаванняў

Простыя меркаванні ў логіцы могуць быць наступных відаў: атрыбутыўна, меркаванні з адносінамі, экзістэнцыяльныя, мадальныя.

Атрыбутыўна (меркаваньні-ўласцівасці) накіраваны на зацвярджэнне / адмаўленне наяўнасці ў прадмета пэўных уласцівасцяў (атрыбутаў), відаў дзейнасці. Дадзеныя меркаванні маюць катэгарычную форму і не падвяргаюцца сумневу: «Нервовая сістэма млекакормячых складаецца з галаўнога мозгу, спіннога мозгу і адыходзіла нервовых шляхоў».

У меркаваннях з адносінамі разглядаюцца пэўныя адносіны паміж прадметамі. Яны могуць мець прасторава-часовай кантэкст, прычынна-следчы і інш. Напрыклад: «Стары сябар лепш новых двух», «Вадарод лягчэй вуглякіслага газу ў 22 разы».

Экзыстэнцыяльную меркаваньне - гэта зацвярджэнне існавання / неіснаваньня прадмета (як матэрыяльнага, так і ідэальнага): "Няма прарока ў сваёй айчыне», «Месяц з'яўляецца спадарожнікам Зямлі».

Мадальнай меркаваньне - гэта форма сцвярджэнні, у складзе якога прысутнічае пэўны мадальны аператар (неабходна, добра / дрэнна; даказана, вядома / невядома, забаронена, веру, і інш.). напрыклад:

• «У Расеі неабходна правядзенне адукацыйнай рэформы» (алетическая мадальнасць - магчымасць, неабходнасць чаго-небудзь).
• «Кожны мае права на асабістую недатыкальнасць» (деонтическая мадальнасць - маральныя нормы грамадскіх паводзінаў).
• «Нядбайнае стаўленне да дзяржаўнай маёмасці прыводзіць да яго страце» (аксіялагічных мадальнасць - стаўленне да матэрыяльных i духоўных каштоўнасцей).
• «Мы верым у вашу невінаватасць» (эпистемическая мадальнасць - ступень пэўнасці ведаў).

Складаныя меркаванні і віды лагічных звязак

Як ужо адзначалася, складаныя меркаванні складаюцца з некалькіх простых. У якасці лагічных звязак паміж імі выступаюць такія прыёмы, як:

• Конъюнкция (а ʌ b - злучальныя меркаванні). Меркаваньні-конъюнкты маюць нізку «і»: «Ажыццяўленне правоў і свабод чалавека і грамадзяніна не павінна парушаць правы і свабоды іншых асоб».
• Дизъюнкция (avb - раздзяляльныя меркаванні). У якасці складовых элементаў выкарыстоўваюцца меркаванні-дизъюнкты, у якасці звязка - саюз «або». Напрыклад: «Пазоўнік мае права павялічыць або паменшыць памер іскавых патрабаванняў».
• Імплікацыі (a → b - меркаваньне-следства). Калі ў структуры складанага меркаванні вылучаецца посылка і следства, то можна сцвярджаць, што такое меркаванне ставіцца да импликативным. У якасці звязка ў дадзеным выглядзе выкарыстоўваюцца такія саюзы, як «калі ... то». Напрыклад: «Калі праз праваднік прапусціць электрычны ток, то правадыр нагрэецца», «Хочаш быць шчаслівым - будзь ім».
• Эквиваленция (a ≡ b - тоесныя меркаванні). Мае месца ў тым выпадку, калі значэнні a і b супадаюць (альбо абодва праўдзівыя, альбо абодва ілжывыя): «Чалавек створаны для шчасця, як птушка для палёту».
• Адмаўленне (¬a, ā - меркаваньне-інверсія). Кожнаму зыходнаму сцвярджэнні ставіцца ў адпаведнасць складовае зацвярджэнне, адмаўляюць зыходнае. Ажыццяўляецца з дапамогай звязкі "не". Адпаведна, калі зыходнае зацвярджэнне выглядае так: «Бык рэагуе на чырвонае святло» (а) - то адмаўленне будзе гучаць як: «Бык НЕ рэагуе на чырвонае святло» (¬a).