Wyroki w logice. Co to jest wyrok, rodzaje orzeczeń

Wyrok jest formą myślenia, potwierdzić lub zaprzeczyć nic o istnieniu przedmiotów, powiązania między nimi i ich właściwości, jak również relacje między obiektami.

Przykłady stwierdzeń: „Wołga wpada do Morza Kaspijskiego”, „AS Puszkin napisał wiersz „Jeździec miedziany”, „Tygrys syberyjski jest wymieniony w Czerwonej Księdze”, etc.

Struktura wyroku

Wyrok zawiera następujące elementy: przedmiot, predykat i wiązadeł kwantyfikator.

1. Temat (łac subjektum -. «Bazowy») – który, jak stwierdzono w wyroku, jej przedmiot ( «S»).
2. Predykat (łac praedicatum -. «Said") – odbicie znacznika object, co zostało powiedziane na temat wyroku ( «P»).
3. Wiązka – stosunek między obiektem ( «S») i orzecznik ( „P”). Określa obecność / brak przedmiotu właściwość wyrażona jako predykatu. Może to oznacza, i jest wskazany przez „kreską” lub słowami „a” ( „nie”), „ma”, „mieć”, „substancja” i inni.
4. Kwantyfikator (kwantyfikator słowo) określa zakres tego pojęcia, do którego przedmiotem wyroku. Stoi przed tematu, ale może również być nieobecny w sądzie. Oznaczone przez słowa takie jak „All”, „wiele”, „niektóre”, „nie”, „nie”, i inne.

Prawdziwe i fałszywe oświadczenia

Wyrok jest prawdziwe w przypadku, gdy istnieją przesłanki wskazujące, właściwości i relacje z elementów zatwierdzonych / odrzuconych w wyroku, to prawda. Na przykład: „Wszystkie jaskółki – Ptaki”, „9 więcej niż 2” i tak dalej ..

Jeśli instrukcja jest zawarta w wyroku nie jest prawdą, mamy do czynienia z fałszywym „Słońce obraca się wokół Ziemi«»kilo żelaza cięższy od kilograma bawełny„i inne prawej wyroku są podstawą prawidłowego rozumowania ..

Jednak oprócz logiki dwuwartościowej, w których orzeczenie może być albo prawdziwe, albo fałszywe, nie jest też logika wielowymiarowe. Zgodnie z jej warunkami, że orzeczenie może być niepewna. Szczególnie dotyczy to przyszłość poszczególnych orzeczeń, „Jutro dzieje / nie zdarza się bitwy morskiej” (Arystoteles, „O interpretacji”). Jeśli założymy, że jest to prawdziwe twierdzenie, jutro bitwa morska nie może się zdarzyć. Dlatego konieczne jest, aby tak się stało. Albo odwrotnie: twierdząc, że wyrok w chwili obecnej jest fałszywa, możemy zatem zrobić niezbędne niemożliwość jutrzejszej bitwy morskiej.

Orzeczenia dotyczące rodzaju rachunku

Jak wiadomo, typu stwierdzenia są trzy rodzaje kar: deklaratywny, pobudzenie i pytający. Na przykład zdanie „Pamiętam wspaniały moment” odnosi się do typu narracji. Wskazane jest, aby zasugerować, że taki wyrok byłby również narracji. Zawiera on konkretne informacje, w zależności od konkretnego przypadku.

Z kolei zdanie pytające zawiera pytanie, otrzymasz odpowiedź: „Co przyniesie przyszłość dla mnie” Jednocześnie to nic nie mówi i nie zaprzecza. W związku z tym twierdzenie, że taki wyrok jest pytanie nieprawidłowo. zdanie pytające w zasadzie nie zawiera żadnego wyroku, ponieważ kwestia ta nie może być zróżnicowane na podstawie prawda / fałsz.

rodzaj zachęty zdaniu powstaje w przypadku, gdy istnieje jakiś bodziec do działania, zażądać zakazu: „Powstań, O Proroku i vid, i zająć się” W odniesieniu do wyroku, zdaniem niektórych badaczy, nie są one zawarte w propozycji tego typu. Inni uważają, że jest to odmiana modalnych sądów.

wyrok jakość

W odniesieniu do jakości, ocena może być albo pozytywna (S P) i ujemny (S nie jest P). W przypadku twierdzącą wyroku poprzez predykatu zastrzeżeniem dołączone do danej właściwości (-wa). Na przykład: „Leonardo da Vinci – włoski malarz, rzeźbiarz, architekt, naukowiec, wynalazca i przyrodnika i pisarza, największego przedstawiciela sztuki renesansu”

W negatywnym wyroku, z drugiej strony, obiekt jest zabrane od tematu: „Teoria 25. ramie James Vicary nie ma potwierdzenia doświadczalnego”

Charakterystyka ilościowa

Wyroki w logice mogą być wspólne (odnoszące się do wszystkich obiektów tej klasy), prywatne (niektóre z nich), a urządzenie (podczas rozmowy na ten temat, jest tylko jeden). Na przykład, można stwierdzić, że taka propozycja jak „W nocy wszystkie koty są szare” będzie odnosić się do ogólnego wyglądu, ponieważ wpływa na wszystkich członków kota (przedmiot wyroku). Zatwierdzenie „Niektóre węże nie są trujące” – przykład prywatnej wyroku. Z kolei wyrok „Wonderful Dniepr w bezwietrznej pogodzie” jest jednostką, ponieważ mówimy o jednej konkretnej rzekę, istniejące w jednym formularzu.

Proste i złożone sądy

W zależności od struktury, wyrok może być typu proste lub złożone. Struktura prosty osąd obejmuje dwa powiązane ze sobą pojęć (SP): «Book – źródłem wiedzy”. Istnieją również wyroki z jednej koncepcji – kiedy drugi tylko oznaczało: „Robiło się ciemno» (P).

Forma skomplikowane jest utworzony przez połączenie kilku prostą ocenę.

Klasyfikacja prostych wyroków

Proste wyroki w logice mogą być następujących formach: atrybutywnych, wyroku z relacji, egzystencjalnej, modalnej.

Atrybut (własność-wyrok) wysłany do zatwierdzenia / zaprzeczenie przedmiotu na pewne właściwości (atrybutów) działań. Oceny te mają postać kategoryczne i nie jest kwestionowana „ssaczy układ nerwowy składa się z mózgu, mózgu, rdzenia kręgowego i nerwów ścieżek wychodzących”.

W wyrokach z tytułu szczególnych relacji między obiektami. Mogą mieć kontekst czasoprzestrzenny, przyczynowego itd Na przykład :. „stary przyjaciel lepszy niż dwóch nowych”, „Hydrogen lżejszego dwutlenku węgla o 22 razy.”

Sąd egzystencjalny – to stwierdzenie istnienia / nieistnienia przedmiotu (zarówno materialnego i idealnej): „Nie ma proroka we własnym kraju”, „Księżyc jest satelitą Ziemi.”

Modal propozycja – forma zatwierdzenia, które obejmowały obecność pewnego operatora modalnego (potrzeba dobry / zły okazał znane / nieznane, zabronione jest, jak sądzę, i inni.). Na przykład:

• „Rosja musi przeprowadzić reformę szkolnictwa” (alethic modalność – możliwość, konieczność czegoś).
• „Każdy ma prawo do bezpieczeństwa osobistego” (deontycznej modalności – Normy moralne współżycia społecznego).
• „Lekceważenie własności państwowej prowadzi do jej utraty” (axiologic modalności – odnoszące się do materiałów i wartości moralnych).
• „Wierzymy w swojej niewinności” (epistemiczna modalności – rzetelność wiedzy).

Złożone wyroki i rodzaje spójników logicznych

Jak już wspomniano, złożonych ocen składać się z kilku prostych. Jak połączeń logicznych między nimi są takie metody jak:

• Koniunkcji (a ʌ b – połączenie orzeczeń). Wyroki-conjuncts mieć kilka „a”, „Realizacja praw i wolności człowieka i obywatela nie mogą naruszać praw i wolności innych osób.”
• Alternatywa (AVB – podzielenie osądów). Jako elementy składowe do osądu-klauzul służą jako spoiwo – połączeniu „lub”. Na przykład: „Powód ma prawo, aby zwiększyć lub zmniejszyć rozmiar roszczenia.”
• Konsekwencją (a → B – osąd nieskutecznej). Jeśli wpis jest alokowana w wyroku struktury skomplikowane i co za tym idzie, można argumentować, że taki wyrok dotyczy implicative. Jako spoiwo używane w postaci związków takich jak „if … to”. Na przykład: „Jeśli przez przewód przegapić prąd elektryczny, drut nagrzewa się”, „Chcesz być szczęśliwy – bądź szczęśliwy”.
• Równoważność (a ≡ B – identyczne wyroku). Ma to miejsce w przypadku, gdy wartości A i B są takie same (albo oba prawdziwe lub oba fałszywe): „Człowiek jest stworzony do szczęścia, jak ptak do latania.”
• Negacja (¬a, a – orzeczenie, inwersja). Każde źródło jest związany z instrukcji złożonej oświadczenie, że zaprzecza oryginału. Za pomocą „nie” kilka. W związku z powyższym, jeśli oryginalna wypowiedź następująco: „Byk reaguje na czerwonym świetle” (a) – zaprzeczenie brzmiałoby tak: „Byk nie reaguje na czerwonym świetle” (¬A).