Verifiering

Verifiering (från latin  verum  "sant" + facere  "att göra") inom olika områden av mänsklig aktivitet kan betyda:

• bekräftelse på att de specificerade kraven är uppfyllda genom tillhandahållande av objektiva bevis [1] ;
• bedömning av en produkts, tjänsts eller systems överensstämmelse med normer, krav, specifikationer eller fastställda villkor [2] ;
• verifiering, bekräftelse, metod för bevis för eventuella teoretiska positioner, algoritmer, program och procedurer genom att jämföra dem med experimentella ( referens eller empiriska ) data, algoritmer och program ;
• teknik för sanningsigenkänning ;
• i vetenskap, kontrollera de teoretiska bestämmelserna för överensstämmelse med verkligheten med hjälp av experiment [3] .

I betydelsen bevisbarhet bildar verifierbarheten av förklaringar ( modeller ) av objekt / fenomen , beroende på graden av bekräftelse av verkligheten ( empiriskt , fakta ), begreppen :

• En hypotes  är ett obevisat falsifierbart, rimligt uttalande baserat på en serie observationer eller bedömningar, begrepp, postulat (i vetenskapen) som bekräftar det.
• Ett koncept  är en modell med eller utan fakta som bekräftar dess sanning (se Filosofi ).
• Teori  - en förklaring med bevis för den maximala graden (se Vetenskap ).

Formell verifiering i datavetenskap

Formell verifiering är ett bevis med formella metoder för att ett program (system) är korrekt eller felaktigt i enlighet med den formella beskrivningen av programmets (systemets) egenskaper.

Formella verifieringsmetoder:

• Hoares metod för axiomatisk semantik
• Floyds metod för induktiva uttalanden
• Evidensbaserad programmering
• Automatiskt bevis för satser (satsbevis)
• Modellkontroll _
• Symboliskt utförande
• Abstrakt tolkning (Abstrakt tolkning).

Verifieringsprincipen för Wiencirkeln

I själva verket är idén om verifierbarhet inte startidén för representanterna för Wiencirkeln [4] och formulerades ännu tidigare - om än inte helt klart - av Wittgenstein :

Ett påstående kan bara förstås om vi vet under vilka förhållanden det kan vara sant. Det innebär att det som krävs inte är kunskap om huruvida en mening är sann eller falsk, utan kunskap om de omständigheter som gör det möjligt att fastställa dess sanning.LFT , 4,024

Verifieringsprincipen lades fram av Wiencirkeln [4] , som inkluderade den positivistiska filosofen Moritz Schlick på 1920-talet. Medlemmarna i cirkeln ansåg att två klasser av vetenskapliga förslag borde finnas kvar i vetenskapen - analytiska sanningar som inte har något ämnesinnehåll, och faktasanningar, empiriska fakta från specifika vetenskaper, vars innebörd kan verifieras på ett speciellt sätt - verifieringsprincipen . Verifieringsförfarandet som "renar" vetenskapen från metafysiken med hjälp av protokollmeningar [4] av empirisk karaktär ligger till grund för hela programmet för logisk positivism .

Verifiering är en procedur för att kontrollera sanningen av kunskap. Det föreslår att komplexa meningar bör delas upp i protokoll. Sanningen i protokollmeningarna är absolut otvivelaktig, eftersom den motsvarar den observerade verkligheten. Protokollsatsens form ser ut så här: "NN observerade ett och annat föremål vid en sådan tid och på en sådan plats." Reduktionen av komplexa meningar till protokollet kallas reduktion. Sålunda handlar all aktivitet hos en vetenskapsman om att kontrollera protokollmeningarna och deras generalisering. Som ett resultat av verifieringsproceduren föll alla metafysiska frågor i kategorin meningslösa och förkastades. Anledningen till detta ligger i det faktum att filosofiska frågor inte kan reduceras genom en logisk kedja av resonemang till empiriska påståenden som kan bekräfta eller vederlägga dem.

Schlick påpekade också att grunden för vår empiriska kunskap är de så kallade uttalandena , som han kallade meningar om "nuvarande perception". Sådana meningar, som filosofen trodde, är också unikt definitivt avgörbara, liksom meningar av analytisk karaktär. På denna grund lades kravet på fullständig verifikation fram, vilket skulle kunna formuleras enligt följande:

En mening har betydelse om och bara om den inte är en analytisk mening eller en motsägelse, och om den logiskt följer av en konsekvent ändlig klass av meningar , och elementen i denna meningsklass är observationsmeningar.

Verifiering var alltså ett sanningskriterium, men samtidigt ett sätt att avslöja meningen, och principen att skilja mellan empirisk meningsfull kunskap och metafysisk, meningslös.

Det blev dock snart uppenbart att en sådan direkt verifikationism är omöjlig i de fall där vi har att göra med tidigare händelser, med allmänna bedömningar etc. Då försvagades detta kriterium och kriteriet grundläggande verifiering, eller verifierbarhet, dök upp: förutsättningarna för praktisk kontroll av om ett annat faktum eller inte. Ett typiskt exempel under de åren var argumentet om månens bortre sida , vilket i princip kan bekräftas när ett flygplan byggs som ska flyga runt månen. Själva konceptet med protokollstraff var också sårbart. K. Popper fungerade som en extern kritiker , som ansåg att principen om förfalskning (vederläggning) borde införas som ett kriterium för vetenskaplig karaktär.

Se även

• Bevis
• förfalskning
• Godkännande
• Identifiering

Anteckningar

1. ↑ ISO/IEC/IEEE 24765:2017 System- och mjukvaruteknik - Ordförråd
2. ↑ Projektledningsinstitut. En guide till projektledningsorganet för kunskap ( PMBOK guide). — Sjätte upplagan. — Newtown Square, PA. - 1 onlineresurs sid. — ISBN 9781628253900
3. ↑ [slovar.cc/enc/bolshoy/2074859.html Verifiering]. Stor encyklopedisk ordbok.
4. ↑ 1 2 3 Apel, K.-O. Filosofins förvandling. M.: Logos, 2001. - S.35

Litteratur

• Sinitsyn S. V., Nalyutin N. Yu.  Programverifiering. M.: BINOM, 2008, 368 sid. ISBN 978-5-94774-825-3