Съдебни решения по логика.

click fraud protection

Решение

е форма на мислене, утвърди или отрече нищо за съществуването на обекти, връзките между тях и техните свойства, както и връзката между обекти.

Примери решение: "Волга се влива в Каспийско море", "А.Пушкин е написал поема "Бронзовата конник", "Сибирски тигър в Червената книга е вписана" и т.н.

структура съдби

решението включва следните елементи: предмет, предикат, и един куп quantifiers.

  1. обект (. Лат Subjektum - «основната») - това, както се посочва в решението на неговия предмет («S»).
  2. предикат (лат Praedicatum -. «Каза") - отражение характеристика на обекта, което е казано по този въпрос на съдебното решение ("P").
  3. Bundle - връзка между обекта («S») и предикат ("P").Той определя наличие / липса на предмет на имот, изразено от предикат.Може би това предполага и е обозначен с "тире" или думите "а" ("не е"), "има", "трябва", "същност" и др.
  4. квантор (квантор думи) определя обхвата на понятието, коетоТова е предмет на съдебното решение.Той стои в предната част на темата, но то също може да отсъства в съда.Представлявано от думи като "всички", "много", "някои", "не", "не" и др.

истина и лъжа преценки решение

е вярно в случая, когато има признаци, свойства иВръзки с одобрените елементи / отрече в съда, е вярно.Например: "Всички лястовици - птици", "9 за повече от 2" и така нататък D.

Ако декларацията се съдържа в решението, не съответства на реалността, ние се занимаваме с фалшив съдебно решение: "Слънцето се върти около Земята"."А килограм желязо тежък от един килограм вълна" и др. Правилните решенията са в основата на правилното мислене.

Въпреки това, с изключение на две-ценен логика, в които решението може да бъде или вярно или невярно, има и многоизмерен логика.Съгласно условията му, решението може все още е несигурно.Особено това се отнася до бъдещето на индивидуални решения, "Утре ще има / няма да се случи морска битка" (Аристотел, "По тълкуването").Ако приемем, че това е вярно твърдение, морска битка утре не може да се случи.Вследствие на това е необходимо за да се случи.Или обратното: претендира, че решението в настоящия момент е фалшива, ние по този начин се направи необходимото невъзможността за бъдещата морска битка.Решение

от вида на отчети

Както е известно, от типа на твърдения са три вида изречения: декларативно, въпросителни и двигателни.Например, изречението "Спомням си един прекрасен момент" се отнася до вида на разказ.Препоръчително е да се предположи, че такова решение би било разказ.Той съдържа определена информация, в съответствие с конкретно събитие.

От своя страна, въпросителна изречение съдържа един въпрос, за да получите отговор: "Какво е бъдещето за мен" В този случай, той не казва нищо и не отрече.Съответно, твърдението, че такова решение е неправилно въпрос.Въпросителни изречения по принцип, не съдържат никакви становища, защото въпросът не може да се диференцира въз основа на истината / фалш.

тип Стимулиращ на присъдата се формира в случаите, когато има някакъв стимул за действие, или да отхвърли искането: ". Стани, Пророка, и клип, и да присъстват на"Що се отнася до решения, които според някои изследователи, те не се съдържа в предложенията от този тип.Други смятат, че това е най-различни модални решения.

решения качествени

по отношение на качеството, решението може да бъде както утвърждаваща (S разполага с P) и отрицателен (S не е P).В случай на положително решение, с предикат на субект се дава определен имот (-wa).Например: ". Леонардо да Винчи - италиански художник, архитект, скулптор, учен, естествоизпитател и изобретател и писател, най-големият представител на изкуството на Ренесанса"

В отрицателно решение, от друга страна, имотът се отнема предмет: "Теорията на 25-ия кадър James Vicary не разполага с експериментални потвърждение."

количествена характеристика

предложение в логиката може да бъде от общ характер (свързани с всички субекти в този клас), частен (някои от тях) и индивидуално (когато говорим за този въпрос, има само един).Например, може да се твърди, че такова твърдение като "През нощта всички котки са сиви" ще се отнася до общо виждане, тъй като тя засяга всички членове на котката (предмет на съдебно решение).Изявлението "Някои змии не са отровни" - пример за лично решение.На свой ред, предложение "Wonderful Днепър до спокойно време," изолиран, тъй като ние говорим за един конкретен река, съществуващи в една форма.

Прости и сложни решения

В зависимост от структурата, решението може да бъде на прости или сложни.Структурата на една проста предложение включва две свързаните с него понятия (СП):. «Книгата - източник на знание"Има и съдебни решения с една концепция - когато вторият само означаваше: "Вече се стъмваше» (P).

усложнена форма се формира чрез комбиниране на няколко прости предложения.

Класификация на прости решения

просто предложение в логиката може да е от следните видове: атрибутивни, съдебно решение, с връзки, екзистенциални, прехвърляне.

Умение (съдийския свойства), изпратени за одобрение / отказ от съществуването на определени свойства от обект (атрибути) дейности.Тези решения са категорични, форма и не поставя под въпрос "нервната система на бозайниците се състои от мозъка, гръбначния мозък и изходящи нервните пътища."

Решенията по отношение на определени отношения между обекти.Те могат да имат един контекст пространство-времето, причинно-следствената и други, например:. "Един стар приятел е по-добре от две нови такива", "Водородът е по-лек въглероден диоксид с 22 пъти."

екзистенциална предложение - декларация на съществуването / несъществуването на обекта (както материални, така и идеален), "никой пророк в собствената си страна", "Луната е спътник на Земята."

модална предложение - форма на одобрение, от които се състои от определен оператор модални (необходими, добро / лошо, се оказа известна / неизвестни, е забранено, аз вярвам, и др.).Например:

  • «Русия се нуждае за провеждане на реформата в образованието" (alethic модалност - възможността, нуждата от нещо).
  • «Всеки човек има право на осигуряване на лице" (deontic модалност - моралните норми на социално поведение).
  • «Небрежен отношение към публичната собственост води до загубата му" (аксиологичен модалност - свързан с материалните и духовните ценности).
  • «Ние вярваме в невинността си" (епистемична модалност - надеждността на знания).

комплексни преценки и видовете логически connectives

Както вече бе отбелязано, комплексни преценки се състоят от няколко прости.Както логическите връзки между тях са такива техники като:

  • Конюнкция (и ʌ б - свързване на решение).Решения-conjuncts имат един куп "и", "Прилагане на правата и свободите на човека и гражданина, не се нарушават правата и свободите на другите."
  • дизюнкция (AVB - разделяне решение).Както съставните елементи на съдийския клаузи са използвани като свързващо вещество - съюзът "или".Например: "Ищецът има право да увеличите или намалите размера на вземането."
  • отражение (а → б - съдийския ефект).Ако конструкцията на сложни щандове мнение и изпращане резултат на това може да се твърди, че това решение се отнася до implicative.Като връзки на формата, използван от такива съюзи като "ако ... тогава".Например: "Ако през проводник да пропусне електрическия ток, тел загрява", "Искаш ли да бъдеш щастлив - бъди щастлив".
  • Равностойността (а ≡ б - идентични съдебни решения).Това се случва, когато стойността на А и В са еднакви (или както е вярно или невярно и двете): "Човекът е създаден за щастие, като птица да лети."
  • Denial (¬a, а - съдийския инверсия).Всеки източник е свързан с отчета за твърдението съединение отричане на оригинала.Чрез използването на ставните връзки "не".Съответно, ако оригиналното твърдение е, както следва: "Бикът реагира на червена светлина", (а) - отричането ще звучи като: "бика реагира на червена светлина» (¬a).