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

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

Примери изјава: "Волга улива у Каспијском мору," "КАО Пушкин је написао песму "Тхе Бронзе Хорсеман", "Сибирски тигар је наведена у Црвеној књизи" итд

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

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

1. Наслов (година субјектум -. «Носећа») - да, како се наводи у пресуди, његов предмет ( «М»).
2. Предикат (латински праедицатум -. «Рекао је") - одраз објекта таг, оно што се каже на тему пресуде ( "П").
3. Бундле - однос између субјекта ( «С») и предиката ( "П"). Одређује присуство / одсуство предмета имовине изражене као предикат. Можда подразумева, а означен је као "цртицом" или речи "а" ( "није"), "има", "има", "материју", и други.
4. Куантифиер (квантификатор ворд) дефинише обим концепта, на који предмет пресуде. Он је стајао испред субјекта, али такође може да буде одсутна у пресуди. Означен речи као што су "Алл", "многи", "неки", "не", "не", и други.

Истините и лажне изјаве

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

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

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

Пресуде о врсти изјаве

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

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

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

kvalitet пресуда

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

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

куантитативе карактеризација

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

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

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

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

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

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

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

У пресудама у односу на специфичним односима између објеката. Они могу да имају просторно-временски контекст, каузални, итд На пример :. "Стари пријатељ бољи него два нова", "Хидроген упаљача угљен-диоксида за 22 пута."

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

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

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

Сложени пресуде и врсте логичких везника

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

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