Oordele in logika. Wat is 'n oordeel, tipes oordele

INHOUDSOPGAWE:

Oordele in logika. Wat is 'n oordeel, tipes oordele
Oordele in logika. Wat is 'n oordeel, tipes oordele
Anonim

Oordeel is 'n vorm van denke wat iets bevestig of ontken oor die bestaan van objekte, oor die verbande tussen hulle en hul eienskappe, asook oor die verhoudings tussen objekte.

Voorbeelde van oordele: “Die Wolga vloei in die Kaspiese See in”, “A. S. Pushkin het die gedig "The Bronze Horseman", "The Ussuri Tiger is listed in the Red Book" geskryf, ens.

Struktuur van oordeel

'n Oordeel sluit die volgende elemente in: onderwerp, predikaat, verbind en kwantifiseerder.

wat is oordeel
wat is oordeel
  1. Onderwerp (lat. subjektum - "onderliggende") - wat in hierdie uitspraak gesê word, sy onderwerp ("S").
  2. Predikaat (lat. praedicatum - "gesê") - 'n weerspieëling van die eienskap van die onderwerp, wat gesê word oor die onderwerp van die oordeel ("P").
  3. Skakel is 'n verhouding tussen 'n onderwerp ("S") en 'n predikaat ("P"). Bepaal die teenwoordigheid / afwesigheid van die onderwerp van enige eiendom wat in die predikaat uitgedruk word. Dit kan beide geïmpliseer en aangedui word deur die streepteken of die woorde “is” (“is nie”), “het”, “is”, “essensie”, ens.
  4. Kwantifiseerder (kwantifiseerderwoord) bepaal die omvang van die begrip waartoe die onderwerp van oordeel behoort. Staan voor die onderwerp, maar kan ook afwesig wees inoordeel. Aangedui deur woorde soos "almal", "baie", "sommige", "geen", "geen", ens.

Ware en Valse oordele

'n Oordeel is waar wanneer die teenwoordigheid van tekens, eienskappe en verwantskappe van voorwerpe, wat in die oordeel bevestig/ontken word, ooreenstem met die werklikheid. Byvoorbeeld: “Alle swaeltjies is voëls”, “9 is meer as 2”, ens.

oordele in logika
oordele in logika

As die stelling vervat in die uitspraak nie waar is nie, het ons te doen met 'n valse oordeel: "Die son draai om die Aarde", "'n Kilogram yster is swaarder as 'n kilogram watte", ens. Korrekte oordele vorm die basis van korrekte gevolgtrekkings.

Benewens tweewaarde-logika, waarin 'n oordeel óf waar óf onwaar kan wees, is daar ook multidimensionele logika. Volgens sy bepalings kan die vonnis ook onbepaald wees. Dit geld veral vir toekomstige enkele oordele: “Môre sal daar nie’n seegeveg wees nie” (Aristoteles, “On Interpretation”). As ons aanneem dat dit 'n ware oordeel is, dan kan 'n vlootgeveg nie versuim om môre plaas te vind nie. Daarom moet dit gebeur. Of andersom: deur te beweer dat hierdie oordeel tans vals is, maak ons daardeur die onmoontlikheid van môre se vlootgeveg noodsaaklik.

oordeel is
oordeel is

Beoordelinge volgens tipe stelling

Soos jy weet, is daar volgens die tipe stelling drie soorte sinne: verhalend, aansporend en vraend. Byvoorbeeld, die sin "Ek onthou 'n wonderlike oomblik" verwys nana die narratiewe tipe. Dit is redelik om te suggereer dat so 'n oordeel ook narratief sal wees. Dit bevat sekere inligting, rapporteer 'n sekere gebeurtenis.

Op sy beurt bevat die ondervragende sin 'n vraag wat die antwoord impliseer: "Wat berei die komende dag vir my voor?" Dit stel of ontken niks nie. Gevolglik is die bewering dat so 'n uitspraak ondervragend is, foutief. 'n Ondervragende sin bevat in beginsel nie 'n oordeel nie, aangesien die vraag nie volgens die beginsel van waarheid/valsheid onderskei kan word nie.

voorbeelde van oordele
voorbeelde van oordele

Die aansporingstipe sinne word gevorm wanneer daar 'n sekere impuls tot optrede, 'n versoek of 'n verbod is: "Staan op, profeet, en kyk en luister." Wat uitsprake betref, is dit volgens sommige navorsers nie vervat in sinne van hierdie tipe nie. Ander glo dat ons van 'n soort modale oordele praat.

ware oordeel
ware oordeel

Kwaliteit van oordeel

Vanuit die oogpunt van kwaliteit, kan beoordelings óf bevestigend (S is P) óf negatief wees (S is nie P nie). In die geval van 'n regstellende proposisie word 'n sekere eienskap(e) met behulp van 'n predikaat aan die onderwerp geheg. Byvoorbeeld: "Leonardo da Vinci is 'n Italiaanse skilder, argitek, beeldhouer, wetenskaplike, natuurkenner, sowel as 'n uitvinder en skrywer, die grootste verteenwoordiger van Renaissance-kuns."

In 'n negatiewe stelling, inteendeel, word die eiendom van die onderwerp afgetrek:eksperimentele bevestiging.”

Kwantitatiewe kenmerke

Oordele in logika kan algemeen wees (verwys na alle voorwerpe van 'n gegewe klas), privaat (na sommige van hulle) en enkelvoud (wanneer dit kom by 'n voorwerp wat in 'n enkele kopie bestaan). Daar kan byvoorbeeld aangevoer word dat 'n oordeel soos "Alle katte is snags grys" generies sal wees omdat dit alle katte (die onderwerp van die oordeel) affekteer. Die stelling "Sommige slange is nie giftig nie" is 'n voorbeeld van 'n private oordeel. Op sy beurt is die oordeel "Die Dnieper is wonderlik in kalm weer" 'n enkele een, aangesien ons praat van een spesifieke rivier wat in 'n enkele vorm bestaan.

Eenvoudige en komplekse oordele

Afhangende van die struktuur, kan die oordeel van die eenvoudige of komplekse tipe wees. Die struktuur van 'n eenvoudige voorstel sluit twee verwante konsepte (S-P) in: "'n Boek is 'n bron van kennis." Daar is ook oordele met een konsep - wanneer die tweede slegs geïmpliseer word: "Duisternis" (P).

'n Komplekse vorm word gevorm deur verskeie eenvoudige proposisies te kombineer.

Klassifikasie van eenvoudige oordele

Eenvoudige oordele in logika kan van die volgende tipes wees: attributief, oordele met relasies, eksistensieel, modaal.

Attributief (eiendomsoordele) is daarop gemik om te bevestig/ontken dat 'n voorwerp sekere eienskappe (kenmerke), aktiwiteite het. Hierdie oordele het 'n kategoriese vorm en word nie bevraagteken nie: “Die senuweestelsel van soogdiere bestaan uit die brein, ruggraatbrein- en uitgaande senuweebane.”

Relasionele oordele neem sekere verwantskappe tussen voorwerpe in ag. Hulle kan 'n tydruimtelike konteks hê, oorsaaklike, ens. Byvoorbeeld: "'n Ou vriend is beter as twee nuwes", "Waterstof is 22 keer ligter as koolstofdioksied."

korrekte oordeel
korrekte oordeel

'n Eksistensiële oordeel is 'n verklaring van die bestaan / nie-bestaan van 'n voorwerp (beide materieel en ideaal): "Daar is geen profeet in sy eie land nie", "Die maan is 'n satelliet van die Aarde."

Modale proposisie is 'n vorm van stelling wat 'n sekere modale operateur bevat (nodig, goed/sleg; bewys, bekend/onbekend, verbode, glo, ens.). Byvoorbeeld:

  • "In Rusland is dit nodig om opvoedkundige hervorming uit te voer" (aletiese modaliteit - die moontlikheid, die behoefte aan iets).
  • "Elkeen het die reg op persoonlike integriteit" (deontiese modaliteit - morele standaarde van sosiale gedrag).
  • "Sorgelose houding teenoor staatseiendom lei tot die verlies daarvan" (aksiologiese modaliteit - houding tot materiële en geestelike waardes).
  • "Ons glo in jou onskuld" (epistemiese modaliteit - die mate van betroubaarheid van kennis).

Komplekse oordele en tipes logiese verbindings

Soos reeds opgemerk, bestaan komplekse oordele uit verskeie eenvoudiges. Die logiese skakels tussen hulle is sulke truuks soos:

  • Vervoeging (en ʌ b is verbindende proposisies). Gekombineerde oordele het 'n klomp "en":“Die uitoefening van mense- en burgerregte en vryhede moet nie die regte en vryhede van ander skend nie.”
  • Dijunksie (a v b – disjunktiewe oordele). Disjunkte oordele word as samestellende elemente gebruik, en die unie "of" word as 'n skakel gebruik. Byvoorbeeld: "Die eiser het die reg om die grootte van die eise te vergroot of te verminder."
  • Implikasie (a → b – oordeel-gevolg). Indien 'n uitgangspunt en 'n gevolg in die struktuur van 'n komplekse oordeel onderskei word, dan kan daar geargumenteer word dat so 'n oordeel tot die implikatiewes behoort. As 'n skakel in hierdie vorm word vakbonde soos "as … dan" gebruik. Byvoorbeeld: "As 'n elektriese stroom deur die geleier gevoer word, sal die geleier verhit", "As jy gelukkig wil wees, is dit so."
  • Ekwivalent (a ≡ b – identiese oordele). Kom voor wanneer a en b dieselfde is (óf albei is waar óf albei is onwaar): "Die mens is gemaak om gelukkig te wees, soos 'n voël gemaak is om te vlieg."
  • kwaliteit van oordeel
    kwaliteit van oordeel
  • Negasie (¬a, ā – oordeel-omkering). Elke oorspronklike stelling word geassosieer met 'n saamgestelde stelling wat die oorspronklike een ontken. Dit word uitgevoer met behulp van 'n klomp "nie". Gevolglik, as die oorspronklike stelling so lyk: "Die bul reageer op rooi lig" (a) - dan sal die ontkenning soos volg klink: "Die bul reageer NIE op rooi lig nie" (¬a).

Aanbeveel: