Saturs

• Konsekvents

  
  

  Klasiskajā deduktīvajā loģikā konsekventa teorija ir tā, kas nesatur pretrunas. Pretrunu trūkumu var definēt gan semantiskā, gan sintaktiskā izteiksmē. Semantiskā definīcija nosaka, ka teorija ir konsekventa tikai tad, ja tai ir modelis, t.i., pastāv interpretācija, saskaņā ar kuru visas teorijas formulas ir patiesas. Šī ir jēga, kas izmantota tradicionālajā aristoteliešu loģikā, lai gan mūsdienu matemātiskajā loģikā to vietā tiek lietots termins apmierinošs. Sintaktiskajā definīcijā teikts, ka teorija T { displaystyle T} ir konsekventa tikai un vienīgi tad, ja nav formulas φ { displaystyle varphi}, piemēram, gan φ { displaystyle varphi}, gan tās noliegums ¬ φ { displaystyle lnot varphi} ir kopas T { displaystyle T} elementi. Ļaujiet A { displaystyle A} būt slēgtu teikumu (neoficiāli "aksiomu") kopums un ⟨A⟩ { displaystyle langle A rangle} slēgtu teikumu kopums, ko var pārvērst no A { displaystyle A} zem dažiem (norādītajiem, iespējams, netieši) formālā deduktīvā sistēma. Aksiomu kopums A { displaystyle A} ir konsekvents, ja ⟨A⟩ { displaystyle langle A rangle} ir. Ja eksistē deduktīva sistēma, kurai šīs semantiskās un sintaktiskās definīcijas ir līdzvērtīgas jebkurai teorijai, kas formulēta konkrētā deduktīvā loģika, loģiku sauc par pilnīgu. Sentento aprēķinu pilnīgumu pierādīja Pols Bernaiss 1918. gadā un Emīls Post 1921. gadā, savukārt predikatīvo aprēķinu pilnīgumu pierādīja Kurts Gēdels 1930. gadā, bet aritmētikas konsekvences pierādījumus, kas ierobežoti attiecībā uz indukcijas aksiomu shēmu, pierādīja Ackermans. (1924), fon Neimans (1927) un Herbrand (1931). Spēcīgāka loģika, piemēram, otrās kārtas loģika, nav pilnīga. Konsekvences pierādījums ir matemātisks pierādījums tam, ka konkrēta teorija ir konsekventa. Matemātisko pierādījumu teorijas agrīno attīstību veicināja vēlme nodrošināt Hilberta programmas ietvaros visas matemātikas pilnīgas konsekvences pierādījumus. Hilberta programmu spēcīgi ietekmēja nepilnības teorēmas, kas parādīja, ka pietiekami spēcīgas pierādījumu teorijas nevar pierādīt savu konsekvenci (ar nosacījumu, ka tās faktiski ir konsekventas). Lai gan konsekvenci var pierādīt ar modeļa teorijas palīdzību, to bieži veic tīri sintaktiskā veidā, bez vajadzības atsaukties uz kādu loģikas modeli. Griezuma novēršana (vai līdzvērtīgi pamata aprēķina normalizēšana, ja tāds ir) nozīmē aprēķina konsekvenci: tā kā acīmredzami nav bez maldības pierādījumu par nepatiesību, vispār nav pretrunu.

  
  

• Konsekvents (īpašības vārds)

  Parasti sastopams, uzticams. no 16. gs. beigām novecojušā nozīmē 'sastāv no'

  "Pastāvīga Chinglish lietošana Ķīnā var būt ļoti kaitinoša, izņemot dažas sākotnējās izklaides."

  "Viņš ir ļoti konsekvents savās politiskajās izvēlēs: ekonomika laba vai slikta, viņš vienmēr balso par leiboristiem!"

• Konsekvents (īpašības vārds)

  Savietojams, atbilstošs.

• Konsekvents (īpašības vārds)

  No paziņojumu kopuma: tāds, ka no tiem loģiski neizriet nekādas pretrunas.

• Konsekvents (lietvārds)

  Objekti vai fakti, kas pastāv līdzās vai ir savstarpēji saskaņoti.

• Konsekvents (lietvārds)

  Veidam grēku nožēlas, kurai bija atļauts palīdzēt, atļaujot saņemt svētos sakramentus.

• Konsekvence (lietvārds)

  Fiziskā kvalitāte, ko nosaka stingrības, cietības, blīvuma un viskozitātes pakāpe; konsekvence.

• Konsekvence (lietvārds)

  
  

  Nefizisku lietu uzturēšanās kopā vai cieša saistība.

  "Viņas sniegumam pēdējā gada laikā nav bijusi konsekvence."

  "Šis komponistu mūzikas darbs ir ārkārtīgi konsekvents."

• Konsekvence (lietvārds)

  Nekustīgs; mierīgums; atpūtas stāvoklis.

• Konsekvence (lietvārds)

  Stāvoklis, kā kopā ar ķermeņa salipšanu, vai kā fiksētā stāvoklī kā ķermeņa daļām; esamība; stingrība; saskaņotība; stabilitāte.

• Konsekvence (lietvārds)

  Tas, kas ir kopā kā vienots veselums; kombinācija.

• Konsekvents (īpašības vārds)

  Kam ir stingrība vai nekustīgums; stingrs; grūti; ciets.

• Konsekvents (īpašības vārds)

  Vienojoties ar sevi vai ar kaut ko citu; harmonija starp tās daļām; kam ir vienotība; ekvivalents; harmonisks; sapriecīgs; saderīgs; formas tērps; nav pretrunīgi.

• Konsekvents (īpašības vārds)

  Dzīvo vai rīkojas saskaņā ar savu pārliecību vai profesijām.

• Konsekvence (lietvārds)

  Stāvoklis, kā kopā ar ķermeņa salipšanu, vai kā fiksētā stāvoklī kā ķermeņa daļām; esamība; stingrība; saskaņotība; stabilitāte.

• Konsekvence (lietvārds)

  Stingrības, blīvuma, viskozitātes vai šķēluma pakāpe; spēja turēties kopā, kad tiek manipulēta.

• Konsekvence (lietvārds)

  Tas, kas ir kopā kā vienots veselums; kombinācija.

• Konsekvence (lietvārds)

  Konstitūcijas vai rakstura stingrība; būtiskums; izturība; noturība.

• Konsekvence (lietvārds)

  Visu sarežģītas lietas daļu savstarpēja vienošanās vai saskaņotība vai pašas lietas atšķirīgums dažādos laikos; uzvedības harmonija ar profesiju; saderība; sarakste; kā likumu, noteikumu vai tiesas lēmumu konsekvence; viedokļu konsekvence; uzvedības vai rakstura konsekvence.

• Konsekvents (īpašības vārds)

  (dažreiz seko "ar") vienojoties vai konsekventi vai uzticami;

  "liecība, kas atbilst zināmajiem faktiem"

  "Esmu nolēmis, ka manis ievērotā rīcība atbilst manai prezidenta atbildības sajūtai kara laikā"

• Konsekvents (īpašības vārds)

  apzīmētas ar sakārtotu, loģisku un estētiski konsekventu detaļu saistību;

  "loģisks arguments"

  "sakārtota prezentācija"

• Konsekvents (īpašības vārds)

  var reproducēt;

  "var iegūt pārsteidzoši atkārtojamus rezultātus"

• Konsekvents (īpašības vārds)

  visā struktūrā vai sastāvā tas pats;

  "bitumenogles bieži uzskata par konsekventu un viendabīgu produktu"

• Konsekvence (lietvārds)

  harmoniska vienveidība vai vienošanās starp lietām vai detaļām

• Konsekvence (lietvārds)

  īpašums turēt kopā un saglabāt savu formu;

  "kad mīklai ir pietiekami konsekventa, tā ir gatava cept"