Пресуде у логици. Шта је пресуда, врсте пресуда

Пресуда је облик размишљања који афирмише или негира нешто о постојању предмета, везама између њих и њиховим својствима, као ио односима између објеката.

Примери пресуда: "Волга тече у Каспијско море", "А. Пушкин је написао песму "Бронзани коњаник", "Уссури тигар је наведен у Црвеној књизи" итд.

Структура пресуда

Пресуда садржи следеће елементе: предмет, предикат, сноп и квантификатор.

Субјекат (латински субјект - "основни") је оно што се каже у овој пресуди, његовој теми ("С").
Предикат (латински праедицатум - "говорен") је одраз карактеристике субјекта, што се говори о субјекту пресуде ("Р").
Сноп је однос између субјекта ("С") ипредикат ("П"). Одређује присуство / одсуство субјекта неког својства израженог у предикату. Може ли се обоје имплицитно означити знаком "цртица" или речи "је" ("није"), "постоји", "је", "суштина" итд.
Квантификатор (квантификациона реч) одређује запреминуконцепт на који се предмет пресуде односи. Испред субјекта је, али може бити и одсутан у пресуди. Означени таквим речима као "сви", "многи", "неки", "ниједан", "нико" итд.

Истините и лажне пресуде

Пресуда је тачна у случају кадатачно је присуство атрибута, својстава и односа објеката који су увјерени / одбијени у пресуди. На пример: "Све гутање - птице", "9 више од 2" итд.

Ако изјава садржана у пресуди нијеИстина, стварност се бави лажним предлозима: "Сунце се врти око Земље", "Килограм гвожђа је тежи од килограма памука", итд. Тачне пресуде чине основу исправног образложења.

Међутим, поред двоцифрене логике у којојпресуда може бити истинита или лажна, постоји и вишедимензионална логика. Према његовим условима, пресуда може бити и неизвесна. Ово се нарочито односи на будуће појединачне пресуде: "Сутра ће се догодити / неће доћи" (Аристотел, "О тумачењу"). Ако претпоставимо да је ово истина, онда се морална битка сутра више неће догодити. Због тога је неопходно да се то деси. Или обрнуто: тврдећи да је та пресуда у овом тренутку неистинита, због чега нам је неопходна немогућност сутрашње морске битке.

Изјаве о мишљењу

Као што знате, тип изјава разликује триврста реченица: наративни, мотивацијски и упитни. На пример, реченица "Сећам се дивног тренутка" односи се на наративни тип. Препоручљиво је сугерирати да ће таква пресуда бити наративна. Садржи одређене информације, извештава о одређеном догађају.

Заузврат, упитна реченицаСадржи питање које имплицира одговор: "Шта ми будућност има за мене?" Истовремено, то не наводи или негира. Сходно томе, изјава да је таква пресуда упитна је погрешна. Записна реченица у начелу не садржи пресуду, јер се питање не може разликовати у складу са принципом истине / неисправности.

Формирана је врста подстицајне казнекада постоји одређена мотивација за акцију, молимо или забраните: "Устани, пророк, и видиш и чујеш." Што се тиче пресуда, према неким истраживачима, они нису садржани у реченицама ове врсте. Други вјерују да говоримо о разним модалним пресудама.

Квалитет пресуде

У погледу квалитета, пресуде могу бити иафирмативан (С је П), а негативан (С није П). У случају афирмативне пресуде, одређена својства се додељују субјекту уз помоћ предиката. На пример: "Леонардо да Винци - италијански сликар, архитекта, вајар, научник, природњак, као и проналазач и писац, највећи представник ренесансне уметности".

У негативној пресуди, напротив, имовина се одузима од предмета: "Теорија 25. оквира Џејмса Ваикера нема експерименталну потврду".

Квантитативна карактеристика

Пресуде у логици могу бити опште природе.(који се односе на све предмете дате класе), приватне (за неке од њих) и појединачне (када је реч о субјекту који постоји у једној копији). На пример, може се тврдити да пресуда као што је "Ноћу, све мачке су сумпор" односи се на општу форму, јер она утиче на све представнике мачке (предмет пресуде). Изјава "Неке змије нису отровне" је пример приватне пресуде. Заузврат, пресуда "Вондерфул Дњепер у мирном времену" је јединствена, јер говоримо о једној реци која постоји у једном облику.

Једноставне и комплексне пресуде

У зависности од структуре, суд можеодносе се на врсту једноставног или сложеног. Структура једноставне процене укључује два међусобно повезана концепта (СП): "Књига је извор знања". Постоје и пресуде са једним концептом - када је други само имплицитан: "Постао је мрак" (П).

Сложен поглед се формира комбиновањем неколико једноставних пресуда.

Класификација једноставних пресуда

Једноставне процене у логици могу бити од следећих типова: атрибут, пресуде са везама, егзистенцијални, модални.

Аритурантни (пресуде-својства) имају за циљодобрење / одбијање присуства одређених особина (атрибута) субјекта активности. Ове пресуде имају категоричну форму и нису доведене у питање: "Нервни систем сисара састоји се од мозга, кичмене мождине и излазних нервних путева".

Размишљамо о пресудамаодређене везе између субјеката. Они могу имати просторно-временски контекст, узрок-ефекат итд. На пример: "Стари пријатељ је бољи од нових два", "Водоник је 22 пута лакши од угљен-диоксида".

Постојећа пресуда је изјава о постојању / непостојању неког објекта (материјалног и идеалног): "У својој земљи нема пророка", "Месец је сателит Земље."

Модална пресуда је облик афирмације која укључује одређени модални оператер (неопходан, добар / лош, доказан, познат / непознат, забрањен, верује, итд.). На пример:

"У Русији је реформа образовања неопходна" (алетски модалитет је прилика, потреба за нечим).
"Свако има право на лични интегритет" (деонтични модалитет - моралне норме социјалног понашања).
"Негативан однос према државној својини води његовом губитку" (аксиолошки модалитет је однос према материјалним и духовним вриједностима).
"Верујемо у вашу невиност" (епистемички модалитет - степен поузданости знања).

Тешке пресуде и врсте логичких веза

Као што смо већ приметили, сложене пресуде се састоје од неколико једноставних. Како су логични споји између њих такве технике као што су:

Коњункција (а ʌ б - повезивање пропозиција). Пресуде-коњунктуре имају гомилу "и": "Вршење права и слобода особе и грађанина не смије кршити права и слободе других".
Дисјункција (а в б - раздвајање пресуда). Пресуде-клаузуле се користе као саставни елементи, а коњункција "или" се користи као скуп. На примјер: "Тужилац има право повећати или смањити величину потраживања."
Импликација (а → б је резултат пресуде). Ако у структури комплексне пресуде постоји премиса и последица, онда се може тврдити да је таква пресуда имплицативна. Као скуп у овом облику користе се такви синдикати као "ако ... онда". На пример: "Ако се електрични струј пролази кроз проводник, проводник ће се загрејати", "Ако желите бити сретни, нека буде."
Еквиваленција (а ≡ б - идентичне пресуде). Ово је случај када се вриједности а и б подударају (обоје су истините или обоје су лажне): "Човјек је створен за срећу, као птица за лет".
Негација (¬а, а - процена-инверзија). Свака првобитна изјава се слаже са сложеном изјавом која негира првобитну. Изводи се уз помоћ пакета "не". Сходно томе, ако почетна изјава изгледа овако: "Бик реагује на црвено светло" (а) - тада ће негација звучати као: "Бик НЕ одговара на црвено светло" (¬а).