Uitsprake in logika. Wat is die oordeel, die tipes besluite

Die uitspraak is 'n vorm van denke, bevestig of ontken niks oor die bestaan van voorwerpe, die verband tussen hulle en hul eienskappe, sowel as die verhouding tussen voorwerpe.

Voorbeelde van state: "Die Wolga vloei in die Kaspiese See," "AS Pushkin het 'n gedig "Die Brons Ruiter", "Siberiese tier is gelys in die Rooi Boek," ens

Die struktuur van die oordeel

Oordeel sluit die volgende elemente: die onderwerp, gesegde, en ligament kwantifiseerder.

1. Onderwerp (lat subjektum -. «Onderliggende») - wat, soos uiteengesit in die uitspraak, sy vak ( «S»).
2. Die gesegde (Latin praedicatum -. «Said") - 'n weerspieëling van die voorwerp tag, wat gesê oor die onderwerp van die oordeel ( "P").
3. Bundel - die verhouding tussen die vak ( «S») en gesegde ( "P"). Bepaal die teenwoordigheid / afwesigheid van die onderwerp van 'n eiendom uitgedruk as 'n gesegde. Miskien is dit impliseer, en word aangedui met 'n "stamp" of die woorde " 'n" ( "is nie"), "het", "het", "stof", en ander.
4. Kwantifiseerder (kwantifiseerder woord) definieer die omvang van die konsep, waarvolgens die onderwerp van die oordeel. Dit staan in die voorkant van die onderwerp, maar dit kan ook afwesig in die gereg nie. Aangedui deur woorde soos "almal", "baie", " 'n paar", "nee", "nee", en ander.

Ware en valse verklarings

Oordeel is waar in die geval waar daar enige aanduiding is, die eienskappe en verhoudings van items goedgekeur / geweier is in die gereg, waar is. Byvoorbeeld: "Al die swaeltjies - voëls", "9 meer as 2" en so aan ..

Indien die stelling vervat in die oordeel is nie waar nie, het ons te make met 'n valse stelling 'die son wentel om die aarde, "" 'n kilo van yster swaarder as 'n kilogram van katoen "en ander regte oordeel is die basis van korrekte redenasie ..

Maar bo en behalwe die twee-gewaardeer logika, waarin oordeel waar of vals kan wees, is daar ook 'n multi-dimensionele logika. Volgens sy terme, kan die vonnis nog onseker wees. Veral dit gaan oor die toekoms van individuele besluite, "Tomorrow gebeur / nie 'n zeeslag gebeur" (Aristoteles, "Op die interpretasie"). As ons aanvaar dat dit 'n ware stelling, kan die see stryd môre nie gebeur nie. Daarom is dit nodig om dit te laat gebeur. Of andersom: beweer dat die oordeel in die huidige oomblik is vals, ons ook so doen die nodige onmoontlikheid van môre se see stryd.

Uitsprake oor die aard van die verklaring

Soos bekend is, die tipe stellings is drie tipes van sinne: verklarende, geroer en ondervraging. Byvoorbeeld, die sin "Ek onthou 'n wonderlike oomblik" verwys na die tipe van vertelling. Dit is raadsaam om voor te stel dat so 'n oordeel ook sou verhaal. Dit bevat spesifieke inligting, volgens 'n spesifieke gebeurtenis.

Op sy beurt het die vraende sin bevat 'n vraag, kry 'n antwoord op: "Wat hou die toekoms vir my," Terselfdertyd is dit sê niks en ontken nie. Gevolglik is die eis dat so 'n oordeel is 'n vraag verkeerd. Vraende sin, in beginsel, geen oordeel bevat, omdat die vraag nie kan onderskei word op grond van waarheid / valsheid.

Aansporing tipe vonnis is gevorm in die geval waar daar is 'n aansporing tot aksie, versoek om 'n verbod: ". Staan op, o profeet, en die vid, en aandag te gee aan" Met betrekking tot die oordeel, in die mening van sommige navorsers, hulle is nie vervat in die voorstelle van hierdie tipe. Ander glo dat dit is 'n verskeidenheid van modale verordeninge.

oordeel gehalte

In terme van kwaliteit, kan oordeel óf regstellende (S is P), en negatiewe (S is nie P). In die geval van die regstellende oordeel, via onderwerp gesegde verbonde aan 'n sekere eiendom (-wa). Byvoorbeeld: ". Leonardo da Vinci - Italiaanse skilder, argitek, beeldhouer, wetenskaplike, natuurkundige en uitvinder en skrywer, die grootste verteenwoordiger van Renaissance kuns"

In die negatiewe oordeel, aan die ander kant, die eiendom is weggeneem uit die onderwerp: ". Teorie van die 25ste raam van James Vicary het geen eksperimentele bevestiging"

kwantitatiewe karakterisering

Uitsprake in logika kan algemene (wat verband hou met al die voorwerpe van hierdie klas), private (sommige van hulle) en die eenheid wees (wanneer dit gaan oor die onderwerp, is daar net een). Byvoorbeeld, kan dit aangevoer word dat so 'n stelling soos "Snags al katte is grys" sal verwys na die algemene voorkoms, omdat dit 'n invloed al die lede van die kat (die onderwerp van die oordeel). Goedkeuring van die "Sommige slange is nie giftig" - 'n voorbeeld van private oordeel. Op sy beurt het die oordeel "Wonderful Dnieper in kalm weer" is 'n eenheid, want ons praat oor 'n bepaalde rivier, bestaande in 'n enkele vorm.

Eenvoudige en komplekse besluite

Afhangende van die struktuur, kan oordeel van 'n tipe van 'n eenvoudige of komplekse wees. Struktuur eenvoudige oordeel sluit twee met mekaar verbind konsepte (SP): «Book - 'n bron van kennis". Daar is ook oordele met een konsep - wanneer die tweede net bedoel: "Dit was donker" (P).

Ingewikkelde vorm gevorm word deur die aansluiting by 'n paar eenvoudige oordeel.

Klassifikasie van eenvoudige besluite

attributiewe, oordeel met verhoudings, eksistensiële, modale: eenvoudige besluite in logika kan van die volgende vorms wees.

Kenmerk (eiendom-oordeel) gestuur vir goedkeuring / ontkenning van die vak op sekere eienskappe (kenmerke) aktiwiteite. Hierdie uitsprake is kategoriese vorm en nie bevraagteken, "het die soogdier senuweestelsel bestaan uit die brein van die brein, rugmurg en uitgaande senuweebane."

In verordeninge met betrekking tot die spesifieke verhouding tussen voorwerpe. Hulle kan 'n tydruimtelike konteks, oorsaaklike, ens Byvoorbeeld :. "Ou vriend beter as twee nuwe", het "Waterstof ligter koolstofdioksied met 22 keer."

Eksistensiële oordeel - hierdie stelling van die bestaan / nonexistence van die onderwerp (beide materiële en ideale): "Daar is geen profeet in sy eie vaderland", "Die maan is 'n satelliet van die aarde."

Modale stelling - 'n vorm van goedkeuring, wat die teenwoordigheid van sekere modale operateur ingesluit (moet goeie / slegte, bewys as bekend / onbekend is, dit is verbode, ek glo, en ander.). Byvoorbeeld:

• "Rusland moet hervorming onderwys uit te voer" (alethic modaliteit - moontlikheid, noodsaaklikheid van iets).
• "Elkeen het die reg tot sekuriteit van persoon" (deontic modaliteit - die morele norme van sosiale gedrag).
• "Verwaarlosing van staatseiendom lei tot die verlies" (axiologic modaliteit - wat verband hou met die materiële en morele waardes).
• "Ons glo in jou onskuld" (epistemiese modaliteit - die betroubaarheid van kennis).

Komplekse besluite en die tipes logiese verbindingswoorde

Soos reeds genoem, die komplekse besluite bestaan uit 'n paar eenvoudige. As die logiese verbindings tussen hulle is sulke metodes as:

• Samewerking (a ʌ b - verbind verordeninge). Verordeninge-conjuncts het 'n klomp van die "en", "Implementering van die regte en vryhede van die mens en burger sal die regte en vryhede van ander nie skend nie."
• Disjunksie (AVB - verdeel verordeninge). As die samestellende elemente van die oordeel-klousules gebruik word as 'n band - saam "of". Byvoorbeeld: "Die eiser het die reg om te verhoog of die grootte van die eis te verminder."
• Die implikasie (a → b - oordeel-effek). As plaas in die struktuur ingewikkeld oordeel is toegeken en gevolglik kan dit aangevoer word dat so 'n oordeel het betrekking op implicative. As die band wat gebruik word in die vorm van verenigings soos "as ... dan". Byvoorbeeld: "As deur die dirigent van die elektriese stroom mis, die draad verhit," "Wil jy om gelukkig te wees - gelukkig wees".
• Ekwivalensie ( 'n ≡ b - identiese oordeel). Dit vind plaas in die geval waar die waardes van a en b is dieselfde (of albei waar of beide vals): "Die mens is geskape na geluk, soos 'n voël om te vlieg."
• Ontkenning (¬a, A - oordeel-inversie). Elke bron is wat verband hou met die verklaring saamgestelde stelling dat die oorspronklike ontken. Deur die gebruik van "nie" n klomp. Gevolglik, indien die oorspronklike verklaring soos volg: "Die bul reageer op 'n rooi lig," (a) - die ontkenning sou klink soos: "Die bul nie reageer op rooi lig" (¬A).