Oordelen in de logica. Wat is oordeel, soorten oordelen

Oordeel is een vorm van denken die iets bevestigt of ontkent over het bestaan van objecten, de verbindingen tussen hen en hun eigenschappen, evenals de relaties tussen objecten.

Voorbeelden van oordelen: "De Wolga stroomt de Kaspische Zee in", "A. Pushkin schreef het gedicht "The Bronze Horseman", "The Ussuri Tiger is listed in the Red Book", etc.

Structuur van oordelen

Oordeel omvat de volgende elementen: onderwerp, predicaat, bundel en kwantor.

Het onderwerp (Latijnse subjektum - "onderliggende") is wat er in dit oordeel wordt gezegd, het onderwerp ("S").
Het predikaat (Latijn praedicatum -. «Said") - een weerspiegeling van het object tag, wat er wordt gezegd over het onderwerp van het arrest ( 'P').
Een bundel is een relatie tussen het onderwerp ("S") enpredicaat ("P"). Bepaalt de aanwezigheid / afwezigheid van een onderwerp van een eigenschap die wordt uitgedrukt in het predikaat. Kunnen beide worden geïmpliceerd en aangegeven door het teken "streepje" of de woorden "is" ("is niet"), "daar", "is", "essentie", enz.
De kwantifier (kwantificatiewoord) bepaalt het volumehet concept waarop het onderwerp van het arrest betrekking heeft. Het staat voor het onderwerp, maar het kan ook afwezig zijn in het oordeel. Aangegeven met woorden als "allen", "veel", "sommige", "geen", "niemand", enz.

Ware en valse beoordelingen

Het oordeel is waar wanneerde aanwezigheid van tekens, eigenschappen en relaties van objecten die in het oordeel zijn goedgekeurd / geweigerd, komen overeen met de werkelijkheid. Bijvoorbeeld: "Alle zwaluwen zijn vogels", "9 is groter dan 2", enz.

Als de verklaring in het vonnis dat niet isTrouw aan de realiteit hebben we te maken met een valse stelling: "De zon draait om de aarde", "Een kilogram ijzer is zwaarder dan een kilogram katoen" en anderen. Juiste oordelen vormen de basis voor een correcte redenering.

Echter, naast de tweecijferige logica waarinoordeel kan zowel waar als onwaar zijn, er is ook multidimensionale logica. Volgens de voorwaarden ervan kan het oordeel ook onzeker zijn. Dit geldt met name voor toekomstige individuele beoordelingen: "Een zeeslag zal plaatsvinden / zal niet gebeuren morgen" (Aristoteles, "Over interpretatie"). Als we aannemen dat dit een waar voorstel is, zal de zeeslag morgen niet meer plaatsvinden. Daarom is het noodzakelijk dat dit gebeurt. Of omgekeerd: als we beweren dat het gegeven oordeel op het moment onwaar is, maken we daarmee de onmogelijkheid van de zeeslag van morgen noodzakelijk.

Verklaringen van mening

Zoals je weet, onderscheiden de soorten uitspraken er drietype zinnen: verhalend, motiverend en vragende. De zin 'Ik herinner me een prachtig moment' verwijst bijvoorbeeld naar het narratieve type. Het is raadzaam om te suggereren dat een dergelijk oordeel ook verhalend zal zijn. Het bevat bepaalde informatie, meldt een specifieke gebeurtenis.

Op zijn beurt, de vragende zinHet bevat een vraag die het antwoord impliceert: "Wat heeft de toekomst voor mij?" Tegelijkertijd verklaart en ontkent het niets. Bijgevolg is de bewering dat een dergelijk vonnis vragende is, onjuist. De vragende zin bevat in principe geen oordeel, omdat de vraag niet kan worden onderscheiden naar het beginsel van waarheid / onwaarheid.

Een incentive type zin wordt gevormd inwanneer er een duidelijke motivatie voor actie is, verbied dan: "Sta op, profeteer, en zie en hoor." Wat betreft beoordelingen, volgens sommige onderzoekers zijn ze niet vervat in zinnen van dit type. Anderen geloven dat we het hebben over een verscheidenheid aan modale oordelen.

Kwaliteit van oordeel

In termen van kwaliteit kunnen oordelen ook zijnbevestigend (S is P) en negatief (S is geen P). In het geval van een bevestigend oordeel, worden bepaalde eigenschap (pen) aan het onderwerp toegewezen met behulp van een predikaat. Bijvoorbeeld: "Leonardo da Vinci - Italiaanse schilder, architect, beeldhouwer, wetenschapper, natuuronderzoeker, maar ook uitvinder en schrijver, de grootste vertegenwoordiger van de renaissancekunst."

In een negatief oordeel, integendeel, wordt het eigendom afgetrokken van het onderwerp: "De theorie van het 25ste frame van James Waiker heeft geen experimentele bevestiging".

Kwantitatief kenmerk

Oordelen in de logica kunnen van algemene aard zijn.(met betrekking tot alle items van een bepaalde klasse), privé (voor sommigen) en enkelvoud (als het een onderwerp betreft dat in een enkele kopie bestaat). Er kan bijvoorbeeld worden gesteld dat een oordeel zoals 's nachts, alle katten zwavel zijn' zal verwijzen naar een algemene vorm, omdat het alle vertegenwoordigers van de katachtige (subject of judgment) raakt. De verklaring "Sommige slangen zijn niet giftig" is een voorbeeld van privéoordeel. Op zijn beurt is het oordeel "Wonderful Dnieper in kalm weer" een enkele, omdat we het hebben over een bepaalde rivier die in één enkele vorm bestaat.

Eenvoudige en complexe oordelen

Afhankelijk van de structuur kan het oordeelbetrekking hebben op het type eenvoudig of complex. De structuur van een eenvoudig oordeel omvat twee onderling verbonden concepten (SP): "Een boek is een bron van kennis". Er zijn ook oordelen met één concept - wanneer de tweede alleen wordt geïmpliceerd: "Het werd donker" (P).

Een complex overzicht wordt gevormd door een paar eenvoudige oordelen te combineren.

Classificatie van eenvoudige beoordelingen

Simpele oordelen in logica kunnen van de volgende typen zijn: attributief, oordelen met relaties, existentieel, modaal.

Attributive (oordelen-eigenschappen) zijn gericht opgoedkeuring / ontkenning van de aanwezigheid van bepaalde eigenschappen (attributen) van het onderwerp van activiteit. Deze oordelen hebben een categorische vorm en worden niet in twijfel getrokken: "Het zenuwstelsel van zoogdieren bestaat uit de hersenen, het ruggenmerg en de uitgaande zenuwbanen."

Relatie beoordelingen zijn te overwegenbepaalde relaties tussen onderwerpen. Ze kunnen een ruimtelijk-tijdelijke context, oorzaak en gevolg, enz. Hebben. Bijvoorbeeld: "Een oude vriend is beter dan nieuwe twee", "Waterstof is 22 keer lichter dan koolstofdioxide."

Existentieel oordeel is een verklaring van het bestaan / niet-bestaan van een object (zowel materieel als ideaal): "Er is geen profeet in zijn eigen land", "De maan is een satelliet van de aarde."

Een modaal oordeel is een vorm van verklaring die een bepaalde modale operator omvat (noodzakelijk, goed / slecht, bewezen, bekend / onbekend, verboden, geloofde, etc.). Bijvoorbeeld:

"In Rusland is een onderwijshervorming noodzakelijk" (de aleticamodaliteit is een kans, een behoefte aan iets).
"Iedereen heeft recht op persoonlijke integriteit" (deontische modaliteit - de morele normen van sociaal gedrag).
"Een nalatige houding tegenover staatseigendom leidt tot verlies" (axiologische modaliteit is een houding ten opzichte van materiële en spirituele waarden).
"Wij geloven in uw onschuld" (epistemische modaliteit - de mate van kennisbetrouwbaarheid).

Moeilijke oordelen en soorten logische connectieven

Zoals al opgemerkt, bestaan complexe oordelen uit een aantal eenvoudige. Als logische verbindingen tussen hen zijn technieken zoals:

Conjunctie (een ʌ b - verbindende proposities). Oordelen-conjuncten hebben een hoop "en": "De uitoefening van de rechten en vrijheden van een persoon en burger mag de rechten en vrijheden van anderen niet schenden."
Disjunctie (a v b - scheidsrechters). Arresten-clausules worden gebruikt als samenstellende elementen, en de conjunctie "of" wordt gebruikt als een bundel. Bijvoorbeeld: "De eiser heeft het recht om de omvang van de claims te verhogen of te verlagen."
Implicatie (a → b is een beoordelingsresultaat). Als er in de structuur van een complex oordeel een premisse en een gevolg is, dan kan worden gesteld dat een dergelijk oordeel implicatief is. Als een bundel in deze vorm worden dergelijke vakbonden gebruikt als "als ... dan". Bijvoorbeeld: "Als een elektrische stroom door een geleider wordt geleid, zal de geleider warm worden", "Als u gelukkig wilt zijn, zij het dan."
Gelijkwaardigheid (a ≡ b - identieke beoordelingen). Dit is het geval wanneer de waarden van a en b samenvallen (beide zijn beide waar of beide zijn onwaar): "De mens is gemaakt voor geluk, zoals een vogel om te vliegen".
Ontkenning (¬a, â - oordeelsinversie). Elke initiële verklaring is gekoppeld aan een samengestelde verklaring die de oorspronkelijke weigert. Het wordt uitgevoerd met behulp van een bundel "niet". Dienovereenkomstig, als de eerste verklaring er als volgt uitziet: "De stier reageert op het rode licht" (a) - dan zal de negatie klinken als: "De stier reageert NIET op het rode licht" (¬a).