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ż związku pomiędzy obiektami.
Przykłady wyrok: "Wołga wpada do Morza Kaspijskiego", "A.Puszkin napisał wiersz "Jeździec miedziany", "Tygrys syberyjski jest wymieniony w Czerwonej Księdze", etc.
wyroki struktura wyrok
obejmuje następujące elementy: podmiot, orzeczenie i kilka kwantyfikatorów.
- przedmiotem (. Łac Subjektum - «podstawowym») -, że jak stwierdzono w wyroku jego temat ("S").
- orzecznik (łac Praedicatum -. «Powiedział") - charakterystyczny odbicie przedmiotu, co zostało powiedziane na temat wyroku ("P").
- Bundle - relacja podmiotu ("S") i orzecznika ("P").To określa obecność / brak przedmiotu nieruchomości wyrażonej przez orzecznika.Być może oznacza to, i jest oznaczony "desce rozdzielczej" lub słowami "a" ("nie jest"), "jest", "mieć", "istotę" i inne.
- kwantyfikator (kwantyfikatorów słowa) określa zakres tego pojęcia, któreJest to przedmiotem wyroku.Stoi przed temat, ale może też być nieobecny w sądzie.Reprezentowane przez słowa takie jak "wszystkie", "wiele", "niektóre", "nie", "nie" i inne.
prawdziwych i fałszywych wyroków wyrok
jest prawdziwe w przypadku, gdy istnieją przesłanki wskazujące, właściwości iszt Relacje zatwierdzone / zaprzeczył w sądzie, prawda.Na przykład: "Wszystkie jaskółek - Ptaki", "9 przez ponad 2" i tak dalej D.
Jeżeli oświadczenie jest zawarte w wyroku, nie odpowiada rzeczywistości, mamy do czynienia z fałszywym wyroku: "Słońce obraca się wokół Ziemi"."kilo żelaza cięższych niż kilogram wełny" i innych. Prawidłowe wyroki są podstawą prawidłowego rozumowania.
Jednak oprócz logiki dwuwartościowej, w których orzeczenie może być albo prawdziwe, albo fałszywe, jest też logika wielowymiarowe.Zgodnie z jej postanowieniami, sąd może nadal niepewne.Szczególnie dotyczy to przyszłość poszczególnych orzeczeń, "Jutro nie będzie / nie będzie stało bitwę morską" (Arystoteles, "Z interpretacji").Zakładając, że to prawda propozycja, jutro bitwa morska nie może się zdarzyć.W związku z tym, 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ść przyszłej bitwy morskiej.Orzeczenie
od rodzaju sprawozdania
Jak wiadomo, rodzaj sprawozdania są trzy rodzaje zdań: deklaratywny, pytające i motyw.Na przykład zdanie "Pamiętam cudowny moment" odnosi się do typu narracji.Wskazane jest, aby zasugerować, że taki wyrok byłby również narracja.Zawiera pewne informacje, zgodnie z konkretnym przypadku.
Z kolei zdanie pytające zawiera pytanie, uzyskać odpowiedź: "Co przyniesie przyszłość dla mnie" W tym przypadku, to nic nie mówi i nie zaprzecza.W związku z tym twierdzenie, że taki wyrok jest pytanie nieprawidłowo.Zdania pytające w zasadzie nie zawiera opinie, bo pytanie nie można odróżnić na podstawie prawda / fałsz.
typu Incentive zdania powstaje w przypadku, gdy jest jakaś zachęta do działania, lub o odrzuceniu wniosku: ". Powstań, O Proroku i vid, i zająć się"W odniesieniu do orzeczeń, które według niektórych badaczy, nie są one zawarte w propozycji tego typu.Inni uważają, że jest to odmiana modalnych wyroków.
jakości wyroki
pod względem jakości, wyrok może być zarówno asertywna (S jest P), jak i negatywne (S nie jest P).W przypadku twierdzącej wyroku przez orzecznika pacjentowi podaje się pewną właściwość (-wa).Na przykład: ". Leonardo da Vinci - Włoski malarz, architekt, rzeźbiarz, naukowiec, wynalazca i przyrodnik i pisarz, największego przedstawiciela sztuki renesansu"
W negatywnym wyroku, z drugiej strony, obiekt pochodzi od tematu: "Teoria 25. ramie James Vicary nie ma potwierdzenia eksperymentalnego."
ilościowa charakterystyka
propozycja logiki może mieć charakter ogólny (związane z wszystkich przedmiotów w tej klasie), prywatne (niektóre z nich) i indywidualne (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 powszechnej opinii, ponieważ wpływa na wszystkich członków kota (przedmiot wyroku).Stwierdzenie "Niektóre węże nie są trujące" - przykładem prywatnego wyroku.Z kolei propozycja "Wonderful Dniepr w bezwietrznej pogodzie," odosobniony, ponieważ mówimy o jednej konkretnej rzeki, istniejące w jednym formularzu.
prostych i złożonych wyroki
w zależności od struktury, wyrok może być proste lub złożone.Struktura prostej propozycji obejmuje dwa powiązane koncepcje (SP):. «Książka - źródło wiedzy"Istnieją również wyroki z jednej koncepcji - gdy drugi tylko myśli: "Robiło się ciemno» (P).
skomplikowana forma tworzy się przez połączenie kilku prostych twierdzeń.
Klasyfikacja prostych wyroków
prostego twierdzenia logiki mogą być następujących typów: atrybutywnych, wyrokiem z relacji, egzystencjalnych, modalnych.
Atrybut (wyrok-properties) wysłany do zatwierdzenia / zaprzeczenia istnieniu pewnych właściwości z obiektu (atrybutów) działań.Wyroki te są formą kategoryczne i nie kwestionował "układzie nerwowym ssaków składa się z mózgu, rdzenia kręgowego i wychodzących ścieżek nerwowych."
wyroków w odniesieniu do pewnych relacji między obiektami.Mogą one mieć kontekst czasoprzestrzeń, przyczynowo-skutkowych, i inne. Na przykład: "Stary przyjaciel jest lepszy niż dwa nowe", "wodór jest lżejszy dwutlenek węgla o 22 razy."
egzystencjalne propozycja - stwierdzenie istnienia / nieistnienia na ten temat (z zarówno materialnego i idealnego), "Nie prorokiem we własnym kraju", "Księżyc jest satelitą Ziemi."
modalne propozycja - forma zatwierdzenia, z których składa się z pewnego operatora modalnego (jest to konieczne, dobre / złe, okazały się znane / nieznane, zabronione jest, jak sądzę, i inne.).Na przykład:
- «Rosja musi przeprowadzić reformę szkolnictwa" (alethic modalności - możliwości, potrzeba czegoś).
- «Każdy człowiek ma prawo do bezpieczeństwa osobistego" (deontycznej modalności - norm moralnych zachowań społecznych).
- «Careless stosunek do własności publicznej prowadzi do jej utraty" (modalności aksjologicznym - związane z materiału i wartości duchowych).
- «Wierzymy w swojej niewinności" (epistemiczną modalność - niezawodność wiedzy).
złożone sądy i rodzaje spójników logicznych
Jak już wspomniano, złożone wyroki składać się z kilku prostych.Ponieważ połączenia logiczne między nimi są takie techniki jak:
- Koniunkcji (i ʌ B - podłączenie wyroku).Wyroki-conjuncts masz kilka "i", "Realizacja praw i wolności człowieka i obywatela nie mogą naruszać prawa i wolności innych osób."
- alternatywą (AVB - podzielenie wyrok).Jako elementy składowe wyrok-klauzule stosowane są jako środek wiążący - w związku "lub".Na przykład: "Powód ma prawo do zwiększenia lub zmniejszenia rozmiaru zastrzeżeń."
- implikacja (A → B - Orzeczenie efekt).Jeśli struktura kompleksu trybunach wyrok i wysyłania wyników, można stwierdzić, że wyrok ten odnosi się do implicative.W więzadła w postaci używanej przez takich sojuszy, jak "jeśli ... to".Na przykład: "Jeśli przez przewód przegapić prąd elektryczny, drut nagrzewa się", "Chcesz być szczęśliwy - być szczęśliwym".
- Równoważność (a ≡ b - identyczne wyroki).Występuje, gdy wartość A i B są takie same (albo oba prawdziwe lub oba fałszywe): "Człowiek jest stworzony do szczęścia, jak ptak do latania."
- Denial (¬a, a - wyrok-inwersji).Każde źródło jest związane z instrukcji złożonej twierdzenie negujących oryginał.Za pomocą więzadeł "nie".W związku z powyższym, jeżeli pierwotne oświadczenie jest w następujący sposób: "Byk reaguje na czerwonym świetle" (a) - odmowa będzie brzmieć jak: "byk reaguje na czerwonym świetle» (¬a).
